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 S_ERK-PT-010000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612400371
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496371262339


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


checking for too many tokens
===========================================================================================
S_ERK-PT-010000: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_ERK-PT-010000 @ 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: 22/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 11 places, 11 transitions, 6 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 10 transition conflict sets
lola: TASK
lola: reading formula from ERK-PT-010000-UpperBounds.task
lola: MAX(MEKPP_ERK) : MAX(Raf1Star_RKIP_ERKPP) : MAX(ERKPP) : MAX(Raf1Star_RKIP_ERKPP) : MAX(MEKPP_ERK) : MAX(ERK) : MAX(RP) : MAX(ERK) : MAX(RKIPP_RP) : MAX(MEKPP_ERK) : MAX(Raf1Star) : MAX(ERKPP) : MAX(RKIPP) : MAX(ERK) : MAX(RP) : MAX(RKIPP)
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(MEKPP_ERK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 5011112 markings, 11602747 edges, 1002222 markings/sec, 0 secs
lola: 9911808 markings, 23041283 edges, 980139 markings/sec, 5 secs
lola: 14755927 markings, 34347934 edges, 968824 markings/sec, 10 secs
lola: 19580590 markings, 45598245 edges, 964933 markings/sec, 15 secs
lola: 24216678 markings, 56420714 edges, 927218 markings/sec, 20 secs
lola: 28583920 markings, 66606346 edges, 873448 markings/sec, 25 secs
lola: 32935116 markings, 76768837 edges, 870239 markings/sec, 30 secs
lola: 37140106 markings, 86570386 edges, 840998 markings/sec, 35 secs
lola: 41215946 markings, 96089232 edges, 815168 markings/sec, 40 secs
lola: 45042723 markings, 105015803 edges, 765355 markings/sec, 45 secs
lola: 48734545 markings, 113627493 edges, 738364 markings/sec, 50 secs
lola: 52397589 markings, 122174152 edges, 732609 markings/sec, 55 secs
lola: 55989317 markings, 130564287 edges, 718346 markings/sec, 60 secs
lola: 59431507 markings, 138598590 edges, 688438 markings/sec, 65 secs
lola: 62948517 markings, 146804910 edges, 703402 markings/sec, 70 secs
lola: 66449336 markings, 154958934 edges, 700164 markings/sec, 75 secs
lola: 69907326 markings, 163031546 edges, 691598 markings/sec, 80 secs
lola: 73211342 markings, 170737726 edges, 660803 markings/sec, 85 secs
lola: 76599275 markings, 178651395 edges, 677587 markings/sec, 90 secs
lola: 79960158 markings, 186486477 edges, 672177 markings/sec, 95 secs
lola: 83290569 markings, 194268238 edges, 666082 markings/sec, 100 secs
lola: 86612042 markings, 202015194 edges, 664295 markings/sec, 105 secs
lola: 89914309 markings, 209726327 edges, 660453 markings/sec, 110 secs
lola: 93200827 markings, 217393593 edges, 657304 markings/sec, 115 secs
lola: 96471057 markings, 225023510 edges, 654046 markings/sec, 120 secs
lola: 99717318 markings, 232600353 edges, 649252 markings/sec, 125 secs
lola: 102954283 markings, 240142041 edges, 647393 markings/sec, 130 secs
lola: 106157554 markings, 247622582 edges, 640654 markings/sec, 135 secs
lola: 109357812 markings, 255088090 edges, 640052 markings/sec, 140 secs
lola: 112546961 markings, 262533411 edges, 637830 markings/sec, 145 secs
lola: 115705858 markings, 269903127 edges, 631779 markings/sec, 150 secs
lola: 118917662 markings, 277406635 edges, 642361 markings/sec, 155 secs
lola: 122115591 markings, 284864369 edges, 639586 markings/sec, 160 secs
lola: 125300497 markings, 292289622 edges, 636981 markings/sec, 165 secs
lola: 128460291 markings, 299668060 edges, 631959 markings/sec, 170 secs
lola: 131597484 markings, 306982525 edges, 627439 markings/sec, 175 secs
lola: 134767963 markings, 314369786 edges, 634096 markings/sec, 180 secs
lola: 137888168 markings, 321672177 edges, 624041 markings/sec, 185 secs
lola: 140952570 markings, 328817961 edges, 612880 markings/sec, 190 secs
lola: 144010030 markings, 335950688 edges, 611492 markings/sec, 195 secs
lola: 147101535 markings, 343167211 edges, 618301 markings/sec, 200 secs
lola: 150254958 markings, 350510053 edges, 630685 markings/sec, 205 secs
lola: 153464902 markings, 358006508 edges, 641989 markings/sec, 210 secs
lola: 156541775 markings, 365191315 edges, 615375 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(Raf1Star_RKIP_ERKPP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 5003283 markings, 12424803 edges, 1000657 markings/sec, 0 secs
lola: 9697363 markings, 24155532 edges, 938816 markings/sec, 5 secs
lola: 14391600 markings, 35888159 edges, 938847 markings/sec, 10 secs
lola: 18488280 markings, 46126233 edges, 819336 markings/sec, 15 secs
lola: 22597576 markings, 56396011 edges, 821859 markings/sec, 20 secs
lola: 26751205 markings, 66778539 edges, 830726 markings/sec, 25 secs
lola: 30658507 markings, 76545949 edges, 781460 markings/sec, 30 secs
lola: 33544226 markings, 83756811 edges, 577144 markings/sec, 35 secs
lola: 37628540 markings, 93966720 edges, 816863 markings/sec, 40 secs
lola: 41385403 markings, 103356554 edges, 751373 markings/sec, 45 secs
lola: 44829670 markings, 111966809 edges, 688853 markings/sec, 50 secs
lola: 48812930 markings, 121921020 edges, 796652 markings/sec, 55 secs
lola: 52535723 markings, 131226038 edges, 744559 markings/sec, 60 secs
lola: 56107683 markings, 140158167 edges, 714392 markings/sec, 65 secs
lola: 59673660 markings, 149071175 edges, 713195 markings/sec, 70 secs
lola: 62146144 markings, 155249188 edges, 494497 markings/sec, 75 secs
lola: 65602709 markings, 163890442 edges, 691313 markings/sec, 80 secs
lola: 68942376 markings, 172239349 edges, 667933 markings/sec, 85 secs
lola: 72164898 markings, 180292544 edges, 644504 markings/sec, 90 secs
lola: 75661183 markings, 189030274 edges, 699257 markings/sec, 95 secs
lola: 79010686 markings, 197406914 edges, 669901 markings/sec, 100 secs
lola: 82296603 markings, 205618815 edges, 657183 markings/sec, 105 secs
lola: 85403037 markings, 213382086 edges, 621287 markings/sec, 110 secs
lola: 87610131 markings, 218901362 edges, 441419 markings/sec, 115 secs
lola: 90850205 markings, 226999666 edges, 648015 markings/sec, 120 secs
lola: 93849012 markings, 234498421 edges, 599761 markings/sec, 125 secs
lola: 97029032 markings, 242443474 edges, 636004 markings/sec, 130 secs
lola: 100158067 markings, 250267321 edges, 625807 markings/sec, 135 secs
lola: 102178323 markings, 255317725 edges, 404051 markings/sec, 140 secs
lola: 104106537 markings, 260137623 edges, 385643 markings/sec, 145 secs
lola: 106493707 markings, 266105170 edges, 477434 markings/sec, 150 secs
lola: 108877528 markings, 272064674 edges, 476764 markings/sec, 155 secs
lola: 111616798 markings, 278911028 edges, 547854 markings/sec, 160 secs
lola: 114041651 markings, 284970941 edges, 484971 markings/sec, 165 secs
lola: 116486227 markings, 291086186 edges, 488915 markings/sec, 170 secs
lola: 118523703 markings, 296174426 edges, 407495 markings/sec, 175 secs
lola: 120820851 markings, 301917292 edges, 459430 markings/sec, 180 secs
lola: 123080827 markings, 307569434 edges, 451995 markings/sec, 185 secs
lola: 125381225 markings, 313316618 edges, 460080 markings/sec, 190 secs
lola: 127591816 markings, 318847306 edges, 442118 markings/sec, 195 secs
lola: 129804467 markings, 324376926 edges, 442530 markings/sec, 200 secs
lola: 131943947 markings, 329721006 edges, 427896 markings/sec, 205 secs
lola: 133962218 markings, 334767945 edges, 403654 markings/sec, 210 secs
lola: 136242714 markings, 340468927 edges, 456099 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(ERKPP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3946004 markings, 12349207 edges, 789201 markings/sec, 0 secs
lola: 7844894 markings, 24698985 edges, 779778 markings/sec, 5 secs
lola: 11600356 markings, 36590692 edges, 751092 markings/sec, 10 secs
lola: 15113480 markings, 47713077 edges, 702625 markings/sec, 15 secs
lola: 18472350 markings, 58354042 edges, 671774 markings/sec, 20 secs
lola: 21695370 markings, 68559042 edges, 644604 markings/sec, 25 secs
lola: 24712260 markings, 78121711 edges, 603378 markings/sec, 30 secs
lola: 27661424 markings, 87462075 edges, 589833 markings/sec, 35 secs
lola: 30565474 markings, 96654241 edges, 580810 markings/sec, 40 secs
lola: 33398376 markings, 105626974 edges, 566580 markings/sec, 45 secs
lola: 36168402 markings, 114396544 edges, 554005 markings/sec, 50 secs
lola: 38909516 markings, 123076159 edges, 548223 markings/sec, 55 secs
lola: 41575772 markings, 131524329 edges, 533251 markings/sec, 60 secs
lola: 44197532 markings, 139816997 edges, 524352 markings/sec, 65 secs
lola: 46809518 markings, 148088445 edges, 522397 markings/sec, 70 secs
lola: 49377392 markings, 156225312 edges, 513575 markings/sec, 75 secs
lola: 51939688 markings, 164345743 edges, 512459 markings/sec, 80 secs
lola: 54483716 markings, 172393034 edges, 508806 markings/sec, 85 secs
lola: 57014144 markings, 180405598 edges, 506086 markings/sec, 90 secs
lola: 59527312 markings, 188375638 edges, 502634 markings/sec, 95 secs
lola: 62226274 markings, 196923030 edges, 539792 markings/sec, 100 secs
lola: 65200686 markings, 206324400 edges, 594882 markings/sec, 105 secs
lola: 67991755 markings, 215166217 edges, 558214 markings/sec, 110 secs
lola: 70033252 markings, 221630054 edges, 408299 markings/sec, 115 secs
lola: 72140666 markings, 228310539 edges, 421483 markings/sec, 120 secs
lola: 74594134 markings, 236072038 edges, 490694 markings/sec, 125 secs
lola: 77015408 markings, 243758887 edges, 484255 markings/sec, 130 secs
lola: 79423898 markings, 251364664 edges, 481698 markings/sec, 135 secs
lola: 81822828 markings, 258976590 edges, 479786 markings/sec, 140 secs
lola: 84343248 markings, 266951298 edges, 504084 markings/sec, 145 secs
lola: 86875450 markings, 274976481 edges, 506440 markings/sec, 150 secs
lola: 89477884 markings, 283224184 edges, 520487 markings/sec, 155 secs
lola: 92241794 markings, 291960293 edges, 552782 markings/sec, 160 secs
lola: 94991353 markings, 300676128 edges, 549912 markings/sec, 165 secs
lola: 97703208 markings, 309250130 edges, 542371 markings/sec, 170 secs
lola: 100202678 markings, 317179653 edges, 499894 markings/sec, 175 secs
lola: 102705714 markings, 325114434 edges, 500607 markings/sec, 180 secs
lola: 105023598 markings, 332440323 edges, 463577 markings/sec, 185 secs
lola: 107335821 markings, 339754502 edges, 462445 markings/sec, 190 secs
lola: 109651522 markings, 347100739 edges, 463140 markings/sec, 195 secs
lola: 111948532 markings, 354378536 edges, 459402 markings/sec, 200 secs
lola: 114416560 markings, 362195917 edges, 493606 markings/sec, 205 secs
lola: 116979524 markings, 370297914 edges, 512593 markings/sec, 210 secs
lola: 119206810 markings, 377369551 edges, 445457 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(Raf1Star_RKIP_ERKPP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4977022 markings, 12359498 edges, 995404 markings/sec, 0 secs
lola: 9561627 markings, 23815788 edges, 916921 markings/sec, 5 secs
lola: 14086070 markings, 35122980 edges, 904889 markings/sec, 10 secs
lola: 18608509 markings, 46426191 edges, 904488 markings/sec, 15 secs
lola: 22884540 markings, 57112740 edges, 855206 markings/sec, 20 secs
lola: 27074853 markings, 67587214 edges, 838063 markings/sec, 25 secs
lola: 30729947 markings, 76723943 edges, 731019 markings/sec, 30 secs
lola: 34380523 markings, 85846401 edges, 730115 markings/sec, 35 secs
lola: 38278050 markings, 95588850 edges, 779505 markings/sec, 40 secs
lola: 42098794 markings, 105140855 edges, 764149 markings/sec, 45 secs
lola: 45947749 markings, 114760314 edges, 769791 markings/sec, 50 secs
lola: 50048158 markings, 125008240 edges, 820082 markings/sec, 55 secs
lola: 53915071 markings, 134673925 edges, 773383 markings/sec, 60 secs
lola: 57637992 markings, 143979743 edges, 744584 markings/sec, 65 secs
lola: 61545065 markings, 153747731 edges, 781415 markings/sec, 70 secs
lola: 65217443 markings, 162928686 edges, 734476 markings/sec, 75 secs
lola: 68499664 markings, 171129234 edges, 656444 markings/sec, 80 secs
lola: 71796286 markings, 179372766 edges, 659324 markings/sec, 85 secs
lola: 75470547 markings, 188557940 edges, 734852 markings/sec, 90 secs
lola: 78938130 markings, 197221884 edges, 693517 markings/sec, 95 secs
lola: 82465497 markings, 206043339 edges, 705473 markings/sec, 100 secs
lola: 85829451 markings, 214448388 edges, 672791 markings/sec, 105 secs
lola: 89254708 markings, 223013722 edges, 685051 markings/sec, 110 secs
lola: 92560203 markings, 231275830 edges, 661099 markings/sec, 115 secs
lola: 95586916 markings, 238839772 edges, 605343 markings/sec, 120 secs
lola: 98673320 markings, 246558667 edges, 617281 markings/sec, 125 secs
lola: 101572453 markings, 253804831 edges, 579827 markings/sec, 130 secs
lola: 104165626 markings, 260285236 edges, 518635 markings/sec, 135 secs
lola: 107262671 markings, 268027317 edges, 619409 markings/sec, 140 secs
lola: 110133848 markings, 275205972 edges, 574235 markings/sec, 145 secs
lola: 112851270 markings, 281994176 edges, 543484 markings/sec, 150 secs
lola: 115855331 markings, 289507496 edges, 600812 markings/sec, 155 secs
lola: 118573487 markings, 296299118 edges, 543631 markings/sec, 160 secs
lola: 121309959 markings, 303143067 edges, 547294 markings/sec, 165 secs
lola: 124140993 markings, 310217547 edges, 566207 markings/sec, 170 secs
lola: 127491022 markings, 318593593 edges, 670006 markings/sec, 175 secs
lola: 130178963 markings, 325311883 edges, 537588 markings/sec, 180 secs
lola: 132571232 markings, 331293314 edges, 478454 markings/sec, 185 secs
lola: 135290640 markings, 338087494 edges, 543882 markings/sec, 190 secs
lola: 138142457 markings, 345221244 edges, 570363 markings/sec, 195 secs
lola: 140493347 markings, 351094317 edges, 470178 markings/sec, 200 secs
lola: 142761901 markings, 356764314 edges, 453711 markings/sec, 205 secs
lola: 145134334 markings, 362695763 edges, 474487 markings/sec, 210 secs
lola: 147764666 markings, 369273105 edges, 526066 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(MEKPP_ERK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4965402 markings, 11496009 edges, 993080 markings/sec, 0 secs
lola: 9739887 markings, 22640892 edges, 954897 markings/sec, 5 secs
lola: 14255976 markings, 33178784 edges, 903218 markings/sec, 10 secs
lola: 18662440 markings, 43461119 edges, 881293 markings/sec, 15 secs
lola: 22795009 markings, 53103145 edges, 826514 markings/sec, 20 secs
lola: 26419185 markings, 61562172 edges, 724835 markings/sec, 25 secs
lola: 29738136 markings, 69300319 edges, 663790 markings/sec, 30 secs
lola: 32871975 markings, 76619284 edges, 626768 markings/sec, 35 secs
lola: 36106964 markings, 84165885 edges, 646998 markings/sec, 40 secs
lola: 39279122 markings, 91571676 edges, 634432 markings/sec, 45 secs
lola: 42375454 markings, 98796725 edges, 619266 markings/sec, 50 secs
lola: 45497348 markings, 106077044 edges, 624379 markings/sec, 55 secs
lola: 48471255 markings, 113019988 edges, 594781 markings/sec, 60 secs
lola: 51544978 markings, 120184658 edges, 614745 markings/sec, 65 secs
lola: 54880269 markings, 127969756 edges, 667058 markings/sec, 70 secs
lola: 57931624 markings, 135092591 edges, 610271 markings/sec, 75 secs
lola: 61092103 markings, 142458265 edges, 632096 markings/sec, 80 secs
lola: 64235659 markings, 149797061 edges, 628711 markings/sec, 85 secs
lola: 66988927 markings, 156225034 edges, 550654 markings/sec, 90 secs
lola: 69990608 markings, 163223115 edges, 600336 markings/sec, 95 secs
lola: 73161260 markings, 170635888 edges, 634130 markings/sec, 100 secs
lola: 75966132 markings, 177179400 edges, 560974 markings/sec, 105 secs
lola: 79135134 markings, 184574946 edges, 633800 markings/sec, 110 secs
lola: 82114722 markings, 191516542 edges, 595918 markings/sec, 115 secs
lola: 84963383 markings, 198171924 edges, 569732 markings/sec, 120 secs
lola: 87663230 markings, 204469423 edges, 539969 markings/sec, 125 secs
lola: 90520428 markings, 211134598 edges, 571440 markings/sec, 130 secs
lola: 93189702 markings, 217359389 edges, 533855 markings/sec, 135 secs
lola: 95953608 markings, 223822130 edges, 552781 markings/sec, 140 secs
lola: 98577638 markings, 229932053 edges, 524806 markings/sec, 145 secs
lola: 101174883 markings, 236004099 edges, 519449 markings/sec, 150 secs
lola: 104123210 markings, 242884023 edges, 589665 markings/sec, 155 secs
lola: 107213735 markings, 250088435 edges, 618105 markings/sec, 160 secs
lola: 110264151 markings, 257203238 edges, 610083 markings/sec, 165 secs
lola: 112733473 markings, 262976879 edges, 493864 markings/sec, 170 secs
lola: 115274184 markings, 268885090 edges, 508142 markings/sec, 175 secs
lola: 117759949 markings, 274698180 edges, 497153 markings/sec, 180 secs
lola: 120235066 markings, 280459405 edges, 495023 markings/sec, 185 secs
lola: 122719391 markings, 286272699 edges, 496865 markings/sec, 190 secs
lola: 125415320 markings, 292552232 edges, 539186 markings/sec, 195 secs
lola: 128183193 markings, 299011939 edges, 553575 markings/sec, 200 secs
lola: 130600819 markings, 304661146 edges, 483525 markings/sec, 205 secs
lola: 133027443 markings, 310321759 edges, 485325 markings/sec, 210 secs
lola: 135495045 markings, 316069098 edges, 493520 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(ERK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4001613 markings, 12537589 edges, 800323 markings/sec, 0 secs
lola: 7927041 markings, 24958797 edges, 785086 markings/sec, 5 secs
lola: 11755138 markings, 37092353 edges, 765619 markings/sec, 10 secs
lola: 15684175 markings, 49528663 edges, 785807 markings/sec, 15 secs
lola: 19516557 markings, 61669762 edges, 766476 markings/sec, 20 secs
lola: 23272376 markings, 73552273 edges, 751164 markings/sec, 25 secs
lola: 26802865 markings, 84741694 edges, 706098 markings/sec, 30 secs
lola: 30298213 markings, 95799629 edges, 699070 markings/sec, 35 secs
lola: 33558734 markings, 106137423 edges, 652104 markings/sec, 40 secs
lola: 36846275 markings, 116548287 edges, 657508 markings/sec, 45 secs
lola: 40072517 markings, 126751328 edges, 645248 markings/sec, 50 secs
lola: 43384463 markings, 137257920 edges, 662389 markings/sec, 55 secs
lola: 46448228 markings, 146950440 edges, 612753 markings/sec, 60 secs
lola: 49500774 markings, 156614961 edges, 610509 markings/sec, 65 secs
lola: 52569150 markings, 166347894 edges, 613675 markings/sec, 70 secs
lola: 55569695 markings, 175850386 edges, 600109 markings/sec, 75 secs
lola: 58510988 markings, 185136873 edges, 588259 markings/sec, 80 secs
lola: 61460229 markings, 194471615 edges, 589848 markings/sec, 85 secs
lola: 64417227 markings, 203847349 edges, 591400 markings/sec, 90 secs
lola: 67456351 markings, 213461699 edges, 607825 markings/sec, 95 secs
lola: 70481440 markings, 223077370 edges, 605018 markings/sec, 100 secs
lola: 73444294 markings, 232455116 edges, 592571 markings/sec, 105 secs
lola: 76286872 markings, 241443587 edges, 568516 markings/sec, 110 secs
lola: 79031984 markings, 250143483 edges, 549022 markings/sec, 115 secs
lola: 81950299 markings, 259386061 edges, 583663 markings/sec, 120 secs
lola: 84856578 markings, 268579198 edges, 581256 markings/sec, 125 secs
lola: 87263086 markings, 276188787 edges, 481302 markings/sec, 130 secs
lola: 89900191 markings, 284529220 edges, 527421 markings/sec, 135 secs
lola: 92505090 markings, 292785314 edges, 520980 markings/sec, 140 secs
lola: 95030036 markings, 300820052 edges, 504989 markings/sec, 145 secs
lola: 97693874 markings, 309231321 edges, 532768 markings/sec, 150 secs
lola: 100394795 markings, 317758996 edges, 540184 markings/sec, 155 secs
lola: 103014505 markings, 326066435 edges, 523942 markings/sec, 160 secs
lola: 105588103 markings, 334212865 edges, 514720 markings/sec, 165 secs
lola: 108178656 markings, 342454715 edges, 518111 markings/sec, 170 secs
lola: 110818264 markings, 350802727 edges, 527922 markings/sec, 175 secs
lola: 113193438 markings, 358289057 edges, 475035 markings/sec, 180 secs
lola: 115667520 markings, 366135536 edges, 494816 markings/sec, 185 secs
lola: 117964141 markings, 373444765 edges, 459324 markings/sec, 190 secs
lola: 120280972 markings, 380764202 edges, 463366 markings/sec, 195 secs
lola: 122781806 markings, 388652429 edges, 500167 markings/sec, 200 secs
lola: 125174318 markings, 396253093 edges, 478502 markings/sec, 205 secs
lola: 127512041 markings, 403683255 edges, 467545 markings/sec, 210 secs
lola: 129862736 markings, 411078283 edges, 470139 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(RP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 10000
lola: produced by: state space
lola: The maximum value of the given expression is 10000
lola: ========================================
lola: subprocess 7 will run for 245 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ERK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3987405 markings, 12486773 edges, 797481 markings/sec, 0 secs
lola: 7803489 markings, 24579653 edges, 763217 markings/sec, 5 secs
lola: 11438331 markings, 36083352 edges, 726968 markings/sec, 10 secs
lola: 14827171 markings, 46821458 edges, 677768 markings/sec, 15 secs
lola: 17914442 markings, 56587290 edges, 617454 markings/sec, 20 secs
lola: 20859557 markings, 65924816 edges, 589023 markings/sec, 25 secs
lola: 23939206 markings, 75665422 edges, 615930 markings/sec, 30 secs
lola: 26715208 markings, 84461186 edges, 555200 markings/sec, 35 secs
lola: 29487531 markings, 93244747 edges, 554465 markings/sec, 40 secs
lola: 32235868 markings, 101953136 edges, 549667 markings/sec, 45 secs
lola: 35057502 markings, 110893478 edges, 564327 markings/sec, 50 secs
lola: 37986685 markings, 120161809 edges, 585837 markings/sec, 55 secs
lola: 40789086 markings, 129028554 edges, 560480 markings/sec, 60 secs
lola: 43605047 markings, 137939621 edges, 563192 markings/sec, 65 secs
lola: 46418365 markings, 146867004 edges, 562664 markings/sec, 70 secs
lola: 49253519 markings, 155821496 edges, 567031 markings/sec, 75 secs
lola: 52037354 markings, 164636183 edges, 556767 markings/sec, 80 secs
lola: 54795535 markings, 173398357 edges, 551636 markings/sec, 85 secs
lola: 57406413 markings, 181636631 edges, 522176 markings/sec, 90 secs
lola: 60088438 markings, 190148676 edges, 536405 markings/sec, 95 secs
lola: 62836666 markings, 198855746 edges, 549646 markings/sec, 100 secs
lola: 65457865 markings, 207139127 edges, 524240 markings/sec, 105 secs
lola: 68145023 markings, 215657248 edges, 537432 markings/sec, 110 secs
lola: 70641335 markings, 223557967 edges, 499262 markings/sec, 115 secs
lola: 73283920 markings, 231924239 edges, 528517 markings/sec, 120 secs
lola: 75952873 markings, 240369008 edges, 533791 markings/sec, 125 secs
lola: 78660733 markings, 248945467 edges, 541572 markings/sec, 130 secs
lola: 81104738 markings, 256691357 edges, 488801 markings/sec, 135 secs
lola: 83585589 markings, 264548626 edges, 496170 markings/sec, 140 secs
lola: 86008448 markings, 272229960 edges, 484572 markings/sec, 145 secs
lola: 88593999 markings, 280406934 edges, 517110 markings/sec, 150 secs
lola: 91012811 markings, 288060617 edges, 483762 markings/sec, 155 secs
lola: 93550609 markings, 296128927 edges, 507560 markings/sec, 160 secs
lola: 96009374 markings, 303907484 edges, 491753 markings/sec, 165 secs
lola: 98576380 markings, 312041793 edges, 513401 markings/sec, 170 secs
lola: 101196171 markings, 320311335 edges, 523958 markings/sec, 175 secs
lola: 103826964 markings, 328664597 edges, 526159 markings/sec, 180 secs
lola: 106454715 markings, 336998730 edges, 525550 markings/sec, 185 secs
lola: 108760505 markings, 344288373 edges, 461158 markings/sec, 190 secs
lola: 111364754 markings, 352526559 edges, 520850 markings/sec, 195 secs
lola: 113934432 markings, 360646112 edges, 513936 markings/sec, 200 secs
lola: 116537585 markings, 368907682 edges, 520631 markings/sec, 205 secs
lola: 118829262 markings, 376173853 edges, 458335 markings/sec, 210 secs
lola: 121332066 markings, 384092924 edges, 500561 markings/sec, 215 secs
lola: 123799076 markings, 391905150 edges, 493402 markings/sec, 220 secs
lola: 125870768 markings, 398443777 edges, 414338 markings/sec, 225 secs
lola: 128191220 markings, 405811309 edges, 464090 markings/sec, 230 secs
lola: 130733122 markings, 413843568 edges, 508380 markings/sec, 235 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 245 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(RKIPP_RP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 10000
lola: produced by: state space
lola: The maximum value of the given expression is 10000
lola: ========================================
lola: subprocess 9 will run for 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MEKPP_ERK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 5088595 markings, 11787363 edges, 1017719 markings/sec, 0 secs
lola: 9793024 markings, 22763088 edges, 940886 markings/sec, 5 secs
lola: 14461713 markings, 33655210 edges, 933738 markings/sec, 10 secs
lola: 18593303 markings, 43300345 edges, 826318 markings/sec, 15 secs
lola: 22774458 markings, 53058183 edges, 836231 markings/sec, 20 secs
lola: 27000581 markings, 62912431 edges, 845225 markings/sec, 25 secs
lola: 30974879 markings, 72186158 edges, 794860 markings/sec, 30 secs
lola: 34751393 markings, 81001479 edges, 755303 markings/sec, 35 secs
lola: 38653315 markings, 90110762 edges, 780384 markings/sec, 40 secs
lola: 42344749 markings, 98714597 edges, 738287 markings/sec, 45 secs
lola: 46068399 markings, 107405306 edges, 744730 markings/sec, 50 secs
lola: 48977650 markings, 114199962 edges, 581850 markings/sec, 55 secs
lola: 52625918 markings, 122717179 edges, 729654 markings/sec, 60 secs
lola: 56193449 markings, 131029285 edges, 713506 markings/sec, 65 secs
lola: 59713051 markings, 139246333 edges, 703920 markings/sec, 70 secs
lola: 62399802 markings, 145520780 edges, 537350 markings/sec, 75 secs
lola: 65695330 markings, 153215805 edges, 659106 markings/sec, 80 secs
lola: 68921318 markings, 160729917 edges, 645198 markings/sec, 85 secs
lola: 71938916 markings, 167772399 edges, 603520 markings/sec, 90 secs
lola: 75193502 markings, 175373602 edges, 650917 markings/sec, 95 secs
lola: 78352263 markings, 182739872 edges, 631752 markings/sec, 100 secs
lola: 81491206 markings, 190070485 edges, 627789 markings/sec, 105 secs
lola: 84721494 markings, 197604445 edges, 646058 markings/sec, 110 secs
lola: 87333941 markings, 203690922 edges, 522489 markings/sec, 115 secs
lola: 90403081 markings, 210851711 edges, 613828 markings/sec, 120 secs
lola: 93417631 markings, 217887580 edges, 602910 markings/sec, 125 secs
lola: 96596640 markings, 225316714 edges, 635802 markings/sec, 130 secs
lola: 99239815 markings, 231487319 edges, 528635 markings/sec, 135 secs
lola: 102195496 markings, 238381682 edges, 591136 markings/sec, 140 secs
lola: 105324216 markings, 245684936 edges, 625744 markings/sec, 145 secs
lola: 108508095 markings, 253109723 edges, 636776 markings/sec, 150 secs
lola: 111704081 markings, 260567031 edges, 639197 markings/sec, 155 secs
lola: 114906433 markings, 268028226 edges, 640470 markings/sec, 160 secs
lola: 118084160 markings, 275451033 edges, 635545 markings/sec, 165 secs
lola: 121269455 markings, 282894419 edges, 637059 markings/sec, 170 secs
lola: 124463233 markings, 290340099 edges, 638756 markings/sec, 175 secs
lola: 127598641 markings, 297657711 edges, 627082 markings/sec, 180 secs
lola: 130407631 markings, 304207031 edges, 561798 markings/sec, 185 secs
lola: 133372007 markings, 311130827 edges, 592875 markings/sec, 190 secs
lola: 135668089 markings, 316488988 edges, 459216 markings/sec, 195 secs
lola: 138444704 markings, 322952669 edges, 555323 markings/sec, 200 secs
lola: 141442823 markings, 329949497 edges, 599624 markings/sec, 205 secs
lola: 144243853 markings, 336486940 edges, 560206 markings/sec, 210 secs
lola: 146976645 markings, 342879640 edges, 546558 markings/sec, 215 secs
lola: 149755497 markings, 349348095 edges, 555770 markings/sec, 220 secs
lola: 152708432 markings, 356248041 edges, 590587 markings/sec, 225 secs
lola: 155659238 markings, 363123858 edges, 590161 markings/sec, 230 secs
lola: 158673874 markings, 370164589 edges, 602927 markings/sec, 235 secs
lola: 161592669 markings, 376981579 edges, 583759 markings/sec, 240 secs
lola: 164565113 markings, 383915877 edges, 594489 markings/sec, 245 secs
lola: 167589483 markings, 390977039 edges, 604874 markings/sec, 250 secs
lola: 170551496 markings, 397865241 edges, 592403 markings/sec, 255 secs
lola: 173547963 markings, 404857624 edges, 599293 markings/sec, 260 secs
lola: 176540056 markings, 411862178 edges, 598419 markings/sec, 265 secs
lola: 179535001 markings, 418837988 edges, 598989 markings/sec, 270 secs
lola: 181980231 markings, 424544061 edges, 489046 markings/sec, 275 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(Raf1Star)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3722505 markings, 14523910 edges, 744501 markings/sec, 0 secs
lola: 7105062 markings, 27952209 edges, 676511 markings/sec, 5 secs
lola: 10352265 markings, 40858286 edges, 649441 markings/sec, 10 secs
lola: 13551235 markings, 53580762 edges, 639794 markings/sec, 15 secs
lola: 16926917 markings, 67011192 edges, 675136 markings/sec, 20 secs
lola: 20262330 markings, 80287761 edges, 667083 markings/sec, 25 secs
lola: 23661915 markings, 93821693 edges, 679917 markings/sec, 30 secs
lola: 27058400 markings, 107347285 edges, 679297 markings/sec, 35 secs
lola: 30408726 markings, 120690701 edges, 670065 markings/sec, 40 secs
lola: 33755782 markings, 134024676 edges, 669411 markings/sec, 45 secs
lola: 37105694 markings, 147370135 edges, 669982 markings/sec, 50 secs
lola: 40186718 markings, 159646753 edges, 616205 markings/sec, 55 secs
lola: 43507820 markings, 172881192 edges, 664220 markings/sec, 60 secs
lola: 46887044 markings, 186347904 edges, 675845 markings/sec, 65 secs
lola: 50216135 markings, 199616790 edges, 665818 markings/sec, 70 secs
lola: 53268287 markings, 211781758 edges, 610430 markings/sec, 75 secs
lola: 56598831 markings, 225058394 edges, 666109 markings/sec, 80 secs
lola: 59873614 markings, 238113746 edges, 654957 markings/sec, 85 secs
lola: 63158065 markings, 251208274 edges, 656890 markings/sec, 90 secs
lola: 66452535 markings, 264343495 edges, 658894 markings/sec, 95 secs
lola: 69813836 markings, 277745217 edges, 672260 markings/sec, 100 secs
lola: 73129661 markings, 290965582 edges, 663165 markings/sec, 105 secs
lola: 76410323 markings, 304047860 edges, 656132 markings/sec, 110 secs
lola: 79418418 markings, 316043668 edges, 601619 markings/sec, 115 secs
lola: 82671733 markings, 329016629 edges, 650663 markings/sec, 120 secs
lola: 85932510 markings, 342020509 edges, 652155 markings/sec, 125 secs
lola: 89220757 markings, 355135673 edges, 657649 markings/sec, 130 secs
lola: 92398361 markings, 367809080 edges, 635521 markings/sec, 135 secs
lola: 95584954 markings, 380517742 edges, 637319 markings/sec, 140 secs
lola: 98736243 markings, 393088554 edges, 630258 markings/sec, 145 secs
lola: 102106091 markings, 406529612 edges, 673970 markings/sec, 150 secs
lola: 105162877 markings, 418722964 edges, 611357 markings/sec, 155 secs
lola: 108450861 markings, 431837135 edges, 657597 markings/sec, 160 secs
lola: 111691171 markings, 444764103 edges, 648062 markings/sec, 165 secs
lola: 114915178 markings, 457625271 edges, 644801 markings/sec, 170 secs
lola: 118097243 markings, 470317980 edges, 636413 markings/sec, 175 secs
lola: 121425399 markings, 483597219 edges, 665631 markings/sec, 180 secs
lola: 124718429 markings, 496733231 edges, 658606 markings/sec, 185 secs
lola: 127971627 markings, 509711300 edges, 650640 markings/sec, 190 secs
lola: 131242430 markings, 522761897 edges, 654161 markings/sec, 195 secs
lola: 134381463 markings, 535286658 edges, 627807 markings/sec, 200 secs
lola: 137547336 markings, 547916317 edges, 633175 markings/sec, 205 secs
lola: 140822433 markings, 560984963 edges, 655019 markings/sec, 210 secs
lola: 144181740 markings, 574388066 edges, 671861 markings/sec, 215 secs
lola: 147459372 markings, 587466103 edges, 655526 markings/sec, 220 secs
lola: 150717169 markings, 600464402 edges, 651559 markings/sec, 225 secs
lola: 153926584 markings, 613270985 edges, 641883 markings/sec, 230 secs
lola: 157048335 markings, 625726268 edges, 624350 markings/sec, 235 secs
lola: 160199250 markings, 638300502 edges, 630183 markings/sec, 240 secs
lola: 163320672 markings, 650756289 edges, 624284 markings/sec, 245 secs
lola: 166555616 markings, 663666114 edges, 646989 markings/sec, 250 secs
lola: 169479070 markings, 675331399 edges, 584691 markings/sec, 255 secs
lola: 172646267 markings, 687969547 edges, 633439 markings/sec, 260 secs
lola: 175759428 markings, 700393558 edges, 622632 markings/sec, 265 secs
lola: 178891204 markings, 712891802 edges, 626355 markings/sec, 270 secs
lola: 182023839 markings, 725393246 edges, 626527 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ERKPP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3973837 markings, 12439357 edges, 794767 markings/sec, 0 secs
lola: 7753637 markings, 24408082 edges, 755960 markings/sec, 5 secs
lola: 11435217 markings, 36064915 edges, 736316 markings/sec, 10 secs
lola: 15102424 markings, 47683508 edges, 733441 markings/sec, 15 secs
lola: 18570597 markings, 58664304 edges, 693635 markings/sec, 20 secs
lola: 22115075 markings, 69888381 edges, 708896 markings/sec, 25 secs
lola: 25573418 markings, 80840836 edges, 691669 markings/sec, 30 secs
lola: 28834418 markings, 91173617 edges, 652200 markings/sec, 35 secs
lola: 32141716 markings, 101642584 edges, 661460 markings/sec, 40 secs
lola: 35392399 markings, 111938233 edges, 650137 markings/sec, 45 secs
lola: 38439448 markings, 121584251 edges, 609410 markings/sec, 50 secs
lola: 41440180 markings, 131090362 edges, 600146 markings/sec, 55 secs
lola: 44432710 markings, 140573467 edges, 598506 markings/sec, 60 secs
lola: 47521102 markings, 150339888 edges, 617678 markings/sec, 65 secs
lola: 50379587 markings, 159401042 edges, 571697 markings/sec, 70 secs
lola: 53117755 markings, 168076457 edges, 547634 markings/sec, 75 secs
lola: 55990508 markings, 177165943 edges, 574551 markings/sec, 80 secs
lola: 58861474 markings, 186265880 edges, 574193 markings/sec, 85 secs
lola: 61661977 markings, 195131432 edges, 560101 markings/sec, 90 secs
lola: 64545462 markings, 204265017 edges, 576697 markings/sec, 95 secs
lola: 67430346 markings, 213394539 edges, 576977 markings/sec, 100 secs
lola: 70315196 markings, 222532108 edges, 576970 markings/sec, 105 secs
lola: 73097394 markings, 231343981 edges, 556440 markings/sec, 110 secs
lola: 75882839 markings, 240155179 edges, 557089 markings/sec, 115 secs
lola: 78711281 markings, 249112912 edges, 565688 markings/sec, 120 secs
lola: 81511799 markings, 257995580 edges, 560104 markings/sec, 125 secs
lola: 84299058 markings, 266812122 edges, 557452 markings/sec, 130 secs
lola: 87066998 markings, 275578172 edges, 553588 markings/sec, 135 secs
lola: 89782454 markings, 284182217 edges, 543091 markings/sec, 140 secs
lola: 92411126 markings, 292503666 edges, 525734 markings/sec, 145 secs
lola: 95103037 markings, 301034824 edges, 538382 markings/sec, 150 secs
lola: 97663672 markings, 309129393 edges, 512127 markings/sec, 155 secs
lola: 100358878 markings, 317668285 edges, 539041 markings/sec, 160 secs
lola: 102903352 markings, 325719668 edges, 508895 markings/sec, 165 secs
lola: 105449157 markings, 333786711 edges, 509161 markings/sec, 170 secs
lola: 108124704 markings, 342254410 edges, 535109 markings/sec, 175 secs
lola: 110701728 markings, 350418418 edges, 515405 markings/sec, 180 secs
lola: 113232827 markings, 358442726 edges, 506220 markings/sec, 185 secs
lola: 115662913 markings, 366129808 edges, 486017 markings/sec, 190 secs
lola: 118257108 markings, 374346392 edges, 518839 markings/sec, 195 secs
lola: 120925574 markings, 382804559 edges, 533693 markings/sec, 200 secs
lola: 123498322 markings, 390941539 edges, 514550 markings/sec, 205 secs
lola: 126062312 markings, 399065768 edges, 512798 markings/sec, 210 secs
lola: 128643196 markings, 407244668 edges, 516177 markings/sec, 215 secs
lola: 131290728 markings, 415636603 edges, 529506 markings/sec, 220 secs
lola: 133930468 markings, 423992488 edges, 527948 markings/sec, 225 secs
lola: 136527464 markings, 432194334 edges, 519399 markings/sec, 230 secs
lola: 139121790 markings, 440415901 edges, 518865 markings/sec, 235 secs
lola: 141725416 markings, 448683277 edges, 520725 markings/sec, 240 secs
lola: 144279236 markings, 456740668 edges, 510764 markings/sec, 245 secs
lola: 146849993 markings, 464903658 edges, 514151 markings/sec, 250 secs
lola: 149425998 markings, 473054673 edges, 515201 markings/sec, 255 secs
lola: 151918246 markings, 480962890 edges, 498450 markings/sec, 260 secs
lola: 154541861 markings, 489262097 edges, 524723 markings/sec, 265 secs
lola: 156836086 markings, 496521908 edges, 458845 markings/sec, 270 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(RKIPP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 10000
lola: produced by: state space
lola: The maximum value of the given expression is 10000
lola: ========================================
lola: subprocess 13 will run for 374 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ERK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3853603 markings, 12066301 edges, 770721 markings/sec, 0 secs
lola: 7593982 markings, 23912588 edges, 748076 markings/sec, 5 secs
lola: 11035110 markings, 34807355 edges, 688226 markings/sec, 10 secs
lola: 14376254 markings, 45390600 edges, 668229 markings/sec, 15 secs
lola: 17649972 markings, 55748705 edges, 654744 markings/sec, 20 secs
lola: 20791643 markings, 65698002 edges, 628334 markings/sec, 25 secs
lola: 23684841 markings, 74862971 edges, 578640 markings/sec, 30 secs
lola: 26599801 markings, 84108119 edges, 582992 markings/sec, 35 secs
lola: 29281948 markings, 92597049 edges, 536429 markings/sec, 40 secs
lola: 32282116 markings, 102087220 edges, 600034 markings/sec, 45 secs
lola: 35087115 markings, 110973257 edges, 561000 markings/sec, 50 secs
lola: 37513490 markings, 118669788 edges, 485275 markings/sec, 55 secs
lola: 40203894 markings, 127167131 edges, 538081 markings/sec, 60 secs
lola: 43080598 markings, 136270588 edges, 575341 markings/sec, 65 secs
lola: 45684790 markings, 144531721 edges, 520838 markings/sec, 70 secs
lola: 48219243 markings, 152552839 edges, 506891 markings/sec, 75 secs
lola: 50640900 markings, 160224839 edges, 484331 markings/sec, 80 secs
lola: 52716020 markings, 166810665 edges, 415024 markings/sec, 85 secs
lola: 55247794 markings, 174808400 edges, 506355 markings/sec, 90 secs
lola: 57854931 markings, 183055899 edges, 521427 markings/sec, 95 secs
lola: 60381831 markings, 191060724 edges, 505380 markings/sec, 100 secs
lola: 62911593 markings, 199106038 edges, 505952 markings/sec, 105 secs
lola: 65426294 markings, 207032830 edges, 502940 markings/sec, 110 secs
lola: 67750245 markings, 214425970 edges, 464790 markings/sec, 115 secs
lola: 69986401 markings, 221499094 edges, 447231 markings/sec, 120 secs
lola: 72380975 markings, 229090405 edges, 478915 markings/sec, 125 secs
lola: 74938165 markings, 237187210 edges, 511438 markings/sec, 130 secs
lola: 77459042 markings, 245145500 edges, 504175 markings/sec, 135 secs
lola: 79833700 markings, 252681063 edges, 474932 markings/sec, 140 secs
lola: 82136104 markings, 259954467 edges, 460481 markings/sec, 145 secs
lola: 84379502 markings, 267072207 edges, 448680 markings/sec, 150 secs
lola: 86651639 markings, 274267638 edges, 454427 markings/sec, 155 secs
lola: 88791095 markings, 281044690 edges, 427891 markings/sec, 160 secs
lola: 91075863 markings, 288265568 edges, 456954 markings/sec, 165 secs
lola: 93244840 markings, 295118767 edges, 433795 markings/sec, 170 secs
lola: 95355108 markings, 301812081 edges, 422054 markings/sec, 175 secs
lola: 97560945 markings, 308803555 edges, 441167 markings/sec, 180 secs
lola: 99633847 markings, 315350097 edges, 414580 markings/sec, 185 secs
lola: 101840506 markings, 322365450 edges, 441332 markings/sec, 190 secs
lola: 103872224 markings, 328806848 edges, 406344 markings/sec, 195 secs
lola: 105880703 markings, 335151148 edges, 401696 markings/sec, 200 secs
lola: 107936281 markings, 341670401 edges, 411116 markings/sec, 205 secs
lola: 109949723 markings, 348063682 edges, 402688 markings/sec, 210 secs
lola: 112352959 markings, 355653674 edges, 480647 markings/sec, 215 secs
lola: 114568007 markings, 362692947 edges, 443010 markings/sec, 220 secs
lola: 116945984 markings, 370174295 edges, 475595 markings/sec, 225 secs
lola: 119215521 markings, 377398673 edges, 453907 markings/sec, 230 secs
lola: 121482161 markings, 384546367 edges, 453328 markings/sec, 235 secs
lola: 123602968 markings, 391290490 edges, 424161 markings/sec, 240 secs
lola: 125570716 markings, 397526892 edges, 393550 markings/sec, 245 secs
lola: 127784368 markings, 404532790 edges, 442730 markings/sec, 250 secs
lola: 129906242 markings, 411251856 edges, 424375 markings/sec, 255 secs
lola: 132049611 markings, 418050095 edges, 428674 markings/sec, 260 secs
lola: 134162441 markings, 424729972 edges, 422566 markings/sec, 265 secs
lola: 136198061 markings, 431153518 edges, 407124 markings/sec, 270 secs
lola: 138263587 markings, 437699260 edges, 413105 markings/sec, 275 secs
lola: 140283896 markings, 444098634 edges, 404062 markings/sec, 280 secs
lola: 142380785 markings, 450719898 edges, 419378 markings/sec, 285 secs
lola: 144332856 markings, 456935512 edges, 390414 markings/sec, 290 secs
lola: 146879142 markings, 464980966 edges, 509257 markings/sec, 295 secs
lola: 149237377 markings, 472441258 edges, 471647 markings/sec, 300 secs
lola: 151635017 markings, 480050898 edges, 479528 markings/sec, 305 secs
lola: 153584077 markings, 486218697 edges, 389812 markings/sec, 310 secs
lola: 155868195 markings, 493466334 edges, 456824 markings/sec, 315 secs
lola: 157843201 markings, 499698350 edges, 395001 markings/sec, 320 secs
lola: 159914199 markings, 506280343 edges, 414200 markings/sec, 325 secs
lola: 162197459 markings, 513497092 edges, 456652 markings/sec, 330 secs
lola: 164496531 markings, 520760273 edges, 459814 markings/sec, 335 secs
lola: 166817974 markings, 528148596 edges, 464289 markings/sec, 340 secs
lola: 169242273 markings, 535832235 edges, 484860 markings/sec, 345 secs
lola: 171697721 markings, 543586710 edges, 491090 markings/sec, 350 secs
lola: 174050694 markings, 551060842 edges, 470595 markings/sec, 355 secs
lola: 176062949 markings, 557402925 edges, 402451 markings/sec, 360 secs
lola: 178564343 markings, 565342285 edges, 500279 markings/sec, 365 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 374 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(RP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 10000
lola: produced by: state space
lola: The maximum value of the given expression is 10000
lola: ========================================
lola: subprocess 15 will run for 749 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(RKIPP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 10000
lola: produced by: state space
lola: The maximum value of the given expression is 10000
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown 10000 unknown 10000 unknown unknown unknown 10000 unknown 10000 10000
lola: ========================================
FORMULA ERK-PT-010000-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ERK-PT-010000-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ERK-PT-010000-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ERK-PT-010000-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ERK-PT-010000-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ERK-PT-010000-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ERK-PT-010000-UpperBounds-6 10000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ERK-PT-010000-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ERK-PT-010000-UpperBounds-8 10000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ERK-PT-010000-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ERK-PT-010000-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ERK-PT-010000-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ERK-PT-010000-UpperBounds-12 10000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ERK-PT-010000-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ERK-PT-010000-UpperBounds-14 10000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ERK-PT-010000-UpperBounds-15 10000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496374053280

--------------------
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="S_ERK-PT-010000"
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/S_ERK-PT-010000.tgz
mv S_ERK-PT-010000 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 S_ERK-PT-010000, 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 r108-blw3-149441612400371"
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 ;