MCC'2019 - Execution of r049-oct2-155234405300570

About the Execution of LoLA for DLCshifumi-PT-5b

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15919.110	1840176.00	3652116.00	3738.00	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r049-oct2-155234405300570.qcow2',
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is DLCshifumi-PT-5b, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405300570
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.9M
-rw-r--r-- 1 mcc users 3.5K Feb 10 11:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 10 11:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 6 09:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 6 09:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.
-rw-r--r-- 1 mcc users 103 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 23:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.1K Feb 4 23:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:34
-rw-r--r-- 1 mcc users 9.3K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 3 03:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 3 03:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 30 17:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 30 17:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 9.7M 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 DLCshifumi-PT-5b-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552465844849

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DLCshifumi-PT-5b @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1730
rslt: Output for GlobalProperties @ DLCshifumi-PT-5b
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: 66995/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 27146
lola: finding significant places
lola: 27146 places, 39849 transitions, 25768 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompresse
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given
lola: findpath: starting randomized, memory-less exploration
lola: findpath: searching for paths with maximal depth 1000000
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: 1 tries, 497439 fired transitions, 0 secs
lola: 29 generators;226323452 candidates remain ( 0%),
lola: 1 tries, 999224 fired transitions, 5 secs
lola: 76 generators;95406393 candidates remain ( 0%),
lola: computed 128 generators (128 in search tree, 0 by composition
lola: representing 3.40282E+38 symmetries
lola: 0 dead branches visited in search tree
lola: 2 tries, 1486136 fired transitions, 10 secs ||
lola: 2 tries, 1965076 fired transitions, 15 secs ||
lola: 3 tries, 2445063 fired transitions, 20 secs ||
lola: 3 tries, 2937000 fired transitions, 25 secs ||
lola: 4 tries, 3426660 fired transitions, 30 secs ||
lola: 4 tries, 3918331 fired transitions, 35 secs ||
lola: 5 tries, 4407914 fired transitions, 40 secs ||
lola: 5 tries, 4895230 fired transitions, 45 secs ||
lola: 6 tries, 5372471 fired transitions, 50 secs ||
lola: 6 tries, 5855759 fired transitions, 55 secs ||
lola: 7 tries, 6342375 fired transitions, 60 secs ||
lola: 7 tries, 6833012 fired transitions, 65 secs ||
lola: 8 tries, 7321983 fired transitions, 70 secs ||
lola: 8 tries, 7812455 fired transitions, 75 secs ||
lola: 9 tries, 8301175 fired transitions, 80 secs ||
lola: 9 tries, 8791152 fired transitions, 85 secs ||
lola: 10 tries, 9280502 fired transitions, 90 secs ||
lola: 10 tries, 9771610 fired transitions, 95 secs ||
lola: 11 tries, 10260125 fired transitions, 100 secs ||
lola: 11 tries, 10748786 fired transitions, 105 secs ||
lola: 12 tries, 11236765 fired transitions, 110 secs ||
lola: 12 tries, 11727178 fired transitions, 115 secs ||
lola: 13 tries, 12215595 fired transitions, 120 secs ||
lola: 13 tries, 12705511 fired transitions, 125 secs ||
lola: 14 tries, 13193937 fired transitions, 130 secs ||
lola: 14 tries, 13684766 fired transitions, 135 secs ||
lola: 15 tries, 14172713 fired transitions, 140 secs ||
lola: 15 tries, 14663265 fired transitions, 145 secs ||
lola: 16 tries, 15142919 fired transitions, 150 secs ||
lola: 16 tries, 15621712 fired transitions, 155 secs ||
lola: 17 tries, 16105760 fired transitions, 160 secs ||
lola: 17 tries, 16590718 fired transitions, 165 secs ||
lola: 18 tries, 17076892 fired transitions, 170 secs ||
lola: 18 tries, 17561079 fired transitions, 175 secs ||
lola: 19 tries, 18051237 fired transitions, 180 secs ||
lola: 19 tries, 18538935 fired transitions, 185 secs ||
lola: 20 tries, 19022148 fired transitions, 190 secs ||
lola: 20 tries, 19518199 fired transitions, 195 secs ||
lola: 21 tries, 20008953 fired transitions, 200 secs ||
lola: 21 tries, 20497599 fired transitions, 205 secs ||
lola: 21 tries, 20987679 fired transitions, 210 secs ||
lola: 22 tries, 21475907 fired transitions, 215 secs ||
lola: 22 tries, 21966233 fired transitions, 220 secs ||
lola: 23 tries, 22454852 fired transitions, 225 secs ||
lola: 23 tries, 22945214 fired transitions, 230 secs ||
lola: 24 tries, 23435031 fired transitions, 235 secs ||
lola: 24 tries, 23925491 fired transitions, 240 secs ||
lola: 25 tries, 24414066 fired transitions, 245 secs ||
lola: 25 tries, 24894988 fired transitions, 250 secs ||
lola: 26 tries, 25383375 fired transitions, 255 secs ||
lola: 26 tries, 25873778 fired transitions, 260 secs ||
lola: 27 tries, 26362480 fired transitions, 265 secs ||
lola: 27 tries, 26852617 fired transitions, 270 secs ||
lola: 28 tries, 27340034 fired transitions, 275 secs ||
lola: 28 tries, 27830502 fired transitions, 280 secs ||
lola: 29 tries, 28318992 fired transitions, 285 secs ||
lola: 29 tries, 28809817 fired transitions, 290 secs ||
lola: 30 tries, 29298919 fired transitions, 295 secs ||
lola: 30 tries, 29788942 fired transitions, 300 secs ||
lola: 31 tries, 30277539 fired transitions, 305 secs ||
lola: 31 tries, 30768404 fired transitions, 310 secs ||
lola: 32 tries, 31257701 fired transitions, 315 secs ||
lola: 32 tries, 31748535 fired transitions, 320 secs ||
lola: 33 tries, 32236226 fired transitions, 325 secs ||
lola: 33 tries, 32726547 fired transitions, 330 secs ||
lola: 34 tries, 33215538 fired transitions, 335 secs ||
lola: 34 tries, 33705375 fired transitions, 340 secs ||
lola: 35 tries, 34194725 fired transitions, 345 secs ||
lola: 35 tries, 34684594 fired transitions, 350 secs ||
lola: 36 tries, 35174051 fired transitions, 355 secs ||
lola: 36 tries, 35663938 fired transitions, 360 secs ||
lola: 37 tries, 36153320 fired transitions, 365 secs ||
lola: 37 tries, 36644220 fired transitions, 370 secs ||
lola: 38 tries, 37132824 fired transitions, 375 secs ||
lola: 38 tries, 37622849 fired transitions, 380 secs ||
lola: 39 tries, 38110299 fired transitions, 385 secs ||
lola: 39 tries, 38600141 fired transitions, 390 secs ||
lola: 40 tries, 39088803 fired transitions, 395 secs ||
lola: 40 tries, 39579399 fired transitions, 400 secs ||
lola: 41 tries, 40068019 fired transitions, 405 secs ||
lola: 41 tries, 40558867 fired transitions, 410 secs ||
lola: 42 tries, 41048118 fired transitions, 415 secs ||
lola: 42 tries, 41539219 fired transitions, 420 secs ||
lola: 43 tries, 42027150 fired transitions, 425 secs ||
lola: 43 tries, 42517108 fired transitions, 430 secs ||
lola: 44 tries, 43006532 fired transitions, 435 secs ||
lola: 44 tries, 43496383 fired transitions, 440 secs ||
lola: 44 tries, 43986543 fired transitions, 445 secs ||
lola: 45 tries, 44475235 fired transitions, 450 secs ||
lola: 45 tries, 44965816 fired transitions, 455 secs ||
lola: 46 tries, 45454079 fired transitions, 460 secs ||
lola: 46 tries, 45944305 fired transitions, 465 secs ||
lola: 47 tries, 46433388 fired transitions, 470 secs ||
lola: 47 tries, 46924245 fired transitions, 475 secs ||
lola: 48 tries, 47388991 fired transitions, 480 secs ||
lola: 48 tries, 47836734 fired transitions, 485 secs ||
lola: 49 tries, 48293648 fired transitions, 490 secs ||
lola: 49 tries, 48732070 fired transitions, 495 secs ||
lola: 50 tries, 49167888 fired transitions, 500 secs ||
lola: 50 tries, 49607701 fired transitions, 505 secs ||
lola: 51 tries, 50044777 fired transitions, 510 secs ||
lola: 51 tries, 50483793 fired transitions, 515 secs ||
lola: 51 tries, 50923466 fired transitions, 520 secs ||
lola: 52 tries, 51382292 fired transitions, 525 secs ||
lola: 52 tries, 51873258 fired transitions, 530 secs ||
lola: 53 tries, 52364286 fired transitions, 535 secs ||
lola: 53 tries, 52854999 fired transitions, 540 secs ||
lola: 54 tries, 53347447 fired transitions, 545 secs ||
lola: 54 tries, 53845568 fired transitions, 550 secs ||
lola: 55 tries, 54337532 fired transitions, 555 secs ||
lola: 55 tries, 54808911 fired transitions, 560 secs ||
lola: 56 tries, 55246007 fired transitions, 565 secs ||
lola: 56 tries, 55683015 fired transitions, 570 secs ||
lola: 57 tries, 56131573 fired transitions, 575 secs ||
lola: 57 tries, 56622335 fired transitions, 580 secs ||
lola: 58 tries, 57111458 fired transitions, 585 secs ||
lola: 58 tries, 57602284 fired transitions, 590 secs ||
lola: 59 tries, 58091280 fired transitions, 595 secs ||
lola: 59 tries, 58581792 fired transitions, 600 secs ||
lola: 60 tries, 59070754 fired transitions, 605 secs ||
lola: 60 tries, 59561479 fired transitions, 610 secs ||
lola: 61 tries, 60050285 fired transitions, 615 secs ||
lola: 61 tries, 60540944 fired transitions, 620 secs ||
lola: 62 tries, 61029878 fired transitions, 625 secs ||
lola: 62 tries, 61520675 fired transitions, 630 secs ||
lola: 63 tries, 62009585 fired transitions, 635 secs ||
lola: 63 tries, 62500433 fired transitions, 640 secs ||
lola: 63 tries, 62991060 fired transitions, 645 secs ||
lola: 64 tries, 63478559 fired transitions, 650 secs ||
lola: 64 tries, 63968768 fired transitions, 655 secs ||
lola: 65 tries, 64455065 fired transitions, 660 secs ||
lola: 65 tries, 64945427 fired transitions, 665 secs ||
lola: 66 tries, 65433986 fired transitions, 670 secs ||
lola: 66 tries, 65924127 fired transitions, 675 secs ||
lola: 67 tries, 66413094 fired transitions, 680 secs ||
lola: 67 tries, 66903602 fired transitions, 685 secs ||
lola: 68 tries, 67392398 fired transitions, 690 secs ||
lola: 68 tries, 67883023 fired transitions, 695 secs ||
lola: 69 tries, 68372360 fired transitions, 700 secs ||
lola: 69 tries, 68862902 fired transitions, 705 secs ||
lola: 70 tries, 69337452 fired transitions, 710 secs ||
lola: 70 tries, 69797305 fired transitions, 715 secs ||
lola: 71 tries, 70275826 fired transitions, 720 secs ||
lola: 71 tries, 70750383 fired transitions, 725 secs ||
lola: 72 tries, 71238241 fired transitions, 730 secs ||
lola: 72 tries, 71728421 fired transitions, 735 secs ||
lola: 73 tries, 72217182 fired transitions, 740 secs ||
lola: 73 tries, 72707737 fired transitions, 745 secs ||
lola: 74 tries, 73196495 fired transitions, 750 secs ||
lola: 74 tries, 73686917 fired transitions, 755 secs ||
lola: 75 tries, 74176283 fired transitions, 760 secs ||
lola: 75 tries, 74665299 fired transitions, 765 secs ||
lola: 76 tries, 75154794 fired transitions, 770 secs ||
lola: 76 tries, 75646021 fired transitions, 775 secs ||
lola: 77 tries, 76135800 fired transitions, 780 secs ||
lola: 77 tries, 76626639 fired transitions, 785 secs ||
lola: 78 tries, 77105981 fired transitions, 790 secs ||
lola: 78 tries, 77596768 fired transitions, 795 secs ||
lola: 79 tries, 78085933 fired transitions, 800 secs ||
lola: 79 tries, 78576918 fired transitions, 805 secs ||
lola: 80 tries, 79066229 fired transitions, 810 secs ||
lola: 80 tries, 79556888 fired transitions, 815 secs ||
lola: 81 tries, 80046187 fired transitions, 820 secs ||
lola: 81 tries, 80536985 fired transitions, 825 secs ||
lola: 82 tries, 81026104 fired transitions, 830 secs ||
lola: 82 tries, 81508683 fired transitions, 835 secs ||
lola: 82 tries, 81989247 fired transitions, 840 secs ||
lola: 83 tries, 82478175 fired transitions, 845 secs ||
lola: 83 tries, 82968559 fired transitions, 850 secs ||
lola: 84 tries, 83457635 fired transitions, 855 secs ||
lola: 84 tries, 83948555 fired transitions, 860 secs ||
lola: 85 tries, 84436970 fired transitions, 865 secs ||
lola: 85 tries, 84927871 fired transitions, 870 secs ||
lola: 86 tries, 85417296 fired transitions, 875 secs ||
lola: 86 tries, 85902546 fired transitions, 880 secs ||
lola: 87 tries, 86356192 fired transitions, 885 secs ||
lola: 87 tries, 86846284 fired transitions, 890 secs ||
lola: 88 tries, 87335318 fired transitions, 895 secs ||
lola: 88 tries, 87825906 fired transitions, 900 secs ||
lola: 89 tries, 88315034 fired transitions, 905 secs ||
lola: 89 tries, 88805983 fired transitions, 910 secs ||
lola: 90 tries, 89295218 fired transitions, 915 secs ||
lola: 90 tries, 89786347 fired transitions, 920 secs ||
lola: 91 tries, 90275688 fired transitions, 925 secs ||
lola: 91 tries, 90768944 fired transitions, 930 secs ||
lola: 92 tries, 91257803 fired transitions, 935 secs ||
lola: 92 tries, 91745200 fired transitions, 940 secs ||
lola: 93 tries, 92234175 fired transitions, 945 secs ||
lola: 93 tries, 92725082 fired transitions, 950 secs ||
lola: 94 tries, 93214399 fired transitions, 955 secs ||
lola: 94 tries, 93705358 fired transitions, 960 secs ||
lola: 95 tries, 94194859 fired transitions, 965 secs ||
lola: 95 tries, 94686270 fired transitions, 970 secs ||
lola: 96 tries, 95175929 fired transitions, 975 secs ||
lola: 96 tries, 95667320 fired transitions, 980 secs ||
lola: 97 tries, 96161446 fired transitions, 985 secs ||
lola: 97 tries, 96661647 fired transitions, 990 secs ||
lola: 98 tries, 97160526 fired transitions, 995 secs ||
lola: 98 tries, 97657575 fired transitions, 1000 secs ||
lola: 99 tries, 98147094 fired transitions, 1005 secs ||
lola: 99 tries, 98638514 fired transitions, 1010 secs ||
lola: 100 tries, 99127770 fired transitions, 1015 secs ||
lola: 100 tries, 99619243 fired transitions, 1020 secs ||
lola: 101 tries, 100109151 fired transitions, 1025 secs ||
lola: 101 tries, 100600636 fired transitions, 1030 secs ||
lola: 102 tries, 101093364 fired transitions, 1035 secs ||
lola: 102 tries, 101591986 fired transitions, 1040 secs ||
lola: 103 tries, 102081034 fired transitions, 1045 secs ||
lola: 103 tries, 102571501 fired transitions, 1050 secs ||
lola: 104 tries, 103060575 fired transitions, 1055 secs ||
lola: 104 tries, 103551869 fired transitions, 1060 secs ||
lola: 105 tries, 104041443 fired transitions, 1065 secs ||
lola: 105 tries, 104532652 fired transitions, 1070 secs ||
lola: 106 tries, 105020252 fired transitions, 1075 secs ||
lola: 106 tries, 105511233 fired transitions, 1080 secs ||
lola: 107 tries, 106001144 fired transitions, 1085 secs ||
lola: 107 tries, 106490849 fired transitions, 1090 secs ||
lola: 107 tries, 106980891 fired transitions, 1095 secs ||
lola: 108 tries, 107458541 fired transitions, 1100 secs ||
lola: 108 tries, 107936175 fired transitions, 1105 secs ||
lola: 109 tries, 108423182 fired transitions, 1110 secs ||
lola: 109 tries, 108911590 fired transitions, 1115 secs ||
lola: 110 tries, 109400705 fired transitions, 1120 secs ||
lola: 110 tries, 109891768 fired transitions, 1125 secs ||
lola: 111 tries, 110381420 fired transitions, 1130 secs ||
lola: 111 tries, 110872452 fired transitions, 1135 secs ||
lola: 112 tries, 111363926 fired transitions, 1140 secs ||
lola: 112 tries, 111854735 fired transitions, 1145 secs ||
lola: 113 tries, 112329143 fired transitions, 1150 secs ||
lola: 113 tries, 112810800 fired transitions, 1155 secs ||
lola: 114 tries, 113286586 fired transitions, 1160 secs ||
lola: 114 tries, 113762911 fired transitions, 1165 secs ||
lola: 115 tries, 114240537 fired transitions, 1170 secs ||
lola: 115 tries, 114719335 fired transitions, 1175 secs ||
lola: 116 tries, 115202904 fired transitions, 1180 secs ||
lola: 116 tries, 115678688 fired transitions, 1185 secs ||
lola: 117 tries, 116159879 fired transitions, 1190 secs ||
lola: 117 tries, 116643833 fired transitions, 1195 secs ||
lola: 118 tries, 117131265 fired transitions, 1200 secs ||
lola: 118 tries, 117622184 fired transitions, 1205 secs ||
lola: 119 tries, 118111614 fired transitions, 1210 secs ||
lola: 119 tries, 118602380 fired transitions, 1215 secs ||
lola: 120 tries, 119091854 fired transitions, 1220 secs ||
lola: 120 tries, 119583171 fired transitions, 1225 secs ||
lola: 121 tries, 120072887 fired transitions, 1230 secs ||
lola: 121 tries, 120566736 fired transitions, 1235 secs ||
lola: 122 tries, 121056332 fired transitions, 1240 secs ||
lola: 122 tries, 121547550 fired transitions, 1245 secs ||
lola: 123 tries, 122036163 fired transitions, 1250 secs ||
lola: 123 tries, 122525717 fired transitions, 1255 secs ||
lola: 124 tries, 123012438 fired transitions, 1260 secs ||
lola: 124 tries, 123502183 fired transitions, 1265 secs ||
lola: 124 tries, 123991885 fired transitions, 1270 secs ||
lola: 125 tries, 124479524 fired transitions, 1275 secs ||
lola: 125 tries, 124970103 fired transitions, 1280 secs ||
lola: 126 tries, 125459201 fired transitions, 1285 secs ||
lola: 126 tries, 125949021 fired transitions, 1290 secs ||
lola: 127 tries, 126436999 fired transitions, 1295 secs ||
lola: 127 tries, 126927817 fired transitions, 1300 secs ||
lola: 128 tries, 127416383 fired transitions, 1305 secs ||
lola: 128 tries, 127906852 fired transitions, 1310 secs ||
lola: 129 tries, 128402077 fired transitions, 1315 secs ||
lola: 129 tries, 128898887 fired transitions, 1320 secs ||
lola: 130 tries, 129392457 fired transitions, 1325 secs ||
lola: 130 tries, 129887567 fired transitions, 1330 secs ||
lola: 131 tries, 130376437 fired transitions, 1335 secs ||
lola: 131 tries, 130865031 fired transitions, 1340 secs ||
lola: 132 tries, 131353023 fired transitions, 1345 secs ||
lola: 132 tries, 131850017 fired transitions, 1350 secs ||
lola: 133 tries, 132339271 fired transitions, 1355 secs ||
lola: 133 tries, 132821185 fired transitions, 1360 secs ||
lola: 134 tries, 133295183 fired transitions, 1365 secs ||
lola: 134 tries, 133781673 fired transitions, 1370 secs ||
lola: 135 tries, 134267968 fired transitions, 1375 secs ||
lola: 135 tries, 134758153 fired transitions, 1380 secs ||
lola: 136 tries, 135245996 fired transitions, 1385 secs ||
lola: 136 tries, 135736001 fired transitions, 1390 secs ||
lola: 137 tries, 136223215 fired transitions, 1395 secs ||
lola: 137 tries, 136710337 fired transitions, 1400 secs ||
lola: 138 tries, 137199330 fired transitions, 1405 secs ||
lola: 138 tries, 137689252 fired transitions, 1410 secs ||
lola: 139 tries, 138178503 fired transitions, 1415 secs ||
lola: 139 tries, 138669227 fired transitions, 1420 secs ||
lola: 140 tries, 139158108 fired transitions, 1425 secs ||
lola: 140 tries, 139648855 fired transitions, 1430 secs ||
lola: 141 tries, 140137789 fired transitions, 1435 secs ||
lola: 141 tries, 140628672 fired transitions, 1440 secs ||
lola: 142 tries, 141117695 fired transitions, 1445 secs ||
lola: 142 tries, 141608687 fired transitions, 1450 secs ||
lola: 143 tries, 142097889 fired transitions, 1455 secs ||
lola: 143 tries, 142588459 fired transitions, 1460 secs ||
lola: 144 tries, 143079382 fired transitions, 1465 secs ||
lola: 144 tries, 143570035 fired transitions, 1470 secs ||
lola: 145 tries, 144061442 fired transitions, 1475 secs ||
lola: 145 tries, 144552349 fired transitions, 1480 secs ||
lola: 146 tries, 145041030 fired transitions, 1485 secs ||
lola: 146 tries, 145531600 fired transitions, 1490 secs ||
lola: 147 tries, 146020426 fired transitions, 1495 secs ||
lola: 147 tries, 146511176 fired transitions, 1500 secs ||
lola: 148 tries, 147001235 fired transitions, 1505 secs ||
lola: 148 tries, 147490575 fired transitions, 1510 secs ||
lola: 148 tries, 147981273 fired transitions, 1515 secs ||
lola: 149 tries, 148470295 fired transitions, 1520 secs ||
lola: 149 tries, 148961006 fired transitions, 1525 secs ||
lola: 150 tries, 149416116 fired transitions, 1530 secs ||
lola: 150 tries, 149882841 fired transitions, 1535 secs ||
lola: 151 tries, 150370625 fired transitions, 1540 secs ||
lola: 151 tries, 150860698 fired transitions, 1545 secs ||
lola: 152 tries, 151348989 fired transitions, 1550 secs ||
lola: 152 tries, 151838855 fired transitions, 1555 secs ||
lola: 153 tries, 152327566 fired transitions, 1560 secs ||
lola: 153 tries, 152817936 fired transitions, 1565 secs ||
lola: 154 tries, 153305650 fired transitions, 1570 secs ||
lola: 154 tries, 153794378 fired transitions, 1575 secs ||
lola: 155 tries, 154282116 fired transitions, 1580 secs ||
lola: 155 tries, 154771131 fired transitions, 1585 secs ||
lola: 156 tries, 155258435 fired transitions, 1590 secs ||
lola: 156 tries, 155746944 fired transitions, 1595 secs ||
lola: 157 tries, 156234239 fired transitions, 1600 secs ||
lola: 157 tries, 156724002 fired transitions, 1605 secs ||
lola: 158 tries, 157210320 fired transitions, 1610 secs ||
lola: 158 tries, 157699559 fired transitions, 1615 secs ||
lola: 159 tries, 158186942 fired transitions, 1620 secs ||
lola: 159 tries, 158675903 fired transitions, 1625 secs ||
lola: 160 tries, 159163481 fired transitions, 1630 secs ||
lola: 160 tries, 159653536 fired transitions, 1635 secs ||
lola: 161 tries, 160140808 fired transitions, 1640 secs ||
lola: 161 tries, 160630384 fired transitions, 1645 secs ||
lola: 162 tries, 161118349 fired transitions, 1650 secs ||
lola: 162 tries, 161607199 fired transitions, 1655 secs ||
lola: 163 tries, 162095205 fired transitions, 1660 secs ||
lola: 163 tries, 162584991 fired transitions, 1665 secs ||
lola: 164 tries, 163073897 fired transitions, 1670 secs ||
lola: 164 tries, 163564160 fired transitions, 1675 secs ||
lola: 165 tries, 164052804 fired transitions, 1680 secs ||
lola: 165 tries, 164543275 fired transitions, 1685 secs ||
lola: 166 tries, 165032335 fired transitions, 1690 secs ||
lola: 166 tries, 165522523 fired transitions, 1695 secs ||
lola: 167 tries, 166003154 fired transitions, 1700 secs ||
lola: 167 tries, 166472832 fired transitions, 1705 secs ||
lola: 167 tries, 166962540 fired transitions, 1710 secs ||
lola: 168 tries, 167440053 fired transitions, 1715 secs ||
lola: 168 tries, 167930459 fired transitions, 1720 secs ||
lola: 169 tries, 168420355 fired transitions, 1725 secs ||
lola: 169 tries, 168911623 fired transitions, 1730 secs ||
lola: 170 tries, 169401727 fired transitions, 1735 secs ||
lola: 170 tries, 169892071 fired transitions, 1740 secs ||
lola: 171 tries, 170381790 fired transitions, 1745 secs ||
lola: 171 tries, 170873535 fired transitions, 1750 secs ||
lola: 172 tries, 171117201 fired transitions, 1755 secs ||
lola: 172 tries, 171125843 fired transitions, 1760 secs ||
lola: 172 tries, 171155501 fired transitions, 1765 secs ||
lola: 172 tries, 171206730 fired transitions, 1770 secs ||
lola: 172 tries, 171309883 fired transitions, 1775 secs ||
lola: 172 tries, 171449122 fired transitions, 1780 secs ||
Killed
rslt: finished

BK_STOP 1552467685025

--------------------
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=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 xml LTLFireability.txt template) (--findpath=par) d) set method with insertion algorithm (--stubborn=tarjan) method with insertion algorithm (--stubborn=tarjan) (--symmtimelimit) (--findpath) (--depthlimit) 0 secs 5 secs ) 8530 markings, 8615 edges, 1706 markings/sec, 10 secs 24552 markings, 25871 edges, 3204 markings/sec, 15 secs 41613 markings, 44383 edges, 3412 markings/sec, 20 secs 59533 markings, 63908 edges, 3584 markings/sec, 25 secs 77260 markings, 83265 edges, 3545 markings/sec, 30 secs 94829 markings, 102496 edges, 3514 markings/sec, 35 secs 112376 markings, 121641 edges, 3509 markings/sec, 40 secs 129980 markings, 140807 edges, 3521 markings/sec, 45 secs 147012 markings, 159445 edges, 3406 markings/sec, 50 secs 163786 markings, 177943 edges, 3355 markings/sec, 55 secs 180427 markings, 196157 edges, 3328 markings/sec, 60 secs 196877 markings, 214168 edges, 3290 markings/sec, 65 secs 212995 markings, 231982 edges, 3224 markings/sec, 70 secs 228741 markings, 249360 edges, 3149 markings/sec, 75 secs 243653 markings, 265728 edges, 2982 markings/sec, 80 secs 258774 markings, 282379 edges, 3024 markings/sec, 85 secs 274587 markings, 299887 edges, 3163 markings/sec, 90 secs 290474 markings, 317548 edges, 3177 markings/sec, 95 secs 305555 markings, 334261 edges, 3016 markings/sec, 100 secs 320740 markings, 351196 edges, 3037 markings/sec, 105 secs 335072 markings, 367162 edges, 2866 markings/sec, 110 secs 349943 markings, 383981 edges, 2974 markings/sec, 115 secs 364356 markings, 400110 edges, 2883 markings/sec, 120 secs 378484 markings, 415868 edges, 2826 markings/sec, 125 secs 392930 markings, 432017 edges, 2889 markings/sec, 130 secs 409181 markings, 450279 edges, 3250 markings/sec, 135 secs 425152 markings, 468166 edges, 3194 markings/sec, 140 secs 441197 markings, 486173 edges, 3209 markings/sec, 145 secs 456860 markings, 503716 edges, 3133 markings/sec, 150 secs 472021 markings, 520420 edges, 3032 markings/sec, 155 secs 487460 markings, 537526 edges, 3088 markings/sec, 160 secs 502555 markings, 554359 edges, 3019 markings/sec, 165 secs 517911 markings, 571526 edges, 3071 markings/sec, 170 secs 533966 markings, 589719 edges, 3211 markings/sec, 175 secs 550441 markings, 608401 edges, 3295 markings/sec, 180 secs 566070 markings, 625766 edges, 3126 markings/sec, 185 secs 581764 markings, 643251 edges, 3139 markings/sec, 190 secs 597752 markings, 661011 edges, 3198 markings/sec, 195 secs 613183 markings, 677993 edges, 3086 markings/sec, 200 secs 628897 markings, 695464 edges, 3143 markings/sec, 205 secs 645011 markings, 713756 edges, 3223 markings/sec, 210 secs 661071 markings, 731880 edges, 3212 markings/sec, 215 secs 676985 markings, 749861 edges, 3183 markings/sec, 220 secs 692824 markings, 767761 edges, 3168 markings/sec, 225 secs 708897 markings, 785975 edges, 3215 markings/sec, 230 secs 725204 markings, 804486 edges, 3261 markings/sec, 235 secs 741335 markings, 822657 edges, 3226 markings/sec, 240 secs 757152 markings, 840454 edges, 3163 markings/sec, 245 secs 772706 markings, 858056 edges, 3111 markings/sec, 250 secs 788588 markings, 875990 edges, 3176 markings/sec, 255 secs 804638 markings, 894208 edges, 3210 markings/sec, 260 secs 820818 markings, 912572 edges, 3236 markings/sec, 265 secs 836718 markings, 930515 edges, 3180 markings/sec, 270 secs 852909 markings, 948949 edges, 3238 markings/sec, 275 secs 868917 markings, 967017 edges, 3202 markings/sec, 280 secs 885063 markings, 985310 edges, 3229 markings/sec, 285 secs 901238 markings, 1003637 edges, 3235 markings/sec, 290 secs 917504 markings, 1022101 edges, 3253 markings/sec, 295 secs 933671 markings, 1040475 edges, 3233 markings/sec, 300 secs 949239 markings, 1057947 edges, 3114 markings/sec, 305 secs 965394 markings, 1076242 edges, 3231 markings/sec, 310 secs 981736 markings, 1094862 edges, 3268 markings/sec, 315 secs 997758 markings, 1112984 edges, 3204 markings/sec, 320 secs 1013705 markings, 1131004 edges, 3189 markings/sec, 325 secs 1029416 markings, 1148691 edges, 3142 markings/sec, 330 secs 1045419 markings, 1166849 edges, 3201 markings/sec, 335 secs 1061357 markings, 1184907 edges, 3188 markings/sec, 340 secs 1077186 markings, 1202594 edges, 3166 markings/sec, 345 secs 1093578 markings, 1221044 edges, 3278 markings/sec, 350 secs 1109569 markings, 1238986 edges, 3198 markings/sec, 355 secs 1125158 markings, 1256375 edges, 3118 markings/sec, 360 secs 1141001 markings, 1274160 edges, 3169 markings/sec, 365 secs 1156897 markings, 1291996 edges, 3179 markings/sec, 370 secs 1172345 markings, 1309221 edges, 3090 markings/sec, 375 secs 1187226 markings, 1325622 edges, 2976 markings/sec, 380 secs 1202585 markings, 1342807 edges, 3072 markings/sec, 385 secs 1217717 markings, 1359666 edges, 3026 markings/sec, 390 secs 1233156 markings, 1377008 edges, 3088 markings/sec, 395 secs 1248923 markings, 1394824 edges, 3153 markings/sec, 400 secs 1263746 markings, 1411306 edges, 2965 markings/sec, 405 secs 1279584 markings, 1429009 edges, 3168 markings/sec, 410 secs 1295419 markings, 1446713 edges, 3167 markings/sec, 415 secs 1311535 markings, 1464842 edges, 3223 markings/sec, 420 secs 1327179 markings, 1482337 edges, 3129 markings/sec, 425 secs 1342913 markings, 1499945 edges, 3147 markings/sec, 430 secs 1358656 markings, 1517639 edges, 3149 markings/sec, 435 secs 1374018 markings, 1534762 edges, 3072 markings/sec, 440 secs 1389522 markings, 1552144 edges, 3101 markings/sec, 445 secs 1405094 markings, 1569706 edges, 3114 markings/sec, 450 secs 1420563 markings, 1586981 edges, 3094 markings/sec, 455 secs 1436326 markings, 1604736 edges, 3153 markings/sec, 460 secs 1451959 markings, 1622235 edges, 3127 markings/sec, 465 secs 1467600 markings, 1639705 edges, 3128 markings/sec, 470 secs 1483422 markings, 1657445 edges, 3164 markings/sec, 475 secs 1497854 markings, 1673448 edges, 2886 markings/sec, 480 secs 1511902 markings, 1689187 edges, 2810 markings/sec, 485 secs 1526955 markings, 1706238 edges, 3011 markings/sec, 490 secs 1540513 markings, 1721345 edges, 2712 markings/sec, 495 secs 1553889 markings, 1736162 edges, 2675 markings/sec, 500 secs 1567667 markings, 1751627 edges, 2756 markings/sec, 505 secs 1581271 markings, 1766788 edges, 2721 markings/sec, 510 secs 1594857 markings, 1782000 edges, 2717 markings/sec, 515 secs 1608709 markings, 1797560 edges, 2770 markings/sec, 520 secs 1623666 markings, 1814534 edges, 2991 markings/sec, 525 secs 1639871 markings, 1832765 edges, 3241 markings/sec, 530 secs 1655589 markings, 1850270 edges, 3144 markings/sec, 535 secs 1670902 markings, 1867221 edges, 3063 markings/sec, 540 secs 1686434 markings, 1884492 edges, 3106 markings/sec, 545 secs 1702307 markings, 1902210 edges, 3175 markings/sec, 550 secs 1718118 markings, 1919902 edges, 3162 markings/sec, 555 secs 1732912 markings, 1936374 edges, 2959 markings/sec, 560 secs 1746356 markings, 1951363 edges, 2689 markings/sec, 565 secs 1759320 markings, 1965640 edges, 2593 markings/sec, 570 secs 1772955 markings, 1980730 edges, 2727 markings/sec, 575 secs 1788619 markings, 1998188 edges, 3133 markings/sec, 580 secs 1804209 markings, 2015595 edges, 3118 markings/sec, 585 secs 1820096 markings, 2033433 edges, 3177 markings/sec, 590 secs 1835963 markings, 2051271 edges, 3173 markings/sec, 595 secs 1851267 markings, 2068256 edges, 3061 markings/sec, 600 secs 1867235 markings, 2086241 edges, 3194 markings/sec, 605 secs 1883289 markings, 2104325 edges, 3211 markings/sec, 610 secs 1899280 markings, 2122304 edges, 3198 markings/sec, 615 secs 1915092 markings, 2140026 edges, 3162 markings/sec, 620 secs 1930882 markings, 2157733 edges, 3158 markings/sec, 625 secs 1946743 markings, 2175536 edges, 3172 markings/sec, 630 secs 1962402 markings, 2192959 edges, 3132 markings/sec, 635 secs 1978675 markings, 2211308 edges, 3255 markings/sec, 640 secs 1994898 markings, 2229535 edges, 3245 markings/sec, 645 secs 2010937 markings, 2247587 edges, 3208 markings/sec, 650 secs 2026982 markings, 2265695 edges, 3209 markings/sec, 655 secs 2042905 markings, 2283615 edges, 3185 markings/sec, 660 secs 2059061 markings, 2301968 edges, 3231 markings/sec, 665 secs 2074776 markings, 2319633 edges, 3143 markings/sec, 670 secs 2090533 markings, 2337326 edges, 3151 markings/sec, 675 secs 2106904 markings, 2355995 edges, 3274 markings/sec, 680 secs 2122962 markings, 2374210 edges, 3212 markings/sec, 685 secs 2138887 markings, 2392236 edges, 3185 markings/sec, 690 secs 2154754 markings, 2410153 edges, 3173 markings/sec, 695 secs 2171006 markings, 2428611 edges, 3250 markings/sec, 700 secs 2186550 markings, 2445941 edges, 3109 markings/sec, 705 secs 2202081 markings, 2463538 edges, 3106 markings/sec, 710 secs 2216792 markings, 2479992 edges, 2942 markings/sec, 715 secs 2231700 markings, 2496706 edges, 2982 markings/sec, 720 secs 2246067 markings, 2512850 edges, 2873 markings/sec, 725 secs 2260417 markings, 2528737 edges, 2870 markings/sec, 730 secs 2275612 markings, 2545706 edges, 3039 markings/sec, 735 secs 2290954 markings, 2562796 edges, 3068 markings/sec, 740 secs 2306651 markings, 2580390 edges, 3139 markings/sec, 745 secs 2322189 markings, 2597751 edges, 3108 markings/sec, 750 secs 2337505 markings, 2614881 edges, 3063 markings/sec, 755 secs 2353088 markings, 2632195 edges, 3117 markings/sec, 760 secs 2369336 markings, 2650445 edges, 3250 markings/sec, 765 secs 2385534 markings, 2668596 edges, 3240 markings/sec, 770 secs 2401581 markings, 2686594 edges, 3209 markings/sec, 775 secs 2417987 markings, 2705182 edges, 3281 markings/sec, 780 secs 2433912 markings, 2723105 edges, 3185 markings/sec, 785 secs 2448948 markings, 2739788 edges, 3007 markings/sec, 790 secs 2464336 markings, 2756811 edges, 3078 markings/sec, 795 secs 2479783 markings, 2773943 edges, 3089 markings/sec, 800 secs 2495687 markings, 2791789 edges, 3181 markings/sec, 805 secs 2511921 markings, 2810089 edges, 3247 markings/sec, 810 secs 2527499 markings, 2827395 edges, 3116 markings/sec, 815 secs 2543979 markings, 2846024 edges, 3296 markings/sec, 820 secs 2560229 markings, 2864330 edges, 3250 markings/sec, 825 secs 2575958 markings, 2881890 edges, 3146 markings/sec, 830 secs 2591406 markings, 2899142 edges, 3090 markings/sec, 835 secs 2607157 markings, 2916856 edges, 3150 markings/sec, 840 secs 2622995 markings, 2934573 edges, 3168 markings/sec, 845 secs 2638828 markings, 2952296 edges, 3167 markings/sec, 850 secs 2654801 markings, 2970178 edges, 3195 markings/sec, 855 secs 2671224 markings, 2988727 edges, 3285 markings/sec, 860 secs 2687524 markings, 3007111 edges, 3260 markings/sec, 865 secs 2703562 markings, 3025092 edges, 3208 markings/sec, 870 secs 2719961 markings, 3043664 edges, 3280 markings/sec, 875 secs 2736112 markings, 3061911 edges, 3230 markings/sec, 880 secs 2750541 markings, 3078098 edges, 2886 markings/sec, 885 secs 2766329 markings, 3095948 edges, 3158 markings/sec, 890 secs 2781837 markings, 3113352 edges, 3102 markings/sec, 895 secs 2796145 markings, 3129430 edges, 2862 markings/sec, 900 secs 2810775 markings, 3145903 edges, 2926 markings/sec, 905 secs 2825720 markings, 3162665 edges, 2989 markings/sec, 910 secs 2841494 markings, 3180379 edges, 3155 markings/sec, 915 secs 2857226 markings, 3198032 edges, 3146 markings/sec, 920 secs 2872866 markings, 3215517 edges, 3128 markings/sec, 925 secs 2888575 markings, 3233112 edges, 3142 markings/sec, 930 secs 2904031 markings, 3250441 edges, 3091 markings/sec, 935 secs 2919420 markings, 3267611 edges, 3078 markings/sec, 940 secs 2935044 markings, 3285058 edges, 3125 markings/sec, 945 secs 2950950 markings, 3302953 edges, 3181 markings/sec, 950 secs 2966881 markings, 3320885 edges, 3186 markings/sec, 955 secs 2982815 markings, 3338804 edges, 3187 markings/sec, 960 secs 2998962 markings, 3357038 edges, 3229 markings/sec, 965 secs 3015144 markings, 3375324 edges, 3236 markings/sec, 970 secs 3031226 markings, 3393561 edges, 3216 markings/sec, 975 secs 3047647 markings, 3412203 edges, 3284 markings/sec, 980 secs 3063989 markings, 3430607 edges, 3268 markings/sec, 985 secs 3080303 markings, 3448875 edges, 3263 markings/sec, 990 secs 3097086 markings, 3467915 edges, 3357 markings/sec, 995 secs 3113526 markings, 3486501 edges, 3288 markings/sec, 1000 secs 3129404 markings, 3504271 edges, 3176 markings/sec, 1005 secs 3145530 markings, 3522455 edges, 3225 markings/sec, 1010 secs 3161696 markings, 3540698 edges, 3233 markings/sec, 1015 secs 3177907 markings, 3559006 edges, 3242 markings/sec, 1020 secs 3194445 markings, 3577813 edges, 3308 markings/sec, 1025 secs 3211060 markings, 3596656 edges, 3323 markings/sec, 1030 secs 3227702 markings, 3615633 edges, 3328 markings/sec, 1035 secs 3244523 markings, 3634666 edges, 3364 markings/sec, 1040 secs 3260819 markings, 3653103 edges, 3259 markings/sec, 1045 secs 3276729 markings, 3670999 edges, 3182 markings/sec, 1050 secs 3292654 markings, 3688919 edges, 3185 markings/sec, 1055 secs 3308616 markings, 3706861 edges, 3192 markings/sec, 1060 secs 3324495 markings, 3724716 edges, 3176 markings/sec, 1065 secs 3340471 markings, 3742689 edges, 3195 markings/sec, 1070 secs 3356310 markings, 3760444 edges, 3168 markings/sec, 1075 secs 3372189 markings, 3778347 edges, 3176 markings/sec, 1080 secs 3387899 markings, 3795996 edges, 3142 markings/sec, 1085 secs 3403776 markings, 3813847 edges, 3175 markings/sec, 1090 secs 3419562 markings, 3831462 edges, 3157 markings/sec, 1095 secs 3434624 markings, 3848390 edges, 3012 markings/sec, 1100 secs 3449419 markings, 3864937 edges, 2959 markings/sec, 1105 secs 3465049 markings, 3882441 edges, 3126 markings/sec, 1110 secs 3480737 markings, 3900145 edges, 3138 markings/sec, 1115 secs 3496828 markings, 3918282 edges, 3218 markings/sec, 1120 secs 3512692 markings, 3936183 edges, 3173 markings/sec, 1125 secs 3529037 markings, 3954716 edges, 3269 markings/sec, 1130 secs 3545285 markings, 3973004 edges, 3250 markings/sec, 1135 secs 3561574 markings, 3991253 edges, 3258 markings/sec, 1140 secs 3577493 markings, 4008979 edges, 3184 markings/sec, 1145 secs 3593322 markings, 4026823 edges, 3166 markings/sec, 1150 secs 3609264 markings, 4044728 edges, 3188 markings/sec, 1155 secs 3624764 markings, 4062091 edges, 3100 markings/sec, 1160 secs 3639630 markings, 4078567 edges, 2973 markings/sec, 1165 secs 3654354 markings, 4094851 edges, 2945 markings/sec, 1170 secs 3669679 markings, 4111957 edges, 3065 markings/sec, 1175 secs 3685258 markings, 4129410 edges, 3116 markings/sec, 1180 secs 3700485 markings, 4146573 edges, 3045 markings/sec, 1185 secs 3715839 markings, 4163771 edges, 3071 markings/sec, 1190 secs 3731360 markings, 4181043 edges, 3104 markings/sec, 1195 secs 3747212 markings, 4198783 edges, 3170 markings/sec, 1200 secs 3762835 markings, 4216311 edges, 3125 markings/sec, 1205 secs 3778832 markings, 4234361 edges, 3199 markings/sec, 1210 secs 3794147 markings, 4251323 edges, 3063 markings/sec, 1215 secs 3810628 markings, 4269934 edges, 3296 markings/sec, 1220 secs 3826657 markings, 4287887 edges, 3206 markings/sec, 1225 secs 3842705 markings, 4305896 edges, 3210 markings/sec, 1230 secs 3858733 markings, 4323817 edges, 3206 markings/sec, 1235 secs 3875083 markings, 4342161 edges, 3270 markings/sec, 1240 secs 3891086 markings, 4360047 edges, 3201 markings/sec, 1245 secs 3907198 markings, 4378242 edges, 3222 markings/sec, 1250 secs 3923030 markings, 4396102 edges, 3166 markings/sec, 1255 secs 3938701 markings, 4413679 edges, 3134 markings/sec, 1260 secs 3954341 markings, 4431290 edges, 3128 markings/sec, 1265 secs 3970044 markings, 4448959 edges, 3141 markings/sec, 1270 secs 3985731 markings, 4466778 edges, 3137 markings/sec, 1275 secs 4001659 markings, 4484885 edges, 3186 markings/sec, 1280 secs 4017594 markings, 4503049 edges, 3187 markings/sec, 1285 secs 4033028 markings, 4520480 edges, 3087 markings/sec, 1290 secs 4048314 markings, 4537793 edges, 3057 markings/sec, 1295 secs 4064108 markings, 4555865 edges, 3159 markings/sec, 1300 secs 4079622 markings, 4573566 edges, 3103 markings/sec, 1305 secs 4094944 markings, 4591038 edges, 3064 markings/sec, 1310 secs 4110785 markings, 4609156 edges, 3168 markings/sec, 1315 secs 4126133 markings, 4626439 edges, 3070 markings/sec, 1320 secs 4141873 markings, 4644394 edges, 3148 markings/sec, 1325 secs 4158006 markings, 4662865 edges, 3227 markings/sec, 1330 secs 4173914 markings, 4680976 edges, 3182 markings/sec, 1335 secs 4189074 markings, 4698043 edges, 3032 markings/sec, 1340 secs 4204511 markings, 4715413 edges, 3087 markings/sec, 1345 secs 4220561 markings, 4733663 edges, 3210 markings/sec, 1350 secs 4236523 markings, 4751847 edges, 3192 markings/sec, 1355 secs 4252256 markings, 4769816 edges, 3147 markings/sec, 1360 secs 4268087 markings, 4788098 edges, 3166 markings/sec, 1365 secs 4283586 markings, 4805755 edges, 3100 markings/sec, 1370 secs 4299244 markings, 4823636 edges, 3132 markings/sec, 1375 secs 4315404 markings, 4842169 edges, 3232 markings/sec, 1380 secs 4331436 markings, 4860509 edges, 3206 markings/sec, 1385 secs 4347630 markings, 4879073 edges, 3239 markings/sec, 1390 secs 4363626 markings, 4897382 edges, 3199 markings/sec, 1395 secs 4379564 markings, 4915664 edges, 3188 markings/sec, 1400 secs 4395365 markings, 4933759 edges, 3160 markings/sec, 1405 secs 4410533 markings, 4950743 edges, 3034 markings/sec, 1410 secs 4426658 markings, 4969249 edges, 3225 markings/sec, 1415 secs 4442457 markings, 4987184 edges, 3160 markings/sec, 1420 secs 4458388 markings, 5005442 edges, 3186 markings/sec, 1425 secs 4474113 markings, 5023345 edges, 3145 markings/sec, 1430 secs 4490029 markings, 5041463 edges, 3183 markings/sec, 1435 secs 4505872 markings, 5059511 edges, 3169 markings/sec, 1440 secs 4521539 markings, 5077312 edges, 3133 markings/sec, 1445 secs 4537857 markings, 5096017 edges, 3264 markings/sec, 1450 secs 4553721 markings, 5114171 edges, 3173 markings/sec, 1455 secs 4569528 markings, 5132241 edges, 3161 markings/sec, 1460 secs 4585443 markings, 5150417 edges, 3183 markings/sec, 1465 secs 4601061 markings, 5168083 edges, 3124 markings/sec, 1470 secs 4616582 markings, 5185597 edges, 3104 markings/sec, 1475 secs 4632029 markings, 5203073 edges, 3089 markings/sec, 1480 secs 4647493 markings, 5220501 edges, 3093 markings/sec, 1485 secs 4663262 markings, 5238429 edges, 3154 markings/sec, 1490 secs 4679180 markings, 5256432 edges, 3184 markings/sec, 1495 secs 4695535 markings, 5275224 edges, 3271 markings/sec, 1500 secs 4711459 markings, 5293346 edges, 3185 markings/sec, 1505 secs 4727391 markings, 5311517 edges, 3186 markings/sec, 1510 secs 4743089 markings, 5329310 edges, 3140 markings/sec, 1515 secs 4759027 markings, 5347572 edges, 3188 markings/sec, 1520 secs 4774812 markings, 5365582 edges, 3157 markings/sec, 1525 secs 4787545 markings, 5379920 edges, 2547 markings/sec, 1530 secs 4801698 markings, 5395736 edges, 2831 markings/sec, 1535 secs 4817192 markings, 5413547 edges, 3099 markings/sec, 1540 secs 4832640 markings, 5431227 edges, 3090 markings/sec, 1545 secs 4847876 markings, 5448428 edges, 3047 markings/sec, 1550 secs 4863334 markings, 5466072 edges, 3092 markings/sec, 1555 secs 4879432 markings, 5484680 edges, 3220 markings/sec, 1560 secs 4895162 markings, 5502730 edges, 3146 markings/sec, 1565 secs 4910650 markings, 5520605 edges, 3098 markings/sec, 1570 secs 4926146 markings, 5538223 edges, 3099 markings/sec, 1575 secs 4941765 markings, 5556049 edges, 3124 markings/sec, 1580 secs 4957764 markings, 5574468 edges, 3200 markings/sec, 1585 secs 4973750 markings, 5592786 edges, 3197 markings/sec, 1590 secs 4989082 markings, 5610164 edges, 3066 markings/sec, 1595 secs 5003990 markings, 5626966 edges, 2982 markings/sec, 1600 secs 5019586 markings, 5644870 edges, 3119 markings/sec, 1605 secs 5034705 markings, 5662048 edges, 3024 markings/sec, 1610 secs 5049696 markings, 5679005 edges, 2998 markings/sec, 1615 secs 5065043 markings, 5696360 edges, 3069 markings/sec, 1620 secs 5080997 markings, 5714696 edges, 3191 markings/sec, 1625 secs 5096013 markings, 5731557 edges, 3003 markings/sec, 1630 secs 5110457 markings, 5747661 edges, 2889 markings/sec, 1635 secs 5124467 markings, 5763415 edges, 2802 markings/sec, 1640 secs 5138950 markings, 5779670 edges, 2897 markings/sec, 1645 secs 5153510 markings, 5796039 edges, 2912 markings/sec, 1650 secs 5167639 markings, 5811930 edges, 2826 markings/sec, 1655 secs 5182475 markings, 5828283 edges, 2967 markings/sec, 1660 secs 5197868 markings, 5845361 edges, 3079 markings/sec, 1665 secs 5212735 markings, 5861743 edges, 2973 markings/sec, 1670 secs 5227573 markings, 5878093 edges, 2968 markings/sec, 1675 secs 5242628 markings, 5894742 edges, 3011 markings/sec, 1680 secs 5258140 markings, 5911944 edges, 3102 markings/sec, 1685 secs 5273704 markings, 5929328 edges, 3113 markings/sec, 1690 secs 5288982 markings, 5946186 edges, 3056 markings/sec, 1695 secs 5303611 markings, 5962568 edges, 2926 markings/sec, 1700 secs 5317972 markings, 5978567 edges, 2872 markings/sec, 1705 secs 5333335 markings, 5995590 edges, 3073 markings/sec, 1710 secs 5348457 markings, 6012225 edges, 3024 markings/sec, 1715 secs 5364281 markings, 6029904 edges, 3165 markings/sec, 1720 secs 5379752 markings, 6046930 edges, 3094 markings/sec, 1725 secs 5395722 markings, 6064752 edges, 3194 markings/sec, 1730 secs 5411335 markings, 6081960 edges, 3123 markings/sec, 1735 secs 5426874 markings, 6099163 edges, 3108 markings/sec, 1740 secs 5442204 markings, 6116012 edges, 3066 markings/sec, 1745 secs 5457808 markings, 6133250 edges, 3121 markings/sec, 1750 secs 5463167 markings, 6139189 edges, 1072 markings/sec, 1755 secs 5463489 markings, 6139557 edges, 64 markings/sec, 1760 secs 5463851 markings, 6139964 edges, 72 markings/sec, 1765 secs 5464365 markings, 6140552 edges, 103 markings/sec, 1770 secs 5464778 markings, 6141012 edges, 83 markings/sec, 1775 secs 5465445 markings, 6141769 edges, 133 markings/sec, 1780 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="DLCshifumi-PT-5b"
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 DLCshifumi-PT-5b, 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 r049-oct2-155234405300570"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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