Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is ClientsAndServers-PT-N0010P2, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-ebro-149580920000209
=====================================================================

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

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

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ClientsAndServers-PT-N0010P2-UpperBounds-0
FORMULA_NAME ClientsAndServers-PT-N0010P2-UpperBounds-1
FORMULA_NAME ClientsAndServers-PT-N0010P2-UpperBounds-10
FORMULA_NAME ClientsAndServers-PT-N0010P2-UpperBounds-11
FORMULA_NAME ClientsAndServers-PT-N0010P2-UpperBounds-12
FORMULA_NAME ClientsAndServers-PT-N0010P2-UpperBounds-13
FORMULA_NAME ClientsAndServers-PT-N0010P2-UpperBounds-14
FORMULA_NAME ClientsAndServers-PT-N0010P2-UpperBounds-15
FORMULA_NAME ClientsAndServers-PT-N0010P2-UpperBounds-2
FORMULA_NAME ClientsAndServers-PT-N0010P2-UpperBounds-3
FORMULA_NAME ClientsAndServers-PT-N0010P2-UpperBounds-4
FORMULA_NAME ClientsAndServers-PT-N0010P2-UpperBounds-5
FORMULA_NAME ClientsAndServers-PT-N0010P2-UpperBounds-6
FORMULA_NAME ClientsAndServers-PT-N0010P2-UpperBounds-7
FORMULA_NAME ClientsAndServers-PT-N0010P2-UpperBounds-8
FORMULA_NAME ClientsAndServers-PT-N0010P2-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496601877760


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
ClientsAndServers-PT-N0010P2: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
ClientsAndServers-PT-N0010P2: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ ClientsAndServers-PT-N0010P2 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 43/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 25 transition conflict sets
lola: TASK
lola: reading formula from ClientsAndServers-PT-N0010P2-UpperBounds.task
lola: MAX(Ci) : MAX(StF) : MAX(CwG) : MAX(MtF) : MAX(MpA) : MAX(SA) : MAX(MpG) : MAX(StR) : MAX(CwG) : MAX(SR) : MAX(Uf) : MAX(SpG) : MAX(SpG) : MAX(SG) : MAX(SR) : MAX(CwG)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Ci)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2542438 markings, 3013162 edges, 508488 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(StF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1872806 markings, 2979709 edges, 374561 markings/sec, 0 secs
lola: 3593080 markings, 5735884 edges, 344055 markings/sec, 5 secs
lola: 5252602 markings, 8403549 edges, 331904 markings/sec, 10 secs
lola: 6374083 markings, 10943550 edges, 224296 markings/sec, 15 secs
lola: 7680413 markings, 13692238 edges, 261266 markings/sec, 20 secs
lola: 9218350 markings, 16483163 edges, 307587 markings/sec, 25 secs
lola: 10779595 markings, 19322721 edges, 312249 markings/sec, 30 secs
lola: 12331803 markings, 22138608 edges, 310442 markings/sec, 35 secs
lola: 13851956 markings, 24894959 edges, 304031 markings/sec, 40 secs
lola: 15405647 markings, 27709981 edges, 310738 markings/sec, 45 secs
lola: 16916252 markings, 30447995 edges, 302121 markings/sec, 50 secs
lola: 18429783 markings, 33189990 edges, 302706 markings/sec, 55 secs
lola: 19938982 markings, 35919250 edges, 301840 markings/sec, 60 secs
lola: 21442197 markings, 38637946 edges, 300643 markings/sec, 65 secs
lola: 22957415 markings, 41382721 edges, 303044 markings/sec, 70 secs
lola: 24476010 markings, 44131503 edges, 303719 markings/sec, 75 secs
lola: 26001400 markings, 46891037 edges, 305078 markings/sec, 80 secs
lola: 27530461 markings, 49654755 edges, 305812 markings/sec, 85 secs
lola: 28996880 markings, 52317932 edges, 293284 markings/sec, 90 secs
lola: 30341097 markings, 54738127 edges, 268843 markings/sec, 95 secs
lola: 31764609 markings, 57313974 edges, 284702 markings/sec, 100 secs
lola: 33167574 markings, 59852521 edges, 280593 markings/sec, 105 secs
lola: 34498564 markings, 62262149 edges, 266198 markings/sec, 110 secs
lola: 35960931 markings, 64902029 edges, 292473 markings/sec, 115 secs
lola: 37411945 markings, 67543396 edges, 290203 markings/sec, 120 secs
lola: 38805858 markings, 70045247 edges, 278783 markings/sec, 125 secs
lola: 40290483 markings, 72727039 edges, 296925 markings/sec, 130 secs
lola: 41598019 markings, 75102311 edges, 261507 markings/sec, 135 secs
lola: 43054549 markings, 77731241 edges, 291306 markings/sec, 140 secs
lola: 44428039 markings, 80218686 edges, 274698 markings/sec, 145 secs
lola: 45905394 markings, 82886300 edges, 295471 markings/sec, 150 secs
lola: 47353107 markings, 85513832 edges, 289543 markings/sec, 155 secs
lola: 48756471 markings, 88041569 edges, 280673 markings/sec, 160 secs
lola: 50271955 markings, 90768088 edges, 303097 markings/sec, 165 secs
lola: 51659654 markings, 93289654 edges, 277540 markings/sec, 170 secs
lola: 53200238 markings, 96060790 edges, 308117 markings/sec, 175 secs
lola: 54577024 markings, 98556996 edges, 275357 markings/sec, 180 secs
lola: 56117950 markings, 101342431 edges, 308185 markings/sec, 185 secs
lola: 57499961 markings, 103837108 edges, 276402 markings/sec, 190 secs
lola: 59014320 markings, 106569297 edges, 302872 markings/sec, 195 secs
lola: 60355845 markings, 108999634 edges, 268305 markings/sec, 200 secs
lola: 61882909 markings, 111756570 edges, 305413 markings/sec, 205 secs
lola: 63258531 markings, 114241773 edges, 275124 markings/sec, 210 secs
lola: 64761900 markings, 116978653 edges, 300674 markings/sec, 215 secs
lola: 66187222 markings, 119534104 edges, 285064 markings/sec, 220 secs
lola: 67631342 markings, 122146113 edges, 288824 markings/sec, 225 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CwG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2536070 markings, 2963668 edges, 507214 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 3 will run for 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MtF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1834105 markings, 2745886 edges, 366821 markings/sec, 0 secs
lola: 3555621 markings, 5419425 edges, 344303 markings/sec, 5 secs
lola: 5025024 markings, 7932313 edges, 293881 markings/sec, 10 secs
lola: 6053598 markings, 10121519 edges, 205715 markings/sec, 15 secs
lola: 7341344 markings, 12630797 edges, 257549 markings/sec, 20 secs
lola: 8771146 markings, 15180173 edges, 285960 markings/sec, 25 secs
lola: 10180203 markings, 17679440 edges, 281811 markings/sec, 30 secs
lola: 11587287 markings, 20152757 edges, 281417 markings/sec, 35 secs
lola: 13020495 markings, 22705679 edges, 286642 markings/sec, 40 secs
lola: 14425236 markings, 25146963 edges, 280948 markings/sec, 45 secs
lola: 15768228 markings, 27500253 edges, 268598 markings/sec, 50 secs
lola: 17164576 markings, 29957920 edges, 279270 markings/sec, 55 secs
lola: 18558189 markings, 32403169 edges, 278723 markings/sec, 60 secs
lola: 19951155 markings, 34844747 edges, 278593 markings/sec, 65 secs
lola: 21330818 markings, 37279440 edges, 275933 markings/sec, 70 secs
lola: 22710736 markings, 39731212 edges, 275984 markings/sec, 75 secs
lola: 24045730 markings, 42062325 edges, 266999 markings/sec, 80 secs
lola: 25425310 markings, 44462696 edges, 275916 markings/sec, 85 secs
lola: 26814988 markings, 46888233 edges, 277936 markings/sec, 90 secs
lola: 28232367 markings, 49418317 edges, 283476 markings/sec, 95 secs
lola: 29710055 markings, 51992791 edges, 295538 markings/sec, 100 secs
lola: 31231064 markings, 54633062 edges, 304202 markings/sec, 105 secs
lola: 32731181 markings, 57268775 edges, 300023 markings/sec, 110 secs
lola: 34158725 markings, 59797088 edges, 285509 markings/sec, 115 secs
lola: 35584612 markings, 62258653 edges, 285177 markings/sec, 120 secs
lola: 36992799 markings, 64763412 edges, 281637 markings/sec, 125 secs
lola: 38335630 markings, 67094786 edges, 268566 markings/sec, 130 secs
lola: 39728285 markings, 69521953 edges, 278531 markings/sec, 135 secs
lola: 41063741 markings, 71881468 edges, 267091 markings/sec, 140 secs
lola: 42467635 markings, 74305994 edges, 280779 markings/sec, 145 secs
lola: 43821925 markings, 76722008 edges, 270858 markings/sec, 150 secs
lola: 45289590 markings, 79243375 edges, 293533 markings/sec, 155 secs
lola: 46690728 markings, 81757815 edges, 280228 markings/sec, 160 secs
lola: 48173527 markings, 84296624 edges, 296560 markings/sec, 165 secs
lola: 49622965 markings, 86907412 edges, 289888 markings/sec, 170 secs
lola: 51067822 markings, 89367493 edges, 288971 markings/sec, 175 secs
lola: 52459297 markings, 91871380 edges, 278295 markings/sec, 180 secs
lola: 53820143 markings, 94179556 edges, 272169 markings/sec, 185 secs
lola: 55129282 markings, 96523803 edges, 261828 markings/sec, 190 secs
lola: 56547015 markings, 98935901 edges, 283547 markings/sec, 195 secs
lola: 57859062 markings, 101288444 edges, 262409 markings/sec, 200 secs
lola: 59300208 markings, 103771898 edges, 288229 markings/sec, 205 secs
lola: 60632279 markings, 106123325 edges, 266414 markings/sec, 210 secs
lola: 62063835 markings, 108641299 edges, 286311 markings/sec, 215 secs
lola: 63398132 markings, 110948051 edges, 266859 markings/sec, 220 secs
lola: 64753092 markings, 113385062 edges, 270992 markings/sec, 225 secs
lola: 66112338 markings, 115674596 edges, 271849 markings/sec, 230 secs
lola: 67382079 markings, 117945578 edges, 253948 markings/sec, 235 secs
lola: 68750153 markings, 120325757 edges, 273615 markings/sec, 240 secs
lola: 70034177 markings, 122555214 edges, 256805 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MpA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2081763 markings, 2965450 edges, 416353 markings/sec, 0 secs
lola: 3970002 markings, 5709532 edges, 377648 markings/sec, 5 secs
lola: 5650312 markings, 8165230 edges, 336062 markings/sec, 10 secs
lola: 6712692 markings, 10271608 edges, 212476 markings/sec, 15 secs
lola: 8319619 markings, 12800505 edges, 321385 markings/sec, 20 secs
lola: 9938225 markings, 15330443 edges, 323721 markings/sec, 25 secs
lola: 11533100 markings, 17814951 edges, 318975 markings/sec, 30 secs
lola: 13159186 markings, 20343001 edges, 325217 markings/sec, 35 secs
lola: 14760358 markings, 22832012 edges, 320234 markings/sec, 40 secs
lola: 16404256 markings, 25385528 edges, 328780 markings/sec, 45 secs
lola: 18039197 markings, 27931066 edges, 326988 markings/sec, 50 secs
lola: 19626333 markings, 30390685 edges, 317427 markings/sec, 55 secs
lola: 21218702 markings, 32861513 edges, 318474 markings/sec, 60 secs
lola: 22805220 markings, 35329893 edges, 317304 markings/sec, 65 secs
lola: 24307524 markings, 37651559 edges, 300461 markings/sec, 70 secs
lola: 25812791 markings, 39982732 edges, 301053 markings/sec, 75 secs
lola: 27308695 markings, 42305982 edges, 299181 markings/sec, 80 secs
lola: 28833763 markings, 44667805 edges, 305014 markings/sec, 85 secs
lola: 30345995 markings, 47016747 edges, 302446 markings/sec, 90 secs
lola: 31840280 markings, 49330077 edges, 298857 markings/sec, 95 secs
lola: 33393593 markings, 51740633 edges, 310663 markings/sec, 100 secs
lola: 34974436 markings, 54194970 edges, 316169 markings/sec, 105 secs
lola: 36553936 markings, 56634410 edges, 315900 markings/sec, 110 secs
lola: 38156727 markings, 59124024 edges, 320558 markings/sec, 115 secs
lola: 39785208 markings, 61648933 edges, 325696 markings/sec, 120 secs
lola: 41340398 markings, 64053104 edges, 311038 markings/sec, 125 secs
lola: 42952018 markings, 66552480 edges, 322324 markings/sec, 130 secs
lola: 44499980 markings, 68947306 edges, 309592 markings/sec, 135 secs
lola: 46037996 markings, 71335974 edges, 307603 markings/sec, 140 secs
lola: 47607713 markings, 73767024 edges, 313943 markings/sec, 145 secs
lola: 49123799 markings, 76113207 edges, 303217 markings/sec, 150 secs
lola: 50716459 markings, 78585326 edges, 318532 markings/sec, 155 secs
lola: 52212624 markings, 80896686 edges, 299233 markings/sec, 160 secs
lola: 53793338 markings, 83353764 edges, 316143 markings/sec, 165 secs
lola: 55270178 markings, 85632938 edges, 295368 markings/sec, 170 secs
lola: 56841799 markings, 88073555 edges, 314324 markings/sec, 175 secs
lola: 58315530 markings, 90347927 edges, 294746 markings/sec, 180 secs
lola: 59902593 markings, 92813023 edges, 317413 markings/sec, 185 secs
lola: 61402849 markings, 95129146 edges, 300051 markings/sec, 190 secs
lola: 62992948 markings, 97596021 edges, 318020 markings/sec, 195 secs
lola: 64508333 markings, 99945341 edges, 303077 markings/sec, 200 secs
lola: 66049538 markings, 102326378 edges, 308241 markings/sec, 205 secs
lola: 67585775 markings, 104704647 edges, 307247 markings/sec, 210 secs
lola: 69060478 markings, 106989853 edges, 294941 markings/sec, 215 secs
lola: 70670372 markings, 109496039 edges, 321979 markings/sec, 220 secs
lola: 72138997 markings, 111752831 edges, 293725 markings/sec, 225 secs
lola: 73772585 markings, 114295736 edges, 326718 markings/sec, 230 secs
lola: 75339919 markings, 116709198 edges, 313467 markings/sec, 235 secs
lola: 76989582 markings, 119269234 edges, 329933 markings/sec, 240 secs
lola: 78625552 markings, 121798400 edges, 327194 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2227468 markings, 3029816 edges, 445494 markings/sec, 0 secs
lola: 4289674 markings, 5813461 edges, 412441 markings/sec, 5 secs
lola: 6190046 markings, 8371612 edges, 380074 markings/sec, 10 secs
lola: 7679201 markings, 10863681 edges, 297831 markings/sec, 15 secs
lola: 9651948 markings, 13684042 edges, 394549 markings/sec, 20 secs
lola: 11598710 markings, 16456836 edges, 389352 markings/sec, 25 secs
lola: 13506202 markings, 19172677 edges, 381498 markings/sec, 30 secs
lola: 15390429 markings, 21858545 edges, 376845 markings/sec, 35 secs
lola: 17278889 markings, 24541124 edges, 377692 markings/sec, 40 secs
lola: 19133637 markings, 27178032 edges, 370950 markings/sec, 45 secs
lola: 20958811 markings, 29783059 edges, 365035 markings/sec, 50 secs
lola: 22802218 markings, 32400249 edges, 368681 markings/sec, 55 secs
lola: 24638494 markings, 35009979 edges, 367255 markings/sec, 60 secs
lola: 26481644 markings, 37630315 edges, 368630 markings/sec, 65 secs
lola: 28321099 markings, 40245172 edges, 367891 markings/sec, 70 secs
lola: 30143681 markings, 42841909 edges, 364516 markings/sec, 75 secs
lola: 32023757 markings, 45500546 edges, 376015 markings/sec, 80 secs
lola: 33892979 markings, 48159530 edges, 373844 markings/sec, 85 secs
lola: 35767261 markings, 50820868 edges, 374856 markings/sec, 90 secs
lola: 37565689 markings, 53378670 edges, 359686 markings/sec, 95 secs
lola: 39363714 markings, 55944998 edges, 359605 markings/sec, 100 secs
lola: 41240774 markings, 58602094 edges, 375412 markings/sec, 105 secs
lola: 43006747 markings, 61106794 edges, 353195 markings/sec, 110 secs
lola: 44769306 markings, 63616994 edges, 352512 markings/sec, 115 secs
lola: 46599888 markings, 66214730 edges, 366116 markings/sec, 120 secs
lola: 48308796 markings, 68637433 edges, 341782 markings/sec, 125 secs
lola: 50047996 markings, 71108559 edges, 347840 markings/sec, 130 secs
lola: 51836801 markings, 73646761 edges, 357761 markings/sec, 135 secs
lola: 53592316 markings, 76144040 edges, 351103 markings/sec, 140 secs
lola: 55429840 markings, 78753682 edges, 367505 markings/sec, 145 secs
lola: 57185611 markings, 81243451 edges, 351154 markings/sec, 150 secs
lola: 58983471 markings, 83796034 edges, 359572 markings/sec, 155 secs
lola: 60775850 markings, 86343823 edges, 358476 markings/sec, 160 secs
lola: 62556416 markings, 88882017 edges, 356113 markings/sec, 165 secs
lola: 64445762 markings, 91555587 edges, 377869 markings/sec, 170 secs
lola: 66295679 markings, 94189160 edges, 369983 markings/sec, 175 secs
lola: 68227060 markings, 96927560 edges, 386276 markings/sec, 180 secs
lola: 70021447 markings, 99474320 edges, 358877 markings/sec, 185 secs
lola: 71960067 markings, 102227723 edges, 387724 markings/sec, 190 secs
lola: 73779421 markings, 104809109 edges, 363871 markings/sec, 195 secs
lola: 75692701 markings, 107526029 edges, 382656 markings/sec, 200 secs
lola: 77565249 markings, 110187381 edges, 374510 markings/sec, 205 secs
lola: 79499123 markings, 112930767 edges, 386775 markings/sec, 210 secs
lola: 81383164 markings, 115604848 edges, 376808 markings/sec, 215 secs
lola: 83324634 markings, 118360544 edges, 388294 markings/sec, 220 secs
lola: 85227035 markings, 121062764 edges, 380480 markings/sec, 225 secs
lola: 87183281 markings, 123841859 edges, 391249 markings/sec, 230 secs
lola: 89079933 markings, 126535862 edges, 379330 markings/sec, 235 secs
lola: 91054859 markings, 129339055 edges, 394985 markings/sec, 240 secs
lola: 92935013 markings, 132010091 edges, 376031 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MpG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1901789 markings, 2647338 edges, 380358 markings/sec, 0 secs
lola: 3755589 markings, 5332834 edges, 370760 markings/sec, 5 secs
lola: 5509337 markings, 7870428 edges, 350750 markings/sec, 10 secs
lola: 6653517 markings, 10009970 edges, 228836 markings/sec, 15 secs
lola: 7924570 markings, 12214112 edges, 254211 markings/sec, 20 secs
lola: 9274609 markings, 14414362 edges, 270008 markings/sec, 25 secs
lola: 10621978 markings, 16590142 edges, 269474 markings/sec, 30 secs
lola: 12168724 markings, 19081056 edges, 309349 markings/sec, 35 secs
lola: 13629115 markings, 21414927 edges, 292078 markings/sec, 40 secs
lola: 15183051 markings, 23897325 edges, 310787 markings/sec, 45 secs
lola: 16662512 markings, 26249674 edges, 295892 markings/sec, 50 secs
lola: 18214346 markings, 28712782 edges, 310367 markings/sec, 55 secs
lola: 19699006 markings, 31067192 edges, 296932 markings/sec, 60 secs
lola: 21273702 markings, 33549677 edges, 314939 markings/sec, 65 secs
lola: 22739019 markings, 35856807 edges, 293063 markings/sec, 70 secs
lola: 24351542 markings, 38397649 edges, 322505 markings/sec, 75 secs
lola: 25735230 markings, 40549743 edges, 276738 markings/sec, 80 secs
lola: 27393600 markings, 43177439 edges, 331674 markings/sec, 85 secs
lola: 28896353 markings, 45508476 edges, 300551 markings/sec, 90 secs
lola: 30414779 markings, 47922337 edges, 303685 markings/sec, 95 secs
lola: 32050347 markings, 50447271 edges, 327114 markings/sec, 100 secs
lola: 33453320 markings, 52626203 edges, 280595 markings/sec, 105 secs
lola: 35113423 markings, 55232310 edges, 332021 markings/sec, 110 secs
lola: 36592637 markings, 57518279 edges, 295843 markings/sec, 115 secs
lola: 38095553 markings, 59882132 edges, 300583 markings/sec, 120 secs
lola: 39824909 markings, 62551574 edges, 345871 markings/sec, 125 secs
lola: 41285717 markings, 64804131 edges, 292162 markings/sec, 130 secs
lola: 42857949 markings, 67315383 edges, 314446 markings/sec, 135 secs
lola: 44575387 markings, 69919190 edges, 343488 markings/sec, 140 secs
lola: 45991221 markings, 72097867 edges, 283167 markings/sec, 145 secs
lola: 47577096 markings, 74618149 edges, 317175 markings/sec, 150 secs
lola: 49229521 markings, 77124053 edges, 330485 markings/sec, 155 secs
lola: 50596074 markings, 79225511 edges, 273311 markings/sec, 160 secs
lola: 52144425 markings, 81691722 edges, 309670 markings/sec, 165 secs
lola: 53765826 markings, 84136643 edges, 324280 markings/sec, 170 secs
lola: 55061714 markings, 86127739 edges, 259178 markings/sec, 175 secs
lola: 56454689 markings, 88344501 edges, 278595 markings/sec, 180 secs
lola: 58065006 markings, 90781189 edges, 322063 markings/sec, 185 secs
lola: 59370014 markings, 92781838 edges, 261002 markings/sec, 190 secs
lola: 60712291 markings, 94875105 edges, 268455 markings/sec, 195 secs
lola: 62250724 markings, 97252790 edges, 307687 markings/sec, 200 secs
lola: 63719633 markings, 99498263 edges, 293782 markings/sec, 205 secs
lola: 65070532 markings, 101571464 edges, 270180 markings/sec, 210 secs
lola: 66684411 markings, 104141455 edges, 322776 markings/sec, 215 secs
lola: 68417579 markings, 106740197 edges, 346634 markings/sec, 220 secs
lola: 69864638 markings, 108961739 edges, 289412 markings/sec, 225 secs
lola: 71453076 markings, 111491313 edges, 317688 markings/sec, 230 secs
lola: 73240108 markings, 114172852 edges, 357406 markings/sec, 235 secs
lola: 74702218 markings, 116417709 edges, 292422 markings/sec, 240 secs
lola: 76275451 markings, 118898251 edges, 314647 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(StR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1873757 markings, 2973008 edges, 374751 markings/sec, 0 secs
lola: 3660836 markings, 5835273 edges, 357416 markings/sec, 5 secs
lola: 5420597 markings, 8661025 edges, 351952 markings/sec, 10 secs
lola: 6407950 markings, 11134707 edges, 197471 markings/sec, 15 secs
lola: 7662765 markings, 14020514 edges, 250963 markings/sec, 20 secs
lola: 9173815 markings, 17223014 edges, 302210 markings/sec, 25 secs
lola: 10690754 markings, 20428699 edges, 303388 markings/sec, 30 secs
lola: 12320473 markings, 23596625 edges, 325944 markings/sec, 35 secs
lola: 13952726 markings, 26728876 edges, 326451 markings/sec, 40 secs
lola: 15559857 markings, 29809775 edges, 321426 markings/sec, 45 secs
lola: 17201915 markings, 32941158 edges, 328412 markings/sec, 50 secs
lola: 18814925 markings, 36039067 edges, 322602 markings/sec, 55 secs
lola: 20423970 markings, 39126127 edges, 321809 markings/sec, 60 secs
lola: 22043678 markings, 42212673 edges, 323942 markings/sec, 65 secs
lola: 23631801 markings, 45261202 edges, 317625 markings/sec, 70 secs
lola: 25216086 markings, 48303178 edges, 316857 markings/sec, 75 secs
lola: 26789123 markings, 51316548 edges, 314607 markings/sec, 80 secs
lola: 28380509 markings, 54352189 edges, 318277 markings/sec, 85 secs
lola: 29961135 markings, 57386788 edges, 316125 markings/sec, 90 secs
lola: 31534286 markings, 60405096 edges, 314630 markings/sec, 95 secs
lola: 33130234 markings, 63444443 edges, 319190 markings/sec, 100 secs
lola: 34728292 markings, 66513294 edges, 319612 markings/sec, 105 secs
lola: 36328884 markings, 69587373 edges, 320118 markings/sec, 110 secs
lola: 37926864 markings, 72645987 edges, 319596 markings/sec, 115 secs
lola: 39551060 markings, 75748308 edges, 324839 markings/sec, 120 secs
lola: 41143389 markings, 78805299 edges, 318466 markings/sec, 125 secs
lola: 42740345 markings, 81871223 edges, 319391 markings/sec, 130 secs
lola: 44357817 markings, 84956580 edges, 323494 markings/sec, 135 secs
lola: 45973980 markings, 88058333 edges, 323233 markings/sec, 140 secs
lola: 47576830 markings, 91136582 edges, 320570 markings/sec, 145 secs
lola: 49186278 markings, 94207561 edges, 321890 markings/sec, 150 secs
lola: 50784656 markings, 97275570 edges, 319676 markings/sec, 155 secs
lola: 52389312 markings, 100355424 edges, 320931 markings/sec, 160 secs
lola: 53988733 markings, 103418508 edges, 319884 markings/sec, 165 secs
lola: 55600139 markings, 106501841 edges, 322281 markings/sec, 170 secs
lola: 57188135 markings, 109550860 edges, 317599 markings/sec, 175 secs
lola: 58798702 markings, 112637912 edges, 322113 markings/sec, 180 secs
lola: 60424351 markings, 115748823 edges, 325130 markings/sec, 185 secs
lola: 62020875 markings, 118813438 edges, 319305 markings/sec, 190 secs
lola: 63648506 markings, 121936115 edges, 325526 markings/sec, 195 secs
lola: 65276009 markings, 125048983 edges, 325501 markings/sec, 200 secs
lola: 66872724 markings, 128115007 edges, 319343 markings/sec, 205 secs
lola: 68469052 markings, 131179156 edges, 319266 markings/sec, 210 secs
lola: 70062266 markings, 134224317 edges, 318643 markings/sec, 215 secs
lola: 71654224 markings, 137280576 edges, 318392 markings/sec, 220 secs
lola: 73245375 markings, 140335236 edges, 318230 markings/sec, 225 secs
lola: 74838058 markings, 143379909 edges, 318537 markings/sec, 230 secs
lola: 76425593 markings, 146429353 edges, 317507 markings/sec, 235 secs
lola: 78010546 markings, 149472529 edges, 316991 markings/sec, 240 secs
lola: 79604507 markings, 152521626 edges, 318792 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CwG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2610371 markings, 3050513 edges, 522074 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 9 will run for 288 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1924967 markings, 2856374 edges, 384993 markings/sec, 0 secs
lola: 3753582 markings, 5590010 edges, 365723 markings/sec, 5 secs
lola: 4949292 markings, 8014207 edges, 239142 markings/sec, 10 secs
lola: 6259316 markings, 10773601 edges, 262005 markings/sec, 15 secs
lola: 7879245 markings, 13893266 edges, 323986 markings/sec, 20 secs
lola: 9579014 markings, 17027534 edges, 339954 markings/sec, 25 secs
lola: 11283863 markings, 20067666 edges, 340970 markings/sec, 30 secs
lola: 13009949 markings, 23127634 edges, 345217 markings/sec, 35 secs
lola: 14724016 markings, 26176870 edges, 342813 markings/sec, 40 secs
lola: 16427099 markings, 29211314 edges, 340617 markings/sec, 45 secs
lola: 18162597 markings, 32282908 edges, 347100 markings/sec, 50 secs
lola: 19858902 markings, 35303362 edges, 339261 markings/sec, 55 secs
lola: 21551442 markings, 38314526 edges, 338508 markings/sec, 60 secs
lola: 23259723 markings, 41345866 edges, 341656 markings/sec, 65 secs
lola: 24934760 markings, 44327296 edges, 335007 markings/sec, 70 secs
lola: 26650151 markings, 47365893 edges, 343078 markings/sec, 75 secs
lola: 28308604 markings, 50324896 edges, 331691 markings/sec, 80 secs
lola: 29975355 markings, 53289441 edges, 333350 markings/sec, 85 secs
lola: 31673243 markings, 56299491 edges, 339578 markings/sec, 90 secs
lola: 33334228 markings, 59263696 edges, 332197 markings/sec, 95 secs
lola: 35031920 markings, 62268798 edges, 339538 markings/sec, 100 secs
lola: 36657620 markings, 65168462 edges, 325140 markings/sec, 105 secs
lola: 38396889 markings, 68267585 edges, 347854 markings/sec, 110 secs
lola: 40164290 markings, 71403030 edges, 353480 markings/sec, 115 secs
lola: 41905565 markings, 74509539 edges, 348255 markings/sec, 120 secs
lola: 43658883 markings, 77619813 edges, 350664 markings/sec, 125 secs
lola: 45390702 markings, 80704673 edges, 346364 markings/sec, 130 secs
lola: 47127044 markings, 83798473 edges, 347268 markings/sec, 135 secs
lola: 48863561 markings, 86881801 edges, 347303 markings/sec, 140 secs
lola: 50570287 markings, 89926551 edges, 341345 markings/sec, 145 secs
lola: 52311470 markings, 93019331 edges, 348237 markings/sec, 150 secs
lola: 54033451 markings, 96088637 edges, 344396 markings/sec, 155 secs
lola: 55780313 markings, 99191484 edges, 349372 markings/sec, 160 secs
lola: 57518516 markings, 102288479 edges, 347641 markings/sec, 165 secs
lola: 59223378 markings, 105327763 edges, 340972 markings/sec, 170 secs
lola: 60918073 markings, 108339982 edges, 338939 markings/sec, 175 secs
lola: 62590586 markings, 111323502 edges, 334503 markings/sec, 180 secs
lola: 64270768 markings, 114310839 edges, 336036 markings/sec, 185 secs
lola: 65937501 markings, 117278702 edges, 333347 markings/sec, 190 secs
lola: 67622173 markings, 120275728 edges, 336934 markings/sec, 195 secs
lola: 69295770 markings, 123262388 edges, 334719 markings/sec, 200 secs
lola: 70965595 markings, 126232449 edges, 333965 markings/sec, 205 secs
lola: 72647933 markings, 129231959 edges, 336468 markings/sec, 210 secs
lola: 74327862 markings, 132225390 edges, 335986 markings/sec, 215 secs
lola: 76006083 markings, 135211379 edges, 335644 markings/sec, 220 secs
lola: 77724456 markings, 138274741 edges, 343675 markings/sec, 225 secs
lola: 79463015 markings, 141371226 edges, 347712 markings/sec, 230 secs
lola: 81121475 markings, 144329896 edges, 331692 markings/sec, 235 secs
lola: 82792719 markings, 147305246 edges, 334249 markings/sec, 240 secs
lola: 84471174 markings, 150298602 edges, 335691 markings/sec, 245 secs
lola: 86179945 markings, 153341012 edges, 341754 markings/sec, 250 secs
lola: 87841433 markings, 156305355 edges, 332298 markings/sec, 255 secs
lola: 89530283 markings, 159310940 edges, 337770 markings/sec, 260 secs
lola: 91181481 markings, 162256035 edges, 330240 markings/sec, 265 secs
lola: 92851293 markings, 165234940 edges, 333962 markings/sec, 270 secs
lola: 94455291 markings, 168090603 edges, 320800 markings/sec, 275 secs
lola: 96109893 markings, 171041563 edges, 330920 markings/sec, 280 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 288 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Uf)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2119717 markings, 3019551 edges, 423943 markings/sec, 0 secs
lola: 4070806 markings, 5857785 edges, 390218 markings/sec, 5 secs
lola: 5828429 markings, 8425162 edges, 351525 markings/sec, 10 secs
lola: 7080199 markings, 10853456 edges, 250354 markings/sec, 15 secs
lola: 8824997 markings, 13590522 edges, 348960 markings/sec, 20 secs
lola: 10562485 markings, 16304520 edges, 347498 markings/sec, 25 secs
lola: 12279066 markings, 18974463 edges, 343316 markings/sec, 30 secs
lola: 13976794 markings, 21614624 edges, 339546 markings/sec, 35 secs
lola: 15655788 markings, 24224654 edges, 335799 markings/sec, 40 secs
lola: 17311300 markings, 26794062 edges, 331102 markings/sec, 45 secs
lola: 18969005 markings, 29366993 edges, 331541 markings/sec, 50 secs
lola: 20614200 markings, 31920183 edges, 329039 markings/sec, 55 secs
lola: 22241611 markings, 34444682 edges, 325482 markings/sec, 60 secs
lola: 23871952 markings, 36973537 edges, 326068 markings/sec, 65 secs
lola: 25484486 markings, 39475730 edges, 322507 markings/sec, 70 secs
lola: 27095625 markings, 41977219 edges, 322228 markings/sec, 75 secs
lola: 28734403 markings, 44516702 edges, 327756 markings/sec, 80 secs
lola: 30304596 markings, 46951224 edges, 314039 markings/sec, 85 secs
lola: 31876477 markings, 49385399 edges, 314376 markings/sec, 90 secs
lola: 33465892 markings, 51854073 edges, 317883 markings/sec, 95 secs
lola: 35146397 markings, 54465638 edges, 336101 markings/sec, 100 secs
lola: 36721531 markings, 56896235 edges, 315027 markings/sec, 105 secs
lola: 38319676 markings, 59372156 edges, 319629 markings/sec, 110 secs
lola: 40004592 markings, 61998660 edges, 336983 markings/sec, 115 secs
lola: 41578486 markings, 64420212 edges, 314779 markings/sec, 120 secs
lola: 43225396 markings, 66970291 edges, 329382 markings/sec, 125 secs
lola: 44895564 markings, 69565105 edges, 334034 markings/sec, 130 secs
lola: 46497776 markings, 72043146 edges, 320442 markings/sec, 135 secs
lola: 48213132 markings, 74711185 edges, 343071 markings/sec, 140 secs
lola: 49854939 markings, 77242479 edges, 328361 markings/sec, 145 secs
lola: 51548998 markings, 79866665 edges, 338812 markings/sec, 150 secs
lola: 53241061 markings, 82491324 edges, 338413 markings/sec, 155 secs
lola: 54926314 markings, 85102216 edges, 337051 markings/sec, 160 secs
lola: 56664788 markings, 87797845 edges, 347695 markings/sec, 165 secs
lola: 58356850 markings, 90411214 edges, 338412 markings/sec, 170 secs
lola: 60094219 markings, 93113620 edges, 347474 markings/sec, 175 secs
lola: 61761001 markings, 95683456 edges, 333356 markings/sec, 180 secs
lola: 63521869 markings, 98426621 edges, 352174 markings/sec, 185 secs
lola: 65196639 markings, 101005797 edges, 334954 markings/sec, 190 secs
lola: 66962686 markings, 103756681 edges, 353209 markings/sec, 195 secs
lola: 68636629 markings, 106331462 edges, 334789 markings/sec, 200 secs
lola: 70406056 markings, 109086637 edges, 353885 markings/sec, 205 secs
lola: 72082421 markings, 111668641 edges, 335273 markings/sec, 210 secs
lola: 73842569 markings, 114403964 edges, 352030 markings/sec, 215 secs
lola: 75525445 markings, 116998918 edges, 336575 markings/sec, 220 secs
lola: 77263336 markings, 119695904 edges, 347578 markings/sec, 225 secs
lola: 78967170 markings, 122331471 edges, 340767 markings/sec, 230 secs
lola: 80708610 markings, 125029170 edges, 348288 markings/sec, 235 secs
lola: 82422959 markings, 127677313 edges, 342870 markings/sec, 240 secs
lola: 84097472 markings, 130271432 edges, 334903 markings/sec, 245 secs
lola: 85848926 markings, 132993247 edges, 350291 markings/sec, 250 secs
lola: 87476115 markings, 135504337 edges, 325438 markings/sec, 255 secs
lola: 89206939 markings, 138193340 edges, 346165 markings/sec, 260 secs
lola: 90863757 markings, 140745506 edges, 331364 markings/sec, 265 secs
lola: 92592071 markings, 143427308 edges, 345663 markings/sec, 270 secs
lola: 94336553 markings, 146125433 edges, 348896 markings/sec, 275 secs
lola: 96033576 markings, 148749426 edges, 339405 markings/sec, 280 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 288 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SpG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2513807 markings, 3209406 edges, 502761 markings/sec, 0 secs
lola: 4902401 markings, 6204844 edges, 477719 markings/sec, 5 secs
lola: 6799603 markings, 8993000 edges, 379440 markings/sec, 10 secs
lola: 8867717 markings, 11850740 edges, 413623 markings/sec, 15 secs
lola: 10943969 markings, 14696362 edges, 415250 markings/sec, 20 secs
lola: 13037951 markings, 17546315 edges, 418796 markings/sec, 25 secs
lola: 15052321 markings, 20283688 edges, 402874 markings/sec, 30 secs
lola: 17133098 markings, 23110674 edges, 416155 markings/sec, 35 secs
lola: 19156770 markings, 25841873 edges, 404734 markings/sec, 40 secs
lola: 21237693 markings, 28633764 edges, 416185 markings/sec, 45 secs
lola: 23282548 markings, 31387754 edges, 408971 markings/sec, 50 secs
lola: 25342415 markings, 34143225 edges, 411973 markings/sec, 55 secs
lola: 27352407 markings, 36839121 edges, 401998 markings/sec, 60 secs
lola: 29377200 markings, 39549859 edges, 404959 markings/sec, 65 secs
lola: 31323720 markings, 42146039 edges, 389304 markings/sec, 70 secs
lola: 33343931 markings, 44837568 edges, 404042 markings/sec, 75 secs
lola: 35326427 markings, 47472701 edges, 396499 markings/sec, 80 secs
lola: 37332775 markings, 50139216 edges, 401270 markings/sec, 85 secs
lola: 39372965 markings, 52853616 edges, 408038 markings/sec, 90 secs
lola: 41346763 markings, 55475135 edges, 394760 markings/sec, 95 secs
lola: 43443351 markings, 58264964 edges, 419318 markings/sec, 100 secs
lola: 45403712 markings, 60880102 edges, 392072 markings/sec, 105 secs
lola: 47489730 markings, 63660219 edges, 417204 markings/sec, 110 secs
lola: 49467204 markings, 66283510 edges, 395495 markings/sec, 115 secs
lola: 51546854 markings, 69051305 edges, 415930 markings/sec, 120 secs
lola: 53531716 markings, 71683722 edges, 396972 markings/sec, 125 secs
lola: 55611233 markings, 74446322 edges, 415903 markings/sec, 130 secs
lola: 57593981 markings, 77080474 edges, 396550 markings/sec, 135 secs
lola: 59671225 markings, 79838267 edges, 415449 markings/sec, 140 secs
lola: 61653799 markings, 82471053 edges, 396515 markings/sec, 145 secs
lola: 63728767 markings, 85230874 edges, 414994 markings/sec, 150 secs
lola: 65704338 markings, 87843894 edges, 395114 markings/sec, 155 secs
lola: 67785365 markings, 90632412 edges, 416205 markings/sec, 160 secs
lola: 69740505 markings, 93204344 edges, 391028 markings/sec, 165 secs
lola: 71812262 markings, 95976249 edges, 414351 markings/sec, 170 secs
lola: 73830544 markings, 98642887 edges, 403656 markings/sec, 175 secs
lola: 75844217 markings, 101338462 edges, 402735 markings/sec, 180 secs
lola: 77894868 markings, 104060357 edges, 410130 markings/sec, 185 secs
lola: 79828892 markings, 106629751 edges, 386805 markings/sec, 190 secs
lola: 81795535 markings, 109265796 edges, 393329 markings/sec, 195 secs
lola: 83701645 markings, 111780260 edges, 381222 markings/sec, 200 secs
lola: 85563294 markings, 114272046 edges, 372330 markings/sec, 205 secs
lola: 87458739 markings, 116784210 edges, 379089 markings/sec, 210 secs
lola: 89295940 markings, 119224324 edges, 367440 markings/sec, 215 secs
lola: 91195803 markings, 121771817 edges, 379973 markings/sec, 220 secs
lola: 93049467 markings, 124215749 edges, 370733 markings/sec, 225 secs
lola: 94928086 markings, 126720673 edges, 375724 markings/sec, 230 secs
lola: 96891525 markings, 129345117 edges, 392688 markings/sec, 235 secs
lola: 98857264 markings, 131939893 edges, 393148 markings/sec, 240 secs
lola: 100794453 markings, 134516948 edges, 387438 markings/sec, 245 secs
lola: 102789331 markings, 137179433 edges, 398976 markings/sec, 250 secs
lola: 104808139 markings, 139872188 edges, 403762 markings/sec, 255 secs
lola: 106800731 markings, 142499799 edges, 398518 markings/sec, 260 secs
lola: 108763892 markings, 145104379 edges, 392632 markings/sec, 265 secs
lola: 110708097 markings, 147695464 edges, 388841 markings/sec, 270 secs
lola: 112632597 markings, 150260820 edges, 384900 markings/sec, 275 secs
lola: 114604598 markings, 152884336 edges, 394400 markings/sec, 280 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 288 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SpG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2459866 markings, 3138386 edges, 491973 markings/sec, 0 secs
lola: 4763784 markings, 6030901 edges, 460784 markings/sec, 5 secs
lola: 6580369 markings, 8690074 edges, 363317 markings/sec, 10 secs
lola: 8611587 markings, 11500918 edges, 406244 markings/sec, 15 secs
lola: 10610370 markings, 14239119 edges, 399757 markings/sec, 20 secs
lola: 12547074 markings, 16886287 edges, 387341 markings/sec, 25 secs
lola: 14524305 markings, 19569324 edges, 395446 markings/sec, 30 secs
lola: 16496830 markings, 22247876 edges, 394505 markings/sec, 35 secs
lola: 18403617 markings, 24815299 edges, 381357 markings/sec, 40 secs
lola: 20370514 markings, 27481994 edges, 393379 markings/sec, 45 secs
lola: 22273219 markings, 30029358 edges, 380541 markings/sec, 50 secs
lola: 24254458 markings, 32696925 edges, 396248 markings/sec, 55 secs
lola: 26157203 markings, 35236657 edges, 380549 markings/sec, 60 secs
lola: 28153908 markings, 37910759 edges, 399341 markings/sec, 65 secs
lola: 30045809 markings, 40429829 edges, 378380 markings/sec, 70 secs
lola: 31924423 markings, 42939440 edges, 375723 markings/sec, 75 secs
lola: 33883504 markings, 45555328 edges, 391816 markings/sec, 80 secs
lola: 35815637 markings, 48128422 edges, 386427 markings/sec, 85 secs
lola: 37879157 markings, 50871960 edges, 412704 markings/sec, 90 secs
lola: 39866485 markings, 53525909 edges, 397466 markings/sec, 95 secs
lola: 41857487 markings, 56159267 edges, 398200 markings/sec, 100 secs
lola: 43869410 markings, 58838977 edges, 402385 markings/sec, 105 secs
lola: 45823945 markings, 61429098 edges, 390907 markings/sec, 110 secs
lola: 47868932 markings, 64152088 edges, 408997 markings/sec, 115 secs
lola: 49790956 markings, 66710110 edges, 384405 markings/sec, 120 secs
lola: 51856689 markings, 69459886 edges, 413147 markings/sec, 125 secs
lola: 53766114 markings, 71993296 edges, 381885 markings/sec, 130 secs
lola: 55808182 markings, 74712937 edges, 408414 markings/sec, 135 secs
lola: 57776065 markings, 77319884 edges, 393577 markings/sec, 140 secs
lola: 59847116 markings, 80076468 edges, 414210 markings/sec, 145 secs
lola: 61812518 markings, 82679949 edges, 393080 markings/sec, 150 secs
lola: 63898028 markings, 85449720 edges, 417102 markings/sec, 155 secs
lola: 65853464 markings, 88041330 edges, 391087 markings/sec, 160 secs
lola: 67929902 markings, 90822501 edges, 415288 markings/sec, 165 secs
lola: 69863082 markings, 93366351 edges, 386636 markings/sec, 170 secs
lola: 71911439 markings, 96110725 edges, 409671 markings/sec, 175 secs
lola: 73918816 markings, 98761058 edges, 401475 markings/sec, 180 secs
lola: 75887942 markings, 101394475 edges, 393825 markings/sec, 185 secs
lola: 77915160 markings, 104087930 edges, 405444 markings/sec, 190 secs
lola: 79851726 markings, 106660833 edges, 387313 markings/sec, 195 secs
lola: 81878995 markings, 109379413 edges, 405454 markings/sec, 200 secs
lola: 83871106 markings, 112006805 edges, 398422 markings/sec, 205 secs
lola: 85842340 markings, 114635772 edges, 394247 markings/sec, 210 secs
lola: 87880736 markings, 117364566 edges, 407679 markings/sec, 215 secs
lola: 89858641 markings, 119970070 edges, 395581 markings/sec, 220 secs
lola: 91856961 markings, 122639558 edges, 399664 markings/sec, 225 secs
lola: 93890202 markings, 125355196 edges, 406648 markings/sec, 230 secs
lola: 95887874 markings, 127990427 edges, 399534 markings/sec, 235 secs
lola: 97867467 markings, 130627832 edges, 395919 markings/sec, 240 secs
lola: 99888937 markings, 133328843 edges, 404294 markings/sec, 245 secs
lola: 101887420 markings, 135973014 edges, 399697 markings/sec, 250 secs
lola: 103818699 markings, 138529796 edges, 386256 markings/sec, 255 secs
lola: 105795078 markings, 141166270 edges, 395276 markings/sec, 260 secs
lola: 107797581 markings, 143836563 edges, 400501 markings/sec, 265 secs
lola: 109801955 markings, 146507787 edges, 400875 markings/sec, 270 secs
lola: 111790007 markings, 149130341 edges, 397610 markings/sec, 275 secs
lola: 113759964 markings, 151742867 edges, 393991 markings/sec, 280 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 288 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2347081 markings, 3134521 edges, 469416 markings/sec, 0 secs
lola: 4565216 markings, 6118023 edges, 443627 markings/sec, 5 secs
lola: 6392631 markings, 8880770 edges, 365483 markings/sec, 10 secs
lola: 8377191 markings, 11896542 edges, 396912 markings/sec, 15 secs
lola: 10403576 markings, 14903057 edges, 405277 markings/sec, 20 secs
lola: 12404192 markings, 17868084 edges, 400123 markings/sec, 25 secs
lola: 14375833 markings, 20749430 edges, 394328 markings/sec, 30 secs
lola: 16366008 markings, 23658359 edges, 398035 markings/sec, 35 secs
lola: 18298504 markings, 26501773 edges, 386499 markings/sec, 40 secs
lola: 20279586 markings, 29359370 edges, 396216 markings/sec, 45 secs
lola: 22183629 markings, 32151753 edges, 380809 markings/sec, 50 secs
lola: 24153103 markings, 34995428 edges, 393895 markings/sec, 55 secs
lola: 26078998 markings, 37749587 edges, 385179 markings/sec, 60 secs
lola: 27959075 markings, 40485633 edges, 376015 markings/sec, 65 secs
lola: 29903104 markings, 43306396 edges, 388806 markings/sec, 70 secs
lola: 31805609 markings, 46031743 edges, 380501 markings/sec, 75 secs
lola: 33740675 markings, 48812611 edges, 387013 markings/sec, 80 secs
lola: 35638669 markings, 51517510 edges, 379599 markings/sec, 85 secs
lola: 37501735 markings, 54188886 edges, 372613 markings/sec, 90 secs
lola: 39443506 markings, 56979801 edges, 388354 markings/sec, 95 secs
lola: 41344317 markings, 59675462 edges, 380162 markings/sec, 100 secs
lola: 43183975 markings, 62309614 edges, 367932 markings/sec, 105 secs
lola: 45133348 markings, 65113999 edges, 389875 markings/sec, 110 secs
lola: 47008264 markings, 67763655 edges, 374983 markings/sec, 115 secs
lola: 48605369 markings, 70053921 edges, 319421 markings/sec, 120 secs
lola: 50326557 markings, 72517562 edges, 344238 markings/sec, 125 secs
lola: 52054653 markings, 74979089 edges, 345619 markings/sec, 130 secs
lola: 53671406 markings, 77285669 edges, 323351 markings/sec, 135 secs
lola: 55405360 markings, 79756962 edges, 346791 markings/sec, 140 secs
lola: 57173581 markings, 82288268 edges, 353644 markings/sec, 145 secs
lola: 58784179 markings, 84577039 edges, 322120 markings/sec, 150 secs
lola: 60515715 markings, 87047932 edges, 346307 markings/sec, 155 secs
lola: 62289647 markings, 89605150 edges, 354786 markings/sec, 160 secs
lola: 63883608 markings, 91845475 edges, 318792 markings/sec, 165 secs
lola: 65640310 markings, 94366447 edges, 351340 markings/sec, 170 secs
lola: 67387914 markings, 96868811 edges, 349521 markings/sec, 175 secs
lola: 68966817 markings, 99087108 edges, 315781 markings/sec, 180 secs
lola: 70778902 markings, 101711465 edges, 362417 markings/sec, 185 secs
lola: 72593116 markings, 104282262 edges, 362843 markings/sec, 190 secs
lola: 74403566 markings, 106834525 edges, 362090 markings/sec, 195 secs
lola: 76336613 markings, 109638616 edges, 386609 markings/sec, 200 secs
lola: 77910970 markings, 111848631 edges, 314871 markings/sec, 205 secs
lola: 79696734 markings, 114428605 edges, 357153 markings/sec, 210 secs
lola: 81367201 markings, 116801454 edges, 334093 markings/sec, 215 secs
lola: 82987407 markings, 119086133 edges, 324041 markings/sec, 220 secs
lola: 84727984 markings, 121627339 edges, 348115 markings/sec, 225 secs
lola: 86317086 markings, 123858151 edges, 317820 markings/sec, 230 secs
lola: 88248071 markings, 126659177 edges, 386197 markings/sec, 235 secs
lola: 90016165 markings, 129159573 edges, 353619 markings/sec, 240 secs
lola: 91906814 markings, 131887825 edges, 378130 markings/sec, 245 secs
lola: 93691754 markings, 134430689 edges, 356988 markings/sec, 250 secs
lola: 95551117 markings, 137099939 edges, 371873 markings/sec, 255 secs
lola: 97349242 markings, 139673256 edges, 359625 markings/sec, 260 secs
lola: 99215186 markings, 142346278 edges, 373189 markings/sec, 265 secs
lola: 101033653 markings, 144952346 edges, 363693 markings/sec, 270 secs
lola: 102912722 markings, 147645689 edges, 375814 markings/sec, 275 secs
lola: 104717440 markings, 150222609 edges, 360944 markings/sec, 280 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 287 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2103954 markings, 3124070 edges, 420791 markings/sec, 0 secs
lola: 4100789 markings, 6110593 edges, 399367 markings/sec, 5 secs
lola: 5260333 markings, 8851513 edges, 231909 markings/sec, 10 secs
lola: 6895322 markings, 12000682 edges, 326998 markings/sec, 15 secs
lola: 8577308 markings, 15227483 edges, 336397 markings/sec, 20 secs
lola: 10366633 markings, 18428994 edges, 357865 markings/sec, 25 secs
lola: 12102390 markings, 21522838 edges, 347151 markings/sec, 30 secs
lola: 13934558 markings, 24769104 edges, 366434 markings/sec, 35 secs
lola: 15718486 markings, 27945659 edges, 356786 markings/sec, 40 secs
lola: 17537460 markings, 31170380 edges, 363795 markings/sec, 45 secs
lola: 19320417 markings, 34344319 edges, 356591 markings/sec, 50 secs
lola: 21087049 markings, 37493953 edges, 353326 markings/sec, 55 secs
lola: 22897343 markings, 40699441 edges, 362059 markings/sec, 60 secs
lola: 24661108 markings, 43841036 edges, 352753 markings/sec, 65 secs
lola: 26472146 markings, 47047830 edges, 362208 markings/sec, 70 secs
lola: 28239603 markings, 50202447 edges, 353491 markings/sec, 75 secs
lola: 30005995 markings, 53346650 edges, 353278 markings/sec, 80 secs
lola: 31794366 markings, 56519788 edges, 357674 markings/sec, 85 secs
lola: 33544134 markings, 59638296 edges, 349954 markings/sec, 90 secs
lola: 35339148 markings, 62821577 edges, 359003 markings/sec, 95 secs
lola: 37103380 markings, 65962397 edges, 352846 markings/sec, 100 secs
lola: 38875796 markings, 69117258 edges, 354483 markings/sec, 105 secs
lola: 40658345 markings, 72284354 edges, 356510 markings/sec, 110 secs
lola: 42412038 markings, 75410873 edges, 350739 markings/sec, 115 secs
lola: 44205314 markings, 78591880 edges, 358655 markings/sec, 120 secs
lola: 45940728 markings, 81687267 edges, 347083 markings/sec, 125 secs
lola: 47729084 markings, 84862582 edges, 357671 markings/sec, 130 secs
lola: 49488625 markings, 87997385 edges, 351908 markings/sec, 135 secs
lola: 51249137 markings, 91132364 edges, 352102 markings/sec, 140 secs
lola: 53024078 markings, 94290076 edges, 354988 markings/sec, 145 secs
lola: 54777199 markings, 97410441 edges, 350624 markings/sec, 150 secs
lola: 56535504 markings, 100539074 edges, 351661 markings/sec, 155 secs
lola: 58277057 markings, 103643114 edges, 348311 markings/sec, 160 secs
lola: 60049213 markings, 106790320 edges, 354431 markings/sec, 165 secs
lola: 61791436 markings, 109898538 edges, 348445 markings/sec, 170 secs
lola: 63552814 markings, 113031599 edges, 352276 markings/sec, 175 secs
lola: 65299212 markings, 116144284 edges, 349280 markings/sec, 180 secs
lola: 67047041 markings, 119254376 edges, 349566 markings/sec, 185 secs
lola: 68812477 markings, 122397518 edges, 353087 markings/sec, 190 secs
lola: 70559963 markings, 125513570 edges, 349497 markings/sec, 195 secs
lola: 72324589 markings, 128651808 edges, 352925 markings/sec, 200 secs
lola: 74052874 markings, 131733226 edges, 345657 markings/sec, 205 secs
lola: 75769749 markings, 134791102 edges, 343375 markings/sec, 210 secs
lola: 77504735 markings, 137885505 edges, 346997 markings/sec, 215 secs
lola: 79264309 markings, 141017663 edges, 351915 markings/sec, 220 secs
lola: 80999634 markings, 144108291 edges, 347065 markings/sec, 225 secs
lola: 82749120 markings, 147229164 edges, 349897 markings/sec, 230 secs
lola: 84414910 markings, 150198635 edges, 333158 markings/sec, 235 secs
lola: 86119920 markings, 153236911 edges, 341002 markings/sec, 240 secs
lola: 87791659 markings, 156214055 edges, 334348 markings/sec, 245 secs
lola: 89495974 markings, 159254385 edges, 340863 markings/sec, 250 secs
lola: 91167059 markings, 162228126 edges, 334217 markings/sec, 255 secs
lola: 92869745 markings, 165267670 edges, 340537 markings/sec, 260 secs
lola: 94548129 markings, 168257100 edges, 335677 markings/sec, 265 secs
lola: 96246756 markings, 171286016 edges, 339725 markings/sec, 270 secs
lola: 97906932 markings, 174243184 edges, 332035 markings/sec, 275 secs
lola: 99654197 markings, 177359789 edges, 349453 markings/sec, 280 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 288 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CwG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2674209 markings, 3125258 edges, 534842 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: RESULT
lola:
SUMMARY: 80 unknown 80 unknown unknown unknown unknown unknown 80 unknown unknown unknown unknown unknown unknown 80
lola: ========================================
FORMULA ClientsAndServers-PT-N0010P2-UpperBounds-0 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P2-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P2-UpperBounds-2 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P2-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P2-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P2-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P2-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P2-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P2-UpperBounds-8 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P2-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P2-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P2-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P2-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P2-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P2-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P2-UpperBounds-15 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496605135365

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

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="ClientsAndServers-PT-N0010P2"
export BK_EXAMINATION="UpperBounds"
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

tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0010P2.tgz
mv ClientsAndServers-PT-N0010P2 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is ClientsAndServers-PT-N0010P2, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r168-ebro-149580920000209"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '' UpperBounds.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 ;