MCC'2019 - Execution of r082-csrt-155246549200255

About the Execution of LoLA for FlexibleBarrier-PT-18a

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
4267.190	3570179.00	7285460.00	386.00	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 424K
-rw-r--r-- 1 mcc users 3.8K Feb 11 01:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 11 01:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 6 23:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 6 23:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:35
-rw-r--r-- 1 mcc users 8.8K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 3 08:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 3 08:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 31 01:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 31 01:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 0 Jan 29 09:34 model-fix.log
-rw-r--r-- 1 mcc users 265K 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 FlexibleBarrier-PT-18a-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552661733823

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ FlexibleBarrier-PT-18a @ 3570
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ FlexibleBarrier-PT-18a

{
"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": "Fri Mar 15 14:55:33 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 430700,
"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": 4355,
"conflict_clusters": 76,
"places": 219,
"places_significant": 199,
"singleton_clusters": 0,
"transitions": 886
},
"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": 355687428096000.000000,
"composed": 107,
"dead_branches": 0,
"generators": 136,
"interrupted": false,
"real_computed": 29,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 1105/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 219
lola: finding significant places
lola: 219 places, 886 transitions, 199 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: computed 136 generators (29 in search tree, 107 by compositio
lola: representing 3.55687E+14 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 158592 fired transitions, 0 secs ||
lola: 1 tries, 318924 fired transitions, 5 secs ||
lola: 1 tries, 479367 fired transitions, 10 secs ||
lola: 1 tries, 642402 fired transitions, 15 secs ||
lola: 1 tries, 812025 fired transitions, 20 secs ||
lola: 1 tries, 975666 fired transitions, 25 secs ||
lola: 2 tries, 1141054 fired transitions, 30 secs ||
lola: 2 tries, 1302742 fired transitions, 35 secs ||
lola: 2 tries, 1468108 fired transitions, 40 secs ||
lola: 2 tries, 1638511 fired transitions, 45 secs ||
lola: 2 tries, 1812148 fired transitions, 50 secs ||
lola: 2 tries, 1980991 fired transitions, 55 secs ||
lola: 3 tries, 2140700 fired transitions, 60 secs ||
lola: 3 tries, 2307797 fired transitions, 65 secs ||
lola: 3 tries, 2473106 fired transitions, 70 secs ||
lola: 3 tries, 2636840 fired transitions, 75 secs ||
lola: 3 tries, 2794052 fired transitions, 80 secs ||
lola: 3 tries, 2962511 fired transitions, 85 secs ||
lola: 4 tries, 3131886 fired transitions, 90 secs ||
lola: 4 tries, 3301110 fired transitions, 95 secs ||
lola: 4 tries, 3470286 fired transitions, 100 secs ||
lola: 4 tries, 3639291 fired transitions, 105 secs ||
lola: 4 tries, 3804366 fired transitions, 110 secs ||
lola: 4 tries, 3974286 fired transitions, 115 secs ||
lola: 5 tries, 4146187 fired transitions, 120 secs ||
lola: 5 tries, 4319848 fired transitions, 125 secs ||
lola: 5 tries, 4496773 fired transitions, 130 secs ||
lola: 5 tries, 4673698 fired transitions, 135 secs ||
lola: 5 tries, 4848886 fired transitions, 140 secs ||
lola: 6 tries, 5039135 fired transitions, 145 secs ||
lola: 6 tries, 5228087 fired transitions, 150 secs ||
lola: 6 tries, 5417429 fired transitions, 155 secs ||
lola: 6 tries, 5608262 fired transitions, 160 secs ||
lola: 6 tries, 5799665 fired transitions, 165 secs ||
lola: 6 tries, 5988809 fired transitions, 170 secs ||
lola: 7 tries, 6172917 fired transitions, 175 secs ||
lola: 7 tries, 6354789 fired transitions, 180 secs ||
lola: 7 tries, 6537519 fired transitions, 185 secs ||
lola: 7 tries, 6715722 fired transitions, 190 secs ||
lola: 7 tries, 6892242 fired transitions, 195 secs ||
lola: 8 tries, 7068907 fired transitions, 200 secs ||
lola: 8 tries, 7245187 fired transitions, 205 secs ||
lola: 8 tries, 7421995 fired transitions, 210 secs ||
lola: 8 tries, 7594873 fired transitions, 215 secs ||
lola: 8 tries, 7774435 fired transitions, 220 secs ||
lola: 8 tries, 7956724 fired transitions, 225 secs ||
lola: 9 tries, 8139080 fired transitions, 230 secs ||
lola: 9 tries, 8319086 fired transitions, 235 secs ||
lola: 9 tries, 8497814 fired transitions, 240 secs ||
lola: 9 tries, 8676002 fired transitions, 245 secs ||
lola: 9 tries, 8857421 fired transitions, 250 secs ||
lola: 10 tries, 9034395 fired transitions, 255 secs ||
lola: 10 tries, 9207435 fired transitions, 260 secs ||
lola: 10 tries, 9375822 fired transitions, 265 secs ||
lola: 10 tries, 9548166 fired transitions, 270 secs ||
lola: 10 tries, 9720651 fired transitions, 275 secs ||
lola: 10 tries, 9893760 fired transitions, 280 secs ||
lola: 11 tries, 10067017 fired transitions, 285 secs ||
lola: 11 tries, 10238014 fired transitions, 290 secs ||
lola: 11 tries, 10413205 fired transitions, 295 secs ||
lola: 11 tries, 10590400 fired transitions, 300 secs ||
lola: 11 tries, 10767025 fired transitions, 305 secs ||
lola: 11 tries, 10943164 fired transitions, 310 secs ||
lola: 12 tries, 11119685 fired transitions, 315 secs ||
lola: 12 tries, 11295482 fired transitions, 320 secs ||
lola: 12 tries, 11477363 fired transitions, 325 secs ||
lola: 12 tries, 11658155 fired transitions, 330 secs ||
lola: 12 tries, 11835245 fired transitions, 335 secs ||
lola: 13 tries, 12016887 fired transitions, 340 secs ||
lola: 13 tries, 12198582 fired transitions, 345 secs ||
lola: 13 tries, 12381837 fired transitions, 350 secs ||
lola: 13 tries, 12559038 fired transitions, 355 secs ||
lola: 13 tries, 12736977 fired transitions, 360 secs ||
lola: 13 tries, 12924033 fired transitions, 365 secs ||
lola: 14 tries, 13110088 fired transitions, 370 secs ||
lola: 14 tries, 13283518 fired transitions, 375 secs ||
lola: 14 tries, 13456636 fired transitions, 380 secs ||
lola: 14 tries, 13634911 fired transitions, 385 secs ||
lola: 14 tries, 13820248 fired transitions, 390 secs ||
lola: 15 tries, 14004734 fired transitions, 395 secs ||
lola: 15 tries, 14181314 fired transitions, 400 secs ||
lola: 15 tries, 14354564 fired transitions, 405 secs ||
lola: 15 tries, 14527787 fired transitions, 410 secs ||
lola: 15 tries, 14699123 fired transitions, 415 secs ||
lola: 15 tries, 14878985 fired transitions, 420 secs ||
lola: 16 tries, 15048288 fired transitions, 425 secs ||
lola: 16 tries, 15216993 fired transitions, 430 secs ||
lola: 16 tries, 15391170 fired transitions, 435 secs ||
lola: 16 tries, 15569538 fired transitions, 440 secs ||
lola: 16 tries, 15750762 fired transitions, 445 secs ||
lola: 16 tries, 15931308 fired transitions, 450 secs ||
lola: 17 tries, 16112107 fired transitions, 455 secs ||
lola: 17 tries, 16290331 fired transitions, 460 secs ||
lola: 17 tries, 16471819 fired transitions, 465 secs ||
lola: 17 tries, 16656334 fired transitions, 470 secs ||
lola: 17 tries, 16832203 fired transitions, 475 secs ||
lola: 18 tries, 17005796 fired transitions, 480 secs ||
lola: 18 tries, 17189771 fired transitions, 485 secs ||
lola: 18 tries, 17377070 fired transitions, 490 secs ||
lola: 18 tries, 17564693 fired transitions, 495 secs ||
lola: 18 tries, 17751617 fired transitions, 500 secs ||
lola: 18 tries, 17938403 fired transitions, 505 secs ||
lola: 19 tries, 18125313 fired transitions, 510 secs ||
lola: 19 tries, 18312336 fired transitions, 515 secs ||
lola: 19 tries, 18499422 fired transitions, 520 secs ||
lola: 19 tries, 18686361 fired transitions, 525 secs ||
lola: 19 tries, 18867387 fired transitions, 530 secs ||
lola: 20 tries, 19044739 fired transitions, 535 secs ||
lola: 20 tries, 19219717 fired transitions, 540 secs ||
lola: 20 tries, 19396849 fired transitions, 545 secs ||
lola: 20 tries, 19575022 fired transitions, 550 secs ||
lola: 20 tries, 19754014 fired transitions, 555 secs ||
lola: 20 tries, 19932703 fired transitions, 560 secs ||
lola: 21 tries, 20103680 fired transitions, 565 secs ||
lola: 21 tries, 20275754 fired transitions, 570 secs ||
lola: 21 tries, 20449397 fired transitions, 575 secs ||
lola: 21 tries, 20621759 fired transitions, 580 secs ||
lola: 21 tries, 20795588 fired transitions, 585 secs ||
lola: 21 tries, 20972531 fired transitions, 590 secs ||
lola: 22 tries, 21155544 fired transitions, 595 secs ||
lola: 22 tries, 21341118 fired transitions, 600 secs ||
lola: 22 tries, 21524784 fired transitions, 605 secs ||
lola: 22 tries, 21707466 fired transitions, 610 secs ||
lola: 22 tries, 21892611 fired transitions, 615 secs ||
lola: 23 tries, 22074322 fired transitions, 620 secs ||
lola: 23 tries, 22260385 fired transitions, 625 secs ||
lola: 23 tries, 22445761 fired transitions, 630 secs ||
lola: 23 tries, 22629343 fired transitions, 635 secs ||
lola: 23 tries, 22804168 fired transitions, 640 secs ||
lola: 23 tries, 22977142 fired transitions, 645 secs ||
lola: 24 tries, 23149982 fired transitions, 650 secs ||
lola: 24 tries, 23326151 fired transitions, 655 secs ||
lola: 24 tries, 23501243 fired transitions, 660 secs ||
lola: 24 tries, 23674559 fired transitions, 665 secs ||
lola: 24 tries, 23844800 fired transitions, 670 secs ||
lola: 25 tries, 24018435 fired transitions, 675 secs ||
lola: 25 tries, 24191079 fired transitions, 680 secs ||
lola: 25 tries, 24364143 fired transitions, 685 secs ||
lola: 25 tries, 24532422 fired transitions, 690 secs ||
lola: 25 tries, 24707109 fired transitions, 695 secs ||
lola: 25 tries, 24886836 fired transitions, 700 secs ||
lola: 26 tries, 25065859 fired transitions, 705 secs ||
lola: 26 tries, 25245319 fired transitions, 710 secs ||
lola: 26 tries, 25418290 fired transitions, 715 secs ||
lola: 26 tries, 25597834 fired transitions, 720 secs ||
lola: 26 tries, 25776082 fired transitions, 725 secs ||
lola: 26 tries, 25948687 fired transitions, 730 secs ||
lola: 27 tries, 26124731 fired transitions, 735 secs ||
lola: 27 tries, 26297090 fired transitions, 740 secs ||
lola: 27 tries, 26467238 fired transitions, 745 secs ||
lola: 27 tries, 26641460 fired transitions, 750 secs ||
lola: 27 tries, 26814863 fired transitions, 755 secs ||
lola: 27 tries, 26987078 fired transitions, 760 secs ||
lola: 28 tries, 27157371 fired transitions, 765 secs ||
lola: 28 tries, 27329931 fired transitions, 770 secs ||
lola: 28 tries, 27502236 fired transitions, 775 secs ||
lola: 28 tries, 27678342 fired transitions, 780 secs ||
lola: 28 tries, 27855300 fired transitions, 785 secs ||
lola: 29 tries, 28032469 fired transitions, 790 secs ||
lola: 29 tries, 28214419 fired transitions, 795 secs ||
lola: 29 tries, 28395907 fired transitions, 800 secs ||
lola: 29 tries, 28577851 fired transitions, 805 secs ||
lola: 29 tries, 28756837 fired transitions, 810 secs ||
lola: 29 tries, 28933393 fired transitions, 815 secs ||
lola: 30 tries, 29115062 fired transitions, 820 secs ||
lola: 30 tries, 29293187 fired transitions, 825 secs ||
lola: 30 tries, 29469932 fired transitions, 830 secs ||
lola: 30 tries, 29646242 fired transitions, 835 secs ||
lola: 30 tries, 29822153 fired transitions, 840 secs ||
lola: 31 tries, 30001935 fired transitions, 845 secs ||
lola: 31 tries, 30183843 fired transitions, 850 secs ||
lola: 31 tries, 30365016 fired transitions, 855 secs ||
lola: 31 tries, 30546285 fired transitions, 860 secs ||
lola: 31 tries, 30724857 fired transitions, 865 secs ||
lola: 31 tries, 30901611 fired transitions, 870 secs ||
lola: 32 tries, 31078261 fired transitions, 875 secs ||
lola: 32 tries, 31254739 fired transitions, 880 secs ||
lola: 32 tries, 31430815 fired transitions, 885 secs ||
lola: 32 tries, 31610143 fired transitions, 890 secs ||
lola: 32 tries, 31790173 fired transitions, 895 secs ||
lola: 32 tries, 31966924 fired transitions, 900 secs ||
lola: 33 tries, 32144723 fired transitions, 905 secs ||
lola: 33 tries, 32321243 fired transitions, 910 secs ||
lola: 33 tries, 32497931 fired transitions, 915 secs ||
lola: 33 tries, 32675909 fired transitions, 920 secs ||
lola: 33 tries, 32856677 fired transitions, 925 secs ||
lola: 34 tries, 33038364 fired transitions, 930 secs ||
lola: 34 tries, 33220017 fired transitions, 935 secs ||
lola: 34 tries, 33401178 fired transitions, 940 secs ||
lola: 34 tries, 33583296 fired transitions, 945 secs ||
lola: 34 tries, 33765450 fired transitions, 950 secs ||
lola: 34 tries, 33946773 fired transitions, 955 secs ||
lola: 35 tries, 34128247 fired transitions, 960 secs ||
lola: 35 tries, 34310467 fired transitions, 965 secs ||
lola: 35 tries, 34492264 fired transitions, 970 secs ||
lola: 35 tries, 34673602 fired transitions, 975 secs ||
lola: 35 tries, 34854871 fired transitions, 980 secs ||
lola: 36 tries, 35036204 fired transitions, 985 secs ||
lola: 36 tries, 35217395 fired transitions, 990 secs ||
lola: 36 tries, 35399138 fired transitions, 995 secs ||
lola: 36 tries, 35580827 fired transitions, 1000 secs ||
lola: 36 tries, 35762423 fired transitions, 1005 secs ||
lola: 36 tries, 35943239 fired transitions, 1010 secs ||
lola: 37 tries, 36123774 fired transitions, 1015 secs ||
lola: 37 tries, 36300093 fired transitions, 1020 secs ||
lola: 37 tries, 36475824 fired transitions, 1025 secs ||
lola: 37 tries, 36651990 fired transitions, 1030 secs ||
lola: 37 tries, 36828477 fired transitions, 1035 secs ||
lola: 38 tries, 37005115 fired transitions, 1040 secs ||
lola: 38 tries, 37181122 fired transitions, 1045 secs ||
lola: 38 tries, 37356556 fired transitions, 1050 secs ||
lola: 38 tries, 37532260 fired transitions, 1055 secs ||
lola: 38 tries, 37709386 fired transitions, 1060 secs ||
lola: 38 tries, 37890334 fired transitions, 1065 secs ||
lola: 39 tries, 38067002 fired transitions, 1070 secs ||
lola: 39 tries, 38243711 fired transitions, 1075 secs ||
lola: 39 tries, 38420429 fired transitions, 1080 secs ||
lola: 39 tries, 38598182 fired transitions, 1085 secs ||
lola: 39 tries, 38779766 fired transitions, 1090 secs ||
lola: 39 tries, 38956505 fired transitions, 1095 secs ||
lola: 40 tries, 39133095 fired transitions, 1100 secs ||
lola: 40 tries, 39309645 fired transitions, 1105 secs ||
lola: 40 tries, 39486393 fired transitions, 1110 secs ||
lola: 40 tries, 39666027 fired transitions, 1115 secs ||
lola: 40 tries, 39848271 fired transitions, 1120 secs ||
lola: 41 tries, 40030297 fired transitions, 1125 secs ||
lola: 41 tries, 40208758 fired transitions, 1130 secs ||
lola: 41 tries, 40385548 fired transitions, 1135 secs ||
lola: 41 tries, 40561306 fired transitions, 1140 secs ||
lola: 41 tries, 40737502 fired transitions, 1145 secs ||
lola: 41 tries, 40914130 fired transitions, 1150 secs ||
lola: 42 tries, 41095817 fired transitions, 1155 secs ||
lola: 42 tries, 41276903 fired transitions, 1160 secs ||
lola: 42 tries, 41457245 fired transitions, 1165 secs ||
lola: 42 tries, 41634374 fired transitions, 1170 secs ||
lola: 42 tries, 41814917 fired transitions, 1175 secs ||
lola: 42 tries, 41996456 fired transitions, 1180 secs ||
lola: 43 tries, 42178461 fired transitions, 1185 secs ||
lola: 43 tries, 42360354 fired transitions, 1190 secs ||
lola: 43 tries, 42542442 fired transitions, 1195 secs ||
lola: 43 tries, 42724362 fired transitions, 1200 secs ||
lola: 43 tries, 42901101 fired transitions, 1205 secs ||
lola: 44 tries, 43082716 fired transitions, 1210 secs ||
lola: 44 tries, 43264579 fired transitions, 1215 secs ||
lola: 44 tries, 43446640 fired transitions, 1220 secs ||
lola: 44 tries, 43628869 fired transitions, 1225 secs ||
lola: 44 tries, 43811713 fired transitions, 1230 secs ||
lola: 44 tries, 43993507 fired transitions, 1235 secs ||
lola: 45 tries, 44170400 fired transitions, 1240 secs ||
lola: 45 tries, 44347223 fired transitions, 1245 secs ||
lola: 45 tries, 44523914 fired transitions, 1250 secs ||
lola: 45 tries, 44703959 fired transitions, 1255 secs ||
lola: 45 tries, 44885722 fired transitions, 1260 secs ||
lola: 46 tries, 45067101 fired transitions, 1265 secs ||
lola: 46 tries, 45248400 fired transitions, 1270 secs ||
lola: 46 tries, 45432585 fired transitions, 1275 secs ||
lola: 46 tries, 45613989 fired transitions, 1280 secs ||
lola: 46 tries, 45796635 fired transitions, 1285 secs ||
lola: 46 tries, 45978714 fired transitions, 1290 secs ||
lola: 47 tries, 46166257 fired transitions, 1295 secs ||
lola: 47 tries, 46352134 fired transitions, 1300 secs ||
lola: 47 tries, 46538794 fired transitions, 1305 secs ||
lola: 47 tries, 46727170 fired transitions, 1310 secs ||
lola: 47 tries, 46910740 fired transitions, 1315 secs ||
lola: 48 tries, 47091749 fired transitions, 1320 secs ||
lola: 48 tries, 47264723 fired transitions, 1325 secs ||
lola: 48 tries, 47443841 fired transitions, 1330 secs ||
lola: 48 tries, 47626502 fired transitions, 1335 secs ||
lola: 48 tries, 47799848 fired transitions, 1340 secs ||
lola: 48 tries, 47972720 fired transitions, 1345 secs ||
lola: 49 tries, 48162843 fired transitions, 1350 secs ||
lola: 49 tries, 48356082 fired transitions, 1355 secs ||
lola: 49 tries, 48548994 fired transitions, 1360 secs ||
lola: 49 tries, 48742293 fired transitions, 1365 secs ||
lola: 49 tries, 48935910 fired transitions, 1370 secs ||
lola: 50 tries, 49129153 fired transitions, 1375 secs ||
lola: 50 tries, 49321924 fired transitions, 1380 secs ||
lola: 50 tries, 49503448 fired transitions, 1385 secs ||
lola: 50 tries, 49686292 fired transitions, 1390 secs ||
lola: 50 tries, 49858543 fired transitions, 1395 secs ||
lola: 51 tries, 50029052 fired transitions, 1400 secs ||
lola: 51 tries, 50202584 fired transitions, 1405 secs ||
lola: 51 tries, 50371589 fired transitions, 1410 secs ||
lola: 51 tries, 50536001 fired transitions, 1415 secs ||
lola: 51 tries, 50700068 fired transitions, 1420 secs ||
lola: 51 tries, 50875070 fired transitions, 1425 secs ||
lola: 52 tries, 51050463 fired transitions, 1430 secs ||
lola: 52 tries, 51221541 fired transitions, 1435 secs ||
lola: 52 tries, 51396426 fired transitions, 1440 secs ||
lola: 52 tries, 51580314 fired transitions, 1445 secs ||
lola: 52 tries, 51765318 fired transitions, 1450 secs ||
lola: 52 tries, 51951471 fired transitions, 1455 secs ||
lola: 53 tries, 52137013 fired transitions, 1460 secs ||
lola: 53 tries, 52322878 fired transitions, 1465 secs ||
lola: 53 tries, 52509112 fired transitions, 1470 secs ||
lola: 53 tries, 52697395 fired transitions, 1475 secs ||
lola: 53 tries, 52883833 fired transitions, 1480 secs ||
lola: 54 tries, 53067953 fired transitions, 1485 secs ||
lola: 54 tries, 53259836 fired transitions, 1490 secs ||
lola: 54 tries, 53451629 fired transitions, 1495 secs ||
lola: 54 tries, 53644328 fired transitions, 1500 secs ||
lola: 54 tries, 53837633 fired transitions, 1505 secs ||
lola: 55 tries, 54030678 fired transitions, 1510 secs ||
lola: 55 tries, 54224154 fired transitions, 1515 secs ||
lola: 55 tries, 54417612 fired transitions, 1520 secs ||
lola: 55 tries, 54610434 fired transitions, 1525 secs ||
lola: 55 tries, 54803190 fired transitions, 1530 secs ||
lola: 55 tries, 54993555 fired transitions, 1535 secs ||
lola: 56 tries, 55180018 fired transitions, 1540 secs ||
lola: 56 tries, 55362877 fired transitions, 1545 secs ||
lola: 56 tries, 55547005 fired transitions, 1550 secs ||
lola: 56 tries, 55729078 fired transitions, 1555 secs ||
lola: 56 tries, 55912546 fired transitions, 1560 secs ||
lola: 57 tries, 56092421 fired transitions, 1565 secs ||
lola: 57 tries, 56271788 fired transitions, 1570 secs ||
lola: 57 tries, 56456726 fired transitions, 1575 secs ||
lola: 57 tries, 56639708 fired transitions, 1580 secs ||
lola: 57 tries, 56818958 fired transitions, 1585 secs ||
lola: 58 tries, 57002082 fired transitions, 1590 secs ||
lola: 58 tries, 57186228 fired transitions, 1595 secs ||
lola: 58 tries, 57368547 fired transitions, 1600 secs ||
lola: 58 tries, 57549045 fired transitions, 1605 secs ||
lola: 58 tries, 57730038 fired transitions, 1610 secs ||
lola: 58 tries, 57915390 fired transitions, 1615 secs ||
lola: 59 tries, 58101793 fired transitions, 1620 secs ||
lola: 59 tries, 58285666 fired transitions, 1625 secs ||
lola: 59 tries, 58470214 fired transitions, 1630 secs ||
lola: 59 tries, 58649350 fired transitions, 1635 secs ||
lola: 59 tries, 58820218 fired transitions, 1640 secs ||
lola: 59 tries, 58990789 fired transitions, 1645 secs ||
lola: 60 tries, 59162345 fired transitions, 1650 secs ||
lola: 60 tries, 59333813 fired transitions, 1655 secs ||
lola: 60 tries, 59504513 fired transitions, 1660 secs ||
lola: 60 tries, 59674424 fired transitions, 1665 secs ||
lola: 60 tries, 59858186 fired transitions, 1670 secs ||
lola: 61 tries, 60037926 fired transitions, 1675 secs ||
lola: 61 tries, 60210723 fired transitions, 1680 secs ||
lola: 61 tries, 60383547 fired transitions, 1685 secs ||
lola: 61 tries, 60558507 fired transitions, 1690 secs ||
lola: 61 tries, 60741522 fired transitions, 1695 secs ||
lola: 61 tries, 60916893 fired transitions, 1700 secs ||
lola: 62 tries, 61090081 fired transitions, 1705 secs ||
lola: 62 tries, 61263208 fired transitions, 1710 secs ||
lola: 62 tries, 61436851 fired transitions, 1715 secs ||
lola: 62 tries, 61610215 fired transitions, 1720 secs ||
lola: 62 tries, 61798249 fired transitions, 1725 secs ||
lola: 62 tries, 61991557 fired transitions, 1730 secs ||
lola: 63 tries, 62177156 fired transitions, 1735 secs ||
lola: 63 tries, 62360771 fired transitions, 1740 secs ||
lola: 63 tries, 62537339 fired transitions, 1745 secs ||
lola: 63 tries, 62716565 fired transitions, 1750 secs ||
lola: 63 tries, 62900595 fired transitions, 1755 secs ||
lola: 64 tries, 63080361 fired transitions, 1760 secs ||
lola: 64 tries, 63259104 fired transitions, 1765 secs ||
lola: 64 tries, 63439332 fired transitions, 1770 secs ||
lola: 64 tries, 63627753 fired transitions, 1775 secs ||
lola: 64 tries, 63816360 fired transitions, 1780 secs ||
lola: 65 tries, 64005073 fired transitions, 1785 secs ||
lola: 65 tries, 64193491 fired transitions, 1790 secs ||
lola: 65 tries, 64381570 fired transitions, 1795 secs ||
lola: 65 tries, 64570084 fired transitions, 1800 secs ||
lola: 65 tries, 64757872 fired transitions, 1805 secs ||
lola: 65 tries, 64938856 fired transitions, 1810 secs ||
lola: 66 tries, 65121152 fired transitions, 1815 secs ||
lola: 66 tries, 65305967 fired transitions, 1820 secs ||
lola: 66 tries, 65493368 fired transitions, 1825 secs ||
lola: 66 tries, 65678900 fired transitions, 1830 secs ||
lola: 66 tries, 65865524 fired transitions, 1835 secs ||
lola: 67 tries, 66051903 fired transitions, 1840 secs ||
lola: 67 tries, 66238614 fired transitions, 1845 secs ||
lola: 67 tries, 66426423 fired transitions, 1850 secs ||
lola: 67 tries, 66613695 fired transitions, 1855 secs ||
lola: 67 tries, 66800883 fired transitions, 1860 secs ||
lola: 67 tries, 66987912 fired transitions, 1865 secs ||
lola: 68 tries, 67172956 fired transitions, 1870 secs ||
lola: 68 tries, 67352317 fired transitions, 1875 secs ||
lola: 68 tries, 67533838 fired transitions, 1880 secs ||
lola: 68 tries, 67718530 fired transitions, 1885 secs ||
lola: 68 tries, 67907212 fired transitions, 1890 secs ||
lola: 69 tries, 68095880 fired transitions, 1895 secs ||
lola: 69 tries, 68284340 fired transitions, 1900 secs ||
lola: 69 tries, 68470979 fired transitions, 1905 secs ||
lola: 69 tries, 68658827 fired transitions, 1910 secs ||
lola: 69 tries, 68846753 fired transitions, 1915 secs ||
lola: 70 tries, 69033198 fired transitions, 1920 secs ||
lola: 70 tries, 69221271 fired transitions, 1925 secs ||
lola: 70 tries, 69409311 fired transitions, 1930 secs ||
lola: 70 tries, 69597714 fired transitions, 1935 secs ||
lola: 70 tries, 69785520 fired transitions, 1940 secs ||
lola: 70 tries, 69973704 fired transitions, 1945 secs ||
lola: 71 tries, 70162132 fired transitions, 1950 secs ||
lola: 71 tries, 70350337 fired transitions, 1955 secs ||
lola: 71 tries, 70538533 fired transitions, 1960 secs ||
lola: 71 tries, 70725889 fired transitions, 1965 secs ||
lola: 71 tries, 70912630 fired transitions, 1970 secs ||
lola: 72 tries, 71099111 fired transitions, 1975 secs ||
lola: 72 tries, 71281367 fired transitions, 1980 secs ||
lola: 72 tries, 71462018 fired transitions, 1985 secs ||
lola: 72 tries, 71642780 fired transitions, 1990 secs ||
lola: 72 tries, 71823854 fired transitions, 1995 secs ||
lola: 72 tries, 71998733 fired transitions, 2000 secs ||
lola: 73 tries, 72176127 fired transitions, 2005 secs ||
lola: 73 tries, 72361467 fired transitions, 2010 secs ||
lola: 73 tries, 72531609 fired transitions, 2015 secs ||
lola: 73 tries, 72701742 fired transitions, 2020 secs ||
lola: 73 tries, 72876174 fired transitions, 2025 secs ||
lola: 74 tries, 73046665 fired transitions, 2030 secs ||
lola: 74 tries, 73217521 fired transitions, 2035 secs ||
lola: 74 tries, 73390150 fired transitions, 2040 secs ||
lola: 74 tries, 73569715 fired transitions, 2045 secs ||
lola: 74 tries, 73756471 fired transitions, 2050 secs ||
lola: 74 tries, 73942807 fired transitions, 2055 secs ||
lola: 75 tries, 74128736 fired transitions, 2060 secs ||
lola: 75 tries, 74313770 fired transitions, 2065 secs ||
lola: 75 tries, 74500439 fired transitions, 2070 secs ||
lola: 75 tries, 74687540 fired transitions, 2075 secs ||
lola: 75 tries, 74875436 fired transitions, 2080 secs ||
lola: 76 tries, 75068628 fired transitions, 2085 secs ||
lola: 76 tries, 75258696 fired transitions, 2090 secs ||
lola: 76 tries, 75453177 fired transitions, 2095 secs ||
lola: 76 tries, 75643566 fired transitions, 2100 secs ||
lola: 76 tries, 75833154 fired transitions, 2105 secs ||
lola: 77 tries, 76017064 fired transitions, 2110 secs ||
lola: 77 tries, 76204762 fired transitions, 2115 secs ||
lola: 77 tries, 76390429 fired transitions, 2120 secs ||
lola: 77 tries, 76572880 fired transitions, 2125 secs ||
lola: 77 tries, 76759120 fired transitions, 2130 secs ||
lola: 77 tries, 76946911 fired transitions, 2135 secs ||
lola: 78 tries, 77123453 fired transitions, 2140 secs ||
lola: 78 tries, 77298155 fired transitions, 2145 secs ||
lola: 78 tries, 77471192 fired transitions, 2150 secs ||
lola: 78 tries, 77645252 fired transitions, 2155 secs ||
lola: 78 tries, 77818319 fired transitions, 2160 secs ||
lola: 78 tries, 77991122 fired transitions, 2165 secs ||
lola: 79 tries, 78164295 fired transitions, 2170 secs ||
lola: 79 tries, 78341838 fired transitions, 2175 secs ||
lola: 79 tries, 78519483 fired transitions, 2180 secs ||
lola: 79 tries, 78693453 fired transitions, 2185 secs ||
lola: 79 tries, 78866328 fired transitions, 2190 secs ||
lola: 80 tries, 79041610 fired transitions, 2195 secs ||
lola: 80 tries, 79226605 fired transitions, 2200 secs ||
lola: 80 tries, 79408219 fired transitions, 2205 secs ||
lola: 80 tries, 79590235 fired transitions, 2210 secs ||
lola: 80 tries, 79766941 fired transitions, 2215 secs ||
lola: 80 tries, 79940020 fired transitions, 2220 secs ||
lola: 81 tries, 80112956 fired transitions, 2225 secs ||
lola: 81 tries, 80286902 fired transitions, 2230 secs ||
lola: 81 tries, 80468117 fired transitions, 2235 secs ||
lola: 81 tries, 80650268 fired transitions, 2240 secs ||
lola: 81 tries, 80832764 fired transitions, 2245 secs ||
lola: 82 tries, 81014118 fired transitions, 2250 secs ||
lola: 82 tries, 81195894 fired transitions, 2255 secs ||
lola: 82 tries, 81377928 fired transitions, 2260 secs ||
lola: 82 tries, 81559812 fired transitions, 2265 secs ||
lola: 82 tries, 81741771 fired transitions, 2270 secs ||
lola: 82 tries, 81923931 fired transitions, 2275 secs ||
lola: 83 tries, 82106221 fired transitions, 2280 secs ||
lola: 83 tries, 82288459 fired transitions, 2285 secs ||
lola: 83 tries, 82470586 fired transitions, 2290 secs ||
lola: 83 tries, 82652680 fired transitions, 2295 secs ||
lola: 83 tries, 82835122 fired transitions, 2300 secs ||
lola: 84 tries, 83016410 fired transitions, 2305 secs ||
lola: 84 tries, 83196917 fired transitions, 2310 secs ||
lola: 84 tries, 83378897 fired transitions, 2315 secs ||
lola: 84 tries, 83560154 fired transitions, 2320 secs ||
lola: 84 tries, 83738813 fired transitions, 2325 secs ||
lola: 84 tries, 83916284 fired transitions, 2330 secs ||
lola: 85 tries, 84097053 fired transitions, 2335 secs ||
lola: 85 tries, 84278001 fired transitions, 2340 secs ||
lola: 85 tries, 84458169 fired transitions, 2345 secs ||
lola: 85 tries, 84639414 fired transitions, 2350 secs ||
lola: 85 tries, 84814125 fired transitions, 2355 secs ||
lola: 85 tries, 84987294 fired transitions, 2360 secs ||
lola: 86 tries, 85160353 fired transitions, 2365 secs ||
lola: 86 tries, 85333441 fired transitions, 2370 secs ||
lola: 86 tries, 85506490 fired transitions, 2375 secs ||
lola: 86 tries, 85679412 fired transitions, 2380 secs ||
lola: 86 tries, 85852720 fired transitions, 2385 secs ||
lola: 87 tries, 86025362 fired transitions, 2390 secs ||
lola: 87 tries, 86198663 fired transitions, 2395 secs ||
lola: 87 tries, 86371940 fired transitions, 2400 secs ||
lola: 87 tries, 86548226 fired transitions, 2405 secs ||
lola: 87 tries, 86725421 fired transitions, 2410 secs ||
lola: 87 tries, 86902484 fired transitions, 2415 secs ||
lola: 88 tries, 87080619 fired transitions, 2420 secs ||
lola: 88 tries, 87257427 fired transitions, 2425 secs ||
lola: 88 tries, 87434256 fired transitions, 2430 secs ||
lola: 88 tries, 87609750 fired transitions, 2435 secs ||
lola: 88 tries, 87787911 fired transitions, 2440 secs ||
lola: 88 tries, 87964677 fired transitions, 2445 secs ||
lola: 89 tries, 88141579 fired transitions, 2450 secs ||
lola: 89 tries, 88319677 fired transitions, 2455 secs ||
lola: 89 tries, 88500259 fired transitions, 2460 secs ||
lola: 89 tries, 88677376 fired transitions, 2465 secs ||
lola: 89 tries, 88856572 fired transitions, 2470 secs ||
lola: 90 tries, 89033342 fired transitions, 2475 secs ||
lola: 90 tries, 89209262 fired transitions, 2480 secs ||
lola: 90 tries, 89389649 fired transitions, 2485 secs ||
lola: 90 tries, 89571074 fired transitions, 2490 secs ||
lola: 90 tries, 89752277 fired transitions, 2495 secs ||
lola: 90 tries, 89929289 fired transitions, 2500 secs ||
lola: 91 tries, 90107853 fired transitions, 2505 secs ||
lola: 91 tries, 90284766 fired transitions, 2510 secs ||
lola: 91 tries, 90461439 fired transitions, 2515 secs ||
lola: 91 tries, 90637662 fired transitions, 2520 secs ||
lola: 91 tries, 90814443 fired transitions, 2525 secs ||
lola: 91 tries, 90991107 fired transitions, 2530 secs ||
lola: 92 tries, 91167433 fired transitions, 2535 secs ||
lola: 92 tries, 91344556 fired transitions, 2540 secs ||
lola: 92 tries, 91521013 fired transitions, 2545 secs ||
lola: 92 tries, 91699768 fired transitions, 2550 secs ||
lola: 92 tries, 91875382 fired transitions, 2555 secs ||
lola: 93 tries, 92052512 fired transitions, 2560 secs ||
lola: 93 tries, 92229770 fired transitions, 2565 secs ||
lola: 93 tries, 92406836 fired transitions, 2570 secs ||
lola: 93 tries, 92583332 fired transitions, 2575 secs ||
lola: 93 tries, 92760359 fired transitions, 2580 secs ||
lola: 93 tries, 92940449 fired transitions, 2585 secs ||
lola: 94 tries, 93107991 fired transitions, 2590 secs ||
lola: 94 tries, 93279579 fired transitions, 2595 secs ||
lola: 94 tries, 93447261 fired transitions, 2600 secs ||
lola: 94 tries, 93629994 fired transitions, 2605 secs ||
lola: 94 tries, 93817737 fired transitions, 2610 secs ||
lola: 95 tries, 94005025 fired transitions, 2615 secs ||
lola: 95 tries, 94192534 fired transitions, 2620 secs ||
lola: 95 tries, 94380361 fired transitions, 2625 secs ||
lola: 95 tries, 94568668 fired transitions, 2630 secs ||
lola: 95 tries, 94746517 fired transitions, 2635 secs ||
lola: 95 tries, 94923502 fired transitions, 2640 secs ||
lola: 96 tries, 95099480 fired transitions, 2645 secs ||
lola: 96 tries, 95276510 fired transitions, 2650 secs ||
lola: 96 tries, 95453231 fired transitions, 2655 secs ||
lola: 96 tries, 95630156 fired transitions, 2660 secs ||
lola: 96 tries, 95804438 fired transitions, 2665 secs ||
lola: 96 tries, 95978618 fired transitions, 2670 secs ||
lola: 97 tries, 96151851 fired transitions, 2675 secs ||
lola: 97 tries, 96325092 fired transitions, 2680 secs ||
lola: 97 tries, 96498252 fired transitions, 2685 secs ||
lola: 97 tries, 96684999 fired transitions, 2690 secs ||
lola: 97 tries, 96868572 fired transitions, 2695 secs ||
lola: 98 tries, 97051255 fired transitions, 2700 secs ||
lola: 98 tries, 97239940 fired transitions, 2705 secs ||
lola: 98 tries, 97427917 fired transitions, 2710 secs ||
lola: 98 tries, 97615963 fired transitions, 2715 secs ||
lola: 98 tries, 97804312 fired transitions, 2720 secs ||
lola: 98 tries, 97992208 fired transitions, 2725 secs ||
lola: 99 tries, 98180414 fired transitions, 2730 secs ||
lola: 99 tries, 98367398 fired transitions, 2735 secs ||
lola: 99 tries, 98555666 fired transitions, 2740 secs ||
lola: 99 tries, 98743946 fired transitions, 2745 secs ||
lola: 99 tries, 98932109 fired transitions, 2750 secs ||
lola: 100 tries, 99119613 fired transitions, 2755 secs ||
lola: 100 tries, 99307227 fired transitions, 2760 secs ||
lola: 100 tries, 99495000 fired transitions, 2765 secs ||
lola: 100 tries, 99682643 fired transitions, 2770 secs ||
lola: 100 tries, 99869208 fired transitions, 2775 secs ||
lola: 101 tries, 100056289 fired transitions, 2780 secs ||
lola: 101 tries, 100243558 fired transitions, 2785 secs ||
lola: 101 tries, 100427533 fired transitions, 2790 secs ||
lola: 101 tries, 100608709 fired transitions, 2795 secs ||
lola: 101 tries, 100785493 fired transitions, 2800 secs ||
lola: 101 tries, 100969075 fired transitions, 2805 secs ||
lola: 102 tries, 101151392 fired transitions, 2810 secs ||
lola: 102 tries, 101333279 fired transitions, 2815 secs ||
lola: 102 tries, 101515667 fired transitions, 2820 secs ||
lola: 102 tries, 101697779 fired transitions, 2825 secs ||
lola: 102 tries, 101880785 fired transitions, 2830 secs ||
lola: 103 tries, 102066153 fired transitions, 2835 secs ||
lola: 103 tries, 102250707 fired transitions, 2840 secs ||
lola: 103 tries, 102431268 fired transitions, 2845 secs ||
lola: 103 tries, 102604434 fired transitions, 2850 secs ||
lola: 103 tries, 102777567 fired transitions, 2855 secs ||
lola: 103 tries, 102955515 fired transitions, 2860 secs ||
lola: 104 tries, 103137676 fired transitions, 2865 secs ||
lola: 104 tries, 103320199 fired transitions, 2870 secs ||
lola: 104 tries, 103502767 fired transitions, 2875 secs ||
lola: 104 tries, 103685056 fired transitions, 2880 secs ||
lola: 104 tries, 103859029 fired transitions, 2885 secs ||
lola: 105 tries, 104033570 fired transitions, 2890 secs ||
lola: 105 tries, 104207291 fired transitions, 2895 secs ||
lola: 105 tries, 104384735 fired transitions, 2900 secs ||
lola: 105 tries, 104562632 fired transitions, 2905 secs ||
lola: 105 tries, 104737055 fired transitions, 2910 secs ||
lola: 105 tries, 104910599 fired transitions, 2915 secs ||
lola: 106 tries, 105085416 fired transitions, 2920 secs ||
lola: 106 tries, 105258330 fired transitions, 2925 secs ||
lola: 106 tries, 105432120 fired transitions, 2930 secs ||
lola: 106 tries, 105606765 fired transitions, 2935 secs ||
lola: 106 tries, 105783132 fired transitions, 2940 secs ||
lola: 106 tries, 105959253 fired transitions, 2945 secs ||
lola: 107 tries, 106136473 fired transitions, 2950 secs ||
lola: 107 tries, 106313983 fired transitions, 2955 secs ||
lola: 107 tries, 106489819 fired transitions, 2960 secs ||
lola: 107 tries, 106663012 fired transitions, 2965 secs ||
lola: 107 tries, 106844119 fired transitions, 2970 secs ||
lola: 108 tries, 107026604 fired transitions, 2975 secs ||
lola: 108 tries, 107209043 fired transitions, 2980 secs ||
lola: 108 tries, 107391527 fired transitions, 2985 secs ||
lola: 108 tries, 107573831 fired transitions, 2990 secs ||
lola: 108 tries, 107756708 fired transitions, 2995 secs ||
lola: 108 tries, 107935523 fired transitions, 3000 secs ||
lola: 109 tries, 108108423 fired transitions, 3005 secs ||
lola: 109 tries, 108282906 fired transitions, 3010 secs ||
lola: 109 tries, 108465534 fired transitions, 3015 secs ||
lola: 109 tries, 108649098 fired transitions, 3020 secs ||
lola: 109 tries, 108826512 fired transitions, 3025 secs ||
lola: 109 tries, 108999558 fired transitions, 3030 secs ||
lola: 110 tries, 109172848 fired transitions, 3035 secs ||
lola: 110 tries, 109349866 fired transitions, 3040 secs ||
lola: 110 tries, 109523083 fired transitions, 3045 secs ||
lola: 110 tries, 109695616 fired transitions, 3050 secs ||
lola: 110 tries, 109869697 fired transitions, 3055 secs ||
lola: 111 tries, 110049995 fired transitions, 3060 secs ||
lola: 111 tries, 110223041 fired transitions, 3065 secs ||
lola: 111 tries, 110395730 fired transitions, 3070 secs ||
lola: 111 tries, 110568857 fired transitions, 3075 secs ||
lola: 111 tries, 110741573 fired transitions, 3080 secs ||
lola: 111 tries, 110921789 fired transitions, 3085 secs ||
lola: 112 tries, 111095700 fired transitions, 3090 secs ||
lola: 112 tries, 111265386 fired transitions, 3095 secs ||
lola: 112 tries, 111436803 fired transitions, 3100 secs ||
lola: 112 tries, 111605337 fired transitions, 3105 secs ||
lola: 112 tries, 111775803 fired transitions, 3110 secs ||
lola: 112 tries, 111948570 fired transitions, 3115 secs ||
lola: 113 tries, 112124869 fired transitions, 3120 secs ||
lola: 113 tries, 112297801 fired transitions, 3125 secs ||
lola: 113 tries, 112476814 fired transitions, 3130 secs ||
lola: 113 tries, 112655254 fired transitions, 3135 secs ||
lola: 113 tries, 112833523 fired transitions, 3140 secs ||
lola: 114 tries, 113011967 fired transitions, 3145 secs ||
lola: 114 tries, 113188184 fired transitions, 3150 secs ||
lola: 114 tries, 113366969 fired transitions, 3155 secs ||
lola: 114 tries, 113544287 fired transitions, 3160 secs ||
lola: 114 tries, 113722382 fired transitions, 3165 secs ||
lola: 114 tries, 113902253 fired transitions, 3170 secs ||
lola: 115 tries, 114081438 fired transitions, 3175 secs ||
lola: 115 tries, 114260343 fired transitions, 3180 secs ||
lola: 115 tries, 114442962 fired transitions, 3185 secs ||
lola: 115 tries, 114625668 fired transitions, 3190 secs ||
lola: 115 tries, 114808956 fired transitions, 3195 secs ||
lola: 115 tries, 114992364 fired transitions, 3200 secs ||
lola: 116 tries, 115175830 fired transitions, 3205 secs ||
lola: 116 tries, 115358572 fired transitions, 3210 secs ||
lola: 116 tries, 115541719 fired transitions, 3215 secs ||
lola: 116 tries, 115724464 fired transitions, 3220 secs ||
lola: 116 tries, 115906795 fired transitions, 3225 secs ||
lola: 117 tries, 116091002 fired transitions, 3230 secs ||
lola: 117 tries, 116274743 fired transitions, 3235 secs ||
lola: 117 tries, 116454779 fired transitions, 3240 secs ||
lola: 117 tries, 116633630 fired transitions, 3245 secs ||
lola: 117 tries, 116809292 fired transitions, 3250 secs ||
lola: 117 tries, 116984681 fired transitions, 3255 secs ||
lola: 118 tries, 117152805 fired transitions, 3260 secs ||
lola: 118 tries, 117320619 fired transitions, 3265 secs ||
lola: 118 tries, 117487623 fired transitions, 3270 secs ||
lola: 118 tries, 117655419 fired transitions, 3275 secs ||
lola: 118 tries, 117822942 fired transitions, 3280 secs ||
lola: 118 tries, 117994692 fired transitions, 3285 secs ||
lola: 119 tries, 118171657 fired transitions, 3290 secs ||
lola: 119 tries, 118346134 fired transitions, 3295 secs ||
lola: 119 tries, 118519759 fired transitions, 3300 secs ||
lola: 119 tries, 118699693 fired transitions, 3305 secs ||
lola: 119 tries, 118881625 fired transitions, 3310 secs ||
lola: 120 tries, 119063807 fired transitions, 3315 secs ||
lola: 120 tries, 119244983 fired transitions, 3320 secs ||
lola: 120 tries, 119417945 fired transitions, 3325 secs ||
lola: 120 tries, 119590802 fired transitions, 3330 secs ||
lola: 120 tries, 119763911 fired transitions, 3335 secs ||
lola: 120 tries, 119938178 fired transitions, 3340 secs ||
lola: 121 tries, 120113484 fired transitions, 3345 secs ||
lola: 121 tries, 120288762 fired transitions, 3350 secs ||
lola: 121 tries, 120463869 fired transitions, 3355 secs ||
lola: 121 tries, 120640527 fired transitions, 3360 secs ||
lola: 121 tries, 120816048 fired transitions, 3365 secs ||
lola: 121 tries, 120992730 fired transitions, 3370 secs ||
lola: 122 tries, 121169446 fired transitions, 3375 secs ||
lola: 122 tries, 121346248 fired transitions, 3380 secs ||
lola: 122 tries, 121522576 fired transitions, 3385 secs ||
lola: 122 tries, 121704940 fired transitions, 3390 secs ||
lola: 122 tries, 121886743 fired transitions, 3395 secs ||
lola: 123 tries, 122069075 fired transitions, 3400 secs ||
lola: 123 tries, 122250404 fired transitions, 3405 secs ||
lola: 123 tries, 122432081 fired transitions, 3410 secs ||
lola: 123 tries, 122613914 fired transitions, 3415 secs ||
lola: 123 tries, 122795795 fired transitions, 3420 secs ||
lola: 123 tries, 122973146 fired transitions, 3425 secs ||
lola: 124 tries, 123153438 fired transitions, 3430 secs ||
lola: 124 tries, 123336366 fired transitions, 3435 secs ||
lola: 124 tries, 123518673 fired transitions, 3440 secs ||
lola: 124 tries, 123701397 fired transitions, 3445 secs ||
lola: 124 tries, 123884058 fired transitions, 3450 secs ||
lola: 125 tries, 124066333 fired transitions, 3455 secs ||
lola: 125 tries, 124247803 fired transitions, 3460 secs ||
lola: 125 tries, 124429795 fired transitions, 3465 secs ||
lola: 125 tries, 124611982 fired transitions, 3470 secs ||
lola: 125 tries, 124788877 fired transitions, 3475 secs ||
lola: 125 tries, 124970019 fired transitions, 3480 secs ||
lola: 126 tries, 125150882 fired transitions, 3485 secs ||
lola: 126 tries, 125329322 fired transitions, 3490 secs ||
lola: 126 tries, 125510807 fired transitions, 3495 secs ||
lola: 126 tries, 125691980 fired transitions, 3500 secs ||
lola: 126 tries, 125873525 fired transitions, 3505 secs ||
lola: 127 tries, 126055806 fired transitions, 3510 secs ||
lola: 127 tries, 126240102 fired transitions, 3515 secs ||
lola: 127 tries, 126429546 fired transitions, 3520 secs ||
lola: 127 tries, 126618996 fired transitions, 3525 secs ||
lola: 127 tries, 126806355 fired transitions, 3530 secs ||
lola: 127 tries, 126995313 fired transitions, 3535 secs ||
lola: 128 tries, 127183411 fired transitions, 3540 secs ||
lola: 128 tries, 127372069 fired transitions, 3545 secs ||
lola: 128 tries, 127562245 fired transitions, 3550 secs ||
lola: 128 tries, 127750906 fired transitions, 3555 secs ||
lola: 128 tries, 127938739 fired transitions, 3560 secs ||
lola: time limit reached - aborting
lola: memory consumption: 430700 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 1552665304002

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-18a"
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 FlexibleBarrier-PT-18a, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r082-csrt-155246549200255"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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