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

--------------------
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 1494698798272


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 4953346 markings, 11471166 edges, 990669 markings/sec, 0 secs
lola: 9764259 markings, 22698087 edges, 962183 markings/sec, 5 secs
lola: 14459886 markings, 33652286 edges, 939125 markings/sec, 10 secs
lola: 18988712 markings, 44217969 edges, 905765 markings/sec, 15 secs
lola: 23372979 markings, 54453477 edges, 876853 markings/sec, 20 secs
lola: 27213492 markings, 63409991 edges, 768103 markings/sec, 25 secs
lola: 30955593 markings, 72141205 edges, 748420 markings/sec, 30 secs
lola: 34573209 markings, 80582122 edges, 723523 markings/sec, 35 secs
lola: 38118197 markings, 88862729 edges, 708998 markings/sec, 40 secs
lola: 41607491 markings, 96999772 edges, 697859 markings/sec, 45 secs
lola: 45055187 markings, 105045427 edges, 689539 markings/sec, 50 secs
lola: 48182509 markings, 112345095 edges, 625464 markings/sec, 55 secs
lola: 51551928 markings, 120208130 edges, 673884 markings/sec, 60 secs
lola: 54871366 markings, 127948562 edges, 663888 markings/sec, 65 secs
lola: 58159068 markings, 135630445 edges, 657540 markings/sec, 70 secs
lola: 61175167 markings, 142659155 edges, 603220 markings/sec, 75 secs
lola: 64401638 markings, 150184701 edges, 645294 markings/sec, 80 secs
lola: 67613926 markings, 157685709 edges, 642458 markings/sec, 85 secs
lola: 70807347 markings, 165133180 edges, 638684 markings/sec, 90 secs
lola: 73964051 markings, 172507996 edges, 631341 markings/sec, 95 secs
lola: 77100929 markings, 179820493 edges, 627376 markings/sec, 100 secs
lola: 80244900 markings, 187156324 edges, 628794 markings/sec, 105 secs
lola: 83374823 markings, 194460666 edges, 625985 markings/sec, 110 secs
lola: 86243540 markings, 201157188 edges, 573743 markings/sec, 115 secs
lola: 89321668 markings, 208332638 edges, 615626 markings/sec, 120 secs
lola: 92415499 markings, 215550250 edges, 618766 markings/sec, 125 secs
lola: 95477290 markings, 222704326 edges, 612358 markings/sec, 130 secs
lola: 98320491 markings, 229335262 edges, 568640 markings/sec, 135 secs
lola: 101349378 markings, 236412573 edges, 605777 markings/sec, 140 secs
lola: 104365229 markings, 243439479 edges, 603170 markings/sec, 145 secs
lola: 107323173 markings, 250350744 edges, 591589 markings/sec, 150 secs
lola: 110401853 markings, 257530218 edges, 615736 markings/sec, 155 secs
lola: 113483498 markings, 264716887 edges, 616329 markings/sec, 160 secs
lola: 116528648 markings, 271821398 edges, 609030 markings/sec, 165 secs
lola: 119562673 markings, 278909930 edges, 606805 markings/sec, 170 secs
lola: 122562800 markings, 285895384 edges, 600025 markings/sec, 175 secs
lola: 125596024 markings, 292975778 edges, 606645 markings/sec, 180 secs
lola: 128566888 markings, 299904098 edges, 594173 markings/sec, 185 secs
lola: 131511288 markings, 306786373 edges, 588880 markings/sec, 190 secs
lola: 134224006 markings, 313116701 edges, 542544 markings/sec, 195 secs
lola: 137176768 markings, 320000066 edges, 590552 markings/sec, 200 secs
lola: 140137249 markings, 326919228 edges, 592096 markings/sec, 205 secs
lola: 143095960 markings, 333812160 edges, 591742 markings/sec, 210 secs
lola: 145996893 markings, 340576351 edges, 580187 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: 4994440 markings, 12403278 edges, 998888 markings/sec, 0 secs
lola: 9657960 markings, 24056147 edges, 932704 markings/sec, 5 secs
lola: 14230120 markings, 35484490 edges, 914432 markings/sec, 10 secs
lola: 18547120 markings, 46273640 edges, 863400 markings/sec, 15 secs
lola: 22599315 markings, 56402227 edges, 810439 markings/sec, 20 secs
lola: 26621256 markings, 66453172 edges, 804388 markings/sec, 25 secs
lola: 30466810 markings, 76063806 edges, 769111 markings/sec, 30 secs
lola: 34093245 markings, 85129645 edges, 725287 markings/sec, 35 secs
lola: 37802721 markings, 94400029 edges, 741895 markings/sec, 40 secs
lola: 41270707 markings, 103069060 edges, 693597 markings/sec, 45 secs
lola: 44526599 markings, 111206541 edges, 651178 markings/sec, 50 secs
lola: 48278458 markings, 120586965 edges, 750372 markings/sec, 55 secs
lola: 51795736 markings, 129378997 edges, 703456 markings/sec, 60 secs
lola: 55212243 markings, 137918915 edges, 683301 markings/sec, 65 secs
lola: 58517841 markings, 146178857 edges, 661120 markings/sec, 70 secs
lola: 61794947 markings, 154372866 edges, 655421 markings/sec, 75 secs
lola: 65136783 markings, 162725464 edges, 668367 markings/sec, 80 secs
lola: 68638753 markings, 171479041 edges, 700394 markings/sec, 85 secs
lola: 72094079 markings, 180116622 edges, 691065 markings/sec, 90 secs
lola: 75791763 markings, 189358705 edges, 739537 markings/sec, 95 secs
lola: 79061995 markings, 197532628 edges, 654046 markings/sec, 100 secs
lola: 82558594 markings, 206275974 edges, 699320 markings/sec, 105 secs
lola: 85775169 markings, 214313112 edges, 643315 markings/sec, 110 secs
lola: 89102098 markings, 222633296 edges, 665386 markings/sec, 115 secs
lola: 92240640 markings, 230475908 edges, 627708 markings/sec, 120 secs
lola: 95374735 markings, 238308317 edges, 626819 markings/sec, 125 secs
lola: 98533927 markings, 246205604 edges, 631838 markings/sec, 130 secs
lola: 101514292 markings, 253657707 edges, 596073 markings/sec, 135 secs
lola: 104176332 markings, 260312535 edges, 532408 markings/sec, 140 secs
lola: 107687552 markings, 269086389 edges, 702244 markings/sec, 145 secs
lola: 111098065 markings, 277614850 edges, 682103 markings/sec, 150 secs
lola: 114291368 markings, 285599323 edges, 638661 markings/sec, 155 secs
lola: 117509096 markings, 293637585 edges, 643546 markings/sec, 160 secs
lola: 120659467 markings, 301518041 edges, 630074 markings/sec, 165 secs
lola: 123617568 markings, 308907435 edges, 591620 markings/sec, 170 secs
lola: 126798260 markings, 316863288 edges, 636138 markings/sec, 175 secs
lola: 129778163 markings, 324311977 edges, 595981 markings/sec, 180 secs
lola: 132589256 markings, 331336004 edges, 562219 markings/sec, 185 secs
lola: 135413576 markings, 338393775 edges, 564864 markings/sec, 190 secs
lola: 138188117 markings, 345332909 edges, 554908 markings/sec, 195 secs
lola: 140929851 markings, 352186326 edges, 548347 markings/sec, 200 secs
lola: 143537778 markings, 358702626 edges, 521585 markings/sec, 205 secs
lola: 146547513 markings, 366229886 edges, 601947 markings/sec, 210 secs
lola: 149477848 markings, 373556621 edges, 586067 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: 3973858 markings, 12439471 edges, 794772 markings/sec, 0 secs
lola: 7866163 markings, 24763935 edges, 778461 markings/sec, 5 secs
lola: 11705730 markings, 36923757 edges, 767913 markings/sec, 10 secs
lola: 15525927 markings, 49024810 edges, 764039 markings/sec, 15 secs
lola: 19147296 markings, 60496110 edges, 724274 markings/sec, 20 secs
lola: 22681356 markings, 71687940 edges, 706812 markings/sec, 25 secs
lola: 26100469 markings, 82511207 edges, 683823 markings/sec, 30 secs
lola: 29450238 markings, 93125059 edges, 669954 markings/sec, 35 secs
lola: 32763562 markings, 103619173 edges, 662665 markings/sec, 40 secs
lola: 36308607 markings, 114832919 edges, 709009 markings/sec, 45 secs
lola: 39508854 markings, 124981989 edges, 640049 markings/sec, 50 secs
lola: 42780891 markings, 135328657 edges, 654407 markings/sec, 55 secs
lola: 45987486 markings, 145490658 edges, 641319 markings/sec, 60 secs
lola: 49208944 markings, 155695389 edges, 644292 markings/sec, 65 secs
lola: 52343614 markings, 165625483 edges, 626934 markings/sec, 70 secs
lola: 55403972 markings, 175300955 edges, 612072 markings/sec, 75 secs
lola: 58439122 markings, 184931861 edges, 607030 markings/sec, 80 secs
lola: 61397873 markings, 194286618 edges, 591750 markings/sec, 85 secs
lola: 64408780 markings, 203829586 edges, 602181 markings/sec, 90 secs
lola: 67297242 markings, 212980377 edges, 577692 markings/sec, 95 secs
lola: 70189584 markings, 222142281 edges, 578468 markings/sec, 100 secs
lola: 73108982 markings, 231367160 edges, 583880 markings/sec, 105 secs
lola: 75677740 markings, 239505602 edges, 513752 markings/sec, 110 secs
lola: 78024336 markings, 246952708 edges, 469319 markings/sec, 115 secs
lola: 80358762 markings, 254341411 edges, 466885 markings/sec, 120 secs
lola: 82667140 markings, 261643262 edges, 461676 markings/sec, 125 secs
lola: 84963984 markings, 268922018 edges, 459369 markings/sec, 130 secs
lola: 87556546 markings, 277138937 edges, 518512 markings/sec, 135 secs
lola: 90085680 markings, 285133307 edges, 505827 markings/sec, 140 secs
lola: 92677466 markings, 293347072 edges, 518357 markings/sec, 145 secs
lola: 95141110 markings, 301150356 edges, 492729 markings/sec, 150 secs
lola: 97675644 markings, 309178350 edges, 506907 markings/sec, 155 secs
lola: 100267800 markings, 317390761 edges, 518431 markings/sec, 160 secs
lola: 102754584 markings, 325253106 edges, 497357 markings/sec, 165 secs
lola: 105184804 markings, 332954759 edges, 486044 markings/sec, 170 secs
lola: 107698952 markings, 340908027 edges, 502830 markings/sec, 175 secs
lola: 110218487 markings, 348889315 edges, 503907 markings/sec, 180 secs
lola: 112731162 markings, 356856825 edges, 502535 markings/sec, 185 secs
lola: 115249148 markings, 364824923 edges, 503597 markings/sec, 190 secs
lola: 117740087 markings, 372727464 edges, 498188 markings/sec, 195 secs
lola: 120222866 markings, 380571815 edges, 496556 markings/sec, 200 secs
lola: 122710952 markings, 388470249 edges, 497617 markings/sec, 205 secs
lola: 125175022 markings, 396267820 edges, 492814 markings/sec, 210 secs
lola: 127587154 markings, 403904888 edges, 482426 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: 4893613 markings, 12151990 edges, 978723 markings/sec, 0 secs
lola: 9526565 markings, 23729307 edges, 926590 markings/sec, 5 secs
lola: 14117332 markings, 35201022 edges, 918153 markings/sec, 10 secs
lola: 18574661 markings, 46341122 edges, 891466 markings/sec, 15 secs
lola: 22710960 markings, 56680341 edges, 827260 markings/sec, 20 secs
lola: 26872835 markings, 67081455 edges, 832375 markings/sec, 25 secs
lola: 30722413 markings, 76703508 edges, 769916 markings/sec, 30 secs
lola: 34259236 markings, 85545851 edges, 707365 markings/sec, 35 secs
lola: 37915334 markings, 94681994 edges, 731220 markings/sec, 40 secs
lola: 41344867 markings, 103254782 edges, 685907 markings/sec, 45 secs
lola: 44984069 markings, 112352870 edges, 727840 markings/sec, 50 secs
lola: 48700796 markings, 121640394 edges, 743345 markings/sec, 55 secs
lola: 52279089 markings, 130586934 edges, 715659 markings/sec, 60 secs
lola: 56003753 markings, 139894184 edges, 744933 markings/sec, 65 secs
lola: 59788318 markings, 149357374 edges, 756913 markings/sec, 70 secs
lola: 62951231 markings, 157260686 edges, 632583 markings/sec, 75 secs
lola: 66015445 markings, 164921755 edges, 612843 markings/sec, 80 secs
lola: 69093613 markings, 172615511 edges, 615634 markings/sec, 85 secs
lola: 72472321 markings, 181059426 edges, 675742 markings/sec, 90 secs
lola: 76062842 markings, 190034518 edges, 718104 markings/sec, 95 secs
lola: 79418551 markings, 198423931 edges, 671142 markings/sec, 100 secs
lola: 82821343 markings, 206933310 edges, 680558 markings/sec, 105 secs
lola: 85999981 markings, 214874988 edges, 635728 markings/sec, 110 secs
lola: 89217161 markings, 222918101 edges, 643436 markings/sec, 115 secs
lola: 91681067 markings, 229076755 edges, 492781 markings/sec, 120 secs
lola: 94358075 markings, 235769363 edges, 535402 markings/sec, 125 secs
lola: 96756328 markings, 241764326 edges, 479651 markings/sec, 130 secs
lola: 99510340 markings, 248646329 edges, 550802 markings/sec, 135 secs
lola: 102076587 markings, 255064462 edges, 513249 markings/sec, 140 secs
lola: 104790155 markings, 261846798 edges, 542714 markings/sec, 145 secs
lola: 108396248 markings, 270862149 edges, 721219 markings/sec, 150 secs
lola: 111793970 markings, 279353790 edges, 679544 markings/sec, 155 secs
lola: 115054245 markings, 287502411 edges, 652055 markings/sec, 160 secs
lola: 118254914 markings, 295505031 edges, 640134 markings/sec, 165 secs
lola: 121374457 markings, 303303839 edges, 623909 markings/sec, 170 secs
lola: 124081827 markings, 310072338 edges, 541474 markings/sec, 175 secs
lola: 126744995 markings, 316730177 edges, 532634 markings/sec, 180 secs
lola: 129502132 markings, 323620076 edges, 551427 markings/sec, 185 secs
lola: 132175625 markings, 330302966 edges, 534699 markings/sec, 190 secs
lola: 134714434 markings, 336646838 edges, 507762 markings/sec, 195 secs
lola: 137508036 markings, 343634056 edges, 558720 markings/sec, 200 secs
lola: 140428438 markings, 350930309 edges, 584080 markings/sec, 205 secs
lola: 143179933 markings, 357811288 edges, 550299 markings/sec, 210 secs
lola: 146131865 markings, 365189205 edges, 590386 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: 5096109 markings, 11804298 edges, 1019222 markings/sec, 0 secs
lola: 9913313 markings, 23047145 edges, 963441 markings/sec, 5 secs
lola: 14792715 markings, 34426991 edges, 975880 markings/sec, 10 secs
lola: 19570333 markings, 45581598 edges, 955524 markings/sec, 15 secs
lola: 24204861 markings, 56389352 edges, 926906 markings/sec, 20 secs
lola: 28955580 markings, 67478025 edges, 950144 markings/sec, 25 secs
lola: 33647059 markings, 78420795 edges, 938296 markings/sec, 30 secs
lola: 38180208 markings, 88999997 edges, 906630 markings/sec, 35 secs
lola: 42372882 markings, 98792609 edges, 838535 markings/sec, 40 secs
lola: 46398704 markings, 108180394 edges, 805164 markings/sec, 45 secs
lola: 50342465 markings, 117385705 edges, 788752 markings/sec, 50 secs
lola: 54242165 markings, 126482759 edges, 779940 markings/sec, 55 secs
lola: 58401146 markings, 136192069 edges, 831796 markings/sec, 60 secs
lola: 62491485 markings, 145734172 edges, 818068 markings/sec, 65 secs
lola: 66486758 markings, 155060178 edges, 799055 markings/sec, 70 secs
lola: 70399113 markings, 164176039 edges, 782471 markings/sec, 75 secs
lola: 74022265 markings, 172644796 edges, 724630 markings/sec, 80 secs
lola: 77480205 markings, 180707737 edges, 691588 markings/sec, 85 secs
lola: 80941550 markings, 188785062 edges, 692269 markings/sec, 90 secs
lola: 84356844 markings, 196750808 edges, 683059 markings/sec, 95 secs
lola: 87727511 markings, 204617467 edges, 674133 markings/sec, 100 secs
lola: 91017633 markings, 212292829 edges, 658024 markings/sec, 105 secs
lola: 94263405 markings, 219870470 edges, 649154 markings/sec, 110 secs
lola: 97650063 markings, 227760420 edges, 677332 markings/sec, 115 secs
lola: 101000023 markings, 235592879 edges, 669992 markings/sec, 120 secs
lola: 104253807 markings, 243170707 edges, 650757 markings/sec, 125 secs
lola: 107418846 markings, 250558718 edges, 633008 markings/sec, 130 secs
lola: 110574442 markings, 257936777 edges, 631119 markings/sec, 135 secs
lola: 113775709 markings, 265400906 edges, 640253 markings/sec, 140 secs
lola: 116959020 markings, 272827834 edges, 636662 markings/sec, 145 secs
lola: 120008747 markings, 279936127 edges, 609945 markings/sec, 150 secs
lola: 123141315 markings, 287256291 edges, 626514 markings/sec, 155 secs
lola: 126273425 markings, 294568416 edges, 626422 markings/sec, 160 secs
lola: 129467537 markings, 302008350 edges, 638822 markings/sec, 165 secs
lola: 132491920 markings, 309069874 edges, 604877 markings/sec, 170 secs
lola: 135494359 markings, 316064980 edges, 600488 markings/sec, 175 secs
lola: 138616171 markings, 323353731 edges, 624362 markings/sec, 180 secs
lola: 141649057 markings, 330431807 edges, 606577 markings/sec, 185 secs
lola: 144630249 markings, 337384605 edges, 596238 markings/sec, 190 secs
lola: 147606276 markings, 344346598 edges, 595205 markings/sec, 195 secs
lola: 150606651 markings, 351343780 edges, 600075 markings/sec, 200 secs
lola: 153804594 markings, 358787686 edges, 639589 markings/sec, 205 secs
lola: 157047807 markings, 366375913 edges, 648643 markings/sec, 210 secs
lola: 160152563 markings, 373620476 edges, 620951 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: 3971918 markings, 12438481 edges, 794384 markings/sec, 0 secs
lola: 7888589 markings, 24837867 edges, 783334 markings/sec, 5 secs
lola: 11526519 markings, 36362965 edges, 727586 markings/sec, 10 secs
lola: 14863521 markings, 46934260 edges, 667400 markings/sec, 15 secs
lola: 18543180 markings, 58579596 edges, 735932 markings/sec, 20 secs
lola: 22070145 markings, 69745002 edges, 705393 markings/sec, 25 secs
lola: 25504994 markings, 80621638 edges, 686970 markings/sec, 30 secs
lola: 27930565 markings, 88299086 edges, 485114 markings/sec, 35 secs
lola: 31123011 markings, 98425912 edges, 638489 markings/sec, 40 secs
lola: 34262720 markings, 108364382 edges, 627942 markings/sec, 45 secs
lola: 37300390 markings, 117979816 edges, 607534 markings/sec, 50 secs
lola: 39484521 markings, 124895019 edges, 436826 markings/sec, 55 secs
lola: 42405014 markings, 134153208 edges, 584099 markings/sec, 60 secs
lola: 45242084 markings, 143132012 edges, 567414 markings/sec, 65 secs
lola: 48028519 markings, 151959332 edges, 557287 markings/sec, 70 secs
lola: 50866877 markings, 160932935 edges, 567672 markings/sec, 75 secs
lola: 53725564 markings, 170010452 edges, 571737 markings/sec, 80 secs
lola: 56484945 markings, 178732664 edges, 551876 markings/sec, 85 secs
lola: 59231413 markings, 187416780 edges, 549294 markings/sec, 90 secs
lola: 61986346 markings, 196168468 edges, 550987 markings/sec, 95 secs
lola: 64734940 markings, 204874568 edges, 549719 markings/sec, 100 secs
lola: 67461152 markings, 213490336 edges, 545242 markings/sec, 105 secs
lola: 70217136 markings, 222220821 edges, 551197 markings/sec, 110 secs
lola: 72949686 markings, 230881337 edges, 546510 markings/sec, 115 secs
lola: 75623919 markings, 239348551 edges, 534847 markings/sec, 120 secs
lola: 78333276 markings, 247934145 edges, 541871 markings/sec, 125 secs
lola: 81010113 markings, 256381478 edges, 535367 markings/sec, 130 secs
lola: 83048686 markings, 262849162 edges, 407715 markings/sec, 135 secs
lola: 85718453 markings, 271299379 edges, 533953 markings/sec, 140 secs
lola: 88430648 markings, 279884758 edges, 542439 markings/sec, 145 secs
lola: 91152901 markings, 288508774 edges, 544451 markings/sec, 150 secs
lola: 93805833 markings, 296907822 edges, 530586 markings/sec, 155 secs
lola: 96450839 markings, 305306314 edges, 529001 markings/sec, 160 secs
lola: 99111290 markings, 313702559 edges, 532090 markings/sec, 165 secs
lola: 101786767 markings, 322166817 edges, 535095 markings/sec, 170 secs
lola: 103809004 markings, 328593711 edges, 404447 markings/sec, 175 secs
lola: 106450615 markings, 336949524 edges, 528322 markings/sec, 180 secs
lola: 109086091 markings, 345318613 edges, 527095 markings/sec, 185 secs
lola: 111764877 markings, 353775487 edges, 535757 markings/sec, 190 secs
lola: 113802890 markings, 360249831 edges, 407603 markings/sec, 195 secs
lola: 116472811 markings, 368712440 edges, 533984 markings/sec, 200 secs
lola: 119168273 markings, 377239961 edges, 539092 markings/sec, 205 secs
lola: 121827585 markings, 385656024 edges, 531862 markings/sec, 210 secs
lola: 124515084 markings, 394150643 edges, 537500 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: 4006666 markings, 12546922 edges, 801333 markings/sec, 0 secs
lola: 7918767 markings, 24944709 edges, 782420 markings/sec, 5 secs
lola: 11391441 markings, 35931126 edges, 694535 markings/sec, 10 secs
lola: 14560065 markings, 45976501 edges, 633725 markings/sec, 15 secs
lola: 18307124 markings, 57830770 edges, 749412 markings/sec, 20 secs
lola: 21977494 markings, 69467498 edges, 734074 markings/sec, 25 secs
lola: 25438236 markings, 80430632 edges, 692148 markings/sec, 30 secs
lola: 28538615 markings, 90238588 edges, 620076 markings/sec, 35 secs
lola: 31609160 markings, 99972096 edges, 614109 markings/sec, 40 secs
lola: 34787205 markings, 110012120 edges, 635609 markings/sec, 45 secs
lola: 37572421 markings, 118831217 edges, 557043 markings/sec, 50 secs
lola: 40072051 markings, 126745738 edges, 499926 markings/sec, 55 secs
lola: 43079495 markings, 136268728 edges, 601489 markings/sec, 60 secs
lola: 46082143 markings, 145782841 edges, 600530 markings/sec, 65 secs
lola: 49016091 markings, 155086540 edges, 586790 markings/sec, 70 secs
lola: 51961544 markings, 164392945 edges, 589091 markings/sec, 75 secs
lola: 54843540 markings, 173522006 edges, 576399 markings/sec, 80 secs
lola: 57697327 markings, 182558144 edges, 570757 markings/sec, 85 secs
lola: 60556856 markings, 191631683 edges, 571906 markings/sec, 90 secs
lola: 63406432 markings, 200673186 edges, 569915 markings/sec, 95 secs
lola: 66245053 markings, 209641649 edges, 567724 markings/sec, 100 secs
lola: 69061709 markings, 218557276 edges, 563331 markings/sec, 105 secs
lola: 71879341 markings, 227483507 edges, 563526 markings/sec, 110 secs
lola: 74681833 markings, 236352473 edges, 560498 markings/sec, 115 secs
lola: 77443896 markings, 245124294 edges, 552413 markings/sec, 120 secs
lola: 80204547 markings, 253850058 edges, 552130 markings/sec, 125 secs
lola: 82953843 markings, 262546525 edges, 549859 markings/sec, 130 secs
lola: 85670604 markings, 271158234 edges, 543352 markings/sec, 135 secs
lola: 88365102 markings, 279673053 edges, 538900 markings/sec, 140 secs
lola: 90862623 markings, 287617125 edges, 499504 markings/sec, 145 secs
lola: 93166529 markings, 294889553 edges, 460781 markings/sec, 150 secs
lola: 95297583 markings, 301645058 edges, 426211 markings/sec, 155 secs
lola: 97897515 markings, 309879237 edges, 519986 markings/sec, 160 secs
lola: 100534075 markings, 318200304 edges, 527312 markings/sec, 165 secs
lola: 103217051 markings, 326707353 edges, 536595 markings/sec, 170 secs
lola: 105882941 markings, 335178006 edges, 533178 markings/sec, 175 secs
lola: 108499918 markings, 343473872 edges, 523395 markings/sec, 180 secs
lola: 111116590 markings, 351754768 edges, 523334 markings/sec, 185 secs
lola: 113480751 markings, 359212110 edges, 472832 markings/sec, 190 secs
lola: 115643816 markings, 366089292 edges, 432613 markings/sec, 195 secs
lola: 118109574 markings, 373861127 edges, 493152 markings/sec, 200 secs
lola: 120643537 markings, 381884717 edges, 506793 markings/sec, 205 secs
lola: 123204742 markings, 389997300 edges, 512241 markings/sec, 210 secs
lola: 125794784 markings, 398218010 edges, 518008 markings/sec, 215 secs
lola: 128348730 markings, 406308893 edges, 510789 markings/sec, 220 secs
lola: 130930361 markings, 414461551 edges, 516326 markings/sec, 225 secs
lola: 133239964 markings, 421792893 edges, 461921 markings/sec, 230 secs
lola: 135444456 markings, 428752544 edges, 440898 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: 4923472 markings, 11401191 edges, 984694 markings/sec, 0 secs
lola: 9619454 markings, 22356689 edges, 939196 markings/sec, 5 secs
lola: 13990463 markings, 32558431 edges, 874202 markings/sec, 10 secs
lola: 18155753 markings, 42275150 edges, 833058 markings/sec, 15 secs
lola: 22361127 markings, 52094235 edges, 841075 markings/sec, 20 secs
lola: 26732395 markings, 62287536 edges, 874254 markings/sec, 25 secs
lola: 30879184 markings, 71962613 edges, 829358 markings/sec, 30 secs
lola: 34857046 markings, 81245270 edges, 795572 markings/sec, 35 secs
lola: 38677065 markings, 90168657 edges, 764004 markings/sec, 40 secs
lola: 42370482 markings, 98785436 edges, 738683 markings/sec, 45 secs
lola: 46002244 markings, 107262205 edges, 726352 markings/sec, 50 secs
lola: 49498621 markings, 115414443 edges, 699275 markings/sec, 55 secs
lola: 53071829 markings, 123746445 edges, 714642 markings/sec, 60 secs
lola: 56454192 markings, 131642025 edges, 676473 markings/sec, 65 secs
lola: 59884757 markings, 139652856 edges, 686113 markings/sec, 70 secs
lola: 63441225 markings, 147946291 edges, 711294 markings/sec, 75 secs
lola: 66979288 markings, 156200570 edges, 707613 markings/sec, 80 secs
lola: 70343550 markings, 164055487 edges, 672852 markings/sec, 85 secs
lola: 73512411 markings, 171450015 edges, 633772 markings/sec, 90 secs
lola: 76770581 markings, 179047105 edges, 651634 markings/sec, 95 secs
lola: 79998241 markings, 186584886 edges, 645532 markings/sec, 100 secs
lola: 83198409 markings, 194051317 edges, 640034 markings/sec, 105 secs
lola: 86261796 markings, 201195257 edges, 612677 markings/sec, 110 secs
lola: 89422623 markings, 208578507 edges, 632165 markings/sec, 115 secs
lola: 92667381 markings, 216148585 edges, 648952 markings/sec, 120 secs
lola: 95847532 markings, 223560537 edges, 636030 markings/sec, 125 secs
lola: 98922125 markings, 230737935 edges, 614919 markings/sec, 130 secs
lola: 102034283 markings, 237995493 edges, 622432 markings/sec, 135 secs
lola: 105217570 markings, 245435682 edges, 636657 markings/sec, 140 secs
lola: 108325262 markings, 252673437 edges, 621538 markings/sec, 145 secs
lola: 111483902 markings, 260050365 edges, 631728 markings/sec, 150 secs
lola: 114612778 markings, 267353976 edges, 625775 markings/sec, 155 secs
lola: 117750235 markings, 274682638 edges, 627491 markings/sec, 160 secs
lola: 120898611 markings, 282021711 edges, 629675 markings/sec, 165 secs
lola: 124067675 markings, 289424200 edges, 633813 markings/sec, 170 secs
lola: 127216659 markings, 296767591 edges, 629797 markings/sec, 175 secs
lola: 130301218 markings, 303949815 edges, 616912 markings/sec, 180 secs
lola: 133405974 markings, 311191124 edges, 620951 markings/sec, 185 secs
lola: 136504740 markings, 318426593 edges, 619753 markings/sec, 190 secs
lola: 139548300 markings, 325526559 edges, 608712 markings/sec, 195 secs
lola: 142557548 markings, 332553801 edges, 601850 markings/sec, 200 secs
lola: 145568345 markings, 339584124 edges, 602159 markings/sec, 205 secs
lola: 148458874 markings, 346333109 edges, 578106 markings/sec, 210 secs
lola: 151534053 markings, 353492221 edges, 615036 markings/sec, 215 secs
lola: 154580043 markings, 360601264 edges, 609198 markings/sec, 220 secs
lola: 157591574 markings, 367634694 edges, 602306 markings/sec, 225 secs
lola: 160581381 markings, 374619546 edges, 597961 markings/sec, 230 secs
lola: 163557862 markings, 381556255 edges, 595296 markings/sec, 235 secs
lola: 166578973 markings, 388608302 edges, 604222 markings/sec, 240 secs
lola: 169564768 markings, 395576497 edges, 597159 markings/sec, 245 secs
lola: 172438206 markings, 402280510 edges, 574688 markings/sec, 250 secs
lola: 175427368 markings, 409244313 edges, 597832 markings/sec, 255 secs
lola: 178374243 markings, 416119159 edges, 589375 markings/sec, 260 secs
lola: 181351154 markings, 423084117 edges, 595382 markings/sec, 265 secs
lola: 184335681 markings, 430030981 edges, 596905 markings/sec, 270 secs
lola: 187251803 markings, 436842621 edges, 583224 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: 3648717 markings, 14231430 edges, 729743 markings/sec, 0 secs
lola: 7113892 markings, 27987583 edges, 693035 markings/sec, 5 secs
lola: 10500873 markings, 41448943 edges, 677396 markings/sec, 10 secs
lola: 13894455 markings, 54946294 edges, 678716 markings/sec, 15 secs
lola: 17389752 markings, 68853885 edges, 699059 markings/sec, 20 secs
lola: 20835023 markings, 82567211 edges, 689054 markings/sec, 25 secs
lola: 24238351 markings, 96117698 edges, 680666 markings/sec, 30 secs
lola: 27591720 markings, 109471270 edges, 670674 markings/sec, 35 secs
lola: 30933833 markings, 122782626 edges, 668423 markings/sec, 40 secs
lola: 34221037 markings, 135877874 edges, 657441 markings/sec, 45 secs
lola: 37546058 markings, 149124721 edges, 665004 markings/sec, 50 secs
lola: 40890767 markings, 162452376 edges, 668942 markings/sec, 55 secs
lola: 44265279 markings, 175900214 edges, 674902 markings/sec, 60 secs
lola: 47645647 markings, 189371086 edges, 676074 markings/sec, 65 secs
lola: 51000703 markings, 202743557 edges, 671011 markings/sec, 70 secs
lola: 54252439 markings, 215705633 edges, 650347 markings/sec, 75 secs
lola: 57557134 markings, 228878333 edges, 660939 markings/sec, 80 secs
lola: 60751676 markings, 241613791 edges, 638908 markings/sec, 85 secs
lola: 63943340 markings, 254338275 edges, 638333 markings/sec, 90 secs
lola: 67139197 markings, 267080215 edges, 639171 markings/sec, 95 secs
lola: 70438405 markings, 280234881 edges, 659842 markings/sec, 100 secs
lola: 73641482 markings, 293007306 edges, 640615 markings/sec, 105 secs
lola: 76877957 markings, 305912549 edges, 647295 markings/sec, 110 secs
lola: 80109797 markings, 318800209 edges, 646368 markings/sec, 115 secs
lola: 83390604 markings, 331884922 edges, 656161 markings/sec, 120 secs
lola: 86620917 markings, 344766799 edges, 646063 markings/sec, 125 secs
lola: 89898939 markings, 357840785 edges, 655604 markings/sec, 130 secs
lola: 93109810 markings, 370647208 edges, 642174 markings/sec, 135 secs
lola: 96338847 markings, 383525733 edges, 645807 markings/sec, 140 secs
lola: 99508773 markings, 396168970 edges, 633985 markings/sec, 145 secs
lola: 102861629 markings, 409543819 edges, 670571 markings/sec, 150 secs
lola: 106149855 markings, 422659436 edges, 657645 markings/sec, 155 secs
lola: 109417282 markings, 435693228 edges, 653485 markings/sec, 160 secs
lola: 112671286 markings, 448672688 edges, 650801 markings/sec, 165 secs
lola: 115924721 markings, 461651522 edges, 650687 markings/sec, 170 secs
lola: 119163746 markings, 474574266 edges, 647805 markings/sec, 175 secs
lola: 122453162 markings, 487696131 edges, 657883 markings/sec, 180 secs
lola: 125649511 markings, 500449235 edges, 639270 markings/sec, 185 secs
lola: 128821451 markings, 513102092 edges, 634388 markings/sec, 190 secs
lola: 131974856 markings, 525684733 edges, 630681 markings/sec, 195 secs
lola: 135122743 markings, 538242692 edges, 629577 markings/sec, 200 secs
lola: 138275476 markings, 550821875 edges, 630547 markings/sec, 205 secs
lola: 141474782 markings, 563587093 edges, 639861 markings/sec, 210 secs
lola: 144707000 markings, 576483668 edges, 646444 markings/sec, 215 secs
lola: 147913760 markings, 589277956 edges, 641352 markings/sec, 220 secs
lola: 150750589 markings, 600598165 edges, 567366 markings/sec, 225 secs
lola: 153882149 markings, 613093133 edges, 626312 markings/sec, 230 secs
lola: 157045526 markings, 625715003 edges, 632675 markings/sec, 235 secs
lola: 160199727 markings, 638302411 edges, 630840 markings/sec, 240 secs
lola: 162978741 markings, 649392417 edges, 555803 markings/sec, 245 secs
lola: 166113160 markings, 661899980 edges, 626884 markings/sec, 250 secs
lola: 169284306 markings, 674554253 edges, 634229 markings/sec, 255 secs
lola: 172424968 markings, 687086202 edges, 628132 markings/sec, 260 secs
lola: 175530354 markings, 699479132 edges, 621077 markings/sec, 265 secs
lola: 178669737 markings, 712007844 edges, 627877 markings/sec, 270 secs
lola: 181764221 markings, 724356611 edges, 618897 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: 3885651 markings, 12158046 edges, 777130 markings/sec, 0 secs
lola: 7478293 markings, 23534326 edges, 718528 markings/sec, 5 secs
lola: 10807560 markings, 34082419 edges, 665853 markings/sec, 10 secs
lola: 14020414 markings, 44253454 edges, 642571 markings/sec, 15 secs
lola: 17094265 markings, 53996155 edges, 614770 markings/sec, 20 secs
lola: 20063132 markings, 63395589 edges, 593773 markings/sec, 25 secs
lola: 23021652 markings, 72759170 edges, 591704 markings/sec, 30 secs
lola: 25940002 markings, 81998485 edges, 583670 markings/sec, 35 secs
lola: 28847996 markings, 91206068 edges, 581599 markings/sec, 40 secs
lola: 31621142 markings, 99988493 edges, 554629 markings/sec, 45 secs
lola: 34534376 markings, 109220844 edges, 582647 markings/sec, 50 secs
lola: 37425825 markings, 118377585 edges, 578290 markings/sec, 55 secs
lola: 40287678 markings, 127432669 edges, 572371 markings/sec, 60 secs
lola: 43086971 markings, 136310860 edges, 559859 markings/sec, 65 secs
lola: 45949956 markings, 145374228 edges, 572597 markings/sec, 70 secs
lola: 48843317 markings, 154531847 edges, 578672 markings/sec, 75 secs
lola: 51691872 markings, 163563586 edges, 569711 markings/sec, 80 secs
lola: 53978888 markings, 170805020 edges, 457403 markings/sec, 85 secs
lola: 56775044 markings, 179644088 edges, 559231 markings/sec, 90 secs
lola: 59554192 markings, 188461207 edges, 555830 markings/sec, 95 secs
lola: 62334664 markings, 197264389 edges, 556094 markings/sec, 100 secs
lola: 65146200 markings, 206155054 edges, 562307 markings/sec, 105 secs
lola: 67907518 markings, 214897921 edges, 552264 markings/sec, 110 secs
lola: 70660538 markings, 223629513 edges, 550604 markings/sec, 115 secs
lola: 73436862 markings, 232409025 edges, 555265 markings/sec, 120 secs
lola: 75899863 markings, 240224398 edges, 492600 markings/sec, 125 secs
lola: 78604784 markings, 248792492 edges, 540984 markings/sec, 130 secs
lola: 81330742 markings, 257421694 edges, 545192 markings/sec, 135 secs
lola: 84022836 markings, 265929881 edges, 538419 markings/sec, 140 secs
lola: 86699514 markings, 274413083 edges, 535336 markings/sec, 145 secs
lola: 89427894 markings, 283052645 edges, 545676 markings/sec, 150 secs
lola: 92179498 markings, 291772754 edges, 550321 markings/sec, 155 secs
lola: 94860205 markings, 300269522 edges, 536141 markings/sec, 160 secs
lola: 97529030 markings, 308700539 edges, 533765 markings/sec, 165 secs
lola: 100256972 markings, 317350449 edges, 545588 markings/sec, 170 secs
lola: 102989750 markings, 326010157 edges, 546556 markings/sec, 175 secs
lola: 105567704 markings, 334176586 edges, 515591 markings/sec, 180 secs
lola: 107752330 markings, 341090087 edges, 436925 markings/sec, 185 secs
lola: 110352872 markings, 349327732 edges, 520108 markings/sec, 190 secs
lola: 112914990 markings, 357438976 edges, 512424 markings/sec, 195 secs
lola: 115256396 markings, 364839419 edges, 468281 markings/sec, 200 secs
lola: 117835608 markings, 373006174 edges, 515842 markings/sec, 205 secs
lola: 120410434 markings, 381160465 edges, 514965 markings/sec, 210 secs
lola: 122959932 markings, 389237076 edges, 509900 markings/sec, 215 secs
lola: 125486718 markings, 397258767 edges, 505357 markings/sec, 220 secs
lola: 128077733 markings, 405445348 edges, 518203 markings/sec, 225 secs
lola: 130687276 markings, 413704304 edges, 521909 markings/sec, 230 secs
lola: 133311652 markings, 422013368 edges, 524875 markings/sec, 235 secs
lola: 135891396 markings, 430204333 edges, 515949 markings/sec, 240 secs
lola: 138422646 markings, 438208718 edges, 506250 markings/sec, 245 secs
lola: 140994212 markings, 446359660 edges, 514313 markings/sec, 250 secs
lola: 143580234 markings, 454543269 edges, 517204 markings/sec, 255 secs
lola: 146158114 markings, 462693531 edges, 515576 markings/sec, 260 secs
lola: 148714236 markings, 470792743 edges, 511224 markings/sec, 265 secs
lola: 151278320 markings, 478935194 edges, 512817 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: 3908204 markings, 12242321 edges, 781641 markings/sec, 0 secs
lola: 7590970 markings, 23897791 edges, 736553 markings/sec, 5 secs
lola: 11013694 markings, 34747809 edges, 684545 markings/sec, 10 secs
lola: 14422816 markings, 45534026 edges, 681824 markings/sec, 15 secs
lola: 17652869 markings, 55760018 edges, 646011 markings/sec, 20 secs
lola: 20764627 markings, 65619785 edges, 622352 markings/sec, 25 secs
lola: 23726364 markings, 75009687 edges, 592347 markings/sec, 30 secs
lola: 26739966 markings, 84529943 edges, 602720 markings/sec, 35 secs
lola: 29657611 markings, 93792434 edges, 583529 markings/sec, 40 secs
lola: 32506917 markings, 102812187 edges, 569861 markings/sec, 45 secs
lola: 35405567 markings, 111990123 edges, 579730 markings/sec, 50 secs
lola: 38314269 markings, 121186176 edges, 581740 markings/sec, 55 secs
lola: 41084139 markings, 129949582 edges, 553974 markings/sec, 60 secs
lola: 43587463 markings, 137904658 edges, 500665 markings/sec, 65 secs
lola: 46389401 markings, 146770048 edges, 560388 markings/sec, 70 secs
lola: 49159459 markings, 155522850 edges, 554012 markings/sec, 75 secs
lola: 51912968 markings, 164244774 edges, 550702 markings/sec, 80 secs
lola: 54596018 markings, 172763789 edges, 536610 markings/sec, 85 secs
lola: 57253753 markings, 181173131 edges, 531547 markings/sec, 90 secs
lola: 59676401 markings, 188835382 edges, 484530 markings/sec, 95 secs
lola: 62335654 markings, 197273297 edges, 531851 markings/sec, 100 secs
lola: 64996431 markings, 205690691 edges, 532155 markings/sec, 105 secs
lola: 67662771 markings, 214151383 edges, 533268 markings/sec, 110 secs
lola: 70316790 markings, 222539122 edges, 530804 markings/sec, 115 secs
lola: 72693575 markings, 230053302 edges, 475357 markings/sec, 120 secs
lola: 75081210 markings, 237611831 edges, 477527 markings/sec, 125 secs
lola: 77377606 markings, 244887335 edges, 459279 markings/sec, 130 secs
lola: 79678852 markings, 252187786 edges, 460249 markings/sec, 135 secs
lola: 81982236 markings, 259492566 edges, 460677 markings/sec, 140 secs
lola: 84271260 markings, 266719459 edges, 457805 markings/sec, 145 secs
lola: 86563798 markings, 273997378 edges, 458508 markings/sec, 150 secs
lola: 88824075 markings, 281152366 edges, 452055 markings/sec, 155 secs
lola: 91056680 markings, 288229504 edges, 446521 markings/sec, 160 secs
lola: 93279504 markings, 295239497 edges, 444565 markings/sec, 165 secs
lola: 95492660 markings, 302243564 edges, 442631 markings/sec, 170 secs
lola: 97713035 markings, 309307192 edges, 444075 markings/sec, 175 secs
lola: 100226774 markings, 317269545 edges, 502748 markings/sec, 180 secs
lola: 102733422 markings, 325174298 edges, 501330 markings/sec, 185 secs
lola: 105208175 markings, 333048870 edges, 494951 markings/sec, 190 secs
lola: 107670842 markings, 340835996 edges, 492533 markings/sec, 195 secs
lola: 110128142 markings, 348627278 edges, 491460 markings/sec, 200 secs
lola: 112583837 markings, 356396024 edges, 491139 markings/sec, 205 secs
lola: 115068011 markings, 364245269 edges, 496835 markings/sec, 210 secs
lola: 117583562 markings, 372196176 edges, 503110 markings/sec, 215 secs
lola: 120039208 markings, 379999823 edges, 491129 markings/sec, 220 secs
lola: 122497720 markings, 387775729 edges, 491702 markings/sec, 225 secs
lola: 124881484 markings, 395330034 edges, 476753 markings/sec, 230 secs
lola: 127299193 markings, 402972608 edges, 483542 markings/sec, 235 secs
lola: 129802933 markings, 410915714 edges, 500748 markings/sec, 240 secs
lola: 131923312 markings, 417612667 edges, 424076 markings/sec, 245 secs
lola: 134412368 markings, 425523225 edges, 497811 markings/sec, 250 secs
lola: 136686438 markings, 432694532 edges, 454814 markings/sec, 255 secs
lola: 138921456 markings, 439772315 edges, 447004 markings/sec, 260 secs
lola: 141107649 markings, 446728953 edges, 437239 markings/sec, 265 secs
lola: 143306905 markings, 453685943 edges, 439851 markings/sec, 270 secs
lola: 145518386 markings, 460677633 edges, 442296 markings/sec, 275 secs
lola: 147720848 markings, 467658181 edges, 440492 markings/sec, 280 secs
lola: 149918517 markings, 474630549 edges, 439534 markings/sec, 285 secs
lola: 151869415 markings, 480760619 edges, 390180 markings/sec, 290 secs
lola: 154083360 markings, 487789044 edges, 442789 markings/sec, 295 secs
lola: 156518073 markings, 495531679 edges, 486943 markings/sec, 300 secs
lola: 158963001 markings, 503267663 edges, 488986 markings/sec, 305 secs
lola: 161426123 markings, 511051491 edges, 492624 markings/sec, 310 secs
lola: 163914624 markings, 518904092 edges, 497700 markings/sec, 315 secs
lola: 166412809 markings, 526839580 edges, 499637 markings/sec, 320 secs
lola: 168874000 markings, 534604852 edges, 492238 markings/sec, 325 secs
lola: 171317574 markings, 542377553 edges, 488715 markings/sec, 330 secs
lola: 173736310 markings, 550058382 edges, 483747 markings/sec, 335 secs
lola: 176172452 markings, 557757296 edges, 487228 markings/sec, 340 secs
lola: 178369975 markings, 564729762 edges, 439505 markings/sec, 345 secs
lola: 180876199 markings, 572669550 edges, 501245 markings/sec, 350 secs
lola: 183350871 markings, 580490339 edges, 494934 markings/sec, 355 secs
lola: 185845171 markings, 588397795 edges, 498860 markings/sec, 360 secs
lola: 188334381 markings, 596252327 edges, 497842 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 375 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 750 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 1494701589128

--------------------
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="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/ERK-PT-010000.tgz
mv 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 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 r028-blw3-149440264200371"
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 ;