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 DES-PT-20a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309100263
=====================================================================

--------------------
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 DES-PT-20a-UpperBounds-0
FORMULA_NAME DES-PT-20a-UpperBounds-1
FORMULA_NAME DES-PT-20a-UpperBounds-10
FORMULA_NAME DES-PT-20a-UpperBounds-11
FORMULA_NAME DES-PT-20a-UpperBounds-12
FORMULA_NAME DES-PT-20a-UpperBounds-13
FORMULA_NAME DES-PT-20a-UpperBounds-14
FORMULA_NAME DES-PT-20a-UpperBounds-15
FORMULA_NAME DES-PT-20a-UpperBounds-2
FORMULA_NAME DES-PT-20a-UpperBounds-3
FORMULA_NAME DES-PT-20a-UpperBounds-4
FORMULA_NAME DES-PT-20a-UpperBounds-5
FORMULA_NAME DES-PT-20a-UpperBounds-6
FORMULA_NAME DES-PT-20a-UpperBounds-7
FORMULA_NAME DES-PT-20a-UpperBounds-8
FORMULA_NAME DES-PT-20a-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494627679619


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DES-PT-20a @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 347/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 195 places, 152 transitions, 136 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 177 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-20a-UpperBounds.task
lola: MAX(p35) : MAX(p113) : MAX(p96) : MAX(p45) : MAX(p133) : MAX(p57) : MAX(p167) : MAX(p108) : MAX(p112) : MAX(p54) : MAX(p33) : MAX(p6) : MAX(p142) : MAX(p184) : MAX(p156) : MAX(p39)
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(p35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1145533 markings, 2075446 edges, 229107 markings/sec, 0 secs
lola: 2272547 markings, 4093722 edges, 225403 markings/sec, 5 secs
lola: 3270573 markings, 6108096 edges, 199605 markings/sec, 10 secs
lola: 4348961 markings, 8012085 edges, 215678 markings/sec, 15 secs
lola: 5405378 markings, 9965670 edges, 211283 markings/sec, 20 secs
lola: 6357487 markings, 11886621 edges, 190422 markings/sec, 25 secs
lola: 7409843 markings, 13745815 edges, 210471 markings/sec, 30 secs
lola: 8453581 markings, 15666987 edges, 208748 markings/sec, 35 secs
lola: 9399507 markings, 17578059 edges, 189185 markings/sec, 40 secs
lola: 10436559 markings, 19439982 edges, 207410 markings/sec, 45 secs
lola: 11478422 markings, 21351159 edges, 208373 markings/sec, 50 secs
lola: 12419960 markings, 23270560 edges, 188308 markings/sec, 55 secs
lola: 13459491 markings, 25110065 edges, 207906 markings/sec, 60 secs
lola: 14520333 markings, 27036934 edges, 212168 markings/sec, 65 secs
lola: 15471444 markings, 28975962 edges, 190222 markings/sec, 70 secs
lola: 16440356 markings, 30841457 edges, 193782 markings/sec, 75 secs
lola: 17552545 markings, 32756418 edges, 222438 markings/sec, 80 secs
lola: 18491374 markings, 34655780 edges, 187766 markings/sec, 85 secs
lola: 19421044 markings, 36514776 edges, 185934 markings/sec, 90 secs
lola: 20552706 markings, 38409347 edges, 226332 markings/sec, 95 secs
lola: 21558555 markings, 40383515 edges, 201170 markings/sec, 100 secs
lola: 22513708 markings, 42298427 edges, 191031 markings/sec, 105 secs
lola: 23586361 markings, 44179888 edges, 214531 markings/sec, 110 secs
lola: 24650087 markings, 46147642 edges, 212745 markings/sec, 115 secs
lola: 25614922 markings, 48101898 edges, 192967 markings/sec, 120 secs
lola: 26672217 markings, 49980237 edges, 211459 markings/sec, 125 secs
lola: 27744530 markings, 51960112 edges, 214463 markings/sec, 130 secs
lola: 28722891 markings, 53960931 edges, 195672 markings/sec, 135 secs
lola: 29757710 markings, 55842700 edges, 206964 markings/sec, 140 secs
lola: 30879835 markings, 57819298 edges, 224425 markings/sec, 145 secs
lola: 31836534 markings, 59774257 edges, 191340 markings/sec, 150 secs
lola: 32771035 markings, 61641169 edges, 186900 markings/sec, 155 secs
lola: 33922113 markings, 63587579 edges, 230216 markings/sec, 160 secs
lola: 34945784 markings, 65600877 edges, 204734 markings/sec, 165 secs
lola: 35901693 markings, 67516597 edges, 191182 markings/sec, 170 secs
lola: 37046170 markings, 69441319 edges, 228895 markings/sec, 175 secs
lola: 38067844 markings, 71448788 edges, 204335 markings/sec, 180 secs
lola: 39033642 markings, 73389293 edges, 193160 markings/sec, 185 secs
lola: 40121222 markings, 75302555 edges, 217516 markings/sec, 190 secs
lola: 41184809 markings, 77279488 edges, 212717 markings/sec, 195 secs
lola: 42158646 markings, 79237444 edges, 194767 markings/sec, 200 secs
lola: 43227475 markings, 81135699 edges, 213766 markings/sec, 205 secs
lola: 44301730 markings, 83117936 edges, 214851 markings/sec, 210 secs
lola: 45283814 markings, 85101616 edges, 196417 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p113)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1498834 markings, 2064857 edges, 299767 markings/sec, 0 secs
lola: 2946031 markings, 4108742 edges, 289439 markings/sec, 5 secs
lola: 4369925 markings, 6121160 edges, 284779 markings/sec, 10 secs
lola: 5777683 markings, 8116801 edges, 281552 markings/sec, 15 secs
lola: 7145599 markings, 10054229 edges, 273583 markings/sec, 20 secs
lola: 8491394 markings, 11960925 edges, 269159 markings/sec, 25 secs
lola: 9825623 markings, 13853437 edges, 266846 markings/sec, 30 secs
lola: 11165863 markings, 15757193 edges, 268048 markings/sec, 35 secs
lola: 12509789 markings, 17648912 edges, 268785 markings/sec, 40 secs
lola: 13841944 markings, 19553449 edges, 266431 markings/sec, 45 secs
lola: 15170884 markings, 21417400 edges, 265788 markings/sec, 50 secs
lola: 16513548 markings, 23323355 edges, 268533 markings/sec, 55 secs
lola: 17926094 markings, 25294168 edges, 282509 markings/sec, 60 secs
lola: 19328395 markings, 27252744 edges, 280460 markings/sec, 65 secs
lola: 20685737 markings, 29188193 edges, 271468 markings/sec, 70 secs
lola: 22044847 markings, 31119133 edges, 271822 markings/sec, 75 secs
lola: 23355305 markings, 33056752 edges, 262092 markings/sec, 80 secs
lola: 24721456 markings, 34973208 edges, 273230 markings/sec, 85 secs
lola: 26028904 markings, 36906077 edges, 261490 markings/sec, 90 secs
lola: 27366981 markings, 38810475 edges, 267615 markings/sec, 95 secs
lola: 28675272 markings, 40739814 edges, 261658 markings/sec, 100 secs
lola: 29993059 markings, 42629586 edges, 263557 markings/sec, 105 secs
lola: 31304327 markings, 44516418 edges, 262254 markings/sec, 110 secs
lola: 32580758 markings, 46412434 edges, 255286 markings/sec, 115 secs
lola: 33878658 markings, 48218456 edges, 259580 markings/sec, 120 secs
lola: 35150407 markings, 50111654 edges, 254350 markings/sec, 125 secs
lola: 36418829 markings, 51919096 edges, 253684 markings/sec, 130 secs
lola: 37667302 markings, 53740676 edges, 249695 markings/sec, 135 secs
lola: 38897251 markings, 55546854 edges, 245990 markings/sec, 140 secs
lola: 40132898 markings, 57279517 edges, 247129 markings/sec, 145 secs
lola: 41359288 markings, 59101562 edges, 245278 markings/sec, 150 secs
lola: 42591191 markings, 60851824 edges, 246381 markings/sec, 155 secs
lola: 43819302 markings, 62641107 edges, 245622 markings/sec, 160 secs
lola: 45024359 markings, 64421292 edges, 241011 markings/sec, 165 secs
lola: 46272528 markings, 66153994 edges, 249634 markings/sec, 170 secs
lola: 47493462 markings, 67976076 edges, 244187 markings/sec, 175 secs
lola: 48728726 markings, 69742010 edges, 247053 markings/sec, 180 secs
lola: 49954470 markings, 71513260 edges, 245149 markings/sec, 185 secs
lola: 51155841 markings, 73301302 edges, 240274 markings/sec, 190 secs
lola: 52401505 markings, 75025244 edges, 249133 markings/sec, 195 secs
lola: 53627786 markings, 76856031 edges, 245256 markings/sec, 200 secs
lola: 54872717 markings, 78632839 edges, 248986 markings/sec, 205 secs
lola: 56091574 markings, 80393888 edges, 243771 markings/sec, 210 secs
lola: 57305817 markings, 82198659 edges, 242849 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p96)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 955524 markings, 1887021 edges, 191105 markings/sec, 0 secs
lola: 1881391 markings, 3728349 edges, 185173 markings/sec, 5 secs
lola: 2816682 markings, 5561388 edges, 187058 markings/sec, 10 secs
lola: 3697904 markings, 7384505 edges, 176244 markings/sec, 15 secs
lola: 4642251 markings, 9210355 edges, 188869 markings/sec, 20 secs
lola: 5549239 markings, 11059110 edges, 181398 markings/sec, 25 secs
lola: 6470041 markings, 12869294 edges, 184160 markings/sec, 30 secs
lola: 7394808 markings, 14676905 edges, 184953 markings/sec, 35 secs
lola: 8261575 markings, 16494461 edges, 173353 markings/sec, 40 secs
lola: 9186653 markings, 18275636 edges, 185016 markings/sec, 45 secs
lola: 10087884 markings, 20076665 edges, 180246 markings/sec, 50 secs
lola: 10970032 markings, 21855581 edges, 176430 markings/sec, 55 secs
lola: 11892689 markings, 23642640 edges, 184531 markings/sec, 60 secs
lola: 12783600 markings, 25477278 edges, 178182 markings/sec, 65 secs
lola: 13690605 markings, 27256162 edges, 181401 markings/sec, 70 secs
lola: 14611715 markings, 29041344 edges, 184222 markings/sec, 75 secs
lola: 15456411 markings, 30842216 edges, 168939 markings/sec, 80 secs
lola: 16393253 markings, 32633975 edges, 187368 markings/sec, 85 secs
lola: 17299921 markings, 34456042 edges, 181334 markings/sec, 90 secs
lola: 18178205 markings, 36215164 edges, 175657 markings/sec, 95 secs
lola: 19070572 markings, 37944319 edges, 178473 markings/sec, 100 secs
lola: 19931399 markings, 39717357 edges, 172165 markings/sec, 105 secs
lola: 20791082 markings, 41401188 edges, 171937 markings/sec, 110 secs
lola: 21681571 markings, 43135971 edges, 178098 markings/sec, 115 secs
lola: 22520353 markings, 44897694 edges, 167756 markings/sec, 120 secs
lola: 23395316 markings, 46589097 edges, 174993 markings/sec, 125 secs
lola: 24274989 markings, 48325014 edges, 175935 markings/sec, 130 secs
lola: 25115009 markings, 50050817 edges, 168004 markings/sec, 135 secs
lola: 25988039 markings, 51743344 edges, 174606 markings/sec, 140 secs
lola: 26849209 markings, 53490279 edges, 172234 markings/sec, 145 secs
lola: 27705005 markings, 55194492 edges, 171159 markings/sec, 150 secs
lola: 28594648 markings, 56918026 edges, 177929 markings/sec, 155 secs
lola: 29460775 markings, 58701481 edges, 173225 markings/sec, 160 secs
lola: 30315267 markings, 60376272 edges, 170898 markings/sec, 165 secs
lola: 31199578 markings, 62097946 edges, 176862 markings/sec, 170 secs
lola: 32034809 markings, 63852638 edges, 167046 markings/sec, 175 secs
lola: 32908848 markings, 65542182 edges, 174808 markings/sec, 180 secs
lola: 33784947 markings, 67275001 edges, 175220 markings/sec, 185 secs
lola: 34620444 markings, 69017475 edges, 167099 markings/sec, 190 secs
lola: 35433375 markings, 70639950 edges, 162586 markings/sec, 195 secs
lola: 36316621 markings, 72454356 edges, 176649 markings/sec, 200 secs
lola: 37276503 markings, 74421833 edges, 191976 markings/sec, 205 secs
lola: 38152706 markings, 76440130 edges, 175241 markings/sec, 210 secs
lola: 39000431 markings, 78352443 edges, 169545 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1139976 markings, 1857887 edges, 227995 markings/sec, 0 secs
lola: 2196786 markings, 3736621 edges, 211362 markings/sec, 5 secs
lola: 3297438 markings, 5598834 edges, 220130 markings/sec, 10 secs
lola: 4433727 markings, 7466355 edges, 227258 markings/sec, 15 secs
lola: 5570959 markings, 9325856 edges, 227446 markings/sec, 20 secs
lola: 6653622 markings, 11216519 edges, 216533 markings/sec, 25 secs
lola: 7731500 markings, 13050748 edges, 215576 markings/sec, 30 secs
lola: 8856861 markings, 14887135 edges, 225072 markings/sec, 35 secs
lola: 9956024 markings, 16682828 edges, 219833 markings/sec, 40 secs
lola: 11089724 markings, 18528019 edges, 226740 markings/sec, 45 secs
lola: 12147189 markings, 20411528 edges, 211493 markings/sec, 50 secs
lola: 13205600 markings, 22223265 edges, 211682 markings/sec, 55 secs
lola: 14350040 markings, 24041325 edges, 228888 markings/sec, 60 secs
lola: 15465362 markings, 25879204 edges, 223064 markings/sec, 65 secs
lola: 16617789 markings, 27716629 edges, 230485 markings/sec, 70 secs
lola: 17659994 markings, 29604981 edges, 208441 markings/sec, 75 secs
lola: 18697599 markings, 31383266 edges, 207521 markings/sec, 80 secs
lola: 19856117 markings, 33239198 edges, 231704 markings/sec, 85 secs
lola: 20965645 markings, 35062559 edges, 221906 markings/sec, 90 secs
lola: 22098956 markings, 36886382 edges, 226662 markings/sec, 95 secs
lola: 23151037 markings, 38774039 edges, 210416 markings/sec, 100 secs
lola: 24236506 markings, 40599829 edges, 217094 markings/sec, 105 secs
lola: 25380916 markings, 42455630 edges, 228882 markings/sec, 110 secs
lola: 26500248 markings, 44294287 edges, 223866 markings/sec, 115 secs
lola: 27627149 markings, 46176602 edges, 225380 markings/sec, 120 secs
lola: 28710244 markings, 48049325 edges, 216619 markings/sec, 125 secs
lola: 29800498 markings, 49881572 edges, 218051 markings/sec, 130 secs
lola: 30930945 markings, 51728981 edges, 226089 markings/sec, 135 secs
lola: 32067306 markings, 53583009 edges, 227272 markings/sec, 140 secs
lola: 33157724 markings, 55463310 edges, 218084 markings/sec, 145 secs
lola: 34239211 markings, 57320669 edges, 216297 markings/sec, 150 secs
lola: 35364063 markings, 59166929 edges, 224970 markings/sec, 155 secs
lola: 36501157 markings, 61016427 edges, 227419 markings/sec, 160 secs
lola: 37647636 markings, 62885167 edges, 229296 markings/sec, 165 secs
lola: 38710452 markings, 64777551 edges, 212563 markings/sec, 170 secs
lola: 39779153 markings, 66612045 edges, 213740 markings/sec, 175 secs
lola: 40901610 markings, 68386230 edges, 224491 markings/sec, 180 secs
lola: 41977760 markings, 70164149 edges, 215230 markings/sec, 185 secs
lola: 43100871 markings, 71964099 edges, 224622 markings/sec, 190 secs
lola: 44118873 markings, 73801383 edges, 203600 markings/sec, 195 secs
lola: 45145394 markings, 75577677 edges, 205304 markings/sec, 200 secs
lola: 46251783 markings, 77321921 edges, 221278 markings/sec, 205 secs
lola: 47308465 markings, 79065842 edges, 211336 markings/sec, 210 secs
lola: 48426348 markings, 80855639 edges, 223577 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p133)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1125755 markings, 1964413 edges, 225151 markings/sec, 0 secs
lola: 2327209 markings, 4050941 edges, 240291 markings/sec, 5 secs
lola: 3466380 markings, 6099334 edges, 227834 markings/sec, 10 secs
lola: 4604593 markings, 8145136 edges, 227643 markings/sec, 15 secs
lola: 5726433 markings, 10182190 edges, 224368 markings/sec, 20 secs
lola: 6811233 markings, 12204331 edges, 216960 markings/sec, 25 secs
lola: 7894181 markings, 14234800 edges, 216590 markings/sec, 30 secs
lola: 9009899 markings, 16248674 edges, 223144 markings/sec, 35 secs
lola: 10125743 markings, 18254314 edges, 223169 markings/sec, 40 secs
lola: 11204233 markings, 20213721 edges, 215698 markings/sec, 45 secs
lola: 12222984 markings, 22135040 edges, 203750 markings/sec, 50 secs
lola: 13257164 markings, 24039683 edges, 206836 markings/sec, 55 secs
lola: 14315315 markings, 25932272 edges, 211630 markings/sec, 60 secs
lola: 15374333 markings, 27847885 edges, 211804 markings/sec, 65 secs
lola: 16396413 markings, 29773959 edges, 204416 markings/sec, 70 secs
lola: 17440941 markings, 31704171 edges, 208906 markings/sec, 75 secs
lola: 18508382 markings, 33619309 edges, 213488 markings/sec, 80 secs
lola: 19580828 markings, 35555240 edges, 214489 markings/sec, 85 secs
lola: 20622947 markings, 37499074 edges, 208424 markings/sec, 90 secs
lola: 21671374 markings, 39457635 edges, 209685 markings/sec, 95 secs
lola: 22786023 markings, 41381223 edges, 222930 markings/sec, 100 secs
lola: 23890248 markings, 43378532 edges, 220845 markings/sec, 105 secs
lola: 24887877 markings, 45326491 edges, 199526 markings/sec, 110 secs
lola: 25746158 markings, 47020626 edges, 171656 markings/sec, 115 secs
lola: 26755840 markings, 48964259 edges, 201936 markings/sec, 120 secs
lola: 27927006 markings, 50824687 edges, 234233 markings/sec, 125 secs
lola: 29046298 markings, 52642868 edges, 223858 markings/sec, 130 secs
lola: 30086404 markings, 54566079 edges, 208021 markings/sec, 135 secs
lola: 31148129 markings, 56556113 edges, 212345 markings/sec, 140 secs
lola: 32290989 markings, 58478669 edges, 228572 markings/sec, 145 secs
lola: 33364708 markings, 60444478 edges, 214744 markings/sec, 150 secs
lola: 34397535 markings, 62426438 edges, 206565 markings/sec, 155 secs
lola: 35434258 markings, 64439366 edges, 207345 markings/sec, 160 secs
lola: 36574400 markings, 66356994 edges, 228028 markings/sec, 165 secs
lola: 37654528 markings, 68334453 edges, 216026 markings/sec, 170 secs
lola: 38653841 markings, 70329878 edges, 199863 markings/sec, 175 secs
lola: 39675853 markings, 72321818 edges, 204402 markings/sec, 180 secs
lola: 40766419 markings, 74223418 edges, 218113 markings/sec, 185 secs
lola: 41877809 markings, 76165843 edges, 222278 markings/sec, 190 secs
lola: 42876765 markings, 78138084 edges, 199791 markings/sec, 195 secs
lola: 43878605 markings, 80125018 edges, 200368 markings/sec, 200 secs
lola: 44930161 markings, 82050814 edges, 210311 markings/sec, 205 secs
lola: 46064286 markings, 83966891 edges, 226825 markings/sec, 210 secs
lola: 47069036 markings, 85912832 edges, 200950 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1213764 markings, 1979974 edges, 242753 markings/sec, 0 secs
lola: 2351473 markings, 3984585 edges, 227542 markings/sec, 5 secs
lola: 3481351 markings, 5907687 edges, 225976 markings/sec, 10 secs
lola: 4654883 markings, 7828083 edges, 234706 markings/sec, 15 secs
lola: 5825103 markings, 9734331 edges, 234044 markings/sec, 20 secs
lola: 6916500 markings, 11678777 edges, 218279 markings/sec, 25 secs
lola: 8000453 markings, 13546029 edges, 216791 markings/sec, 30 secs
lola: 9205815 markings, 15454520 edges, 241072 markings/sec, 35 secs
lola: 10347586 markings, 17332681 edges, 228354 markings/sec, 40 secs
lola: 11522598 markings, 19229890 edges, 235002 markings/sec, 45 secs
lola: 12599383 markings, 21156085 edges, 215357 markings/sec, 50 secs
lola: 13721776 markings, 23033128 edges, 224479 markings/sec, 55 secs
lola: 14880910 markings, 24920534 edges, 231827 markings/sec, 60 secs
lola: 16015169 markings, 26795040 edges, 226852 markings/sec, 65 secs
lola: 17146623 markings, 28703721 edges, 226291 markings/sec, 70 secs
lola: 18225884 markings, 30561622 edges, 215852 markings/sec, 75 secs
lola: 19346491 markings, 32423670 edges, 224121 markings/sec, 80 secs
lola: 20493408 markings, 34287041 edges, 229383 markings/sec, 85 secs
lola: 21641803 markings, 36163966 edges, 229679 markings/sec, 90 secs
lola: 22716182 markings, 38063947 edges, 214876 markings/sec, 95 secs
lola: 23800655 markings, 39910622 edges, 216895 markings/sec, 100 secs
lola: 24969963 markings, 41782582 edges, 233862 markings/sec, 105 secs
lola: 26094870 markings, 43638122 edges, 224981 markings/sec, 110 secs
lola: 27269585 markings, 45510931 edges, 234943 markings/sec, 115 secs
lola: 28334617 markings, 47438387 edges, 213006 markings/sec, 120 secs
lola: 29431004 markings, 49294055 edges, 219277 markings/sec, 125 secs
lola: 30603621 markings, 51191450 edges, 234523 markings/sec, 130 secs
lola: 31742919 markings, 53058611 edges, 227860 markings/sec, 135 secs
lola: 32901183 markings, 54974317 edges, 231653 markings/sec, 140 secs
lola: 34002790 markings, 56886631 edges, 220321 markings/sec, 145 secs
lola: 35109054 markings, 58751344 edges, 221253 markings/sec, 150 secs
lola: 36263339 markings, 60639735 edges, 230857 markings/sec, 155 secs
lola: 37434212 markings, 62548802 edges, 234175 markings/sec, 160 secs
lola: 38541499 markings, 64478000 edges, 221457 markings/sec, 165 secs
lola: 39650913 markings, 66371488 edges, 221883 markings/sec, 170 secs
lola: 40777310 markings, 68198804 edges, 225279 markings/sec, 175 secs
lola: 41891326 markings, 70027130 edges, 222803 markings/sec, 180 secs
lola: 43027488 markings, 71866283 edges, 227232 markings/sec, 185 secs
lola: 44075140 markings, 73745803 edges, 209530 markings/sec, 190 secs
lola: 45141345 markings, 75572069 edges, 213241 markings/sec, 195 secs
lola: 46278955 markings, 77371387 edges, 227522 markings/sec, 200 secs
lola: 47367039 markings, 79164911 edges, 217617 markings/sec, 205 secs
lola: 48520606 markings, 81003708 edges, 230713 markings/sec, 210 secs
lola: 49555974 markings, 82881355 edges, 207074 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p167)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1083577 markings, 1952403 edges, 216715 markings/sec, 0 secs
lola: 2308596 markings, 4049855 edges, 245004 markings/sec, 5 secs
lola: 3473103 markings, 6125148 edges, 232901 markings/sec, 10 secs
lola: 4604748 markings, 8182529 edges, 226329 markings/sec, 15 secs
lola: 5705029 markings, 10254955 edges, 220056 markings/sec, 20 secs
lola: 6839074 markings, 12292129 edges, 226809 markings/sec, 25 secs
lola: 7971201 markings, 14330146 edges, 226425 markings/sec, 30 secs
lola: 9048143 markings, 16366529 edges, 215388 markings/sec, 35 secs
lola: 10158835 markings, 18395651 edges, 222138 markings/sec, 40 secs
lola: 11282737 markings, 20413065 edges, 224780 markings/sec, 45 secs
lola: 12346973 markings, 22396673 edges, 212847 markings/sec, 50 secs
lola: 13393626 markings, 24329378 edges, 209331 markings/sec, 55 secs
lola: 14450669 markings, 26219183 edges, 211409 markings/sec, 60 secs
lola: 15472259 markings, 28131255 edges, 204318 markings/sec, 65 secs
lola: 16509522 markings, 30036332 edges, 207453 markings/sec, 70 secs
lola: 17570946 markings, 31935899 edges, 212285 markings/sec, 75 secs
lola: 18599277 markings, 33866846 edges, 205666 markings/sec, 80 secs
lola: 19642313 markings, 35781230 edges, 208607 markings/sec, 85 secs
lola: 20697417 markings, 37667678 edges, 211021 markings/sec, 90 secs
lola: 21720825 markings, 39593040 edges, 204682 markings/sec, 95 secs
lola: 22759970 markings, 41494696 edges, 207829 markings/sec, 100 secs
lola: 23829962 markings, 43410879 edges, 213998 markings/sec, 105 secs
lola: 24863837 markings, 45350837 edges, 206775 markings/sec, 110 secs
lola: 25959919 markings, 47268506 edges, 219216 markings/sec, 115 secs
lola: 27039248 markings, 49247788 edges, 215866 markings/sec, 120 secs
lola: 28053768 markings, 51231814 edges, 202904 markings/sec, 125 secs
lola: 28901446 markings, 52962167 edges, 169536 markings/sec, 130 secs
lola: 29810547 markings, 54822251 edges, 181820 markings/sec, 135 secs
lola: 31009066 markings, 56844824 edges, 239704 markings/sec, 140 secs
lola: 32210656 markings, 58815086 edges, 240318 markings/sec, 145 secs
lola: 33338763 markings, 60811566 edges, 225621 markings/sec, 150 secs
lola: 34437811 markings, 62812719 edges, 219810 markings/sec, 155 secs
lola: 35507916 markings, 64782150 edges, 214021 markings/sec, 160 secs
lola: 36655453 markings, 66742051 edges, 229507 markings/sec, 165 secs
lola: 37706346 markings, 68723325 edges, 210179 markings/sec, 170 secs
lola: 38754636 markings, 70698837 edges, 209658 markings/sec, 175 secs
lola: 39794809 markings, 72716067 edges, 208035 markings/sec, 180 secs
lola: 40891064 markings, 74629202 edges, 219251 markings/sec, 185 secs
lola: 42005186 markings, 76592911 edges, 222824 markings/sec, 190 secs
lola: 43031209 markings, 78568103 edges, 205205 markings/sec, 195 secs
lola: 44043485 markings, 80564200 edges, 202455 markings/sec, 200 secs
lola: 45065552 markings, 82560722 edges, 204413 markings/sec, 205 secs
lola: 46184966 markings, 84461105 edges, 223883 markings/sec, 210 secs
lola: 47274657 markings, 86415254 edges, 217938 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p108)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 976853 markings, 2040011 edges, 195371 markings/sec, 0 secs
lola: 1850329 markings, 4085157 edges, 174695 markings/sec, 5 secs
lola: 2768146 markings, 6080916 edges, 183563 markings/sec, 10 secs
lola: 3674931 markings, 8101580 edges, 181357 markings/sec, 15 secs
lola: 4639852 markings, 10198112 edges, 192984 markings/sec, 20 secs
lola: 5559869 markings, 12217381 edges, 184003 markings/sec, 25 secs
lola: 6495167 markings, 14238297 edges, 187060 markings/sec, 30 secs
lola: 7418408 markings, 16262033 edges, 184648 markings/sec, 35 secs
lola: 8380484 markings, 18323859 edges, 192415 markings/sec, 40 secs
lola: 9279604 markings, 20380402 edges, 179824 markings/sec, 45 secs
lola: 10138576 markings, 22399019 edges, 171794 markings/sec, 50 secs
lola: 10960456 markings, 24404378 edges, 164376 markings/sec, 55 secs
lola: 11661726 markings, 26289040 edges, 140254 markings/sec, 60 secs
lola: 12373985 markings, 28192633 edges, 142452 markings/sec, 65 secs
lola: 13153340 markings, 30140644 edges, 155871 markings/sec, 70 secs
lola: 13912434 markings, 32043583 edges, 151819 markings/sec, 75 secs
lola: 14721250 markings, 33987078 edges, 161763 markings/sec, 80 secs
lola: 15488593 markings, 35887423 edges, 153469 markings/sec, 85 secs
lola: 16252080 markings, 37777176 edges, 152697 markings/sec, 90 secs
lola: 17131417 markings, 39739691 edges, 175867 markings/sec, 95 secs
lola: 17946597 markings, 41701775 edges, 163036 markings/sec, 100 secs
lola: 18845429 markings, 43652188 edges, 179766 markings/sec, 105 secs
lola: 19708358 markings, 45605022 edges, 172586 markings/sec, 110 secs
lola: 20558446 markings, 47574122 edges, 170018 markings/sec, 115 secs
lola: 21379563 markings, 49556935 edges, 164223 markings/sec, 120 secs
lola: 22238901 markings, 51554948 edges, 171868 markings/sec, 125 secs
lola: 23131611 markings, 53569934 edges, 178542 markings/sec, 130 secs
lola: 24028534 markings, 55510427 edges, 179385 markings/sec, 135 secs
lola: 24870118 markings, 57384927 edges, 168317 markings/sec, 140 secs
lola: 25722557 markings, 59251533 edges, 170488 markings/sec, 145 secs
lola: 26558773 markings, 61121438 edges, 167243 markings/sec, 150 secs
lola: 27388914 markings, 62951692 edges, 166028 markings/sec, 155 secs
lola: 28237952 markings, 64791578 edges, 169808 markings/sec, 160 secs
lola: 29090937 markings, 66661589 edges, 170597 markings/sec, 165 secs
lola: 29959999 markings, 68518555 edges, 173812 markings/sec, 170 secs
lola: 30863531 markings, 70439070 edges, 180706 markings/sec, 175 secs
lola: 31687742 markings, 72340583 edges, 164842 markings/sec, 180 secs
lola: 32494522 markings, 74221532 edges, 161356 markings/sec, 185 secs
lola: 33302128 markings, 76081711 edges, 161521 markings/sec, 190 secs
lola: 34113316 markings, 77963912 edges, 162238 markings/sec, 195 secs
lola: 34885003 markings, 79889556 edges, 154337 markings/sec, 200 secs
lola: 35574624 markings, 81744937 edges, 137924 markings/sec, 205 secs
lola: 36249216 markings, 83585776 edges, 134918 markings/sec, 210 secs
lola: 36946650 markings, 85428832 edges, 139487 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p112)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1268454 markings, 1833304 edges, 253691 markings/sec, 0 secs
lola: 2483167 markings, 3596778 edges, 242943 markings/sec, 5 secs
lola: 3671780 markings, 5320934 edges, 237723 markings/sec, 10 secs
lola: 4879574 markings, 7096817 edges, 241559 markings/sec, 15 secs
lola: 6053089 markings, 8875669 edges, 234703 markings/sec, 20 secs
lola: 7244240 markings, 10590872 edges, 238230 markings/sec, 25 secs
lola: 8418308 markings, 12301230 edges, 234814 markings/sec, 30 secs
lola: 9586950 markings, 13988800 edges, 233728 markings/sec, 35 secs
lola: 10749680 markings, 15645873 edges, 232546 markings/sec, 40 secs
lola: 11875792 markings, 17359857 edges, 225222 markings/sec, 45 secs
lola: 13036814 markings, 19018550 edges, 232204 markings/sec, 50 secs
lola: 14193177 markings, 20817276 edges, 231273 markings/sec, 55 secs
lola: 15339675 markings, 22595248 edges, 229300 markings/sec, 60 secs
lola: 16452971 markings, 24285360 edges, 222659 markings/sec, 65 secs
lola: 17628829 markings, 26020886 edges, 235172 markings/sec, 70 secs
lola: 18759623 markings, 27735917 edges, 226159 markings/sec, 75 secs
lola: 19864721 markings, 29406179 edges, 221020 markings/sec, 80 secs
lola: 21007381 markings, 31075702 edges, 228532 markings/sec, 85 secs
lola: 22143342 markings, 32730096 edges, 227192 markings/sec, 90 secs
lola: 23303075 markings, 34444561 edges, 231947 markings/sec, 95 secs
lola: 24469618 markings, 36118391 edges, 233309 markings/sec, 100 secs
lola: 25625383 markings, 37768307 edges, 231153 markings/sec, 105 secs
lola: 26736973 markings, 39447049 edges, 222318 markings/sec, 110 secs
lola: 27879464 markings, 41075184 edges, 228498 markings/sec, 115 secs
lola: 28978201 markings, 42786270 edges, 219747 markings/sec, 120 secs
lola: 30081507 markings, 44449344 edges, 220661 markings/sec, 125 secs
lola: 31212690 markings, 46086368 edges, 226237 markings/sec, 130 secs
lola: 32349585 markings, 47852255 edges, 227379 markings/sec, 135 secs
lola: 33431068 markings, 49576156 edges, 216297 markings/sec, 140 secs
lola: 34547237 markings, 51296268 edges, 223234 markings/sec, 145 secs
lola: 35642748 markings, 52994806 edges, 219102 markings/sec, 150 secs
lola: 36730448 markings, 54737178 edges, 217540 markings/sec, 155 secs
lola: 37791688 markings, 56368552 edges, 212248 markings/sec, 160 secs
lola: 38899824 markings, 58020737 edges, 221627 markings/sec, 165 secs
lola: 40047851 markings, 59713369 edges, 229605 markings/sec, 170 secs
lola: 41124748 markings, 61365955 edges, 215379 markings/sec, 175 secs
lola: 42160844 markings, 63001114 edges, 207219 markings/sec, 180 secs
lola: 43264555 markings, 64650181 edges, 220742 markings/sec, 185 secs
lola: 44362215 markings, 66240773 edges, 219532 markings/sec, 190 secs
lola: 45467989 markings, 67834164 edges, 221155 markings/sec, 195 secs
lola: 46584765 markings, 69535604 edges, 223355 markings/sec, 200 secs
lola: 47737590 markings, 71150212 edges, 230565 markings/sec, 205 secs
lola: 48882909 markings, 72806006 edges, 229064 markings/sec, 210 secs
lola: 50011806 markings, 74463793 edges, 225779 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1189705 markings, 1938242 edges, 237941 markings/sec, 0 secs
lola: 2305149 markings, 3903507 edges, 223089 markings/sec, 5 secs
lola: 3404835 markings, 5782295 edges, 219937 markings/sec, 10 secs
lola: 4549708 markings, 7657253 edges, 228975 markings/sec, 15 secs
lola: 5697290 markings, 9531941 edges, 229516 markings/sec, 20 secs
lola: 6777002 markings, 11443240 edges, 215942 markings/sec, 25 secs
lola: 7865551 markings, 13294401 edges, 217710 markings/sec, 30 secs
lola: 9037890 markings, 15169786 edges, 234468 markings/sec, 35 secs
lola: 10174448 markings, 17044710 edges, 227312 markings/sec, 40 secs
lola: 11347865 markings, 18911353 edges, 234683 markings/sec, 45 secs
lola: 12411252 markings, 20843915 edges, 212677 markings/sec, 50 secs
lola: 13511354 markings, 22701077 edges, 220020 markings/sec, 55 secs
lola: 14681570 markings, 24595366 edges, 234043 markings/sec, 60 secs
lola: 15820044 markings, 26459760 edges, 227695 markings/sec, 65 secs
lola: 16967079 markings, 28363815 edges, 229407 markings/sec, 70 secs
lola: 18063495 markings, 30264102 edges, 219283 markings/sec, 75 secs
lola: 19165717 markings, 32120996 edges, 220444 markings/sec, 80 secs
lola: 20304773 markings, 33984850 edges, 227811 markings/sec, 85 secs
lola: 21446805 markings, 35850580 edges, 228406 markings/sec, 90 secs
lola: 22545040 markings, 37737839 edges, 219647 markings/sec, 95 secs
lola: 23627559 markings, 39599525 edges, 216504 markings/sec, 100 secs
lola: 24755999 markings, 41451374 edges, 225688 markings/sec, 105 secs
lola: 25891352 markings, 43298304 edges, 227071 markings/sec, 110 secs
lola: 27029316 markings, 45154876 edges, 227593 markings/sec, 115 secs
lola: 28088999 markings, 47035798 edges, 211937 markings/sec, 120 secs
lola: 29160367 markings, 48874679 edges, 214274 markings/sec, 125 secs
lola: 30324620 markings, 50723282 edges, 232851 markings/sec, 130 secs
lola: 31434849 markings, 52553406 edges, 222046 markings/sec, 135 secs
lola: 32592676 markings, 54394929 edges, 231565 markings/sec, 140 secs
lola: 33630902 markings, 56282935 edges, 207645 markings/sec, 145 secs
lola: 34703758 markings, 58101102 edges, 214571 markings/sec, 150 secs
lola: 35864519 markings, 59979580 edges, 232152 markings/sec, 155 secs
lola: 36989350 markings, 61826593 edges, 224966 markings/sec, 160 secs
lola: 38146724 markings, 63717942 edges, 231475 markings/sec, 165 secs
lola: 39223151 markings, 65620487 edges, 215285 markings/sec, 170 secs
lola: 40306218 markings, 67432375 edges, 216613 markings/sec, 175 secs
lola: 41406531 markings, 69219608 edges, 220063 markings/sec, 180 secs
lola: 42493992 markings, 71015533 edges, 217492 markings/sec, 185 secs
lola: 43592225 markings, 72847294 edges, 219647 markings/sec, 190 secs
lola: 44661268 markings, 74692951 edges, 213809 markings/sec, 195 secs
lola: 45705623 markings, 76446016 edges, 208871 markings/sec, 200 secs
lola: 46790190 markings, 78212784 edges, 216913 markings/sec, 205 secs
lola: 47876479 markings, 80007962 edges, 217258 markings/sec, 210 secs
lola: 48962743 markings, 81831151 edges, 217253 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1093537 markings, 2075044 edges, 218707 markings/sec, 0 secs
lola: 2092915 markings, 4089558 edges, 199876 markings/sec, 5 secs
lola: 3037903 markings, 6113727 edges, 188998 markings/sec, 10 secs
lola: 4129810 markings, 8096741 edges, 218381 markings/sec, 15 secs
lola: 5159547 markings, 10140784 edges, 205947 markings/sec, 20 secs
lola: 6128952 markings, 12201908 edges, 193881 markings/sec, 25 secs
lola: 7099947 markings, 14124495 edges, 194199 markings/sec, 30 secs
lola: 8074341 markings, 16012420 edges, 194879 markings/sec, 35 secs
lola: 8965357 markings, 17889957 edges, 178203 markings/sec, 40 secs
lola: 9897025 markings, 19884549 edges, 186334 markings/sec, 45 secs
lola: 10754751 markings, 21849661 edges, 171545 markings/sec, 50 secs
lola: 11582860 markings, 23779954 edges, 165622 markings/sec, 55 secs
lola: 12487433 markings, 25681716 edges, 180915 markings/sec, 60 secs
lola: 13421314 markings, 27503168 edges, 186776 markings/sec, 65 secs
lola: 14449830 markings, 29331624 edges, 205703 markings/sec, 70 secs
lola: 15439210 markings, 31259482 edges, 197876 markings/sec, 75 secs
lola: 16392745 markings, 33170238 edges, 190707 markings/sec, 80 secs
lola: 17266972 markings, 35070464 edges, 174845 markings/sec, 85 secs
lola: 18180443 markings, 36856050 edges, 182694 markings/sec, 90 secs
lola: 19142054 markings, 38717506 edges, 192322 markings/sec, 95 secs
lola: 20026032 markings, 40581967 edges, 176796 markings/sec, 100 secs
lola: 20901927 markings, 42486355 edges, 175179 markings/sec, 105 secs
lola: 21840405 markings, 44417351 edges, 187696 markings/sec, 110 secs
lola: 22662295 markings, 46277856 edges, 164378 markings/sec, 115 secs
lola: 23416941 markings, 48038856 edges, 150929 markings/sec, 120 secs
lola: 24249855 markings, 49907605 edges, 166583 markings/sec, 125 secs
lola: 25162427 markings, 51693124 edges, 182514 markings/sec, 130 secs
lola: 25991484 markings, 53380520 edges, 165811 markings/sec, 135 secs
lola: 27042790 markings, 55140813 edges, 210261 markings/sec, 140 secs
lola: 27955467 markings, 56964634 edges, 182535 markings/sec, 145 secs
lola: 28861153 markings, 58840498 edges, 181137 markings/sec, 150 secs
lola: 29731281 markings, 60709019 edges, 174026 markings/sec, 155 secs
lola: 30627851 markings, 62435412 edges, 179314 markings/sec, 160 secs
lola: 31557195 markings, 64249458 edges, 185869 markings/sec, 165 secs
lola: 32405148 markings, 66033625 edges, 169591 markings/sec, 170 secs
lola: 33219562 markings, 67796580 edges, 162883 markings/sec, 175 secs
lola: 34126959 markings, 69683764 edges, 181479 markings/sec, 180 secs
lola: 34930838 markings, 71505807 edges, 160776 markings/sec, 185 secs
lola: 35715560 markings, 73339029 edges, 156944 markings/sec, 190 secs
lola: 36556262 markings, 75231326 edges, 168140 markings/sec, 195 secs
lola: 37484560 markings, 77010976 edges, 185660 markings/sec, 200 secs
lola: 38359517 markings, 78760158 edges, 174991 markings/sec, 205 secs
lola: 39421929 markings, 80597822 edges, 212482 markings/sec, 210 secs
lola: 40338103 markings, 82438726 edges, 183235 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1360925 markings, 1930420 edges, 272185 markings/sec, 0 secs
lola: 2723593 markings, 3894022 edges, 272534 markings/sec, 5 secs
lola: 4079232 markings, 5813847 edges, 271128 markings/sec, 10 secs
lola: 5379719 markings, 7779633 edges, 260097 markings/sec, 15 secs
lola: 6712473 markings, 9676620 edges, 266551 markings/sec, 20 secs
lola: 8037982 markings, 11572388 edges, 265102 markings/sec, 25 secs
lola: 9357156 markings, 13544695 edges, 263835 markings/sec, 30 secs
lola: 10655265 markings, 15463250 edges, 259622 markings/sec, 35 secs
lola: 11938403 markings, 17422861 edges, 256628 markings/sec, 40 secs
lola: 13248194 markings, 19339085 edges, 261958 markings/sec, 45 secs
lola: 14546260 markings, 21259228 edges, 259613 markings/sec, 50 secs
lola: 15830442 markings, 23066666 edges, 256836 markings/sec, 55 secs
lola: 17131205 markings, 25025103 edges, 260153 markings/sec, 60 secs
lola: 18456574 markings, 26931817 edges, 265074 markings/sec, 65 secs
lola: 19781224 markings, 28829345 edges, 264930 markings/sec, 70 secs
lola: 21073734 markings, 30724956 edges, 258502 markings/sec, 75 secs
lola: 22364428 markings, 32624305 edges, 258139 markings/sec, 80 secs
lola: 23656765 markings, 34568443 edges, 258467 markings/sec, 85 secs
lola: 24854367 markings, 36486101 edges, 239520 markings/sec, 90 secs
lola: 26127858 markings, 38398411 edges, 254698 markings/sec, 95 secs
lola: 27335622 markings, 40323852 edges, 241553 markings/sec, 100 secs
lola: 28527471 markings, 42229688 edges, 238370 markings/sec, 105 secs
lola: 29723708 markings, 44034141 edges, 239247 markings/sec, 110 secs
lola: 30994257 markings, 45871707 edges, 254110 markings/sec, 115 secs
lola: 32249501 markings, 47814601 edges, 251049 markings/sec, 120 secs
lola: 33574779 markings, 49720109 edges, 265056 markings/sec, 125 secs
lola: 34760554 markings, 51566502 edges, 237155 markings/sec, 130 secs
lola: 36042357 markings, 53487272 edges, 256361 markings/sec, 135 secs
lola: 37249428 markings, 55264667 edges, 241414 markings/sec, 140 secs
lola: 38494547 markings, 57032524 edges, 249024 markings/sec, 145 secs
lola: 39744297 markings, 58907821 edges, 249950 markings/sec, 150 secs
lola: 41013174 markings, 60790590 edges, 253775 markings/sec, 155 secs
lola: 42326002 markings, 62655860 edges, 262566 markings/sec, 160 secs
lola: 43628878 markings, 64514361 edges, 260575 markings/sec, 165 secs
lola: 44880585 markings, 66370291 edges, 250341 markings/sec, 170 secs
lola: 46152123 markings, 68209788 edges, 254308 markings/sec, 175 secs
lola: 47378331 markings, 70093090 edges, 245242 markings/sec, 180 secs
lola: 48631949 markings, 71977755 edges, 250724 markings/sec, 185 secs
lola: 49896361 markings, 73835833 edges, 252882 markings/sec, 190 secs
lola: 51073629 markings, 75705600 edges, 235454 markings/sec, 195 secs
lola: 52238930 markings, 77599017 edges, 233060 markings/sec, 200 secs
lola: 53392725 markings, 79447826 edges, 230759 markings/sec, 205 secs
lola: 54597194 markings, 81286922 edges, 240894 markings/sec, 210 secs
lola: 55788868 markings, 83199296 edges, 238335 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p142)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1120060 markings, 1954518 edges, 224012 markings/sec, 0 secs
lola: 2308972 markings, 4018146 edges, 237782 markings/sec, 5 secs
lola: 3440495 markings, 6049465 edges, 226305 markings/sec, 10 secs
lola: 4571738 markings, 8087859 edges, 226249 markings/sec, 15 secs
lola: 5693704 markings, 10121164 edges, 224393 markings/sec, 20 secs
lola: 6763739 markings, 12126962 edges, 214007 markings/sec, 25 secs
lola: 7843361 markings, 14137243 edges, 215924 markings/sec, 30 secs
lola: 8946755 markings, 16131176 edges, 220679 markings/sec, 35 secs
lola: 10062105 markings, 18138831 edges, 223070 markings/sec, 40 secs
lola: 11132505 markings, 20089207 edges, 214080 markings/sec, 45 secs
lola: 12156346 markings, 22020981 edges, 204768 markings/sec, 50 secs
lola: 13199519 markings, 23922923 edges, 208635 markings/sec, 55 secs
lola: 14255198 markings, 25816934 edges, 211136 markings/sec, 60 secs
lola: 15307109 markings, 27731400 edges, 210382 markings/sec, 65 secs
lola: 16326153 markings, 29655563 edges, 203809 markings/sec, 70 secs
lola: 17371704 markings, 31570104 edges, 209110 markings/sec, 75 secs
lola: 18442347 markings, 33482522 edges, 214129 markings/sec, 80 secs
lola: 19505653 markings, 35413311 edges, 212661 markings/sec, 85 secs
lola: 20538218 markings, 37358617 edges, 206513 markings/sec, 90 secs
lola: 21591616 markings, 39305229 edges, 210680 markings/sec, 95 secs
lola: 22705476 markings, 41231363 edges, 222772 markings/sec, 100 secs
lola: 23795078 markings, 43216524 edges, 217920 markings/sec, 105 secs
lola: 24818819 markings, 45188074 edges, 204748 markings/sec, 110 secs
lola: 25681651 markings, 46892803 edges, 172566 markings/sec, 115 secs
lola: 26674248 markings, 48844198 edges, 198519 markings/sec, 120 secs
lola: 27931692 markings, 50831992 edges, 251489 markings/sec, 125 secs
lola: 29143220 markings, 52802775 edges, 242306 markings/sec, 130 secs
lola: 30214180 markings, 54786355 edges, 214192 markings/sec, 135 secs
lola: 31276525 markings, 56792243 edges, 212469 markings/sec, 140 secs
lola: 32442819 markings, 58730188 edges, 233259 markings/sec, 145 secs
lola: 33501138 markings, 60702680 edges, 211664 markings/sec, 150 secs
lola: 34542064 markings, 62691914 edges, 208185 markings/sec, 155 secs
lola: 35568987 markings, 64687792 edges, 205385 markings/sec, 160 secs
lola: 36723954 markings, 66604501 edges, 230993 markings/sec, 165 secs
lola: 37771929 markings, 68559989 edges, 209595 markings/sec, 170 secs
lola: 38764958 markings, 70540740 edges, 198606 markings/sec, 175 secs
lola: 39789648 markings, 72538457 edges, 204938 markings/sec, 180 secs
lola: 40893590 markings, 74430438 edges, 220788 markings/sec, 185 secs
lola: 41987856 markings, 76379385 edges, 218853 markings/sec, 190 secs
lola: 42979079 markings, 78355584 edges, 198245 markings/sec, 195 secs
lola: 43978249 markings, 80339702 edges, 199834 markings/sec, 200 secs
lola: 45045047 markings, 82247190 edges, 213360 markings/sec, 205 secs
lola: 46174914 markings, 84177645 edges, 225973 markings/sec, 210 secs
lola: 47172264 markings, 86125116 edges, 199470 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p184)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1047133 markings, 2152841 edges, 209427 markings/sec, 0 secs
lola: 2048212 markings, 4182577 edges, 200216 markings/sec, 5 secs
lola: 3030621 markings, 6189296 edges, 196482 markings/sec, 10 secs
lola: 3972648 markings, 8128427 edges, 188405 markings/sec, 15 secs
lola: 4938252 markings, 10075537 edges, 193121 markings/sec, 20 secs
lola: 5880896 markings, 12049945 edges, 188529 markings/sec, 25 secs
lola: 6819235 markings, 13948479 edges, 187668 markings/sec, 30 secs
lola: 7781815 markings, 15882553 edges, 192516 markings/sec, 35 secs
lola: 8692599 markings, 17831626 edges, 182157 markings/sec, 40 secs
lola: 9640142 markings, 19741234 edges, 189509 markings/sec, 45 secs
lola: 10580501 markings, 21666868 edges, 188072 markings/sec, 50 secs
lola: 11488477 markings, 23520679 edges, 181595 markings/sec, 55 secs
lola: 12427486 markings, 25402326 edges, 187802 markings/sec, 60 secs
lola: 13319532 markings, 27312627 edges, 178409 markings/sec, 65 secs
lola: 14243040 markings, 29171919 edges, 184702 markings/sec, 70 secs
lola: 15165522 markings, 31062346 edges, 184496 markings/sec, 75 secs
lola: 16064559 markings, 32893104 edges, 179807 markings/sec, 80 secs
lola: 16990716 markings, 34751717 edges, 185231 markings/sec, 85 secs
lola: 17868058 markings, 36628692 edges, 175468 markings/sec, 90 secs
lola: 18788354 markings, 38466332 edges, 184059 markings/sec, 95 secs
lola: 19690675 markings, 40347232 edges, 180464 markings/sec, 100 secs
lola: 20592592 markings, 42176677 edges, 180383 markings/sec, 105 secs
lola: 21520729 markings, 44045238 edges, 185627 markings/sec, 110 secs
lola: 22407988 markings, 45906521 edges, 177452 markings/sec, 115 secs
lola: 23365397 markings, 47807251 edges, 191482 markings/sec, 120 secs
lola: 24380981 markings, 49918366 edges, 203117 markings/sec, 125 secs
lola: 25324788 markings, 51961042 edges, 188761 markings/sec, 130 secs
lola: 26328189 markings, 53893356 edges, 200680 markings/sec, 135 secs
lola: 27282315 markings, 55920005 edges, 190825 markings/sec, 140 secs
lola: 28197939 markings, 57919577 edges, 183125 markings/sec, 145 secs
lola: 29186270 markings, 59805174 edges, 197666 markings/sec, 150 secs
lola: 30119390 markings, 61742135 edges, 186624 markings/sec, 155 secs
lola: 31001938 markings, 63724592 edges, 176510 markings/sec, 160 secs
lola: 31887336 markings, 65621092 edges, 177080 markings/sec, 165 secs
lola: 32866496 markings, 67423115 edges, 195832 markings/sec, 170 secs
lola: 33770649 markings, 69331418 edges, 180831 markings/sec, 175 secs
lola: 34649308 markings, 71315078 edges, 175732 markings/sec, 180 secs
lola: 35530222 markings, 73199427 edges, 176183 markings/sec, 185 secs
lola: 36499825 markings, 74983823 edges, 193921 markings/sec, 190 secs
lola: 37396834 markings, 76875789 edges, 179402 markings/sec, 195 secs
lola: 38268042 markings, 78836239 edges, 174242 markings/sec, 200 secs
lola: 39144462 markings, 80714645 edges, 175284 markings/sec, 205 secs
lola: 40109360 markings, 82497302 edges, 192980 markings/sec, 210 secs
lola: 41009120 markings, 84390517 edges, 179952 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p156)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1045487 markings, 1939856 edges, 209097 markings/sec, 0 secs
lola: 2274752 markings, 4051751 edges, 245853 markings/sec, 5 secs
lola: 3431357 markings, 6135398 edges, 231321 markings/sec, 10 secs
lola: 4548504 markings, 8194994 edges, 223429 markings/sec, 15 secs
lola: 5639722 markings, 10269757 edges, 218244 markings/sec, 20 secs
lola: 6763265 markings, 12312270 edges, 224709 markings/sec, 25 secs
lola: 7886059 markings, 14361668 edges, 224559 markings/sec, 30 secs
lola: 8958539 markings, 16413700 edges, 214496 markings/sec, 35 secs
lola: 10063109 markings, 18452684 edges, 220914 markings/sec, 40 secs
lola: 11176115 markings, 20474986 edges, 222601 markings/sec, 45 secs
lola: 12230800 markings, 22461950 edges, 210937 markings/sec, 50 secs
lola: 13265957 markings, 24398813 edges, 207031 markings/sec, 55 secs
lola: 14316438 markings, 26303656 edges, 210096 markings/sec, 60 secs
lola: 15339173 markings, 28231088 edges, 204547 markings/sec, 65 secs
lola: 16372328 markings, 30159113 edges, 206631 markings/sec, 70 secs
lola: 17429180 markings, 32076544 edges, 211370 markings/sec, 75 secs
lola: 18457349 markings, 34015619 edges, 205634 markings/sec, 80 secs
lola: 19495485 markings, 35954976 edges, 207627 markings/sec, 85 secs
lola: 20558787 markings, 37882690 edges, 212660 markings/sec, 90 secs
lola: 21593722 markings, 39829617 edges, 206987 markings/sec, 95 secs
lola: 22633904 markings, 41780443 edges, 208036 markings/sec, 100 secs
lola: 23703286 markings, 43721322 edges, 213876 markings/sec, 105 secs
lola: 24747278 markings, 45666219 edges, 208798 markings/sec, 110 secs
lola: 25845573 markings, 47619066 edges, 219659 markings/sec, 115 secs
lola: 26924602 markings, 49633316 edges, 215806 markings/sec, 120 secs
lola: 27889785 markings, 51592593 edges, 193037 markings/sec, 125 secs
lola: 28699834 markings, 53303303 edges, 162010 markings/sec, 130 secs
lola: 29611047 markings, 55226558 edges, 182243 markings/sec, 135 secs
lola: 30849680 markings, 57269206 edges, 247727 markings/sec, 140 secs
lola: 32058343 markings, 59270816 edges, 241733 markings/sec, 145 secs
lola: 33163532 markings, 61301632 edges, 221038 markings/sec, 150 secs
lola: 34257228 markings, 63332188 edges, 218739 markings/sec, 155 secs
lola: 35352694 markings, 65324225 edges, 219093 markings/sec, 160 secs
lola: 36492934 markings, 67296770 edges, 228048 markings/sec, 165 secs
lola: 37530195 markings, 69285534 edges, 207452 markings/sec, 170 secs
lola: 38582311 markings, 71309484 edges, 210423 markings/sec, 175 secs
lola: 39602847 markings, 73339504 edges, 204107 markings/sec, 180 secs
lola: 40732220 markings, 75270311 edges, 225875 markings/sec, 185 secs
lola: 41821609 markings, 77263231 edges, 217878 markings/sec, 190 secs
lola: 42835894 markings, 79259919 edges, 202857 markings/sec, 195 secs
lola: 43847353 markings, 81260537 edges, 202292 markings/sec, 200 secs
lola: 44853522 markings, 83241328 edges, 201234 markings/sec, 205 secs
lola: 45991478 markings, 85167929 edges, 227591 markings/sec, 210 secs
lola: 47034440 markings, 87126419 edges, 208592 markings/sec, 215 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p39)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1
lola: ========================================
FORMULA DES-PT-20a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-15 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494631002862

--------------------
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="DES-PT-20a"
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/DES-PT-20a.tgz
mv DES-PT-20a 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 DES-PT-20a, 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 r018-ebro-149436309100263"
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 ;