MCC'2019 - Execution of r159-csrt-155286430800255

About the Execution of LoLA for SharedMemory-PT-000020

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
12838.310	2703594.00	5523066.00	232.60	F	normal

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.r159-csrt-155286430800255.qcow2', fmt=qcow2 size=4294967296 backing_file
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is SharedMemory-PT-000020, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r159-csrt-155286430800255
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 31K Feb 12 15:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 12 15:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 74K Feb 8 18:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 224K Feb 8 18:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-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 28K Feb 5 01:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 5 01:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 37K Feb 4 22:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 108K Feb 4 22:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 56K Feb 4 17:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 156K Feb 4 17:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 148K Feb 1 14:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 445K Feb 1 14:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 22K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 7 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 648K Mar 10 17:31 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME SharedMemory-PT-000020-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552944674567

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ SharedMemory-PT-000020 @ 3570 seconds

FORMULA SharedMemory-PT-000020-GlobalProperties-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 866
rslt: Output for GlobalProperties @ SharedMemory-PT-000020
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: 1281/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 14752
lola: finding significant places
lola: 461 places, 820 transitions, 420 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 532 generators (20 in search tree, 512 by composition)
lola: representing 2.4329E+18 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 482218 fired transitions, 0 secs || 230284 markings, 475748 edges,
lola: 1 tries, 969722 fired transitions, 5 secs || 456465 markings, 944088 edges,
lola: 2 tries, 1457980 fired transitions, 10 secs || 674471 markings, 1393552 edges,
lola: 2 tries, 1960728 fired transitions, 15 secs || 904267 markings, 1867800 edges,
lola: 3 tries, 2234218 fired transitions, 20 secs || 1144636 markings, 2362722 edges,
lola: 3 tries, 2487966 fired transitions, 25 secs || 1381013 markings, 2849894 edges,
lola: 3 tries, 2737554 fired transitions, 30 secs || 1607558 markings, 3316969 edges,
lola: 3 tries, 2976792 fired transitions, 35 secs || 1827491 markings, 3769803 edges,
lola: 4 tries, 3442188 fired transitions, 40 secs || 2046008 markings, 4219162 edges,
lola: 4 tries, 3930654 fired transitions, 45 secs || 2263995 markings, 4669807 edges,
lola: 5 tries, 4205458 fired transitions, 50 secs || 2484572 markings, 5125667 edges,
lola: 5 tries, 4449886 fired transitions, 55 secs || 2715339 markings, 5604357 edges,
lola: 5 tries, 4691344 fired transitions, 60 secs || 2938465 markings, 6065151 edges,
lola: 5 tries, 4932062 fired transitions, 65 secs || 3164199 markings, 6529656 edges,
lola: 6 tries, 5179798 fired transitions, 70 secs || 3391812 markings, 6999833 edges,
lola: 6 tries, 5419618 fired transitions, 75 secs || 3608447 markings, 7444333 edges,
lola: 6 tries, 5659334 fired transitions, 80 secs || 3826066 markings, 7894479 edges,
lola: 6 tries, 5899106 fired transitions, 85 secs || 4047400 markings, 8350312 edges,
lola: 7 tries, 6296158 fired transitions, 90 secs || 4272112 markings, 8812308 edges,
lola: 7 tries, 6816746 fired transitions, 95 secs || 4499737 markings, 9281646 edges,
lola: 8 tries, 7308606 fired transitions, 100 secs || 4716760 markings, 9728513 edges,
lola: 8 tries, 7797728 fired transitions, 105 secs || 4926820 markings, 10163102 edges,
lola: 9 tries, 8140324 fired transitions, 110 secs || 5144444 markings, 10612592 edges,
lola: 9 tries, 8384892 fired transitions, 115 secs || 5373409 markings, 11084746 edges,
lola: 9 tries, 8639248 fired transitions, 120 secs || 5603301 markings, 11558128 edges,
lola: 9 tries, 8893742 fired transitions, 125 secs || 5838038 markings, 12043145 edges,
lola: 10 tries, 9147446 fired transitions, 130 secs || 6069009 markings, 12520697 edges,
lola: 10 tries, 9400728 fired transitions, 135 secs || 6302566 markings, 13002359 edges,
lola: 10 tries, 9653443 fired transitions, 140 secs || 6535418 markings, 13480941 edges,
lola: 10 tries, 9907186 fired transitions, 145 secs || 6770836 markings, 13964640 edges,
lola: 11 tries, 10321272 fired transitions, 150 secs || 6999360 markings, 14434970 edges,
lola: 11 tries, 10834212 fired transitions, 155 secs || 7229257 markings, 14911030 edges,
lola: 12 tries, 11350699 fired transitions, 160 secs || 7455185 markings, 15376731 edges,
lola: 12 tries, 11866188 fired transitions, 165 secs || 7682277 markings, 15842281 edges,
lola: 13 tries, 12185456 fired transitions, 170 secs || 7912063 markings, 16316438 edges,
lola: 13 tries, 12439044 fired transitions, 175 secs || 8144245 markings, 16796064 edges,
lola: 13 tries, 12692254 fired transitions, 180 secs || 8377020 markings, 17275210 edges,
lola: 13 tries, 12946570 fired transitions, 185 secs || 8615267 markings, 17764861 edges,
lola: 14 tries, 13405200 fired transitions, 190 secs || 8842897 markings, 18232043 edges,
lola: 14 tries, 13900950 fired transitions, 195 secs || 9064950 markings, 18690910 edges,
lola: 15 tries, 14192522 fired transitions, 200 secs || 9285837 markings, 19148437 edges,
lola: 15 tries, 14432326 fired transitions, 205 secs || 9502253 markings, 19595555 edges,
lola: 15 tries, 14676532 fired transitions, 210 secs || 9712356 markings, 20030123 edges,
lola: 15 tries, 14917204 fired transitions, 215 secs || 9938213 markings, 20496270 edges,
lola: 16 tries, 15167458 fired transitions, 220 secs || 10172925 markings, 20980821 edges,
lola: 16 tries, 15425836 fired transitions, 225 secs || 10414949 markings, 21480183 edges,
lola: 16 tries, 15687758 fired transitions, 230 secs || 10656051 markings, 21979640 edges,
lola: 16 tries, 15948898 fired transitions, 235 secs || 10891272 markings, 22464885 edges,
lola: 17 tries, 16209404 fired transitions, 240 secs || 11130105 markings, 22957059 edges,
lola: 17 tries, 16469406 fired transitions, 245 secs || 11365763 markings, 23444339 edges,
lola: 17 tries, 16731034 fired transitions, 250 secs || 11604363 markings, 23936609 edges,
lola: 17 tries, 16976708 fired transitions, 255 secs || 11823679 markings, 24390809 edges,
lola: 18 tries, 17219944 fired transitions, 260 secs || 12048691 markings, 24856270 edges,
lola: 18 tries, 17460044 fired transitions, 265 secs || 12266093 markings, 25305802 edges,
lola: 18 tries, 17719706 fired transitions, 270 secs || 12505700 markings, 25799578 edges,
lola: 18 tries, 17980328 fired transitions, 275 secs || 12752649 markings, 26308074 edges,
lola: 19 tries, 18487360 fired transitions, 280 secs || 12984257 markings, 26787382 edges,
lola: 20 tries, 19017222 fired transitions, 285 secs || 13218441 markings, 27271176 edges,
lola: 20 tries, 19552414 fired transitions, 290 secs || 13456306 markings, 27762719 edges,
lola: 21 tries, 20039822 fired transitions, 295 secs || 13693200 markings, 28252291 edges,
lola: 21 tries, 20298966 fired transitions, 300 secs || 13932775 markings, 28746534 edges,
lola: 21 tries, 20560328 fired transitions, 305 secs || 14173430 markings, 29242829 edges,
lola: 21 tries, 20822020 fired transitions, 310 secs || 14410070 markings, 29730768 edges,
lola: 22 tries, 21170070 fired transitions, 315 secs || 14648530 markings, 30222174 edges,
lola: 22 tries, 21703650 fired transitions, 320 secs || 14890844 markings, 30721817 edges,
lola: 23 tries, 22235708 fired transitions, 325 secs || 15128117 markings, 31211595 edges,
lola: 23 tries, 22767662 fired transitions, 330 secs || 15360784 markings, 31692610 edges,
lola: 24 tries, 23297773 fired transitions, 335 secs || 15595734 markings, 32176264 edges,
lola: 24 tries, 23826226 fired transitions, 340 secs || 15832992 markings, 32664938 edges,
lola: 25 tries, 24364224 fired transitions, 345 secs || 16070021 markings, 33153513 edges,
lola: 25 tries, 24901568 fired transitions, 350 secs || 16304727 markings, 33637841 edges,
lola: 26 tries, 25213392 fired transitions, 355 secs || 16547103 markings, 34137721 edges,
lola: 26 tries, 25473044 fired transitions, 360 secs || 16784748 markings, 34626128 edges,
lola: 26 tries, 25733290 fired transitions, 365 secs || 17022572 markings, 35117083 edges,
lola: 26 tries, 25995206 fired transitions, 370 secs || 17263212 markings, 35613652 edges,
lola: 27 tries, 26524434 fired transitions, 375 secs || 17508000 markings, 36119013 edges,
lola: 28 tries, 27059718 fired transitions, 380 secs || 17744927 markings, 36607259 edges,
lola: 28 tries, 27596952 fired transitions, 385 secs || 17986664 markings, 37105032 edges,
lola: 29 tries, 28134330 fired transitions, 390 secs || 18226798 markings, 37599570 edges,
lola: 29 tries, 28665338 fired transitions, 395 secs || 18456971 markings, 38075316 edges,
lola: 30 tries, 29198340 fired transitions, 400 secs || 18695813 markings, 38566765 edges,
lola: 30 tries, 29735352 fired transitions, 405 secs || 18932668 markings, 39054047 edges,
lola: 31 tries, 30131958 fired transitions, 410 secs || 19168572 markings, 39539232 edges,
lola: 31 tries, 30392282 fired transitions, 415 secs || 19406704 markings, 40030259 edges,
lola: 31 tries, 30654184 fired transitions, 420 secs || 19640066 markings, 40511006 edges,
lola: 31 tries, 30914014 fired transitions, 425 secs || 19877610 markings, 41001455 edges,
lola: 32 tries, 31357268 fired transitions, 430 secs || 20113538 markings, 41487847 edges,
lola: 32 tries, 31893730 fired transitions, 435 secs || 20348346 markings, 41972113 edges,
lola: 33 tries, 32211484 fired transitions, 440 secs || 20592237 markings, 42475708 edges,
lola: 33 tries, 32473708 fired transitions, 445 secs || 20837436 markings, 42981913 edges,
lola: 33 tries, 32736668 fired transitions, 450 secs || 21071423 markings, 43465880 edges,
lola: 33 tries, 32999692 fired transitions, 455 secs || 21309342 markings, 43957374 edges,
lola: 34 tries, 33524842 fired transitions, 460 secs || 21539526 markings, 44432384 edges,
lola: 35 tries, 34059764 fired transitions, 465 secs || 21775910 markings, 44919805 edges,
lola: 35 tries, 34595671 fired transitions, 470 secs || 22011900 markings, 45405782 edges,
lola: 36 tries, 35063928 fired transitions, 475 secs || 22245316 markings, 45888428 edges,
lola: 36 tries, 35325344 fired transitions, 480 secs || 22482762 markings, 46377796 edges,
lola: 36 tries, 35588260 fired transitions, 485 secs || 22722819 markings, 46873625 edges,
lola: 36 tries, 35850758 fired transitions, 490 secs || 22955896 markings, 47355447 edges,
lola: 37 tries, 36192142 fired transitions, 495 secs || 23164403 markings, 47785723 edges,
lola: 37 tries, 36682906 fired transitions, 500 secs || 23385129 markings, 48240871 edges,
lola: 38 tries, 37084828 fired transitions, 505 secs || 23601885 markings, 48687387 edges,
lola: 38 tries, 37328932 fired transitions, 510 secs || 23825803 markings, 49148497 edges,
lola: 38 tries, 37583660 fired transitions, 515 secs || 24061610 markings, 49633687 edges,
lola: 38 tries, 37838130 fired transitions, 520 secs || 24296256 markings, 50118187 edges,
lola: 39 tries, 38092824 fired transitions, 525 secs || 24527470 markings, 50594992 edges,
lola: 39 tries, 38346596 fired transitions, 530 secs || 24760508 markings, 51075899 edges,
lola: 39 tries, 38608414 fired transitions, 535 secs || 24999897 markings, 51569047 edges,
lola: 39 tries, 38869164 fired transitions, 540 secs || 25237030 markings, 52057838 edges,
lola: 40 tries, 39132244 fired transitions, 545 secs || 25480468 markings, 52559788 edges,
lola: 40 tries, 39394400 fired transitions, 550 secs || 25720309 markings, 53054333 edges,
lola: 40 tries, 39655766 fired transitions, 555 secs || 25953278 markings, 53534359 edges,
lola: 40 tries, 39917244 fired transitions, 560 secs || 26197330 markings, 54040050 edges,
lola: 41 tries, 40367510 fired transitions, 565 secs || 26435706 markings, 54531950 edges,
lola: 41 tries, 40902653 fired transitions, 570 secs || 26667141 markings, 55008757 edges,
lola: 42 tries, 41423972 fired transitions, 575 secs || 26892806 markings, 55474488 edges,
lola: 42 tries, 41945090 fired transitions, 580 secs || 27119633 markings, 55941534 edges,
lola: 43 tries, 42457962 fired transitions, 585 secs || 27346646 markings, 56409778 edges,
lola: 43 tries, 42951068 fired transitions, 590 secs || 27567579 markings, 56866305 edges,
lola: 44 tries, 43441074 fired transitions, 595 secs || 27785534 markings, 57316162 edges,
lola: 44 tries, 43931328 fired transitions, 600 secs || 28003364 markings, 57765687 edges,
lola: 45 tries, 44421172 fired transitions, 605 secs || 28226073 markings, 58225634 edges,
lola: 45 tries, 44911312 fired transitions, 610 secs || 28446091 markings, 58679806 edges,
lola: 46 tries, 45411040 fired transitions, 615 secs || 28666925 markings, 59135641 edges,
lola: 46 tries, 45901778 fired transitions, 620 secs || 28882039 markings, 59580027 edges,
lola: 47 tries, 46396190 fired transitions, 625 secs || 29100028 markings, 60029613 edges,
lola: 47 tries, 46931858 fired transitions, 630 secs || 29336889 markings, 60517896 edges,
lola: 48 tries, 47228736 fired transitions, 635 secs || 29574921 markings, 61008889 edges,
lola: 48 tries, 47490684 fired transitions, 640 secs || 29811283 markings, 61495606 edges,
lola: 48 tries, 47752566 fired transitions, 645 secs || 30055511 markings, 61999140 edges,
lola: 49 tries, 48029355 fired transitions, 650 secs || 30298830 markings, 62500574 edges,
lola: 49 tries, 48508992 fired transitions, 655 secs || 30509395 markings, 62934531 edges,
lola: 50 tries, 49016586 fired transitions, 660 secs || 30730019 markings, 63388996 edges,
lola: 50 tries, 49507102 fired transitions, 665 secs || 30948675 markings, 63840440 edges,
lola: 50 tries, 49997704 fired transitions, 670 secs || 31161688 markings, 64279739 edges,
lola: 51 tries, 50253876 fired transitions, 675 secs || 31393545 markings, 64757734 edges,
lola: 51 tries, 50524434 fired transitions, 680 secs || 31643103 markings, 65271659 edges,
lola: 51 tries, 50795402 fired transitions, 685 secs || 31890328 markings, 65781881 edges,
lola: 52 tries, 51061542 fired transitions, 690 secs || 32138862 markings, 66294620 edges,
lola: 52 tries, 51331874 fired transitions, 695 secs || 32378234 markings, 66787550 edges,
lola: 52 tries, 51599406 fired transitions, 700 secs || 32624721 markings, 67295193 edges,
lola: 52 tries, 51861356 fired transitions, 705 secs || 32861581 markings, 67783274 edges,
lola: 53 tries, 52256004 fired transitions, 710 secs || 33098954 markings, 68272788 edges,
lola: 53 tries, 52790978 fired transitions, 715 secs || 33337488 markings, 68764698 edges,
lola: 54 tries, 53327646 fired transitions, 720 secs || 33574380 markings, 69252923 edges,
lola: 54 tries, 53855438 fired transitions, 725 secs || 33810920 markings, 69739967 edges,
lola: 55 tries, 54376802 fired transitions, 730 secs || 34041107 markings, 70215325 edges,
lola: 55 tries, 54925330 fired transitions, 735 secs || 34283905 markings, 70715666 edges,
lola: 56 tries, 55462258 fired transitions, 740 secs || 34518692 markings, 71199517 edges,
lola: 57 tries, 56006118 fired transitions, 745 secs || 34764908 markings, 71707019 edges,
lola: 57 tries, 56276542 fired transitions, 750 secs || 35015847 markings, 72224443 edges,
lola: 57 tries, 56546418 fired transitions, 755 secs || 35266045 markings, 72742009 edges,
lola: 57 tries, 56810494 fired transitions, 760 secs || 35510519 markings, 73246730 edges,
lola: 58 tries, 57153184 fired transitions, 765 secs || 35749330 markings, 73738172 edges,
lola: 58 tries, 57693650 fired transitions, 770 secs || 35986131 markings, 74224272 edges,
lola: 59 tries, 58232918 fired transitions, 775 secs || 36226037 markings, 74718976 edges,
lola: 59 tries, 58783296 fired transitions, 780 secs || 36471945 markings, 75226770 edges,
lola: 60 tries, 59151406 fired transitions, 785 secs || 36710412 markings, 75720272 edges,
lola: 60 tries, 59386104 fired transitions, 790 secs || 36929733 markings, 76173129 edges,
lola: 60 tries, 59625326 fired transitions, 795 secs || 37150731 markings, 76629598 edges,
lola: 60 tries, 59860932 fired transitions, 800 secs || 37371799 markings, 77086311 edges,
lola: 61 tries, 60093408 fired transitions, 805 secs || 37591471 markings, 77541878 edges,
lola: 61 tries, 60327468 fired transitions, 810 secs || 37817408 markings, 78013345 edges,
lola: 61 tries, 60562368 fired transitions, 815 secs || 38051162 markings, 78503805 edges,
lola: 61 tries, 60806984 fired transitions, 820 secs || 38318135 markings, 79067994 edges,
lola: 62 tries, 61095240 fired transitions, 825 secs || 38582299 markings, 79625759 edges,
lola: 62 tries, 61585652 fired transitions, 830 secs || 38844883 markings, 80179513 edges,
lola: 63 tries, 62043876 fired transitions, 835 secs || 39114452 markings, 80748981 edges,
lola: 63 tries, 62292382 fired transitions, 840 secs || 39386779 markings, 81325079 edges,
lola: 63 tries, 62542844 fired transitions, 845 secs || 39660831 markings, 81904696 edges,
lola: 63 tries, 62796774 fired transitions, 850 secs || 39942359 markings, 82498748 edges,
lola: 64 tries, 63118430 fired transitions, 855 secs || 40228914 markings, 83105769 edges,
lola: 64 tries, 63650262 fired transitions, 860 secs || 40511323 markings, 83702956 edges,
lola: 65 tries, 64184562 fired transitions, 865 secs || 40793222 markings, 84301926 edges,
lola: 65 tries, 64718132 fired transitions, 870 secs || 41076404 markings, 84899511 edges,
lola: 66 tries, 65121584 fired transitions, 875 secs || 41360716 markings, 85501997 edges,
lola: 66 tries, 65381874 fired transitions, 880 secs || 41646775 markings, 86107662 edges,
lola: 66 tries, 65641464 fired transitions, 885 secs || 41932068 markings, 86714084 edges,
lola: 66 tries, 65899548 fired transitions, 890 secs || 42216195 markings, 87316525 edges,
lola: 67 tries, 66161058 fired transitions, 895 secs || 42504636 markings, 87927579 edges,
lola: 67 tries, 66418278 fired transitions, 900 secs || 42788276 markings, 88524304 edges,
lola: 67 tries, 66679874 fired transitions, 905 secs || 43076078 markings, 89131498 edges,
lola: 67 tries, 66936758 fired transitions, 910 secs || 43359402 markings, 89732571 edges,
lola: 68 tries, 67194382 fired transitions, 915 secs || 43648741 markings, 90343200 edges,
lola: 68 tries, 67451994 fired transitions, 920 secs || 43936923 markings, 90952028 edges,
lola: 68 tries, 67709558 fired transitions, 925 secs || 44225458 markings, 91562734 edges,
lola: 68 tries, 67967072 fired transitions, 930 secs || 44512917 markings, 92176398 edges,
lola: 69 tries, 68463104 fired transitions, 935 secs || 44799302 markings, 92786798 edges,
lola: 69 tries, 68994654 fired transitions, 940 secs || 45087018 markings, 93400237 edges,
lola: 70 tries, 69258708 fired transitions, 945 secs || 45379852 markings, 94021984 edges,
lola: 70 tries, 69518330 fired transitions, 950 secs || 45670739 markings, 94642383 edges,
lola: 70 tries, 69779194 fired transitions, 955 secs || 45963304 markings, 95264967 edges,
lola: 71 tries, 70080828 fired transitions, 960 secs || 46254041 markings, 95883539 edges,
lola: 71 tries, 70612990 fired transitions, 965 secs || 46541843 markings, 96493084 edges,
lola: 72 tries, 71118712 fired transitions, 970 secs || 46816766 markings, 97073634 edges,
lola: 72 tries, 71622106 fired transitions, 975 secs || 47090177 markings, 97655746 edges,
lola: 73 tries, 72054992 fired transitions, 980 secs || 47356775 markings, 98221365 edges,
lola: 73 tries, 72296983 fired transitions, 985 secs || 47628263 markings, 98799429 edges,
lola: 73 tries, 72557896 fired transitions, 990 secs || 47919669 markings, 99421181 edges,
lola: 73 tries, 72816598 fired transitions, 995 secs || 48209193 markings, 100036812 edges,
lola: 74 tries, 73155896 fired transitions, 1000 secs || 48499328 markings, 100653405 edges,
lola: 74 tries, 73690318 fired transitions, 1005 secs || 48789497 markings, 101271541 edges,
lola: 75 tries, 74108938 fired transitions, 1010 secs || 49078952 markings, 101887780 edges,
lola: 75 tries, 74370820 fired transitions, 1015 secs || 49372188 markings, 102511612 edges,
lola: 75 tries, 74630776 fired transitions, 1020 secs || 49662833 markings, 103129160 edges,
lola: 75 tries, 74891208 fired transitions, 1025 secs || 49954690 markings, 103751012 edges,
lola: 76 tries, 75152728 fired transitions, 1030 secs || 50248044 markings, 104375061 edges,
lola: 76 tries, 75411790 fired transitions, 1035 secs || 50537528 markings, 104993433 edges,
lola: 76 tries, 75671744 fired transitions, 1040 secs || 50830180 markings, 105617699 edges,
lola: 76 tries, 75924490 fired transitions, 1045 secs || 51114657 markings, 106221657 edges,
lola: 77 tries, 76356926 fired transitions, 1050 secs || 51393887 markings, 106814340 edges,
lola: 77 tries, 76872604 fired transitions, 1055 secs || 51674330 markings, 107409266 edges,
lola: 78 tries, 77395728 fired transitions, 1060 secs || 51957581 markings, 108014253 edges,
lola: 78 tries, 77928850 fired transitions, 1065 secs || 52246292 markings, 108632270 edges,
lola: 79 tries, 78458390 fired transitions, 1070 secs || 52534080 markings, 109247455 edges,
lola: 79 tries, 78986974 fired transitions, 1075 secs || 52820819 markings, 109853983 edges,
lola: 80 tries, 79515698 fired transitions, 1080 secs || 53108907 markings, 110463089 edges,
lola: 81 tries, 80050434 fired transitions, 1085 secs || 53398975 markings, 111081289 edges,
lola: 81 tries, 80583802 fired transitions, 1090 secs || 53687682 markings, 111700285 edges,
lola: 82 tries, 81111150 fired transitions, 1095 secs || 53972532 markings, 112307619 edges,
lola: 82 tries, 81642525 fired transitions, 1100 secs || 54260284 markings, 112921828 edges,
lola: 83 tries, 82086208 fired transitions, 1105 secs || 54551257 markings, 113545787 edges,
lola: 83 tries, 82347342 fired transitions, 1110 secs || 54842235 markings, 114167475 edges,
lola: 83 tries, 82607776 fired transitions, 1115 secs || 55134106 markings, 114792736 edges,
lola: 83 tries, 82867368 fired transitions, 1120 secs || 55424823 markings, 115413359 edges,
lola: 84 tries, 83260376 fired transitions, 1125 secs || 55715495 markings, 116033526 edges,
lola: 84 tries, 83793570 fired transitions, 1130 secs || 56006473 markings, 116651588 edges,
lola: 85 tries, 84159524 fired transitions, 1135 secs || 56297065 markings, 117268608 edges,
lola: 85 tries, 84421158 fired transitions, 1140 secs || 56590967 markings, 117897611 edges,
lola: 85 tries, 84681528 fired transitions, 1145 secs || 56882980 markings, 118525623 edges,
lola: 85 tries, 84941254 fired transitions, 1150 secs || 57172869 markings, 119144686 edges,
lola: 86 tries, 85200892 fired transitions, 1155 secs || 57463587 markings, 119762440 edges,
lola: 86 tries, 85461158 fired transitions, 1160 secs || 57754681 markings, 120382787 edges,
lola: 86 tries, 85721616 fired transitions, 1165 secs || 58046679 markings, 121003585 edges,
lola: 86 tries, 85981908 fired transitions, 1170 secs || 58338820 markings, 121628064 edges,
lola: 87 tries, 86496688 fired transitions, 1175 secs || 58628343 markings, 122248429 edges,
lola: 88 tries, 87014216 fired transitions, 1180 secs || 58915710 markings, 122865216 edges,
lola: 88 tries, 87275948 fired transitions, 1185 secs || 59209447 markings, 123495241 edges,
lola: 88 tries, 87536362 fired transitions, 1190 secs || 59500472 markings, 124121386 edges,
lola: 88 tries, 87797930 fired transitions, 1195 secs || 59793443 markings, 124750546 edges,
lola: 89 tries, 88059434 fired transitions, 1200 secs || 60086789 markings, 125377758 edges,
lola: 89 tries, 88320696 fired transitions, 1205 secs || 60379542 markings, 125998642 edges,
lola: 89 tries, 88583068 fired transitions, 1210 secs || 60674640 markings, 126626972 edges,
lola: 89 tries, 88845930 fired transitions, 1215 secs || 60968168 markings, 127257298 edges,
lola: 90 tries, 89221442 fired transitions, 1220 secs || 61259779 markings, 127884274 edges,
lola: 90 tries, 89757692 fired transitions, 1225 secs || 61551238 markings, 128505074 edges,
lola: 91 tries, 90143444 fired transitions, 1230 secs || 61842350 markings, 129130946 edges,
lola: 91 tries, 90400788 fired transitions, 1235 secs || 62130681 markings, 129747338 edges,
lola: 91 tries, 90656116 fired transitions, 1240 secs || 62416809 markings, 130358310 edges,
lola: 91 tries, 90918216 fired transitions, 1245 secs || 62711054 markings, 130985861 edges,
lola: 92 tries, 91178330 fired transitions, 1250 secs || 63000474 markings, 131606704 edges,
lola: 92 tries, 91439456 fired transitions, 1255 secs || 63292855 markings, 132235763 edges,
lola: 92 tries, 91700612 fired transitions, 1260 secs || 63584111 markings, 132857354 edges,
lola: 92 tries, 91959484 fired transitions, 1265 secs || 63873824 markings, 133480722 edges,
lola: 93 tries, 92219806 fired transitions, 1270 secs || 64165913 markings, 134107329 edges,
lola: 93 tries, 92480076 fired transitions, 1275 secs || 64457577 markings, 134736780 edges,
lola: 93 tries, 92740644 fired transitions, 1280 secs || 64748832 markings, 135368177 edges,
lola: 94 tries, 93003372 fired transitions, 1285 secs || 65039624 markings, 135993040 edges,
lola: 94 tries, 93535550 fired transitions, 1290 secs || 65327569 markings, 136610092 edges,
lola: 95 tries, 94033064 fired transitions, 1295 secs || 65618671 markings, 137232071 edges,
lola: 95 tries, 94293214 fired transitions, 1300 secs || 65909246 markings, 137856997 edges,
lola: 95 tries, 94548908 fired transitions, 1305 secs || 66196471 markings, 138473198 edges,
lola: 95 tries, 94799504 fired transitions, 1310 secs || 66477235 markings, 139077943 edges,
lola: 96 tries, 95057558 fired transitions, 1315 secs || 66765498 markings, 139699867 edges,
lola: 96 tries, 95315292 fired transitions, 1320 secs || 67054977 markings, 140321571 edges,
lola: 96 tries, 95557090 fired transitions, 1325 secs || 67325100 markings, 140901829 edges,
lola: 96 tries, 95800030 fired transitions, 1330 secs || 67596955 markings, 141483265 edges,
lola: 97 tries, 96081366 fired transitions, 1335 secs || 67866505 markings, 142058043 edges,
lola: 97 tries, 96602204 fired transitions, 1340 secs || 68148865 markings, 142659387 edges,
lola: 98 tries, 97133664 fired transitions, 1345 secs || 68437397 markings, 143274880 edges,
lola: 98 tries, 97669024 fired transitions, 1350 secs || 68728471 markings, 143900872 edges,
lola: 99 tries, 98101230 fired transitions, 1355 secs || 69021726 markings, 144526160 edges,
lola: 99 tries, 98360234 fired transitions, 1360 secs || 69311778 markings, 145147385 edges,
lola: 99 tries, 98622406 fired transitions, 1365 secs || 69604017 markings, 145772557 edges,
lola: 99 tries, 98883006 fired transitions, 1370 secs || 69894693 markings, 146395645 edges,
lola: 100 tries, 99291656 fired transitions, 1375 secs || 70183377 markings, 147019145 edges,
lola: 100 tries, 99822046 fired transitions, 1380 secs || 70467445 markings, 147635465 edges,
lola: 101 tries, 100173400 fired transitions, 1385 secs || 70757420 markings, 148262702 edges,
lola: 101 tries, 100434732 fired transitions, 1390 secs || 71049165 markings, 148888296 edges,
lola: 101 tries, 100678172 fired transitions, 1395 secs || 71321818 markings, 149468811 edges,
lola: 101 tries, 100917616 fired transitions, 1400 secs || 71584789 markings, 150032646 edges,
lola: 102 tries, 101157082 fired transitions, 1405 secs || 71848577 markings, 150599630 edges,
lola: 102 tries, 101403330 fired transitions, 1410 secs || 72122170 markings, 151188727 edges,
lola: 102 tries, 101664766 fired transitions, 1415 secs || 72412227 markings, 151813243 edges,
lola: 102 tries, 101924650 fired transitions, 1420 secs || 72701288 markings, 152436752 edges,
lola: 103 tries, 102370754 fired transitions, 1425 secs || 72985052 markings, 153047689 edges,
lola: 103 tries, 102867768 fired transitions, 1430 secs || 73252515 markings, 153621561 edges,
lola: 104 tries, 103387191 fired transitions, 1435 secs || 73531761 markings, 154223868 edges,
lola: 104 tries, 103893586 fired transitions, 1440 secs || 73804545 markings, 154810920 edges,
lola: 105 tries, 104208146 fired transitions, 1445 secs || 74092553 markings, 155430572 edges,
lola: 105 tries, 104452888 fired transitions, 1450 secs || 74365418 markings, 156016416 edges,
lola: 105 tries, 104692520 fired transitions, 1455 secs || 74633442 markings, 156597521 edges,
lola: 105 tries, 104932324 fired transitions, 1460 secs || 74902014 markings, 157175317 edges,
lola: 106 tries, 105177230 fired transitions, 1465 secs || 75175129 markings, 157758211 edges,
lola: 106 tries, 105422166 fired transitions, 1470 secs || 75446628 markings, 158345446 edges,
lola: 106 tries, 105683386 fired transitions, 1475 secs || 75738809 markings, 158976767 edges,
lola: 106 tries, 105944446 fired transitions, 1480 secs || 76027310 markings, 159600130 edges,
lola: 107 tries, 106413932 fired transitions, 1485 secs || 76309094 markings, 160204766 edges,
lola: 107 tries, 106931894 fired transitions, 1490 secs || 76584413 markings, 160800667 edges,
lola: 108 tries, 107452444 fired transitions, 1495 secs || 76865473 markings, 161406099 edges,
lola: 108 tries, 107979984 fired transitions, 1500 secs || 77151814 markings, 162019868 edges,
lola: 109 tries, 108506690 fired transitions, 1505 secs || 77436050 markings, 162631705 edges,
lola: 110 tries, 109039904 fired transitions, 1510 secs || 77723739 markings, 163251717 edges,
lola: 110 tries, 109573506 fired transitions, 1515 secs || 78013014 markings, 163876165 edges,
lola: 111 tries, 110049882 fired transitions, 1520 secs || 78298075 markings, 164492250 edges,
lola: 111 tries, 110309948 fired transitions, 1525 secs || 78589577 markings, 165121489 edges,
lola: 111 tries, 110571020 fired transitions, 1530 secs || 78883130 markings, 165749755 edges,
lola: 111 tries, 110831396 fired transitions, 1535 secs || 79176647 markings, 166374129 edges,
lola: 112 tries, 111085660 fired transitions, 1540 secs || 79461349 markings, 166984105 edges,
lola: 112 tries, 111344730 fired transitions, 1545 secs || 79752014 markings, 167609705 edges,
lola: 112 tries, 111606022 fired transitions, 1550 secs || 80045022 markings, 168244110 edges,
lola: 112 tries, 111865722 fired transitions, 1555 secs || 80335223 markings, 168870732 edges,
lola: 113 tries, 112127546 fired transitions, 1560 secs || 80627896 markings, 169505300 edges,
lola: 113 tries, 112388024 fired transitions, 1565 secs || 80921039 markings, 170132623 edges,
lola: 113 tries, 112650002 fired transitions, 1570 secs || 81213183 markings, 170759850 edges,
lola: 113 tries, 112910006 fired transitions, 1575 secs || 81504384 markings, 171388363 edges,
lola: 114 tries, 113329466 fired transitions, 1580 secs || 81786994 markings, 171997655 edges,
lola: 114 tries, 113833190 fired transitions, 1585 secs || 82061291 markings, 172590543 edges,
lola: 115 tries, 114164588 fired transitions, 1590 secs || 82336397 markings, 173182798 edges,
lola: 115 tries, 114411070 fired transitions, 1595 secs || 82613266 markings, 173778336 edges,
lola: 115 tries, 114657008 fired transitions, 1600 secs || 82888605 markings, 174370302 edges,
lola: 115 tries, 114906834 fired transitions, 1605 secs || 83169760 markings, 174974633 edges,
lola: 116 tries, 115322792 fired transitions, 1610 secs || 83449344 markings, 175581097 edges,
lola: 116 tries, 115834889 fired transitions, 1615 secs || 83727496 markings, 176178344 edges,
lola: 117 tries, 116336556 fired transitions, 1620 secs || 84001111 markings, 176767153 edges,
lola: 117 tries, 116841730 fired transitions, 1625 secs || 84276115 markings, 177361108 edges,
lola: 118 tries, 117344106 fired transitions, 1630 secs || 84550424 markings, 177955971 edges,
lola: 118 tries, 117846996 fired transitions, 1635 secs || 84822942 markings, 178548328 edges,
lola: 119 tries, 118172020 fired transitions, 1640 secs || 85101319 markings, 179147515 edges,
lola: 119 tries, 118418114 fired transitions, 1645 secs || 85378703 markings, 179742437 edges,
lola: 119 tries, 118665602 fired transitions, 1650 secs || 85656831 markings, 180342578 edges,
lola: 119 tries, 118910926 fired transitions, 1655 secs || 85930103 markings, 180939593 edges,
lola: 120 tries, 119155516 fired transitions, 1660 secs || 86203934 markings, 181532967 edges,
lola: 120 tries, 119402236 fired transitions, 1665 secs || 86481055 markings, 182134287 edges,
lola: 120 tries, 119649120 fired transitions, 1670 secs || 86757176 markings, 182733105 edges,
lola: 120 tries, 119895816 fired transitions, 1675 secs || 87033188 markings, 183333284 edges,
lola: 121 tries, 120290552 fired transitions, 1680 secs || 87308728 markings, 183929013 edges,
lola: 121 tries, 120793446 fired transitions, 1685 secs || 87583323 markings, 184518167 edges,
lola: 122 tries, 121144452 fired transitions, 1690 secs || 87858444 markings, 185108100 edges,
lola: 122 tries, 121390086 fired transitions, 1695 secs || 88134846 markings, 185704637 edges,
lola: 122 tries, 121637268 fired transitions, 1700 secs || 88411353 markings, 186305583 edges,
lola: 122 tries, 121885298 fired transitions, 1705 secs || 88687623 markings, 186909507 edges,
lola: 123 tries, 122275808 fired transitions, 1710 secs || 88965909 markings, 187516353 edges,
lola: 123 tries, 122784020 fired transitions, 1715 secs || 89242694 markings, 188114689 edges,
lola: 124 tries, 123286134 fired transitions, 1720 secs || 89516115 markings, 188699404 edges,
lola: 124 tries, 123790146 fired transitions, 1725 secs || 89790730 markings, 189291627 edges,
lola: 125 tries, 124141456 fired transitions, 1730 secs || 90064948 markings, 189883189 edges,
lola: 125 tries, 124386894 fired transitions, 1735 secs || 90340500 markings, 190479786 edges,
lola: 125 tries, 124634340 fired transitions, 1740 secs || 90618232 markings, 191076962 edges,
lola: 125 tries, 124881446 fired transitions, 1745 secs || 90895593 markings, 191671690 edges,
lola: 126 tries, 125125622 fired transitions, 1750 secs || 91169504 markings, 192259933 edges,
lola: 126 tries, 125371578 fired transitions, 1755 secs || 91444714 markings, 192851701 edges,
lola: 126 tries, 125616522 fired transitions, 1760 secs || 91718661 markings, 193441789 edges,
lola: 126 tries, 125862472 fired transitions, 1765 secs || 91994550 markings, 194036504 edges,
lola: 127 tries, 126222660 fired transitions, 1770 secs || 92270296 markings, 194628458 edges,
lola: 127 tries, 126731124 fired transitions, 1775 secs || 92546407 markings, 195228834 edges,
lola: 128 tries, 127249918 fired transitions, 1780 secs || 92829412 markings, 195838092 edges,
lola: 128 tries, 127767379 fired transitions, 1785 secs || 93110113 markings, 196443442 edges,
lola: 129 tries, 128286740 fired transitions, 1790 secs || 93390057 markings, 197057971 edges,
lola: 129 tries, 128806242 fired transitions, 1795 secs || 93672494 markings, 197668185 edges,
lola: 130 tries, 129314722 fired transitions, 1800 secs || 93948000 markings, 198265568 edges,
lola: 130 tries, 129817176 fired transitions, 1805 secs || 94219970 markings, 198854873 edges,
lola: 131 tries, 130323012 fired transitions, 1810 secs || 94495052 markings, 199451014 edges,
lola: 131 tries, 130842196 fired transitions, 1815 secs || 94777226 markings, 200059725 edges,
lola: 132 tries, 131175904 fired transitions, 1820 secs || 95061046 markings, 200674577 edges,
lola: 132 tries, 131430394 fired transitions, 1825 secs || 95346753 markings, 201294956 edges,
lola: 132 tries, 131684700 fired transitions, 1830 secs || 95631390 markings, 201919685 edges,
lola: 132 tries, 131938486 fired transitions, 1835 secs || 95914547 markings, 202540095 edges,
lola: 133 tries, 132392432 fired transitions, 1840 secs || 96196046 markings, 203144434 edges,
lola: 133 tries, 132910158 fired transitions, 1845 secs || 96475159 markings, 203755156 edges,
lola: 134 tries, 133425778 fired transitions, 1850 secs || 96754830 markings, 204367637 edges,
lola: 134 tries, 133939822 fired transitions, 1855 secs || 97033999 markings, 204972746 edges,
lola: 135 tries, 134220114 fired transitions, 1860 secs || 97312036 markings, 205574967 edges,
lola: 135 tries, 134475022 fired transitions, 1865 secs || 97597959 markings, 206190399 edges,
lola: 135 tries, 134729918 fired transitions, 1870 secs || 97883274 markings, 206804777 edges,
lola: 135 tries, 134984806 fired transitions, 1875 secs || 98167142 markings, 207424458 edges,
lola: 136 tries, 135238526 fired transitions, 1880 secs || 98449959 markings, 208041833 edges,
lola: 136 tries, 135492950 fired transitions, 1885 secs || 98733388 markings, 208655293 edges,
lola: 136 tries, 135746080 fired transitions, 1890 secs || 99016718 markings, 209266228 edges,
lola: 137 tries, 136000820 fired transitions, 1895 secs || 99299612 markings, 209882383 edges,
lola: 137 tries, 136254632 fired transitions, 1900 secs || 99581937 markings, 210489593 edges,
lola: 137 tries, 136508720 fired transitions, 1905 secs || 99864844 markings, 211104078 edges,
lola: 137 tries, 136762840 fired transitions, 1910 secs || 100148014 markings, 211716377 edges,
lola: 138 tries, 137017316 fired transitions, 1915 secs || 100430837 markings, 212331584 edges,
lola: 138 tries, 137271524 fired transitions, 1920 secs || 100713381 markings, 212946974 edges,
lola: 138 tries, 137525576 fired transitions, 1925 secs || 100996842 markings, 213558916 edges,
lola: 138 tries, 137779190 fired transitions, 1930 secs || 101279071 markings, 214170585 edges,
lola: 139 tries, 138076252 fired transitions, 1935 secs || 101567884 markings, 214794499 edges,
lola: 139 tries, 138594256 fired transitions, 1940 secs || 101847202 markings, 215401275 edges,
lola: 140 tries, 139112962 fired transitions, 1945 secs || 102125984 markings, 216007874 edges,
lola: 140 tries, 139631912 fired transitions, 1950 secs || 102404593 markings, 216615925 edges,
lola: 141 tries, 140161024 fired transitions, 1955 secs || 102687474 markings, 217235789 edges,
lola: 141 tries, 140693589 fired transitions, 1960 secs || 102975553 markings, 217867678 edges,
lola: 142 tries, 141110550 fired transitions, 1965 secs || 103264413 markings, 218495537 edges,
lola: 142 tries, 141368040 fired transitions, 1970 secs || 103550168 markings, 219119221 edges,
lola: 142 tries, 141621860 fired transitions, 1975 secs || 103831735 markings, 219725447 edges,
lola: 142 tries, 141875496 fired transitions, 1980 secs || 104114345 markings, 220332772 edges,
lola: 143 tries, 142264538 fired transitions, 1985 secs || 104396587 markings, 220946055 edges,
lola: 143 tries, 142792388 fired transitions, 1990 secs || 104679325 markings, 221566507 edges,
lola: 144 tries, 143160446 fired transitions, 1995 secs || 104970182 markings, 222199109 edges,
lola: 144 tries, 143422764 fired transitions, 2000 secs || 105262200 markings, 222832946 edges,
lola: 144 tries, 143685324 fired transitions, 2005 secs || 105554168 markings, 223468672 edges,
lola: 144 tries, 143948312 fired transitions, 2010 secs || 105846889 markings, 224109000 edges,
lola: 145 tries, 144210688 fired transitions, 2015 secs || 106137228 markings, 224748652 edges,
lola: 145 tries, 144472448 fired transitions, 2020 secs || 106427784 markings, 225386103 edges,
lola: 145 tries, 144723512 fired transitions, 2025 secs || 106707531 markings, 225990206 edges,
lola: 145 tries, 144976060 fired transitions, 2030 secs || 106987743 markings, 226603079 edges,
lola: 146 tries, 145467652 fired transitions, 2035 secs || 107265445 markings, 227217164 edges,
lola: 146 tries, 145976762 fired transitions, 2040 secs || 107540987 markings, 227810642 edges,
lola: 147 tries, 146228506 fired transitions, 2045 secs || 107806590 markings, 228392439 edges,
lola: 147 tries, 146468200 fired transitions, 2050 secs || 108074912 markings, 228975100 edges,
lola: 147 tries, 146707604 fired transitions, 2055 secs || 108342195 markings, 229557005 edges,
lola: 147 tries, 146947186 fired transitions, 2060 secs || 108608337 markings, 230141092 edges,
lola: 148 tries, 147188078 fired transitions, 2065 secs || 108875808 markings, 230728847 edges,
lola: 148 tries, 147435742 fired transitions, 2070 secs || 109149567 markings, 231334135 edges,
lola: 148 tries, 147675396 fired transitions, 2075 secs || 109415509 markings, 231911882 edges,
lola: 148 tries, 147915054 fired transitions, 2080 secs || 109681404 markings, 232491781 edges,
lola: 149 tries, 148155362 fired transitions, 2085 secs || 109946697 markings, 233075649 edges,
lola: 149 tries, 148400382 fired transitions, 2090 secs || 110217820 markings, 233669363 edges,
lola: 149 tries, 148650920 fired transitions, 2095 secs || 110495836 markings, 234277390 edges,
lola: 149 tries, 148902382 fired transitions, 2100 secs || 110774466 markings, 234887712 edges,
lola: 150 tries, 149316406 fired transitions, 2105 secs || 111054564 markings, 235504334 edges,
lola: 150 tries, 149830406 fired transitions, 2110 secs || 111332307 markings, 236106705 edges,
lola: 151 tries, 150342154 fired transitions, 2115 secs || 111609256 markings, 236705938 edges,
lola: 151 tries, 150858932 fired transitions, 2120 secs || 111889608 markings, 237316141 edges,
lola: 152 tries, 151376078 fired transitions, 2125 secs || 112167231 markings, 237927174 edges,
lola: 152 tries, 151892926 fired transitions, 2130 secs || 112446825 markings, 238533951 edges,
lola: 153 tries, 152202094 fired transitions, 2135 secs || 112730822 markings, 239151551 edges,
lola: 153 tries, 152463100 fired transitions, 2140 secs || 113021242 markings, 239782775 edges,
lola: 153 tries, 152722581 fired transitions, 2145 secs || 113307599 markings, 240412328 edges,
lola: 153 tries, 152974642 fired transitions, 2150 secs || 113587096 markings, 241023058 edges,
lola: 154 tries, 153227020 fired transitions, 2155 secs || 113868304 markings, 241630465 edges,
lola: 154 tries, 153479972 fired transitions, 2160 secs || 114147958 markings, 242244219 edges,
lola: 154 tries, 153731242 fired transitions, 2165 secs || 114427674 markings, 242851232 edges,
lola: 154 tries, 153983850 fired transitions, 2170 secs || 114708642 markings, 243466535 edges,
lola: 155 tries, 154492122 fired transitions, 2175 secs || 114991232 markings, 244088881 edges,
lola: 156 tries, 155004046 fired transitions, 2180 secs || 115266824 markings, 244699236 edges,
lola: 156 tries, 155256168 fired transitions, 2185 secs || 115545877 markings, 245311565 edges,
lola: 156 tries, 155509198 fired transitions, 2190 secs || 115825093 markings, 245925146 edges,
lola: 156 tries, 155761926 fired transitions, 2195 secs || 116105139 markings, 246541925 edges,
lola: 157 tries, 156014550 fired transitions, 2200 secs || 116382397 markings, 247162033 edges,
lola: 157 tries, 156267192 fired transitions, 2205 secs || 116662064 markings, 247778277 edges,
lola: 157 tries, 156520854 fired transitions, 2210 secs || 116944349 markings, 248399388 edges,
lola: 157 tries, 156774777 fired transitions, 2215 secs || 117227973 markings, 249013769 edges,
lola: 158 tries, 157058634 fired transitions, 2220 secs || 117511290 markings, 249627348 edges,
lola: 158 tries, 157577188 fired transitions, 2225 secs || 117791229 markings, 250237387 edges,
lola: 159 tries, 158096088 fired transitions, 2230 secs || 118070351 markings, 250851378 edges,
lola: 159 tries, 158613000 fired transitions, 2235 secs || 118348685 markings, 251460379 edges,
lola: 160 tries, 159059942 fired transitions, 2240 secs || 118624133 markings, 252066454 edges,
lola: 160 tries, 159313758 fired transitions, 2245 secs || 118905755 markings, 252689664 edges,
lola: 160 tries, 159567012 fired transitions, 2250 secs || 119186682 markings, 253311937 edges,
lola: 160 tries, 159820088 fired transitions, 2255 secs || 119466907 markings, 253924788 edges,
lola: 161 tries, 160150454 fired transitions, 2260 secs || 119746776 markings, 254538198 edges,
lola: 161 tries, 160654888 fired transitions, 2265 secs || 120016626 markings, 255125257 edges,
lola: 162 tries, 161081282 fired transitions, 2270 secs || 120291882 markings, 255724897 edges,
lola: 162 tries, 161334168 fired transitions, 2275 secs || 120571192 markings, 256342029 edges,
lola: 162 tries, 161585404 fired transitions, 2280 secs || 120849913 markings, 256950956 edges,
lola: 162 tries, 161836956 fired transitions, 2285 secs || 121127807 markings, 257564463 edges,
lola: 163 tries, 162089146 fired transitions, 2290 secs || 121408656 markings, 258176024 edges,
lola: 163 tries, 162333934 fired transitions, 2295 secs || 121676731 markings, 258763030 edges,
lola: 163 tries, 162585936 fired transitions, 2300 secs || 121956126 markings, 259376141 edges,
lola: 163 tries, 162839084 fired transitions, 2305 secs || 122235133 markings, 259994968 edges,
lola: 164 tries, 163188560 fired transitions, 2310 secs || 122515982 markings, 260609495 edges,
lola: 164 tries, 163709308 fired transitions, 2315 secs || 122794102 markings, 261225376 edges,
lola: 165 tries, 164117446 fired transitions, 2320 secs || 123080869 markings, 261852845 edges,
lola: 165 tries, 164377986 fired transitions, 2325 secs || 123371120 markings, 262479461 edges,
lola: 165 tries, 164635428 fired transitions, 2330 secs || 123656973 markings, 263101527 edges,
lola: 165 tries, 164887622 fired transitions, 2335 secs || 123935505 markings, 263714423 edges,
lola: 166 tries, 165286740 fired transitions, 2340 secs || 124214885 markings, 264323708 edges,
lola: 166 tries, 165803924 fired transitions, 2345 secs || 124489739 markings, 264939014 edges,
lola: 167 tries, 166156920 fired transitions, 2350 secs || 124767350 markings, 265556670 edges,
lola: 167 tries, 166409592 fired transitions, 2355 secs || 125048172 markings, 266169237 edges,
lola: 167 tries, 166670520 fired transitions, 2360 secs || 125336208 markings, 266805035 edges,
lola: 167 tries, 166929652 fired transitions, 2365 secs || 125620966 markings, 267439805 edges,
lola: 168 tries, 167381708 fired transitions, 2370 secs || 125903489 markings, 268057779 edges,
lola: 168 tries, 167894566 fired transitions, 2375 secs || 126178904 markings, 268667320 edges,
lola: 169 tries, 168410616 fired transitions, 2380 secs || 126456970 markings, 269275845 edges,
lola: 169 tries, 168927284 fired transitions, 2385 secs || 126734474 markings, 269882960 edges,
lola: 170 tries, 169222994 fired transitions, 2390 secs || 127020442 markings, 270509721 edges,
lola: 170 tries, 169483024 fired transitions, 2395 secs || 127305440 markings, 271146019 edges,
lola: 170 tries, 169742628 fired transitions, 2400 secs || 127588803 markings, 271780368 edges,
lola: 171 tries, 170002346 fired transitions, 2405 secs || 127877597 markings, 272415356 edges,
lola: 171 tries, 170255032 fired transitions, 2410 secs || 128155560 markings, 273030824 edges,
lola: 171 tries, 170507914 fired transitions, 2415 secs || 128432184 markings, 273651284 edges,
lola: 171 tries, 170761030 fired transitions, 2420 secs || 128712248 markings, 274264535 edges,
lola: 172 tries, 171019606 fired transitions, 2425 secs || 128998678 markings, 274893574 edges,
lola: 172 tries, 171271936 fired transitions, 2430 secs || 129276013 markings, 275506329 edges,
lola: 172 tries, 171526116 fired transitions, 2435 secs || 129558208 markings, 276128055 edges,
lola: 172 tries, 171781338 fired transitions, 2440 secs || 129836890 markings, 276754100 edges,
lola: 173 tries, 172066514 fired transitions, 2445 secs || 130113545 markings, 277367458 edges,
lola: 173 tries, 172584390 fired transitions, 2450 secs || 130391997 markings, 277978001 edges,
lola: 174 tries, 173113650 fired transitions, 2455 secs || 130676739 markings, 278601893 edges,
lola: 174 tries, 173649150 fired transitions, 2460 secs || 130963330 markings, 279237595 edges,
lola: 175 tries, 174088332 fired transitions, 2465 secs || 131249544 markings, 279865883 edges,
lola: 175 tries, 174348310 fired transitions, 2470 secs || 131537106 markings, 280499964 edges,
lola: 175 tries, 174609002 fired transitions, 2475 secs || 131826722 markings, 281135409 edges,
lola: 175 tries, 174865934 fired transitions, 2480 secs || 132111859 markings, 281763799 edges,
lola: 176 tries, 175126556 fired transitions, 2485 secs || 132398304 markings, 282397100 edges,
lola: 176 tries, 175385550 fired transitions, 2490 secs || 132682111 markings, 283028482 edges,
lola: 176 tries, 175645416 fired transitions, 2495 secs || 132968489 markings, 283658722 edges,
lola: 176 tries, 175904252 fired transitions, 2500 secs || 133254446 markings, 284291504 edges,
lola: 177 tries, 176335974 fired transitions, 2505 secs || 133536051 markings, 284923088 edges,
lola: 177 tries, 176867896 fired transitions, 2510 secs || 133822159 markings, 285552969 edges,
lola: 178 tries, 177196432 fired transitions, 2515 secs || 134108942 markings, 286189776 edges,
lola: 178 tries, 177457186 fired transitions, 2520 secs || 134395174 markings, 286826744 edges,
lola: 178 tries, 177716822 fired transitions, 2525 secs || 134683082 markings, 287453106 edges,
lola: 178 tries, 177976138 fired transitions, 2530 secs || 134969062 markings, 288085853 edges,
lola: 179 tries, 178236818 fired transitions, 2535 secs || 135255502 markings, 288723448 edges,
lola: 179 tries, 178497298 fired transitions, 2540 secs || 135541892 markings, 289362036 edges,
lola: 179 tries, 178758000 fired transitions, 2545 secs || 135825105 markings, 290006334 edges,
lola: 180 tries, 179038180 fired transitions, 2550 secs || 136112426 markings, 290641408 edges,
lola: 180 tries, 179559724 fired transitions, 2555 secs || 136382766 markings, 291248422 edges,
lola: 181 tries, 180062676 fired transitions, 2560 secs || 136652523 markings, 291844816 edges,
lola: 181 tries, 180539688 fired transitions, 2565 secs || 136905816 markings, 292420423 edges,
lola: 182 tries, 181013605 fired transitions, 2570 secs || 137158577 markings, 292991302 edges,
lola: 182 tries, 181505084 fired transitions, 2575 secs || 137421441 markings, 293580104 edges,
lola: 182 tries, 181994678 fired transitions, 2580 secs || 137682843 markings, 294166963 edges,
lola: 183 tries, 182487212 fired transitions, 2585 secs || 137940584 markings, 294759021 edges,
lola: 183 tries, 182976734 fired transitions, 2590 secs || 138202435 markings, 295344858 edges,
lola: 184 tries, 183496950 fired transitions, 2595 secs || 138482424 markings, 295960575 edges,
lola: 185 tries, 184015728 fired transitions, 2600 secs || 138768320 markings, 296591963 edges,
lola: 185 tries, 184276684 fired transitions, 2605 secs || 139057944 markings, 297225429 edges,
lola: 185 tries, 184537070 fired transitions, 2610 secs || 139346934 markings, 297861046 edges,
lola: 185 tries, 184799942 fired transitions, 2615 secs || 139634084 markings, 298503765 edges,
lola: 186 tries, 185066012 fired transitions, 2620 secs || 139923469 markings, 299156943 edges,
lola: 186 tries, 185326258 fired transitions, 2625 secs || 140210802 markings, 299794610 edges,
lola: 186 tries, 185593928 fired transitions, 2630 secs || 140507134 markings, 300446687 edges,
lola: 186 tries, 185859704 fired transitions, 2635 secs || 140798397 markings, 301099106 edges,
lola: 187 tries, 186256764 fired transitions, 2640 secs || 141087056 markings, 301748732 edges,
lola: 187 tries, 186799988 fired transitions, 2645 secs || 141375171 markings, 302394064 edges,
lola: 188 tries, 187167086 fired transitions, 2650 secs || 141660795 markings, 303047422 edges,
lola: 188 tries, 187430934 fired transitions, 2655 secs || 141947907 markings, 303700897 edges,
lola: 188 tries, 187693052 fired transitions, 2660 secs || 142236302 markings, 304347697 edges,
lola: 188 tries, 187954652 fired transitions, 2665 secs || 142523969 markings, 304990653 edges,
lola: 189 tries, 188210900 fired transitions, 2670 secs || 142806420 markings, 305618210 edges,
lola: 189 tries, 188460030 fired transitions, 2675 secs || 143077444 markings, 306233651 edges,
lola: 189 tries, 188706326 fired transitions, 2680 secs || 143338943 markings, 306845234 edges,
lola: 189 tries, 188965364 fired transitions, 2685 secs || 143611054 markings, 307468784 edges,
lola: 190 tries, 189227278 fired transitions, 2690 secs || 143920630 markings, 308157411 edges,
lola: RESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 144181247 markings, 308678654 edges
Segmentation fault
rslt: finished

