Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is Echo-PT-d02r11, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264100245
=====================================================================

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1494684802065


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Echo-PT-d02r11 @ 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: 1993/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 1119 places, 874 transitions, 558 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1736 transition conflict sets
lola: TASK
lola: reading formula from Echo-PT-d02r11-UpperBounds.task
lola: MAX(p842) : MAX(p500) : MAX(p157) : MAX(p55) : MAX(p796) : MAX(p723) : MAX(p890) : MAX(p230) : MAX(p513) : MAX(p1101) : MAX(p249) : MAX(p140) : MAX(p286) : MAX(p499) : MAX(p266) : MAX(p647)
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(p842)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2296466 markings, 2297333 edges, 459293 markings/sec, 0 secs
lola: 4554209 markings, 4557139 edges, 451549 markings/sec, 5 secs
lola: 6772636 markings, 6776176 edges, 443685 markings/sec, 10 secs
lola: 8977399 markings, 8981536 edges, 440953 markings/sec, 15 secs
lola: 11206991 markings, 11211775 edges, 445918 markings/sec, 20 secs
lola: 13457505 markings, 13463149 edges, 450103 markings/sec, 25 secs
lola: 15676288 markings, 15682674 edges, 443757 markings/sec, 30 secs
lola: 17886081 markings, 17893054 edges, 441959 markings/sec, 35 secs
lola: 20039720 markings, 20047263 edges, 430728 markings/sec, 40 secs
lola: 22222849 markings, 22230979 edges, 436626 markings/sec, 45 secs
lola: 24379016 markings, 24387728 edges, 431233 markings/sec, 50 secs
lola: 26560138 markings, 26569443 edges, 436224 markings/sec, 55 secs
lola: 28729313 markings, 28739194 edges, 433835 markings/sec, 60 secs
lola: 30868348 markings, 30878796 edges, 427807 markings/sec, 65 secs
lola: 33050999 markings, 33062036 edges, 436530 markings/sec, 70 secs
lola: 35183805 markings, 35195421 edges, 426561 markings/sec, 75 secs
lola: 37309992 markings, 37322200 edges, 425237 markings/sec, 80 secs
lola: 39470473 markings, 39483273 edges, 432096 markings/sec, 85 secs
lola: 41619762 markings, 41633135 edges, 429858 markings/sec, 90 secs
lola: 43799523 markings, 43813501 edges, 435952 markings/sec, 95 secs
lola: 45957855 markings, 45972431 edges, 431666 markings/sec, 100 secs
lola: 48158995 markings, 48174298 edges, 440228 markings/sec, 105 secs
lola: 50325408 markings, 50341359 edges, 433283 markings/sec, 110 secs
lola: 52499380 markings, 52516001 edges, 434794 markings/sec, 115 secs
lola: 54686933 markings, 54704004 edges, 437511 markings/sec, 120 secs
lola: 56886915 markings, 56904248 edges, 439996 markings/sec, 125 secs
lola: 59076280 markings, 59094195 edges, 437873 markings/sec, 130 secs
lola: 61252790 markings, 61271135 edges, 435302 markings/sec, 135 secs
lola: 63443235 markings, 63462070 edges, 438089 markings/sec, 140 secs
lola: 65612514 markings, 65631979 edges, 433856 markings/sec, 145 secs
lola: 67791698 markings, 67811973 edges, 435837 markings/sec, 150 secs
lola: 69951912 markings, 69973271 edges, 432043 markings/sec, 155 secs
lola: 72103211 markings, 72125031 edges, 430260 markings/sec, 160 secs
lola: 74270811 markings, 74293630 edges, 433520 markings/sec, 165 secs
lola: 76363644 markings, 76392176 edges, 418567 markings/sec, 170 secs
lola: 78452202 markings, 78489465 edges, 417712 markings/sec, 175 secs
lola: 80578937 markings, 80622164 edges, 425347 markings/sec, 180 secs
lola: 82687074 markings, 82736224 edges, 421627 markings/sec, 185 secs
lola: 84740279 markings, 84808224 edges, 410641 markings/sec, 190 secs
lola: 86857760 markings, 86927843 edges, 423496 markings/sec, 195 secs
lola: 88966928 markings, 89047546 edges, 421834 markings/sec, 200 secs
lola: 91044110 markings, 91145068 edges, 415436 markings/sec, 205 secs
lola: 93183151 markings, 93295633 edges, 427808 markings/sec, 210 secs
lola: 95385796 markings, 95503632 edges, 440529 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(p500)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1035981 markings, 1481019 edges, 207196 markings/sec, 0 secs
lola: 2330158 markings, 3251182 edges, 258835 markings/sec, 5 secs
lola: 3643517 markings, 5042697 edges, 262672 markings/sec, 10 secs
lola: 4959504 markings, 6829746 edges, 263197 markings/sec, 15 secs
lola: 6278782 markings, 8624099 edges, 263856 markings/sec, 20 secs
lola: 7583079 markings, 10405711 edges, 260859 markings/sec, 25 secs
lola: 9142955 markings, 12353383 edges, 311975 markings/sec, 30 secs
lola: 10478110 markings, 14134121 edges, 267031 markings/sec, 35 secs
lola: 12113231 markings, 16154846 edges, 327024 markings/sec, 40 secs
lola: 13511746 markings, 18144834 edges, 279703 markings/sec, 45 secs
lola: 14880722 markings, 20141221 edges, 273795 markings/sec, 50 secs
lola: 16744399 markings, 22360018 edges, 372735 markings/sec, 55 secs
lola: 18189632 markings, 24492409 edges, 289047 markings/sec, 60 secs
lola: 19245014 markings, 26171757 edges, 211076 markings/sec, 65 secs
lola: 20318105 markings, 27879905 edges, 214618 markings/sec, 70 secs
lola: 21386082 markings, 29574213 edges, 213595 markings/sec, 75 secs
lola: 22388376 markings, 31318985 edges, 200459 markings/sec, 80 secs
lola: 23599738 markings, 33021439 edges, 242272 markings/sec, 85 secs
lola: 25026838 markings, 34812254 edges, 285420 markings/sec, 90 secs
lola: 26496096 markings, 36618385 edges, 293852 markings/sec, 95 secs
lola: 27964738 markings, 38485152 edges, 293728 markings/sec, 100 secs
lola: 29229226 markings, 40294977 edges, 252898 markings/sec, 105 secs
lola: 29972278 markings, 42100238 edges, 148610 markings/sec, 110 secs
lola: 31259434 markings, 44000908 edges, 257431 markings/sec, 115 secs
lola: 32603512 markings, 45865161 edges, 268816 markings/sec, 120 secs
lola: 34021703 markings, 47739911 edges, 283638 markings/sec, 125 secs
lola: 35431633 markings, 49603515 edges, 281986 markings/sec, 130 secs
lola: 36571458 markings, 51389282 edges, 227965 markings/sec, 135 secs
lola: 37624974 markings, 53057791 edges, 210703 markings/sec, 140 secs
lola: 38685263 markings, 54736110 edges, 212058 markings/sec, 145 secs
lola: 39736719 markings, 56405766 edges, 210291 markings/sec, 150 secs
lola: 40842367 markings, 58228419 edges, 221130 markings/sec, 155 secs
lola: 42063134 markings, 60183332 edges, 244153 markings/sec, 160 secs
lola: 43139234 markings, 61919512 edges, 215220 markings/sec, 165 secs
lola: 44201022 markings, 63613255 edges, 212358 markings/sec, 170 secs
lola: 45256556 markings, 65299836 edges, 211107 markings/sec, 175 secs
lola: 46333438 markings, 67015151 edges, 215376 markings/sec, 180 secs
lola: 47377375 markings, 68678603 edges, 208787 markings/sec, 185 secs
lola: 48413388 markings, 70334469 edges, 207203 markings/sec, 190 secs
lola: 49469299 markings, 72017984 edges, 211182 markings/sec, 195 secs
lola: 50538398 markings, 73722388 edges, 213820 markings/sec, 200 secs
lola: 51612006 markings, 75436693 edges, 214722 markings/sec, 205 secs
lola: 52669156 markings, 77125526 edges, 211430 markings/sec, 210 secs
lola: 53731656 markings, 78822305 edges, 212500 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(p157)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2634538 markings, 2634538 edges, 526908 markings/sec, 0 secs
lola: 5218941 markings, 5218941 edges, 516881 markings/sec, 5 secs
lola: 7813884 markings, 7813884 edges, 518989 markings/sec, 10 secs
lola: 10368421 markings, 10368421 edges, 510907 markings/sec, 15 secs
lola: 12929460 markings, 12929460 edges, 512208 markings/sec, 20 secs
lola: 15422517 markings, 15422517 edges, 498611 markings/sec, 25 secs
lola: 17911414 markings, 17911414 edges, 497779 markings/sec, 30 secs
lola: 20397506 markings, 20397505 edges, 497218 markings/sec, 35 secs
lola: 22937009 markings, 22937009 edges, 507901 markings/sec, 40 secs
lola: 25407766 markings, 25407766 edges, 494151 markings/sec, 45 secs
lola: 27871404 markings, 27871404 edges, 492728 markings/sec, 50 secs
lola: 30319783 markings, 30319783 edges, 489676 markings/sec, 55 secs
lola: 32819749 markings, 32819749 edges, 499993 markings/sec, 60 secs
lola: 35363723 markings, 35363723 edges, 508795 markings/sec, 65 secs
lola: 37854401 markings, 37854401 edges, 498136 markings/sec, 70 secs
lola: 40318240 markings, 40318240 edges, 492768 markings/sec, 75 secs
lola: 42776095 markings, 42776095 edges, 491571 markings/sec, 80 secs
lola: 45268210 markings, 45268210 edges, 498423 markings/sec, 85 secs
lola: 47762787 markings, 47762787 edges, 498915 markings/sec, 90 secs
lola: 50204753 markings, 50204752 edges, 488393 markings/sec, 95 secs
lola: 52694237 markings, 52694237 edges, 497897 markings/sec, 100 secs
lola: 55226479 markings, 55226479 edges, 506448 markings/sec, 105 secs
lola: 57745195 markings, 57745195 edges, 503743 markings/sec, 110 secs
lola: 60237618 markings, 60237617 edges, 498485 markings/sec, 115 secs
lola: 62719628 markings, 62719628 edges, 496402 markings/sec, 120 secs
lola: 65226897 markings, 65226897 edges, 501454 markings/sec, 125 secs
lola: 67764861 markings, 67764861 edges, 507593 markings/sec, 130 secs
lola: 70270015 markings, 70270015 edges, 501031 markings/sec, 135 secs
lola: 72741546 markings, 72741546 edges, 494306 markings/sec, 140 secs
lola: 75192762 markings, 75192762 edges, 490243 markings/sec, 145 secs
lola: 77669387 markings, 77669387 edges, 495325 markings/sec, 150 secs
lola: 80151795 markings, 80151795 edges, 496482 markings/sec, 155 secs
lola: 82603721 markings, 82603721 edges, 490385 markings/sec, 160 secs
lola: 85076522 markings, 85076522 edges, 494560 markings/sec, 165 secs
lola: 87692206 markings, 87692206 edges, 523137 markings/sec, 170 secs
lola: 90248052 markings, 90248052 edges, 511169 markings/sec, 175 secs
lola: 92765965 markings, 92765965 edges, 503583 markings/sec, 180 secs
lola: 95248307 markings, 95248307 edges, 496468 markings/sec, 185 secs
lola: 97745753 markings, 97745753 edges, 499489 markings/sec, 190 secs
lola: 100300685 markings, 100300685 edges, 510986 markings/sec, 195 secs
lola: 102830512 markings, 102830512 edges, 505965 markings/sec, 200 secs
lola: 105343163 markings, 105343163 edges, 502530 markings/sec, 205 secs
lola: 107822864 markings, 107822864 edges, 495940 markings/sec, 210 secs
lola: 110295108 markings, 110295108 edges, 494449 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(p55)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1496145 markings, 1500463 edges, 299229 markings/sec, 0 secs
lola: 2979609 markings, 3006709 edges, 296693 markings/sec, 5 secs
lola: 4497419 markings, 4551786 edges, 303562 markings/sec, 10 secs
lola: 6005768 markings, 6087336 edges, 301670 markings/sec, 15 secs
lola: 7503194 markings, 7612813 edges, 299485 markings/sec, 20 secs
lola: 8981163 markings, 9115704 edges, 295594 markings/sec, 25 secs
lola: 10457025 markings, 10611697 edges, 295172 markings/sec, 30 secs
lola: 11994782 markings, 12176854 edges, 307551 markings/sec, 35 secs
lola: 13520801 markings, 13730193 edges, 305204 markings/sec, 40 secs
lola: 15008972 markings, 15228889 edges, 297634 markings/sec, 45 secs
lola: 16477927 markings, 16745230 edges, 293791 markings/sec, 50 secs
lola: 18027531 markings, 18306039 edges, 309921 markings/sec, 55 secs
lola: 19556666 markings, 19847860 edges, 305827 markings/sec, 60 secs
lola: 21029751 markings, 21351687 edges, 294617 markings/sec, 65 secs
lola: 22410566 markings, 22819519 edges, 276163 markings/sec, 70 secs
lola: 23775460 markings, 24267485 edges, 272979 markings/sec, 75 secs
lola: 25243723 markings, 25746246 edges, 293653 markings/sec, 80 secs
lola: 26676528 markings, 27190886 edges, 286561 markings/sec, 85 secs
lola: 28005489 markings, 28673398 edges, 265792 markings/sec, 90 secs
lola: 29306987 markings, 30181754 edges, 260300 markings/sec, 95 secs
lola: 30617238 markings, 31676297 edges, 262050 markings/sec, 100 secs
lola: 32016466 markings, 33082543 edges, 279846 markings/sec, 105 secs
lola: 33393183 markings, 34468821 edges, 275343 markings/sec, 110 secs
lola: 34758474 markings, 35842323 edges, 273058 markings/sec, 115 secs
lola: 36085451 markings, 37183568 edges, 265395 markings/sec, 120 secs
lola: 37402096 markings, 38523635 edges, 263329 markings/sec, 125 secs
lola: 38763978 markings, 39904100 edges, 272376 markings/sec, 130 secs
lola: 40161717 markings, 41308498 edges, 279548 markings/sec, 135 secs
lola: 41554995 markings, 42708204 edges, 278656 markings/sec, 140 secs
lola: 42935234 markings, 44094793 edges, 276048 markings/sec, 145 secs
lola: 44274233 markings, 45439942 edges, 267800 markings/sec, 150 secs
lola: 45562763 markings, 46733960 edges, 257706 markings/sec, 155 secs
lola: 46861786 markings, 48038468 edges, 259805 markings/sec, 160 secs
lola: 48172803 markings, 49355057 edges, 262203 markings/sec, 165 secs
lola: 49531385 markings, 50719666 edges, 271716 markings/sec, 170 secs
lola: 50851983 markings, 52048246 edges, 264120 markings/sec, 175 secs
lola: 52217162 markings, 53420818 edges, 273036 markings/sec, 180 secs
lola: 53565975 markings, 54777583 edges, 269763 markings/sec, 185 secs
lola: 54915142 markings, 56134420 edges, 269833 markings/sec, 190 secs
lola: 56180560 markings, 57501873 edges, 253084 markings/sec, 195 secs
lola: 57344300 markings, 58884404 edges, 232748 markings/sec, 200 secs
lola: 58437802 markings, 60205586 edges, 218700 markings/sec, 205 secs
lola: 59372968 markings, 61663836 edges, 187033 markings/sec, 210 secs
lola: 60285314 markings, 62973883 edges, 182469 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(p796)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2929559 markings, 2929559 edges, 585912 markings/sec, 0 secs
lola: 5847237 markings, 5847237 edges, 583536 markings/sec, 5 secs
lola: 8731532 markings, 8731531 edges, 576859 markings/sec, 10 secs
lola: 11653379 markings, 11653379 edges, 584369 markings/sec, 15 secs
lola: 14484889 markings, 14484889 edges, 566302 markings/sec, 20 secs
lola: 17264421 markings, 17264421 edges, 555906 markings/sec, 25 secs
lola: 20028558 markings, 20028558 edges, 552827 markings/sec, 30 secs
lola: 22890491 markings, 22890491 edges, 572387 markings/sec, 35 secs
lola: 25798903 markings, 25798903 edges, 581682 markings/sec, 40 secs
lola: 28733625 markings, 28733625 edges, 586944 markings/sec, 45 secs
lola: 31662462 markings, 31662462 edges, 585767 markings/sec, 50 secs
lola: 34547850 markings, 34547850 edges, 577078 markings/sec, 55 secs
lola: 37435464 markings, 37435464 edges, 577523 markings/sec, 60 secs
lola: 40241463 markings, 40241462 edges, 561200 markings/sec, 65 secs
lola: 42970191 markings, 42970191 edges, 545746 markings/sec, 70 secs
lola: 45657478 markings, 45657477 edges, 537457 markings/sec, 75 secs
lola: 48426829 markings, 48426829 edges, 553870 markings/sec, 80 secs
lola: 51182213 markings, 51182213 edges, 551077 markings/sec, 85 secs
lola: 53846849 markings, 53846849 edges, 532927 markings/sec, 90 secs
lola: 56525005 markings, 56525005 edges, 535631 markings/sec, 95 secs
lola: 59118503 markings, 59118503 edges, 518700 markings/sec, 100 secs
lola: 61678043 markings, 61678043 edges, 511908 markings/sec, 105 secs
lola: 64236027 markings, 64236027 edges, 511597 markings/sec, 110 secs
lola: 66931084 markings, 66931084 edges, 539011 markings/sec, 115 secs
lola: 69628116 markings, 69628116 edges, 539406 markings/sec, 120 secs
lola: 72290085 markings, 72290085 edges, 532394 markings/sec, 125 secs
lola: 75032136 markings, 75032136 edges, 548410 markings/sec, 130 secs
lola: 77854622 markings, 77854622 edges, 564497 markings/sec, 135 secs
lola: 80651782 markings, 80651782 edges, 559432 markings/sec, 140 secs
lola: 83444681 markings, 83444681 edges, 558580 markings/sec, 145 secs
lola: 86191830 markings, 86191830 edges, 549430 markings/sec, 150 secs
lola: 88961921 markings, 88961921 edges, 554018 markings/sec, 155 secs
lola: 91756747 markings, 91756746 edges, 558965 markings/sec, 160 secs
lola: 94462428 markings, 94462428 edges, 541136 markings/sec, 165 secs
lola: 97167430 markings, 97167430 edges, 541000 markings/sec, 170 secs
lola: 99865167 markings, 99865167 edges, 539547 markings/sec, 175 secs
lola: 102601851 markings, 102601851 edges, 547337 markings/sec, 180 secs
lola: 105343329 markings, 105343329 edges, 548296 markings/sec, 185 secs
lola: 108109878 markings, 108109878 edges, 553310 markings/sec, 190 secs
lola: 110748377 markings, 110748377 edges, 527700 markings/sec, 195 secs
lola: 113507172 markings, 113507172 edges, 551759 markings/sec, 200 secs
lola: 116285675 markings, 116285675 edges, 555701 markings/sec, 205 secs
lola: 119089924 markings, 119089924 edges, 560850 markings/sec, 210 secs
lola: 121904384 markings, 121904384 edges, 562892 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(p723)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1672268 markings, 1678292 edges, 334454 markings/sec, 0 secs
lola: 3256485 markings, 3269510 edges, 316843 markings/sec, 5 secs
lola: 4792537 markings, 4809612 edges, 307210 markings/sec, 10 secs
lola: 6322579 markings, 6361397 edges, 306008 markings/sec, 15 secs
lola: 7806229 markings, 7883904 edges, 296730 markings/sec, 20 secs
lola: 9376164 markings, 9479412 edges, 313987 markings/sec, 25 secs
lola: 10975726 markings, 11082392 edges, 319912 markings/sec, 30 secs
lola: 12556775 markings, 12667126 edges, 316210 markings/sec, 35 secs
lola: 14130865 markings, 14244908 edges, 314818 markings/sec, 40 secs
lola: 15710859 markings, 15830766 edges, 315999 markings/sec, 45 secs
lola: 17281420 markings, 17408972 edges, 314112 markings/sec, 50 secs
lola: 18828110 markings, 18963552 edges, 309338 markings/sec, 55 secs
lola: 20363977 markings, 20507670 edges, 307173 markings/sec, 60 secs
lola: 21933818 markings, 22084331 edges, 313968 markings/sec, 65 secs
lola: 23480170 markings, 23636640 edges, 309270 markings/sec, 70 secs
lola: 25020876 markings, 25184683 edges, 308141 markings/sec, 75 secs
lola: 26579514 markings, 26750365 edges, 311728 markings/sec, 80 secs
lola: 28111923 markings, 28290934 edges, 306482 markings/sec, 85 secs
lola: 29694636 markings, 29879315 edges, 316543 markings/sec, 90 secs
lola: 31299226 markings, 31486834 edges, 320918 markings/sec, 95 secs
lola: 32876314 markings, 33066864 edges, 315418 markings/sec, 100 secs
lola: 34467853 markings, 34661482 edges, 318308 markings/sec, 105 secs
lola: 36063622 markings, 36260348 edges, 319154 markings/sec, 110 secs
lola: 37648545 markings, 37848293 edges, 316985 markings/sec, 115 secs
lola: 39215766 markings, 39418507 edges, 313444 markings/sec, 120 secs
lola: 40780758 markings, 40986483 edges, 312998 markings/sec, 125 secs
lola: 42344066 markings, 42552998 edges, 312662 markings/sec, 130 secs
lola: 43905499 markings, 44117329 edges, 312287 markings/sec, 135 secs
lola: 45464909 markings, 45679800 edges, 311882 markings/sec, 140 secs
lola: 47023272 markings, 47241362 edges, 311673 markings/sec, 145 secs
lola: 48582459 markings, 48803389 edges, 311837 markings/sec, 150 secs
lola: 50135926 markings, 50359893 edges, 310693 markings/sec, 155 secs
lola: 51681426 markings, 51908520 edges, 309100 markings/sec, 160 secs
lola: 53254217 markings, 53485139 edges, 314558 markings/sec, 165 secs
lola: 54812661 markings, 55046936 edges, 311689 markings/sec, 170 secs
lola: 56349974 markings, 56587660 edges, 307463 markings/sec, 175 secs
lola: 57895706 markings, 58137177 edges, 309146 markings/sec, 180 secs
lola: 59466131 markings, 59711509 edges, 314085 markings/sec, 185 secs
lola: 61025996 markings, 61274751 edges, 311973 markings/sec, 190 secs
lola: 62548334 markings, 62800546 edges, 304468 markings/sec, 195 secs
lola: 64166233 markings, 64422629 edges, 323580 markings/sec, 200 secs
lola: 65768362 markings, 66028729 edges, 320426 markings/sec, 205 secs
lola: 67371276 markings, 67635946 edges, 320583 markings/sec, 210 secs
lola: 68961696 markings, 69229799 edges, 318084 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(p890)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1474529 markings, 2468526 edges, 294906 markings/sec, 0 secs
lola: 2709809 markings, 4737601 edges, 247056 markings/sec, 5 secs
lola: 3951954 markings, 7058442 edges, 248429 markings/sec, 10 secs
lola: 5131019 markings, 9275471 edges, 235813 markings/sec, 15 secs
lola: 6234352 markings, 11545636 edges, 220667 markings/sec, 20 secs
lola: 7451834 markings, 13950594 edges, 243496 markings/sec, 25 secs
lola: 8652081 markings, 16039933 edges, 240049 markings/sec, 30 secs
lola: 9721723 markings, 18020732 edges, 213928 markings/sec, 35 secs
lola: 10884319 markings, 20193712 edges, 232519 markings/sec, 40 secs
lola: 11990726 markings, 22274079 edges, 221281 markings/sec, 45 secs
lola: 13054219 markings, 24320593 edges, 212699 markings/sec, 50 secs
lola: 14085671 markings, 26640485 edges, 206290 markings/sec, 55 secs
lola: 15561811 markings, 29125159 edges, 295228 markings/sec, 60 secs
lola: 16794901 markings, 31402529 edges, 246618 markings/sec, 65 secs
lola: 17995990 markings, 33646559 edges, 240218 markings/sec, 70 secs
lola: 19159773 markings, 35830624 edges, 232757 markings/sec, 75 secs
lola: 20275514 markings, 37993177 edges, 223148 markings/sec, 80 secs
lola: 21398135 markings, 40437087 edges, 224524 markings/sec, 85 secs
lola: 22636504 markings, 42736561 edges, 247674 markings/sec, 90 secs
lola: 23880363 markings, 45079960 edges, 248772 markings/sec, 95 secs
lola: 25633972 markings, 47256114 edges, 350722 markings/sec, 100 secs
lola: 27480522 markings, 49313180 edges, 369310 markings/sec, 105 secs
lola: 29197230 markings, 51478746 edges, 343342 markings/sec, 110 secs
lola: 30985920 markings, 53501828 edges, 357738 markings/sec, 115 secs
lola: 32735602 markings, 55526688 edges, 349936 markings/sec, 120 secs
lola: 34455616 markings, 57535042 edges, 344003 markings/sec, 125 secs
lola: 36139141 markings, 59549685 edges, 336705 markings/sec, 130 secs
lola: 37847937 markings, 61655009 edges, 341759 markings/sec, 135 secs
lola: 39598176 markings, 63593014 edges, 350048 markings/sec, 140 secs
lola: 41369397 markings, 65538268 edges, 354244 markings/sec, 145 secs
lola: 43023793 markings, 67597086 edges, 330879 markings/sec, 150 secs
lola: 44790944 markings, 69554318 edges, 353430 markings/sec, 155 secs
lola: 46550001 markings, 71471162 edges, 351811 markings/sec, 160 secs
lola: 48270191 markings, 73463085 edges, 344038 markings/sec, 165 secs
lola: 50015972 markings, 75381915 edges, 349156 markings/sec, 170 secs
lola: 51784435 markings, 77393327 edges, 353693 markings/sec, 175 secs
lola: 53560963 markings, 79398722 edges, 355306 markings/sec, 180 secs
lola: 54962839 markings, 81626495 edges, 280375 markings/sec, 185 secs
lola: 56183768 markings, 83870452 edges, 244186 markings/sec, 190 secs
lola: 57662387 markings, 86112509 edges, 295724 markings/sec, 195 secs
lola: 59411535 markings, 88107506 edges, 349830 markings/sec, 200 secs
lola: 61071826 markings, 90180096 edges, 332058 markings/sec, 205 secs
lola: 62833346 markings, 92197895 edges, 352304 markings/sec, 210 secs
lola: 64606598 markings, 94157073 edges, 354650 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p230)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2950473 markings, 2950473 edges, 590095 markings/sec, 0 secs
lola: 5872109 markings, 5872109 edges, 584327 markings/sec, 5 secs
lola: 8739631 markings, 8739631 edges, 573504 markings/sec, 10 secs
lola: 11655257 markings, 11655257 edges, 583125 markings/sec, 15 secs
lola: 14532235 markings, 14532235 edges, 575396 markings/sec, 20 secs
lola: 17405220 markings, 17405220 edges, 574597 markings/sec, 25 secs
lola: 20261154 markings, 20261154 edges, 571187 markings/sec, 30 secs
lola: 23095345 markings, 23095345 edges, 566838 markings/sec, 35 secs
lola: 25935433 markings, 25935433 edges, 568018 markings/sec, 40 secs
lola: 28793873 markings, 28793873 edges, 571688 markings/sec, 45 secs
lola: 31591288 markings, 31591288 edges, 559483 markings/sec, 50 secs
lola: 34300943 markings, 34300943 edges, 541931 markings/sec, 55 secs
lola: 36972124 markings, 36972124 edges, 534236 markings/sec, 60 secs
lola: 39699644 markings, 39699644 edges, 545504 markings/sec, 65 secs
lola: 42390009 markings, 42390009 edges, 538073 markings/sec, 70 secs
lola: 45165378 markings, 45165378 edges, 555074 markings/sec, 75 secs
lola: 47887930 markings, 47887930 edges, 544510 markings/sec, 80 secs
lola: 50638990 markings, 50638990 edges, 550212 markings/sec, 85 secs
lola: 53475036 markings, 53475036 edges, 567209 markings/sec, 90 secs
lola: 56315067 markings, 56315067 edges, 568006 markings/sec, 95 secs
lola: 59169746 markings, 59169746 edges, 570936 markings/sec, 100 secs
lola: 62025385 markings, 62025385 edges, 571128 markings/sec, 105 secs
lola: 64868929 markings, 64868929 edges, 568709 markings/sec, 110 secs
lola: 67753872 markings, 67753872 edges, 576989 markings/sec, 115 secs
lola: 70654057 markings, 70654057 edges, 580037 markings/sec, 120 secs
lola: 73589430 markings, 73589430 edges, 587075 markings/sec, 125 secs
lola: 76514773 markings, 76514773 edges, 585069 markings/sec, 130 secs
lola: 79424370 markings, 79424370 edges, 581919 markings/sec, 135 secs
lola: 82311432 markings, 82311432 edges, 577412 markings/sec, 140 secs
lola: 85224455 markings, 85224455 edges, 582605 markings/sec, 145 secs
lola: 88043429 markings, 88043429 edges, 563795 markings/sec, 150 secs
lola: 90833460 markings, 90833460 edges, 558006 markings/sec, 155 secs
lola: 93624810 markings, 93624809 edges, 558270 markings/sec, 160 secs
lola: 96406828 markings, 96406828 edges, 556404 markings/sec, 165 secs
lola: 99255424 markings, 99255424 edges, 569719 markings/sec, 170 secs
lola: 102120948 markings, 102120947 edges, 573105 markings/sec, 175 secs
lola: 105039417 markings, 105039417 edges, 583694 markings/sec, 180 secs
lola: 107925080 markings, 107925080 edges, 577133 markings/sec, 185 secs
lola: 110824914 markings, 110824914 edges, 579967 markings/sec, 190 secs
lola: 113651609 markings, 113651609 edges, 565339 markings/sec, 195 secs
lola: 116463890 markings, 116463890 edges, 562456 markings/sec, 200 secs
lola: 119252420 markings, 119252420 edges, 557706 markings/sec, 205 secs
lola: 122044966 markings, 122044966 edges, 558509 markings/sec, 210 secs
lola: 124811126 markings, 124811126 edges, 553232 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p513)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1881662 markings, 1895405 edges, 376332 markings/sec, 0 secs
lola: 3752961 markings, 3775387 edges, 374260 markings/sec, 5 secs
lola: 5608468 markings, 5647186 edges, 371101 markings/sec, 10 secs
lola: 7429427 markings, 7477903 edges, 364192 markings/sec, 15 secs
lola: 9094275 markings, 9210671 edges, 332970 markings/sec, 20 secs
lola: 10882082 markings, 11016289 edges, 357561 markings/sec, 25 secs
lola: 12642538 markings, 12794928 edges, 352091 markings/sec, 30 secs
lola: 14426257 markings, 14596284 edges, 356744 markings/sec, 35 secs
lola: 16230232 markings, 16406972 edges, 360795 markings/sec, 40 secs
lola: 18043158 markings, 18226700 edges, 362585 markings/sec, 45 secs
lola: 19848759 markings, 20039268 edges, 361120 markings/sec, 50 secs
lola: 21660556 markings, 21858123 edges, 362359 markings/sec, 55 secs
lola: 23469231 markings, 23674470 edges, 361735 markings/sec, 60 secs
lola: 25279307 markings, 25491907 edges, 362015 markings/sec, 65 secs
lola: 27094691 markings, 27314485 edges, 363077 markings/sec, 70 secs
lola: 28931390 markings, 29158473 edges, 367340 markings/sec, 75 secs
lola: 30740988 markings, 30975006 edges, 361920 markings/sec, 80 secs
lola: 32566620 markings, 32808576 edges, 365126 markings/sec, 85 secs
lola: 34367972 markings, 34617298 edges, 360270 markings/sec, 90 secs
lola: 36173012 markings, 36430128 edges, 361008 markings/sec, 95 secs
lola: 37975089 markings, 38242842 edges, 360415 markings/sec, 100 secs
lola: 39772030 markings, 40047758 edges, 359388 markings/sec, 105 secs
lola: 41554561 markings, 41838898 edges, 356506 markings/sec, 110 secs
lola: 43334734 markings, 43629435 edges, 356035 markings/sec, 115 secs
lola: 45126450 markings, 45429612 edges, 358343 markings/sec, 120 secs
lola: 46906022 markings, 47217664 edges, 355914 markings/sec, 125 secs
lola: 48697067 markings, 49018409 edges, 358209 markings/sec, 130 secs
lola: 50208777 markings, 50538829 edges, 302342 markings/sec, 135 secs
lola: 51263993 markings, 52445318 edges, 211043 markings/sec, 140 secs
lola: 53092918 markings, 54302893 edges, 365785 markings/sec, 145 secs
lola: 54916650 markings, 56155252 edges, 364746 markings/sec, 150 secs
lola: 56726178 markings, 57993379 edges, 361906 markings/sec, 155 secs
lola: 58536769 markings, 59832660 edges, 362118 markings/sec, 160 secs
lola: 60335143 markings, 61660474 edges, 359675 markings/sec, 165 secs
lola: 62143450 markings, 63497590 edges, 361661 markings/sec, 170 secs
lola: 63936405 markings, 65319061 edges, 358591 markings/sec, 175 secs
lola: 65768380 markings, 67180111 edges, 366395 markings/sec, 180 secs
lola: 67571135 markings, 69012023 edges, 360551 markings/sec, 185 secs
lola: 69365304 markings, 70835200 edges, 358834 markings/sec, 190 secs
lola: 71146349 markings, 72645320 edges, 356209 markings/sec, 195 secs
lola: 72921670 markings, 74452843 edges, 355064 markings/sec, 200 secs
lola: 74700340 markings, 76260226 edges, 355734 markings/sec, 205 secs
lola: 76437103 markings, 78027088 edges, 347353 markings/sec, 210 secs
lola: 78234480 markings, 79855544 edges, 359475 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1101)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 10 will run for 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p249)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1675624 markings, 1680429 edges, 335125 markings/sec, 0 secs
lola: 3333143 markings, 3341325 edges, 331504 markings/sec, 5 secs
lola: 4985406 markings, 4996567 edges, 330453 markings/sec, 10 secs
lola: 6591237 markings, 6605345 edges, 321166 markings/sec, 15 secs
lola: 8204759 markings, 8222126 edges, 322704 markings/sec, 20 secs
lola: 9805522 markings, 9825757 edges, 320153 markings/sec, 25 secs
lola: 11415086 markings, 11438204 edges, 321913 markings/sec, 30 secs
lola: 13029544 markings, 13055565 edges, 322892 markings/sec, 35 secs
lola: 14633236 markings, 14662148 edges, 320738 markings/sec, 40 secs
lola: 16230545 markings, 16262317 edges, 319462 markings/sec, 45 secs
lola: 17844918 markings, 17879588 edges, 322875 markings/sec, 50 secs
lola: 19442479 markings, 19480026 edges, 319512 markings/sec, 55 secs
lola: 21041973 markings, 21082425 edges, 319899 markings/sec, 60 secs
lola: 22655115 markings, 22698461 edges, 322628 markings/sec, 65 secs
lola: 24257721 markings, 24303967 edges, 320521 markings/sec, 70 secs
lola: 25844305 markings, 25893490 edges, 317317 markings/sec, 75 secs
lola: 27457575 markings, 27509783 edges, 322654 markings/sec, 80 secs
lola: 29068060 markings, 29123253 edges, 322097 markings/sec, 85 secs
lola: 30664778 markings, 30726733 edges, 319344 markings/sec, 90 secs
lola: 32246706 markings, 32316890 edges, 316386 markings/sec, 95 secs
lola: 33811133 markings, 33885827 edges, 312885 markings/sec, 100 secs
lola: 35367283 markings, 35465326 edges, 311230 markings/sec, 105 secs
lola: 36948500 markings, 37057221 edges, 316243 markings/sec, 110 secs
lola: 38524231 markings, 38636558 edges, 315146 markings/sec, 115 secs
lola: 40112116 markings, 40227774 edges, 317577 markings/sec, 120 secs
lola: 41688477 markings, 41807843 edges, 315272 markings/sec, 125 secs
lola: 43246969 markings, 43369340 edges, 311698 markings/sec, 130 secs
lola: 44822274 markings, 44947692 edges, 315061 markings/sec, 135 secs
lola: 46390547 markings, 46519312 edges, 313655 markings/sec, 140 secs
lola: 47967684 markings, 48101850 edges, 315427 markings/sec, 145 secs
lola: 49520599 markings, 49659152 edges, 310583 markings/sec, 150 secs
lola: 51088561 markings, 51232879 edges, 313592 markings/sec, 155 secs
lola: 52662679 markings, 52812096 edges, 314824 markings/sec, 160 secs
lola: 54212379 markings, 54369520 edges, 309940 markings/sec, 165 secs
lola: 55709808 markings, 55874977 edges, 299486 markings/sec, 170 secs
lola: 57120710 markings, 57289412 edges, 282180 markings/sec, 175 secs
lola: 58519147 markings, 58709189 edges, 279687 markings/sec, 180 secs
lola: 59981320 markings, 60184021 edges, 292435 markings/sec, 185 secs
lola: 61495096 markings, 61701300 edges, 302755 markings/sec, 190 secs
lola: 63035357 markings, 63244685 edges, 308052 markings/sec, 195 secs
lola: 64553344 markings, 64766618 edges, 303597 markings/sec, 200 secs
lola: 66049342 markings, 66265441 edges, 299200 markings/sec, 205 secs
lola: 67547953 markings, 67766947 edges, 299722 markings/sec, 210 secs
lola: 69106551 markings, 69328626 edges, 311720 markings/sec, 215 secs
lola: 70628214 markings, 70854365 edges, 304333 markings/sec, 220 secs
lola: 72146608 markings, 72377722 edges, 303679 markings/sec, 225 secs
lola: 73669470 markings, 73905948 edges, 304572 markings/sec, 230 secs
lola: 75178974 markings, 75419919 edges, 301901 markings/sec, 235 secs
lola: 76718950 markings, 76965294 edges, 307995 markings/sec, 240 secs
lola: 78197511 markings, 78451266 edges, 295712 markings/sec, 245 secs
lola: 79592320 markings, 79906606 edges, 278962 markings/sec, 250 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p140)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2680958 markings, 2680958 edges, 536192 markings/sec, 0 secs
lola: 5299274 markings, 5299274 edges, 523663 markings/sec, 5 secs
lola: 7847248 markings, 7847248 edges, 509595 markings/sec, 10 secs
lola: 10441329 markings, 10441328 edges, 518816 markings/sec, 15 secs
lola: 12972625 markings, 12972625 edges, 506259 markings/sec, 20 secs
lola: 15513806 markings, 15513806 edges, 508236 markings/sec, 25 secs
lola: 17943560 markings, 17943560 edges, 485951 markings/sec, 30 secs
lola: 20186709 markings, 20186709 edges, 448630 markings/sec, 35 secs
lola: 22746057 markings, 22746057 edges, 511870 markings/sec, 40 secs
lola: 25188449 markings, 25188449 edges, 488478 markings/sec, 45 secs
lola: 27662825 markings, 27662825 edges, 494875 markings/sec, 50 secs
lola: 30022252 markings, 30022252 edges, 471885 markings/sec, 55 secs
lola: 32477967 markings, 32477967 edges, 491143 markings/sec, 60 secs
lola: 34957270 markings, 34957270 edges, 495861 markings/sec, 65 secs
lola: 37408179 markings, 37408179 edges, 490182 markings/sec, 70 secs
lola: 39913699 markings, 39913699 edges, 501104 markings/sec, 75 secs
lola: 42298362 markings, 42298362 edges, 476933 markings/sec, 80 secs
lola: 44724645 markings, 44724645 edges, 485257 markings/sec, 85 secs
lola: 47243096 markings, 47243096 edges, 503690 markings/sec, 90 secs
lola: 49658485 markings, 49658485 edges, 483078 markings/sec, 95 secs
lola: 52100476 markings, 52100476 edges, 488398 markings/sec, 100 secs
lola: 54691571 markings, 54691571 edges, 518219 markings/sec, 105 secs
lola: 57261089 markings, 57261089 edges, 513904 markings/sec, 110 secs
lola: 59825177 markings, 59825177 edges, 512818 markings/sec, 115 secs
lola: 62280951 markings, 62280951 edges, 491155 markings/sec, 120 secs
lola: 64723998 markings, 64723998 edges, 488609 markings/sec, 125 secs
lola: 67245507 markings, 67245507 edges, 504302 markings/sec, 130 secs
lola: 69716437 markings, 69716436 edges, 494186 markings/sec, 135 secs
lola: 72254352 markings, 72254351 edges, 507583 markings/sec, 140 secs
lola: 74663847 markings, 74663847 edges, 481899 markings/sec, 145 secs
lola: 77127115 markings, 77127115 edges, 492654 markings/sec, 150 secs
lola: 79629493 markings, 79629492 edges, 500476 markings/sec, 155 secs
lola: 82064162 markings, 82064162 edges, 486934 markings/sec, 160 secs
lola: 84537915 markings, 84537915 edges, 494751 markings/sec, 165 secs
lola: 86984917 markings, 86984917 edges, 489400 markings/sec, 170 secs
lola: 89312666 markings, 89312665 edges, 465550 markings/sec, 175 secs
lola: 91827137 markings, 91827137 edges, 502894 markings/sec, 180 secs
lola: 94273381 markings, 94273381 edges, 489249 markings/sec, 185 secs
lola: 96721670 markings, 96721670 edges, 489658 markings/sec, 190 secs
lola: 99202076 markings, 99202076 edges, 496081 markings/sec, 195 secs
lola: 101660411 markings, 101660411 edges, 491667 markings/sec, 200 secs
lola: 104107875 markings, 104107875 edges, 489493 markings/sec, 205 secs
lola: 106508755 markings, 106508755 edges, 480176 markings/sec, 210 secs
lola: 108911047 markings, 108911047 edges, 480458 markings/sec, 215 secs
lola: 111339223 markings, 111339223 edges, 485635 markings/sec, 220 secs
lola: 113746542 markings, 113746542 edges, 481464 markings/sec, 225 secs
lola: 116117522 markings, 116117522 edges, 474196 markings/sec, 230 secs
lola: 118554028 markings, 118554028 edges, 487301 markings/sec, 235 secs
lola: 121029940 markings, 121029940 edges, 495182 markings/sec, 240 secs
lola: 123482907 markings, 123482907 edges, 490593 markings/sec, 245 secs
lola: 125914461 markings, 125914461 edges, 486311 markings/sec, 250 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p286)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1250738 markings, 2274743 edges, 250148 markings/sec, 0 secs
lola: 2512906 markings, 4241749 edges, 252434 markings/sec, 5 secs
lola: 3739465 markings, 6395771 edges, 245312 markings/sec, 10 secs
lola: 4943731 markings, 8367122 edges, 240853 markings/sec, 15 secs
lola: 6175334 markings, 10339686 edges, 246321 markings/sec, 20 secs
lola: 7339038 markings, 12314637 edges, 232741 markings/sec, 25 secs
lola: 8473747 markings, 14280336 edges, 226942 markings/sec, 30 secs
lola: 9688569 markings, 16273618 edges, 242964 markings/sec, 35 secs
lola: 10920519 markings, 18267352 edges, 246390 markings/sec, 40 secs
lola: 12104408 markings, 20214317 edges, 236778 markings/sec, 45 secs
lola: 13331452 markings, 22246852 edges, 245409 markings/sec, 50 secs
lola: 14488789 markings, 24127155 edges, 231467 markings/sec, 55 secs
lola: 15503182 markings, 25828420 edges, 202879 markings/sec, 60 secs
lola: 16762575 markings, 27843929 edges, 251879 markings/sec, 65 secs
lola: 17968722 markings, 29754005 edges, 241229 markings/sec, 70 secs
lola: 19025380 markings, 31606591 edges, 211332 markings/sec, 75 secs
lola: 20172305 markings, 33516813 edges, 229385 markings/sec, 80 secs
lola: 21254286 markings, 35480818 edges, 216396 markings/sec, 85 secs
lola: 22473525 markings, 37437697 edges, 243848 markings/sec, 90 secs
lola: 23609246 markings, 39391684 edges, 227144 markings/sec, 95 secs
lola: 24834031 markings, 41365763 edges, 244957 markings/sec, 100 secs
lola: 25941518 markings, 43387410 edges, 221497 markings/sec, 105 secs
lola: 26769264 markings, 45479478 edges, 165549 markings/sec, 110 secs
lola: 27550065 markings, 47674860 edges, 156160 markings/sec, 115 secs
lola: 28454082 markings, 49780024 edges, 180803 markings/sec, 120 secs
lola: 29161938 markings, 51842088 edges, 141571 markings/sec, 125 secs
lola: 30044195 markings, 53599348 edges, 176451 markings/sec, 130 secs
lola: 31125647 markings, 55374064 edges, 216290 markings/sec, 135 secs
lola: 32023142 markings, 57098324 edges, 179499 markings/sec, 140 secs
lola: 33071349 markings, 59123076 edges, 209641 markings/sec, 145 secs
lola: 33876065 markings, 61381453 edges, 160943 markings/sec, 150 secs
lola: 34665979 markings, 63698009 edges, 157983 markings/sec, 155 secs
lola: 35917944 markings, 65875562 edges, 250393 markings/sec, 160 secs
lola: 37166624 markings, 68048564 edges, 249736 markings/sec, 165 secs
lola: 38423972 markings, 70235187 edges, 251470 markings/sec, 170 secs
lola: 39677834 markings, 72417088 edges, 250772 markings/sec, 175 secs
lola: 40931511 markings, 74599691 edges, 250735 markings/sec, 180 secs
lola: 42188400 markings, 76784931 edges, 251378 markings/sec, 185 secs
lola: 43438572 markings, 78955910 edges, 250034 markings/sec, 190 secs
lola: 44634941 markings, 81058113 edges, 239274 markings/sec, 195 secs
lola: 45504095 markings, 82982162 edges, 173831 markings/sec, 200 secs
lola: 46327935 markings, 85230299 edges, 164768 markings/sec, 205 secs
lola: 47295086 markings, 86994218 edges, 193430 markings/sec, 210 secs
lola: 48292831 markings, 88685042 edges, 199549 markings/sec, 215 secs
lola: 49232328 markings, 90282960 edges, 187899 markings/sec, 220 secs
lola: 50392109 markings, 92034548 edges, 231956 markings/sec, 225 secs
lola: 51333218 markings, 93638305 edges, 188222 markings/sec, 230 secs
lola: 52244123 markings, 95437949 edges, 182181 markings/sec, 235 secs
lola: 53198003 markings, 97042929 edges, 190776 markings/sec, 240 secs
lola: 54226306 markings, 98754174 edges, 205661 markings/sec, 245 secs
lola: 55145287 markings, 100601127 edges, 183796 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p499)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1920080 markings, 1966295 edges, 384016 markings/sec, 0 secs
lola: 3810350 markings, 3902282 edges, 378054 markings/sec, 5 secs
lola: 5696008 markings, 5833339 edges, 377132 markings/sec, 10 secs
lola: 7559467 markings, 7741682 edges, 372692 markings/sec, 15 secs
lola: 9423851 markings, 9650934 edges, 372877 markings/sec, 20 secs
lola: 11271120 markings, 11542774 edges, 369454 markings/sec, 25 secs
lola: 13093834 markings, 13409367 edges, 364543 markings/sec, 30 secs
lola: 14927782 markings, 15287451 edges, 366790 markings/sec, 35 secs
lola: 16803929 markings, 17208758 edges, 375229 markings/sec, 40 secs
lola: 18666347 markings, 19115997 edges, 372484 markings/sec, 45 secs
lola: 20503079 markings, 20996949 edges, 367346 markings/sec, 50 secs
lola: 22323470 markings, 22861137 edges, 364078 markings/sec, 55 secs
lola: 24137772 markings, 24719132 edges, 362860 markings/sec, 60 secs
lola: 25986742 markings, 26612631 edges, 369794 markings/sec, 65 secs
lola: 27827391 markings, 28497587 edges, 368130 markings/sec, 70 secs
lola: 29649214 markings, 30363247 edges, 364365 markings/sec, 75 secs
lola: 31486916 markings, 32245230 edges, 367540 markings/sec, 80 secs
lola: 33315855 markings, 34118161 edges, 365788 markings/sec, 85 secs
lola: 35129508 markings, 35975497 edges, 362731 markings/sec, 90 secs
lola: 36890384 markings, 37778766 edges, 352175 markings/sec, 95 secs
lola: 38798617 markings, 39733105 edges, 381647 markings/sec, 100 secs
lola: 40585334 markings, 41563239 edges, 357343 markings/sec, 105 secs
lola: 42414506 markings, 43436803 edges, 365834 markings/sec, 110 secs
lola: 44285536 markings, 45353669 edges, 374206 markings/sec, 115 secs
lola: 46130608 markings, 47243970 edges, 369014 markings/sec, 120 secs
lola: 47982494 markings, 49141853 edges, 370377 markings/sec, 125 secs
lola: 49834150 markings, 51040854 edges, 370331 markings/sec, 130 secs
lola: 51785910 markings, 53040029 edges, 390352 markings/sec, 135 secs
lola: 53688329 markings, 54988697 edges, 380484 markings/sec, 140 secs
lola: 55583639 markings, 56930477 edges, 379062 markings/sec, 145 secs
lola: 57467571 markings, 58861192 edges, 376786 markings/sec, 150 secs
lola: 59338692 markings, 60780220 edges, 374224 markings/sec, 155 secs
lola: 61206917 markings, 62694079 edges, 373645 markings/sec, 160 secs
lola: 63072361 markings, 64604867 edges, 373089 markings/sec, 165 secs
lola: 64928314 markings, 66506575 edges, 371191 markings/sec, 170 secs
lola: 66768262 markings, 68392358 edges, 367990 markings/sec, 175 secs
lola: 68641716 markings, 70313995 edges, 374691 markings/sec, 180 secs
lola: 70541438 markings, 72262606 edges, 379944 markings/sec, 185 secs
lola: 72393779 markings, 74163849 edges, 370468 markings/sec, 190 secs
lola: 74200068 markings, 76013706 edges, 361258 markings/sec, 195 secs
lola: 76033141 markings, 77892221 edges, 366615 markings/sec, 200 secs
lola: 77901003 markings, 79805978 edges, 373572 markings/sec, 205 secs
lola: 79756375 markings, 81705905 edges, 371074 markings/sec, 210 secs
lola: 81647957 markings, 83642889 edges, 378316 markings/sec, 215 secs
lola: 83514105 markings, 85553849 edges, 373230 markings/sec, 220 secs
lola: 85439710 markings, 87525704 edges, 385121 markings/sec, 225 secs
lola: 87338999 markings, 89470610 edges, 379858 markings/sec, 230 secs
lola: 89154900 markings, 91330121 edges, 363180 markings/sec, 235 secs
lola: 91020506 markings, 93240501 edges, 373121 markings/sec, 240 secs
lola: 92857031 markings, 95121152 edges, 367305 markings/sec, 245 secs
lola: 94709277 markings, 97017860 edges, 370449 markings/sec, 250 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p266)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1565015 markings, 1569413 edges, 313003 markings/sec, 0 secs
lola: 3122988 markings, 3130412 edges, 311595 markings/sec, 5 secs
lola: 4678037 markings, 4688062 edges, 311010 markings/sec, 10 secs
lola: 6237294 markings, 6249966 edges, 311851 markings/sec, 15 secs
lola: 7471022 markings, 7485842 edges, 246746 markings/sec, 20 secs
lola: 8984819 markings, 9002447 edges, 302759 markings/sec, 25 secs
lola: 10512908 markings, 10533074 edges, 305618 markings/sec, 30 secs
lola: 12042936 markings, 12065644 edges, 306006 markings/sec, 35 secs
lola: 13268955 markings, 13293706 edges, 245204 markings/sec, 40 secs
lola: 14761507 markings, 14788754 edges, 298510 markings/sec, 45 secs
lola: 16325811 markings, 16355662 edges, 312861 markings/sec, 50 secs
lola: 17888067 markings, 17920514 edges, 312451 markings/sec, 55 secs
lola: 19414921 markings, 19449910 edges, 305371 markings/sec, 60 secs
lola: 20944278 markings, 20981823 edges, 305871 markings/sec, 65 secs
lola: 22484288 markings, 22524426 edges, 308002 markings/sec, 70 secs
lola: 23905659 markings, 23948170 edges, 284274 markings/sec, 75 secs
lola: 25062443 markings, 25106883 edges, 231357 markings/sec, 80 secs
lola: 26491995 markings, 26538832 edges, 285910 markings/sec, 85 secs
lola: 27952407 markings, 28001777 edges, 292082 markings/sec, 90 secs
lola: 29427788 markings, 29479710 edges, 295076 markings/sec, 95 secs
lola: 30955368 markings, 31009921 edges, 305516 markings/sec, 100 secs
lola: 32468562 markings, 32526805 edges, 302639 markings/sec, 105 secs
lola: 33977232 markings, 34042609 edges, 301734 markings/sec, 110 secs
lola: 35466269 markings, 35537990 edges, 297807 markings/sec, 115 secs
lola: 36947685 markings, 37029286 edges, 296283 markings/sec, 120 secs
lola: 38431435 markings, 38532885 edges, 296750 markings/sec, 125 secs
lola: 39941910 markings, 40050891 edges, 302095 markings/sec, 130 secs
lola: 41446212 markings, 41558415 edges, 300860 markings/sec, 135 secs
lola: 42956113 markings, 43071071 edges, 301980 markings/sec, 140 secs
lola: 44470293 markings, 44588889 edges, 302836 markings/sec, 145 secs
lola: 45980888 markings, 46102193 edges, 302119 markings/sec, 150 secs
lola: 47485770 markings, 47609729 edges, 300976 markings/sec, 155 secs
lola: 48988462 markings, 49115179 edges, 300538 markings/sec, 160 secs
lola: 50484299 markings, 50614484 edges, 299167 markings/sec, 165 secs
lola: 51997325 markings, 52132415 edges, 302605 markings/sec, 170 secs
lola: 53508544 markings, 53647742 edges, 302244 markings/sec, 175 secs
lola: 54710240 markings, 54853290 edges, 240339 markings/sec, 180 secs
lola: 56194954 markings, 56342392 edges, 296943 markings/sec, 185 secs
lola: 57704676 markings, 57857184 edges, 301944 markings/sec, 190 secs
lola: 59134042 markings, 59293308 edges, 285873 markings/sec, 195 secs
lola: 60542304 markings, 60708504 edges, 281652 markings/sec, 200 secs
lola: 62005397 markings, 62176334 edges, 292619 markings/sec, 205 secs
lola: 63484850 markings, 63677611 edges, 295891 markings/sec, 210 secs
lola: 64940619 markings, 65143917 edges, 291154 markings/sec, 215 secs
lola: 66432198 markings, 66638698 edges, 298316 markings/sec, 220 secs
lola: 67921242 markings, 68130531 edges, 297809 markings/sec, 225 secs
lola: 69408442 markings, 69621321 edges, 297440 markings/sec, 230 secs
lola: 70919382 markings, 71134981 edges, 302188 markings/sec, 235 secs
lola: 72412554 markings, 72630838 edges, 298634 markings/sec, 240 secs
lola: 73899928 markings, 74120889 edges, 297475 markings/sec, 245 secs
lola: 75376937 markings, 75600826 edges, 295402 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p647)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2938191 markings, 2938191 edges, 587638 markings/sec, 0 secs
lola: 5834593 markings, 5834593 edges, 579280 markings/sec, 5 secs
lola: 8691747 markings, 8691747 edges, 571431 markings/sec, 10 secs
lola: 11543253 markings, 11543253 edges, 570301 markings/sec, 15 secs
lola: 14374132 markings, 14374132 edges, 566176 markings/sec, 20 secs
lola: 17272766 markings, 17272766 edges, 579727 markings/sec, 25 secs
lola: 20123611 markings, 20123611 edges, 570169 markings/sec, 30 secs
lola: 22926189 markings, 22926189 edges, 560516 markings/sec, 35 secs
lola: 25753463 markings, 25753463 edges, 565455 markings/sec, 40 secs
lola: 28590453 markings, 28590453 edges, 567398 markings/sec, 45 secs
lola: 31324046 markings, 31324046 edges, 546719 markings/sec, 50 secs
lola: 34072143 markings, 34072143 edges, 549619 markings/sec, 55 secs
lola: 36882271 markings, 36882271 edges, 562026 markings/sec, 60 secs
lola: 39713039 markings, 39713039 edges, 566154 markings/sec, 65 secs
lola: 42573011 markings, 42573011 edges, 571994 markings/sec, 70 secs
lola: 45397471 markings, 45397471 edges, 564892 markings/sec, 75 secs
lola: 48211447 markings, 48211447 edges, 562795 markings/sec, 80 secs
lola: 50983543 markings, 50983543 edges, 554419 markings/sec, 85 secs
lola: 53804806 markings, 53804806 edges, 564253 markings/sec, 90 secs
lola: 56558751 markings, 56558751 edges, 550789 markings/sec, 95 secs
lola: 59334913 markings, 59334913 edges, 555232 markings/sec, 100 secs
lola: 62101214 markings, 62101214 edges, 553260 markings/sec, 105 secs
lola: 64904893 markings, 64904893 edges, 560736 markings/sec, 110 secs
lola: 67714920 markings, 67714919 edges, 562005 markings/sec, 115 secs
lola: 70543972 markings, 70543972 edges, 565810 markings/sec, 120 secs
lola: 73306142 markings, 73306142 edges, 552434 markings/sec, 125 secs
lola: 76047497 markings, 76047497 edges, 548271 markings/sec, 130 secs
lola: 78790212 markings, 78790212 edges, 548543 markings/sec, 135 secs
lola: 81561602 markings, 81561602 edges, 554278 markings/sec, 140 secs
lola: 84296984 markings, 84296984 edges, 547076 markings/sec, 145 secs
lola: 87020073 markings, 87020073 edges, 544618 markings/sec, 150 secs
lola: 89775019 markings, 89775019 edges, 550989 markings/sec, 155 secs
lola: 92573353 markings, 92573353 edges, 559667 markings/sec, 160 secs
lola: 95368766 markings, 95368766 edges, 559083 markings/sec, 165 secs
lola: 98224684 markings, 98224684 edges, 571184 markings/sec, 170 secs
lola: 101022107 markings, 101022107 edges, 559485 markings/sec, 175 secs
lola: 103803830 markings, 103803830 edges, 556345 markings/sec, 180 secs
lola: 106720342 markings, 106720342 edges, 583302 markings/sec, 185 secs
lola: 109573380 markings, 109573380 edges, 570608 markings/sec, 190 secs
lola: 112389878 markings, 112389878 edges, 563300 markings/sec, 195 secs
lola: 114617164 markings, 114617164 edges, 445457 markings/sec, 200 secs
lola: 117552346 markings, 117552346 edges, 587036 markings/sec, 205 secs
lola: 120449572 markings, 120449572 edges, 579445 markings/sec, 210 secs
lola: 123374070 markings, 123374071 edges, 584900 markings/sec, 215 secs
lola: 126223512 markings, 126223512 edges, 569888 markings/sec, 220 secs
lola: 129098871 markings, 129098871 edges, 575072 markings/sec, 225 secs
lola: 131938287 markings, 131938287 edges, 567883 markings/sec, 230 secs
lola: 134836926 markings, 134836926 edges, 579728 markings/sec, 235 secs
lola: 137736486 markings, 137736486 edges, 579912 markings/sec, 240 secs
lola: 140603160 markings, 140603160 edges, 573335 markings/sec, 245 secs
lola: 143459689 markings, 143459689 edges, 571306 markings/sec, 250 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA Echo-PT-d02r11-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r11-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r11-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r11-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r11-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r11-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r11-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r11-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r11-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r11-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r11-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r11-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r11-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r11-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r11-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r11-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494688342178

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Echo-PT-d02r11"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/Echo-PT-d02r11.tgz
mv Echo-PT-d02r11 execution

# this is for BenchKit: explicit launching of the test

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