MCC'2019 - Execution of r016-csrt-155225065300273

About the Execution of LoLA for BART-COL-020

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
5125.470	3570348.00	7584626.00	313.30	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r016-csrt-155225065300273.qcow2',
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is BART-COL-020, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-csrt-155225065300273
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 352K
-rw-r--r-- 1 mcc users 3.7K Feb 9 07:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 9 07:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 5 04:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 5 04:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.
-rw-r--r-- 1 mcc users 99 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 337 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 22:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:32
-rw-r--r-- 1 mcc users 8.5K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 2 01:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 2 01:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Jan 29 12:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 29 12:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 195K 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 BART-COL-020-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552511191158

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ BART-COL-020 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ BART-COL-020

{
"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 21:06:31 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 2559940,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"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": 43620,
"conflict_clusters": 11203,
"places": 15293,
"places_significant": 3940,
"singleton_clusters": 0,
"transitions": 6140
},
"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": 34768262478147256155783164566275478714216624648488006
"composed": 3087,
"dead_branches": 2,
"generators": 3188,
"interrupted": true,
"real_computed": 101,
"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 High-Level net
lola: Places: 15293, Transitions: 6140
lola: @ trans TrainDecc
lola: @ trans MissStation
lola: @ trans TooEarly
lola: @ trans TrainStop
lola: @ trans TrainAcc
lola: @ trans TrainStable
lola: @ trans AtStation
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 21433/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 489376
lola: finding significant places
lola: 15293 places, 6140 transitions, 3940 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: 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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given
lola: 1 tries, 875380 fired transitions, 0 secs
lola: 115 generators;115877596 candidates remain ( 0%),
lola: 2 tries, 1699712 fired transitions, 5 secs
lola: 115 generators;115877596 candidates remain ( 0%),
lola: 3 tries, 2544443 fired transitions, 10 secs
lola: 216 generators;115847088 candidates remain ( 0%),
lola: 4 tries, 3375995 fired transitions, 15 secs
lola: 254 generators;115816647 candidates remain ( 0%),
lola: 5 tries, 4159897 fired transitions, 20 secs
lola: 286 generators;115801493 candidates remain ( 0%),
lola: 5 tries, 4789897 fired transitions, 25 secs
lola: 292 generators;115178465 candidates remain ( 0%),
lola: 6 tries, 5508216 fired transitions, 30 secs
lola: 401 generators;114557014 candidates remain ( 0%),
lola: 7 tries, 6360566 fired transitions, 35 secs
lola: 408 generators;113967463 candidates remain ( 0%),
lola: 8 tries, 7200129 fired transitions, 40 secs
lola: 599 generators;113922097 candidates remain ( 0%),
lola: 9 tries, 8054555 fired transitions, 45 secs
lola: 637 generators;113575261 candidates remain ( 0%),
lola: 9 tries, 8861523 fired transitions, 50 secs
lola: 749 generators;113093482 candidates remain ( 0%),
lola: 10 tries, 9632668 fired transitions, 55 secs
lola: 859 generators;112537631 candidates remain ( 0%),
lola: 11 tries, 10477265 fired transitions, 60 secs
lola: 969 generators;112507554 candidates remain ( 0%),
lola: 12 tries, 11215652 fired transitions, 65 secs
lola: 987 generators;112492554 candidates remain ( 0%),
lola: 13 tries, 12065339 fired transitions, 70 secs
lola: 1023 generators;112342681 candidates remain ( 0%),
lola: 13 tries, 12922306 fired transitions, 75 secs
lola: 1041 generators;112327691 candidates remain ( 0%),
lola: 14 tries, 13786822 fired transitions, 80 secs
lola: 1140 generators;112312621 candidates remain ( 0%),
lola: 15 tries, 14664007 fired transitions, 85 secs
lola: 1150 generators;112297641 candidates remain ( 0%),
lola: 16 tries, 15549365 fired transitions, 90 secs
lola: 1166 generators;112282656 candidates remain ( 0%),
lola: 17 tries, 16420477 fired transitions, 95 secs
lola: 1182 generators;112282640 candidates remain ( 0%),
lola: 18 tries, 17299698 fired transitions, 100 secs
lola: 1198 generators;112267655 candidates remain ( 0%),
lola: 19 tries, 18162634 fired transitions, 105 secs
lola: 1209 generators;112267644 candidates remain ( 0%),
lola: 20 tries, 19007511 fired transitions, 110 secs
lola: 1217 generators;111923290 candidates remain ( 0%),
lola: 20 tries, 19852814 fired transitions, 115 secs
lola: 1222 generators;111923285 candidates remain ( 0%),
lola: 21 tries, 20699116 fired transitions, 120 secs
lola: 1234 generators;111923273 candidates remain ( 0%),
lola: 22 tries, 21537496 fired transitions, 125 secs
lola: 1248 generators;111355552 candidates remain ( 0%),
lola: 23 tries, 22385475 fired transitions, 130 secs
lola: 1284 generators;110551282 candidates remain ( 0%),
lola: 24 tries, 23232898 fired transitions, 135 secs
lola: 1463 generators;109986815 candidates remain ( 0%),
lola: 25 tries, 24080260 fired transitions, 140 secs
lola: 1551 generators;109971913 candidates remain ( 0%),
lola: 25 tries, 24924618 fired transitions, 145 secs
lola: 1565 generators;109527521 candidates remain ( 0%),
lola: 26 tries, 25774725 fired transitions, 150 secs
lola: 1599 generators;109497920 candidates remain ( 0%),
lola: 27 tries, 26629442 fired transitions, 155 secs
lola: 1700 generators;109039632 candidates remain ( 0%),
lola: 28 tries, 27486976 fired transitions, 160 secs
lola: 1713 generators;108464463 candidates remain ( 0%),
lola: 29 tries, 28316966 fired transitions, 165 secs
lola: 1718 generators;108449746 candidates remain ( 0%),
lola: 30 tries, 29161463 fired transitions, 170 secs
lola: 1804 generators;108420292 candidates remain ( 0%),
lola: 31 tries, 30001917 fired transitions, 175 secs
lola: 1836 generators;108317231 candidates remain ( 0%),
lola: 31 tries, 30835518 fired transitions, 180 secs
lola: 1932 generators;108228926 candidates remain ( 0%),
lola: 32 tries, 31678894 fired transitions, 185 secs
lola: 1939 generators;107655907 candidates remain ( 0%),
lola: 33 tries, 32533269 fired transitions, 190 secs
lola: 2030 generators;107626569 candidates remain ( 0%),
lola: 34 tries, 33402536 fired transitions, 195 secs
lola: 2060 generators;106456116 candidates remain ( 0%),
lola: 35 tries, 34256953 fired transitions, 200 secs
lola: 2060 generators;106456116 candidates remain ( 0%),
lola: 36 tries, 35114915 fired transitions, 205 secs
lola: 2225 generators;106412277 candidates remain ( 0%),
lola: 36 tries, 35963392 fired transitions, 210 secs
lola: 2255 generators;105946018 candidates remain ( 0%),
lola: 37 tries, 36808546 fired transitions, 215 secs
lola: 2337 generators;105422564 candidates remain ( 0%),
lola: 38 tries, 37638462 fired transitions, 220 secs
lola: 2337 generators;105422564 candidates remain ( 0%),
lola: 39 tries, 38469748 fired transitions, 225 secs
lola: 2427 generators;105393465 candidates remain ( 0%),
lola: 40 tries, 39315599 fired transitions, 230 secs
lola: 2437 generators;105393455 candidates remain ( 0%),
lola: 41 tries, 40163793 fired transitions, 235 secs
lola: 2455 generators;105364434 candidates remain ( 0%),
lola: 42 tries, 41013555 fired transitions, 240 secs
lola: 2466 generators;105364423 candidates remain ( 0%),
lola: 42 tries, 41866198 fired transitions, 245 secs
lola: 2487 generators;104278634 candidates remain ( 0%),
lola: 43 tries, 42710205 fired transitions, 250 secs
lola: 2488 generators;104278633 candidates remain ( 0%),
lola: 44 tries, 43546409 fired transitions, 255 secs
lola: 2567 generators;103817015 candidates remain ( 0%),
lola: 45 tries, 44383083 fired transitions, 260 secs
lola: 2660 generators;103788135 candidates remain ( 0%),
lola: 46 tries, 45227672 fired transitions, 265 secs
lola: 2752 generators;103112086 candidates remain ( 0%),
lola: 47 tries, 46072451 fired transitions, 270 secs
lola: 2782 generators;103083363 candidates remain ( 0%),
lola: 47 tries, 46921711 fired transitions, 275 secs
lola: 2782 generators;103083363 candidates remain ( 0%),
lola: 48 tries, 47770136 fired transitions, 280 secs
lola: 2867 generators;102653048 candidates remain ( 0%),
lola: 49 tries, 48618901 fired transitions, 285 secs
lola: 2872 generators;102395366 candidates remain ( 0%),
lola: 50 tries, 49468564 fired transitions, 290 secs
lola: 2959 generators;101381837 candidates remain ( 0%),
lola: 51 tries, 50314505 fired transitions, 295 secs
lola: 3036 generators;100926680 candidates remain ( 0%),
lola: 51 tries, 50908840 fired transitions, 300 secs
lola: 3109 generators;100259971 candidates remain ( 0%),
lola: 52 tries, 51455369 fired transitions, 305 secs
lola: 3188 generators;100231656 candidates remain ( 0%),
lola: time limit for symmetry computation exceeded - aborting
lola: symmetry computation interrupted: continue with partial
lola: computed 3188 generators (101 in search tree, 3087 by
lola: representing 3.47683E+114 symmetries
lola: 2 dead branches visited in search tree
lola: 53 tries, 52298278 fired transitions, 310 secs ||
lola: 54 tries, 53141839 fired transitions, 315 secs ||
lola: 54 tries, 53912679 fired transitions, 320 secs ||
lola: 55 tries, 54536832 fired transitions, 325 secs ||
lola: 56 tries, 55358150 fired transitions, 330 secs ||
lola: 57 tries, 56192531 fired transitions, 335 secs ||
lola: 58 tries, 57062789 fired transitions, 340 secs ||
lola: 58 tries, 57942161 fired transitions, 345 secs ||
lola: 59 tries, 58779956 fired transitions, 350 secs ||
lola: 60 tries, 59617791 fired transitions, 355 secs ||
lola: 61 tries, 60456940 fired transitions, 360 secs ||
lola: 62 tries, 61296734 fired transitions, 365 secs ||
lola: 63 tries, 62133889 fired transitions, 370 secs ||
lola: 63 tries, 62973387 fired transitions, 375 secs ||
lola: 64 tries, 63795654 fired transitions, 380 secs ||
lola: 65 tries, 64629409 fired transitions, 385 secs ||
lola: 66 tries, 65462837 fired transitions, 390 secs ||
lola: 67 tries, 66302582 fired transitions, 395 secs ||
lola: 68 tries, 67141698 fired transitions, 400 secs ||
lola: 68 tries, 67969537 fired transitions, 405 secs ||
lola: 69 tries, 68449112 fired transitions, 410 secs ||
lola: 69 tries, 68929429 fired transitions, 415 secs ||
lola: 70 tries, 69403849 fired transitions, 420 secs ||
lola: 70 tries, 69882679 fired transitions, 425 secs ||
lola: 71 tries, 70363981 fired transitions, 430 secs ||
lola: 71 tries, 70845445 fired transitions, 435 secs ||
lola: 72 tries, 71321907 fired transitions, 440 secs ||
lola: 72 tries, 71798939 fired transitions, 445 secs ||
lola: 73 tries, 72274692 fired transitions, 450 secs ||
lola: 73 tries, 72753563 fired transitions, 455 secs ||
lola: 74 tries, 73221318 fired transitions, 460 secs ||
lola: 74 tries, 73707017 fired transitions, 465 secs ||
lola: 75 tries, 74307202 fired transitions, 470 secs ||
lola: 76 tries, 75160202 fired transitions, 475 secs ||
lola: 76 tries, 75993711 fired transitions, 480 secs ||
lola: 77 tries, 76835069 fired transitions, 485 secs ||
lola: 78 tries, 77677149 fired transitions, 490 secs ||
lola: 79 tries, 78528710 fired transitions, 495 secs ||
lola: 80 tries, 79389400 fired transitions, 500 secs ||
lola: 81 tries, 80229282 fired transitions, 505 secs ||
lola: 82 tries, 81067810 fired transitions, 510 secs ||
lola: 82 tries, 81912331 fired transitions, 515 secs ||
lola: 83 tries, 82770351 fired transitions, 520 secs ||
lola: 84 tries, 83623357 fired transitions, 525 secs ||
lola: 85 tries, 84477606 fired transitions, 530 secs ||
lola: 86 tries, 85053258 fired transitions, 535 secs ||
lola: 86 tries, 85517859 fired transitions, 540 secs ||
lola: 86 tries, 85980993 fired transitions, 545 secs ||
lola: 87 tries, 86447608 fired transitions, 550 secs ||
lola: 87 tries, 86904044 fired transitions, 555 secs ||
lola: 88 tries, 87362559 fired transitions, 560 secs ||
lola: 89 tries, 88083107 fired transitions, 565 secs ||
lola: 89 tries, 88624026 fired transitions, 570 secs ||
lola: 90 tries, 89074455 fired transitions, 575 secs ||
lola: 90 tries, 89527615 fired transitions, 580 secs ||
lola: 90 tries, 89982142 fired transitions, 585 secs ||
lola: 91 tries, 90647916 fired transitions, 590 secs ||
lola: 92 tries, 91444682 fired transitions, 595 secs ||
lola: 93 tries, 92324984 fired transitions, 600 secs ||
lola: 94 tries, 93208392 fired transitions, 605 secs ||
lola: 95 tries, 94086597 fired transitions, 610 secs ||
lola: 95 tries, 94808939 fired transitions, 615 secs ||
lola: 96 tries, 95535959 fired transitions, 620 secs ||
lola: 97 tries, 96249632 fired transitions, 625 secs ||
lola: 98 tries, 97105155 fired transitions, 630 secs ||
lola: 98 tries, 97981965 fired transitions, 635 secs ||
lola: 99 tries, 98855768 fired transitions, 640 secs ||
lola: 100 tries, 99720290 fired transitions, 645 secs ||
lola: 101 tries, 100526080 fired transitions, 650 secs ||
lola: 102 tries, 101209518 fired transitions, 655 secs ||
lola: 102 tries, 101925487 fired transitions, 660 secs ||
lola: 103 tries, 102807397 fired transitions, 665 secs ||
lola: 104 tries, 103678129 fired transitions, 670 secs ||
lola: 105 tries, 104264343 fired transitions, 675 secs ||
lola: 105 tries, 104678947 fired transitions, 680 secs ||
lola: 106 tries, 105121114 fired transitions, 685 secs ||
lola: 106 tries, 105624977 fired transitions, 690 secs ||
lola: 107 tries, 106432157 fired transitions, 695 secs ||
lola: 108 tries, 107272972 fired transitions, 700 secs ||
lola: 109 tries, 108069151 fired transitions, 705 secs ||
lola: 109 tries, 108880436 fired transitions, 710 secs ||
lola: 110 tries, 109685492 fired transitions, 715 secs ||
lola: 111 tries, 110370620 fired transitions, 720 secs ||
lola: 111 tries, 110856178 fired transitions, 725 secs ||
lola: 112 tries, 111277904 fired transitions, 730 secs ||
lola: 112 tries, 111706824 fired transitions, 735 secs ||
lola: 113 tries, 112130295 fired transitions, 740 secs ||
lola: 113 tries, 112555042 fired transitions, 745 secs ||
lola: 113 tries, 112977784 fired transitions, 750 secs ||
lola: 114 tries, 113418247 fired transitions, 755 secs ||
lola: 114 tries, 113884934 fired transitions, 760 secs ||
lola: 115 tries, 114351585 fired transitions, 765 secs ||
lola: 115 tries, 114815969 fired transitions, 770 secs ||
lola: 116 tries, 115277846 fired transitions, 775 secs ||
lola: 116 tries, 115743153 fired transitions, 780 secs ||
lola: 117 tries, 116203688 fired transitions, 785 secs ||
lola: 117 tries, 116660993 fired transitions, 790 secs ||
lola: 118 tries, 117113712 fired transitions, 795 secs ||
lola: 118 tries, 117558770 fired transitions, 800 secs ||
lola: 119 tries, 118003943 fired transitions, 805 secs ||
lola: 119 tries, 118448136 fired transitions, 810 secs ||
lola: 119 tries, 118892911 fired transitions, 815 secs ||
lola: 120 tries, 119283959 fired transitions, 820 secs ||
lola: 120 tries, 119685781 fired transitions, 825 secs ||
lola: 121 tries, 120090059 fired transitions, 830 secs ||
lola: 121 tries, 120483425 fired transitions, 835 secs ||
lola: 121 tries, 120890599 fired transitions, 840 secs ||
lola: 122 tries, 121296669 fired transitions, 845 secs ||
lola: 122 tries, 121704543 fired transitions, 850 secs ||
lola: 123 tries, 122105006 fired transitions, 855 secs ||
lola: 123 tries, 122508303 fired transitions, 860 secs ||
lola: 123 tries, 122947962 fired transitions, 865 secs ||
lola: 124 tries, 123391862 fired transitions, 870 secs ||
lola: 124 tries, 123835723 fired transitions, 875 secs ||
lola: 125 tries, 124274108 fired transitions, 880 secs ||
lola: 125 tries, 124715070 fired transitions, 885 secs ||
lola: 126 tries, 125167205 fired transitions, 890 secs ||
lola: 126 tries, 125618253 fired transitions, 895 secs ||
lola: 127 tries, 126056681 fired transitions, 900 secs ||
lola: 127 tries, 126461789 fired transitions, 905 secs ||
lola: 127 tries, 126873973 fired transitions, 910 secs ||
lola: 128 tries, 127274526 fired transitions, 915 secs ||
lola: 128 tries, 127691560 fired transitions, 920 secs ||
lola: 129 tries, 128116291 fired transitions, 925 secs ||
lola: 129 tries, 128555907 fired transitions, 930 secs ||
lola: 129 tries, 128994285 fired transitions, 935 secs ||
lola: 130 tries, 129434674 fired transitions, 940 secs ||
lola: 130 tries, 129878332 fired transitions, 945 secs ||
lola: 131 tries, 130317421 fired transitions, 950 secs ||
lola: 131 tries, 130766145 fired transitions, 955 secs ||
lola: 132 tries, 131220717 fired transitions, 960 secs ||
lola: 132 tries, 131666211 fired transitions, 965 secs ||
lola: 133 tries, 132109614 fired transitions, 970 secs ||
lola: 133 tries, 132557253 fired transitions, 975 secs ||
lola: 134 tries, 133004348 fired transitions, 980 secs ||
lola: 134 tries, 133453857 fired transitions, 985 secs ||
lola: 134 tries, 133905703 fired transitions, 990 secs ||
lola: 135 tries, 134368619 fired transitions, 995 secs ||
lola: 135 tries, 134794007 fired transitions, 1000 secs ||
lola: 136 tries, 135261202 fired transitions, 1005 secs ||
lola: 137 tries, 136111924 fired transitions, 1010 secs ||
lola: 137 tries, 136702230 fired transitions, 1015 secs ||
lola: 138 tries, 137210480 fired transitions, 1020 secs ||
lola: 138 tries, 137618178 fired transitions, 1025 secs ||
lola: 139 tries, 138022587 fired transitions, 1030 secs ||
lola: 139 tries, 138716705 fired transitions, 1035 secs ||
lola: 140 tries, 139560326 fired transitions, 1040 secs ||
lola: 141 tries, 140399297 fired transitions, 1045 secs ||
lola: 142 tries, 141233878 fired transitions, 1050 secs ||
lola: 142 tries, 141830610 fired transitions, 1055 secs ||
lola: 143 tries, 142294025 fired transitions, 1060 secs ||
lola: 143 tries, 142759341 fired transitions, 1065 secs ||
lola: 144 tries, 143217863 fired transitions, 1070 secs ||
lola: 144 tries, 143675421 fired transitions, 1075 secs ||
lola: 145 tries, 144134677 fired transitions, 1080 secs ||
lola: 145 tries, 144595571 fired transitions, 1085 secs ||
lola: 146 tries, 145050673 fired transitions, 1090 secs ||
lola: 146 tries, 145503643 fired transitions, 1095 secs ||
lola: 147 tries, 146093982 fired transitions, 1100 secs ||
lola: 147 tries, 146534335 fired transitions, 1105 secs ||
lola: 147 tries, 146992679 fired transitions, 1110 secs ||
lola: 148 tries, 147457045 fired transitions, 1115 secs ||
lola: 148 tries, 147921010 fired transitions, 1120 secs ||
lola: 149 tries, 148379360 fired transitions, 1125 secs ||
lola: 149 tries, 148840726 fired transitions, 1130 secs ||
lola: 150 tries, 149301965 fired transitions, 1135 secs ||
lola: 150 tries, 149763974 fired transitions, 1140 secs ||
lola: 151 tries, 150227986 fired transitions, 1145 secs ||
lola: 151 tries, 150687982 fired transitions, 1150 secs ||
lola: 152 tries, 151143024 fired transitions, 1155 secs ||
lola: 152 tries, 151599119 fired transitions, 1160 secs ||
lola: 153 tries, 152061344 fired transitions, 1165 secs ||
lola: 153 tries, 152520511 fired transitions, 1170 secs ||
lola: 153 tries, 152985335 fired transitions, 1175 secs ||
lola: 154 tries, 153627347 fired transitions, 1180 secs ||
lola: 155 tries, 154507096 fired transitions, 1185 secs ||
lola: 156 tries, 155375469 fired transitions, 1190 secs ||
lola: 157 tries, 156127458 fired transitions, 1195 secs ||
lola: 157 tries, 156715259 fired transitions, 1200 secs ||
lola: 158 tries, 157480178 fired transitions, 1205 secs ||
lola: 159 tries, 158189716 fired transitions, 1210 secs ||
lola: 159 tries, 158868191 fired transitions, 1215 secs ||
lola: 160 tries, 159336540 fired transitions, 1220 secs ||
lola: 161 tries, 160046003 fired transitions, 1225 secs ||
lola: 161 tries, 160830125 fired transitions, 1230 secs ||
lola: 162 tries, 161521786 fired transitions, 1235 secs ||
lola: 163 tries, 162412312 fired transitions, 1240 secs ||
lola: 164 tries, 163266816 fired transitions, 1245 secs ||
lola: 165 tries, 164118241 fired transitions, 1250 secs ||
lola: 165 tries, 164967315 fired transitions, 1255 secs ||
lola: 166 tries, 165818555 fired transitions, 1260 secs ||
lola: 167 tries, 166484540 fired transitions, 1265 secs ||
lola: 168 tries, 167255342 fired transitions, 1270 secs ||
lola: 169 tries, 168105189 fired transitions, 1275 secs ||
lola: 169 tries, 168947303 fired transitions, 1280 secs ||
lola: 170 tries, 169802315 fired transitions, 1285 secs ||
lola: 171 tries, 170656912 fired transitions, 1290 secs ||
lola: 172 tries, 171165919 fired transitions, 1295 secs ||
lola: 173 tries, 172058554 fired transitions, 1300 secs ||
lola: 173 tries, 172812766 fired transitions, 1305 secs ||
lola: 174 tries, 173497199 fired transitions, 1310 secs ||
lola: 175 tries, 174332130 fired transitions, 1315 secs ||
lola: 176 tries, 175004467 fired transitions, 1320 secs ||
lola: 176 tries, 175549047 fired transitions, 1325 secs ||
lola: 177 tries, 176009113 fired transitions, 1330 secs ||
lola: 177 tries, 176713661 fired transitions, 1335 secs ||
lola: 178 tries, 177557837 fired transitions, 1340 secs ||
lola: 179 tries, 178397015 fired transitions, 1345 secs ||
lola: 180 tries, 179230229 fired transitions, 1350 secs ||
lola: 181 tries, 180035913 fired transitions, 1355 secs ||
lola: 181 tries, 180486669 fired transitions, 1360 secs ||
lola: 181 tries, 180935146 fired transitions, 1365 secs ||
lola: 182 tries, 181382136 fired transitions, 1370 secs ||
lola: 182 tries, 181830828 fired transitions, 1375 secs ||
lola: 183 tries, 182322506 fired transitions, 1380 secs ||
lola: 183 tries, 182773919 fired transitions, 1385 secs ||
lola: 184 tries, 183549957 fired transitions, 1390 secs ||
lola: 185 tries, 184419974 fired transitions, 1395 secs ||
lola: 186 tries, 185291653 fired transitions, 1400 secs ||
lola: 187 tries, 186193448 fired transitions, 1405 secs ||
lola: 188 tries, 187085613 fired transitions, 1410 secs ||
lola: 188 tries, 187907102 fired transitions, 1415 secs ||
lola: 189 tries, 188506130 fired transitions, 1420 secs ||
lola: 190 tries, 189337221 fired transitions, 1425 secs ||
lola: 191 tries, 190089738 fired transitions, 1430 secs ||
lola: 191 tries, 190975720 fired transitions, 1435 secs ||
lola: 192 tries, 191523211 fired transitions, 1440 secs ||
lola: 193 tries, 192405067 fired transitions, 1445 secs ||
lola: 194 tries, 193260320 fired transitions, 1450 secs ||
lola: 195 tries, 194042986 fired transitions, 1455 secs ||
lola: 195 tries, 194835891 fired transitions, 1460 secs ||
lola: 196 tries, 195651677 fired transitions, 1465 secs ||
lola: 197 tries, 196487590 fired transitions, 1470 secs ||
lola: 198 tries, 197330935 fired transitions, 1475 secs ||
lola: 199 tries, 198170929 fired transitions, 1480 secs ||
lola: 199 tries, 198982445 fired transitions, 1485 secs ||
lola: 200 tries, 199832195 fired transitions, 1490 secs ||
lola: 201 tries, 200627628 fired transitions, 1495 secs ||
lola: 202 tries, 201482418 fired transitions, 1500 secs ||
lola: 203 tries, 202354829 fired transitions, 1505 secs ||
lola: 204 tries, 203231915 fired transitions, 1510 secs ||
lola: 204 tries, 203971837 fired transitions, 1515 secs ||
lola: 205 tries, 204562953 fired transitions, 1520 secs ||
lola: 206 tries, 205245995 fired transitions, 1525 secs ||
lola: 206 tries, 205976559 fired transitions, 1530 secs ||
lola: 207 tries, 206446314 fired transitions, 1535 secs ||
lola: 208 tries, 207144936 fired transitions, 1540 secs ||
lola: 208 tries, 207817918 fired transitions, 1545 secs ||
lola: 209 tries, 208478185 fired transitions, 1550 secs ||
lola: 210 tries, 209315673 fired transitions, 1555 secs ||
lola: 211 tries, 210093121 fired transitions, 1560 secs ||
lola: 211 tries, 210649963 fired transitions, 1565 secs ||
lola: 212 tries, 211518207 fired transitions, 1570 secs ||
lola: 213 tries, 212264285 fired transitions, 1575 secs ||
lola: 213 tries, 212911568 fired transitions, 1580 secs ||
lola: 214 tries, 213793920 fired transitions, 1585 secs ||
lola: 215 tries, 214677788 fired transitions, 1590 secs ||
lola: 216 tries, 215503244 fired transitions, 1595 secs ||
lola: 217 tries, 216309319 fired transitions, 1600 secs ||
lola: 218 tries, 217117081 fired transitions, 1605 secs ||
lola: 218 tries, 217927215 fired transitions, 1610 secs ||
lola: 219 tries, 218757739 fired transitions, 1615 secs ||
lola: 220 tries, 219595647 fired transitions, 1620 secs ||
lola: 221 tries, 220428760 fired transitions, 1625 secs ||
lola: 222 tries, 221236955 fired transitions, 1630 secs ||
lola: 222 tries, 221768066 fired transitions, 1635 secs ||
lola: 223 tries, 222594436 fired transitions, 1640 secs ||
lola: 224 tries, 223038360 fired transitions, 1645 secs ||
lola: 224 tries, 223469531 fired transitions, 1650 secs ||
lola: 224 tries, 223909856 fired transitions, 1655 secs ||
lola: 225 tries, 224435461 fired transitions, 1660 secs ||
lola: 226 tries, 225117544 fired transitions, 1665 secs ||
lola: 226 tries, 225955446 fired transitions, 1670 secs ||
lola: 227 tries, 226670581 fired transitions, 1675 secs ||
lola: 228 tries, 227572084 fired transitions, 1680 secs ||
lola: 229 tries, 228377596 fired transitions, 1685 secs ||
lola: 230 tries, 229185666 fired transitions, 1690 secs ||
lola: 230 tries, 229991076 fired transitions, 1695 secs ||
lola: 231 tries, 230826780 fired transitions, 1700 secs ||
lola: 232 tries, 231666300 fired transitions, 1705 secs ||
lola: 233 tries, 232528407 fired transitions, 1710 secs ||
lola: 234 tries, 233356576 fired transitions, 1715 secs ||
lola: 235 tries, 234205120 fired transitions, 1720 secs ||
lola: 236 tries, 235031970 fired transitions, 1725 secs ||
lola: 236 tries, 235766781 fired transitions, 1730 secs ||
lola: 237 tries, 236599265 fired transitions, 1735 secs ||
lola: 238 tries, 237429241 fired transitions, 1740 secs ||
lola: 239 tries, 238170670 fired transitions, 1745 secs ||
lola: 240 tries, 239034037 fired transitions, 1750 secs ||
lola: 240 tries, 239880219 fired transitions, 1755 secs ||
lola: 241 tries, 240386349 fired transitions, 1760 secs ||
lola: 242 tries, 241254954 fired transitions, 1765 secs ||
lola: 242 tries, 241836604 fired transitions, 1770 secs ||
lola: 243 tries, 242500871 fired transitions, 1775 secs ||
lola: 244 tries, 243154424 fired transitions, 1780 secs ||
lola: 245 tries, 244017290 fired transitions, 1785 secs ||
lola: 245 tries, 244897849 fired transitions, 1790 secs ||
lola: 246 tries, 245780915 fired transitions, 1795 secs ||
lola: 247 tries, 246637518 fired transitions, 1800 secs ||
lola: 248 tries, 247519806 fired transitions, 1805 secs ||
lola: 249 tries, 248193510 fired transitions, 1810 secs ||
lola: 249 tries, 248619377 fired transitions, 1815 secs ||
lola: 250 tries, 249044609 fired transitions, 1820 secs ||
lola: 250 tries, 249477869 fired transitions, 1825 secs ||
lola: 251 tries, 250031550 fired transitions, 1830 secs ||
lola: 251 tries, 250913332 fired transitions, 1835 secs ||
lola: 252 tries, 251421295 fired transitions, 1840 secs ||
lola: 252 tries, 251902499 fired transitions, 1845 secs ||
lola: 253 tries, 252674805 fired transitions, 1850 secs ||
lola: 254 tries, 253470780 fired transitions, 1855 secs ||
lola: 255 tries, 254155601 fired transitions, 1860 secs ||
lola: 255 tries, 254772736 fired transitions, 1865 secs ||
lola: 256 tries, 255413523 fired transitions, 1870 secs ||
lola: 257 tries, 256108699 fired transitions, 1875 secs ||
lola: 257 tries, 256947815 fired transitions, 1880 secs ||
lola: 258 tries, 257603718 fired transitions, 1885 secs ||
lola: 259 tries, 258418345 fired transitions, 1890 secs ||
lola: 260 tries, 259070146 fired transitions, 1895 secs ||
lola: 260 tries, 259883783 fired transitions, 1900 secs ||
lola: 261 tries, 260443489 fired transitions, 1905 secs ||
lola: 262 tries, 261170129 fired transitions, 1910 secs ||
lola: 262 tries, 261974294 fired transitions, 1915 secs ||
lola: 263 tries, 262641163 fired transitions, 1920 secs ||
lola: 264 tries, 263192798 fired transitions, 1925 secs ||
lola: 264 tries, 263818800 fired transitions, 1930 secs ||
lola: 265 tries, 264219293 fired transitions, 1935 secs ||
lola: 265 tries, 264635159 fired transitions, 1940 secs ||
lola: 266 tries, 265271410 fired transitions, 1945 secs ||
lola: 267 tries, 266091616 fired transitions, 1950 secs ||
lola: 267 tries, 266878198 fired transitions, 1955 secs ||
lola: 268 tries, 267379450 fired transitions, 1960 secs ||
lola: 268 tries, 267823391 fired transitions, 1965 secs ||
lola: 269 tries, 268270017 fired transitions, 1970 secs ||
lola: 270 tries, 269055567 fired transitions, 1975 secs ||
lola: 270 tries, 269736131 fired transitions, 1980 secs ||
lola: 271 tries, 270415630 fired transitions, 1985 secs ||
lola: 271 tries, 270842651 fired transitions, 1990 secs ||
lola: 272 tries, 271442830 fired transitions, 1995 secs ||
lola: 273 tries, 272090642 fired transitions, 2000 secs ||
lola: 273 tries, 272527017 fired transitions, 2005 secs ||
lola: 274 tries, 273097434 fired transitions, 2010 secs ||
lola: 274 tries, 273954516 fired transitions, 2015 secs ||
lola: 275 tries, 274416349 fired transitions, 2020 secs ||
lola: 276 tries, 275121144 fired transitions, 2025 secs ||
lola: 277 tries, 276000497 fired transitions, 2030 secs ||
lola: 277 tries, 276677381 fired transitions, 2035 secs ||
lola: 278 tries, 277238376 fired transitions, 2040 secs ||
lola: 278 tries, 277743277 fired transitions, 2045 secs ||
lola: 279 tries, 278279149 fired transitions, 2050 secs ||
lola: 280 tries, 279087290 fired transitions, 2055 secs ||
lola: 280 tries, 279640979 fired transitions, 2060 secs ||
lola: 281 tries, 280103393 fired transitions, 2065 secs ||
lola: 281 tries, 280739816 fired transitions, 2070 secs ||
lola: 282 tries, 281384131 fired transitions, 2075 secs ||
lola: 282 tries, 281831487 fired transitions, 2080 secs ||
lola: 283 tries, 282359469 fired transitions, 2085 secs ||
lola: 283 tries, 282935610 fired transitions, 2090 secs ||
lola: 284 tries, 283660633 fired transitions, 2095 secs ||
lola: 285 tries, 284418863 fired transitions, 2100 secs ||
lola: 286 tries, 285094419 fired transitions, 2105 secs ||
lola: 286 tries, 285711369 fired transitions, 2110 secs ||
lola: 287 tries, 286530587 fired transitions, 2115 secs ||
lola: 288 tries, 287380387 fired transitions, 2120 secs ||
lola: 288 tries, 287992493 fired transitions, 2125 secs ||
lola: 289 tries, 288741055 fired transitions, 2130 secs ||
lola: 290 tries, 289289906 fired transitions, 2135 secs ||
lola: 290 tries, 289788724 fired transitions, 2140 secs ||
lola: 291 tries, 290379165 fired transitions, 2145 secs ||
lola: 292 tries, 291211652 fired transitions, 2150 secs ||
lola: 292 tries, 291870632 fired transitions, 2155 secs ||
lola: 293 tries, 292643098 fired transitions, 2160 secs ||
lola: 294 tries, 293236354 fired transitions, 2165 secs ||
lola: 294 tries, 293709562 fired transitions, 2170 secs ||
lola: 295 tries, 294308295 fired transitions, 2175 secs ||
lola: 295 tries, 294774993 fired transitions, 2180 secs ||
lola: 296 tries, 295238019 fired transitions, 2185 secs ||
lola: 296 tries, 295876113 fired transitions, 2190 secs ||
lola: 297 tries, 296728526 fired transitions, 2195 secs ||
lola: 298 tries, 297604908 fired transitions, 2200 secs ||
lola: 299 tries, 298462732 fired transitions, 2205 secs ||
lola: 300 tries, 299320313 fired transitions, 2210 secs ||
lola: 301 tries, 300200507 fired transitions, 2215 secs ||
lola: 302 tries, 301029956 fired transitions, 2220 secs ||
lola: 302 tries, 301814426 fired transitions, 2225 secs ||
lola: 303 tries, 302691643 fired transitions, 2230 secs ||
lola: 304 tries, 303536418 fired transitions, 2235 secs ||
lola: 305 tries, 304400456 fired transitions, 2240 secs ||
lola: 306 tries, 305272357 fired transitions, 2245 secs ||
lola: 307 tries, 306146801 fired transitions, 2250 secs ||
lola: 308 tries, 307012314 fired transitions, 2255 secs ||
lola: 308 tries, 307888837 fired transitions, 2260 secs ||
lola: 309 tries, 308771207 fired transitions, 2265 secs ||
lola: 310 tries, 309611160 fired transitions, 2270 secs ||
lola: 311 tries, 310493619 fired transitions, 2275 secs ||
lola: 312 tries, 311361481 fired transitions, 2280 secs ||
lola: 313 tries, 312239602 fired transitions, 2285 secs ||
lola: 314 tries, 313119110 fired transitions, 2290 secs ||
lola: 314 tries, 313992519 fired transitions, 2295 secs ||
lola: 315 tries, 314864866 fired transitions, 2300 secs ||
lola: 316 tries, 315741232 fired transitions, 2305 secs ||
lola: 317 tries, 316622342 fired transitions, 2310 secs ||
lola: 318 tries, 317506868 fired transitions, 2315 secs ||
lola: 319 tries, 318361541 fired transitions, 2320 secs ||
lola: 320 tries, 319167916 fired transitions, 2325 secs ||
lola: 320 tries, 319971683 fired transitions, 2330 secs ||
lola: 321 tries, 320552124 fired transitions, 2335 secs ||
lola: 322 tries, 321115586 fired transitions, 2340 secs ||
lola: 322 tries, 321674679 fired transitions, 2345 secs ||
lola: 323 tries, 322424269 fired transitions, 2350 secs ||
lola: 323 tries, 322935658 fired transitions, 2355 secs ||
lola: 324 tries, 323455406 fired transitions, 2360 secs ||
lola: 325 tries, 324180362 fired transitions, 2365 secs ||
lola: 326 tries, 325049432 fired transitions, 2370 secs ||
lola: 326 tries, 325554976 fired transitions, 2375 secs ||
lola: 327 tries, 326142325 fired transitions, 2380 secs ||
lola: 327 tries, 326869528 fired transitions, 2385 secs ||
lola: 328 tries, 327489396 fired transitions, 2390 secs ||
lola: 329 tries, 328261574 fired transitions, 2395 secs ||
lola: 330 tries, 329058076 fired transitions, 2400 secs ||
lola: 330 tries, 329593198 fired transitions, 2405 secs ||
lola: 331 tries, 330077621 fired transitions, 2410 secs ||
lola: 331 tries, 330544129 fired transitions, 2415 secs ||
lola: 332 tries, 331334413 fired transitions, 2420 secs ||
lola: 333 tries, 332016471 fired transitions, 2425 secs ||
lola: 333 tries, 332700538 fired transitions, 2430 secs ||
lola: 334 tries, 333433036 fired transitions, 2435 secs ||
lola: 335 tries, 334274407 fired transitions, 2440 secs ||
lola: 336 tries, 335136585 fired transitions, 2445 secs ||
lola: 336 tries, 335948953 fired transitions, 2450 secs ||
lola: 337 tries, 336766141 fired transitions, 2455 secs ||
lola: 338 tries, 337457573 fired transitions, 2460 secs ||
lola: 339 tries, 338280848 fired transitions, 2465 secs ||
lola: 340 tries, 339108278 fired transitions, 2470 secs ||
lola: 340 tries, 339933601 fired transitions, 2475 secs ||
lola: 341 tries, 340760078 fired transitions, 2480 secs ||
lola: 342 tries, 341597275 fired transitions, 2485 secs ||
lola: 343 tries, 342466106 fired transitions, 2490 secs ||
lola: 344 tries, 343248940 fired transitions, 2495 secs ||
lola: 344 tries, 343714479 fired transitions, 2500 secs ||
lola: 345 tries, 344202020 fired transitions, 2505 secs ||
lola: 346 tries, 345068344 fired transitions, 2510 secs ||
lola: 346 tries, 345931817 fired transitions, 2515 secs ||
lola: 347 tries, 346475319 fired transitions, 2520 secs ||
lola: 348 tries, 347290111 fired transitions, 2525 secs ||
lola: 349 tries, 348187173 fired transitions, 2530 secs ||
lola: 350 tries, 349083763 fired transitions, 2535 secs ||
lola: 350 tries, 349848910 fired transitions, 2540 secs ||
lola: 351 tries, 350637558 fired transitions, 2545 secs ||
lola: 352 tries, 351500597 fired transitions, 2550 secs ||
lola: 353 tries, 352387824 fired transitions, 2555 secs ||
lola: 354 tries, 353252392 fired transitions, 2560 secs ||
lola: 355 tries, 354113961 fired transitions, 2565 secs ||
lola: 355 tries, 354951286 fired transitions, 2570 secs ||
lola: 356 tries, 355789381 fired transitions, 2575 secs ||
lola: 357 tries, 356627698 fired transitions, 2580 secs ||
lola: 358 tries, 357441875 fired transitions, 2585 secs ||
lola: 359 tries, 358278428 fired transitions, 2590 secs ||
lola: 360 tries, 359122247 fired transitions, 2595 secs ||
lola: 360 tries, 359980418 fired transitions, 2600 secs ||
lola: 361 tries, 360861447 fired transitions, 2605 secs ||
lola: 362 tries, 361745684 fired transitions, 2610 secs ||
lola: 363 tries, 362611581 fired transitions, 2615 secs ||
lola: 364 tries, 363466609 fired transitions, 2620 secs ||
lola: 365 tries, 364347641 fired transitions, 2625 secs ||
lola: 366 tries, 365201314 fired transitions, 2630 secs ||
lola: 367 tries, 366077279 fired transitions, 2635 secs ||
lola: 367 tries, 366962588 fired transitions, 2640 secs ||
lola: 368 tries, 367842762 fired transitions, 2645 secs ||
lola: 369 tries, 368722373 fired transitions, 2650 secs ||
lola: 370 tries, 369625840 fired transitions, 2655 secs ||
lola: 371 tries, 370494904 fired transitions, 2660 secs ||
lola: 372 tries, 371381686 fired transitions, 2665 secs ||
lola: 373 tries, 372272119 fired transitions, 2670 secs ||
lola: 374 tries, 373132669 fired transitions, 2675 secs ||
lola: 375 tries, 374001085 fired transitions, 2680 secs ||
lola: 375 tries, 374869380 fired transitions, 2685 secs ||
lola: 376 tries, 375736076 fired transitions, 2690 secs ||
lola: 377 tries, 376589966 fired transitions, 2695 secs ||
lola: 378 tries, 377450574 fired transitions, 2700 secs ||
lola: 379 tries, 378309198 fired transitions, 2705 secs ||
lola: 380 tries, 379181688 fired transitions, 2710 secs ||
lola: 381 tries, 380069120 fired transitions, 2715 secs ||
lola: 381 tries, 380938107 fired transitions, 2720 secs ||
lola: 382 tries, 381798946 fired transitions, 2725 secs ||
lola: 383 tries, 382659635 fired transitions, 2730 secs ||
lola: 384 tries, 383508859 fired transitions, 2735 secs ||
lola: 385 tries, 384353126 fired transitions, 2740 secs ||
lola: 386 tries, 385199423 fired transitions, 2745 secs ||
lola: 387 tries, 386050080 fired transitions, 2750 secs ||
lola: 387 tries, 386901043 fired transitions, 2755 secs ||
lola: 388 tries, 387759300 fired transitions, 2760 secs ||
lola: 389 tries, 388617561 fired transitions, 2765 secs ||
lola: 390 tries, 389459155 fired transitions, 2770 secs ||
lola: 391 tries, 390297704 fired transitions, 2775 secs ||
lola: 392 tries, 391136174 fired transitions, 2780 secs ||
lola: 393 tries, 392002312 fired transitions, 2785 secs ||
lola: 393 tries, 392861877 fired transitions, 2790 secs ||
lola: 394 tries, 393726267 fired transitions, 2795 secs ||
lola: 395 tries, 394585146 fired transitions, 2800 secs ||
lola: 396 tries, 395449366 fired transitions, 2805 secs ||
lola: 397 tries, 396309509 fired transitions, 2810 secs ||
lola: 398 tries, 397171525 fired transitions, 2815 secs ||
lola: 399 tries, 398032767 fired transitions, 2820 secs ||
lola: 399 tries, 398896816 fired transitions, 2825 secs ||
lola: 400 tries, 399756843 fired transitions, 2830 secs ||
lola: 401 tries, 400603277 fired transitions, 2835 secs ||
lola: 402 tries, 401472611 fired transitions, 2840 secs ||
lola: 403 tries, 402339239 fired transitions, 2845 secs ||
lola: 404 tries, 403201532 fired transitions, 2850 secs ||
lola: 405 tries, 404082885 fired transitions, 2855 secs ||
lola: 405 tries, 404951799 fired transitions, 2860 secs ||
lola: 406 tries, 405816458 fired transitions, 2865 secs ||
lola: 407 tries, 406656768 fired transitions, 2870 secs ||
lola: 408 tries, 407495469 fired transitions, 2875 secs ||
lola: 409 tries, 408333489 fired transitions, 2880 secs ||
lola: 410 tries, 409169012 fired transitions, 2885 secs ||
lola: 411 tries, 410006572 fired transitions, 2890 secs ||
lola: 411 tries, 410853919 fired transitions, 2895 secs ||
lola: 412 tries, 411717997 fired transitions, 2900 secs ||
lola: 413 tries, 412577590 fired transitions, 2905 secs ||
lola: 414 tries, 413427512 fired transitions, 2910 secs ||
lola: 415 tries, 414265824 fired transitions, 2915 secs ||
lola: 416 tries, 415104694 fired transitions, 2920 secs ||
lola: 416 tries, 415943948 fired transitions, 2925 secs ||
lola: 417 tries, 416783124 fired transitions, 2930 secs ||
lola: 418 tries, 417642928 fired transitions, 2935 secs ||
lola: 419 tries, 418494582 fired transitions, 2940 secs ||
lola: 420 tries, 419378444 fired transitions, 2945 secs ||
lola: 421 tries, 420263751 fired transitions, 2950 secs ||
lola: 422 tries, 421141182 fired transitions, 2955 secs ||
lola: 423 tries, 422025406 fired transitions, 2960 secs ||
lola: 423 tries, 422905609 fired transitions, 2965 secs ||
lola: 424 tries, 423792404 fired transitions, 2970 secs ||
lola: 425 tries, 424674447 fired transitions, 2975 secs ||
lola: 426 tries, 425530291 fired transitions, 2980 secs ||
lola: 427 tries, 426379606 fired transitions, 2985 secs ||
lola: 428 tries, 427235002 fired transitions, 2990 secs ||
lola: 429 tries, 428091431 fired transitions, 2995 secs ||
lola: 429 tries, 428936487 fired transitions, 3000 secs ||
lola: 430 tries, 429784941 fired transitions, 3005 secs ||
lola: 431 tries, 430634908 fired transitions, 3010 secs ||
lola: 432 tries, 431486626 fired transitions, 3015 secs ||
lola: 433 tries, 432344784 fired transitions, 3020 secs ||
lola: 434 tries, 433209385 fired transitions, 3025 secs ||
lola: 435 tries, 434069716 fired transitions, 3030 secs ||
lola: 435 tries, 434928745 fired transitions, 3035 secs ||
lola: 436 tries, 435785554 fired transitions, 3040 secs ||
lola: 437 tries, 436635928 fired transitions, 3045 secs ||
lola: 438 tries, 437475279 fired transitions, 3050 secs ||
lola: 439 tries, 438332687 fired transitions, 3055 secs ||
lola: 440 tries, 439192437 fired transitions, 3060 secs ||
lola: 441 tries, 440067365 fired transitions, 3065 secs ||
lola: 441 tries, 440953582 fired transitions, 3070 secs ||
lola: 442 tries, 441818931 fired transitions, 3075 secs ||
lola: 443 tries, 442656677 fired transitions, 3080 secs ||
lola: 444 tries, 443493572 fired transitions, 3085 secs ||
lola: 445 tries, 444340050 fired transitions, 3090 secs ||
lola: 446 tries, 445219871 fired transitions, 3095 secs ||
lola: 447 tries, 446098296 fired transitions, 3100 secs ||
lola: 447 tries, 446976151 fired transitions, 3105 secs ||
lola: 448 tries, 447858557 fired transitions, 3110 secs ||
lola: 449 tries, 448740824 fired transitions, 3115 secs ||
lola: 450 tries, 449626009 fired transitions, 3120 secs ||
lola: 451 tries, 450518700 fired transitions, 3125 secs ||
lola: 452 tries, 451413132 fired transitions, 3130 secs ||
lola: 453 tries, 452305127 fired transitions, 3135 secs ||
lola: 454 tries, 453190111 fired transitions, 3140 secs ||
lola: 455 tries, 454082840 fired transitions, 3145 secs ||
lola: 455 tries, 454967441 fired transitions, 3150 secs ||
lola: 456 tries, 455844193 fired transitions, 3155 secs ||
lola: 457 tries, 456706941 fired transitions, 3160 secs ||
lola: 458 tries, 457594637 fired transitions, 3165 secs ||
lola: 459 tries, 458490082 fired transitions, 3170 secs ||
lola: 460 tries, 459366733 fired transitions, 3175 secs ||
lola: 461 tries, 460207912 fired transitions, 3180 secs ||
lola: 462 tries, 461059777 fired transitions, 3185 secs ||
lola: 462 tries, 461913019 fired transitions, 3190 secs ||
lola: 463 tries, 462734304 fired transitions, 3195 secs ||
lola: 464 tries, 463572322 fired transitions, 3200 secs ||
lola: 465 tries, 464427646 fired transitions, 3205 secs ||
lola: 466 tries, 465276132 fired transitions, 3210 secs ||
lola: 467 tries, 466116281 fired transitions, 3215 secs ||
lola: 467 tries, 466956340 fired transitions, 3220 secs ||
lola: 468 tries, 467785779 fired transitions, 3225 secs ||
lola: 469 tries, 468694037 fired transitions, 3230 secs ||
lola: 470 tries, 469601226 fired transitions, 3235 secs ||
lola: 471 tries, 470504267 fired transitions, 3240 secs ||
lola: 472 tries, 471416306 fired transitions, 3245 secs ||
lola: 473 tries, 472325263 fired transitions, 3250 secs ||
lola: 474 tries, 473229608 fired transitions, 3255 secs ||
lola: 475 tries, 474059427 fired transitions, 3260 secs ||
lola: 475 tries, 474904818 fired transitions, 3265 secs ||
lola: 476 tries, 475756608 fired transitions, 3270 secs ||
lola: 477 tries, 476610088 fired transitions, 3275 secs ||
lola: 478 tries, 477458891 fired transitions, 3280 secs ||
lola: 479 tries, 478321068 fired transitions, 3285 secs ||
lola: 480 tries, 479172452 fired transitions, 3290 secs ||
lola: 481 tries, 480021951 fired transitions, 3295 secs ||
lola: 481 tries, 480879412 fired transitions, 3300 secs ||
lola: 482 tries, 481727641 fired transitions, 3305 secs ||
lola: 483 tries, 482594456 fired transitions, 3310 secs ||
lola: 484 tries, 483471146 fired transitions, 3315 secs ||
lola: 485 tries, 484326143 fired transitions, 3320 secs ||
lola: 486 tries, 485182557 fired transitions, 3325 secs ||
lola: 487 tries, 486086823 fired transitions, 3330 secs ||
lola: 487 tries, 486960827 fired transitions, 3335 secs ||
lola: 488 tries, 487843669 fired transitions, 3340 secs ||
lola: 489 tries, 488722129 fired transitions, 3345 secs ||
lola: 490 tries, 489607908 fired transitions, 3350 secs ||
lola: 491 tries, 490485000 fired transitions, 3355 secs ||
lola: 492 tries, 491386894 fired transitions, 3360 secs ||
lola: 493 tries, 492291814 fired transitions, 3365 secs ||
lola: 494 tries, 493193565 fired transitions, 3370 secs ||
lola: 495 tries, 494076200 fired transitions, 3375 secs ||
lola: 495 tries, 494939004 fired transitions, 3380 secs ||
lola: 496 tries, 495824092 fired transitions, 3385 secs ||
lola: 497 tries, 496704397 fired transitions, 3390 secs ||
lola: 498 tries, 497596969 fired transitions, 3395 secs ||
lola: 499 tries, 498483500 fired transitions, 3400 secs ||
lola: 500 tries, 499358729 fired transitions, 3405 secs ||
lola: 501 tries, 500188240 fired transitions, 3410 secs ||
lola: 502 tries, 501027153 fired transitions, 3415 secs ||
lola: 502 tries, 501863517 fired transitions, 3420 secs ||
lola: 503 tries, 502713711 fired transitions, 3425 secs ||
lola: 504 tries, 503598422 fired transitions, 3430 secs ||
lola: 505 tries, 504487508 fired transitions, 3435 secs ||
lola: 506 tries, 505371432 fired transitions, 3440 secs ||
lola: 507 tries, 506260730 fired transitions, 3445 secs ||
lola: 508 tries, 507153570 fired transitions, 3450 secs ||
lola: 509 tries, 508036057 fired transitions, 3455 secs ||
lola: 509 tries, 508881725 fired transitions, 3460 secs ||
lola: 510 tries, 509724306 fired transitions, 3465 secs ||
lola: 511 tries, 510563679 fired transitions, 3470 secs ||
lola: 512 tries, 511402282 fired transitions, 3475 secs ||
lola: 513 tries, 512232644 fired transitions, 3480 secs ||
lola: 514 tries, 513071621 fired transitions, 3485 secs ||
lola: 514 tries, 513929287 fired transitions, 3490 secs ||
lola: 515 tries, 514768267 fired transitions, 3495 secs ||
lola: 516 tries, 515602312 fired transitions, 3500 secs ||
lola: 517 tries, 516476230 fired transitions, 3505 secs ||
lola: 518 tries, 517314991 fired transitions, 3510 secs ||
lola: 519 tries, 518154621 fired transitions, 3515 secs ||
lola: 519 tries, 518995408 fired transitions, 3520 secs ||
lola: 520 tries, 519853069 fired transitions, 3525 secs ||
lola: 521 tries, 520731615 fired transitions, 3530 secs ||
lola: 522 tries, 521613199 fired transitions, 3535 secs ||
lola: 523 tries, 522471659 fired transitions, 3540 secs ||
lola: 524 tries, 523346699 fired transitions, 3545 secs ||
lola: 525 tries, 524208834 fired transitions, 3550 secs ||
lola: time limit reached - aborting
lola: memory consumption: 2559940 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552514761506

--------------------
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=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16 xml LTLFireability.txt template) 67644608135379882624608204898183176296426215609299799732387840.000000, (--findpath=par) d) set method with insertion algorithm (--stubborn=tarjan) method with insertion algorithm (--stubborn=tarjan) (--findpath) (--depthlimit) (--symmtimelimit) 0 secs 5 secs 10 secs 15 secs 20 secs 25 secs 30 secs 35 secs 40 secs 45 secs 50 secs 55 secs 60 secs 65 secs 70 secs 75 secs 80 secs 85 secs 90 secs 95 secs 100 secs 105 secs 110 secs 115 secs 120 secs 125 secs 130 secs 135 secs 140 secs 145 secs 150 secs 155 secs 160 secs 165 secs 170 secs 175 secs 180 secs 185 secs 190 secs 195 secs 200 secs 205 secs 210 secs 215 secs 220 secs 225 secs 230 secs 235 secs 240 secs 245 secs 250 secs 255 secs 260 secs 265 secs 270 secs 275 secs 280 secs 285 secs 290 secs 295 secs 300 secs 305 secs generating set composition) 406 markings, 571 edges, 81 markings/sec, 310 secs 10813 markings, 16545 edges, 2081 markings/sec, 315 secs 22127 markings, 33906 edges, 2263 markings/sec, 320 secs 31978 markings, 49021 edges, 1970 markings/sec, 325 secs 45314 markings, 69494 edges, 2667 markings/sec, 330 secs 58149 markings, 89193 edges, 2567 markings/sec, 335 secs 70883 markings, 108743 edges, 2547 markings/sec, 340 secs 87165 markings, 133731 edges, 3256 markings/sec, 345 secs 103926 markings, 159455 edges, 3352 markings/sec, 350 secs 120649 markings, 185119 edges, 3345 markings/sec, 355 secs 136712 markings, 209772 edges, 3213 markings/sec, 360 secs 152370 markings, 233801 edges, 3132 markings/sec, 365 secs 167741 markings, 257397 edges, 3074 markings/sec, 370 secs 182405 markings, 279902 edges, 2933 markings/sec, 375 secs 198645 markings, 304836 edges, 3248 markings/sec, 380 secs 214856 markings, 329725 edges, 3242 markings/sec, 385 secs 227999 markings, 349891 edges, 2629 markings/sec, 390 secs 239561 markings, 367641 edges, 2312 markings/sec, 395 secs 252026 markings, 386776 edges, 2493 markings/sec, 400 secs 263384 markings, 404218 edges, 2272 markings/sec, 405 secs 270409 markings, 415003 edges, 1405 markings/sec, 410 secs 279729 markings, 429301 edges, 1864 markings/sec, 415 secs 289030 markings, 443574 edges, 1860 markings/sec, 420 secs 298353 markings, 457882 edges, 1865 markings/sec, 425 secs 307746 markings, 472301 edges, 1879 markings/sec, 430 secs 317154 markings, 486739 edges, 1882 markings/sec, 435 secs 326205 markings, 500627 edges, 1810 markings/sec, 440 secs 334960 markings, 514067 edges, 1751 markings/sec, 445 secs 343595 markings, 527316 edges, 1727 markings/sec, 450 secs 352284 markings, 540657 edges, 1738 markings/sec, 455 secs 360819 markings, 553759 edges, 1707 markings/sec, 460 secs 369571 markings, 567193 edges, 1750 markings/sec, 465 secs 380977 markings, 584700 edges, 2281 markings/sec, 470 secs 396838 markings, 609050 edges, 3172 markings/sec, 475 secs 412961 markings, 633795 edges, 3225 markings/sec, 480 secs 425140 markings, 652490 edges, 2436 markings/sec, 485 secs 437518 markings, 671489 edges, 2476 markings/sec, 490 secs 450124 markings, 690844 edges, 2521 markings/sec, 495 secs 463072 markings, 710718 edges, 2590 markings/sec, 500 secs 479864 markings, 736496 edges, 3358 markings/sec, 505 secs 496654 markings, 762261 edges, 3358 markings/sec, 510 secs 512709 markings, 786903 edges, 3211 markings/sec, 515 secs 528588 markings, 811272 edges, 3176 markings/sec, 520 secs 544506 markings, 835707 edges, 3184 markings/sec, 525 secs 559156 markings, 858192 edges, 2930 markings/sec, 530 secs 569536 markings, 874125 edges, 2076 markings/sec, 535 secs 578510 markings, 887905 edges, 1795 markings/sec, 540 secs 587630 markings, 901907 edges, 1824 markings/sec, 545 secs 596703 markings, 915839 edges, 1815 markings/sec, 550 secs 603450 markings, 926189 edges, 1349 markings/sec, 555 secs 610178 markings, 936514 edges, 1346 markings/sec, 560 secs 619848 markings, 951362 edges, 1934 markings/sec, 565 secs 627774 markings, 963528 edges, 1585 markings/sec, 570 secs 634017 markings, 973113 edges, 1249 markings/sec, 575 secs 640494 markings, 983054 edges, 1295 markings/sec, 580 secs 647199 markings, 993352 edges, 1341 markings/sec, 585 secs 660127 markings, 1013187 edges, 2586 markings/sec, 590 secs 676091 markings, 1037692 edges, 3193 markings/sec, 595 secs 693848 markings, 1064948 edges, 3551 markings/sec, 600 secs 710442 markings, 1090411 edges, 3319 markings/sec, 605 secs 727055 markings, 1115910 edges, 3323 markings/sec, 610 secs 740807 markings, 1137022 edges, 2750 markings/sec, 615 secs 754744 markings, 1158413 edges, 2787 markings/sec, 620 secs 768706 markings, 1179849 edges, 2792 markings/sec, 625 secs 786078 markings, 1206525 edges, 3474 markings/sec, 630 secs 802871 markings, 1232310 edges, 3359 markings/sec, 635 secs 819060 markings, 1257156 edges, 3238 markings/sec, 640 secs 834922 markings, 1281496 edges, 3172 markings/sec, 645 secs 849463 markings, 1303819 edges, 2908 markings/sec, 650 secs 861393 markings, 1322128 edges, 2386 markings/sec, 655 secs 874905 markings, 1342866 edges, 2702 markings/sec, 660 secs 890101 markings, 1366194 edges, 3039 markings/sec, 665 secs 905131 markings, 1389267 edges, 3006 markings/sec, 670 secs 915938 markings, 1405859 edges, 2161 markings/sec, 675 secs 923376 markings, 1417274 edges, 1488 markings/sec, 680 secs 931383 markings, 1429575 edges, 1601 markings/sec, 685 secs 940779 markings, 1444006 edges, 1879 markings/sec, 690 secs 957400 markings, 1469515 edges, 3324 markings/sec, 695 secs 973710 markings, 1494551 edges, 3262 markings/sec, 700 secs 990397 markings, 1520158 edges, 3337 markings/sec, 705 secs 1006653 markings, 1545112 edges, 3251 markings/sec, 710 secs 1022370 markings, 1569235 edges, 3143 markings/sec, 715 secs 1035325 markings, 1589114 edges, 2591 markings/sec, 720 secs 1044528 markings, 1603253 edges, 1841 markings/sec, 725 secs 1052390 markings, 1615316 edges, 1572 markings/sec, 730 secs 1060445 markings, 1627680 edges, 1611 markings/sec, 735 secs 1068493 markings, 1640037 edges, 1610 markings/sec, 740 secs 1076431 markings, 1652246 edges, 1588 markings/sec, 745 secs 1084352 markings, 1664400 edges, 1584 markings/sec, 750 secs 1092578 markings, 1677023 edges, 1645 markings/sec, 755 secs 1101329 markings, 1690454 edges, 1750 markings/sec, 760 secs 1110030 markings, 1703808 edges, 1740 markings/sec, 765 secs 1118705 markings, 1717123 edges, 1735 markings/sec, 770 secs 1127481 markings, 1730591 edges, 1755 markings/sec, 775 secs 1136133 markings, 1743873 edges, 1730 markings/sec, 780 secs 1144670 markings, 1756974 edges, 1707 markings/sec, 785 secs 1153126 markings, 1769955 edges, 1691 markings/sec, 790 secs 1161738 markings, 1783172 edges, 1722 markings/sec, 795 secs 1170122 markings, 1796042 edges, 1677 markings/sec, 800 secs 1178271 markings, 1808553 edges, 1630 markings/sec, 805 secs 1186705 markings, 1821500 edges, 1687 markings/sec, 810 secs 1195005 markings, 1834238 edges, 1660 markings/sec, 815 secs 1202232 markings, 1845338 edges, 1445 markings/sec, 820 secs 1209660 markings, 1856746 edges, 1486 markings/sec, 825 secs 1217366 markings, 1868583 edges, 1541 markings/sec, 830 secs 1224866 markings, 1880097 edges, 1500 markings/sec, 835 secs 1232405 markings, 1891669 edges, 1508 markings/sec, 840 secs 1239923 markings, 1903209 edges, 1504 markings/sec, 845 secs 1247594 markings, 1914983 edges, 1534 markings/sec, 850 secs 1255223 markings, 1926689 edges, 1526 markings/sec, 855 secs 1262813 markings, 1938337 edges, 1518 markings/sec, 860 secs 1271011 markings, 1950923 edges, 1640 markings/sec, 865 secs 1279235 markings, 1963543 edges, 1645 markings/sec, 870 secs 1287583 markings, 1976351 edges, 1670 markings/sec, 875 secs 1295790 markings, 1988953 edges, 1641 markings/sec, 880 secs 1304119 markings, 2001738 edges, 1666 markings/sec, 885 secs 1312617 markings, 2014778 edges, 1700 markings/sec, 890 secs 1320927 markings, 2027542 edges, 1662 markings/sec, 895 secs 1329169 markings, 2040189 edges, 1648 markings/sec, 900 secs 1336823 markings, 2051942 edges, 1531 markings/sec, 905 secs 1344569 markings, 2063840 edges, 1549 markings/sec, 910 secs 1352109 markings, 2075431 edges, 1508 markings/sec, 915 secs 1360183 markings, 2087854 edges, 1615 markings/sec, 920 secs 1368213 markings, 2100211 edges, 1606 markings/sec, 925 secs 1376701 markings, 2113267 edges, 1698 markings/sec, 930 secs 1385014 markings, 2126055 edges, 1663 markings/sec, 935 secs 1393485 markings, 2139088 edges, 1694 markings/sec, 940 secs 1401936 markings, 2152090 edges, 1690 markings/sec, 945 secs 1410341 markings, 2165025 edges, 1681 markings/sec, 950 secs 1418553 markings, 2177639 edges, 1642 markings/sec, 955 secs 1426518 markings, 2189868 edges, 1593 markings/sec, 960 secs 1434084 markings, 2201485 edges, 1513 markings/sec, 965 secs 1441892 markings, 2213469 edges, 1562 markings/sec, 970 secs 1449501 markings, 2225149 edges, 1522 markings/sec, 975 secs 1457428 markings, 2237318 edges, 1585 markings/sec, 980 secs 1466506 markings, 2251256 edges, 1816 markings/sec, 985 secs 1475617 markings, 2265248 edges, 1822 markings/sec, 990 secs 1484921 markings, 2279533 edges, 1861 markings/sec, 995 secs 1493209 markings, 2292256 edges, 1658 markings/sec, 1000 secs 1501860 markings, 2305535 edges, 1730 markings/sec, 1005 secs 1516960 markings, 2328714 edges, 3020 markings/sec, 1010 secs 1527744 markings, 2345273 edges, 2157 markings/sec, 1015 secs 1536961 markings, 2359418 edges, 1843 markings/sec, 1020 secs 1544828 markings, 2371493 edges, 1573 markings/sec, 1025 secs 1552891 markings, 2383877 edges, 1613 markings/sec, 1030 secs 1566114 markings, 2404179 edges, 2645 markings/sec, 1035 secs 1581710 markings, 2428120 edges, 3119 markings/sec, 1040 secs 1596471 markings, 2450781 edges, 2952 markings/sec, 1045 secs 1611017 markings, 2473111 edges, 2909 markings/sec, 1050 secs 1622307 markings, 2490445 edges, 2258 markings/sec, 1055 secs 1631649 markings, 2504791 edges, 1868 markings/sec, 1060 secs 1641030 markings, 2519193 edges, 1876 markings/sec, 1065 secs 1650210 markings, 2533284 edges, 1836 markings/sec, 1070 secs 1658647 markings, 2546236 edges, 1687 markings/sec, 1075 secs 1667122 markings, 2559248 edges, 1695 markings/sec, 1080 secs 1675637 markings, 2572317 edges, 1703 markings/sec, 1085 secs 1684052 markings, 2585236 edges, 1683 markings/sec, 1090 secs 1692473 markings, 2598164 edges, 1684 markings/sec, 1095 secs 1703865 markings, 2615650 edges, 2278 markings/sec, 1100 secs 1712561 markings, 2629005 edges, 1739 markings/sec, 1105 secs 1721639 markings, 2642943 edges, 1816 markings/sec, 1110 secs 1730829 markings, 2657052 edges, 1838 markings/sec, 1115 secs 1739138 markings, 2669806 edges, 1662 markings/sec, 1120 secs 1746937 markings, 2681780 edges, 1560 markings/sec, 1125 secs 1754997 markings, 2694151 edges, 1612 markings/sec, 1130 secs 1762985 markings, 2706415 edges, 1598 markings/sec, 1135 secs 1770965 markings, 2718667 edges, 1596 markings/sec, 1140 secs 1779731 markings, 2732124 edges, 1753 markings/sec, 1145 secs 1789026 markings, 2746397 edges, 1859 markings/sec, 1150 secs 1798175 markings, 2760443 edges, 1830 markings/sec, 1155 secs 1807425 markings, 2774649 edges, 1850 markings/sec, 1160 secs 1816027 markings, 2787850 edges, 1720 markings/sec, 1165 secs 1824522 markings, 2800890 edges, 1699 markings/sec, 1170 secs 1833183 markings, 2814188 edges, 1732 markings/sec, 1175 secs 1844109 markings, 2830955 edges, 2185 markings/sec, 1180 secs 1860182 markings, 2855629 edges, 3215 markings/sec, 1185 secs 1877885 markings, 2882815 edges, 3541 markings/sec, 1190 secs 1893152 markings, 2906248 edges, 3053 markings/sec, 1195 secs 1904025 markings, 2922942 edges, 2175 markings/sec, 1200 secs 1918361 markings, 2944950 edges, 2867 markings/sec, 1205 secs 1929632 markings, 2962254 edges, 2254 markings/sec, 1210 secs 1943460 markings, 2983484 edges, 2766 markings/sec, 1215 secs 1952535 markings, 2997416 edges, 1815 markings/sec, 1220 secs 1967222 markings, 3019976 edges, 2937 markings/sec, 1225 secs 1983080 markings, 3044311 edges, 3172 markings/sec, 1230 secs 1995972 markings, 3064100 edges, 2578 markings/sec, 1235 secs 2011501 markings, 3087938 edges, 3106 markings/sec, 1240 secs 2029128 markings, 3115002 edges, 3525 markings/sec, 1245 secs 2047010 markings, 3142461 edges, 3576 markings/sec, 1250 secs 2064423 markings, 3169198 edges, 3483 markings/sec, 1255 secs 2082041 markings, 3196241 edges, 3524 markings/sec, 1260 secs 2094467 markings, 3215316 edges, 2485 markings/sec, 1265 secs 2107765 markings, 3235728 edges, 2660 markings/sec, 1270 secs 2124903 markings, 3262038 edges, 3428 markings/sec, 1275 secs 2142278 markings, 3288720 edges, 3475 markings/sec, 1280 secs 2159917 markings, 3315794 edges, 3528 markings/sec, 1285 secs 2177099 markings, 3342169 edges, 3436 markings/sec, 1290 secs 2186485 markings, 3356576 edges, 1877 markings/sec, 1295 secs 2202618 markings, 3381352 edges, 3227 markings/sec, 1300 secs 2217536 markings, 3404252 edges, 2984 markings/sec, 1305 secs 2231011 markings, 3424938 edges, 2695 markings/sec, 1310 secs 2245994 markings, 3447937 edges, 2997 markings/sec, 1315 secs 2257958 markings, 3466299 edges, 2393 markings/sec, 1320 secs 2267881 markings, 3481534 edges, 1985 markings/sec, 1325 secs 2276273 markings, 3494425 edges, 1678 markings/sec, 1330 secs 2289862 markings, 3515291 edges, 2718 markings/sec, 1335 secs 2306305 markings, 3540525 edges, 3289 markings/sec, 1340 secs 2322144 markings, 3564840 edges, 3168 markings/sec, 1345 secs 2337850 markings, 3588947 edges, 3141 markings/sec, 1350 secs 2353270 markings, 3612649 edges, 3084 markings/sec, 1355 secs 2361564 markings, 3625379 edges, 1659 markings/sec, 1360 secs 2369934 markings, 3638225 edges, 1674 markings/sec, 1365 secs 2378175 markings, 3650875 edges, 1648 markings/sec, 1370 secs 2386495 markings, 3663649 edges, 1664 markings/sec, 1375 secs 2395912 markings, 3678100 edges, 1883 markings/sec, 1380 secs 2404285 markings, 3690955 edges, 1675 markings/sec, 1385 secs 2417406 markings, 3711088 edges, 2624 markings/sec, 1390 secs 2432497 markings, 3734256 edges, 3018 markings/sec, 1395 secs 2447840 markings, 3757806 edges, 3069 markings/sec, 1400 secs 2464310 markings, 3783090 edges, 3294 markings/sec, 1405 secs 2479304 markings, 3806133 edges, 2999 markings/sec, 1410 secs 2494364 markings, 3829257 edges, 3012 markings/sec, 1415 secs 2505689 markings, 3846640 edges, 2265 markings/sec, 1420 secs 2520699 markings, 3869674 edges, 3002 markings/sec, 1425 secs 2534182 markings, 3890372 edges, 2697 markings/sec, 1430 secs 2550990 markings, 3916170 edges, 3362 markings/sec, 1435 secs 2561611 markings, 3932471 edges, 2124 markings/sec, 1440 secs 2577446 markings, 3956780 edges, 3167 markings/sec, 1445 secs 2593810 markings, 3981900 edges, 3273 markings/sec, 1450 secs 2608832 markings, 4004996 edges, 3004 markings/sec, 1455 secs 2623772 markings, 4027926 edges, 2988 markings/sec, 1460 secs 2638231 markings, 4050118 edges, 2892 markings/sec, 1465 secs 2654330 markings, 4074828 edges, 3220 markings/sec, 1470 secs 2669095 markings, 4097490 edges, 2953 markings/sec, 1475 secs 2686125 markings, 4123630 edges, 3406 markings/sec, 1480 secs 2702832 markings, 4149278 edges, 3341 markings/sec, 1485 secs 2720032 markings, 4175683 edges, 3440 markings/sec, 1490 secs 2735240 markings, 4199054 edges, 3042 markings/sec, 1495 secs 2750213 markings, 4222040 edges, 2995 markings/sec, 1500 secs 2765933 markings, 4246174 edges, 3144 markings/sec, 1505 secs 2782077 markings, 4270948 edges, 3229 markings/sec, 1510 secs 2796127 markings, 4292513 edges, 2810 markings/sec, 1515 secs 2807479 markings, 4309938 edges, 2270 markings/sec, 1520 secs 2820817 markings, 4330412 edges, 2668 markings/sec, 1525 secs 2834910 markings, 4352049 edges, 2819 markings/sec, 1530 secs 2843642 markings, 4365454 edges, 1746 markings/sec, 1535 secs 2857214 markings, 4386284 edges, 2714 markings/sec, 1540 secs 2870236 markings, 4406277 edges, 2604 markings/sec, 1545 secs 2883999 markings, 4427403 edges, 2753 markings/sec, 1550 secs 2901380 markings, 4454083 edges, 3476 markings/sec, 1555 secs 2917207 markings, 4478380 edges, 3165 markings/sec, 1560 secs 2927562 markings, 4494276 edges, 2071 markings/sec, 1565 secs 2945999 markings, 4522589 edges, 3687 markings/sec, 1570 secs 2961972 markings, 4547113 edges, 3195 markings/sec, 1575 secs 2975590 markings, 4568018 edges, 2724 markings/sec, 1580 secs 2993756 markings, 4595903 edges, 3633 markings/sec, 1585 secs 3011346 markings, 4622905 edges, 3518 markings/sec, 1590 secs 3029443 markings, 4650691 edges, 3619 markings/sec, 1595 secs 3047527 markings, 4678460 edges, 3617 markings/sec, 1600 secs 3065646 markings, 4706280 edges, 3624 markings/sec, 1605 secs 3083798 markings, 4734147 edges, 3630 markings/sec, 1610 secs 3101037 markings, 4760602 edges, 3448 markings/sec, 1615 secs 3117595 markings, 4786026 edges, 3312 markings/sec, 1620 secs 3134734 markings, 4812343 edges, 3428 markings/sec, 1625 secs 3151058 markings, 4837408 edges, 3265 markings/sec, 1630 secs 3162221 markings, 4854548 edges, 2233 markings/sec, 1635 secs 3178381 markings, 4879348 edges, 3232 markings/sec, 1640 secs 3187180 markings, 4892858 edges, 1760 markings/sec, 1645 secs 3195711 markings, 4905951 edges, 1706 markings/sec, 1650 secs 3204383 markings, 4919260 edges, 1734 markings/sec, 1655 secs 3215586 markings, 4936469 edges, 2241 markings/sec, 1660 secs 3228289 markings, 4955973 edges, 2541 markings/sec, 1665 secs 3243723 markings, 4979674 edges, 3087 markings/sec, 1670 secs 3257299 markings, 5000520 edges, 2715 markings/sec, 1675 secs 3273855 markings, 5025939 edges, 3311 markings/sec, 1680 secs 3290682 markings, 5051769 edges, 3365 markings/sec, 1685 secs 3307797 markings, 5078041 edges, 3423 markings/sec, 1690 secs 3324866 markings, 5104244 edges, 3414 markings/sec, 1695 secs 3341845 markings, 5130315 edges, 3396 markings/sec, 1700 secs 3358425 markings, 5155771 edges, 3316 markings/sec, 1705 secs 3373851 markings, 5179460 edges, 3085 markings/sec, 1710 secs 3389668 markings, 5203747 edges, 3163 markings/sec, 1715 secs 3405999 markings, 5228812 edges, 3266 markings/sec, 1720 secs 3422294 markings, 5253827 edges, 3259 markings/sec, 1725 secs 3436924 markings, 5276285 edges, 2926 markings/sec, 1730 secs 3453268 markings, 5301374 edges, 3269 markings/sec, 1735 secs 3470032 markings, 5327116 edges, 3353 markings/sec, 1740 secs 3484187 markings, 5348857 edges, 2831 markings/sec, 1745 secs 3500612 markings, 5374075 edges, 3285 markings/sec, 1750 secs 3516496 markings, 5398460 edges, 3177 markings/sec, 1755 secs 3526667 markings, 5414070 edges, 2034 markings/sec, 1760 secs 3543849 markings, 5440449 edges, 3436 markings/sec, 1765 secs 3555328 markings, 5458068 edges, 2296 markings/sec, 1770 secs 3568156 markings, 5477761 edges, 2566 markings/sec, 1775 secs 3580924 markings, 5497364 edges, 2554 markings/sec, 1780 secs 3597436 markings, 5522725 edges, 3302 markings/sec, 1785 secs 3613612 markings, 5547564 edges, 3235 markings/sec, 1790 secs 3630247 markings, 5573105 edges, 3327 markings/sec, 1795 secs 3646703 markings, 5598364 edges, 3291 markings/sec, 1800 secs 3663356 markings, 5623925 edges, 3331 markings/sec, 1805 secs 3676071 markings, 5643447 edges, 2543 markings/sec, 1810 secs 3684332 markings, 5656124 edges, 1652 markings/sec, 1815 secs 3692917 markings, 5669309 edges, 1717 markings/sec, 1820 secs 3701551 markings, 5682565 edges, 1727 markings/sec, 1825 secs 3712963 markings, 5700087 edges, 2282 markings/sec, 1830 secs 3726119 markings, 5720276 edges, 2631 markings/sec, 1835 secs 3732980 markings, 5730811 edges, 1372 markings/sec, 1840 secs 3739197 markings, 5740357 edges, 1243 markings/sec, 1845 secs 3749579 markings, 5756298 edges, 2076 markings/sec, 1850 secs 3765328 markings, 5780481 edges, 3150 markings/sec, 1855 secs 3779243 markings, 5801839 edges, 2783 markings/sec, 1860 secs 3792064 markings, 5821519 edges, 2564 markings/sec, 1865 secs 3804878 markings, 5841191 edges, 2563 markings/sec, 1870 secs 3817755 markings, 5860957 edges, 2575 markings/sec, 1875 secs 3833206 markings, 5884678 edges, 3090 markings/sec, 1880 secs 3845115 markings, 5902962 edges, 2382 markings/sec, 1885 secs 3856461 markings, 5920379 edges, 2269 markings/sec, 1890 secs 3864604 markings, 5932883 edges, 1629 markings/sec, 1895 secs 3874301 markings, 5947768 edges, 1939 markings/sec, 1900 secs 3881433 markings, 5958721 edges, 1426 markings/sec, 1905 secs 3895303 markings, 5980014 edges, 2774 markings/sec, 1910 secs 3910789 markings, 6003786 edges, 3097 markings/sec, 1915 secs 3923580 markings, 6023422 edges, 2558 markings/sec, 1920 secs 3934126 markings, 6039611 edges, 2109 markings/sec, 1925 secs 3946185 markings, 6058122 edges, 2412 markings/sec, 1930 secs 3954051 markings, 6070198 edges, 1573 markings/sec, 1935 secs 3962163 markings, 6082652 edges, 1622 markings/sec, 1940 secs 3973465 markings, 6100006 edges, 2260 markings/sec, 1945 secs 3986727 markings, 6120361 edges, 2652 markings/sec, 1950 secs 3997445 markings, 6136819 edges, 2144 markings/sec, 1955 secs 4004284 markings, 6147318 edges, 1368 markings/sec, 1960 secs 4009558 markings, 6155419 edges, 1055 markings/sec, 1965 secs 4016097 markings, 6165455 edges, 1308 markings/sec, 1970 secs 4030901 markings, 6188183 edges, 2961 markings/sec, 1975 secs 4044240 markings, 6208664 edges, 2668 markings/sec, 1980 secs 4056991 markings, 6228233 edges, 2550 markings/sec, 1985 secs 4065211 markings, 6240851 edges, 1644 markings/sec, 1990 secs 4077066 markings, 6259051 edges, 2371 markings/sec, 1995 secs 4090267 markings, 6279319 edges, 2640 markings/sec, 2000 secs 4098806 markings, 6292429 edges, 1708 markings/sec, 2005 secs 4110277 markings, 6310038 edges, 2294 markings/sec, 2010 secs 4122587 markings, 6328932 edges, 2462 markings/sec, 2015 secs 4128357 markings, 6337795 edges, 1154 markings/sec, 2020 secs 4138254 markings, 6352987 edges, 1979 markings/sec, 2025 secs 4151060 markings, 6372654 edges, 2561 markings/sec, 2030 secs 4164699 markings, 6393586 edges, 2728 markings/sec, 2035 secs 4176110 markings, 6411113 edges, 2282 markings/sec, 2040 secs 4185929 markings, 6426179 edges, 1964 markings/sec, 2045 secs 4196372 markings, 6442211 edges, 2089 markings/sec, 2050 secs 4211779 markings, 6465864 edges, 3081 markings/sec, 2055 secs 4222958 markings, 6483026 edges, 2236 markings/sec, 2060 secs 4231928 markings, 6496798 edges, 1794 markings/sec, 2065 secs 4244759 markings, 6516495 edges, 2566 markings/sec, 2070 secs 4257191 markings, 6535597 edges, 2486 markings/sec, 2075 secs 4265448 markings, 6548274 edges, 1651 markings/sec, 2080 secs 4275301 markings, 6563394 edges, 1971 markings/sec, 2085 secs 4286664 markings, 6580838 edges, 2273 markings/sec, 2090 secs 4300737 markings, 6602440 edges, 2815 markings/sec, 2095 secs 4315636 markings, 6625312 edges, 2980 markings/sec, 2100 secs 4328715 markings, 6645391 edges, 2616 markings/sec, 2105 secs 4339720 markings, 6662282 edges, 2201 markings/sec, 2110 secs 4355294 markings, 6686191 edges, 3115 markings/sec, 2115 secs 4372117 markings, 6712038 edges, 3365 markings/sec, 2120 secs 4383707 markings, 6729826 edges, 2318 markings/sec, 2125 secs 4398438 markings, 6752438 edges, 2946 markings/sec, 2130 secs 4409280 markings, 6769081 edges, 2168 markings/sec, 2135 secs 4418703 markings, 6783545 edges, 1885 markings/sec, 2140 secs 4429764 markings, 6800523 edges, 2212 markings/sec, 2145 secs 4445184 markings, 6824195 edges, 3084 markings/sec, 2150 secs 4457440 markings, 6843009 edges, 2451 markings/sec, 2155 secs 4471981 markings, 6865348 edges, 2908 markings/sec, 2160 secs 4483426 markings, 6882920 edges, 2289 markings/sec, 2165 secs 4492232 markings, 6896436 edges, 1761 markings/sec, 2170 secs 4503635 markings, 6913942 edges, 2281 markings/sec, 2175 secs 4512397 markings, 6927390 edges, 1752 markings/sec, 2180 secs 4521125 markings, 6940788 edges, 1746 markings/sec, 2185 secs 4533439 markings, 6959695 edges, 2463 markings/sec, 2190 secs 4549974 markings, 6985071 edges, 3307 markings/sec, 2195 secs 4566483 markings, 7010416 edges, 3302 markings/sec, 2200 secs 4583024 markings, 7035823 edges, 3308 markings/sec, 2205 secs 4598096 markings, 7058964 edges, 3014 markings/sec, 2210 secs 4614707 markings, 7084467 edges, 3322 markings/sec, 2215 secs 4631136 markings, 7109680 edges, 3286 markings/sec, 2220 secs 4646629 markings, 7133464 edges, 3099 markings/sec, 2225 secs 4663674 markings, 7159629 edges, 3409 markings/sec, 2230 secs 4680369 markings, 7185259 edges, 3339 markings/sec, 2235 secs 4697101 markings, 7210959 edges, 3346 markings/sec, 2240 secs 4714490 markings, 7237715 edges, 3478 markings/sec, 2245 secs 4731809 markings, 7264360 edges, 3464 markings/sec, 2250 secs 4749128 markings, 7291005 edges, 3464 markings/sec, 2255 secs 4765987 markings, 7316926 edges, 3372 markings/sec, 2260 secs 4781537 markings, 7340803 edges, 3110 markings/sec, 2265 secs 4796258 markings, 7363400 edges, 2944 markings/sec, 2270 secs 4813545 markings, 7389942 edges, 3457 markings/sec, 2275 secs 4831264 markings, 7417150 edges, 3544 markings/sec, 2280 secs 4847877 markings, 7442645 edges, 3323 markings/sec, 2285 secs 4864138 markings, 7467612 edges, 3252 markings/sec, 2290 secs 4880420 markings, 7492609 edges, 3256 markings/sec, 2295 secs 4897708 markings, 7519147 edges, 3458 markings/sec, 2300 secs 4915193 markings, 7545994 edges, 3497 markings/sec, 2305 secs 4930594 markings, 7569636 edges, 3080 markings/sec, 2310 secs 4945704 markings, 7592834 edges, 3022 markings/sec, 2315 secs 4960049 markings, 7614859 edges, 2869 markings/sec, 2320 secs 4975344 markings, 7638344 edges, 3059 markings/sec, 2325 secs 4990288 markings, 7661283 edges, 2989 markings/sec, 2330 secs 4999845 markings, 7675959 edges, 1911 markings/sec, 2335 secs 5010175 markings, 7691817 edges, 2066 markings/sec, 2340 secs 5020749 markings, 7708044 edges, 2115 markings/sec, 2345 secs 5034262 markings, 7728790 edges, 2703 markings/sec, 2350 secs 5043910 markings, 7743599 edges, 1930 markings/sec, 2355 secs 5052911 markings, 7757425 edges, 1800 markings/sec, 2360 secs 5067013 markings, 7779075 edges, 2820 markings/sec, 2365 secs 5082648 markings, 7803075 edges, 3127 markings/sec, 2370 secs 5090461 markings, 7815072 edges, 1563 markings/sec, 2375 secs 5100663 markings, 7830733 edges, 2040 markings/sec, 2380 secs 5113995 markings, 7851206 edges, 2666 markings/sec, 2385 secs 5125883 markings, 7869457 edges, 2378 markings/sec, 2390 secs 5142762 markings, 7895378 edges, 3376 markings/sec, 2395 secs 5158406 markings, 7919385 edges, 3129 markings/sec, 2400 secs 5168335 markings, 7934631 edges, 1986 markings/sec, 2405 secs 5177090 markings, 7948068 edges, 1751 markings/sec, 2410 secs 5185671 markings, 7961237 edges, 1716 markings/sec, 2415 secs 5201616 markings, 7985722 edges, 3189 markings/sec, 2420 secs 5214252 markings, 8005119 edges, 2527 markings/sec, 2425 secs 5227267 markings, 8025094 edges, 2603 markings/sec, 2430 secs 5238622 markings, 8042531 edges, 2271 markings/sec, 2435 secs 5253343 markings, 8065136 edges, 2944 markings/sec, 2440 secs 5268465 markings, 8088353 edges, 3024 markings/sec, 2445 secs 5285167 markings, 8113997 edges, 3340 markings/sec, 2450 secs 5301164 markings, 8138556 edges, 3199 markings/sec, 2455 secs 5313840 markings, 8158010 edges, 2535 markings/sec, 2460 secs 5329738 markings, 8182416 edges, 3180 markings/sec, 2465 secs 5345399 markings, 8206459 edges, 3132 markings/sec, 2470 secs 5361524 markings, 8231215 edges, 3225 markings/sec, 2475 secs 5378061 markings, 8256610 edges, 3307 markings/sec, 2480 secs 5394218 markings, 8281418 edges, 3231 markings/sec, 2485 secs 5410661 markings, 8306662 edges, 3289 markings/sec, 2490 secs 5426536 markings, 8331030 edges, 3175 markings/sec, 2495 secs 5435725 markings, 8345134 edges, 1838 markings/sec, 2500 secs 5444911 markings, 8359238 edges, 1837 markings/sec, 2505 secs 5461706 markings, 8385032 edges, 3359 markings/sec, 2510 secs 5478787 markings, 8411256 edges, 3416 markings/sec, 2515 secs 5489568 markings, 8427802 edges, 2156 markings/sec, 2520 secs 5503313 markings, 8448904 edges, 2749 markings/sec, 2525 secs 5519997 markings, 8474527 edges, 3337 markings/sec, 2530 secs 5537025 markings, 8500665 edges, 3406 markings/sec, 2535 secs 5550747 markings, 8521729 edges, 2744 markings/sec, 2540 secs 5565290 markings, 8544054 edges, 2909 markings/sec, 2545 secs 5581104 markings, 8568341 edges, 3163 markings/sec, 2550 secs 5597131 markings, 8592947 edges, 3205 markings/sec, 2555 secs 5613298 markings, 8617763 edges, 3233 markings/sec, 2560 secs 5630630 markings, 8644366 edges, 3466 markings/sec, 2565 secs 5646962 markings, 8669459 edges, 3266 markings/sec, 2570 secs 5662720 markings, 8693663 edges, 3152 markings/sec, 2575 secs 5678497 markings, 8717882 edges, 3155 markings/sec, 2580 secs 5693969 markings, 8741630 edges, 3094 markings/sec, 2585 secs 5709200 markings, 8765008 edges, 3046 markings/sec, 2590 secs 5724905 markings, 8789120 edges, 3141 markings/sec, 2595 secs 5741241 markings, 8814198 edges, 3267 markings/sec, 2600 secs 5758072 markings, 8840057 edges, 3366 markings/sec, 2605 secs 5774708 markings, 8865603 edges, 3327 markings/sec, 2610 secs 5790868 markings, 8890405 edges, 3232 markings/sec, 2615 secs 5806714 markings, 8914734 edges, 3169 markings/sec, 2620 secs 5823393 markings, 8940335 edges, 3336 markings/sec, 2625 secs 5840062 markings, 8965924 edges, 3334 markings/sec, 2630 secs 5856911 markings, 8991794 edges, 3370 markings/sec, 2635 secs 5873856 markings, 9017831 edges, 3389 markings/sec, 2640 secs 5890174 markings, 9042882 edges, 3264 markings/sec, 2645 secs 5906891 markings, 9068546 edges, 3343 markings/sec, 2650 secs 5923447 markings, 9093957 edges, 3311 markings/sec, 2655 secs 5940323 markings, 9119863 edges, 3375 markings/sec, 2660 secs 5957398 markings, 9146075 edges, 3415 markings/sec, 2665 secs 5974520 markings, 9172362 edges, 3424 markings/sec, 2670 secs 5990900 markings, 9197540 edges, 3276 markings/sec, 2675 secs 6007051 markings, 9222331 edges, 3230 markings/sec, 2680 secs 6023355 markings, 9247356 edges, 3261 markings/sec, 2685 secs 6039564 markings, 9272239 edges, 3242 markings/sec, 2690 secs 6056042 markings, 9297534 edges, 3296 markings/sec, 2695 secs 6072657 markings, 9323044 edges, 3323 markings/sec, 2700 secs 6089189 markings, 9348421 edges, 3306 markings/sec, 2705 secs 6107168 markings, 9376019 edges, 3596 markings/sec, 2710 secs 6125083 markings, 9403516 edges, 3583 markings/sec, 2715 secs 6142441 markings, 9430166 edges, 3472 markings/sec, 2720 secs 6160126 markings, 9457327 edges, 3537 markings/sec, 2725 secs 6177733 markings, 9484369 edges, 3521 markings/sec, 2730 secs 6195252 markings, 9511263 edges, 3504 markings/sec, 2735 secs 6212279 markings, 9537400 edges, 3405 markings/sec, 2740 secs 6229232 markings, 9563422 edges, 3391 markings/sec, 2745 secs 6246820 markings, 9590439 edges, 3518 markings/sec, 2750 secs 6264218 markings, 9617155 edges, 3480 markings/sec, 2755 secs 6281965 markings, 9644399 edges, 3549 markings/sec, 2760 secs 6299171 markings, 9670813 edges, 3441 markings/sec, 2765 secs 6315988 markings, 9696625 edges, 3363 markings/sec, 2770 secs 6333499 markings, 9723525 edges, 3502 markings/sec, 2775 secs 6350629 markings, 9749830 edges, 3426 markings/sec, 2780 secs 6368462 markings, 9777196 edges, 3567 markings/sec, 2785 secs 6385643 markings, 9803576 edges, 3436 markings/sec, 2790 secs 6403123 markings, 9830417 edges, 3496 markings/sec, 2795 secs 6420802 markings, 9857573 edges, 3536 markings/sec, 2800 secs 6437222 markings, 9882787 edges, 3284 markings/sec, 2805 secs 6453697 markings, 9908083 edges, 3295 markings/sec, 2810 secs 6470419 markings, 9933749 edges, 3344 markings/sec, 2815 secs 6487318 markings, 9959687 edges, 3380 markings/sec, 2820 secs 6504245 markings, 9985674 edges, 3385 markings/sec, 2825 secs 6521673 markings, 10012436 edges, 3486 markings/sec, 2830 secs 6538916 markings, 10038911 edges, 3449 markings/sec, 2835 secs 6553703 markings, 10061615 edges, 2957 markings/sec, 2840 secs 6569182 markings, 10085385 edges, 3096 markings/sec, 2845 secs 6585467 markings, 10110380 edges, 3257 markings/sec, 2850 secs 6601891 markings, 10135593 edges, 3285 markings/sec, 2855 secs 6618568 markings, 10161191 edges, 3335 markings/sec, 2860 secs 6635950 markings, 10187878 edges, 3476 markings/sec, 2865 secs 6653084 markings, 10214187 edges, 3427 markings/sec, 2870 secs 6669320 markings, 10239121 edges, 3247 markings/sec, 2875 secs 6685346 markings, 10263725 edges, 3205 markings/sec, 2880 secs 6701467 markings, 10288473 edges, 3224 markings/sec, 2885 secs 6717828 markings, 10313590 edges, 3272 markings/sec, 2890 secs 6734274 markings, 10338834 edges, 3289 markings/sec, 2895 secs 6751467 markings, 10365233 edges, 3439 markings/sec, 2900 secs 6768956 markings, 10392080 edges, 3498 markings/sec, 2905 secs 6785484 markings, 10417466 edges, 3306 markings/sec, 2910 secs 6801504 markings, 10442063 edges, 3204 markings/sec, 2915 secs 6817684 markings, 10466902 edges, 3236 markings/sec, 2920 secs 6834094 markings, 10492094 edges, 3282 markings/sec, 2925 secs 6850289 markings, 10516947 edges, 3239 markings/sec, 2930 secs 6867180 markings, 10542879 edges, 3378 markings/sec, 2935 secs 6885170 markings, 10570505 edges, 3598 markings/sec, 2940 secs 6901985 markings, 10596333 edges, 3363 markings/sec, 2945 secs 6917942 markings, 10620883 edges, 3191 markings/sec, 2950 secs 6933999 markings, 10645579 edges, 3211 markings/sec, 2955 secs 6951882 markings, 10673051 edges, 3577 markings/sec, 2960 secs 6969043 markings, 10699406 edges, 3432 markings/sec, 2965 secs 6986615 markings, 10726398 edges, 3514 markings/sec, 2970 secs 7004032 markings, 10753153 edges, 3483 markings/sec, 2975 secs 7020641 markings, 10778668 edges, 3322 markings/sec, 2980 secs 7037865 markings, 10805126 edges, 3445 markings/sec, 2985 secs 7054602 markings, 10830832 edges, 3347 markings/sec, 2990 secs 7071588 markings, 10856920 edges, 3397 markings/sec, 2995 secs 7088271 markings, 10882553 edges, 3337 markings/sec, 3000 secs 7104514 markings, 10907504 edges, 3249 markings/sec, 3005 secs 7120206 markings, 10931648 edges, 3138 markings/sec, 3010 secs 7135953 markings, 10955878 edges, 3149 markings/sec, 3015 secs 7151679 markings, 10980070 edges, 3145 markings/sec, 3020 secs 7167513 markings, 11004431 edges, 3167 markings/sec, 3025 secs 7182952 markings, 11028142 edges, 3088 markings/sec, 3030 secs 7197904 markings, 11051096 edges, 2990 markings/sec, 3035 secs 7214849 markings, 11077119 edges, 3389 markings/sec, 3040 secs 7230505 markings, 11101153 edges, 3131 markings/sec, 3045 secs 7245785 markings, 11124618 edges, 3056 markings/sec, 3050 secs 7260545 markings, 11147283 edges, 2952 markings/sec, 3055 secs 7274623 markings, 11168902 edges, 2816 markings/sec, 3060 secs 7289258 markings, 11191373 edges, 2927 markings/sec, 3065 secs 7305090 markings, 11215684 edges, 3166 markings/sec, 3070 secs 7321183 markings, 11240389 edges, 3219 markings/sec, 3075 secs 7335870 markings, 11262944 edges, 2937 markings/sec, 3080 secs 7350902 markings, 11286022 edges, 3006 markings/sec, 3085 secs 7366711 markings, 11310309 edges, 3162 markings/sec, 3090 secs 7382073 markings, 11333885 edges, 3072 markings/sec, 3095 secs 7397730 markings, 11357927 edges, 3131 markings/sec, 3100 secs 7414728 markings, 11384027 edges, 3400 markings/sec, 3105 secs 7430473 markings, 11408200 edges, 3149 markings/sec, 3110 secs 7444415 markings, 11429611 edges, 2788 markings/sec, 3115 secs 7458691 markings, 11451535 edges, 2855 markings/sec, 3120 secs 7473375 markings, 11474086 edges, 2937 markings/sec, 3125 secs 7487352 markings, 11495541 edges, 2795 markings/sec, 3130 secs 7504213 markings, 11521429 edges, 3372 markings/sec, 3135 secs 7521124 markings, 11547397 edges, 3382 markings/sec, 3140 secs 7537147 markings, 11571997 edges, 3205 markings/sec, 3145 secs 7553639 markings, 11597327 edges, 3298 markings/sec, 3150 secs 7570388 markings, 11623064 edges, 3350 markings/sec, 3155 secs 7586650 markings, 11648080 edges, 3252 markings/sec, 3160 secs 7602110 markings, 11671865 edges, 3092 markings/sec, 3165 secs 7616569 markings, 11694099 edges, 2892 markings/sec, 3170 secs 7631638 markings, 11717237 edges, 3014 markings/sec, 3175 secs 7647734 markings, 11741947 edges, 3219 markings/sec, 3180 secs 7663167 markings, 11765683 edges, 3087 markings/sec, 3185 secs 7679521 markings, 11790799 edges, 3271 markings/sec, 3190 secs 7695720 markings, 11815669 edges, 3240 markings/sec, 3195 secs 7711626 markings, 11840115 edges, 3181 markings/sec, 3200 secs 7727768 markings, 11864922 edges, 3228 markings/sec, 3205 secs 7744055 markings, 11889925 edges, 3257 markings/sec, 3210 secs 7759962 markings, 11914358 edges, 3181 markings/sec, 3215 secs 7775847 markings, 11938786 edges, 3177 markings/sec, 3220 secs 7791872 markings, 11963395 edges, 3205 markings/sec, 3225 secs 7808307 markings, 11988623 edges, 3287 markings/sec, 3230 secs 7824775 markings, 12013946 edges, 3294 markings/sec, 3235 secs 7841267 markings, 12039320 edges, 3298 markings/sec, 3240 secs 7857815 markings, 12064775 edges, 3310 markings/sec, 3245 secs 7874167 markings, 12089934 edges, 3270 markings/sec, 3250 secs 7890476 markings, 12115025 edges, 3262 markings/sec, 3255 secs 7906142 markings, 12139095 edges, 3133 markings/sec, 3260 secs 7922105 markings, 12163611 edges, 3193 markings/sec, 3265 secs 7937823 markings, 12187754 edges, 3144 markings/sec, 3270 secs 7954997 markings, 12214128 edges, 3435 markings/sec, 3275 secs 7971428 markings, 12239362 edges, 3286 markings/sec, 3280 secs 7987467 markings, 12263993 edges, 3208 markings/sec, 3285 secs 8004106 markings, 12289547 edges, 3328 markings/sec, 3290 secs 8021089 markings, 12315629 edges, 3397 markings/sec, 3295 secs 8037986 markings, 12341578 edges, 3379 markings/sec, 3300 secs 8053687 markings, 12365693 edges, 3140 markings/sec, 3305 secs 8068946 markings, 12389122 edges, 3052 markings/sec, 3310 secs 8084908 markings, 12413637 edges, 3192 markings/sec, 3315 secs 8100841 markings, 12438110 edges, 3187 markings/sec, 3320 secs 8114855 markings, 12459637 edges, 2803 markings/sec, 3325 secs 8131213 markings, 12484751 edges, 3272 markings/sec, 3330 secs 8148509 markings, 12511317 edges, 3459 markings/sec, 3335 secs 8165785 markings, 12537850 edges, 3455 markings/sec, 3340 secs 8182175 markings, 12563037 edges, 3278 markings/sec, 3345 secs 8197854 markings, 12587155 edges, 3136 markings/sec, 3350 secs 8213576 markings, 12611328 edges, 3144 markings/sec, 3355 secs 8231193 markings, 12638389 edges, 3523 markings/sec, 3360 secs 8248411 markings, 12664841 edges, 3444 markings/sec, 3365 secs 8265720 markings, 12691426 edges, 3462 markings/sec, 3370 secs 8282575 markings, 12717318 edges, 3371 markings/sec, 3375 secs 8299126 markings, 12742741 edges, 3310 markings/sec, 3380 secs 8316620 markings, 12769612 edges, 3499 markings/sec, 3385 secs 8333241 markings, 12795144 edges, 3324 markings/sec, 3390 secs 8350568 markings, 12821752 edges, 3465 markings/sec, 3395 secs 8367694 markings, 12848066 edges, 3425 markings/sec, 3400 secs 8383900 markings, 12872967 edges, 3241 markings/sec, 3405 secs 8398974 markings, 12896160 edges, 3015 markings/sec, 3410 secs 8414178 markings, 12919553 edges, 3041 markings/sec, 3415 secs 8429206 markings, 12942671 edges, 3006 markings/sec, 3420 secs 8444568 markings, 12966306 edges, 3072 markings/sec, 3425 secs 8460194 markings, 12990305 edges, 3125 markings/sec, 3430 secs 8475374 markings, 13013611 edges, 3036 markings/sec, 3435 secs 8492222 markings, 13039482 edges, 3370 markings/sec, 3440 secs 8508315 markings, 13064198 edges, 3219 markings/sec, 3445 secs 8524325 markings, 13088779 edges, 3202 markings/sec, 3450 secs 8540365 markings, 13113419 edges, 3208 markings/sec, 3455 secs 8555135 markings, 13136095 edges, 2954 markings/sec, 3460 secs 8569533 markings, 13158200 edges, 2880 markings/sec, 3465 secs 8585602 markings, 13182874 edges, 3214 markings/sec, 3470 secs 8601239 markings, 13206882 edges, 3127 markings/sec, 3475 secs 8616433 markings, 13230215 edges, 3039 markings/sec, 3480 secs 8631558 markings, 13253446 edges, 3025 markings/sec, 3485 secs 8646718 markings, 13276720 edges, 3032 markings/sec, 3490 secs 8660951 markings, 13298576 edges, 2847 markings/sec, 3495 secs 8676697 markings, 13322753 edges, 3149 markings/sec, 3500 secs 8692781 markings, 13347450 edges, 3217 markings/sec, 3505 secs 8707798 markings, 13370509 edges, 3003 markings/sec, 3510 secs 8723021 markings, 13393889 edges, 3045 markings/sec, 3515 secs 8738100 markings, 13417043 edges, 3016 markings/sec, 3520 secs 8752910 markings, 13439781 edges, 2962 markings/sec, 3525 secs 8769434 markings, 13465154 edges, 3305 markings/sec, 3530 secs 8785677 markings, 13490094 edges, 3249 markings/sec, 3535 secs 8801386 markings, 13514218 edges, 3142 markings/sec, 3540 secs 8817206 markings, 13538514 edges, 3164 markings/sec, 3545 secs 8832704 markings, 13562334 edges, 3100 markings/sec, 3550 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="BART-COL-020"
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 BART-COL-020, 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 r016-csrt-155225065300273"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BART-COL-020.tgz
mv BART-COL-020 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 ;