BK_STOP 1552947378161

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

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 139 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16 SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN UNFOLDING_TO_PT tarjan) jan) 46057 markings/sec, 0 secs 45236 markings/sec, 5 secs 43601 markings/sec, 10 secs 45959 markings/sec, 15 secs 48074 markings/sec, 20 secs 47275 markings/sec, 25 secs 45309 markings/sec, 30 secs 43987 markings/sec, 35 secs 43703 markings/sec, 40 secs 43597 markings/sec, 45 secs 44115 markings/sec, 50 secs 46153 markings/sec, 55 secs 44625 markings/sec, 60 secs 45147 markings/sec, 65 secs 45523 markings/sec, 70 secs 43327 markings/sec, 75 secs 43524 markings/sec, 80 secs 44267 markings/sec, 85 secs 44942 markings/sec, 90 secs 45525 markings/sec, 95 secs 43405 markings/sec, 100 secs 42012 markings/sec, 105 secs 43525 markings/sec, 110 secs 45793 markings/sec, 115 secs 45978 markings/sec, 120 secs 46947 markings/sec, 125 secs 46194 markings/sec, 130 secs 46711 markings/sec, 135 secs 46570 markings/sec, 140 secs 47084 markings/sec, 145 secs 45705 markings/sec, 150 secs 45979 markings/sec, 155 secs 45186 markings/sec, 160 secs 45418 markings/sec, 165 secs 45957 markings/sec, 170 secs 46436 markings/sec, 175 secs 46555 markings/sec, 180 secs 47649 markings/sec, 185 secs 45526 markings/sec, 190 secs 44411 markings/sec, 195 secs 44177 markings/sec, 200 secs 43283 markings/sec, 205 secs 42021 markings/sec, 210 secs 45171 markings/sec, 215 secs 46942 markings/sec, 220 secs 48405 markings/sec, 225 secs 48220 markings/sec, 230 secs 47044 markings/sec, 235 secs 47767 markings/sec, 240 secs 47132 markings/sec, 245 secs 47720 markings/sec, 250 secs 43863 markings/sec, 255 secs 45002 markings/sec, 260 secs 43480 markings/sec, 265 secs 47921 markings/sec, 270 secs 49390 markings/sec, 275 secs 46322 markings/sec, 280 secs 46837 markings/sec, 285 secs 47573 markings/sec, 290 secs 47379 markings/sec, 295 secs 47915 markings/sec, 300 secs 48131 markings/sec, 305 secs 47328 markings/sec, 310 secs 47692 markings/sec, 315 secs 48463 markings/sec, 320 secs 47455 markings/sec, 325 secs 46533 markings/sec, 330 secs 46990 markings/sec, 335 secs 47452 markings/sec, 340 secs 47406 markings/sec, 345 secs 46941 markings/sec, 350 secs 48475 markings/sec, 355 secs 47529 markings/sec, 360 secs 47565 markings/sec, 365 secs 48128 markings/sec, 370 secs 48958 markings/sec, 375 secs 47385 markings/sec, 380 secs 48347 markings/sec, 385 secs 48027 markings/sec, 390 secs 46035 markings/sec, 395 secs 47768 markings/sec, 400 secs 47371 markings/sec, 405 secs 47181 markings/sec, 410 secs 47626 markings/sec, 415 secs 46672 markings/sec, 420 secs 47509 markings/sec, 425 secs 47186 markings/sec, 430 secs 46962 markings/sec, 435 secs 48778 markings/sec, 440 secs 49040 markings/sec, 445 secs 46797 markings/sec, 450 secs 47584 markings/sec, 455 secs 46037 markings/sec, 460 secs 47277 markings/sec, 465 secs 47198 markings/sec, 470 secs 46683 markings/sec, 475 secs 47489 markings/sec, 480 secs 48011 markings/sec, 485 secs 46615 markings/sec, 490 secs 41701 markings/sec, 495 secs 44145 markings/sec, 500 secs 43351 markings/sec, 505 secs 44784 markings/sec, 510 secs 47161 markings/sec, 515 secs 46929 markings/sec, 520 secs 46243 markings/sec, 525 secs 46608 markings/sec, 530 secs 47878 markings/sec, 535 secs 47427 markings/sec, 540 secs 48688 markings/sec, 545 secs 47968 markings/sec, 550 secs 46594 markings/sec, 555 secs 48810 markings/sec, 560 secs 47675 markings/sec, 565 secs 46287 markings/sec, 570 secs 45133 markings/sec, 575 secs 45365 markings/sec, 580 secs 45403 markings/sec, 585 secs 44187 markings/sec, 590 secs 43591 markings/sec, 595 secs 43566 markings/sec, 600 secs 44542 markings/sec, 605 secs 44004 markings/sec, 610 secs 44167 markings/sec, 615 secs 43023 markings/sec, 620 secs 43598 markings/sec, 625 secs 47372 markings/sec, 630 secs 47606 markings/sec, 635 secs 47272 markings/sec, 640 secs 48846 markings/sec, 645 secs 48664 markings/sec, 650 secs 42113 markings/sec, 655 secs 44125 markings/sec, 660 secs 43731 markings/sec, 665 secs 42603 markings/sec, 670 secs 46371 markings/sec, 675 secs 49912 markings/sec, 680 secs 49445 markings/sec, 685 secs 49707 markings/sec, 690 secs 47874 markings/sec, 695 secs 49297 markings/sec, 700 secs 47372 markings/sec, 705 secs 47475 markings/sec, 710 secs 47707 markings/sec, 715 secs 47378 markings/sec, 720 secs 47308 markings/sec, 725 secs 46037 markings/sec, 730 secs 48560 markings/sec, 735 secs 46957 markings/sec, 740 secs 49243 markings/sec, 745 secs 50188 markings/sec, 750 secs 50040 markings/sec, 755 secs 48895 markings/sec, 760 secs 47762 markings/sec, 765 secs 47360 markings/sec, 770 secs 47981 markings/sec, 775 secs 49182 markings/sec, 780 secs 47693 markings/sec, 785 secs 43864 markings/sec, 790 secs 44200 markings/sec, 795 secs 44214 markings/sec, 800 secs 43934 markings/sec, 805 secs 45187 markings/sec, 810 secs 46751 markings/sec, 815 secs 53395 markings/sec, 820 secs 52833 markings/sec, 825 secs 52517 markings/sec, 830 secs 53914 markings/sec, 835 secs 54465 markings/sec, 840 secs 54810 markings/sec, 845 secs 56306 markings/sec, 850 secs 57311 markings/sec, 855 secs 56482 markings/sec, 860 secs 56380 markings/sec, 865 secs 56636 markings/sec, 870 secs 56862 markings/sec, 875 secs 57212 markings/sec, 880 secs 57059 markings/sec, 885 secs 56825 markings/sec, 890 secs 57688 markings/sec, 895 secs 56728 markings/sec, 900 secs 57560 markings/sec, 905 secs 56665 markings/sec, 910 secs 57868 markings/sec, 915 secs 57636 markings/sec, 920 secs 57707 markings/sec, 925 secs 57492 markings/sec, 930 secs 57277 markings/sec, 935 secs 57543 markings/sec, 940 secs 58567 markings/sec, 945 secs 58177 markings/sec, 950 secs 58513 markings/sec, 955 secs 58147 markings/sec, 960 secs 57560 markings/sec, 965 secs 54985 markings/sec, 970 secs 54682 markings/sec, 975 secs 53320 markings/sec, 980 secs 54298 markings/sec, 985 secs 58281 markings/sec, 990 secs 57905 markings/sec, 995 secs 58027 markings/sec, 1000 secs 58034 markings/sec, 1005 secs 57891 markings/sec, 1010 secs 58647 markings/sec, 1015 secs 58129 markings/sec, 1020 secs 58371 markings/sec, 1025 secs 58671 markings/sec, 1030 secs 57897 markings/sec, 1035 secs 58530 markings/sec, 1040 secs 56895 markings/sec, 1045 secs 55846 markings/sec, 1050 secs 56089 markings/sec, 1055 secs 56650 markings/sec, 1060 secs 57742 markings/sec, 1065 secs 57558 markings/sec, 1070 secs 57348 markings/sec, 1075 secs 57618 markings/sec, 1080 secs 58014 markings/sec, 1085 secs 57741 markings/sec, 1090 secs 56970 markings/sec, 1095 secs 57550 markings/sec, 1100 secs 58195 markings/sec, 1105 secs 58196 markings/sec, 1110 secs 58374 markings/sec, 1115 secs 58143 markings/sec, 1120 secs 58134 markings/sec, 1125 secs 58196 markings/sec, 1130 secs 58118 markings/sec, 1135 secs 58780 markings/sec, 1140 secs 58403 markings/sec, 1145 secs 57978 markings/sec, 1150 secs 58144 markings/sec, 1155 secs 58219 markings/sec, 1160 secs 58400 markings/sec, 1165 secs 58428 markings/sec, 1170 secs 57905 markings/sec, 1175 secs 57473 markings/sec, 1180 secs 58747 markings/sec, 1185 secs 58205 markings/sec, 1190 secs 58594 markings/sec, 1195 secs 58669 markings/sec, 1200 secs 58551 markings/sec, 1205 secs 59020 markings/sec, 1210 secs 58706 markings/sec, 1215 secs 58322 markings/sec, 1220 secs 58292 markings/sec, 1225 secs 58222 markings/sec, 1230 secs 57666 markings/sec, 1235 secs 57226 markings/sec, 1240 secs 58849 markings/sec, 1245 secs 57884 markings/sec, 1250 secs 58476 markings/sec, 1255 secs 58251 markings/sec, 1260 secs 57943 markings/sec, 1265 secs 58418 markings/sec, 1270 secs 58333 markings/sec, 1275 secs 58251 markings/sec, 1280 secs 58158 markings/sec, 1285 secs 57589 markings/sec, 1290 secs 58220 markings/sec, 1295 secs 58115 markings/sec, 1300 secs 57445 markings/sec, 1305 secs 56153 markings/sec, 1310 secs 57653 markings/sec, 1315 secs 57896 markings/sec, 1320 secs 54025 markings/sec, 1325 secs 54371 markings/sec, 1330 secs 53910 markings/sec, 1335 secs 56472 markings/sec, 1340 secs 57706 markings/sec, 1345 secs 58215 markings/sec, 1350 secs 58651 markings/sec, 1355 secs 58010 markings/sec, 1360 secs 58448 markings/sec, 1365 secs 58135 markings/sec, 1370 secs 57737 markings/sec, 1375 secs 56814 markings/sec, 1380 secs 57995 markings/sec, 1385 secs 58349 markings/sec, 1390 secs 54531 markings/sec, 1395 secs 52594 markings/sec, 1400 secs 52758 markings/sec, 1405 secs 54719 markings/sec, 1410 secs 58011 markings/sec, 1415 secs 57812 markings/sec, 1420 secs 56753 markings/sec, 1425 secs 53493 markings/sec, 1430 secs 55849 markings/sec, 1435 secs 54557 markings/sec, 1440 secs 57602 markings/sec, 1445 secs 54573 markings/sec, 1450 secs 53605 markings/sec, 1455 secs 53714 markings/sec, 1460 secs 54623 markings/sec, 1465 secs 54300 markings/sec, 1470 secs 58436 markings/sec, 1475 secs 57700 markings/sec, 1480 secs 56357 markings/sec, 1485 secs 55064 markings/sec, 1490 secs 56212 markings/sec, 1495 secs 57268 markings/sec, 1500 secs 56847 markings/sec, 1505 secs 57538 markings/sec, 1510 secs 57855 markings/sec, 1515 secs 57012 markings/sec, 1520 secs 58300 markings/sec, 1525 secs 58711 markings/sec, 1530 secs 58703 markings/sec, 1535 secs 56940 markings/sec, 1540 secs 58133 markings/sec, 1545 secs 58602 markings/sec, 1550 secs 58040 markings/sec, 1555 secs 58535 markings/sec, 1560 secs 58629 markings/sec, 1565 secs 58429 markings/sec, 1570 secs 58240 markings/sec, 1575 secs 56522 markings/sec, 1580 secs 54859 markings/sec, 1585 secs 55021 markings/sec, 1590 secs 55374 markings/sec, 1595 secs 55068 markings/sec, 1600 secs 56231 markings/sec, 1605 secs 55917 markings/sec, 1610 secs 55630 markings/sec, 1615 secs 54723 markings/sec, 1620 secs 55001 markings/sec, 1625 secs 54862 markings/sec, 1630 secs 54504 markings/sec, 1635 secs 55675 markings/sec, 1640 secs 55477 markings/sec, 1645 secs 55626 markings/sec, 1650 secs 54654 markings/sec, 1655 secs 54766 markings/sec, 1660 secs 55424 markings/sec, 1665 secs 55224 markings/sec, 1670 secs 55202 markings/sec, 1675 secs 55108 markings/sec, 1680 secs 54919 markings/sec, 1685 secs 55024 markings/sec, 1690 secs 55280 markings/sec, 1695 secs 55301 markings/sec, 1700 secs 55254 markings/sec, 1705 secs 55657 markings/sec, 1710 secs 55357 markings/sec, 1715 secs 54684 markings/sec, 1720 secs 54923 markings/sec, 1725 secs 54844 markings/sec, 1730 secs 55110 markings/sec, 1735 secs 55546 markings/sec, 1740 secs 55472 markings/sec, 1745 secs 54782 markings/sec, 1750 secs 55042 markings/sec, 1755 secs 54789 markings/sec, 1760 secs 55178 markings/sec, 1765 secs 55149 markings/sec, 1770 secs 55222 markings/sec, 1775 secs 56601 markings/sec, 1780 secs 56140 markings/sec, 1785 secs 55989 markings/sec, 1790 secs 56487 markings/sec, 1795 secs 55101 markings/sec, 1800 secs 54394 markings/sec, 1805 secs 55016 markings/sec, 1810 secs 56435 markings/sec, 1815 secs 56764 markings/sec, 1820 secs 57141 markings/sec, 1825 secs 56927 markings/sec, 1830 secs 56631 markings/sec, 1835 secs 56300 markings/sec, 1840 secs 55823 markings/sec, 1845 secs 55934 markings/sec, 1850 secs 55834 markings/sec, 1855 secs 55607 markings/sec, 1860 secs 57185 markings/sec, 1865 secs 57063 markings/sec, 1870 secs 56774 markings/sec, 1875 secs 56563 markings/sec, 1880 secs 56686 markings/sec, 1885 secs 56666 markings/sec, 1890 secs 56579 markings/sec, 1895 secs 56465 markings/sec, 1900 secs 56581 markings/sec, 1905 secs 56634 markings/sec, 1910 secs 56565 markings/sec, 1915 secs 56509 markings/sec, 1920 secs 56692 markings/sec, 1925 secs 56446 markings/sec, 1930 secs 57763 markings/sec, 1935 secs 55864 markings/sec, 1940 secs 55756 markings/sec, 1945 secs 55722 markings/sec, 1950 secs 56576 markings/sec, 1955 secs 57616 markings/sec, 1960 secs 57772 markings/sec, 1965 secs 57151 markings/sec, 1970 secs 56313 markings/sec, 1975 secs 56522 markings/sec, 1980 secs 56448 markings/sec, 1985 secs 56548 markings/sec, 1990 secs 58171 markings/sec, 1995 secs 58404 markings/sec, 2000 secs 58394 markings/sec, 2005 secs 58544 markings/sec, 2010 secs 58068 markings/sec, 2015 secs 58111 markings/sec, 2020 secs 55949 markings/sec, 2025 secs 56042 markings/sec, 2030 secs 55540 markings/sec, 2035 secs 55108 markings/sec, 2040 secs 53121 markings/sec, 2045 secs 53664 markings/sec, 2050 secs 53457 markings/sec, 2055 secs 53228 markings/sec, 2060 secs 53494 markings/sec, 2065 secs 54752 markings/sec, 2070 secs 53188 markings/sec, 2075 secs 53179 markings/sec, 2080 secs 53059 markings/sec, 2085 secs 54225 markings/sec, 2090 secs 55603 markings/sec, 2095 secs 55726 markings/sec, 2100 secs 56020 markings/sec, 2105 secs 55549 markings/sec, 2110 secs 55390 markings/sec, 2115 secs 56070 markings/sec, 2120 secs 55525 markings/sec, 2125 secs 55919 markings/sec, 2130 secs 56799 markings/sec, 2135 secs 58084 markings/sec, 2140 secs 57271 markings/sec, 2145 secs 55899 markings/sec, 2150 secs 56242 markings/sec, 2155 secs 55931 markings/sec, 2160 secs 55943 markings/sec, 2165 secs 56194 markings/sec, 2170 secs 56518 markings/sec, 2175 secs 55118 markings/sec, 2180 secs 55811 markings/sec, 2185 secs 55843 markings/sec, 2190 secs 56009 markings/sec, 2195 secs 55452 markings/sec, 2200 secs 55933 markings/sec, 2205 secs 56457 markings/sec, 2210 secs 56725 markings/sec, 2215 secs 56663 markings/sec, 2220 secs 55988 markings/sec, 2225 secs 55824 markings/sec, 2230 secs 55667 markings/sec, 2235 secs 55090 markings/sec, 2240 secs 56324 markings/sec, 2245 secs 56185 markings/sec, 2250 secs 56045 markings/sec, 2255 secs 55974 markings/sec, 2260 secs 53970 markings/sec, 2265 secs 55051 markings/sec, 2270 secs 55862 markings/sec, 2275 secs 55744 markings/sec, 2280 secs 55579 markings/sec, 2285 secs 56170 markings/sec, 2290 secs 53615 markings/sec, 2295 secs 55879 markings/sec, 2300 secs 55801 markings/sec, 2305 secs 56170 markings/sec, 2310 secs 55624 markings/sec, 2315 secs 57353 markings/sec, 2320 secs 58050 markings/sec, 2325 secs 57171 markings/sec, 2330 secs 55706 markings/sec, 2335 secs 55876 markings/sec, 2340 secs 54971 markings/sec, 2345 secs 55522 markings/sec, 2350 secs 56164 markings/sec, 2355 secs 57607 markings/sec, 2360 secs 56952 markings/sec, 2365 secs 56505 markings/sec, 2370 secs 55083 markings/sec, 2375 secs 55613 markings/sec, 2380 secs 55501 markings/sec, 2385 secs 57194 markings/sec, 2390 secs 57000 markings/sec, 2395 secs 56673 markings/sec, 2400 secs 57759 markings/sec, 2405 secs 55593 markings/sec, 2410 secs 55325 markings/sec, 2415 secs 56013 markings/sec, 2420 secs 57286 markings/sec, 2425 secs 55467 markings/sec, 2430 secs 56439 markings/sec, 2435 secs 55736 markings/sec, 2440 secs 55331 markings/sec, 2445 secs 55690 markings/sec, 2450 secs 56948 markings/sec, 2455 secs 57318 markings/sec, 2460 secs 57243 markings/sec, 2465 secs 57512 markings/sec, 2470 secs 57923 markings/sec, 2475 secs 57027 markings/sec, 2480 secs 57289 markings/sec, 2485 secs 56761 markings/sec, 2490 secs 57276 markings/sec, 2495 secs 57191 markings/sec, 2500 secs 56321 markings/sec, 2505 secs 57222 markings/sec, 2510 secs 57357 markings/sec, 2515 secs 57246 markings/sec, 2520 secs 57582 markings/sec, 2525 secs 57196 markings/sec, 2530 secs 57288 markings/sec, 2535 secs 57278 markings/sec, 2540 secs 56643 markings/sec, 2545 secs 57464 markings/sec, 2550 secs 54068 markings/sec, 2555 secs 53951 markings/sec, 2560 secs 50659 markings/sec, 2565 secs 50552 markings/sec, 2570 secs 52573 markings/sec, 2575 secs 52280 markings/sec, 2580 secs 51548 markings/sec, 2585 secs 52370 markings/sec, 2590 secs 55998 markings/sec, 2595 secs 57179 markings/sec, 2600 secs 57925 markings/sec, 2605 secs 57798 markings/sec, 2610 secs 57430 markings/sec, 2615 secs 57877 markings/sec, 2620 secs 57467 markings/sec, 2625 secs 59266 markings/sec, 2630 secs 58253 markings/sec, 2635 secs 57732 markings/sec, 2640 secs 57623 markings/sec, 2645 secs 57125 markings/sec, 2650 secs 57422 markings/sec, 2655 secs 57679 markings/sec, 2660 secs 57533 markings/sec, 2665 secs 56490 markings/sec, 2670 secs 54205 markings/sec, 2675 secs 52300 markings/sec, 2680 secs 54422 markings/sec, 2685 secs 61915 markings/sec, 2690 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="SharedMemory-PT-000020"
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 SharedMemory-PT-000020, 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 r159-csrt-155286430800255"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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