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-3254
Executing tool lola
Input is Echo-PT-d02r09, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264100236
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494683415143


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Echo-PT-d02r09 @ 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: 1305/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 735 places, 570 transitions, 366 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1128 transition conflict sets
lola: TASK
lola: reading formula from Echo-PT-d02r09-UpperBounds.task
lola: MAX(p421) : MAX(p711) : MAX(p680) : MAX(p195) : MAX(p498) : MAX(p675) : MAX(p280) : MAX(p519) : MAX(p380) : MAX(p319) : MAX(p20) : MAX(p23) : MAX(p168) : MAX(p276) : MAX(p171) : MAX(p271)
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(p421)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 18 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: 2973218 markings, 2973218 edges, 594644 markings/sec, 0 secs
lola: 5775567 markings, 5775567 edges, 560470 markings/sec, 5 secs
lola: 8493995 markings, 8493995 edges, 543686 markings/sec, 10 secs
lola: 11311571 markings, 11311571 edges, 563515 markings/sec, 15 secs
lola: 13983580 markings, 13983580 edges, 534402 markings/sec, 20 secs
lola: 16794048 markings, 16794048 edges, 562094 markings/sec, 25 secs
lola: 19526985 markings, 19526985 edges, 546587 markings/sec, 30 secs
lola: 22163012 markings, 22163012 edges, 527205 markings/sec, 35 secs
lola: 24860257 markings, 24860257 edges, 539449 markings/sec, 40 secs
lola: 27591809 markings, 27591808 edges, 546310 markings/sec, 45 secs
lola: 30281673 markings, 30281673 edges, 537973 markings/sec, 50 secs
lola: 32828519 markings, 32828519 edges, 509369 markings/sec, 55 secs
lola: 35542541 markings, 35542541 edges, 542804 markings/sec, 60 secs
lola: 38309692 markings, 38309692 edges, 553430 markings/sec, 65 secs
lola: 41039532 markings, 41039532 edges, 545968 markings/sec, 70 secs
lola: 43630734 markings, 43630734 edges, 518240 markings/sec, 75 secs
lola: 46151928 markings, 46151928 edges, 504239 markings/sec, 80 secs
lola: 48831816 markings, 48831816 edges, 535978 markings/sec, 85 secs
lola: 51517404 markings, 51517404 edges, 537118 markings/sec, 90 secs
lola: 53996426 markings, 53996425 edges, 495804 markings/sec, 95 secs
lola: 56504504 markings, 56504504 edges, 501616 markings/sec, 100 secs
lola: 59006909 markings, 59006909 edges, 500481 markings/sec, 105 secs
lola: 61766762 markings, 61766762 edges, 551971 markings/sec, 110 secs
lola: 64351116 markings, 64351116 edges, 516871 markings/sec, 115 secs
lola: 66899337 markings, 66899336 edges, 509644 markings/sec, 120 secs
lola: 69407525 markings, 69407525 edges, 501638 markings/sec, 125 secs
lola: 71998075 markings, 71998075 edges, 518110 markings/sec, 130 secs
lola: 74670607 markings, 74670607 edges, 534506 markings/sec, 135 secs
lola: 77237836 markings, 77237836 edges, 513446 markings/sec, 140 secs
lola: 79856074 markings, 79856074 edges, 523648 markings/sec, 145 secs
lola: 82773270 markings, 82773270 edges, 583439 markings/sec, 150 secs
lola: 85636987 markings, 85636987 edges, 572743 markings/sec, 155 secs
lola: 88378882 markings, 88378882 edges, 548379 markings/sec, 160 secs
lola: 90946531 markings, 90946531 edges, 513530 markings/sec, 165 secs
lola: 93651096 markings, 93651096 edges, 540913 markings/sec, 170 secs
lola: 96416410 markings, 96416410 edges, 553063 markings/sec, 175 secs
lola: 99024791 markings, 99024791 edges, 521676 markings/sec, 180 secs
lola: 101423848 markings, 101423848 edges, 479811 markings/sec, 185 secs
lola: 103900127 markings, 103900127 edges, 495256 markings/sec, 190 secs
lola: 106507499 markings, 106507499 edges, 521474 markings/sec, 195 secs
lola: 109173843 markings, 109173843 edges, 533269 markings/sec, 200 secs
lola: 111802559 markings, 111802559 edges, 525743 markings/sec, 205 secs
lola: 114073314 markings, 114073314 edges, 454151 markings/sec, 210 secs
lola: 116558450 markings, 116558450 edges, 497027 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(p711)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 18 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: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p680)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 18 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: ========================================
lola: subprocess 3 will run for 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p195)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 18 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: 2052650 markings, 2132950 edges, 410530 markings/sec, 0 secs
lola: 3947703 markings, 4095914 edges, 379011 markings/sec, 5 secs
lola: 5863234 markings, 6065143 edges, 383106 markings/sec, 10 secs
lola: 7657610 markings, 7915014 edges, 358875 markings/sec, 15 secs
lola: 9496936 markings, 9826132 edges, 367865 markings/sec, 20 secs
lola: 11208039 markings, 11663526 edges, 342221 markings/sec, 25 secs
lola: 13047787 markings, 13565472 edges, 367950 markings/sec, 30 secs
lola: 14663191 markings, 15280544 edges, 323081 markings/sec, 35 secs
lola: 16430205 markings, 17136256 edges, 353403 markings/sec, 40 secs
lola: 18091371 markings, 18959679 edges, 332233 markings/sec, 45 secs
lola: 19767037 markings, 20807252 edges, 335133 markings/sec, 50 secs
lola: 21558603 markings, 22670422 edges, 358313 markings/sec, 55 secs
lola: 23430115 markings, 24591068 edges, 374302 markings/sec, 60 secs
lola: 25119728 markings, 26337540 edges, 337923 markings/sec, 65 secs
lola: 26869621 markings, 28151323 edges, 349979 markings/sec, 70 secs
lola: 28551181 markings, 29919145 edges, 336312 markings/sec, 75 secs
lola: 30214643 markings, 31676725 edges, 332692 markings/sec, 80 secs
lola: 31833867 markings, 33395228 edges, 323845 markings/sec, 85 secs
lola: 33539952 markings, 35161106 edges, 341217 markings/sec, 90 secs
lola: 35215926 markings, 36974470 edges, 335195 markings/sec, 95 secs
lola: 36817236 markings, 38770344 edges, 320262 markings/sec, 100 secs
lola: 38546152 markings, 40567728 edges, 345783 markings/sec, 105 secs
lola: 40129165 markings, 42246101 edges, 316603 markings/sec, 110 secs
lola: 41834664 markings, 44004303 edges, 341100 markings/sec, 115 secs
lola: 43303935 markings, 45630409 edges, 293854 markings/sec, 120 secs
lola: 44862267 markings, 47393071 edges, 311666 markings/sec, 125 secs
lola: 46523803 markings, 49178356 edges, 332307 markings/sec, 130 secs
lola: 48195342 markings, 50989587 edges, 334308 markings/sec, 135 secs
lola: 49709853 markings, 52678908 edges, 302902 markings/sec, 140 secs
lola: 51382659 markings, 54584082 edges, 334561 markings/sec, 145 secs
lola: 53050788 markings, 56439262 edges, 333626 markings/sec, 150 secs
lola: 54852350 markings, 58273785 edges, 360312 markings/sec, 155 secs
lola: 56529563 markings, 60052247 edges, 335443 markings/sec, 160 secs
lola: 58276206 markings, 61858591 edges, 349329 markings/sec, 165 secs
lola: 59739320 markings, 63902158 edges, 292623 markings/sec, 170 secs
lola: 61450297 markings, 65906481 edges, 342195 markings/sec, 175 secs
lola: 63203160 markings, 67874275 edges, 350573 markings/sec, 180 secs
lola: 64824630 markings, 69881177 edges, 324294 markings/sec, 185 secs
lola: 66723111 markings, 71896246 edges, 379696 markings/sec, 190 secs
lola: 68492110 markings, 73889296 edges, 353800 markings/sec, 195 secs
lola: 70335615 markings, 75896109 edges, 368701 markings/sec, 200 secs
lola: 72411426 markings, 78008676 edges, 415162 markings/sec, 205 secs
lola: 74420143 markings, 80042447 edges, 401743 markings/sec, 210 secs
lola: 76436846 markings, 82082028 edges, 403341 markings/sec, 215 secs
lola: 78495544 markings, 84167937 edges, 411740 markings/sec, 220 secs
lola: 80493261 markings, 86202628 edges, 399543 markings/sec, 225 secs
lola: 82501413 markings, 88242311 edges, 401630 markings/sec, 230 secs
lola: 84536725 markings, 90303735 edges, 407062 markings/sec, 235 secs
lola: 86496210 markings, 92291132 edges, 391897 markings/sec, 240 secs
lola: 88443819 markings, 94270615 edges, 389522 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 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p498)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 18 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: 3485691 markings, 3485691 edges, 697138 markings/sec, 0 secs
lola: 6898610 markings, 6898610 edges, 682584 markings/sec, 5 secs
lola: 10317293 markings, 10317293 edges, 683737 markings/sec, 10 secs
lola: 13761369 markings, 13761369 edges, 688815 markings/sec, 15 secs
lola: 17283353 markings, 17283353 edges, 704397 markings/sec, 20 secs
lola: 20787814 markings, 20787814 edges, 700892 markings/sec, 25 secs
lola: 24219926 markings, 24219926 edges, 686422 markings/sec, 30 secs
lola: 27663994 markings, 27663994 edges, 688814 markings/sec, 35 secs
lola: 31096287 markings, 31096287 edges, 686459 markings/sec, 40 secs
lola: 34555386 markings, 34555386 edges, 691820 markings/sec, 45 secs
lola: 37940293 markings, 37940293 edges, 676981 markings/sec, 50 secs
lola: 41309847 markings, 41309847 edges, 673911 markings/sec, 55 secs
lola: 44743172 markings, 44743172 edges, 686665 markings/sec, 60 secs
lola: 48257519 markings, 48257519 edges, 702869 markings/sec, 65 secs
lola: 51752601 markings, 51752601 edges, 699016 markings/sec, 70 secs
lola: 55259019 markings, 55259019 edges, 701284 markings/sec, 75 secs
lola: 58735794 markings, 58735794 edges, 695355 markings/sec, 80 secs
lola: 62113443 markings, 62113443 edges, 675530 markings/sec, 85 secs
lola: 65588293 markings, 65588293 edges, 694970 markings/sec, 90 secs
lola: 68992465 markings, 68992464 edges, 680834 markings/sec, 95 secs
lola: 72458330 markings, 72458330 edges, 693173 markings/sec, 100 secs
lola: 75951534 markings, 75951534 edges, 698641 markings/sec, 105 secs
lola: 79362929 markings, 79362928 edges, 682279 markings/sec, 110 secs
lola: 82827294 markings, 82827294 edges, 692873 markings/sec, 115 secs
lola: 86214272 markings, 86214272 edges, 677396 markings/sec, 120 secs
lola: 89581104 markings, 89581104 edges, 673366 markings/sec, 125 secs
lola: 92983765 markings, 92983765 edges, 680532 markings/sec, 130 secs
lola: 96389629 markings, 96389629 edges, 681173 markings/sec, 135 secs
lola: 99873112 markings, 99873112 edges, 696697 markings/sec, 140 secs
lola: 103269613 markings, 103269613 edges, 679300 markings/sec, 145 secs
lola: 106620991 markings, 106620991 edges, 670276 markings/sec, 150 secs
lola: 110055638 markings, 110055638 edges, 686929 markings/sec, 155 secs
lola: 113462790 markings, 113462790 edges, 681430 markings/sec, 160 secs
lola: 117049648 markings, 117049647 edges, 717372 markings/sec, 165 secs
lola: 120608527 markings, 120608527 edges, 711776 markings/sec, 170 secs
lola: 124182231 markings, 124182231 edges, 714741 markings/sec, 175 secs
lola: 127605820 markings, 127605820 edges, 684718 markings/sec, 180 secs
lola: 130999315 markings, 130999315 edges, 678699 markings/sec, 185 secs
lola: 134417989 markings, 134417989 edges, 683735 markings/sec, 190 secs
lola: 137802142 markings, 137802142 edges, 676831 markings/sec, 195 secs
lola: 141203553 markings, 141203553 edges, 680282 markings/sec, 200 secs
lola: 144607239 markings, 144607239 edges, 680737 markings/sec, 205 secs
lola: 147966990 markings, 147966989 edges, 671950 markings/sec, 210 secs
lola: 151371586 markings, 151371586 edges, 680919 markings/sec, 215 secs
lola: 154714149 markings, 154714149 edges, 668513 markings/sec, 220 secs
lola: 158071833 markings, 158071833 edges, 671537 markings/sec, 225 secs
lola: 161377444 markings, 161377444 edges, 661122 markings/sec, 230 secs
lola: 164629952 markings, 164629952 edges, 650502 markings/sec, 235 secs
lola: 168030915 markings, 168030915 edges, 680193 markings/sec, 240 secs
lola: 171504358 markings, 171504358 edges, 694689 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 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p675)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 18 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: ========================================
lola: subprocess 6 will run for 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p280)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 18 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: 1939346 markings, 1959640 edges, 387869 markings/sec, 0 secs
lola: 3859005 markings, 3897213 edges, 383932 markings/sec, 5 secs
lola: 5804395 markings, 5861212 edges, 389078 markings/sec, 10 secs
lola: 7650734 markings, 7832606 edges, 369268 markings/sec, 15 secs
lola: 9484906 markings, 9743166 edges, 366834 markings/sec, 20 secs
lola: 11224907 markings, 11589336 edges, 348000 markings/sec, 25 secs
lola: 13129987 markings, 13514650 edges, 381016 markings/sec, 30 secs
lola: 15017396 markings, 15430794 edges, 377482 markings/sec, 35 secs
lola: 16936540 markings, 17370854 edges, 383829 markings/sec, 40 secs
lola: 18799043 markings, 19276436 edges, 372501 markings/sec, 45 secs
lola: 20573653 markings, 21126066 edges, 354922 markings/sec, 50 secs
lola: 22293689 markings, 22899927 edges, 344007 markings/sec, 55 secs
lola: 24249282 markings, 24874178 edges, 391119 markings/sec, 60 secs
lola: 26171970 markings, 26815234 edges, 384538 markings/sec, 65 secs
lola: 28107190 markings, 28768921 edges, 387044 markings/sec, 70 secs
lola: 30012944 markings, 30692873 edges, 381151 markings/sec, 75 secs
lola: 31923932 markings, 32622144 edges, 382198 markings/sec, 80 secs
lola: 33772569 markings, 34488447 edges, 369727 markings/sec, 85 secs
lola: 35634134 markings, 36367987 edges, 372313 markings/sec, 90 secs
lola: 37449356 markings, 38200743 edges, 363044 markings/sec, 95 secs
lola: 39331499 markings, 40102074 edges, 376429 markings/sec, 100 secs
lola: 41226137 markings, 42015749 edges, 378928 markings/sec, 105 secs
lola: 43094370 markings, 43901996 edges, 373647 markings/sec, 110 secs
lola: 44886594 markings, 45712374 edges, 358445 markings/sec, 115 secs
lola: 46738337 markings, 47582527 edges, 370349 markings/sec, 120 secs
lola: 48513057 markings, 49377143 edges, 354944 markings/sec, 125 secs
lola: 50247588 markings, 51132978 edges, 346906 markings/sec, 130 secs
lola: 52042832 markings, 52947093 edges, 359049 markings/sec, 135 secs
lola: 53843547 markings, 54766152 edges, 360143 markings/sec, 140 secs
lola: 55663421 markings, 56603601 edges, 363975 markings/sec, 145 secs
lola: 57421941 markings, 58379653 edges, 351704 markings/sec, 150 secs
lola: 59247205 markings, 60222908 edges, 365053 markings/sec, 155 secs
lola: 60970268 markings, 61964879 edges, 344613 markings/sec, 160 secs
lola: 62684013 markings, 63698919 edges, 342749 markings/sec, 165 secs
lola: 64410318 markings, 65445564 edges, 345261 markings/sec, 170 secs
lola: 66199633 markings, 67256154 edges, 357863 markings/sec, 175 secs
lola: 67924623 markings, 69011681 edges, 344998 markings/sec, 180 secs
lola: 69598472 markings, 70702007 edges, 334770 markings/sec, 185 secs
lola: 71227101 markings, 72351698 edges, 325726 markings/sec, 190 secs
lola: 72887667 markings, 74048168 edges, 332113 markings/sec, 195 secs
lola: 74591859 markings, 75778793 edges, 340838 markings/sec, 200 secs
lola: 76188539 markings, 77398746 edges, 319336 markings/sec, 205 secs
lola: 77945770 markings, 79180266 edges, 351446 markings/sec, 210 secs
lola: 79592338 markings, 80851243 edges, 329314 markings/sec, 215 secs
lola: 81478307 markings, 82756382 edges, 377194 markings/sec, 220 secs
lola: 83346450 markings, 84642825 edges, 373629 markings/sec, 225 secs
lola: 85236045 markings, 86550929 edges, 377919 markings/sec, 230 secs
lola: 87115902 markings, 88449201 edges, 375971 markings/sec, 235 secs
lola: 88982850 markings, 90334441 edges, 373390 markings/sec, 240 secs
lola: 90936477 markings, 92307208 edges, 390725 markings/sec, 245 secs
lola: 92851466 markings, 94240961 edges, 382998 markings/sec, 250 secs
lola: 94781294 markings, 96189711 edges, 385966 markings/sec, 255 secs
lola: 96666085 markings, 98092964 edges, 376958 markings/sec, 260 secs
lola: 98498952 markings, 99943785 edges, 366573 markings/sec, 265 secs
lola: 100313775 markings, 101776386 edges, 362965 markings/sec, 270 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p519)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 18 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: 3414306 markings, 3414306 edges, 682861 markings/sec, 0 secs
lola: 6786838 markings, 6786838 edges, 674506 markings/sec, 5 secs
lola: 10167802 markings, 10167802 edges, 676193 markings/sec, 10 secs
lola: 13527106 markings, 13527106 edges, 671861 markings/sec, 15 secs
lola: 16859597 markings, 16859597 edges, 666498 markings/sec, 20 secs
lola: 20245451 markings, 20245451 edges, 677171 markings/sec, 25 secs
lola: 23590855 markings, 23590854 edges, 669081 markings/sec, 30 secs
lola: 26913295 markings, 26913295 edges, 664488 markings/sec, 35 secs
lola: 30285081 markings, 30285081 edges, 674357 markings/sec, 40 secs
lola: 33653958 markings, 33653958 edges, 673775 markings/sec, 45 secs
lola: 37010902 markings, 37010902 edges, 671389 markings/sec, 50 secs
lola: 40321411 markings, 40321411 edges, 662102 markings/sec, 55 secs
lola: 43607759 markings, 43607759 edges, 657270 markings/sec, 60 secs
lola: 46888451 markings, 46888451 edges, 656138 markings/sec, 65 secs
lola: 50296471 markings, 50296471 edges, 681604 markings/sec, 70 secs
lola: 53654952 markings, 53654952 edges, 671696 markings/sec, 75 secs
lola: 57005685 markings, 57005685 edges, 670147 markings/sec, 80 secs
lola: 60334654 markings, 60334653 edges, 665794 markings/sec, 85 secs
lola: 63664967 markings, 63664967 edges, 666063 markings/sec, 90 secs
lola: 67066809 markings, 67066809 edges, 680368 markings/sec, 95 secs
lola: 70449279 markings, 70449279 edges, 676494 markings/sec, 100 secs
lola: 73734553 markings, 73734553 edges, 657055 markings/sec, 105 secs
lola: 77034456 markings, 77034456 edges, 659981 markings/sec, 110 secs
lola: 80467628 markings, 80467628 edges, 686634 markings/sec, 115 secs
lola: 83830385 markings, 83830385 edges, 672551 markings/sec, 120 secs
lola: 87171917 markings, 87171916 edges, 668306 markings/sec, 125 secs
lola: 90472226 markings, 90472226 edges, 660062 markings/sec, 130 secs
lola: 93753643 markings, 93753643 edges, 656283 markings/sec, 135 secs
lola: 97097207 markings, 97097207 edges, 668713 markings/sec, 140 secs
lola: 100421509 markings, 100421509 edges, 664860 markings/sec, 145 secs
lola: 103740156 markings, 103740156 edges, 663729 markings/sec, 150 secs
lola: 107035461 markings, 107035461 edges, 659061 markings/sec, 155 secs
lola: 110322435 markings, 110322435 edges, 657395 markings/sec, 160 secs
lola: 113623618 markings, 113623617 edges, 660237 markings/sec, 165 secs
lola: 116939328 markings, 116939328 edges, 663142 markings/sec, 170 secs
lola: 120075403 markings, 120075403 edges, 627215 markings/sec, 175 secs
lola: 123161545 markings, 123161545 edges, 617228 markings/sec, 180 secs
lola: 126515603 markings, 126515603 edges, 670812 markings/sec, 185 secs
lola: 129852386 markings, 129852386 edges, 667357 markings/sec, 190 secs
lola: 133143188 markings, 133143188 edges, 658160 markings/sec, 195 secs
lola: 136376034 markings, 136376034 edges, 646569 markings/sec, 200 secs
lola: 139779119 markings, 139779118 edges, 680617 markings/sec, 205 secs
lola: 143022742 markings, 143022742 edges, 648725 markings/sec, 210 secs
lola: 146317154 markings, 146317153 edges, 658882 markings/sec, 215 secs
lola: 149649340 markings, 149649340 edges, 666437 markings/sec, 220 secs
lola: 152967681 markings, 152967681 edges, 663668 markings/sec, 225 secs
lola: 156270666 markings, 156270666 edges, 660597 markings/sec, 230 secs
lola: 159560086 markings, 159560086 edges, 657884 markings/sec, 235 secs
lola: 162859724 markings, 162859724 edges, 659928 markings/sec, 240 secs
lola: 166172538 markings, 166172537 edges, 662563 markings/sec, 245 secs
lola: 169449080 markings, 169449080 edges, 655308 markings/sec, 250 secs
lola: 172761450 markings, 172761450 edges, 662474 markings/sec, 255 secs
lola: 176113822 markings, 176113822 edges, 670474 markings/sec, 260 secs
lola: 179410939 markings, 179410939 edges, 659423 markings/sec, 265 secs
lola: 182738653 markings, 182738653 edges, 665543 markings/sec, 270 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 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p380)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 18 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: 3374927 markings, 3374927 edges, 674985 markings/sec, 0 secs
lola: 6709795 markings, 6709795 edges, 666974 markings/sec, 5 secs
lola: 9948068 markings, 9948068 edges, 647655 markings/sec, 10 secs
lola: 13215038 markings, 13215037 edges, 653394 markings/sec, 15 secs
lola: 16427831 markings, 16427831 edges, 642559 markings/sec, 20 secs
lola: 19407174 markings, 19407174 edges, 595869 markings/sec, 25 secs
lola: 22496209 markings, 22496209 edges, 617807 markings/sec, 30 secs
lola: 25614522 markings, 25614522 edges, 623663 markings/sec, 35 secs
lola: 28733003 markings, 28733003 edges, 623696 markings/sec, 40 secs
lola: 31904717 markings, 31904717 edges, 634343 markings/sec, 45 secs
lola: 35013224 markings, 35013224 edges, 621701 markings/sec, 50 secs
lola: 38173047 markings, 38173047 edges, 631965 markings/sec, 55 secs
lola: 41218022 markings, 41218022 edges, 608995 markings/sec, 60 secs
lola: 44324783 markings, 44324783 edges, 621352 markings/sec, 65 secs
lola: 47433341 markings, 47433341 edges, 621712 markings/sec, 70 secs
lola: 50736606 markings, 50736606 edges, 660653 markings/sec, 75 secs
lola: 53770804 markings, 53770804 edges, 606840 markings/sec, 80 secs
lola: 56747056 markings, 56747056 edges, 595250 markings/sec, 85 secs
lola: 59790915 markings, 59790915 edges, 608772 markings/sec, 90 secs
lola: 62779834 markings, 62779834 edges, 597784 markings/sec, 95 secs
lola: 65682672 markings, 65682672 edges, 580568 markings/sec, 100 secs
lola: 68557244 markings, 68557244 edges, 574914 markings/sec, 105 secs
lola: 71688272 markings, 71688272 edges, 626206 markings/sec, 110 secs
lola: 75031765 markings, 75031765 edges, 668699 markings/sec, 115 secs
lola: 78318760 markings, 78318760 edges, 657399 markings/sec, 120 secs
lola: 81523246 markings, 81523246 edges, 640897 markings/sec, 125 secs
lola: 84651485 markings, 84651485 edges, 625648 markings/sec, 130 secs
lola: 87761341 markings, 87761341 edges, 621971 markings/sec, 135 secs
lola: 90887033 markings, 90887033 edges, 625138 markings/sec, 140 secs
lola: 94036620 markings, 94036620 edges, 629917 markings/sec, 145 secs
lola: 97221567 markings, 97221567 edges, 636989 markings/sec, 150 secs
lola: 100289621 markings, 100289621 edges, 613611 markings/sec, 155 secs
lola: 103377304 markings, 103377304 edges, 617537 markings/sec, 160 secs
lola: 106443840 markings, 106443839 edges, 613307 markings/sec, 165 secs
lola: 109505419 markings, 109505419 edges, 612316 markings/sec, 170 secs
lola: 112552000 markings, 112551999 edges, 609316 markings/sec, 175 secs
lola: 115795054 markings, 115795054 edges, 648611 markings/sec, 180 secs
lola: 119052815 markings, 119052814 edges, 651552 markings/sec, 185 secs
lola: 122252392 markings, 122252392 edges, 639915 markings/sec, 190 secs
lola: 125397472 markings, 125397471 edges, 629016 markings/sec, 195 secs
lola: 128552958 markings, 128552958 edges, 631097 markings/sec, 200 secs
lola: 131607943 markings, 131607943 edges, 610997 markings/sec, 205 secs
lola: 134635834 markings, 134635834 edges, 605578 markings/sec, 210 secs
lola: 137724914 markings, 137724914 edges, 617816 markings/sec, 215 secs
lola: 140854506 markings, 140854505 edges, 625918 markings/sec, 220 secs
lola: 143980383 markings, 143980383 edges, 625175 markings/sec, 225 secs
lola: 147122884 markings, 147122884 edges, 628500 markings/sec, 230 secs
lola: 150184425 markings, 150184424 edges, 612308 markings/sec, 235 secs
lola: 153202826 markings, 153202826 edges, 603680 markings/sec, 240 secs
lola: 156172326 markings, 156172325 edges, 593900 markings/sec, 245 secs
lola: 159131599 markings, 159131599 edges, 591855 markings/sec, 250 secs
lola: 162129145 markings, 162129144 edges, 599509 markings/sec, 255 secs
lola: 165117350 markings, 165117350 edges, 597641 markings/sec, 260 secs
lola: 168268404 markings, 168268404 edges, 630211 markings/sec, 265 secs
lola: 171565532 markings, 171565532 edges, 659426 markings/sec, 270 secs
lola: 174735897 markings, 174735897 edges, 634073 markings/sec, 275 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p319)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 18 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: 2048121 markings, 2078634 edges, 409624 markings/sec, 0 secs
lola: 4018293 markings, 4160516 edges, 394034 markings/sec, 5 secs
lola: 6030993 markings, 6217009 edges, 402540 markings/sec, 10 secs
lola: 8069474 markings, 8276510 edges, 407696 markings/sec, 15 secs
lola: 10075993 markings, 10305007 edges, 401304 markings/sec, 20 secs
lola: 12105327 markings, 12358817 edges, 405867 markings/sec, 25 secs
lola: 14117026 markings, 14399644 edges, 402340 markings/sec, 30 secs
lola: 16144541 markings, 16452548 edges, 405503 markings/sec, 35 secs
lola: 18193250 markings, 18526872 edges, 409742 markings/sec, 40 secs
lola: 20261929 markings, 20626421 edges, 413736 markings/sec, 45 secs
lola: 22327903 markings, 22713876 edges, 413195 markings/sec, 50 secs
lola: 24361541 markings, 24768974 edges, 406728 markings/sec, 55 secs
lola: 26411887 markings, 26840546 edges, 410069 markings/sec, 60 secs
lola: 28462510 markings, 28912419 edges, 410125 markings/sec, 65 secs
lola: 30487991 markings, 30958873 edges, 405096 markings/sec, 70 secs
lola: 32521970 markings, 33013925 edges, 406796 markings/sec, 75 secs
lola: 34545227 markings, 35058136 edges, 404651 markings/sec, 80 secs
lola: 36608229 markings, 37144463 edges, 412600 markings/sec, 85 secs
lola: 38679163 markings, 39237750 edges, 414187 markings/sec, 90 secs
lola: 40750561 markings, 41331612 edges, 414280 markings/sec, 95 secs
lola: 42808906 markings, 43412866 edges, 411669 markings/sec, 100 secs
lola: 44839245 markings, 45466512 edges, 406068 markings/sec, 105 secs
lola: 46882563 markings, 47531308 edges, 408664 markings/sec, 110 secs
lola: 48946644 markings, 49622283 edges, 412816 markings/sec, 115 secs
lola: 51022091 markings, 51719954 edges, 415089 markings/sec, 120 secs
lola: 53059243 markings, 53779039 edges, 407430 markings/sec, 125 secs
lola: 55129047 markings, 55873240 edges, 413961 markings/sec, 130 secs
lola: 57176912 markings, 57942982 edges, 409573 markings/sec, 135 secs
lola: 59212743 markings, 60000463 edges, 407166 markings/sec, 140 secs
lola: 61253579 markings, 62064646 edges, 408167 markings/sec, 145 secs
lola: 63292899 markings, 64126793 edges, 407864 markings/sec, 150 secs
lola: 65366264 markings, 66222360 edges, 414673 markings/sec, 155 secs
lola: 67418101 markings, 68296292 edges, 410367 markings/sec, 160 secs
lola: 69439200 markings, 70341240 edges, 404220 markings/sec, 165 secs
lola: 71471805 markings, 72399740 edges, 406521 markings/sec, 170 secs
lola: 73365730 markings, 74340953 edges, 378785 markings/sec, 175 secs
lola: 75351412 markings, 76375264 edges, 397136 markings/sec, 180 secs
lola: 77291122 markings, 78357847 edges, 387942 markings/sec, 185 secs
lola: 79234227 markings, 80362857 edges, 388621 markings/sec, 190 secs
lola: 81223564 markings, 82402943 edges, 397867 markings/sec, 195 secs
lola: 83195109 markings, 84408028 edges, 394309 markings/sec, 200 secs
lola: 85133450 markings, 86392628 edges, 387668 markings/sec, 205 secs
lola: 86875036 markings, 88338094 edges, 348317 markings/sec, 210 secs
lola: 88767850 markings, 90340210 edges, 378563 markings/sec, 215 secs
lola: 90778134 markings, 92406985 edges, 402057 markings/sec, 220 secs
lola: 92855041 markings, 94511748 edges, 415381 markings/sec, 225 secs
lola: 94892229 markings, 96575928 edges, 407438 markings/sec, 230 secs
lola: 96918161 markings, 98629363 edges, 405186 markings/sec, 235 secs
lola: 98944263 markings, 100684608 edges, 405220 markings/sec, 240 secs
lola: 100984337 markings, 102754569 edges, 408015 markings/sec, 245 secs
lola: 103005982 markings, 104803003 edges, 404329 markings/sec, 250 secs
lola: 105024120 markings, 106848160 edges, 403628 markings/sec, 255 secs
lola: 107056448 markings, 108907886 edges, 406466 markings/sec, 260 secs
lola: 109081983 markings, 110960750 edges, 405107 markings/sec, 265 secs
lola: 111119615 markings, 113029063 edges, 407526 markings/sec, 270 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 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 18 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: 2086261 markings, 2163009 edges, 417252 markings/sec, 0 secs
lola: 4214172 markings, 4330311 edges, 425582 markings/sec, 5 secs
lola: 6249504 markings, 6436088 edges, 407066 markings/sec, 10 secs
lola: 8322070 markings, 8578442 edges, 414513 markings/sec, 15 secs
lola: 10256185 markings, 10619759 edges, 386823 markings/sec, 20 secs
lola: 12249582 markings, 12697429 edges, 398679 markings/sec, 25 secs
lola: 14064523 markings, 14617528 edges, 362988 markings/sec, 30 secs
lola: 16040286 markings, 16685143 edges, 395153 markings/sec, 35 secs
lola: 17878041 markings, 18698541 edges, 367551 markings/sec, 40 secs
lola: 19688530 markings, 20673498 edges, 362098 markings/sec, 45 secs
lola: 21609365 markings, 22661349 edges, 384167 markings/sec, 50 secs
lola: 23643551 markings, 24748129 edges, 406837 markings/sec, 55 secs
lola: 25473078 markings, 26633293 edges, 365905 markings/sec, 60 secs
lola: 27416651 markings, 28645584 edges, 388715 markings/sec, 65 secs
lola: 29186521 markings, 30518607 edges, 353974 markings/sec, 70 secs
lola: 31096894 markings, 32509895 edges, 382075 markings/sec, 75 secs
lola: 32812014 markings, 34326528 edges, 343024 markings/sec, 80 secs
lola: 34671944 markings, 36260540 edges, 371986 markings/sec, 85 secs
lola: 36452066 markings, 38204801 edges, 356024 markings/sec, 90 secs
lola: 38271801 markings, 40214631 edges, 363947 markings/sec, 95 secs
lola: 40118895 markings, 42112962 edges, 369419 markings/sec, 100 secs
lola: 41941060 markings, 44026060 edges, 364433 markings/sec, 105 secs
lola: 43763425 markings, 45910881 edges, 364473 markings/sec, 110 secs
lola: 45411917 markings, 47731146 edges, 329698 markings/sec, 115 secs
lola: 47211638 markings, 49740472 edges, 359944 markings/sec, 120 secs
lola: 49057707 markings, 51740302 edges, 369214 markings/sec, 125 secs
lola: 50760032 markings, 53644107 edges, 340465 markings/sec, 130 secs
lola: 52505832 markings, 55610792 edges, 349160 markings/sec, 135 secs
lola: 54333517 markings, 57636295 edges, 365537 markings/sec, 140 secs
lola: 56323997 markings, 59677791 edges, 398096 markings/sec, 145 secs
lola: 58055914 markings, 61509465 edges, 346383 markings/sec, 150 secs
lola: 59974826 markings, 63483465 edges, 383782 markings/sec, 155 secs
lola: 61546131 markings, 65644015 edges, 314261 markings/sec, 160 secs
lola: 63454521 markings, 67814450 edges, 381678 markings/sec, 165 secs
lola: 65326901 markings, 69912358 edges, 374476 markings/sec, 170 secs
lola: 67064489 markings, 72038413 edges, 347518 markings/sec, 175 secs
lola: 69097810 markings, 74197644 edges, 406664 markings/sec, 180 secs
lola: 70997360 markings, 76326744 edges, 379910 markings/sec, 185 secs
lola: 73010355 markings, 78509828 edges, 402599 markings/sec, 190 secs
lola: 75206476 markings, 80742287 edges, 439224 markings/sec, 195 secs
lola: 77315754 markings, 82876368 edges, 421856 markings/sec, 200 secs
lola: 79437399 markings, 85020676 edges, 424329 markings/sec, 205 secs
lola: 81578271 markings, 87187187 edges, 428174 markings/sec, 210 secs
lola: 83699451 markings, 89345335 edges, 424236 markings/sec, 215 secs
lola: 85865507 markings, 91544191 edges, 433211 markings/sec, 220 secs
lola: 88056905 markings, 93762201 edges, 438280 markings/sec, 225 secs
lola: 90185688 markings, 95919775 edges, 425757 markings/sec, 230 secs
lola: 92298093 markings, 98064245 edges, 422481 markings/sec, 235 secs
lola: 94387012 markings, 100184764 edges, 417784 markings/sec, 240 secs
lola: 96502504 markings, 102333335 edges, 423098 markings/sec, 245 secs
lola: 98594596 markings, 104459398 edges, 418418 markings/sec, 250 secs
lola: 100686741 markings, 106582838 edges, 418429 markings/sec, 255 secs
lola: 102741808 markings, 108668349 edges, 411013 markings/sec, 260 secs
lola: 104873676 markings, 110831584 edges, 426374 markings/sec, 265 secs
lola: 106909808 markings, 112897407 edges, 407226 markings/sec, 270 secs
lola: 108911494 markings, 114927625 edges, 400337 markings/sec, 275 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 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 18 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: 2166026 markings, 2430251 edges, 433205 markings/sec, 0 secs
lola: 4450690 markings, 4829454 edges, 456933 markings/sec, 5 secs
lola: 6690691 markings, 7218785 edges, 448000 markings/sec, 10 secs
lola: 8825982 markings, 9608468 edges, 427058 markings/sec, 15 secs
lola: 11069921 markings, 11963720 edges, 448788 markings/sec, 20 secs
lola: 13296875 markings, 14322127 edges, 445391 markings/sec, 25 secs
lola: 15183496 markings, 16630741 edges, 377324 markings/sec, 30 secs
lola: 16737004 markings, 18942045 edges, 310702 markings/sec, 35 secs
lola: 18710394 markings, 21194249 edges, 394678 markings/sec, 40 secs
lola: 20986248 markings, 23558247 edges, 455171 markings/sec, 45 secs
lola: 23311186 markings, 25971973 edges, 464988 markings/sec, 50 secs
lola: 25513357 markings, 28275416 edges, 440434 markings/sec, 55 secs
lola: 27722083 markings, 30584020 edges, 441745 markings/sec, 60 secs
lola: 29786804 markings, 32729874 edges, 412944 markings/sec, 65 secs
lola: 31849691 markings, 34873068 edges, 412577 markings/sec, 70 secs
lola: 34107966 markings, 37238984 edges, 451655 markings/sec, 75 secs
lola: 36346454 markings, 39571624 edges, 447698 markings/sec, 80 secs
lola: 38516237 markings, 41898546 edges, 433957 markings/sec, 85 secs
lola: 40641539 markings, 44204315 edges, 425060 markings/sec, 90 secs
lola: 42698159 markings, 46399422 edges, 411324 markings/sec, 95 secs
lola: 44837591 markings, 48687861 edges, 427886 markings/sec, 100 secs
lola: 46958046 markings, 51067641 edges, 424091 markings/sec, 105 secs
lola: 49221388 markings, 53435836 edges, 452668 markings/sec, 110 secs
lola: 51395533 markings, 55765011 edges, 434829 markings/sec, 115 secs
lola: 53503645 markings, 58105203 edges, 421622 markings/sec, 120 secs
lola: 55705239 markings, 60429486 edges, 440319 markings/sec, 125 secs
lola: 57839234 markings, 62759876 edges, 426799 markings/sec, 130 secs
lola: 59644180 markings, 65118519 edges, 360989 markings/sec, 135 secs
lola: 61309569 markings, 67391074 edges, 333078 markings/sec, 140 secs
lola: 63301112 markings, 69598188 edges, 398309 markings/sec, 145 secs
lola: 65505951 markings, 71889752 edges, 440968 markings/sec, 150 secs
lola: 67693917 markings, 74162591 edges, 437593 markings/sec, 155 secs
lola: 69875024 markings, 76447479 edges, 436221 markings/sec, 160 secs
lola: 72085841 markings, 78752513 edges, 442163 markings/sec, 165 secs
lola: 74231307 markings, 80982188 edges, 429093 markings/sec, 170 secs
lola: 76461459 markings, 83299977 edges, 446030 markings/sec, 175 secs
lola: 78567435 markings, 85511057 edges, 421195 markings/sec, 180 secs
lola: 80721339 markings, 87751824 edges, 430781 markings/sec, 185 secs
lola: 82833849 markings, 90041276 edges, 422502 markings/sec, 190 secs
lola: 84896294 markings, 92265353 edges, 412489 markings/sec, 195 secs
lola: 86935357 markings, 94441953 edges, 407813 markings/sec, 200 secs
lola: 88940726 markings, 96587941 edges, 401074 markings/sec, 205 secs
lola: 90839674 markings, 98736131 edges, 379790 markings/sec, 210 secs
lola: 93148009 markings, 101144912 edges, 461667 markings/sec, 215 secs
lola: 95428296 markings, 103533499 edges, 456057 markings/sec, 220 secs
lola: 97673188 markings, 105866489 edges, 448978 markings/sec, 225 secs
lola: 99895606 markings, 108176115 edges, 444484 markings/sec, 230 secs
lola: 102083757 markings, 110485473 edges, 437630 markings/sec, 235 secs
lola: 103917271 markings, 112689916 edges, 366703 markings/sec, 240 secs
lola: 105632651 markings, 114854251 edges, 343076 markings/sec, 245 secs
lola: 107482610 markings, 117055486 edges, 369992 markings/sec, 250 secs
lola: 109236580 markings, 119325672 edges, 350794 markings/sec, 255 secs
lola: 110951983 markings, 121688985 edges, 343081 markings/sec, 260 secs
lola: 112828139 markings, 123966054 edges, 375231 markings/sec, 265 secs
lola: 115005961 markings, 126306189 edges, 435564 markings/sec, 270 secs
lola: 116717071 markings, 128608712 edges, 342222 markings/sec, 275 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 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p168)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 18 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: 3121211 markings, 3121212 edges, 624242 markings/sec, 0 secs
lola: 6169535 markings, 6169536 edges, 609665 markings/sec, 5 secs
lola: 9242099 markings, 9242100 edges, 614513 markings/sec, 10 secs
lola: 12284587 markings, 12284588 edges, 608498 markings/sec, 15 secs
lola: 15301834 markings, 15301835 edges, 603449 markings/sec, 20 secs
lola: 18307661 markings, 18307662 edges, 601165 markings/sec, 25 secs
lola: 21320560 markings, 21320561 edges, 602580 markings/sec, 30 secs
lola: 24346794 markings, 24346795 edges, 605247 markings/sec, 35 secs
lola: 27403254 markings, 27403255 edges, 611292 markings/sec, 40 secs
lola: 30433145 markings, 30433146 edges, 605978 markings/sec, 45 secs
lola: 33438362 markings, 33438363 edges, 601043 markings/sec, 50 secs
lola: 36404963 markings, 36404964 edges, 593320 markings/sec, 55 secs
lola: 39342584 markings, 39342585 edges, 587524 markings/sec, 60 secs
lola: 42327119 markings, 42327120 edges, 596907 markings/sec, 65 secs
lola: 45263975 markings, 45263976 edges, 587371 markings/sec, 70 secs
lola: 48175069 markings, 48175070 edges, 582219 markings/sec, 75 secs
lola: 51148532 markings, 51148533 edges, 594693 markings/sec, 80 secs
lola: 54071876 markings, 54071877 edges, 584669 markings/sec, 85 secs
lola: 57082619 markings, 57082620 edges, 602149 markings/sec, 90 secs
lola: 60086826 markings, 60086826 edges, 600841 markings/sec, 95 secs
lola: 63036981 markings, 63036982 edges, 590031 markings/sec, 100 secs
lola: 66008685 markings, 66008686 edges, 594341 markings/sec, 105 secs
lola: 68927983 markings, 68927984 edges, 583860 markings/sec, 110 secs
lola: 71892411 markings, 71892412 edges, 592886 markings/sec, 115 secs
lola: 74896611 markings, 74896612 edges, 600840 markings/sec, 120 secs
lola: 77841816 markings, 77841817 edges, 589041 markings/sec, 125 secs
lola: 80811978 markings, 80811979 edges, 594032 markings/sec, 130 secs
lola: 83807011 markings, 83807012 edges, 599007 markings/sec, 135 secs
lola: 86793236 markings, 86793237 edges, 597245 markings/sec, 140 secs
lola: 89818313 markings, 89818314 edges, 605015 markings/sec, 145 secs
lola: 92806463 markings, 92806464 edges, 597630 markings/sec, 150 secs
lola: 95772616 markings, 95772617 edges, 593231 markings/sec, 155 secs
lola: 98737007 markings, 98737008 edges, 592878 markings/sec, 160 secs
lola: 101664358 markings, 101664359 edges, 585470 markings/sec, 165 secs
lola: 104630511 markings, 104630512 edges, 593231 markings/sec, 170 secs
lola: 107590097 markings, 107590098 edges, 591917 markings/sec, 175 secs
lola: 110589797 markings, 110589798 edges, 599940 markings/sec, 180 secs
lola: 113606059 markings, 113606060 edges, 603252 markings/sec, 185 secs
lola: 116578307 markings, 116578308 edges, 594450 markings/sec, 190 secs
lola: 119548118 markings, 119548119 edges, 593962 markings/sec, 195 secs
lola: 122470929 markings, 122470930 edges, 584562 markings/sec, 200 secs
lola: 125491666 markings, 125491667 edges, 604147 markings/sec, 205 secs
lola: 128507727 markings, 128507727 edges, 603212 markings/sec, 210 secs
lola: 131466397 markings, 131466397 edges, 591734 markings/sec, 215 secs
lola: 134470775 markings, 134470776 edges, 600876 markings/sec, 220 secs
lola: 137467456 markings, 137467457 edges, 599336 markings/sec, 225 secs
lola: 140413082 markings, 140413083 edges, 589125 markings/sec, 230 secs
lola: 143433529 markings, 143433530 edges, 604089 markings/sec, 235 secs
lola: 146404201 markings, 146404202 edges, 594134 markings/sec, 240 secs
lola: 149331910 markings, 149331911 edges, 585542 markings/sec, 245 secs
lola: 152323122 markings, 152323123 edges, 598242 markings/sec, 250 secs
lola: 155202335 markings, 155202336 edges, 575843 markings/sec, 255 secs
lola: 158117739 markings, 158117740 edges, 583081 markings/sec, 260 secs
lola: 161049842 markings, 161049843 edges, 586421 markings/sec, 265 secs
lola: 163985900 markings, 163985901 edges, 587212 markings/sec, 270 secs
lola: 166943000 markings, 166943001 edges, 591420 markings/sec, 275 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p276)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 18 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: 1993696 markings, 2068113 edges, 398739 markings/sec, 0 secs
lola: 4018395 markings, 4121419 edges, 404940 markings/sec, 5 secs
lola: 5996089 markings, 6163454 edges, 395539 markings/sec, 10 secs
lola: 8030218 markings, 8240301 edges, 406826 markings/sec, 15 secs
lola: 10038901 markings, 10294946 edges, 401737 markings/sec, 20 secs
lola: 11855732 markings, 12323499 edges, 363366 markings/sec, 25 secs
lola: 13824296 markings, 14391850 edges, 393713 markings/sec, 30 secs
lola: 15785948 markings, 16411412 edges, 392330 markings/sec, 35 secs
lola: 17717086 markings, 18400089 edges, 386228 markings/sec, 40 secs
lola: 19744523 markings, 20498155 edges, 405487 markings/sec, 45 secs
lola: 21815382 markings, 22599166 edges, 414172 markings/sec, 50 secs
lola: 23817104 markings, 24679958 edges, 400344 markings/sec, 55 secs
lola: 25882779 markings, 26773906 edges, 413135 markings/sec, 60 secs
lola: 27868546 markings, 28839555 edges, 397153 markings/sec, 65 secs
lola: 29724982 markings, 30896189 edges, 371287 markings/sec, 70 secs
lola: 31720101 markings, 32969084 edges, 399024 markings/sec, 75 secs
lola: 33674025 markings, 34988356 edges, 390785 markings/sec, 80 secs
lola: 35665523 markings, 37037360 edges, 398300 markings/sec, 85 secs
lola: 37730370 markings, 39165489 edges, 412969 markings/sec, 90 secs
lola: 39782890 markings, 41252181 edges, 410504 markings/sec, 95 secs
lola: 41816534 markings, 43361279 edges, 406729 markings/sec, 100 secs
lola: 43897273 markings, 45471503 edges, 416148 markings/sec, 105 secs
lola: 45868668 markings, 47555666 edges, 394279 markings/sec, 110 secs
lola: 47757784 markings, 49611153 edges, 377823 markings/sec, 115 secs
lola: 49733704 markings, 51673382 edges, 395184 markings/sec, 120 secs
lola: 51661182 markings, 53667343 edges, 385496 markings/sec, 125 secs
lola: 53613235 markings, 55675136 edges, 390411 markings/sec, 130 secs
lola: 55648149 markings, 57764511 edges, 406983 markings/sec, 135 secs
lola: 57677539 markings, 59833456 edges, 405878 markings/sec, 140 secs
lola: 59505807 markings, 61850623 edges, 365654 markings/sec, 145 secs
lola: 61315922 markings, 63857820 edges, 362023 markings/sec, 150 secs
lola: 63092773 markings, 65906554 edges, 355370 markings/sec, 155 secs
lola: 65083803 markings, 67936007 edges, 398206 markings/sec, 160 secs
lola: 67011324 markings, 69957121 edges, 385504 markings/sec, 165 secs
lola: 68757172 markings, 71913440 edges, 349170 markings/sec, 170 secs
lola: 70646813 markings, 73923683 edges, 377928 markings/sec, 175 secs
lola: 72687600 markings, 76006241 edges, 408157 markings/sec, 180 secs
lola: 74640304 markings, 78081014 edges, 390541 markings/sec, 185 secs
lola: 76175582 markings, 80174244 edges, 307056 markings/sec, 190 secs
lola: 78212810 markings, 82233178 edges, 407446 markings/sec, 195 secs
lola: 80142021 markings, 84221447 edges, 385842 markings/sec, 200 secs
lola: 81945451 markings, 86115706 edges, 360686 markings/sec, 205 secs
lola: 83761406 markings, 88034565 edges, 363191 markings/sec, 210 secs
lola: 85580847 markings, 90037983 edges, 363888 markings/sec, 215 secs
lola: 87218521 markings, 92019035 edges, 327535 markings/sec, 220 secs
lola: 88880825 markings, 93942939 edges, 332461 markings/sec, 225 secs
lola: 90692548 markings, 95921811 edges, 362345 markings/sec, 230 secs
lola: 92754852 markings, 98039367 edges, 412461 markings/sec, 235 secs
lola: 94807205 markings, 100131796 edges, 410471 markings/sec, 240 secs
lola: 96863008 markings, 102257786 edges, 411161 markings/sec, 245 secs
lola: 98944407 markings, 104370951 edges, 416280 markings/sec, 250 secs
lola: 100894555 markings, 106441884 edges, 390030 markings/sec, 255 secs
lola: 102814547 markings, 108518537 edges, 383998 markings/sec, 260 secs
lola: 104539309 markings, 110328555 edges, 344952 markings/sec, 265 secs
lola: 106500571 markings, 112356212 edges, 392252 markings/sec, 270 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 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p171)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 18 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: 2057503 markings, 2150747 edges, 411501 markings/sec, 0 secs
lola: 3653043 markings, 3805540 edges, 319108 markings/sec, 5 secs
lola: 5315815 markings, 5561643 edges, 332554 markings/sec, 10 secs
lola: 7053835 markings, 7434045 edges, 347604 markings/sec, 15 secs
lola: 8914799 markings, 9316954 edges, 372193 markings/sec, 20 secs
lola: 10759756 markings, 11185827 edges, 368991 markings/sec, 25 secs
lola: 12618699 markings, 13078545 edges, 371789 markings/sec, 30 secs
lola: 14373459 markings, 14862992 edges, 350952 markings/sec, 35 secs
lola: 16139020 markings, 16707196 edges, 353112 markings/sec, 40 secs
lola: 17920040 markings, 18560116 edges, 356204 markings/sec, 45 secs
lola: 19614057 markings, 20325877 edges, 338803 markings/sec, 50 secs
lola: 21249951 markings, 22049410 edges, 327179 markings/sec, 55 secs
lola: 22959401 markings, 23907688 edges, 341890 markings/sec, 60 secs
lola: 24842856 markings, 25813211 edges, 376691 markings/sec, 65 secs
lola: 26641975 markings, 27634141 edges, 359824 markings/sec, 70 secs
lola: 28373947 markings, 29396226 edges, 346394 markings/sec, 75 secs
lola: 30061109 markings, 31109266 edges, 337432 markings/sec, 80 secs
lola: 31780093 markings, 32860936 edges, 343797 markings/sec, 85 secs
lola: 33493864 markings, 34669636 edges, 342754 markings/sec, 90 secs
lola: 35195776 markings, 36440817 edges, 340382 markings/sec, 95 secs
lola: 36878828 markings, 38153679 edges, 336610 markings/sec, 100 secs
lola: 38613419 markings, 39915828 edges, 346918 markings/sec, 105 secs
lola: 40383163 markings, 41734891 edges, 353949 markings/sec, 110 secs
lola: 42228253 markings, 43615422 edges, 369018 markings/sec, 115 secs
lola: 43873611 markings, 45371017 edges, 329072 markings/sec, 120 secs
lola: 45440972 markings, 47156258 edges, 313472 markings/sec, 125 secs
lola: 46944133 markings, 48822389 edges, 300632 markings/sec, 130 secs
lola: 48452176 markings, 50586337 edges, 301609 markings/sec, 135 secs
lola: 50003819 markings, 52350819 edges, 310329 markings/sec, 140 secs
lola: 51621158 markings, 54017318 edges, 323468 markings/sec, 145 secs
lola: 53258517 markings, 55677296 edges, 327472 markings/sec, 150 secs
lola: 55003531 markings, 57493840 edges, 349003 markings/sec, 155 secs
lola: 56869351 markings, 59419851 edges, 373164 markings/sec, 160 secs
lola: 58765973 markings, 61339016 edges, 379324 markings/sec, 165 secs
lola: 60544724 markings, 63214027 edges, 355750 markings/sec, 170 secs
lola: 62228709 markings, 65109705 edges, 336797 markings/sec, 175 secs
lola: 63649015 markings, 66999100 edges, 284061 markings/sec, 180 secs
lola: 65248772 markings, 68906572 edges, 319951 markings/sec, 185 secs
lola: 66841802 markings, 70792832 edges, 318606 markings/sec, 190 secs
lola: 68512108 markings, 72710383 edges, 334061 markings/sec, 195 secs
lola: 70478547 markings, 74700524 edges, 393288 markings/sec, 200 secs
lola: 72427545 markings, 76673030 edges, 389800 markings/sec, 205 secs
lola: 74372563 markings, 78641541 edges, 389004 markings/sec, 210 secs
lola: 76306192 markings, 80598513 edges, 386726 markings/sec, 215 secs
lola: 78219441 markings, 82534962 edges, 382650 markings/sec, 220 secs
lola: 80126039 markings, 84464792 edges, 381320 markings/sec, 225 secs
lola: 82057784 markings, 86419841 edges, 386349 markings/sec, 230 secs
lola: 84001929 markings, 88387429 edges, 388829 markings/sec, 235 secs
lola: 85935728 markings, 90344566 edges, 386760 markings/sec, 240 secs
lola: 87865976 markings, 92298136 edges, 386050 markings/sec, 245 secs
lola: 89774137 markings, 94229397 edges, 381632 markings/sec, 250 secs
lola: 91655138 markings, 96133312 edges, 376200 markings/sec, 255 secs
lola: 93539090 markings, 98040173 edges, 376790 markings/sec, 260 secs
lola: 95414847 markings, 99938733 edges, 375151 markings/sec, 265 secs
lola: 97305989 markings, 101852882 edges, 378228 markings/sec, 270 secs
lola: 99161546 markings, 103731029 edges, 371111 markings/sec, 275 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 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p271)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 18 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: 2106985 markings, 2130789 edges, 421397 markings/sec, 0 secs
lola: 4235559 markings, 4283384 edges, 425715 markings/sec, 5 secs
lola: 6313058 markings, 6410389 edges, 415500 markings/sec, 10 secs
lola: 8408313 markings, 8511315 edges, 419051 markings/sec, 15 secs
lola: 10499976 markings, 10608158 edges, 418333 markings/sec, 20 secs
lola: 12573459 markings, 12690440 edges, 414697 markings/sec, 25 secs
lola: 14646842 markings, 14777677 edges, 414677 markings/sec, 30 secs
lola: 16757394 markings, 16896032 edges, 422110 markings/sec, 35 secs
lola: 18835567 markings, 18987313 edges, 415635 markings/sec, 40 secs
lola: 20889020 markings, 21054629 edges, 410691 markings/sec, 45 secs
lola: 22984300 markings, 23174004 edges, 419056 markings/sec, 50 secs
lola: 25070278 markings, 25286487 edges, 417196 markings/sec, 55 secs
lola: 27161171 markings, 27406449 edges, 418179 markings/sec, 60 secs
lola: 29236407 markings, 29518964 edges, 415047 markings/sec, 65 secs
lola: 31317107 markings, 31604809 edges, 416140 markings/sec, 70 secs
lola: 33385263 markings, 33680847 edges, 413631 markings/sec, 75 secs
lola: 35452359 markings, 35756359 edges, 413419 markings/sec, 80 secs
lola: 37517945 markings, 37834300 edges, 413117 markings/sec, 85 secs
lola: 39596076 markings, 39926296 edges, 415626 markings/sec, 90 secs
lola: 41669953 markings, 42009438 edges, 414775 markings/sec, 95 secs
lola: 43735997 markings, 44101332 edges, 413209 markings/sec, 100 secs
lola: 45801630 markings, 46181607 edges, 413127 markings/sec, 105 secs
lola: 47824304 markings, 48222831 edges, 404535 markings/sec, 110 secs
lola: 49853614 markings, 50278744 edges, 405862 markings/sec, 115 secs
lola: 51881303 markings, 52333019 edges, 405538 markings/sec, 120 secs
lola: 53869239 markings, 54337883 edges, 397587 markings/sec, 125 secs
lola: 55882749 markings, 56386362 edges, 402702 markings/sec, 130 secs
lola: 57912934 markings, 58460864 edges, 406037 markings/sec, 135 secs
lola: 59949383 markings, 60527190 edges, 407290 markings/sec, 140 secs
lola: 61984779 markings, 62578505 edges, 407079 markings/sec, 145 secs
lola: 63988085 markings, 64599290 edges, 400661 markings/sec, 150 secs
lola: 66031491 markings, 66662606 edges, 408681 markings/sec, 155 secs
lola: 68054109 markings, 68735095 edges, 404524 markings/sec, 160 secs
lola: 70056031 markings, 70774459 edges, 400384 markings/sec, 165 secs
lola: 72093889 markings, 72838343 edges, 407572 markings/sec, 170 secs
lola: 74098141 markings, 74899214 edges, 400850 markings/sec, 175 secs
lola: 76069834 markings, 76964795 edges, 394339 markings/sec, 180 secs
lola: 77943878 markings, 78966981 edges, 374809 markings/sec, 185 secs
lola: 79986745 markings, 81016048 edges, 408573 markings/sec, 190 secs
lola: 81981608 markings, 83016201 edges, 398973 markings/sec, 195 secs
lola: 83994925 markings, 85034592 edges, 402663 markings/sec, 200 secs
lola: 85965484 markings, 87010024 edges, 394112 markings/sec, 205 secs
lola: 87993172 markings, 89042732 edges, 405538 markings/sec, 210 secs
lola: 89988281 markings, 91042771 edges, 399022 markings/sec, 215 secs
lola: 91976086 markings, 93035503 edges, 397561 markings/sec, 220 secs
lola: 93958996 markings, 95023312 edges, 396582 markings/sec, 225 secs
lola: 95932580 markings, 97002585 edges, 394717 markings/sec, 230 secs
lola: 97950786 markings, 99027656 edges, 403641 markings/sec, 235 secs
lola: 99956720 markings, 101038832 edges, 401187 markings/sec, 240 secs
lola: 101974529 markings, 103062230 edges, 403562 markings/sec, 245 secs
lola: 103971835 markings, 105064863 edges, 399461 markings/sec, 250 secs
lola: 105977506 markings, 107077242 edges, 401134 markings/sec, 255 secs
lola: 107924415 markings, 109031946 edges, 389382 markings/sec, 260 secs
lola: 109534948 markings, 110647916 edges, 322107 markings/sec, 265 secs
lola: 111579956 markings, 112698256 edges, 409002 markings/sec, 270 secs
lola: 113603366 markings, 114727276 edges, 404682 markings/sec, 275 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA Echo-PT-d02r09-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r09-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r09-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r09-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r09-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r09-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r09-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r09-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r09-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r09-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r09-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r09-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r09-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r09-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r09-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r09-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494686955236

--------------------
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="Echo-PT-d02r09"
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/Echo-PT-d02r09.tgz
mv Echo-PT-d02r09 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is Echo-PT-d02r09, 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 r028-blw3-149440264100236"
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 ;