MCC'2019 - Execution of r104-oct2-155272225700300

About the Execution of LoLA for ParamProductionCell-PT-5

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
4265.290	3594435.00	7342189.00	775.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 '/data/fko/mcc2019-input.r104-oct2-155272225700300.qcow2',
Waiting for the VM to be ready (probing ssh)
............................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is ParamProductionCell-PT-5, examination is GlobalPropertie
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r104-oct2-155272225700300
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 316K
-rw-r--r-- 1 mcc users 3.9K Feb 12 03:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 12 03:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 8 02:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 8 02:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.
-rw-r--r-- 1 mcc users 111 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 349 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Feb 5 00:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 00:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:37
-rw-r--r-- 1 mcc users 8.2K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 4 07:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 4 07:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 1 01:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 1 01:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 2 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 167K 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 ParamProductionCell-PT-5-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552786027131

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ ParamProductionCell-PT-5 @
vrfy: finished
info: timeLeft: -24
rslt: Output for GlobalProperties @ ParamProductionCell-PT-5

{
"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": "Sun Mar 17 01:27:07 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 21748,
"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": 846,
"conflict_clusters": 59,
"places": 231,
"places_significant": 172,
"singleton_clusters": 0,
"transitions": 202
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": 1.000000,
"composed": 0,
"dead_branches": 0,
"generators": 0,
"interrupted": false,
"real_computed": 0,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 433/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 7392
lola: finding significant places
lola: 231 places, 202 transitions, 172 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 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: 5 tries, 4170035 fired transitions, 0 secs ||
lola: 9 tries, 8369472 fired transitions, 5 secs ||
lola: 13 tries, 12598527 fired transitions, 10 secs ||
lola: 17 tries, 16751806 fired transitions, 15 secs ||
lola: 21 tries, 20965913 fired transitions, 20 secs ||
lola: 26 tries, 25162244 fired transitions, 25 secs ||
lola: 30 tries, 29332065 fired transitions, 30 secs ||
lola: 34 tries, 33568700 fired transitions, 35 secs ||
lola: 37 tries, 36717615 fired transitions, 40 secs ||
lola: 39 tries, 38694651 fired transitions, 45 secs ||
lola: 41 tries, 40714497 fired transitions, 50 secs ||
lola: 43 tries, 42645848 fired transitions, 55 secs ||
lola: 45 tries, 44608713 fired transitions, 60 secs ||
lola: 47 tries, 46590049 fired transitions, 65 secs ||
lola: 49 tries, 48572750 fired transitions, 70 secs ||
lola: 51 tries, 50582137 fired transitions, 75 secs ||
lola: 53 tries, 52621975 fired transitions, 80 secs ||
lola: 55 tries, 54653864 fired transitions, 85 secs ||
lola: 57 tries, 56661334 fired transitions, 90 secs ||
lola: 59 tries, 58689462 fired transitions, 95 secs ||
lola: 61 tries, 60673134 fired transitions, 100 secs ||
lola: 63 tries, 62650110 fired transitions, 105 secs ||
lola: 65 tries, 64628231 fired transitions, 110 secs ||
lola: 67 tries, 66669424 fired transitions, 115 secs ||
lola: 69 tries, 68684382 fired transitions, 120 secs ||
lola: 71 tries, 70670383 fired transitions, 125 secs ||
lola: 73 tries, 72685991 fired transitions, 130 secs ||
lola: 75 tries, 74663834 fired transitions, 135 secs ||
lola: 77 tries, 76670621 fired transitions, 140 secs ||
lola: 79 tries, 78694750 fired transitions, 145 secs ||
lola: 81 tries, 80680836 fired transitions, 150 secs ||
lola: 83 tries, 82668692 fired transitions, 155 secs ||
lola: 85 tries, 84668711 fired transitions, 160 secs ||
lola: 87 tries, 86695255 fired transitions, 165 secs ||
lola: 89 tries, 88668632 fired transitions, 170 secs ||
lola: 92 tries, 91044878 fired transitions, 175 secs ||
lola: 96 tries, 95176260 fired transitions, 180 secs ||
lola: 98 tries, 97380290 fired transitions, 185 secs ||
lola: 100 tries, 99472298 fired transitions, 190 secs ||
lola: 102 tries, 101528396 fired transitions, 195 secs ||
lola: 104 tries, 103655757 fired transitions, 200 secs ||
lola: 106 tries, 105797834 fired transitions, 205 secs ||
lola: 108 tries, 107911074 fired transitions, 210 secs ||
lola: 110 tries, 109992505 fired transitions, 215 secs ||
lola: 113 tries, 112115691 fired transitions, 220 secs ||
lola: 115 tries, 114207107 fired transitions, 225 secs ||
lola: 117 tries, 116256063 fired transitions, 230 secs ||
lola: 119 tries, 118306554 fired transitions, 235 secs ||
lola: 121 tries, 120421829 fired transitions, 240 secs ||
lola: 124 tries, 123040646 fired transitions, 245 secs ||
lola: 127 tries, 126923010 fired transitions, 250 secs ||
lola: 132 tries, 131129749 fired transitions, 255 secs ||
lola: 136 tries, 135368371 fired transitions, 260 secs ||
lola: 140 tries, 139608545 fired transitions, 265 secs ||
lola: 144 tries, 143848907 fired transitions, 270 secs ||
lola: 149 tries, 148088858 fired transitions, 275 secs ||
lola: 153 tries, 152303998 fired transitions, 280 secs ||
lola: 157 tries, 156545414 fired transitions, 285 secs ||
lola: 161 tries, 160783654 fired transitions, 290 secs ||
lola: 166 tries, 165004531 fired transitions, 295 secs ||
lola: 170 tries, 169243384 fired transitions, 300 secs ||
lola: 174 tries, 173480891 fired transitions, 305 secs ||
lola: 177 tries, 176915105 fired transitions, 310 secs ||
lola: 180 tries, 179035395 fired transitions, 315 secs ||
lola: 182 tries, 181159502 fired transitions, 320 secs ||
lola: 184 tries, 183275334 fired transitions, 325 secs ||
lola: 186 tries, 185405145 fired transitions, 330 secs ||
lola: 188 tries, 187509623 fired transitions, 335 secs ||
lola: 191 tries, 190154700 fired transitions, 340 secs ||
lola: 193 tries, 192242412 fired transitions, 345 secs ||
lola: 195 tries, 194281013 fired transitions, 350 secs ||
lola: 197 tries, 196400220 fired transitions, 355 secs ||
lola: 199 tries, 198517071 fired transitions, 360 secs ||
lola: 201 tries, 200633331 fired transitions, 365 secs ||
lola: 204 tries, 203358715 fired transitions, 370 secs ||
lola: 206 tries, 205481730 fired transitions, 375 secs ||
lola: 208 tries, 207600859 fired transitions, 380 secs ||
lola: 210 tries, 209721669 fired transitions, 385 secs ||
lola: 212 tries, 211851619 fired transitions, 390 secs ||
lola: 214 tries, 213983669 fired transitions, 395 secs ||
lola: 217 tries, 216109981 fired transitions, 400 secs ||
lola: 219 tries, 218250040 fired transitions, 405 secs ||
lola: 221 tries, 220397698 fired transitions, 410 secs ||
lola: 225 tries, 224035299 fired transitions, 415 secs ||
lola: 229 tries, 228276134 fired transitions, 420 secs ||
lola: 233 tries, 232502371 fired transitions, 425 secs ||
lola: 237 tries, 236739233 fired transitions, 430 secs ||
lola: 241 tries, 240975197 fired transitions, 435 secs ||
lola: 246 tries, 245206942 fired transitions, 440 secs ||
lola: 250 tries, 249442034 fired transitions, 445 secs ||
lola: 254 tries, 253683365 fired transitions, 450 secs ||
lola: 258 tries, 257916480 fired transitions, 455 secs ||
lola: 263 tries, 262158260 fired transitions, 460 secs ||
lola: 267 tries, 266402665 fired transitions, 465 secs ||
lola: 271 tries, 270613644 fired transitions, 470 secs ||
lola: 275 tries, 274825391 fired transitions, 475 secs ||
lola: 280 tries, 279011252 fired transitions, 480 secs ||
lola: 284 tries, 283244767 fired transitions, 485 secs ||
lola: 288 tries, 287407437 fired transitions, 490 secs ||
lola: 292 tries, 291553811 fired transitions, 495 secs ||
lola: 295 tries, 294066084 fired transitions, 500 secs ||
lola: 297 tries, 296182995 fired transitions, 505 secs ||
lola: 299 tries, 298296410 fired transitions, 510 secs ||
lola: 301 tries, 300406916 fired transitions, 515 secs ||
lola: 304 tries, 303529011 fired transitions, 520 secs ||
lola: 307 tries, 306216277 fired transitions, 525 secs ||
lola: 309 tries, 308332337 fired transitions, 530 secs ||
lola: 311 tries, 310454909 fired transitions, 535 secs ||
lola: 313 tries, 312569916 fired transitions, 540 secs ||
lola: 315 tries, 314690217 fired transitions, 545 secs ||
lola: 317 tries, 316813708 fired transitions, 550 secs ||
lola: 319 tries, 318928359 fired transitions, 555 secs ||
lola: 322 tries, 321049129 fired transitions, 560 secs ||
lola: 324 tries, 323168495 fired transitions, 565 secs ||
lola: 326 tries, 325288555 fired transitions, 570 secs ||
lola: 328 tries, 327401603 fired transitions, 575 secs ||
lola: 330 tries, 329730279 fired transitions, 580 secs ||
lola: 334 tries, 333910999 fired transitions, 585 secs ||
lola: 339 tries, 338064674 fired transitions, 590 secs ||
lola: 343 tries, 342238283 fired transitions, 595 secs ||
lola: 347 tries, 346383048 fired transitions, 600 secs ||
lola: 351 tries, 350589605 fired transitions, 605 secs ||
lola: 355 tries, 354778646 fired transitions, 610 secs ||
lola: 359 tries, 358491047 fired transitions, 615 secs ||
lola: 363 tries, 362311339 fired transitions, 620 secs ||
lola: 367 tries, 366525592 fired transitions, 625 secs ||
lola: 371 tries, 370726484 fired transitions, 630 secs ||
lola: 375 tries, 374940238 fired transitions, 635 secs ||
lola: 380 tries, 379133265 fired transitions, 640 secs ||
lola: 384 tries, 383279465 fired transitions, 645 secs ||
lola: 388 tries, 387351211 fired transitions, 650 secs ||
lola: 392 tries, 391552248 fired transitions, 655 secs ||
lola: 396 tries, 395753120 fired transitions, 660 secs ||
lola: 400 tries, 399972566 fired transitions, 665 secs ||
lola: 405 tries, 404098612 fired transitions, 670 secs ||
lola: 409 tries, 408192107 fired transitions, 675 secs ||
lola: 412 tries, 411432140 fired transitions, 680 secs ||
lola: 414 tries, 413555896 fired transitions, 685 secs ||
lola: 416 tries, 415670362 fired transitions, 690 secs ||
lola: 418 tries, 417791813 fired transitions, 695 secs ||
lola: 420 tries, 419904517 fired transitions, 700 secs ||
lola: 423 tries, 422022151 fired transitions, 705 secs ||
lola: 425 tries, 424137285 fired transitions, 710 secs ||
lola: 427 tries, 426258690 fired transitions, 715 secs ||
lola: 429 tries, 428375863 fired transitions, 720 secs ||
lola: 431 tries, 430489173 fired transitions, 725 secs ||
lola: 433 tries, 432611977 fired transitions, 730 secs ||
lola: 435 tries, 434719801 fired transitions, 735 secs ||
lola: 437 tries, 436839541 fired transitions, 740 secs ||
lola: 439 tries, 438953980 fired transitions, 745 secs ||
lola: 442 tries, 441076738 fired transitions, 750 secs ||
lola: 444 tries, 443191610 fired transitions, 755 secs ||
lola: 446 tries, 445299969 fired transitions, 760 secs ||
lola: 448 tries, 447421176 fired transitions, 765 secs ||
lola: 450 tries, 449536558 fired transitions, 770 secs ||
lola: 452 tries, 451653684 fired transitions, 775 secs ||
lola: 454 tries, 453778830 fired transitions, 780 secs ||
lola: 456 tries, 455884210 fired transitions, 785 secs ||
lola: 459 tries, 458006385 fired transitions, 790 secs ||
lola: 461 tries, 460119929 fired transitions, 795 secs ||
lola: 463 tries, 462234675 fired transitions, 800 secs ||
lola: 465 tries, 464357490 fired transitions, 805 secs ||
lola: 467 tries, 466480127 fired transitions, 810 secs ||
lola: 469 tries, 468595016 fired transitions, 815 secs ||
lola: 471 tries, 470709655 fired transitions, 820 secs ||
lola: 473 tries, 472832311 fired transitions, 825 secs ||
lola: 475 tries, 474951253 fired transitions, 830 secs ||
lola: 478 tries, 477064462 fired transitions, 835 secs ||
lola: 480 tries, 479186161 fired transitions, 840 secs ||
lola: 482 tries, 481302111 fired transitions, 845 secs ||
lola: 484 tries, 483425435 fired transitions, 850 secs ||
lola: 486 tries, 485541387 fired transitions, 855 secs ||
lola: 488 tries, 487659978 fired transitions, 860 secs ||
lola: 490 tries, 489783112 fired transitions, 865 secs ||
lola: 492 tries, 491898683 fired transitions, 870 secs ||
lola: 495 tries, 494021325 fired transitions, 875 secs ||
lola: 497 tries, 496144075 fired transitions, 880 secs ||
lola: 499 tries, 498259833 fired transitions, 885 secs ||
lola: 501 tries, 500380146 fired transitions, 890 secs ||
lola: 503 tries, 502496274 fired transitions, 895 secs ||
lola: 505 tries, 504616152 fired transitions, 900 secs ||
lola: 507 tries, 506740133 fired transitions, 905 secs ||
lola: 509 tries, 508854487 fired transitions, 910 secs ||
lola: 511 tries, 510977720 fired transitions, 915 secs ||
lola: 514 tries, 513101336 fired transitions, 920 secs ||
lola: 516 tries, 515216908 fired transitions, 925 secs ||
lola: 518 tries, 517326339 fired transitions, 930 secs ||
lola: 520 tries, 519451158 fired transitions, 935 secs ||
lola: 522 tries, 521567156 fired transitions, 940 secs ||
lola: 524 tries, 523692290 fired transitions, 945 secs ||
lola: 526 tries, 525728878 fired transitions, 950 secs ||
lola: 528 tries, 527730725 fired transitions, 955 secs ||
lola: 530 tries, 529738685 fired transitions, 960 secs ||
lola: 532 tries, 531721026 fired transitions, 965 secs ||
lola: 534 tries, 533690243 fired transitions, 970 secs ||
lola: 536 tries, 535669532 fired transitions, 975 secs ||
lola: 538 tries, 537660601 fired transitions, 980 secs ||
lola: 540 tries, 539664184 fired transitions, 985 secs ||
lola: 542 tries, 541667001 fired transitions, 990 secs ||
lola: 546 tries, 545358424 fired transitions, 995 secs ||
lola: 550 tries, 549599068 fired transitions, 1000 secs ||
lola: 554 tries, 553839555 fired transitions, 1005 secs ||
lola: 559 tries, 558067429 fired transitions, 1010 secs ||
lola: 563 tries, 562303527 fired transitions, 1015 secs ||
lola: 567 tries, 566543931 fired transitions, 1020 secs ||
lola: 571 tries, 570784485 fired transitions, 1025 secs ||
lola: 576 tries, 575024531 fired transitions, 1030 secs ||
lola: 580 tries, 579252794 fired transitions, 1035 secs ||
lola: 584 tries, 583493529 fired transitions, 1040 secs ||
lola: 588 tries, 587733955 fired transitions, 1045 secs ||
lola: 592 tries, 591974205 fired transitions, 1050 secs ||
lola: 597 tries, 596189854 fired transitions, 1055 secs ||
lola: 601 tries, 600436826 fired transitions, 1060 secs ||
lola: 605 tries, 604679163 fired transitions, 1065 secs ||
lola: 609 tries, 608925762 fired transitions, 1070 secs ||
lola: 614 tries, 613171552 fired transitions, 1075 secs ||
lola: 618 tries, 617416344 fired transitions, 1080 secs ||
lola: 622 tries, 621661706 fired transitions, 1085 secs ||
lola: 626 tries, 625891621 fired transitions, 1090 secs ||
lola: 631 tries, 630124672 fired transitions, 1095 secs ||
lola: 634 tries, 633292368 fired transitions, 1100 secs ||
lola: 636 tries, 635404840 fired transitions, 1105 secs ||
lola: 638 tries, 637517433 fired transitions, 1110 secs ||
lola: 640 tries, 639635413 fired transitions, 1115 secs ||
lola: 642 tries, 641749347 fired transitions, 1120 secs ||
lola: 644 tries, 643872992 fired transitions, 1125 secs ||
lola: 646 tries, 645995021 fired transitions, 1130 secs ||
lola: 649 tries, 648113665 fired transitions, 1135 secs ||
lola: 651 tries, 650229795 fired transitions, 1140 secs ||
lola: 653 tries, 652341429 fired transitions, 1145 secs ||
lola: 655 tries, 654464915 fired transitions, 1150 secs ||
lola: 657 tries, 656575563 fired transitions, 1155 secs ||
lola: 659 tries, 658704504 fired transitions, 1160 secs ||
lola: 661 tries, 660818266 fired transitions, 1165 secs ||
lola: 663 tries, 662932902 fired transitions, 1170 secs ||
lola: 666 tries, 665047991 fired transitions, 1175 secs ||
lola: 668 tries, 667183050 fired transitions, 1180 secs ||
lola: 670 tries, 669327807 fired transitions, 1185 secs ||
lola: 672 tries, 671442194 fired transitions, 1190 secs ||
lola: 674 tries, 673556282 fired transitions, 1195 secs ||
lola: 676 tries, 675684275 fired transitions, 1200 secs ||
lola: 678 tries, 677798735 fired transitions, 1205 secs ||
lola: 680 tries, 679914941 fired transitions, 1210 secs ||
lola: 683 tries, 682020632 fired transitions, 1215 secs ||
lola: 685 tries, 684140440 fired transitions, 1220 secs ||
lola: 687 tries, 686262446 fired transitions, 1225 secs ||
lola: 689 tries, 688370571 fired transitions, 1230 secs ||
lola: 691 tries, 690495792 fired transitions, 1235 secs ||
lola: 695 tries, 694400580 fired transitions, 1240 secs ||
lola: 697 tries, 696777669 fired transitions, 1245 secs ||
lola: 699 tries, 698890176 fired transitions, 1250 secs ||
lola: 702 tries, 701009721 fired transitions, 1255 secs ||
lola: 704 tries, 703129296 fired transitions, 1260 secs ||
lola: 706 tries, 705236235 fired transitions, 1265 secs ||
lola: 708 tries, 707359385 fired transitions, 1270 secs ||
lola: 710 tries, 709472121 fired transitions, 1275 secs ||
lola: 712 tries, 711591732 fired transitions, 1280 secs ||
lola: 714 tries, 713700480 fired transitions, 1285 secs ||
lola: 717 tries, 716102691 fired transitions, 1290 secs ||
lola: 720 tries, 719556014 fired transitions, 1295 secs ||
lola: 722 tries, 721659332 fired transitions, 1300 secs ||
lola: 724 tries, 723768674 fired transitions, 1305 secs ||
lola: 726 tries, 725877867 fired transitions, 1310 secs ||
lola: 728 tries, 727991681 fired transitions, 1315 secs ||
lola: 731 tries, 730116801 fired transitions, 1320 secs ||
lola: 734 tries, 733402848 fired transitions, 1325 secs ||
lola: 738 tries, 737554394 fired transitions, 1330 secs ||
lola: 742 tries, 741786312 fired transitions, 1335 secs ||
lola: 745 tries, 744833562 fired transitions, 1340 secs ||
lola: 747 tries, 746954689 fired transitions, 1345 secs ||
lola: 750 tries, 749068595 fired transitions, 1350 secs ||
lola: 752 tries, 751183185 fired transitions, 1355 secs ||
lola: 754 tries, 753284755 fired transitions, 1360 secs ||
lola: 756 tries, 755404768 fired transitions, 1365 secs ||
lola: 758 tries, 757516878 fired transitions, 1370 secs ||
lola: 760 tries, 759630123 fired transitions, 1375 secs ||
lola: 762 tries, 761748103 fired transitions, 1380 secs ||
lola: 764 tries, 763842389 fired transitions, 1385 secs ||
lola: 766 tries, 765956381 fired transitions, 1390 secs ||
lola: 769 tries, 768077585 fired transitions, 1395 secs ||
lola: 771 tries, 770198781 fired transitions, 1400 secs ||
lola: 773 tries, 772312619 fired transitions, 1405 secs ||
lola: 775 tries, 774434154 fired transitions, 1410 secs ||
lola: 777 tries, 776547541 fired transitions, 1415 secs ||
lola: 779 tries, 778661711 fired transitions, 1420 secs ||
lola: 781 tries, 780778854 fired transitions, 1425 secs ||
lola: 784 tries, 783413738 fired transitions, 1430 secs ||
lola: 787 tries, 786606719 fired transitions, 1435 secs ||
lola: 791 tries, 790117308 fired transitions, 1440 secs ||
lola: 794 tries, 793462986 fired transitions, 1445 secs ||
lola: 797 tries, 796403056 fired transitions, 1450 secs ||
lola: 800 tries, 799868846 fired transitions, 1455 secs ||
lola: 805 tries, 804094438 fired transitions, 1460 secs ||
lola: 809 tries, 808330069 fired transitions, 1465 secs ||
lola: 813 tries, 812575030 fired transitions, 1470 secs ||
lola: 817 tries, 816747619 fired transitions, 1475 secs ||
lola: 821 tries, 820515419 fired transitions, 1480 secs ||
lola: 825 tries, 824753695 fired transitions, 1485 secs ||
lola: 829 tries, 828998755 fired transitions, 1490 secs ||
lola: 834 tries, 833257038 fired transitions, 1495 secs ||
lola: 838 tries, 837497119 fired transitions, 1500 secs ||
lola: 842 tries, 841759261 fired transitions, 1505 secs ||
lola: 847 tries, 846001181 fired transitions, 1510 secs ||
lola: 851 tries, 850238601 fired transitions, 1515 secs ||
lola: 855 tries, 854474655 fired transitions, 1520 secs ||
lola: 859 tries, 858713173 fired transitions, 1525 secs ||
lola: 863 tries, 862972638 fired transitions, 1530 secs ||
lola: 868 tries, 867166366 fired transitions, 1535 secs ||
lola: 870 tries, 869967465 fired transitions, 1540 secs ||
lola: 875 tries, 874222483 fired transitions, 1545 secs ||
lola: 879 tries, 878487840 fired transitions, 1550 secs ||
lola: 883 tries, 882761000 fired transitions, 1555 secs ||
lola: 886 tries, 885480809 fired transitions, 1560 secs ||
lola: 889 tries, 888586768 fired transitions, 1565 secs ||
lola: 892 tries, 891999459 fired transitions, 1570 secs ||
lola: 895 tries, 894146170 fired transitions, 1575 secs ||
lola: 897 tries, 896275876 fired transitions, 1580 secs ||
lola: 899 tries, 898429299 fired transitions, 1585 secs ||
lola: 901 tries, 900578295 fired transitions, 1590 secs ||
lola: 903 tries, 902725051 fired transitions, 1595 secs ||
lola: 905 tries, 904846278 fired transitions, 1600 secs ||
lola: 907 tries, 906973146 fired transitions, 1605 secs ||
lola: 910 tries, 909111967 fired transitions, 1610 secs ||
lola: 912 tries, 911240825 fired transitions, 1615 secs ||
lola: 914 tries, 913360067 fired transitions, 1620 secs ||
lola: 916 tries, 915487501 fired transitions, 1625 secs ||
lola: 918 tries, 917628555 fired transitions, 1630 secs ||
lola: 920 tries, 919745567 fired transitions, 1635 secs ||
lola: 922 tries, 921866474 fired transitions, 1640 secs ||
lola: 924 tries, 923988778 fired transitions, 1645 secs ||
lola: 927 tries, 926116293 fired transitions, 1650 secs ||
lola: 929 tries, 928259820 fired transitions, 1655 secs ||
lola: 931 tries, 930399322 fired transitions, 1660 secs ||
lola: 933 tries, 932488857 fired transitions, 1665 secs ||
lola: 935 tries, 934614671 fired transitions, 1670 secs ||
lola: 937 tries, 936758561 fired transitions, 1675 secs ||
lola: 939 tries, 938894036 fired transitions, 1680 secs ||
lola: 941 tries, 940984214 fired transitions, 1685 secs ||
lola: 944 tries, 943066492 fired transitions, 1690 secs ||
lola: 946 tries, 945189632 fired transitions, 1695 secs ||
lola: 948 tries, 947310559 fired transitions, 1700 secs ||
lola: 950 tries, 949464439 fired transitions, 1705 secs ||
lola: 952 tries, 951615985 fired transitions, 1710 secs ||
lola: 954 tries, 953773537 fired transitions, 1715 secs ||
lola: 956 tries, 955906651 fired transitions, 1720 secs ||
lola: 959 tries, 958042350 fired transitions, 1725 secs ||
lola: 961 tries, 960196112 fired transitions, 1730 secs ||
lola: 963 tries, 962343635 fired transitions, 1735 secs ||
lola: 965 tries, 964468968 fired transitions, 1740 secs ||
lola: 967 tries, 966626877 fired transitions, 1745 secs ||
lola: 969 tries, 968782477 fired transitions, 1750 secs ||
lola: 971 tries, 970930167 fired transitions, 1755 secs ||
lola: 974 tries, 973077007 fired transitions, 1760 secs ||
lola: 976 tries, 975198529 fired transitions, 1765 secs ||
lola: 979 tries, 978363998 fired transitions, 1770 secs ||
lola: 983 tries, 982598913 fired transitions, 1775 secs ||
lola: 987 tries, 986829514 fired transitions, 1780 secs ||
lola: 992 tries, 991068769 fired transitions, 1785 secs ||
lola: 996 tries, 995298810 fired transitions, 1790 secs ||
lola: 1000 tries, 999537874 fired transitions, 1795 secs ||
lola: 1004 tries, 1003752485 fired transitions, 1800 secs ||
lola: 1009 tries, 1008004522 fired transitions, 1805 secs ||
lola: 1013 tries, 1012223965 fired transitions, 1810 secs ||
lola: 1017 tries, 1016369454 fired transitions, 1815 secs ||
lola: 1020 tries, 1019658767 fired transitions, 1820 secs ||
lola: 1024 tries, 1023305516 fired transitions, 1825 secs ||
lola: 1028 tries, 1027349586 fired transitions, 1830 secs ||
lola: 1032 tries, 1031580432 fired transitions, 1835 secs ||
lola: 1036 tries, 1035618893 fired transitions, 1840 secs ||
lola: 1040 tries, 1039731471 fired transitions, 1845 secs ||
lola: 1044 tries, 1043449916 fired transitions, 1850 secs ||
lola: 1047 tries, 1046610462 fired transitions, 1855 secs ||
lola: 1050 tries, 1049237850 fired transitions, 1860 secs ||
lola: 1054 tries, 1053441120 fired transitions, 1865 secs ||
lola: 1058 tries, 1057273203 fired transitions, 1870 secs ||
lola: 1062 tries, 1061397858 fired transitions, 1875 secs ||
lola: 1066 tries, 1065578998 fired transitions, 1880 secs ||
lola: 1070 tries, 1069765843 fired transitions, 1885 secs ||
lola: 1074 tries, 1073539921 fired transitions, 1890 secs ||
lola: 1078 tries, 1077416295 fired transitions, 1895 secs ||
lola: 1082 tries, 1081618662 fired transitions, 1900 secs ||
lola: 1086 tries, 1085801092 fired transitions, 1905 secs ||
lola: 1090 tries, 1089914909 fired transitions, 1910 secs ||
lola: 1095 tries, 1094135779 fired transitions, 1915 secs ||
lola: 1099 tries, 1098310218 fired transitions, 1920 secs ||
lola: 1103 tries, 1102508112 fired transitions, 1925 secs ||
lola: 1107 tries, 1106748804 fired transitions, 1930 secs ||
lola: 1111 tries, 1110989535 fired transitions, 1935 secs ||
lola: 1116 tries, 1115230148 fired transitions, 1940 secs ||
lola: 1120 tries, 1119470933 fired transitions, 1945 secs ||
lola: 1123 tries, 1122484830 fired transitions, 1950 secs ||
lola: 1125 tries, 1124605683 fired transitions, 1955 secs ||
lola: 1129 tries, 1128304441 fired transitions, 1960 secs ||
lola: 1133 tries, 1132446266 fired transitions, 1965 secs ||
lola: 1136 tries, 1135535169 fired transitions, 1970 secs ||
lola: 1140 tries, 1139004252 fired transitions, 1975 secs ||
lola: 1144 tries, 1143160815 fired transitions, 1980 secs ||
lola: 1147 tries, 1146466711 fired transitions, 1985 secs ||
lola: 1151 tries, 1150169272 fired transitions, 1990 secs ||
lola: 1155 tries, 1154393360 fired transitions, 1995 secs ||
lola: 1159 tries, 1158663080 fired transitions, 2000 secs ||
lola: 1163 tries, 1162869158 fired transitions, 2005 secs ||
lola: 1168 tries, 1167064457 fired transitions, 2010 secs ||
lola: 1172 tries, 1171275203 fired transitions, 2015 secs ||
lola: 1176 tries, 1175505911 fired transitions, 2020 secs ||
lola: 1180 tries, 1179721358 fired transitions, 2025 secs ||
lola: 1184 tries, 1183868094 fired transitions, 2030 secs ||
lola: 1189 tries, 1188074918 fired transitions, 2035 secs ||
lola: 1192 tries, 1191456440 fired transitions, 2040 secs ||
lola: 1195 tries, 1194882794 fired transitions, 2045 secs ||
lola: 1199 tries, 1198924164 fired transitions, 2050 secs ||
lola: 1203 tries, 1202769786 fired transitions, 2055 secs ||
lola: 1205 tries, 1204909797 fired transitions, 2060 secs ||
lola: 1209 tries, 1208258700 fired transitions, 2065 secs ||
lola: 1213 tries, 1212544802 fired transitions, 2070 secs ||
lola: 1217 tries, 1216751525 fired transitions, 2075 secs ||
lola: 1221 tries, 1220962758 fired transitions, 2080 secs ||
lola: 1226 tries, 1225233366 fired transitions, 2085 secs ||
lola: 1230 tries, 1229510253 fired transitions, 2090 secs ||
lola: 1234 tries, 1233787475 fired transitions, 2095 secs ||
lola: 1239 tries, 1238084506 fired transitions, 2100 secs ||
lola: 1243 tries, 1242221580 fired transitions, 2105 secs ||
lola: 1247 tries, 1246375269 fired transitions, 2110 secs ||
lola: 1251 tries, 1250416618 fired transitions, 2115 secs ||
lola: 1255 tries, 1254491862 fired transitions, 2120 secs ||
lola: 1259 tries, 1258522433 fired transitions, 2125 secs ||
lola: 1263 tries, 1262705402 fired transitions, 2130 secs ||
lola: 1266 tries, 1265781748 fired transitions, 2135 secs ||
lola: 1270 tries, 1269911170 fired transitions, 2140 secs ||
lola: 1275 tries, 1274137683 fired transitions, 2145 secs ||
lola: 1279 tries, 1278301295 fired transitions, 2150 secs ||
lola: 1283 tries, 1282452056 fired transitions, 2155 secs ||
lola: 1287 tries, 1286676749 fired transitions, 2160 secs ||
lola: 1291 tries, 1290870886 fired transitions, 2165 secs ||
lola: 1296 tries, 1295044556 fired transitions, 2170 secs ||
lola: 1300 tries, 1299170114 fired transitions, 2175 secs ||
lola: 1304 tries, 1303379846 fired transitions, 2180 secs ||
lola: 1308 tries, 1307518879 fired transitions, 2185 secs ||
lola: 1312 tries, 1311730783 fired transitions, 2190 secs ||
lola: 1316 tries, 1315884325 fired transitions, 2195 secs ||
lola: 1320 tries, 1319191131 fired transitions, 2200 secs ||
lola: 1324 tries, 1323352993 fired transitions, 2205 secs ||
lola: 1328 tries, 1327579214 fired transitions, 2210 secs ||
lola: 1332 tries, 1331796633 fired transitions, 2215 secs ||
lola: 1336 tries, 1335988045 fired transitions, 2220 secs ||
lola: 1341 tries, 1340186232 fired transitions, 2225 secs ||
lola: 1345 tries, 1344413561 fired transitions, 2230 secs ||
lola: 1349 tries, 1348624904 fired transitions, 2235 secs ||
lola: 1353 tries, 1352854825 fired transitions, 2240 secs ||
lola: 1358 tries, 1357094843 fired transitions, 2245 secs ||
lola: 1362 tries, 1361326827 fired transitions, 2250 secs ||
lola: 1366 tries, 1365485148 fired transitions, 2255 secs ||
lola: 1370 tries, 1369716160 fired transitions, 2260 secs ||
lola: 1373 tries, 1372987158 fired transitions, 2265 secs ||
lola: 1377 tries, 1376827292 fired transitions, 2270 secs ||
lola: 1382 tries, 1381035153 fired transitions, 2275 secs ||
lola: 1386 tries, 1385230661 fired transitions, 2280 secs ||
lola: 1390 tries, 1389435046 fired transitions, 2285 secs ||
lola: 1394 tries, 1393634382 fired transitions, 2290 secs ||
lola: 1398 tries, 1397848585 fired transitions, 2295 secs ||
lola: 1403 tries, 1402060595 fired transitions, 2300 secs ||
lola: 1407 tries, 1406166684 fired transitions, 2305 secs ||
lola: 1410 tries, 1409370112 fired transitions, 2310 secs ||
lola: 1414 tries, 1413125140 fired transitions, 2315 secs ||
lola: 1417 tries, 1416838930 fired transitions, 2320 secs ||
lola: 1422 tries, 1421063194 fired transitions, 2325 secs ||
lola: 1426 tries, 1425286765 fired transitions, 2330 secs ||
lola: 1430 tries, 1429515797 fired transitions, 2335 secs ||
lola: 1434 tries, 1433735950 fired transitions, 2340 secs ||
lola: 1438 tries, 1437976109 fired transitions, 2345 secs ||
lola: 1443 tries, 1442200017 fired transitions, 2350 secs ||
lola: 1447 tries, 1446371327 fired transitions, 2355 secs ||
lola: 1451 tries, 1450522426 fired transitions, 2360 secs ||
lola: 1455 tries, 1454603522 fired transitions, 2365 secs ||
lola: 1459 tries, 1458668653 fired transitions, 2370 secs ||
lola: 1463 tries, 1462873278 fired transitions, 2375 secs ||
lola: 1468 tries, 1467078717 fired transitions, 2380 secs ||
lola: 1472 tries, 1471305093 fired transitions, 2385 secs ||
lola: 1476 tries, 1475441729 fired transitions, 2390 secs ||
lola: 1480 tries, 1479663287 fired transitions, 2395 secs ||
lola: 1484 tries, 1483877675 fired transitions, 2400 secs ||
lola: 1489 tries, 1488102374 fired transitions, 2405 secs ||
lola: 1493 tries, 1492323558 fired transitions, 2410 secs ||
lola: 1497 tries, 1496488684 fired transitions, 2415 secs ||
lola: 1499 tries, 1498880632 fired transitions, 2420 secs ||
lola: 1501 tries, 1500997818 fired transitions, 2425 secs ||
lola: 1504 tries, 1503112190 fired transitions, 2430 secs ||
lola: 1506 tries, 1505229532 fired transitions, 2435 secs ||
lola: 1508 tries, 1507341806 fired transitions, 2440 secs ||
lola: 1510 tries, 1509455458 fired transitions, 2445 secs ||
lola: 1512 tries, 1511576512 fired transitions, 2450 secs ||
lola: 1514 tries, 1513690418 fired transitions, 2455 secs ||
lola: 1516 tries, 1515812458 fired transitions, 2460 secs ||
lola: 1518 tries, 1517933202 fired transitions, 2465 secs ||
lola: 1521 tries, 1520710319 fired transitions, 2470 secs ||
lola: 1525 tries, 1524915050 fired transitions, 2475 secs ||
lola: 1530 tries, 1529119487 fired transitions, 2480 secs ||
lola: 1534 tries, 1533249745 fired transitions, 2485 secs ||
lola: 1538 tries, 1537426641 fired transitions, 2490 secs ||
lola: 1542 tries, 1541626065 fired transitions, 2495 secs ||
lola: 1546 tries, 1545649725 fired transitions, 2500 secs ||
lola: 1550 tries, 1549643535 fired transitions, 2505 secs ||
lola: 1554 tries, 1553620697 fired transitions, 2510 secs ||
lola: 1558 tries, 1557727242 fired transitions, 2515 secs ||
lola: 1562 tries, 1561718123 fired transitions, 2520 secs ||
lola: 1566 tries, 1565840052 fired transitions, 2525 secs ||
lola: 1570 tries, 1569848953 fired transitions, 2530 secs ||
lola: 1574 tries, 1573917137 fired transitions, 2535 secs ||
lola: 1578 tries, 1577560095 fired transitions, 2540 secs ||
lola: 1580 tries, 1579664848 fired transitions, 2545 secs ||
lola: 1582 tries, 1581769251 fired transitions, 2550 secs ||
lola: 1585 tries, 1584107482 fired transitions, 2555 secs ||
lola: 1589 tries, 1588358483 fired transitions, 2560 secs ||
lola: 1593 tries, 1592604641 fired transitions, 2565 secs ||
lola: 1597 tries, 1596885808 fired transitions, 2570 secs ||
lola: 1602 tries, 1601171055 fired transitions, 2575 secs ||
lola: 1606 tries, 1605460796 fired transitions, 2580 secs ||
lola: 1610 tries, 1609762343 fired transitions, 2585 secs ||
lola: 1615 tries, 1614103292 fired transitions, 2590 secs ||
lola: 1619 tries, 1618379748 fired transitions, 2595 secs ||
lola: 1623 tries, 1622591903 fired transitions, 2600 secs ||
lola: 1627 tries, 1626832177 fired transitions, 2605 secs ||
lola: 1632 tries, 1631052245 fired transitions, 2610 secs ||
lola: 1636 tries, 1635327113 fired transitions, 2615 secs ||
lola: 1640 tries, 1639609831 fired transitions, 2620 secs ||
lola: 1644 tries, 1643874802 fired transitions, 2625 secs ||
lola: 1649 tries, 1648120727 fired transitions, 2630 secs ||
lola: 1653 tries, 1652409810 fired transitions, 2635 secs ||
lola: 1657 tries, 1656677026 fired transitions, 2640 secs ||
lola: 1661 tries, 1660953463 fired transitions, 2645 secs ||
lola: 1666 tries, 1665240309 fired transitions, 2650 secs ||
lola: 1670 tries, 1669444999 fired transitions, 2655 secs ||
lola: 1674 tries, 1673746266 fired transitions, 2660 secs ||
lola: 1679 tries, 1678033951 fired transitions, 2665 secs ||
lola: 1683 tries, 1682337034 fired transitions, 2670 secs ||
lola: 1687 tries, 1686592046 fired transitions, 2675 secs ||
lola: 1691 tries, 1690871838 fired transitions, 2680 secs ||
lola: 1696 tries, 1695147985 fired transitions, 2685 secs ||
lola: 1700 tries, 1699364002 fired transitions, 2690 secs ||
lola: 1704 tries, 1703528817 fired transitions, 2695 secs ||
lola: 1708 tries, 1707755035 fired transitions, 2700 secs ||
lola: 1712 tries, 1711980179 fired transitions, 2705 secs ||
lola: 1717 tries, 1716179573 fired transitions, 2710 secs ||
lola: 1719 tries, 1718851633 fired transitions, 2715 secs ||
lola: 1721 tries, 1720885889 fired transitions, 2720 secs ||
lola: 1725 tries, 1724011461 fired transitions, 2725 secs ||
lola: 1729 tries, 1728245306 fired transitions, 2730 secs ||
lola: 1733 tries, 1732537576 fired transitions, 2735 secs ||
lola: 1737 tries, 1736723407 fired transitions, 2740 secs ||
lola: 1741 tries, 1740997725 fired transitions, 2745 secs ||
lola: 1746 tries, 1745184150 fired transitions, 2750 secs ||
lola: 1750 tries, 1749461561 fired transitions, 2755 secs ||
lola: 1754 tries, 1753733996 fired transitions, 2760 secs ||
lola: 1756 tries, 1755908463 fired transitions, 2765 secs ||
lola: 1758 tries, 1757965995 fired transitions, 2770 secs ||
lola: 1761 tries, 1760009493 fired transitions, 2775 secs ||
lola: 1764 tries, 1763028280 fired transitions, 2780 secs ||
lola: 1768 tries, 1767044140 fired transitions, 2785 secs ||
lola: 1772 tries, 1771296049 fired transitions, 2790 secs ||
lola: 1776 tries, 1775550625 fired transitions, 2795 secs ||
lola: 1780 tries, 1779801395 fired transitions, 2800 secs ||
lola: 1785 tries, 1784058237 fired transitions, 2805 secs ||
lola: 1789 tries, 1788325736 fired transitions, 2810 secs ||
lola: 1793 tries, 1792591457 fired transitions, 2815 secs ||
lola: 1797 tries, 1796840608 fired transitions, 2820 secs ||
lola: 1802 tries, 1801125828 fired transitions, 2825 secs ||
lola: 1806 tries, 1805382301 fired transitions, 2830 secs ||
lola: 1810 tries, 1809638267 fired transitions, 2835 secs ||
lola: 1814 tries, 1813886122 fired transitions, 2840 secs ||
lola: 1819 tries, 1818133964 fired transitions, 2845 secs ||
lola: 1822 tries, 1821452234 fired transitions, 2850 secs ||
lola: 1825 tries, 1824050605 fired transitions, 2855 secs ||
lola: 1829 tries, 1828297265 fired transitions, 2860 secs ||
lola: 1831 tries, 1830658518 fired transitions, 2865 secs ||
lola: 1835 tries, 1834920073 fired transitions, 2870 secs ||
lola: 1840 tries, 1839227440 fired transitions, 2875 secs ||
lola: 1844 tries, 1843522767 fired transitions, 2880 secs ||
lola: 1848 tries, 1847807294 fired transitions, 2885 secs ||
lola: 1853 tries, 1852093902 fired transitions, 2890 secs ||
lola: 1857 tries, 1856376419 fired transitions, 2895 secs ||
lola: 1861 tries, 1860660392 fired transitions, 2900 secs ||
lola: 1865 tries, 1864912592 fired transitions, 2905 secs ||
lola: 1870 tries, 1869202812 fired transitions, 2910 secs ||
lola: 1874 tries, 1873498081 fired transitions, 2915 secs ||
lola: 1878 tries, 1877752791 fired transitions, 2920 secs ||
lola: 1883 tries, 1882058866 fired transitions, 2925 secs ||
lola: 1887 tries, 1886349863 fired transitions, 2930 secs ||
lola: 1891 tries, 1890620193 fired transitions, 2935 secs ||
lola: 1895 tries, 1894906992 fired transitions, 2940 secs ||
lola: 1900 tries, 1899206788 fired transitions, 2945 secs ||
lola: 1904 tries, 1903498283 fired transitions, 2950 secs ||
lola: 1908 tries, 1907789547 fired transitions, 2955 secs ||
lola: 1913 tries, 1912084232 fired transitions, 2960 secs ||
lola: 1917 tries, 1916308078 fired transitions, 2965 secs ||
lola: 1921 tries, 1920577018 fired transitions, 2970 secs ||
lola: 1925 tries, 1924809124 fired transitions, 2975 secs ||
lola: 1930 tries, 1929110741 fired transitions, 2980 secs ||
lola: 1934 tries, 1933380492 fired transitions, 2985 secs ||
lola: 1938 tries, 1937683073 fired transitions, 2990 secs ||
lola: 1942 tries, 1941638482 fired transitions, 2995 secs ||
lola: 1944 tries, 1943643037 fired transitions, 3000 secs ||
lola: 1947 tries, 1946498301 fired transitions, 3005 secs ||
lola: 1951 tries, 1950795270 fired transitions, 3010 secs ||
lola: 1956 tries, 1955081867 fired transitions, 3015 secs ||
lola: 1960 tries, 1959390376 fired transitions, 3020 secs ||
lola: 1964 tries, 1963684851 fired transitions, 3025 secs ||
lola: 1968 tries, 1967909632 fired transitions, 3030 secs ||
lola: 1973 tries, 1972012833 fired transitions, 3035 secs ||
lola: 1977 tries, 1976291000 fired transitions, 3040 secs ||
lola: 1981 tries, 1980498910 fired transitions, 3045 secs ||
lola: 1985 tries, 1984783845 fired transitions, 3050 secs ||
lola: 1990 tries, 1989045453 fired transitions, 3055 secs ||
lola: 1994 tries, 1993248328 fired transitions, 3060 secs ||
lola: 1998 tries, 1997508816 fired transitions, 3065 secs ||
lola: 2002 tries, 2001740628 fired transitions, 3070 secs ||
lola: 2007 tries, 2006026547 fired transitions, 3075 secs ||
lola: 2011 tries, 2010261861 fired transitions, 3080 secs ||
lola: 2015 tries, 2014548811 fired transitions, 3085 secs ||
lola: 2019 tries, 2018818783 fired transitions, 3090 secs ||
lola: 2024 tries, 2023039349 fired transitions, 3095 secs ||
lola: 2028 tries, 2027302742 fired transitions, 3100 secs ||
lola: 2032 tries, 2031535296 fired transitions, 3105 secs ||
lola: 2036 tries, 2035754042 fired transitions, 3110 secs ||
lola: 2040 tries, 2039997204 fired transitions, 3115 secs ||
lola: 2045 tries, 2044280548 fired transitions, 3120 secs ||
lola: 2049 tries, 2048521299 fired transitions, 3125 secs ||
lola: 2052 tries, 2051767097 fired transitions, 3130 secs ||
lola: 2057 tries, 2056066899 fired transitions, 3135 secs ||
lola: 2061 tries, 2060296396 fired transitions, 3140 secs ||
lola: 2065 tries, 2064564376 fired transitions, 3145 secs ||
lola: 2069 tries, 2068848815 fired transitions, 3150 secs ||
lola: 2074 tries, 2073138181 fired transitions, 3155 secs ||
lola: 2078 tries, 2077404877 fired transitions, 3160 secs ||
lola: 2082 tries, 2081688646 fired transitions, 3165 secs ||
lola: 2086 tries, 2085982626 fired transitions, 3170 secs ||
lola: 2091 tries, 2090263055 fired transitions, 3175 secs ||
lola: 2095 tries, 2094544933 fired transitions, 3180 secs ||
lola: 2098 tries, 2097906646 fired transitions, 3185 secs ||
lola: 2101 tries, 2100060708 fired transitions, 3190 secs ||
lola: 2104 tries, 2103045419 fired transitions, 3195 secs ||
lola: 2108 tries, 2107235306 fired transitions, 3200 secs ||
lola: 2112 tries, 2111317794 fired transitions, 3205 secs ||
lola: 2116 tries, 2115607855 fired transitions, 3210 secs ||
lola: 2120 tries, 2119883294 fired transitions, 3215 secs ||
lola: 2125 tries, 2124009545 fired transitions, 3220 secs ||
lola: 2129 tries, 2128291820 fired transitions, 3225 secs ||
lola: 2133 tries, 2132571585 fired transitions, 3230 secs ||
lola: 2137 tries, 2136866179 fired transitions, 3235 secs ||
lola: 2142 tries, 2141132635 fired transitions, 3240 secs ||
lola: 2146 tries, 2145424702 fired transitions, 3245 secs ||
lola: 2150 tries, 2149709985 fired transitions, 3250 secs ||
lola: 2154 tries, 2153409039 fired transitions, 3255 secs ||
lola: 2158 tries, 2157395102 fired transitions, 3260 secs ||
lola: 2162 tries, 2161679987 fired transitions, 3265 secs ||
lola: 2166 tries, 2165979173 fired transitions, 3270 secs ||
lola: 2171 tries, 2170274413 fired transitions, 3275 secs ||
lola: 2174 tries, 2173277889 fired transitions, 3280 secs ||
lola: 2176 tries, 2175427604 fired transitions, 3285 secs ||
lola: 2180 tries, 2179171303 fired transitions, 3290 secs ||
lola: 2184 tries, 2183462768 fired transitions, 3295 secs ||
lola: 2188 tries, 2187766342 fired transitions, 3300 secs ||
lola: 2192 tries, 2191145916 fired transitions, 3305 secs ||
lola: 2196 tries, 2195445849 fired transitions, 3310 secs ||
lola: 2200 tries, 2199659433 fired transitions, 3315 secs ||
lola: 2204 tries, 2203949867 fired transitions, 3320 secs ||
lola: 2209 tries, 2208241148 fired transitions, 3325 secs ||
lola: 2211 tries, 2210928338 fired transitions, 3330 secs ||
lola: 2215 tries, 2214651298 fired transitions, 3335 secs ||
lola: 2219 tries, 2218891620 fired transitions, 3340 secs ||
lola: 2224 tries, 2223172518 fired transitions, 3345 secs ||
lola: 2228 tries, 2227451445 fired transitions, 3350 secs ||
lola: 2232 tries, 2231720004 fired transitions, 3355 secs ||
lola: 2237 tries, 2236012554 fired transitions, 3360 secs ||
lola: 2240 tries, 2239560780 fired transitions, 3365 secs ||
lola: 2244 tries, 2243805950 fired transitions, 3370 secs ||
lola: 2249 tries, 2248075262 fired transitions, 3375 secs ||
lola: 2253 tries, 2252345411 fired transitions, 3380 secs ||
lola: 2257 tries, 2256606227 fired transitions, 3385 secs ||
lola: 2261 tries, 2260874757 fired transitions, 3390 secs ||
lola: 2266 tries, 2265075935 fired transitions, 3395 secs ||
lola: 2270 tries, 2269344069 fired transitions, 3400 secs ||
lola: 2274 tries, 2273555979 fired transitions, 3405 secs ||
lola: 2278 tries, 2277846835 fired transitions, 3410 secs ||
lola: 2283 tries, 2282056096 fired transitions, 3415 secs ||
lola: 2287 tries, 2286305462 fired transitions, 3420 secs ||
lola: 2291 tries, 2290520475 fired transitions, 3425 secs ||
lola: 2295 tries, 2294769618 fired transitions, 3430 secs ||
lola: 2300 tries, 2299041371 fired transitions, 3435 secs ||
lola: 2304 tries, 2303291027 fired transitions, 3440 secs ||
lola: 2308 tries, 2307562149 fired transitions, 3445 secs ||
lola: 2312 tries, 2311840853 fired transitions, 3450 secs ||
lola: 2317 tries, 2316111387 fired transitions, 3455 secs ||
lola: 2321 tries, 2320332378 fired transitions, 3460 secs ||
lola: 2325 tries, 2324558657 fired transitions, 3465 secs ||
lola: 2329 tries, 2328815955 fired transitions, 3470 secs ||
lola: 2334 tries, 2333047055 fired transitions, 3475 secs ||
lola: 2338 tries, 2337367152 fired transitions, 3480 secs ||
lola: 2342 tries, 2341617288 fired transitions, 3485 secs ||
lola: 2346 tries, 2345890184 fired transitions, 3490 secs ||
lola: 2351 tries, 2350212156 fired transitions, 3495 secs ||
lola: 2355 tries, 2354539072 fired transitions, 3500 secs ||
lola: 2359 tries, 2358840364 fired transitions, 3505 secs ||
lola: 2364 tries, 2363111593 fired transitions, 3510 secs ||
lola: 2368 tries, 2367386596 fired transitions, 3515 secs ||
lola: 2372 tries, 2371635184 fired transitions, 3520 secs ||
lola: 2376 tries, 2375847977 fired transitions, 3525 secs ||
lola: 2381 tries, 2380080016 fired transitions, 3530 secs ||
lola: 2385 tries, 2384350477 fired transitions, 3535 secs ||
lola: 2389 tries, 2388609913 fired transitions, 3540 secs ||
lola: 2391 tries, 2390858107 fired transitions, 3545 secs ||
lola: 2395 tries, 2394963042 fired transitions, 3550 secs ||
lola: 2400 tries, 2399240667 fired transitions, 3555 secs ||
lola: 2404 tries, 2403523971 fired transitions, 3560 secs ||
lola: time limit reached - aborting
lola: memory consumption: 21068 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: 21748 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 1552789621566

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

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