MCC'2019 - Execution of r082-csrt-155246550300993

About the Execution of LoLA for JoinFreeModules-PT-5000

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15919.230	2303718.00	4922848.00	1911.40	[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-155246550300993.qcow2',
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is JoinFreeModules-PT-5000, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-csrt-155246550300993
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 29M
-rw-r--r-- 1 mcc users 3.7K Feb 11 22:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 11 22:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 7 23:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 7 23:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 00:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:36
-rw-r--r-- 1 mcc users 8.5K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 4 06:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 4 06:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 31 23:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Jan 31 23:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 29M 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 JoinFreeModules-PT-5000-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552688243750

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ JoinFreeModules-PT-5000 @
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1266
rslt: Output for GlobalProperties @ JoinFreeModules-PT-5000
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: 65002/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800032
lola: finding significant places
lola: 25001 places, 40001 transitions, 20000 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompresse
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration
lola: findpath: searching for paths with maximal depth 1000000
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given
lola: 1 tries, 260284 fired transitions, 0 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 1 tries, 531769 fired transitions, 5 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 1 tries, 799562 fired transitions, 10 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 2 tries, 1051407 fired transitions, 15 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 2 tries, 1250348 fired transitions, 20 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 2 tries, 1446837 fired transitions, 25 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 2 tries, 1643433 fired transitions, 30 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 2 tries, 1836966 fired transitions, 35 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 3 tries, 2045130 fired transitions, 40 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 3 tries, 2306062 fired transitions, 45 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 3 tries, 2570851 fired transitions, 50 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 3 tries, 2835537 fired transitions, 55 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 4 tries, 3106700 fired transitions, 60 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 4 tries, 3377264 fired transitions, 65 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 4 tries, 3642937 fired transitions, 70 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 4 tries, 3908463 fired transitions, 75 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 5 tries, 4151467 fired transitions, 80 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 5 tries, 4392934 fired transitions, 85 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 5 tries, 4632537 fired transitions, 90 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 5 tries, 4873873 fired transitions, 95 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 6 tries, 5112982 fired transitions, 100 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 6 tries, 5345958 fired transitions, 105 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 6 tries, 5574976 fired transitions, 110 secs
lola: 0 generators;312452479 candidates remain ( 0%),
lola: 6 tries, 5803177 fired transitions, 115 secs
lola: 5515 generators;312446964 candidates remain ( 0%),
lola: 7 tries, 6029514 fired transitions, 120 secs
lola: 5515 generators;312446964 candidates remain ( 0%),
lola: 7 tries, 6230732 fired transitions, 125 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 7 tries, 6432477 fired transitions, 130 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 7 tries, 6634276 fired transitions, 135 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 7 tries, 6834068 fired transitions, 140 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 8 tries, 7031496 fired transitions, 145 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 8 tries, 7233401 fired transitions, 150 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 8 tries, 7436917 fired transitions, 155 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 8 tries, 7639109 fired transitions, 160 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 8 tries, 7841122 fired transitions, 165 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 9 tries, 8057950 fired transitions, 170 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 9 tries, 8327409 fired transitions, 175 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 9 tries, 8597777 fired transitions, 180 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 9 tries, 8868612 fired transitions, 185 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 10 tries, 9137954 fired transitions, 190 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 10 tries, 9405381 fired transitions, 195 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 10 tries, 9675886 fired transitions, 200 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 10 tries, 9945362 fired transitions, 205 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 11 tries, 10132536 fired transitions, 210 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 11 tries, 10302951 fired transitions, 215 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 11 tries, 10469282 fired transitions, 220 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 11 tries, 10598025 fired transitions, 225 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 11 tries, 10769047 fired transitions, 230 secs
lola: 5515 generators;312326979 candidates remain ( 0%),
lola: 11 tries, 10938484 fired transitions, 235 secs
lola: 9985 generators;312322509 candidates remain ( 0%),
lola: 12 tries, 11144797 fired transitions, 240 secs
lola: 9985 generators;312227536 candidates remain ( 0%),
lola: 12 tries, 11373921 fired transitions, 245 secs
lola: 11504 generators;312226017 candidates remain ( 0%),
lola: 12 tries, 11603020 fired transitions, 250 secs
lola: 11504 generators;312226017 candidates remain ( 0%),
lola: 12 tries, 11835352 fired transitions, 255 secs
lola: 11504 generators;312226017 candidates remain ( 0%),
lola: 13 tries, 12047259 fired transitions, 260 secs
lola: 11504 generators;312226017 candidates remain ( 0%),
lola: 13 tries, 12206687 fired transitions, 265 secs
lola: 11504 generators;312226017 candidates remain ( 0%),
lola: 13 tries, 12373268 fired transitions, 270 secs
lola: 11504 generators;312226017 candidates remain ( 0%),
lola: 13 tries, 12544500 fired transitions, 275 secs
lola: 11504 generators;312226017 candidates remain ( 0%),
lola: 13 tries, 12715242 fired transitions, 280 secs
lola: 11504 generators;312226017 candidates remain ( 0%),
lola: 13 tries, 12885950 fired transitions, 285 secs
lola: 11504 generators;312226017 candidates remain ( 0%),
lola: 14 tries, 13089105 fired transitions, 290 secs
lola: 11504 generators;312226017 candidates remain ( 0%),
lola: 14 tries, 13356293 fired transitions, 295 secs
lola: 11504 generators;312226017 candidates remain ( 0%),
lola: 14 tries, 13626273 fired transitions, 300 secs
lola: 11504 generators;312226017 candidates remain ( 0%),
lola: time limit for symmetry computation exceeded - aborting
lola: symmetry computation interrupted: continue with partial
lola: computed 11504 generators (4 in search tree, 11500 by
lola: representing 3.79013E+10 symmetries
lola: 2 dead branches visited in search tree
lola: 14 tries, 13895820 fired transitions, 305 secs
lola: 15 tries, 14170378 fired transitions, 310 secs ||
lola: 15 tries, 14441962 fired transitions, 315 secs ||
lola: 15 tries, 14718798 fired transitions, 320 secs ||
lola: 15 tries, 14986052 fired transitions, 325 secs ||
lola: 16 tries, 15214896 fired transitions, 330 secs ||
lola: 16 tries, 15445778 fired transitions, 335 secs ||
lola: 16 tries, 15674183 fired transitions, 340 secs ||
lola: 16 tries, 15902485 fired transitions, 345 secs ||
lola: 17 tries, 16110252 fired transitions, 350 secs ||
lola: 17 tries, 16317563 fired transitions, 355 secs ||
lola: 17 tries, 16525200 fired transitions, 360 secs ||
lola: 17 tries, 16732781 fired transitions, 365 secs ||
lola: 17 tries, 16930843 fired transitions, 370 secs ||
lola: 18 tries, 17178601 fired transitions, 375 secs ||
lola: 18 tries, 17445924 fired transitions, 380 secs ||
lola: 18 tries, 17712279 fired transitions, 385 secs ||
lola: 18 tries, 17977684 fired transitions, 390 secs ||
lola: 19 tries, 18184032 fired transitions, 395 secs ||
lola: 19 tries, 18385330 fired transitions, 400 secs ||
lola: 19 tries, 18588369 fired transitions, 405 secs ||
lola: 19 tries, 18789494 fired transitions, 410 secs ||
lola: 19 tries, 18990499 fired transitions, 415 secs ||
lola: 20 tries, 19254866 fired transitions, 420 secs ||
lola: 20 tries, 19533641 fired transitions, 425 secs ||
lola: 20 tries, 19806221 fired transitions, 430 secs ||
lola: 21 tries, 20073632 fired transitions, 435 secs ||
lola: 21 tries, 20352681 fired transitions, 440 secs ||
lola: 21 tries, 20631522 fired transitions, 445 secs ||
lola: 21 tries, 20904230 fired transitions, 450 secs ||
lola: 22 tries, 21117256 fired transitions, 455 secs ||
lola: 22 tries, 21301398 fired transitions, 460 secs ||
lola: 22 tries, 21486467 fired transitions, 465 secs ||
lola: 22 tries, 21676109 fired transitions, 470 secs ||
lola: 22 tries, 21873200 fired transitions, 475 secs ||
lola: 23 tries, 22108213 fired transitions, 480 secs ||
lola: 23 tries, 22416696 fired transitions, 485 secs ||
lola: 23 tries, 22725952 fired transitions, 490 secs ||
lola: 24 tries, 23025396 fired transitions, 495 secs ||
lola: 24 tries, 23245612 fired transitions, 500 secs ||
lola: 24 tries, 23465800 fired transitions, 505 secs ||
lola: 24 tries, 23685515 fired transitions, 510 secs ||
lola: 24 tries, 23904593 fired transitions, 515 secs ||
lola: 25 tries, 24111807 fired transitions, 520 secs ||
lola: 25 tries, 24293988 fired transitions, 525 secs ||
lola: 25 tries, 24478889 fired transitions, 530 secs ||
lola: 25 tries, 24675483 fired transitions, 535 secs ||
lola: 25 tries, 24872411 fired transitions, 540 secs ||
lola: 26 tries, 25069423 fired transitions, 545 secs ||
lola: 26 tries, 25266995 fired transitions, 550 secs ||
lola: 26 tries, 25464011 fired transitions, 555 secs ||
lola: 26 tries, 25660903 fired transitions, 560 secs ||
lola: 26 tries, 25858302 fired transitions, 565 secs ||
lola: 27 tries, 26079723 fired transitions, 570 secs ||
lola: 27 tries, 26365704 fired transitions, 575 secs ||
lola: 27 tries, 26652073 fired transitions, 580 secs ||
lola: 27 tries, 26931759 fired transitions, 585 secs ||
lola: 28 tries, 27246112 fired transitions, 590 secs ||
lola: 28 tries, 27574921 fired transitions, 595 secs ||
lola: 28 tries, 27904241 fired transitions, 600 secs ||
lola: 29 tries, 28155552 fired transitions, 605 secs ||
lola: 29 tries, 28373649 fired transitions, 610 secs ||
lola: 29 tries, 28592638 fired transitions, 615 secs ||
lola: 29 tries, 28796841 fired transitions, 620 secs ||
lola: 30 tries, 29008263 fired transitions, 625 secs ||
lola: 30 tries, 29232310 fired transitions, 630 secs ||
lola: 30 tries, 29466972 fired transitions, 635 secs ||
lola: 30 tries, 29706017 fired transitions, 640 secs ||
lola: 30 tries, 29943036 fired transitions, 645 secs ||
lola: 31 tries, 30189104 fired transitions, 650 secs ||
lola: 31 tries, 30438773 fired transitions, 655 secs ||
lola: 31 tries, 30688014 fired transitions, 660 secs ||
lola: 31 tries, 30938046 fired transitions, 665 secs ||
lola: 32 tries, 31148207 fired transitions, 670 secs ||
lola: 32 tries, 31345993 fired transitions, 675 secs ||
lola: 32 tries, 31543463 fired transitions, 680 secs ||
lola: 32 tries, 31740702 fired transitions, 685 secs ||
lola: 32 tries, 31938065 fired transitions, 690 secs ||
lola: 33 tries, 32224693 fired transitions, 695 secs ||
lola: 33 tries, 32552912 fired transitions, 700 secs ||
lola: 33 tries, 32881345 fired transitions, 705 secs ||
lola: 34 tries, 33209472 fired transitions, 710 secs ||
lola: 34 tries, 33537550 fired transitions, 715 secs ||
lola: 34 tries, 33858815 fired transitions, 720 secs ||
lola: 35 tries, 34118378 fired transitions, 725 secs ||
lola: 35 tries, 34332167 fired transitions, 730 secs ||
lola: 35 tries, 34545179 fired transitions, 735 secs ||
lola: 35 tries, 34759177 fired transitions, 740 secs ||
lola: 35 tries, 34973080 fired transitions, 745 secs ||
lola: 36 tries, 35250736 fired transitions, 750 secs ||
lola: 36 tries, 35537741 fired transitions, 755 secs ||
lola: 36 tries, 35824678 fired transitions, 760 secs ||
lola: 37 tries, 36114567 fired transitions, 765 secs ||
lola: 37 tries, 36411891 fired transitions, 770 secs ||
lola: 37 tries, 36709121 fired transitions, 775 secs ||
lola: 38 tries, 37006013 fired transitions, 780 secs ||
lola: 38 tries, 37302526 fired transitions, 785 secs ||
lola: 38 tries, 37599737 fired transitions, 790 secs ||
lola: 38 tries, 37897002 fired transitions, 795 secs ||
lola: 39 tries, 38128965 fired transitions, 800 secs ||
lola: 39 tries, 38326760 fired transitions, 805 secs ||
lola: 39 tries, 38524262 fired transitions, 810 secs ||
lola: 39 tries, 38721868 fired transitions, 815 secs ||
lola: 39 tries, 38919442 fired transitions, 820 secs ||
lola: 40 tries, 39175981 fired transitions, 825 secs ||
lola: 40 tries, 39473277 fired transitions, 830 secs ||
lola: 40 tries, 39770022 fired transitions, 835 secs ||
lola: 41 tries, 40044575 fired transitions, 840 secs ||
lola: 41 tries, 40241883 fired transitions, 845 secs ||
lola: 41 tries, 40439361 fired transitions, 850 secs ||
lola: 41 tries, 40636888 fired transitions, 855 secs ||
lola: 41 tries, 40833082 fired transitions, 860 secs ||
lola: 42 tries, 41026773 fired transitions, 865 secs ||
lola: 42 tries, 41233761 fired transitions, 870 secs ||
lola: 42 tries, 41448534 fired transitions, 875 secs ||
lola: 42 tries, 41662942 fired transitions, 880 secs ||
lola: 42 tries, 41872894 fired transitions, 885 secs ||
lola: 43 tries, 42119070 fired transitions, 890 secs ||
lola: 43 tries, 42410156 fired transitions, 895 secs ||
lola: 43 tries, 42702002 fired transitions, 900 secs ||
lola: 43 tries, 42974511 fired transitions, 905 secs ||
lola: 44 tries, 43234402 fired transitions, 910 secs ||
lola: 44 tries, 43482549 fired transitions, 915 secs ||
lola: 44 tries, 43774506 fired transitions, 920 secs ||
lola: 45 tries, 44078638 fired transitions, 925 secs ||
lola: 45 tries, 44416037 fired transitions, 930 secs ||
lola: 45 tries, 44755635 fired transitions, 935 secs ||
lola: 46 tries, 45083345 fired transitions, 940 secs ||
lola: 46 tries, 45375293 fired transitions, 945 secs ||
lola: 46 tries, 45668130 fired transitions, 950 secs ||
lola: 46 tries, 45967802 fired transitions, 955 secs ||
lola: 47 tries, 46243969 fired transitions, 960 secs ||
lola: 47 tries, 46526678 fired transitions, 965 secs ||
lola: 47 tries, 46820284 fired transitions, 970 secs ||
lola: 48 tries, 47096757 fired transitions, 975 secs ||
lola: 48 tries, 47387938 fired transitions, 980 secs ||
lola: 48 tries, 47680872 fired transitions, 985 secs ||
lola: 48 tries, 47974429 fired transitions, 990 secs ||
lola: 49 tries, 48301021 fired transitions, 995 secs ||
lola: 49 tries, 48622054 fired transitions, 1000 secs ||
lola: 49 tries, 48958416 fired transitions, 1005 secs ||
lola: 50 tries, 49221910 fired transitions, 1010 secs ||
lola: 50 tries, 49468572 fired transitions, 1015 secs ||
lola: 50 tries, 49731048 fired transitions, 1020 secs ||
lola: 50 tries, 49995780 fired transitions, 1025 secs ||
lola: 51 tries, 50223768 fired transitions, 1030 secs ||
lola: 51 tries, 50445618 fired transitions, 1035 secs ||
lola: 51 tries, 50666098 fired transitions, 1040 secs ||
lola: 51 tries, 50887787 fired transitions, 1045 secs ||
lola: 52 tries, 51173789 fired transitions, 1050 secs ||
lola: 52 tries, 51520013 fired transitions, 1055 secs ||
lola: 52 tries, 51868251 fired transitions, 1060 secs ||
lola: 53 tries, 52216644 fired transitions, 1065 secs ||
lola: 53 tries, 52542670 fired transitions, 1070 secs ||
lola: 53 tries, 52880595 fired transitions, 1075 secs ||
lola: 54 tries, 53187393 fired transitions, 1080 secs ||
lola: 54 tries, 53451021 fired transitions, 1085 secs ||
lola: 54 tries, 53706630 fired transitions, 1090 secs ||
lola: 54 tries, 53970497 fired transitions, 1095 secs ||
lola: 55 tries, 54177039 fired transitions, 1100 secs ||
lola: 55 tries, 54384087 fired transitions, 1105 secs ||
lola: 55 tries, 54584647 fired transitions, 1110 secs ||
lola: 55 tries, 54818352 fired transitions, 1115 secs ||
lola: 56 tries, 55051795 fired transitions, 1120 secs ||
lola: 56 tries, 55284206 fired transitions, 1125 secs ||
lola: 56 tries, 55516193 fired transitions, 1130 secs ||
lola: 56 tries, 55748586 fired transitions, 1135 secs ||
lola: 56 tries, 55978786 fired transitions, 1140 secs ||
lola: 57 tries, 56286859 fired transitions, 1145 secs ||
lola: 57 tries, 56602941 fired transitions, 1150 secs ||
lola: 57 tries, 56904975 fired transitions, 1155 secs ||
lola: 58 tries, 57215641 fired transitions, 1160 secs ||
lola: 58 tries, 57525252 fired transitions, 1165 secs ||
lola: 58 tries, 57834424 fired transitions, 1170 secs ||
lola: 59 tries, 58084251 fired transitions, 1175 secs ||
lola: 59 tries, 58285597 fired transitions, 1180 secs ||
lola: 59 tries, 58499955 fired transitions, 1185 secs ||
lola: 59 tries, 58714599 fired transitions, 1190 secs ||
lola: 59 tries, 58927531 fired transitions, 1195 secs ||
lola: 60 tries, 59207278 fired transitions, 1200 secs ||
lola: 60 tries, 59520874 fired transitions, 1205 secs ||
lola: 60 tries, 59833773 fired transitions, 1210 secs ||
lola: 61 tries, 60147172 fired transitions, 1215 secs ||
lola: 61 tries, 60464280 fired transitions, 1220 secs ||
lola: 61 tries, 60781566 fired transitions, 1225 secs ||
lola: 62 tries, 61085019 fired transitions, 1230 secs ||
lola: 62 tries, 61356427 fired transitions, 1235 secs ||
lola: 62 tries, 61630362 fired transitions, 1240 secs ||
lola: 62 tries, 61902948 fired transitions, 1245 secs ||
lola: 63 tries, 62204480 fired transitions, 1250 secs ||
lola: 63 tries, 62521689 fired transitions, 1255 secs ||
lola: 63 tries, 62838963 fired transitions, 1260 secs ||
lola: 64 tries, 63118534 fired transitions, 1265 secs ||
lola: 64 tries, 63358920 fired transitions, 1270 secs ||
lola: 64 tries, 63599029 fired transitions, 1275 secs ||
lola: 64 tries, 63839790 fired transitions, 1280 secs ||
lola: 65 tries, 64101005 fired transitions, 1285 secs ||
lola: 65 tries, 64402943 fired transitions, 1290 secs ||
lola: 65 tries, 64705183 fired transitions, 1295 secs ||
lola: 66 tries, 65004982 fired transitions, 1300 secs ||
lola: 66 tries, 65220484 fired transitions, 1305 secs ||
lola: 66 tries, 65432151 fired transitions, 1310 secs ||
lola: 66 tries, 65646298 fired transitions, 1315 secs ||
lola: 66 tries, 65859230 fired transitions, 1320 secs ||
lola: 67 tries, 66083350 fired transitions, 1325 secs ||
lola: 67 tries, 66318597 fired transitions, 1330 secs ||
lola: 67 tries, 66557334 fired transitions, 1335 secs ||
lola: 67 tries, 66792627 fired transitions, 1340 secs ||
lola: 68 tries, 67037460 fired transitions, 1345 secs ||
lola: 68 tries, 67329931 fired transitions, 1350 secs ||
lola: 68 tries, 67624078 fired transitions, 1355 secs ||
lola: 68 tries, 67917075 fired transitions, 1360 secs ||
lola: 69 tries, 68171702 fired transitions, 1365 secs ||
lola: 69 tries, 68410907 fired transitions, 1370 secs ||
lola: 69 tries, 68648863 fired transitions, 1375 secs ||
lola: 69 tries, 68887762 fired transitions, 1380 secs ||
lola: 70 tries, 69160066 fired transitions, 1385 secs ||
lola: 70 tries, 69451378 fired transitions, 1390 secs ||
lola: 70 tries, 69707954 fired transitions, 1395 secs ||
lola: 70 tries, 69981956 fired transitions, 1400 secs ||
lola: 71 tries, 70254144 fired transitions, 1405 secs ||
lola: 71 tries, 70525127 fired transitions, 1410 secs ||
lola: 71 tries, 70798373 fired transitions, 1415 secs ||
lola: 72 tries, 71077281 fired transitions, 1420 secs ||
lola: 72 tries, 71372144 fired transitions, 1425 secs ||
lola: 72 tries, 71664263 fired transitions, 1430 secs ||
lola: 72 tries, 71959110 fired transitions, 1435 secs ||
lola: 73 tries, 72306966 fired transitions, 1440 secs ||
lola: 73 tries, 72622083 fired transitions, 1445 secs ||
lola: 73 tries, 72973009 fired transitions, 1450 secs ||
lola: 74 tries, 73233621 fired transitions, 1455 secs ||
lola: 74 tries, 73509868 fired transitions, 1460 secs ||
lola: 74 tries, 73791037 fired transitions, 1465 secs ||
lola: 75 tries, 74065667 fired transitions, 1470 secs ||
lola: 75 tries, 74263212 fired transitions, 1475 secs ||
lola: 75 tries, 74479636 fired transitions, 1480 secs ||
lola: 75 tries, 74698254 fired transitions, 1485 secs ||
lola: 75 tries, 74914816 fired transitions, 1490 secs ||
lola: 76 tries, 75174970 fired transitions, 1495 secs ||
lola: 76 tries, 75449104 fired transitions, 1500 secs ||
lola: 76 tries, 75736947 fired transitions, 1505 secs ||
lola: 77 tries, 76017723 fired transitions, 1510 secs ||
lola: 77 tries, 76290793 fired transitions, 1515 secs ||
lola: 77 tries, 76561546 fired transitions, 1520 secs ||
lola: 77 tries, 76835801 fired transitions, 1525 secs ||
lola: 78 tries, 77107339 fired transitions, 1530 secs ||
lola: 78 tries, 77383015 fired transitions, 1535 secs ||
lola: 78 tries, 77656377 fired transitions, 1540 secs ||
lola: 78 tries, 77933208 fired transitions, 1545 secs ||
lola: 79 tries, 78201823 fired transitions, 1550 secs ||
lola: 79 tries, 78473263 fired transitions, 1555 secs ||
lola: 79 tries, 78740163 fired transitions, 1560 secs ||
lola: 80 tries, 79007541 fired transitions, 1565 secs ||
lola: 80 tries, 79314274 fired transitions, 1570 secs ||
lola: 80 tries, 79624993 fired transitions, 1575 secs ||
lola: 80 tries, 79931418 fired transitions, 1580 secs ||
lola: 81 tries, 80165777 fired transitions, 1585 secs ||
lola: 81 tries, 80376268 fired transitions, 1590 secs ||
lola: 81 tries, 80589670 fired transitions, 1595 secs ||
lola: 81 tries, 80801424 fired transitions, 1600 secs ||
lola: 82 tries, 81015756 fired transitions, 1605 secs ||
lola: 82 tries, 81228293 fired transitions, 1610 secs ||
lola: 82 tries, 81441882 fired transitions, 1615 secs ||
lola: 82 tries, 81654746 fired transitions, 1620 secs ||
lola: 82 tries, 81867428 fired transitions, 1625 secs ||
lola: 83 tries, 82086982 fired transitions, 1630 secs ||
lola: 83 tries, 82316775 fired transitions, 1635 secs ||
lola: 83 tries, 82548060 fired transitions, 1640 secs ||
lola: 83 tries, 82779042 fired transitions, 1645 secs ||
lola: 84 tries, 83009269 fired transitions, 1650 secs ||
lola: 84 tries, 83240327 fired transitions, 1655 secs ||
lola: 84 tries, 83471299 fired transitions, 1660 secs ||
lola: 84 tries, 83703157 fired transitions, 1665 secs ||
lola: 84 tries, 83934474 fired transitions, 1670 secs ||
lola: 85 tries, 84214036 fired transitions, 1675 secs ||
lola: 85 tries, 84511771 fired transitions, 1680 secs ||
lola: 85 tries, 84809433 fired transitions, 1685 secs ||
lola: 86 tries, 85101038 fired transitions, 1690 secs ||
lola: 86 tries, 85384854 fired transitions, 1695 secs ||
lola: 86 tries, 85665776 fired transitions, 1700 secs ||
lola: 86 tries, 85950140 fired transitions, 1705 secs ||
lola: 87 tries, 86189740 fired transitions, 1710 secs ||
lola: 87 tries, 86419447 fired transitions, 1715 secs ||
lola: 87 tries, 86649447 fired transitions, 1720 secs ||
lola: 87 tries, 86888066 fired transitions, 1725 secs ||
lola: 88 tries, 87181825 fired transitions, 1730 secs ||
lola: 88 tries, 87536758 fired transitions, 1735 secs ||
lola: 88 tries, 87895781 fired transitions, 1740 secs ||
lola: 89 tries, 88213611 fired transitions, 1745 secs ||
lola: 89 tries, 88516047 fired transitions, 1750 secs ||
lola: 89 tries, 88817737 fired transitions, 1755 secs ||
lola: 90 tries, 89115875 fired transitions, 1760 secs ||
lola: 90 tries, 89417847 fired transitions, 1765 secs ||
lola: 90 tries, 89719241 fired transitions, 1770 secs ||
lola: 91 tries, 90024234 fired transitions, 1775 secs ||
lola: 91 tries, 90381442 fired transitions, 1780 secs ||
lola: 91 tries, 90741202 fired transitions, 1785 secs ||
lola: 92 tries, 91065747 fired transitions, 1790 secs ||
lola: 92 tries, 91299265 fired transitions, 1795 secs ||
lola: 92 tries, 91530534 fired transitions, 1800 secs ||
lola: 92 tries, 91761478 fired transitions, 1805 secs ||
lola: 92 tries, 91992732 fired transitions, 1810 secs ||
lola: 93 tries, 92261594 fired transitions, 1815 secs ||
lola: 93 tries, 92531455 fired transitions, 1820 secs ||
lola: 93 tries, 92802052 fired transitions, 1825 secs ||
lola: 94 tries, 93072045 fired transitions, 1830 secs ||
lola: 94 tries, 93342666 fired transitions, 1835 secs ||
lola: 94 tries, 93612827 fired transitions, 1840 secs ||
lola: 94 tries, 93884280 fired transitions, 1845 secs ||
lola: 95 tries, 94131279 fired transitions, 1850 secs ||
lola: 95 tries, 94362483 fired transitions, 1855 secs ||
lola: 95 tries, 94592826 fired transitions, 1860 secs ||
lola: 95 tries, 94824728 fired transitions, 1865 secs ||
lola: 96 tries, 95067840 fired transitions, 1870 secs ||
lola: 96 tries, 95353890 fired transitions, 1875 secs ||
lola: 96 tries, 95635899 fired transitions, 1880 secs ||
lola: 96 tries, 95919465 fired transitions, 1885 secs ||
lola: 97 tries, 96211392 fired transitions, 1890 secs ||
lola: 97 tries, 96502877 fired transitions, 1895 secs ||
lola: 97 tries, 96798519 fired transitions, 1900 secs ||
lola: 98 tries, 97088375 fired transitions, 1905 secs ||
lola: 98 tries, 97357104 fired transitions, 1910 secs ||
lola: 98 tries, 97625313 fired transitions, 1915 secs ||
lola: 98 tries, 97897994 fired transitions, 1920 secs ||
lola: 99 tries, 98172354 fired transitions, 1925 secs ||
lola: 99 tries, 98445917 fired transitions, 1930 secs ||
lola: 99 tries, 98718621 fired transitions, 1935 secs ||
lola: 99 tries, 98990245 fired transitions, 1940 secs ||
lola: 100 tries, 99262490 fired transitions, 1945 secs ||
lola: 100 tries, 99535286 fired transitions, 1950 secs ||
lola: 100 tries, 99805537 fired transitions, 1955 secs ||
lola: 101 tries, 100083738 fired transitions, 1960 secs ||
lola: 101 tries, 100371718 fired transitions, 1965 secs ||
lola: 101 tries, 100658292 fired transitions, 1970 secs ||
lola: 101 tries, 100943857 fired transitions, 1975 secs ||
lola: 102 tries, 101194033 fired transitions, 1980 secs ||
lola: 102 tries, 101432359 fired transitions, 1985 secs ||
lola: 102 tries, 101671217 fired transitions, 1990 secs ||
lola: 102 tries, 101908120 fired transitions, 1995 secs ||
lola: 103 tries, 102184261 fired transitions, 2000 secs ||
lola: 103 tries, 102482199 fired transitions, 2005 secs ||
lola: 103 tries, 102779748 fired transitions, 2010 secs ||
lola: 104 tries, 103067950 fired transitions, 2015 secs ||
lola: 104 tries, 103339617 fired transitions, 2020 secs ||
lola: 104 tries, 103611131 fired transitions, 2025 secs ||
lola: 104 tries, 103883569 fired transitions, 2030 secs ||
lola: 105 tries, 104179273 fired transitions, 2035 secs ||
lola: 105 tries, 104492775 fired transitions, 2040 secs ||
lola: 105 tries, 104808593 fired transitions, 2045 secs ||
lola: 106 tries, 105113830 fired transitions, 2050 secs ||
lola: 106 tries, 105400358 fired transitions, 2055 secs ||
lola: 106 tries, 105686124 fired transitions, 2060 secs ||
lola: 106 tries, 105973234 fired transitions, 2065 secs ||
lola: 107 tries, 106244678 fired transitions, 2070 secs ||
lola: 107 tries, 106517961 fired transitions, 2075 secs ||
lola: 107 tries, 106764501 fired transitions, 2080 secs ||
lola: 108 tries, 107020701 fired transitions, 2085 secs ||
lola: 108 tries, 107255430 fired transitions, 2090 secs ||
lola: 108 tries, 107490384 fired transitions, 2095 secs ||
lola: 108 tries, 107720794 fired transitions, 2100 secs ||
lola: 108 tries, 107952327 fired transitions, 2105 secs ||
lola: 109 tries, 108240718 fired transitions, 2110 secs ||
lola: 109 tries, 108539829 fired transitions, 2115 secs ||
lola: 109 tries, 108837341 fired transitions, 2120 secs ||
lola: 110 tries, 109117584 fired transitions, 2125 secs ||
lola: 110 tries, 109379058 fired transitions, 2130 secs ||
lola: 110 tries, 109641002 fired transitions, 2135 secs ||
lola: 110 tries, 109900545 fired transitions, 2140 secs ||
lola: 111 tries, 110145076 fired transitions, 2145 secs ||
lola: 111 tries, 110386408 fired transitions, 2150 secs ||
lola: 111 tries, 110627085 fired transitions, 2155 secs ||
lola: 111 tries, 110867266 fired transitions, 2160 secs ||
lola: 112 tries, 111126679 fired transitions, 2165 secs ||
lola: 112 tries, 111411641 fired transitions, 2170 secs ||
lola: 112 tries, 111699999 fired transitions, 2175 secs ||
lola: 112 tries, 111987588 fired transitions, 2180 secs ||
lola: 113 tries, 112250073 fired transitions, 2185 secs ||
lola: 113 tries, 112515657 fired transitions, 2190 secs ||
lola: 113 tries, 112781612 fired transitions, 2195 secs ||
lola: 114 tries, 113064256 fired transitions, 2200 secs ||
lola: 114 tries, 113424100 fired transitions, 2205 secs ||
lola: 114 tries, 113789233 fired transitions, 2210 secs ||
lola: 115 tries, 114108941 fired transitions, 2215 secs ||
lola: 115 tries, 114375111 fired transitions, 2220 secs ||
lola: 115 tries, 114640947 fired transitions, 2225 secs ||
lola: 115 tries, 114912975 fired transitions, 2230 secs ||
lola: 116 tries, 115138492 fired transitions, 2235 secs ||
lola: 116 tries, 115258730 fired transitions, 2240 secs ||
lola: 116 tries, 115383451 fired transitions, 2245 secs ||
Killed
rslt: finished

BK_STOP 1552690547468

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

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 137 (ignored)
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) 3570 seconds (--findpath=par) d) set method with insertion algorithm (--stubborn=tarjan) method with insertion algorithm (--stubborn=tarjan) (--findpath) (--depthlimit) (--symmtimelimit) 0 secs 5 secs 10 secs 15 secs 20 secs 25 secs 30 secs 35 secs 40 secs 45 secs 50 secs 55 secs 60 secs 65 secs 70 secs 75 secs 80 secs 85 secs 90 secs 95 secs 100 secs 105 secs 110 secs 115 secs 120 secs 125 secs 130 secs 135 secs 140 secs 145 secs 150 secs 155 secs 160 secs 165 secs 170 secs 175 secs 180 secs 185 secs 190 secs 195 secs 200 secs 205 secs 210 secs 215 secs 220 secs 225 secs 230 secs 235 secs 240 secs 245 secs 250 secs 255 secs 260 secs 265 secs 270 secs 275 secs 280 secs 285 secs 290 secs 295 secs 300 secs 305 secs generating set composition) 3099 markings, 4945 edges, 620 markings/sec, 310 secs 6372 markings, 10296 edges, 655 markings/sec, 315 secs 10141 markings, 16658 edges, 754 markings/sec, 320 secs 14088 markings, 22987 edges, 789 markings/sec, 325 secs 17545 markings, 28470 edges, 691 markings/sec, 330 secs 21411 markings, 34714 edges, 773 markings/sec, 335 secs 24730 markings, 39976 edges, 664 markings/sec, 340 secs 28047 markings, 45279 edges, 663 markings/sec, 345 secs 31916 markings, 51496 edges, 774 markings/sec, 350 secs 35107 markings, 56809 edges, 638 markings/sec, 355 secs 39165 markings, 63489 edges, 812 markings/sec, 360 secs 42917 markings, 69379 edges, 750 markings/sec, 365 secs 46335 markings, 75184 edges, 684 markings/sec, 370 secs 50270 markings, 81543 edges, 787 markings/sec, 375 secs 54075 markings, 87775 edges, 761 markings/sec, 380 secs 58060 markings, 94103 edges, 797 markings/sec, 385 secs 61975 markings, 100489 edges, 783 markings/sec, 390 secs 65347 markings, 106086 edges, 674 markings/sec, 395 secs 68767 markings, 111788 edges, 684 markings/sec, 400 secs 72944 markings, 118490 edges, 835 markings/sec, 405 secs 76859 markings, 124975 edges, 783 markings/sec, 410 secs 81143 markings, 131921 edges, 857 markings/sec, 415 secs 85148 markings, 138233 edges, 801 markings/sec, 420 secs 88983 markings, 144615 edges, 767 markings/sec, 425 secs 93096 markings, 151431 edges, 823 markings/sec, 430 secs 97076 markings, 157806 edges, 796 markings/sec, 435 secs 101461 markings, 164881 edges, 877 markings/sec, 440 secs 105475 markings, 171209 edges, 803 markings/sec, 445 secs 108570 markings, 176534 edges, 619 markings/sec, 450 secs 112637 markings, 183133 edges, 813 markings/sec, 455 secs 116629 markings, 189739 edges, 798 markings/sec, 460 secs 120905 markings, 196753 edges, 855 markings/sec, 465 secs 125285 markings, 203745 edges, 876 markings/sec, 470 secs 129708 markings, 211046 edges, 885 markings/sec, 475 secs 134155 markings, 218380 edges, 889 markings/sec, 480 secs 138860 markings, 225926 edges, 941 markings/sec, 485 secs 143547 markings, 233440 edges, 937 markings/sec, 490 secs 148076 markings, 240772 edges, 906 markings/sec, 495 secs 152298 markings, 247778 edges, 844 markings/sec, 500 secs 156607 markings, 254813 edges, 862 markings/sec, 505 secs 161078 markings, 262098 edges, 894 markings/sec, 510 secs 165613 markings, 269482 edges, 907 markings/sec, 515 secs 169927 markings, 276350 edges, 863 markings/sec, 520 secs 173800 markings, 282810 edges, 775 markings/sec, 525 secs 177997 markings, 289705 edges, 839 markings/sec, 530 secs 182480 markings, 296919 edges, 897 markings/sec, 535 secs 187084 markings, 304291 edges, 921 markings/sec, 540 secs 191495 markings, 311289 edges, 882 markings/sec, 545 secs 195175 markings, 317691 edges, 736 markings/sec, 550 secs 199312 markings, 324412 edges, 827 markings/sec, 555 secs 203469 markings, 331163 edges, 831 markings/sec, 560 secs 207668 markings, 338214 edges, 840 markings/sec, 565 secs 212192 markings, 345452 edges, 905 markings/sec, 570 secs 216554 markings, 352591 edges, 872 markings/sec, 575 secs 220810 markings, 359579 edges, 851 markings/sec, 580 secs 225055 markings, 366377 edges, 849 markings/sec, 585 secs 229485 markings, 373596 edges, 886 markings/sec, 590 secs 233921 markings, 380827 edges, 887 markings/sec, 595 secs 238120 markings, 387753 edges, 840 markings/sec, 600 secs 242680 markings, 395200 edges, 912 markings/sec, 605 secs 247131 markings, 402431 edges, 890 markings/sec, 610 secs 251518 markings, 409606 edges, 877 markings/sec, 615 secs 256184 markings, 416981 edges, 933 markings/sec, 620 secs 260322 markings, 423811 edges, 828 markings/sec, 625 secs 264495 markings, 430666 edges, 835 markings/sec, 630 secs 269026 markings, 438062 edges, 906 markings/sec, 635 secs 273365 markings, 445133 edges, 868 markings/sec, 640 secs 277575 markings, 451674 edges, 842 markings/sec, 645 secs 281733 markings, 458727 edges, 832 markings/sec, 650 secs 285724 markings, 465232 edges, 798 markings/sec, 655 secs 290112 markings, 472342 edges, 878 markings/sec, 660 secs 294264 markings, 479174 edges, 830 markings/sec, 665 secs 298452 markings, 485860 edges, 838 markings/sec, 670 secs 302351 markings, 492353 edges, 780 markings/sec, 675 secs 306454 markings, 499155 edges, 821 markings/sec, 680 secs 311070 markings, 506496 edges, 923 markings/sec, 685 secs 315517 markings, 513700 edges, 889 markings/sec, 690 secs 319854 markings, 520776 edges, 867 markings/sec, 695 secs 323639 markings, 527096 edges, 757 markings/sec, 700 secs 327647 markings, 533396 edges, 802 markings/sec, 705 secs 331837 markings, 540241 edges, 838 markings/sec, 710 secs 335987 markings, 547160 edges, 830 markings/sec, 715 secs 340455 markings, 554372 edges, 894 markings/sec, 720 secs 344493 markings, 560927 edges, 808 markings/sec, 725 secs 348483 markings, 567294 edges, 798 markings/sec, 730 secs 352111 markings, 573373 edges, 726 markings/sec, 735 secs 356289 markings, 580075 edges, 836 markings/sec, 740 secs 360577 markings, 587043 edges, 858 markings/sec, 745 secs 364478 markings, 593191 edges, 780 markings/sec, 750 secs 368015 markings, 599394 edges, 707 markings/sec, 755 secs 372043 markings, 605878 edges, 806 markings/sec, 760 secs 376303 markings, 612848 edges, 852 markings/sec, 765 secs 380552 markings, 619996 edges, 850 markings/sec, 770 secs 384958 markings, 627037 edges, 881 markings/sec, 775 secs 389100 markings, 633863 edges, 828 markings/sec, 780 secs 393427 markings, 640915 edges, 865 markings/sec, 785 secs 398138 markings, 648481 edges, 942 markings/sec, 790 secs 402406 markings, 655406 edges, 854 markings/sec, 795 secs 406885 markings, 662698 edges, 896 markings/sec, 800 secs 410711 markings, 669086 edges, 765 markings/sec, 805 secs 414993 markings, 676031 edges, 856 markings/sec, 810 secs 419728 markings, 683650 edges, 947 markings/sec, 815 secs 424264 markings, 691185 edges, 907 markings/sec, 820 secs 428756 markings, 698292 edges, 898 markings/sec, 825 secs 433049 markings, 705329 edges, 859 markings/sec, 830 secs 437425 markings, 712491 edges, 875 markings/sec, 835 secs 441934 markings, 719853 edges, 902 markings/sec, 840 secs 446581 markings, 727384 edges, 929 markings/sec, 845 secs 450877 markings, 734224 edges, 859 markings/sec, 850 secs 454599 markings, 740700 edges, 744 markings/sec, 855 secs 459381 markings, 748429 edges, 956 markings/sec, 860 secs 464005 markings, 755916 edges, 925 markings/sec, 865 secs 468913 markings, 763828 edges, 982 markings/sec, 870 secs 473780 markings, 771764 edges, 973 markings/sec, 875 secs 478679 markings, 779780 edges, 980 markings/sec, 880 secs 483393 markings, 787424 edges, 943 markings/sec, 885 secs 488277 markings, 795324 edges, 977 markings/sec, 890 secs 493236 markings, 803253 edges, 992 markings/sec, 895 secs 497521 markings, 810498 edges, 857 markings/sec, 900 secs 502261 markings, 818160 edges, 948 markings/sec, 905 secs 506277 markings, 824791 edges, 803 markings/sec, 910 secs 510598 markings, 831827 edges, 864 markings/sec, 915 secs 515536 markings, 839651 edges, 988 markings/sec, 920 secs 520120 markings, 847299 edges, 917 markings/sec, 925 secs 525007 markings, 855180 edges, 977 markings/sec, 930 secs 529933 markings, 863256 edges, 985 markings/sec, 935 secs 535044 markings, 871362 edges, 1022 markings/sec, 940 secs 539617 markings, 879014 edges, 915 markings/sec, 945 secs 544463 markings, 886896 edges, 969 markings/sec, 950 secs 549432 markings, 894965 edges, 994 markings/sec, 955 secs 554342 markings, 903085 edges, 982 markings/sec, 960 secs 559343 markings, 910955 edges, 1000 markings/sec, 965 secs 563995 markings, 918872 edges, 930 markings/sec, 970 secs 569076 markings, 926992 edges, 1016 markings/sec, 975 secs 573876 markings, 934988 edges, 960 markings/sec, 980 secs 578932 markings, 942984 edges, 1011 markings/sec, 985 secs 583441 markings, 950493 edges, 902 markings/sec, 990 secs 588184 markings, 958307 edges, 949 markings/sec, 995 secs 592858 markings, 965885 edges, 935 markings/sec, 1000 secs 597901 markings, 973986 edges, 1009 markings/sec, 1005 secs 602729 markings, 981807 edges, 966 markings/sec, 1010 secs 607386 markings, 989344 edges, 931 markings/sec, 1015 secs 612485 markings, 997699 edges, 1020 markings/sec, 1020 secs 617646 markings, 1005980 edges, 1032 markings/sec, 1025 secs 622770 markings, 1014174 edges, 1025 markings/sec, 1030 secs 627138 markings, 1021661 edges, 874 markings/sec, 1035 secs 631349 markings, 1028468 edges, 842 markings/sec, 1040 secs 636103 markings, 1036155 edges, 951 markings/sec, 1045 secs 640800 markings, 1043977 edges, 939 markings/sec, 1050 secs 645393 markings, 1051230 edges, 919 markings/sec, 1055 secs 649719 markings, 1058527 edges, 865 markings/sec, 1060 secs 654701 markings, 1066537 edges, 996 markings/sec, 1065 secs 659475 markings, 1074294 edges, 955 markings/sec, 1070 secs 664249 markings, 1081963 edges, 955 markings/sec, 1075 secs 668323 markings, 1088687 edges, 815 markings/sec, 1080 secs 671976 markings, 1094639 edges, 731 markings/sec, 1085 secs 676076 markings, 1101240 edges, 820 markings/sec, 1090 secs 680016 markings, 1107778 edges, 788 markings/sec, 1095 secs 684537 markings, 1115109 edges, 904 markings/sec, 1100 secs 688502 markings, 1121481 edges, 793 markings/sec, 1105 secs 692235 markings, 1127556 edges, 747 markings/sec, 1110 secs 697056 markings, 1135363 edges, 964 markings/sec, 1115 secs 701712 markings, 1142881 edges, 931 markings/sec, 1120 secs 706579 markings, 1150731 edges, 973 markings/sec, 1125 secs 710468 markings, 1157155 edges, 778 markings/sec, 1130 secs 714516 markings, 1164132 edges, 810 markings/sec, 1135 secs 718957 markings, 1171392 edges, 888 markings/sec, 1140 secs 723852 markings, 1179291 edges, 979 markings/sec, 1145 secs 728457 markings, 1186989 edges, 921 markings/sec, 1150 secs 733324 markings, 1194620 edges, 973 markings/sec, 1155 secs 737911 markings, 1202277 edges, 917 markings/sec, 1160 secs 743105 markings, 1210589 edges, 1039 markings/sec, 1165 secs 747965 markings, 1218610 edges, 972 markings/sec, 1170 secs 752977 markings, 1226668 edges, 1002 markings/sec, 1175 secs 757383 markings, 1234088 edges, 881 markings/sec, 1180 secs 761963 markings, 1241535 edges, 916 markings/sec, 1185 secs 766839 markings, 1249588 edges, 975 markings/sec, 1190 secs 771929 markings, 1257758 edges, 1018 markings/sec, 1195 secs 776589 markings, 1265304 edges, 932 markings/sec, 1200 secs 781444 markings, 1273141 edges, 971 markings/sec, 1205 secs 786566 markings, 1281534 edges, 1024 markings/sec, 1210 secs 791679 markings, 1289746 edges, 1023 markings/sec, 1215 secs 796362 markings, 1297151 edges, 937 markings/sec, 1220 secs 800939 markings, 1304982 edges, 915 markings/sec, 1225 secs 806075 markings, 1313438 edges, 1027 markings/sec, 1230 secs 811277 markings, 1321939 edges, 1040 markings/sec, 1235 secs 816613 markings, 1330443 edges, 1067 markings/sec, 1240 secs 821628 markings, 1338720 edges, 1003 markings/sec, 1245 secs 826841 markings, 1347242 edges, 1043 markings/sec, 1250 secs 832104 markings, 1355863 edges, 1053 markings/sec, 1255 secs 837476 markings, 1364397 edges, 1074 markings/sec, 1260 secs 842485 markings, 1372658 edges, 1002 markings/sec, 1265 secs 847548 markings, 1380997 edges, 1013 markings/sec, 1270 secs 852645 markings, 1389363 edges, 1019 markings/sec, 1275 secs 858028 markings, 1397927 edges, 1077 markings/sec, 1280 secs 863047 markings, 1406207 edges, 1004 markings/sec, 1285 secs 868144 markings, 1414497 edges, 1019 markings/sec, 1290 secs 873406 markings, 1422997 edges, 1052 markings/sec, 1295 secs 878702 markings, 1431518 edges, 1059 markings/sec, 1300 secs 883649 markings, 1439611 edges, 989 markings/sec, 1305 secs 888357 markings, 1447615 edges, 942 markings/sec, 1310 secs 893544 markings, 1455957 edges, 1037 markings/sec, 1315 secs 898466 markings, 1464083 edges, 984 markings/sec, 1320 secs 903789 markings, 1472577 edges, 1065 markings/sec, 1325 secs 908848 markings, 1480980 edges, 1012 markings/sec, 1330 secs 913951 markings, 1489269 edges, 1021 markings/sec, 1335 secs 919087 markings, 1497637 edges, 1027 markings/sec, 1340 secs 924386 markings, 1506166 edges, 1060 markings/sec, 1345 secs 929468 markings, 1514507 edges, 1016 markings/sec, 1350 secs 934694 markings, 1523090 edges, 1045 markings/sec, 1355 secs 939948 markings, 1531666 edges, 1051 markings/sec, 1360 secs 945335 markings, 1540249 edges, 1077 markings/sec, 1365 secs 950570 markings, 1548812 edges, 1047 markings/sec, 1370 secs 955885 markings, 1557479 edges, 1063 markings/sec, 1375 secs 961141 markings, 1566112 edges, 1051 markings/sec, 1380 secs 966531 markings, 1574650 edges, 1078 markings/sec, 1385 secs 971393 markings, 1582830 edges, 972 markings/sec, 1390 secs 975543 markings, 1589457 edges, 830 markings/sec, 1395 secs 980227 markings, 1596964 edges, 937 markings/sec, 1400 secs 985142 markings, 1605094 edges, 983 markings/sec, 1405 secs 990136 markings, 1613104 edges, 999 markings/sec, 1410 secs 994703 markings, 1620865 edges, 913 markings/sec, 1415 secs 999784 markings, 1629084 edges, 1016 markings/sec, 1420 secs 1004880 markings, 1637381 edges, 1019 markings/sec, 1425 secs 1010072 markings, 1645684 edges, 1038 markings/sec, 1430 secs 1014817 markings, 1653436 edges, 949 markings/sec, 1435 secs 1019478 markings, 1661194 edges, 932 markings/sec, 1440 secs 1024099 markings, 1668544 edges, 924 markings/sec, 1445 secs 1029136 markings, 1676795 edges, 1007 markings/sec, 1450 secs 1033212 markings, 1683317 edges, 815 markings/sec, 1455 secs 1037515 markings, 1690390 edges, 861 markings/sec, 1460 secs 1042038 markings, 1697743 edges, 905 markings/sec, 1465 secs 1047024 markings, 1705762 edges, 997 markings/sec, 1470 secs 1051803 markings, 1713483 edges, 956 markings/sec, 1475 secs 1056418 markings, 1721143 edges, 923 markings/sec, 1480 secs 1060892 markings, 1728562 edges, 895 markings/sec, 1485 secs 1065541 markings, 1736247 edges, 930 markings/sec, 1490 secs 1070416 markings, 1744097 edges, 975 markings/sec, 1495 secs 1075443 markings, 1752246 edges, 1005 markings/sec, 1500 secs 1079979 markings, 1759794 edges, 907 markings/sec, 1505 secs 1084414 markings, 1767020 edges, 887 markings/sec, 1510 secs 1089540 markings, 1775253 edges, 1025 markings/sec, 1515 secs 1094570 markings, 1783515 edges, 1006 markings/sec, 1520 secs 1099467 markings, 1791201 edges, 979 markings/sec, 1525 secs 1103878 markings, 1798832 edges, 882 markings/sec, 1530 secs 1108946 markings, 1806946 edges, 1014 markings/sec, 1535 secs 1113849 markings, 1815051 edges, 981 markings/sec, 1540 secs 1118895 markings, 1823150 edges, 1009 markings/sec, 1545 secs 1123760 markings, 1830975 edges, 973 markings/sec, 1550 secs 1128494 markings, 1838777 edges, 947 markings/sec, 1555 secs 1133395 markings, 1846770 edges, 980 markings/sec, 1560 secs 1138504 markings, 1854943 edges, 1022 markings/sec, 1565 secs 1142814 markings, 1861926 edges, 862 markings/sec, 1570 secs 1147783 markings, 1870210 edges, 994 markings/sec, 1575 secs 1152939 markings, 1878477 edges, 1031 markings/sec, 1580 secs 1158114 markings, 1886997 edges, 1035 markings/sec, 1585 secs 1163341 markings, 1895379 edges, 1045 markings/sec, 1590 secs 1168433 markings, 1903891 edges, 1018 markings/sec, 1595 secs 1173788 markings, 1912539 edges, 1071 markings/sec, 1600 secs 1179087 markings, 1921102 edges, 1060 markings/sec, 1605 secs 1184349 markings, 1929570 edges, 1052 markings/sec, 1610 secs 1189409 markings, 1938012 edges, 1012 markings/sec, 1615 secs 1194601 markings, 1946496 edges, 1038 markings/sec, 1620 secs 1199791 markings, 1955032 edges, 1038 markings/sec, 1625 secs 1205122 markings, 1963505 edges, 1066 markings/sec, 1630 secs 1210238 markings, 1971904 edges, 1023 markings/sec, 1635 secs 1215313 markings, 1980160 edges, 1015 markings/sec, 1640 secs 1220602 markings, 1988701 edges, 1058 markings/sec, 1645 secs 1225860 markings, 1997152 edges, 1052 markings/sec, 1650 secs 1230792 markings, 2005443 edges, 986 markings/sec, 1655 secs 1235817 markings, 2013571 edges, 1005 markings/sec, 1660 secs 1241001 markings, 2022009 edges, 1037 markings/sec, 1665 secs 1246145 markings, 2030474 edges, 1029 markings/sec, 1670 secs 1251293 markings, 2038718 edges, 1030 markings/sec, 1675 secs 1256396 markings, 2047142 edges, 1021 markings/sec, 1680 secs 1261637 markings, 2055663 edges, 1048 markings/sec, 1685 secs 1266875 markings, 2064231 edges, 1048 markings/sec, 1690 secs 1272047 markings, 2072524 edges, 1034 markings/sec, 1695 secs 1276978 markings, 2080676 edges, 986 markings/sec, 1700 secs 1282282 markings, 2089292 edges, 1061 markings/sec, 1705 secs 1287465 markings, 2097812 edges, 1037 markings/sec, 1710 secs 1292678 markings, 2106168 edges, 1043 markings/sec, 1715 secs 1297729 markings, 2114461 edges, 1010 markings/sec, 1720 secs 1303182 markings, 2123223 edges, 1091 markings/sec, 1725 secs 1308329 markings, 2131595 edges, 1029 markings/sec, 1730 secs 1313556 markings, 2139934 edges, 1045 markings/sec, 1735 secs 1318298 markings, 2148022 edges, 948 markings/sec, 1740 secs 1322684 markings, 2155199 edges, 877 markings/sec, 1745 secs 1327243 markings, 2162628 edges, 912 markings/sec, 1750 secs 1332307 markings, 2170735 edges, 1013 markings/sec, 1755 secs 1336827 markings, 2178112 edges, 904 markings/sec, 1760 secs 1341473 markings, 2185653 edges, 929 markings/sec, 1765 secs 1346446 markings, 2193770 edges, 995 markings/sec, 1770 secs 1351440 markings, 2201877 edges, 999 markings/sec, 1775 secs 1356187 markings, 2209522 edges, 949 markings/sec, 1780 secs 1360585 markings, 2216891 edges, 880 markings/sec, 1785 secs 1364875 markings, 2223862 edges, 858 markings/sec, 1790 secs 1369798 markings, 2231917 edges, 985 markings/sec, 1795 secs 1374988 markings, 2240214 edges, 1038 markings/sec, 1800 secs 1379551 markings, 2247640 edges, 913 markings/sec, 1805 secs 1384325 markings, 2255353 edges, 955 markings/sec, 1810 secs 1389249 markings, 2263279 edges, 985 markings/sec, 1815 secs 1394000 markings, 2271149 edges, 950 markings/sec, 1820 secs 1398740 markings, 2278824 edges, 948 markings/sec, 1825 secs 1402723 markings, 2285462 edges, 797 markings/sec, 1830 secs 1406412 markings, 2291894 edges, 738 markings/sec, 1835 secs 1411056 markings, 2299423 edges, 929 markings/sec, 1840 secs 1415942 markings, 2307309 edges, 977 markings/sec, 1845 secs 1420914 markings, 2315484 edges, 994 markings/sec, 1850 secs 1425511 markings, 2322797 edges, 919 markings/sec, 1855 secs 1430191 markings, 2330533 edges, 936 markings/sec, 1860 secs 1435295 markings, 2338781 edges, 1021 markings/sec, 1865 secs 1440408 markings, 2347108 edges, 1023 markings/sec, 1870 secs 1445187 markings, 2354645 edges, 956 markings/sec, 1875 secs 1449481 markings, 2362009 edges, 859 markings/sec, 1880 secs 1454265 markings, 2369838 edges, 957 markings/sec, 1885 secs 1459280 markings, 2378027 edges, 1003 markings/sec, 1890 secs 1464250 markings, 2386083 edges, 994 markings/sec, 1895 secs 1469082 markings, 2393872 edges, 966 markings/sec, 1900 secs 1473761 markings, 2401554 edges, 936 markings/sec, 1905 secs 1478669 markings, 2409576 edges, 982 markings/sec, 1910 secs 1483811 markings, 2417820 edges, 1028 markings/sec, 1915 secs 1488450 markings, 2425165 edges, 928 markings/sec, 1920 secs 1493077 markings, 2433063 edges, 925 markings/sec, 1925 secs 1498191 markings, 2441458 edges, 1023 markings/sec, 1930 secs 1503310 markings, 2449882 edges, 1024 markings/sec, 1935 secs 1508546 markings, 2458224 edges, 1047 markings/sec, 1940 secs 1513580 markings, 2466525 edges, 1007 markings/sec, 1945 secs 1518727 markings, 2474929 edges, 1029 markings/sec, 1950 secs 1523994 markings, 2483408 edges, 1053 markings/sec, 1955 secs 1529265 markings, 2491904 edges, 1054 markings/sec, 1960 secs 1534299 markings, 2500244 edges, 1007 markings/sec, 1965 secs 1539458 markings, 2508552 edges, 1032 markings/sec, 1970 secs 1544530 markings, 2516901 edges, 1014 markings/sec, 1975 secs 1549821 markings, 2525429 edges, 1058 markings/sec, 1980 secs 1554948 markings, 2533737 edges, 1025 markings/sec, 1985 secs 1559985 markings, 2542037 edges, 1007 markings/sec, 1990 secs 1565307 markings, 2550525 edges, 1064 markings/sec, 1995 secs 1570539 markings, 2559080 edges, 1046 markings/sec, 2000 secs 1575564 markings, 2567245 edges, 1005 markings/sec, 2005 secs 1580324 markings, 2575291 edges, 952 markings/sec, 2010 secs 1585570 markings, 2583666 edges, 1049 markings/sec, 2015 secs 1590782 markings, 2592218 edges, 1042 markings/sec, 2020 secs 1596079 markings, 2600678 edges, 1059 markings/sec, 2025 secs 1601090 markings, 2609106 edges, 1002 markings/sec, 2030 secs 1606421 markings, 2617622 edges, 1066 markings/sec, 2035 secs 1611668 markings, 2626206 edges, 1049 markings/sec, 2040 secs 1617028 markings, 2634737 edges, 1072 markings/sec, 2045 secs 1621898 markings, 2643074 edges, 974 markings/sec, 2050 secs 1627202 markings, 2651677 edges, 1061 markings/sec, 2055 secs 1632439 markings, 2660231 edges, 1047 markings/sec, 2060 secs 1637815 markings, 2668798 edges, 1075 markings/sec, 2065 secs 1642900 markings, 2677253 edges, 1017 markings/sec, 2070 secs 1647736 markings, 2685108 edges, 967 markings/sec, 2075 secs 1653217 markings, 2694086 edges, 1096 markings/sec, 2080 secs 1658885 markings, 2703034 edges, 1134 markings/sec, 2085 secs 1664072 markings, 2711772 edges, 1037 markings/sec, 2090 secs 1669173 markings, 2719941 edges, 1020 markings/sec, 2095 secs 1674254 markings, 2728297 edges, 1016 markings/sec, 2100 secs 1679212 markings, 2736261 edges, 992 markings/sec, 2105 secs 1683777 markings, 2743740 edges, 913 markings/sec, 2110 secs 1688528 markings, 2751576 edges, 950 markings/sec, 2115 secs 1693644 markings, 2759921 edges, 1023 markings/sec, 2120 secs 1698904 markings, 2768394 edges, 1052 markings/sec, 2125 secs 1703751 markings, 2776215 edges, 969 markings/sec, 2130 secs 1708629 markings, 2784287 edges, 976 markings/sec, 2135 secs 1713744 markings, 2792457 edges, 1023 markings/sec, 2140 secs 1718903 markings, 2800945 edges, 1032 markings/sec, 2145 secs 1723570 markings, 2808501 edges, 933 markings/sec, 2150 secs 1728173 markings, 2815958 edges, 921 markings/sec, 2155 secs 1732951 markings, 2823888 edges, 956 markings/sec, 2160 secs 1737942 markings, 2831911 edges, 998 markings/sec, 2165 secs 1743119 markings, 2840183 edges, 1035 markings/sec, 2170 secs 1747683 markings, 2847645 edges, 913 markings/sec, 2175 secs 1752235 markings, 2855458 edges, 910 markings/sec, 2180 secs 1757225 markings, 2863487 edges, 998 markings/sec, 2185 secs 1762162 markings, 2871638 edges, 987 markings/sec, 2190 secs 1767256 markings, 2879788 edges, 1019 markings/sec, 2195 secs 1771961 markings, 2887645 edges, 941 markings/sec, 2200 secs 1776902 markings, 2895666 edges, 988 markings/sec, 2205 secs 1781817 markings, 2903706 edges, 983 markings/sec, 2210 secs 1787134 markings, 2912165 edges, 1063 markings/sec, 2215 secs 1791770 markings, 2919730 edges, 927 markings/sec, 2220 secs 1796474 markings, 2927531 edges, 941 markings/sec, 2225 secs 1801595 markings, 2935797 edges, 1024 markings/sec, 2230 secs 1806733 markings, 2944374 edges, 1028 markings/sec, 2235 secs 1809518 markings, 2948684 edges, 557 markings/sec, 2240 secs 1812220 markings, 2953116 edges, 540 markings/sec, 2245 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="JoinFreeModules-PT-5000"
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 JoinFreeModules-PT-5000, 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-155246550300993"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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