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 ResAllocation-PT-R003C020, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r068-csrt-149440963100092
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494801767669


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ ResAllocation-PT-R003C020 @ 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: 200/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 120 places, 80 transitions, 60 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 140 transition conflict sets
lola: TASK
lola: reading formula from ResAllocation-PT-R003C020-UpperBounds.task
lola: MAX(r_19_1) : MAX(r_0_0) : MAX(r_13_1) : MAX(r_7_2) : MAX(r_18_2) : MAX(p_14_0) : MAX(r_11_1) : MAX(p_3_2) : MAX(p_15_1) : MAX(r_6_2) : MAX(p_15_0) : MAX(r_6_1) : MAX(r_15_0) : MAX(p_8_1) : MAX(r_8_0) : MAX(p_11_2)
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(r_19_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8 bytes per marking, with 4 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: 4892217 markings, 5204493 edges, 978443 markings/sec, 0 secs
lola: 9176997 markings, 10206165 edges, 856956 markings/sec, 5 secs
lola: 13211678 markings, 15296613 edges, 806936 markings/sec, 10 secs
lola: 17105474 markings, 20402713 edges, 778759 markings/sec, 15 secs
lola: 20604628 markings, 25622004 edges, 699831 markings/sec, 20 secs
lola: 24291867 markings, 30633564 edges, 737448 markings/sec, 25 secs
lola: 27674649 markings, 35524126 edges, 676556 markings/sec, 30 secs
lola: 30798611 markings, 40555185 edges, 624792 markings/sec, 35 secs
lola: 33825284 markings, 45786799 edges, 605335 markings/sec, 40 secs
lola: 36629784 markings, 51042269 edges, 560900 markings/sec, 45 secs
lola: 39801023 markings, 56239888 edges, 634248 markings/sec, 50 secs
lola: 43267886 markings, 61045082 edges, 693373 markings/sec, 55 secs
lola: 46346264 markings, 65962804 edges, 615676 markings/sec, 60 secs
lola: 49456274 markings, 71581040 edges, 622002 markings/sec, 65 secs
lola: 51982690 markings, 76918981 edges, 505283 markings/sec, 70 secs
lola: 54432160 markings, 81735320 edges, 489894 markings/sec, 75 secs
lola: 56584174 markings, 86224341 edges, 430403 markings/sec, 80 secs
lola: 58928255 markings, 91518607 edges, 468816 markings/sec, 85 secs
lola: 61212350 markings, 97120482 edges, 456819 markings/sec, 90 secs
lola: 63514335 markings, 102895798 edges, 460397 markings/sec, 95 secs
lola: 65707475 markings, 108275306 edges, 438628 markings/sec, 100 secs
lola: 67767121 markings, 113432116 edges, 411929 markings/sec, 105 secs
lola: 71039717 markings, 118412092 edges, 654519 markings/sec, 110 secs
lola: 73904826 markings, 123319949 edges, 573022 markings/sec, 115 secs
lola: 76826717 markings, 128956668 edges, 584378 markings/sec, 120 secs
lola: 79395273 markings, 134177863 edges, 513711 markings/sec, 125 secs
lola: 81888509 markings, 139150051 edges, 498647 markings/sec, 130 secs
lola: 84153201 markings, 144677837 edges, 452938 markings/sec, 135 secs
lola: 86308223 markings, 149615280 edges, 431004 markings/sec, 140 secs
lola: 88040075 markings, 154447873 edges, 346370 markings/sec, 145 secs
lola: 90187746 markings, 158939778 edges, 429534 markings/sec, 150 secs
lola: 92072571 markings, 163374488 edges, 376965 markings/sec, 155 secs
lola: 94210956 markings, 167784455 edges, 427677 markings/sec, 160 secs
lola: 96814197 markings, 172881216 edges, 520648 markings/sec, 165 secs
lola: 99082212 markings, 177632811 edges, 453603 markings/sec, 170 secs
lola: 101140659 markings, 182659182 edges, 411689 markings/sec, 175 secs
lola: 102974981 markings, 187537534 edges, 366864 markings/sec, 180 secs
lola: 104788673 markings, 192386393 edges, 362738 markings/sec, 185 secs
lola: 106469692 markings, 197452203 edges, 336204 markings/sec, 190 secs
lola: 108243043 markings, 202828631 edges, 354670 markings/sec, 195 secs
lola: 110013355 markings, 208320980 edges, 354062 markings/sec, 200 secs
lola: 111653066 markings, 213437402 edges, 327942 markings/sec, 205 secs
lola: 113322543 markings, 218607134 edges, 333895 markings/sec, 210 secs
lola: 115031941 markings, 224099720 edges, 341880 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(r_0_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8 bytes per marking, with 4 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: 3486807 markings, 5726959 edges, 697361 markings/sec, 0 secs
lola: 6767201 markings, 11342745 edges, 656079 markings/sec, 5 secs
lola: 9903863 markings, 16920463 edges, 627332 markings/sec, 10 secs
lola: 12795251 markings, 22313707 edges, 578278 markings/sec, 15 secs
lola: 15808782 markings, 27829761 edges, 602706 markings/sec, 20 secs
lola: 18524045 markings, 33088380 edges, 543053 markings/sec, 25 secs
lola: 20984540 markings, 38112086 edges, 492099 markings/sec, 30 secs
lola: 23331881 markings, 43103510 edges, 469468 markings/sec, 35 secs
lola: 26114602 markings, 48361201 edges, 556544 markings/sec, 40 secs
lola: 28783212 markings, 53782846 edges, 533722 markings/sec, 45 secs
lola: 31138820 markings, 58929944 edges, 471122 markings/sec, 50 secs
lola: 33368225 markings, 63824308 edges, 445881 markings/sec, 55 secs
lola: 35568546 markings, 68932056 edges, 440064 markings/sec, 60 secs
lola: 37571334 markings, 73812329 edges, 400558 markings/sec, 65 secs
lola: 39653257 markings, 78647291 edges, 416385 markings/sec, 70 secs
lola: 41509934 markings, 83355932 edges, 371335 markings/sec, 75 secs
lola: 44019765 markings, 88368630 edges, 501966 markings/sec, 80 secs
lola: 46516022 markings, 93592227 edges, 499251 markings/sec, 85 secs
lola: 48846495 markings, 98665833 edges, 466095 markings/sec, 90 secs
lola: 51121301 markings, 103930049 edges, 454961 markings/sec, 95 secs
lola: 53209320 markings, 108814069 edges, 417604 markings/sec, 100 secs
lola: 55184584 markings, 113788181 edges, 395053 markings/sec, 105 secs
lola: 56873477 markings, 118272446 edges, 337779 markings/sec, 110 secs
lola: 58864493 markings, 123103443 edges, 398203 markings/sec, 115 secs
lola: 60788944 markings, 127913561 edges, 384890 markings/sec, 120 secs
lola: 62687613 markings, 132988196 edges, 379734 markings/sec, 125 secs
lola: 64405676 markings, 137733779 edges, 343613 markings/sec, 130 secs
lola: 66057678 markings, 142498798 edges, 330400 markings/sec, 135 secs
lola: 67701047 markings, 147162036 edges, 328674 markings/sec, 140 secs
lola: 69205492 markings, 151632011 edges, 300889 markings/sec, 145 secs
lola: 70804723 markings, 156185158 edges, 319846 markings/sec, 150 secs
lola: 72516534 markings, 160580893 edges, 342362 markings/sec, 155 secs
lola: 73650341 markings, 164638368 edges, 226761 markings/sec, 160 secs
lola: 75478218 markings, 168974027 edges, 365575 markings/sec, 165 secs
lola: 77900105 markings, 173424379 edges, 484377 markings/sec, 170 secs
lola: 80194294 markings, 177867608 edges, 458838 markings/sec, 175 secs
lola: 82470715 markings, 182469455 edges, 455284 markings/sec, 180 secs
lola: 84513930 markings, 186871014 edges, 408643 markings/sec, 185 secs
lola: 86340972 markings, 191242326 edges, 365408 markings/sec, 190 secs
lola: 88295221 markings, 195704137 edges, 390850 markings/sec, 195 secs
lola: 90285961 markings, 200387229 edges, 398148 markings/sec, 200 secs
lola: 91877359 markings, 204645700 edges, 318280 markings/sec, 205 secs
lola: 93614698 markings, 209340768 edges, 347468 markings/sec, 210 secs
lola: 95052766 markings, 213713607 edges, 287614 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(r_13_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8 bytes per marking, with 4 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: 3660074 markings, 6047177 edges, 732015 markings/sec, 0 secs
lola: 6110599 markings, 12023700 edges, 490105 markings/sec, 5 secs
lola: 9134026 markings, 17805053 edges, 604685 markings/sec, 10 secs
lola: 11528612 markings, 24155038 edges, 478917 markings/sec, 15 secs
lola: 14091491 markings, 30099474 edges, 512576 markings/sec, 20 secs
lola: 16549502 markings, 35651433 edges, 491602 markings/sec, 25 secs
lola: 18806308 markings, 41395377 edges, 451361 markings/sec, 30 secs
lola: 20860978 markings, 47148167 edges, 410934 markings/sec, 35 secs
lola: 23463596 markings, 53067249 edges, 520524 markings/sec, 40 secs
lola: 26138077 markings, 58893594 edges, 534896 markings/sec, 45 secs
lola: 29034061 markings, 64280998 edges, 579197 markings/sec, 50 secs
lola: 31068434 markings, 69850658 edges, 406875 markings/sec, 55 secs
lola: 33040732 markings, 75168143 edges, 394460 markings/sec, 60 secs
lola: 35059767 markings, 81090024 edges, 403807 markings/sec, 65 secs
lola: 37600714 markings, 86564867 edges, 508189 markings/sec, 70 secs
lola: 39917244 markings, 92038682 edges, 463306 markings/sec, 75 secs
lola: 41422072 markings, 97714939 edges, 300966 markings/sec, 80 secs
lola: 44112914 markings, 102949428 edges, 538168 markings/sec, 85 secs
lola: 45312698 markings, 108383224 edges, 239957 markings/sec, 90 secs
lola: 48473321 markings, 113793401 edges, 632125 markings/sec, 95 secs
lola: 50488695 markings, 119443438 edges, 403075 markings/sec, 100 secs
lola: 52656683 markings, 124600464 edges, 433598 markings/sec, 105 secs
lola: 54203441 markings, 129702444 edges, 309352 markings/sec, 110 secs
lola: 56221131 markings, 134779245 edges, 403538 markings/sec, 115 secs
lola: 59046022 markings, 140612876 edges, 564978 markings/sec, 120 secs
lola: 61975152 markings, 146254921 edges, 585826 markings/sec, 125 secs
lola: 65321814 markings, 151813540 edges, 669332 markings/sec, 130 secs
lola: 67574374 markings, 157297622 edges, 450512 markings/sec, 135 secs
lola: 70666215 markings, 162963236 edges, 618368 markings/sec, 140 secs
lola: 73518308 markings, 168689239 edges, 570419 markings/sec, 145 secs
lola: 75996132 markings, 174087592 edges, 495565 markings/sec, 150 secs
lola: 77916248 markings, 179139649 edges, 384023 markings/sec, 155 secs
lola: 80035839 markings, 183950220 edges, 423918 markings/sec, 160 secs
lola: 83008745 markings, 189006832 edges, 594581 markings/sec, 165 secs
lola: 85411270 markings, 194040465 edges, 480505 markings/sec, 170 secs
lola: 87969147 markings, 199312717 edges, 511575 markings/sec, 175 secs
lola: 89894125 markings, 203914642 edges, 384996 markings/sec, 180 secs
lola: 91715424 markings, 208831478 edges, 364260 markings/sec, 185 secs
lola: 93699089 markings, 213534940 edges, 396733 markings/sec, 190 secs
lola: 95298651 markings, 218167817 edges, 319912 markings/sec, 195 secs
lola: 96976759 markings, 222678676 edges, 335622 markings/sec, 200 secs
lola: 98976041 markings, 227041387 edges, 399856 markings/sec, 205 secs
lola: 101629305 markings, 232885693 edges, 530653 markings/sec, 210 secs
lola: 104210800 markings, 238557618 edges, 516299 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(r_7_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8 bytes per marking, with 4 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: 3387622 markings, 6236705 edges, 677524 markings/sec, 0 secs
lola: 7551437 markings, 12447028 edges, 832763 markings/sec, 5 secs
lola: 11163496 markings, 18122009 edges, 722412 markings/sec, 10 secs
lola: 14934164 markings, 23745159 edges, 754134 markings/sec, 15 secs
lola: 17947190 markings, 29101074 edges, 602605 markings/sec, 20 secs
lola: 20952666 markings, 34431154 edges, 601095 markings/sec, 25 secs
lola: 24027554 markings, 39551619 edges, 614978 markings/sec, 30 secs
lola: 27384139 markings, 44999305 edges, 671317 markings/sec, 35 secs
lola: 30609091 markings, 49987604 edges, 644990 markings/sec, 40 secs
lola: 33518370 markings, 54770111 edges, 581856 markings/sec, 45 secs
lola: 36412536 markings, 59613208 edges, 578833 markings/sec, 50 secs
lola: 39085815 markings, 64208034 edges, 534656 markings/sec, 55 secs
lola: 41069953 markings, 68359894 edges, 396828 markings/sec, 60 secs
lola: 43806705 markings, 73785297 edges, 547350 markings/sec, 65 secs
lola: 46784859 markings, 79495038 edges, 595631 markings/sec, 70 secs
lola: 49892089 markings, 85554460 edges, 621446 markings/sec, 75 secs
lola: 52758627 markings, 91299327 edges, 573308 markings/sec, 80 secs
lola: 56118144 markings, 97299554 edges, 671903 markings/sec, 85 secs
lola: 58480649 markings, 102599797 edges, 472501 markings/sec, 90 secs
lola: 61574145 markings, 108200010 edges, 618699 markings/sec, 95 secs
lola: 64694134 markings, 113837483 edges, 623998 markings/sec, 100 secs
lola: 66722065 markings, 118227182 edges, 405586 markings/sec, 105 secs
lola: 69595635 markings, 124082279 edges, 574714 markings/sec, 110 secs
lola: 71516556 markings, 128901884 edges, 384184 markings/sec, 115 secs
lola: 74561114 markings, 134221319 edges, 608912 markings/sec, 120 secs
lola: 77678753 markings, 139416998 edges, 623528 markings/sec, 125 secs
lola: 80976197 markings, 144451212 edges, 659489 markings/sec, 130 secs
lola: 83844802 markings, 149344963 edges, 573721 markings/sec, 135 secs
lola: 86714017 markings, 154051649 edges, 573843 markings/sec, 140 secs
lola: 88805625 markings, 158305043 edges, 418322 markings/sec, 145 secs
lola: 91686096 markings, 163076821 edges, 576094 markings/sec, 150 secs
lola: 94140311 markings, 167368142 edges, 490843 markings/sec, 155 secs
lola: 96341405 markings, 171575628 edges, 440219 markings/sec, 160 secs
lola: 98890373 markings, 176236502 edges, 509794 markings/sec, 165 secs
lola: 101248220 markings, 180742496 edges, 471569 markings/sec, 170 secs
lola: 102711658 markings, 184672861 edges, 292688 markings/sec, 175 secs
lola: 105918912 markings, 190147347 edges, 641451 markings/sec, 180 secs
lola: 108548641 markings, 195405878 edges, 525946 markings/sec, 185 secs
lola: 111158853 markings, 200097022 edges, 522042 markings/sec, 190 secs
lola: 113106529 markings, 204214047 edges, 389535 markings/sec, 195 secs
lola: 115525984 markings, 208868326 edges, 483891 markings/sec, 200 secs
lola: 118205425 markings, 214052679 edges, 535888 markings/sec, 205 secs
lola: 120224633 markings, 218479419 edges, 403842 markings/sec, 210 secs
lola: 122462685 markings, 223419305 edges, 447610 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(r_18_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8 bytes per marking, with 4 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: 5112534 markings, 5456921 edges, 1022507 markings/sec, 0 secs
lola: 9629172 markings, 10760670 edges, 903328 markings/sec, 5 secs
lola: 13910083 markings, 16139949 edges, 856182 markings/sec, 10 secs
lola: 17863384 markings, 21458089 edges, 790660 markings/sec, 15 secs
lola: 21408000 markings, 26930817 edges, 708923 markings/sec, 20 secs
lola: 25244080 markings, 31933757 edges, 767216 markings/sec, 25 secs
lola: 28683587 markings, 37150788 edges, 687901 markings/sec, 30 secs
lola: 31803951 markings, 42217243 edges, 624073 markings/sec, 35 secs
lola: 34847701 markings, 47676315 edges, 608750 markings/sec, 40 secs
lola: 37604822 markings, 52806848 edges, 551424 markings/sec, 45 secs
lola: 40882063 markings, 57687335 edges, 655448 markings/sec, 50 secs
lola: 44094185 markings, 62248336 edges, 642424 markings/sec, 55 secs
lola: 47164177 markings, 67381644 edges, 613998 markings/sec, 60 secs
lola: 50247418 markings, 73202765 edges, 616648 markings/sec, 65 secs
lola: 52573516 markings, 78107151 edges, 465220 markings/sec, 70 secs
lola: 55005751 markings, 82894975 edges, 486447 markings/sec, 75 secs
lola: 57265931 markings, 87718947 edges, 452036 markings/sec, 80 secs
lola: 59715035 markings, 93432322 edges, 489821 markings/sec, 85 secs
lola: 62087503 markings, 99222926 edges, 474494 markings/sec, 90 secs
lola: 64358810 markings, 105037368 edges, 454261 markings/sec, 95 secs
lola: 66658378 markings, 110358451 edges, 459914 markings/sec, 100 secs
lola: 69056710 markings, 115328225 edges, 479666 markings/sec, 105 secs
lola: 72100565 markings, 120273674 edges, 608771 markings/sec, 110 secs
lola: 74819280 markings, 125653695 edges, 543743 markings/sec, 115 secs
lola: 77315138 markings, 130985724 edges, 499172 markings/sec, 120 secs
lola: 79528824 markings, 135614875 edges, 442737 markings/sec, 125 secs
lola: 81495951 markings, 140086066 edges, 393425 markings/sec, 130 secs
lola: 83608963 markings, 144697152 edges, 422602 markings/sec, 135 secs
lola: 86174570 markings, 149343157 edges, 513121 markings/sec, 140 secs
lola: 88945844 markings, 153928869 edges, 554255 markings/sec, 145 secs
lola: 91596709 markings, 158952689 edges, 530173 markings/sec, 150 secs
lola: 93843651 markings, 163628027 edges, 449388 markings/sec, 155 secs
lola: 95927543 markings, 168486466 edges, 416778 markings/sec, 160 secs
lola: 97943161 markings, 173698740 edges, 403124 markings/sec, 165 secs
lola: 99761702 markings, 178533745 edges, 363708 markings/sec, 170 secs
lola: 101625621 markings, 183570350 edges, 372784 markings/sec, 175 secs
lola: 103298909 markings, 188273073 edges, 334658 markings/sec, 180 secs
lola: 104925657 markings, 192996509 edges, 325350 markings/sec, 185 secs
lola: 106793348 markings, 198344802 edges, 373538 markings/sec, 190 secs
lola: 108406035 markings, 203369733 edges, 322537 markings/sec, 195 secs
lola: 110318933 markings, 209108337 edges, 382580 markings/sec, 200 secs
lola: 112074089 markings, 214593579 edges, 351031 markings/sec, 205 secs
lola: 113764143 markings, 220102234 edges, 338011 markings/sec, 210 secs
lola: 115421950 markings, 225571580 edges, 331561 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(p_14_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8 bytes per marking, with 4 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: 4648194 markings, 5630706 edges, 929639 markings/sec, 0 secs
lola: 8718969 markings, 11707728 edges, 814155 markings/sec, 5 secs
lola: 12689613 markings, 18001890 edges, 794129 markings/sec, 10 secs
lola: 15464314 markings, 23879282 edges, 554940 markings/sec, 15 secs
lola: 19024286 markings, 29548098 edges, 711994 markings/sec, 20 secs
lola: 22392547 markings, 34948485 edges, 673652 markings/sec, 25 secs
lola: 25024815 markings, 40380208 edges, 526454 markings/sec, 30 secs
lola: 28313186 markings, 45908525 edges, 657674 markings/sec, 35 secs
lola: 31141354 markings, 51502748 edges, 565634 markings/sec, 40 secs
lola: 34519150 markings, 57007516 edges, 675559 markings/sec, 45 secs
lola: 37075714 markings, 62471716 edges, 511313 markings/sec, 50 secs
lola: 39762901 markings, 67962361 edges, 537437 markings/sec, 55 secs
lola: 42889395 markings, 74350435 edges, 625299 markings/sec, 60 secs
lola: 46250235 markings, 80460273 edges, 672168 markings/sec, 65 secs
lola: 49704176 markings, 86305467 edges, 690788 markings/sec, 70 secs
lola: 52425406 markings, 92172338 edges, 544246 markings/sec, 75 secs
lola: 55459378 markings, 97387413 edges, 606794 markings/sec, 80 secs
lola: 58332259 markings, 102483366 edges, 574576 markings/sec, 85 secs
lola: 61060861 markings, 107603127 edges, 545720 markings/sec, 90 secs
lola: 62945582 markings, 112676207 edges, 376944 markings/sec, 95 secs
lola: 64817660 markings, 117791917 edges, 374416 markings/sec, 100 secs
lola: 68112389 markings, 122767774 edges, 658946 markings/sec, 105 secs
lola: 71100751 markings, 128116498 edges, 597672 markings/sec, 110 secs
lola: 73943932 markings, 133408115 edges, 568636 markings/sec, 115 secs
lola: 77154529 markings, 138591539 edges, 642119 markings/sec, 120 secs
lola: 79718801 markings, 143799555 edges, 512854 markings/sec, 125 secs
lola: 81347052 markings, 148816537 edges, 325650 markings/sec, 130 secs
lola: 84040560 markings, 154032810 edges, 538702 markings/sec, 135 secs
lola: 87794095 markings, 159278824 edges, 750707 markings/sec, 140 secs
lola: 90163514 markings, 164318162 edges, 473884 markings/sec, 145 secs
lola: 91691742 markings, 168851753 edges, 305646 markings/sec, 150 secs
lola: 93278489 markings, 173662244 edges, 317349 markings/sec, 155 secs
lola: 95876375 markings, 178655634 edges, 519577 markings/sec, 160 secs
lola: 99144527 markings, 183803072 edges, 653630 markings/sec, 165 secs
lola: 101561920 markings, 189059820 edges, 483479 markings/sec, 170 secs
lola: 103762497 markings, 194249174 edges, 440115 markings/sec, 175 secs
lola: 105861010 markings, 198813127 edges, 419703 markings/sec, 180 secs
lola: 108200560 markings, 203627830 edges, 467910 markings/sec, 185 secs
lola: 110163287 markings, 208712557 edges, 392545 markings/sec, 190 secs
lola: 112315227 markings, 213852791 edges, 430388 markings/sec, 195 secs
lola: 113904082 markings, 218706291 edges, 317771 markings/sec, 200 secs
lola: 115384259 markings, 223239066 edges, 296035 markings/sec, 205 secs
lola: 119281072 markings, 229185420 edges, 779363 markings/sec, 210 secs
lola: 122835651 markings, 235073091 edges, 710916 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(r_11_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8 bytes per marking, with 4 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: 3840793 markings, 6349787 edges, 768159 markings/sec, 0 secs
lola: 7339835 markings, 12594367 edges, 699808 markings/sec, 5 secs
lola: 10924021 markings, 18751926 edges, 716837 markings/sec, 10 secs
lola: 14024030 markings, 24799946 edges, 620002 markings/sec, 15 secs
lola: 17201432 markings, 30640322 edges, 635480 markings/sec, 20 secs
lola: 20618028 markings, 36772532 edges, 683319 markings/sec, 25 secs
lola: 23975762 markings, 42791537 edges, 671547 markings/sec, 30 secs
lola: 27106672 markings, 48597172 edges, 626182 markings/sec, 35 secs
lola: 30076227 markings, 54233775 edges, 593911 markings/sec, 40 secs
lola: 32654695 markings, 59792382 edges, 515694 markings/sec, 45 secs
lola: 35458827 markings, 65423796 edges, 560826 markings/sec, 50 secs
lola: 37873982 markings, 70861957 edges, 483031 markings/sec, 55 secs
lola: 40854197 markings, 76468334 edges, 596043 markings/sec, 60 secs
lola: 43615745 markings, 82175480 edges, 552310 markings/sec, 65 secs
lola: 46344797 markings, 87780262 edges, 545810 markings/sec, 70 secs
lola: 49259050 markings, 93629024 edges, 582851 markings/sec, 75 secs
lola: 51949074 markings, 99226662 edges, 538005 markings/sec, 80 secs
lola: 54317262 markings, 104527795 edges, 473638 markings/sec, 85 secs
lola: 56613181 markings, 109865615 edges, 459184 markings/sec, 90 secs
lola: 59492622 markings, 115775483 edges, 575888 markings/sec, 95 secs
lola: 62210873 markings, 121445388 edges, 543650 markings/sec, 100 secs
lola: 64881317 markings, 126918615 edges, 534089 markings/sec, 105 secs
lola: 67282023 markings, 132149143 edges, 480141 markings/sec, 110 secs
lola: 69537657 markings, 137190745 edges, 451127 markings/sec, 115 secs
lola: 71905083 markings, 142249683 edges, 473485 markings/sec, 120 secs
lola: 74266440 markings, 147413379 edges, 472271 markings/sec, 125 secs
lola: 76391383 markings, 152207656 edges, 424989 markings/sec, 130 secs
lola: 78234809 markings, 156813188 edges, 368685 markings/sec, 135 secs
lola: 80161866 markings, 161492983 edges, 385411 markings/sec, 140 secs
lola: 82232527 markings, 166460656 edges, 414132 markings/sec, 145 secs
lola: 84614892 markings, 171536404 edges, 476473 markings/sec, 150 secs
lola: 86964355 markings, 176329428 edges, 469893 markings/sec, 155 secs
lola: 89258710 markings, 180971140 edges, 458871 markings/sec, 160 secs
lola: 91109215 markings, 186023742 edges, 370101 markings/sec, 165 secs
lola: 93038536 markings, 191136705 edges, 385864 markings/sec, 170 secs
lola: 94933389 markings, 195889448 edges, 378971 markings/sec, 175 secs
lola: 96401978 markings, 200456197 edges, 293718 markings/sec, 180 secs
lola: 97658388 markings, 204628269 edges, 251282 markings/sec, 185 secs
lola: 100427930 markings, 210652158 edges, 553908 markings/sec, 190 secs
lola: 102926344 markings, 216992247 edges, 499683 markings/sec, 195 secs
lola: 105246318 markings, 222839709 edges, 463995 markings/sec, 200 secs
lola: 107642448 markings, 228249624 edges, 479226 markings/sec, 205 secs
lola: 109871601 markings, 233796179 edges, 445831 markings/sec, 210 secs
lola: 111932959 markings, 238894392 edges, 412272 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(p_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8 bytes per marking, with 4 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: 3985366 markings, 5328441 edges, 797073 markings/sec, 0 secs
lola: 6911056 markings, 10663129 edges, 585138 markings/sec, 5 secs
lola: 9866339 markings, 15678532 edges, 591057 markings/sec, 10 secs
lola: 12877038 markings, 20378270 edges, 602140 markings/sec, 15 secs
lola: 15285031 markings, 24978299 edges, 481599 markings/sec, 20 secs
lola: 18517940 markings, 29659923 edges, 646582 markings/sec, 25 secs
lola: 22520984 markings, 34277273 edges, 800609 markings/sec, 30 secs
lola: 26096336 markings, 38851905 edges, 715070 markings/sec, 35 secs
lola: 29792161 markings, 43690640 edges, 739165 markings/sec, 40 secs
lola: 32742222 markings, 48109434 edges, 590012 markings/sec, 45 secs
lola: 35992370 markings, 52777596 edges, 650030 markings/sec, 50 secs
lola: 39174821 markings, 57679457 edges, 636490 markings/sec, 55 secs
lola: 41731511 markings, 62578165 edges, 511338 markings/sec, 60 secs
lola: 45164942 markings, 67366079 edges, 686686 markings/sec, 65 secs
lola: 49245441 markings, 72089675 edges, 816100 markings/sec, 70 secs
lola: 52767806 markings, 76737108 edges, 704473 markings/sec, 75 secs
lola: 56315314 markings, 81316651 edges, 709502 markings/sec, 80 secs
lola: 59202837 markings, 85667541 edges, 577505 markings/sec, 85 secs
lola: 62490062 markings, 90333801 edges, 657445 markings/sec, 90 secs
lola: 65659610 markings, 95248238 edges, 633910 markings/sec, 95 secs
lola: 68149169 markings, 100111180 edges, 497912 markings/sec, 100 secs
lola: 70817498 markings, 104873161 edges, 533666 markings/sec, 105 secs
lola: 73818138 markings, 109583273 edges, 600128 markings/sec, 110 secs
lola: 76745800 markings, 114447420 edges, 585532 markings/sec, 115 secs
lola: 79351662 markings, 119109275 edges, 521172 markings/sec, 120 secs
lola: 82146218 markings, 123865786 edges, 558911 markings/sec, 125 secs
lola: 84530841 markings, 128350142 edges, 476925 markings/sec, 130 secs
lola: 86774679 markings, 132897266 edges, 448768 markings/sec, 135 secs
lola: 88452914 markings, 137643150 edges, 335647 markings/sec, 140 secs
lola: 90107104 markings, 142574597 edges, 330838 markings/sec, 145 secs
lola: 91706498 markings, 147400257 edges, 319879 markings/sec, 150 secs
lola: 93301708 markings, 152331179 edges, 319042 markings/sec, 155 secs
lola: 94898424 markings, 157298777 edges, 319343 markings/sec, 160 secs
lola: 96311345 markings, 161851300 edges, 282584 markings/sec, 165 secs
lola: 97794522 markings, 166653166 edges, 296635 markings/sec, 170 secs
lola: 99342888 markings, 171439667 edges, 309673 markings/sec, 175 secs
lola: 100856353 markings, 176318846 edges, 302693 markings/sec, 180 secs
lola: 102182254 markings, 180688627 edges, 265180 markings/sec, 185 secs
lola: 103483361 markings, 185105522 edges, 260221 markings/sec, 190 secs
lola: 104768334 markings, 189556102 edges, 256995 markings/sec, 195 secs
lola: 106149767 markings, 194105791 edges, 276287 markings/sec, 200 secs
lola: 107776380 markings, 198909870 edges, 325323 markings/sec, 205 secs
lola: 109354434 markings, 203648846 edges, 315611 markings/sec, 210 secs
lola: 110907117 markings, 208414982 edges, 310537 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(p_15_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8 bytes per marking, with 4 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: 3749562 markings, 5863744 edges, 749912 markings/sec, 0 secs
lola: 7531112 markings, 11630385 edges, 756310 markings/sec, 5 secs
lola: 11174186 markings, 17066061 edges, 728615 markings/sec, 10 secs
lola: 14440348 markings, 23174447 edges, 653232 markings/sec, 15 secs
lola: 17032183 markings, 29335395 edges, 518367 markings/sec, 20 secs
lola: 19653383 markings, 35100905 edges, 524240 markings/sec, 25 secs
lola: 22957408 markings, 40698849 edges, 660805 markings/sec, 30 secs
lola: 26714669 markings, 46528316 edges, 751452 markings/sec, 35 secs
lola: 29216559 markings, 53028004 edges, 500378 markings/sec, 40 secs
lola: 30695450 markings, 60076645 edges, 295778 markings/sec, 45 secs
lola: 32434611 markings, 66513026 edges, 347832 markings/sec, 50 secs
lola: 35251313 markings, 71826981 edges, 563340 markings/sec, 55 secs
lola: 36932053 markings, 77944951 edges, 336148 markings/sec, 60 secs
lola: 38157808 markings, 84074916 edges, 245151 markings/sec, 65 secs
lola: 41155569 markings, 90240947 edges, 599552 markings/sec, 70 secs
lola: 42831919 markings, 97071248 edges, 335270 markings/sec, 75 secs
lola: 45375054 markings, 103368426 edges, 508627 markings/sec, 80 secs
lola: 48696703 markings, 108983133 edges, 664330 markings/sec, 85 secs
lola: 50169332 markings, 115144751 edges, 294526 markings/sec, 90 secs
lola: 51519713 markings, 120987217 edges, 270076 markings/sec, 95 secs
lola: 55033886 markings, 126163041 edges, 702835 markings/sec, 100 secs
lola: 57481941 markings, 131726923 edges, 489611 markings/sec, 105 secs
lola: 58588554 markings, 136864799 edges, 221323 markings/sec, 110 secs
lola: 59822616 markings, 142730446 edges, 246812 markings/sec, 115 secs
lola: 60979149 markings, 148228134 edges, 231307 markings/sec, 120 secs
lola: 63072619 markings, 153461950 edges, 418694 markings/sec, 125 secs
lola: 65430706 markings, 159201227 edges, 471617 markings/sec, 130 secs
lola: 66879471 markings, 165030933 edges, 289753 markings/sec, 135 secs
lola: 69442987 markings, 170555800 edges, 512703 markings/sec, 140 secs
lola: 72095048 markings, 175846459 edges, 530412 markings/sec, 145 secs
lola: 74846867 markings, 181157210 edges, 550364 markings/sec, 150 secs
lola: 77190773 markings, 186408649 edges, 468781 markings/sec, 155 secs
lola: 79043287 markings, 192087038 edges, 370503 markings/sec, 160 secs
lola: 80332247 markings, 197925162 edges, 257792 markings/sec, 165 secs
lola: 81456058 markings, 203882950 edges, 224762 markings/sec, 170 secs
lola: 82587039 markings, 209682053 edges, 226196 markings/sec, 175 secs
lola: 83937898 markings, 215302861 edges, 270172 markings/sec, 180 secs
lola: 86833071 markings, 220459033 edges, 579035 markings/sec, 185 secs
lola: 89927161 markings, 225878219 edges, 618818 markings/sec, 190 secs
lola: 92866208 markings, 231097031 edges, 587809 markings/sec, 195 secs
lola: 94220690 markings, 236560738 edges, 270896 markings/sec, 200 secs
lola: 95325945 markings, 241845076 edges, 221051 markings/sec, 205 secs
lola: 96246968 markings, 246303037 edges, 184205 markings/sec, 210 secs
lola: 97310529 markings, 251425319 edges, 212712 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(r_6_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8 bytes per marking, with 4 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: 3553189 markings, 5620551 edges, 710638 markings/sec, 0 secs
lola: 7244991 markings, 11069540 edges, 738360 markings/sec, 5 secs
lola: 10221879 markings, 15925866 edges, 595378 markings/sec, 10 secs
lola: 13760820 markings, 21130697 edges, 707788 markings/sec, 15 secs
lola: 16575703 markings, 25774794 edges, 562977 markings/sec, 20 secs
lola: 19713841 markings, 30782444 edges, 627628 markings/sec, 25 secs
lola: 22372950 markings, 35391680 edges, 531822 markings/sec, 30 secs
lola: 25222121 markings, 40175482 edges, 569834 markings/sec, 35 secs
lola: 28670289 markings, 45360104 edges, 689634 markings/sec, 40 secs
lola: 31706610 markings, 50145529 edges, 607264 markings/sec, 45 secs
lola: 34163656 markings, 54625908 edges, 491409 markings/sec, 50 secs
lola: 37693351 markings, 59676998 edges, 705939 markings/sec, 55 secs
lola: 39701049 markings, 63783869 edges, 401540 markings/sec, 60 secs
lola: 42009987 markings, 68254178 edges, 461788 markings/sec, 65 secs
lola: 45120390 markings, 73409872 edges, 622081 markings/sec, 70 secs
lola: 48290958 markings, 78762932 edges, 634114 markings/sec, 75 secs
lola: 50998291 markings, 83936881 edges, 541467 markings/sec, 80 secs
lola: 54022835 markings, 89025001 edges, 604909 markings/sec, 85 secs
lola: 56788735 markings, 93902009 edges, 553180 markings/sec, 90 secs
lola: 59184598 markings, 98606286 edges, 479173 markings/sec, 95 secs
lola: 62185476 markings, 103498666 edges, 600176 markings/sec, 100 secs
lola: 64932551 markings, 108183471 edges, 549415 markings/sec, 105 secs
lola: 67338195 markings, 112522539 edges, 481129 markings/sec, 110 secs
lola: 69684519 markings, 117302687 edges, 469265 markings/sec, 115 secs
lola: 71558895 markings, 121664731 edges, 374875 markings/sec, 120 secs
lola: 74860641 markings, 127265984 edges, 660349 markings/sec, 125 secs
lola: 77751519 markings, 132521532 edges, 578176 markings/sec, 130 secs
lola: 80682617 markings, 137625945 edges, 586220 markings/sec, 135 secs
lola: 83592482 markings, 142641239 edges, 581973 markings/sec, 140 secs
lola: 86169749 markings, 147213960 edges, 515453 markings/sec, 145 secs
lola: 88206171 markings, 151402462 edges, 407284 markings/sec, 150 secs
lola: 90930167 markings, 156077967 edges, 544799 markings/sec, 155 secs
lola: 93226559 markings, 160455016 edges, 459278 markings/sec, 160 secs
lola: 95482199 markings, 164836485 edges, 451128 markings/sec, 165 secs
lola: 97984199 markings, 169427544 edges, 500400 markings/sec, 170 secs
lola: 100257711 markings, 174032365 edges, 454702 markings/sec, 175 secs
lola: 101986495 markings, 178294619 edges, 345757 markings/sec, 180 secs
lola: 105086225 markings, 183514259 edges, 619946 markings/sec, 185 secs
lola: 107946706 markings, 188878978 edges, 572096 markings/sec, 190 secs
lola: 110529566 markings, 193669112 edges, 516572 markings/sec, 195 secs
lola: 112467662 markings, 197819195 edges, 387619 markings/sec, 200 secs
lola: 115210076 markings, 202742247 edges, 548483 markings/sec, 205 secs
lola: 117828945 markings, 207786062 edges, 523774 markings/sec, 210 secs
lola: 119973717 markings, 212242778 edges, 428954 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_15_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8 bytes per marking, with 4 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: 4045704 markings, 5409651 edges, 809141 markings/sec, 0 secs
lola: 7874774 markings, 11045585 edges, 765814 markings/sec, 5 secs
lola: 10736048 markings, 16734940 edges, 572255 markings/sec, 10 secs
lola: 13163668 markings, 22030594 edges, 485524 markings/sec, 15 secs
lola: 16250933 markings, 26967790 edges, 617453 markings/sec, 20 secs
lola: 19262189 markings, 32240371 edges, 602251 markings/sec, 25 secs
lola: 22609122 markings, 37590466 edges, 669387 markings/sec, 30 secs
lola: 25239476 markings, 43013612 edges, 526071 markings/sec, 35 secs
lola: 27671167 markings, 48736986 edges, 486338 markings/sec, 40 secs
lola: 29450905 markings, 54710826 edges, 355948 markings/sec, 45 secs
lola: 30744592 markings, 60929934 edges, 258737 markings/sec, 50 secs
lola: 31961388 markings, 66949438 edges, 243359 markings/sec, 55 secs
lola: 33282012 markings, 73291328 edges, 264125 markings/sec, 60 secs
lola: 35245393 markings, 79131813 edges, 392676 markings/sec, 65 secs
lola: 39775949 markings, 84532615 edges, 906111 markings/sec, 70 secs
lola: 42271788 markings, 90965081 edges, 499168 markings/sec, 75 secs
lola: 43702260 markings, 97345735 edges, 286094 markings/sec, 80 secs
lola: 45096142 markings, 103631859 edges, 278776 markings/sec, 85 secs
lola: 46383911 markings, 109542589 edges, 257554 markings/sec, 90 secs
lola: 48749004 markings, 114815614 edges, 473019 markings/sec, 95 secs
lola: 52098135 markings, 119734058 edges, 669826 markings/sec, 100 secs
lola: 53449204 markings, 124969756 edges, 270214 markings/sec, 105 secs
lola: 54600647 markings, 130394768 edges, 230289 markings/sec, 110 secs
lola: 55748817 markings, 135866728 edges, 229634 markings/sec, 115 secs
lola: 56865017 markings, 141238020 edges, 223240 markings/sec, 120 secs
lola: 60373854 markings, 146314655 edges, 701767 markings/sec, 125 secs
lola: 63854264 markings, 151607288 edges, 696082 markings/sec, 130 secs
lola: 66521349 markings, 157474108 edges, 533417 markings/sec, 135 secs
lola: 68938955 markings, 163509942 edges, 483521 markings/sec, 140 secs
lola: 70796528 markings, 169283896 edges, 371515 markings/sec, 145 secs
lola: 72811915 markings, 174919697 edges, 403077 markings/sec, 150 secs
lola: 74993618 markings, 180339064 edges, 436341 markings/sec, 155 secs
lola: 77346065 markings, 185950141 edges, 470489 markings/sec, 160 secs
lola: 78974538 markings, 191437605 edges, 325695 markings/sec, 165 secs
lola: 80525815 markings, 196678360 edges, 310255 markings/sec, 170 secs
lola: 82418051 markings, 201612895 edges, 378447 markings/sec, 175 secs
lola: 85105107 markings, 206728255 edges, 537411 markings/sec, 180 secs
lola: 86684791 markings, 212070648 edges, 315937 markings/sec, 185 secs
lola: 89293581 markings, 217296462 edges, 521758 markings/sec, 190 secs
lola: 90697842 markings, 222127906 edges, 280852 markings/sec, 195 secs
lola: 92103168 markings, 227112736 edges, 281065 markings/sec, 200 secs
lola: 93521135 markings, 232177444 edges, 283593 markings/sec, 205 secs
lola: 94912448 markings, 237256138 edges, 278263 markings/sec, 210 secs
lola: 96368806 markings, 242365934 edges, 291272 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(r_6_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8 bytes per marking, with 4 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: 3416471 markings, 6029096 edges, 683294 markings/sec, 0 secs
lola: 6913463 markings, 11456111 edges, 699398 markings/sec, 5 secs
lola: 10096810 markings, 16961539 edges, 636669 markings/sec, 10 secs
lola: 12817400 markings, 22019849 edges, 544118 markings/sec, 15 secs
lola: 15751794 markings, 27264272 edges, 586879 markings/sec, 20 secs
lola: 18781113 markings, 32457876 edges, 605864 markings/sec, 25 secs
lola: 21377613 markings, 37467306 edges, 519300 markings/sec, 30 secs
lola: 24306832 markings, 42918121 edges, 585844 markings/sec, 35 secs
lola: 27084093 markings, 48582913 edges, 555452 markings/sec, 40 secs
lola: 29628340 markings, 53742663 edges, 508849 markings/sec, 45 secs
lola: 31976963 markings, 58472853 edges, 469725 markings/sec, 50 secs
lola: 34539132 markings, 63511222 edges, 512434 markings/sec, 55 secs
lola: 37137001 markings, 68458103 edges, 519574 markings/sec, 60 secs
lola: 39962276 markings, 73124228 edges, 565055 markings/sec, 65 secs
lola: 42886257 markings, 77837861 edges, 584796 markings/sec, 70 secs
lola: 44946794 markings, 82071151 edges, 412107 markings/sec, 75 secs
lola: 46625616 markings, 86385900 edges, 335764 markings/sec, 80 secs
lola: 49834292 markings, 91730874 edges, 641735 markings/sec, 85 secs
lola: 52547580 markings, 96689819 edges, 542658 markings/sec, 90 secs
lola: 54322549 markings, 100964428 edges, 354994 markings/sec, 95 secs
lola: 56067545 markings, 105432677 edges, 348999 markings/sec, 100 secs
lola: 57999510 markings, 109989340 edges, 386393 markings/sec, 105 secs
lola: 60755078 markings, 115266162 edges, 551114 markings/sec, 110 secs
lola: 62985999 markings, 120427852 edges, 446184 markings/sec, 115 secs
lola: 65492103 markings, 125846618 edges, 501221 markings/sec, 120 secs
lola: 67337795 markings, 131033208 edges, 369138 markings/sec, 125 secs
lola: 70034262 markings, 136705350 edges, 539293 markings/sec, 130 secs
lola: 71666726 markings, 141767864 edges, 326493 markings/sec, 135 secs
lola: 74560831 markings, 147405859 edges, 578821 markings/sec, 140 secs
lola: 77166557 markings, 152744488 edges, 521145 markings/sec, 145 secs
lola: 78874159 markings, 157439758 edges, 341520 markings/sec, 150 secs
lola: 80445645 markings, 162333103 edges, 314297 markings/sec, 155 secs
lola: 83465101 markings, 167995464 edges, 603891 markings/sec, 160 secs
lola: 85821112 markings, 173254669 edges, 471202 markings/sec, 165 secs
lola: 88529279 markings, 178631733 edges, 541633 markings/sec, 170 secs
lola: 90233246 markings, 183089444 edges, 340793 markings/sec, 175 secs
lola: 92105873 markings, 187709895 edges, 374525 markings/sec, 180 secs
lola: 94732321 markings, 193279842 edges, 525290 markings/sec, 185 secs
lola: 96095893 markings, 197706832 edges, 272714 markings/sec, 190 secs
lola: 97690453 markings, 202381392 edges, 318912 markings/sec, 195 secs
lola: 98945519 markings, 206567212 edges, 251013 markings/sec, 200 secs
lola: 100712622 markings, 211377075 edges, 353421 markings/sec, 205 secs
lola: 103327363 markings, 216717509 edges, 522948 markings/sec, 210 secs
lola: 105380205 markings, 221870009 edges, 410568 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(r_15_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8 bytes per marking, with 4 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: 4161003 markings, 5640061 edges, 832201 markings/sec, 0 secs
lola: 7194821 markings, 11298719 edges, 606764 markings/sec, 5 secs
lola: 9797471 markings, 16635970 edges, 520530 markings/sec, 10 secs
lola: 12061661 markings, 22100722 edges, 452838 markings/sec, 15 secs
lola: 14022887 markings, 28041076 edges, 392245 markings/sec, 20 secs
lola: 16697642 markings, 33500176 edges, 534951 markings/sec, 25 secs
lola: 19291778 markings, 39365037 edges, 518827 markings/sec, 30 secs
lola: 22234009 markings, 44926527 edges, 588446 markings/sec, 35 secs
lola: 24628877 markings, 50662395 edges, 478974 markings/sec, 40 secs
lola: 27732438 markings, 56385339 edges, 620712 markings/sec, 45 secs
lola: 30705181 markings, 61655076 edges, 594549 markings/sec, 50 secs
lola: 32399744 markings, 67481625 edges, 338913 markings/sec, 55 secs
lola: 33945178 markings, 73336138 edges, 309087 markings/sec, 60 secs
lola: 35487491 markings, 78850671 edges, 308463 markings/sec, 65 secs
lola: 37422101 markings, 84430273 edges, 386922 markings/sec, 70 secs
lola: 39544798 markings, 89849058 edges, 424539 markings/sec, 75 secs
lola: 41206950 markings, 95112366 edges, 332430 markings/sec, 80 secs
lola: 42439792 markings, 100498988 edges, 246568 markings/sec, 85 secs
lola: 43711364 markings, 106390706 edges, 254314 markings/sec, 90 secs
lola: 45018272 markings, 112390934 edges, 261382 markings/sec, 95 secs
lola: 47901539 markings, 117824539 edges, 576653 markings/sec, 100 secs
lola: 51180814 markings, 123080413 edges, 655855 markings/sec, 105 secs
lola: 53716803 markings, 128697878 edges, 507198 markings/sec, 110 secs
lola: 56594082 markings, 134141049 edges, 575456 markings/sec, 115 secs
lola: 59011002 markings, 139623497 edges, 483384 markings/sec, 120 secs
lola: 61043196 markings, 145221741 edges, 406439 markings/sec, 125 secs
lola: 64358859 markings, 150520411 edges, 663133 markings/sec, 130 secs
lola: 67286728 markings, 155883791 edges, 585574 markings/sec, 135 secs
lola: 69668774 markings, 161551861 edges, 476409 markings/sec, 140 secs
lola: 72228010 markings, 167179286 edges, 511847 markings/sec, 145 secs
lola: 74708658 markings, 172265618 edges, 496130 markings/sec, 150 secs
lola: 76890146 markings, 178162750 edges, 436298 markings/sec, 155 secs
lola: 78775029 markings, 183843938 edges, 376977 markings/sec, 160 secs
lola: 80329839 markings, 189674326 edges, 310962 markings/sec, 165 secs
lola: 81584397 markings, 195710441 edges, 250912 markings/sec, 170 secs
lola: 82757530 markings, 201587833 edges, 234627 markings/sec, 175 secs
lola: 83883537 markings, 207383348 edges, 225201 markings/sec, 180 secs
lola: 85128762 markings, 213712544 edges, 249045 markings/sec, 185 secs
lola: 86277045 markings, 219265583 edges, 229657 markings/sec, 190 secs
lola: 87353996 markings, 224671599 edges, 215390 markings/sec, 195 secs
lola: 88443593 markings, 230280849 edges, 217919 markings/sec, 200 secs
lola: 90503549 markings, 235998654 edges, 411991 markings/sec, 205 secs
lola: 92881143 markings, 241553048 edges, 475519 markings/sec, 210 secs
lola: 94821432 markings, 247086166 edges, 388058 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_8_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8 bytes per marking, with 4 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: 4690583 markings, 6209645 edges, 938117 markings/sec, 0 secs
lola: 8879714 markings, 11962106 edges, 837826 markings/sec, 5 secs
lola: 12656688 markings, 17399374 edges, 755395 markings/sec, 10 secs
lola: 16679658 markings, 23137752 edges, 804594 markings/sec, 15 secs
lola: 20299135 markings, 28453826 edges, 723895 markings/sec, 20 secs
lola: 23964975 markings, 34009087 edges, 733168 markings/sec, 25 secs
lola: 27568181 markings, 39254386 edges, 720641 markings/sec, 30 secs
lola: 30624797 markings, 44090142 edges, 611323 markings/sec, 35 secs
lola: 33785055 markings, 48935315 edges, 632052 markings/sec, 40 secs
lola: 36512861 markings, 53618240 edges, 545561 markings/sec, 45 secs
lola: 40308065 markings, 59409722 edges, 759041 markings/sec, 50 secs
lola: 43685226 markings, 64683853 edges, 675432 markings/sec, 55 secs
lola: 46956229 markings, 69898200 edges, 654201 markings/sec, 60 secs
lola: 50147939 markings, 74935621 edges, 638342 markings/sec, 65 secs
lola: 52791365 markings, 79693312 edges, 528685 markings/sec, 70 secs
lola: 56036317 markings, 84878711 edges, 648990 markings/sec, 75 secs
lola: 59312063 markings, 89890833 edges, 655149 markings/sec, 80 secs
lola: 61803247 markings, 94452322 edges, 498237 markings/sec, 85 secs
lola: 64012767 markings, 98808298 edges, 441904 markings/sec, 90 secs
lola: 66559749 markings, 103363916 edges, 509396 markings/sec, 95 secs
lola: 69783129 markings, 108584038 edges, 644676 markings/sec, 100 secs
lola: 72809713 markings, 113426768 edges, 605317 markings/sec, 105 secs
lola: 75798680 markings, 118261945 edges, 597793 markings/sec, 110 secs
lola: 78875406 markings, 123129810 edges, 615345 markings/sec, 115 secs
lola: 81045720 markings, 127322734 edges, 434063 markings/sec, 120 secs
lola: 83927375 markings, 131849367 edges, 576331 markings/sec, 125 secs
lola: 86937014 markings, 136565369 edges, 601928 markings/sec, 130 secs
lola: 89601602 markings, 141497515 edges, 532918 markings/sec, 135 secs
lola: 92182167 markings, 146161669 edges, 516113 markings/sec, 140 secs
lola: 94390678 markings, 150521602 edges, 441702 markings/sec, 145 secs
lola: 96899499 markings, 154729236 edges, 501764 markings/sec, 150 secs
lola: 99455673 markings, 159237591 edges, 511235 markings/sec, 155 secs
lola: 101624605 markings, 163182095 edges, 433786 markings/sec, 160 secs
lola: 103758617 markings, 167185513 edges, 426802 markings/sec, 165 secs
lola: 106275457 markings, 171758527 edges, 503368 markings/sec, 170 secs
lola: 108829065 markings, 176617208 edges, 510722 markings/sec, 175 secs
lola: 111675291 markings, 181655482 edges, 569245 markings/sec, 180 secs
lola: 113752882 markings, 186145265 edges, 415518 markings/sec, 185 secs
lola: 115876222 markings, 190804571 edges, 424668 markings/sec, 190 secs
lola: 118194793 markings, 195479691 edges, 463714 markings/sec, 195 secs
lola: 121101958 markings, 200907071 edges, 581433 markings/sec, 200 secs
lola: 124104927 markings, 206259750 edges, 600594 markings/sec, 205 secs
lola: 127020805 markings, 211389947 edges, 583176 markings/sec, 210 secs
lola: 129544473 markings, 216140921 edges, 504734 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(r_8_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8 bytes per marking, with 4 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: 4340593 markings, 6226691 edges, 868119 markings/sec, 0 secs
lola: 8142320 markings, 11944670 edges, 760345 markings/sec, 5 secs
lola: 11717964 markings, 17530284 edges, 715129 markings/sec, 10 secs
lola: 15369486 markings, 23234979 edges, 730304 markings/sec, 15 secs
lola: 18945113 markings, 28934662 edges, 715125 markings/sec, 20 secs
lola: 22177432 markings, 34423621 edges, 646464 markings/sec, 25 secs
lola: 25580603 markings, 40173202 edges, 680634 markings/sec, 30 secs
lola: 28771997 markings, 45598995 edges, 638279 markings/sec, 35 secs
lola: 31747870 markings, 50707185 edges, 595175 markings/sec, 40 secs
lola: 34715031 markings, 55738360 edges, 593432 markings/sec, 45 secs
lola: 37408085 markings, 60606465 edges, 538611 markings/sec, 50 secs
lola: 39766727 markings, 65275144 edges, 471728 markings/sec, 55 secs
lola: 43342400 markings, 71031328 edges, 715135 markings/sec, 60 secs
lola: 46565236 markings, 76324717 edges, 644567 markings/sec, 65 secs
lola: 49481797 markings, 81405602 edges, 583312 markings/sec, 70 secs
lola: 52596435 markings, 86727135 edges, 622928 markings/sec, 75 secs
lola: 55618958 markings, 91829053 edges, 604505 markings/sec, 80 secs
lola: 58187628 markings, 96883133 edges, 513734 markings/sec, 85 secs
lola: 61165466 markings, 102225284 edges, 595568 markings/sec, 90 secs
lola: 64385081 markings, 107423613 edges, 643923 markings/sec, 95 secs
lola: 66819340 markings, 112064325 edges, 486852 markings/sec, 100 secs
lola: 69003340 markings, 116606456 edges, 436800 markings/sec, 105 secs
lola: 70639847 markings, 120741221 edges, 327301 markings/sec, 110 secs
lola: 73774349 markings, 126519037 edges, 626900 markings/sec, 115 secs
lola: 76549780 markings, 132082649 edges, 555086 markings/sec, 120 secs
lola: 79530241 markings, 137572754 edges, 596092 markings/sec, 125 secs
lola: 82411294 markings, 143003544 edges, 576211 markings/sec, 130 secs
lola: 85283116 markings, 148271988 edges, 574364 markings/sec, 135 secs
lola: 87590949 markings, 153304507 edges, 461567 markings/sec, 140 secs
lola: 90182613 markings, 158206090 edges, 518333 markings/sec, 145 secs
lola: 92725417 markings, 162945280 edges, 508561 markings/sec, 150 secs
lola: 95568691 markings, 168460319 edges, 568655 markings/sec, 155 secs
lola: 97719090 markings, 173316223 edges, 430080 markings/sec, 160 secs
lola: 99987299 markings, 178173977 edges, 453642 markings/sec, 165 secs
lola: 101714582 markings, 182325276 edges, 345457 markings/sec, 170 secs
lola: 103989074 markings, 186545528 edges, 454898 markings/sec, 175 secs
lola: 106383300 markings, 191060387 edges, 478845 markings/sec, 180 secs
lola: 108655459 markings, 195403922 edges, 454432 markings/sec, 185 secs
lola: 110434773 markings, 199206021 edges, 355863 markings/sec, 190 secs
lola: 112292054 markings, 203081165 edges, 371456 markings/sec, 195 secs
lola: 114485716 markings, 207586740 edges, 438732 markings/sec, 200 secs
lola: 116734829 markings, 212258202 edges, 449823 markings/sec, 205 secs
lola: 119070193 markings, 217365782 edges, 467073 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_11_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8 bytes per marking, with 4 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: 4312712 markings, 5994408 edges, 862542 markings/sec, 0 secs
lola: 8505776 markings, 11800207 edges, 838613 markings/sec, 5 secs
lola: 12328524 markings, 17439095 edges, 764550 markings/sec, 10 secs
lola: 16409377 markings, 23208296 edges, 816171 markings/sec, 15 secs
lola: 20285265 markings, 28935646 edges, 775178 markings/sec, 20 secs
lola: 23838324 markings, 34544982 edges, 710612 markings/sec, 25 secs
lola: 27556500 markings, 40138171 edges, 743635 markings/sec, 30 secs
lola: 31034321 markings, 45537668 edges, 695564 markings/sec, 35 secs
lola: 34523061 markings, 50899674 edges, 697748 markings/sec, 40 secs
lola: 37559979 markings, 56081688 edges, 607384 markings/sec, 45 secs
lola: 41100112 markings, 61549970 edges, 708027 markings/sec, 50 secs
lola: 44595408 markings, 67003391 edges, 699059 markings/sec, 55 secs
lola: 47853926 markings, 72238685 edges, 651704 markings/sec, 60 secs
lola: 51134733 markings, 77501396 edges, 656161 markings/sec, 65 secs
lola: 54016266 markings, 82569702 edges, 576307 markings/sec, 70 secs
lola: 57222887 markings, 87612871 edges, 641324 markings/sec, 75 secs
lola: 60283220 markings, 92550165 edges, 612067 markings/sec, 80 secs
lola: 62849899 markings, 97217205 edges, 513336 markings/sec, 85 secs
lola: 64770017 markings, 101492707 edges, 384024 markings/sec, 90 secs
lola: 68092539 markings, 106775095 edges, 664504 markings/sec, 95 secs
lola: 71008828 markings, 111875551 edges, 583258 markings/sec, 100 secs
lola: 73947606 markings, 117031310 edges, 587756 markings/sec, 105 secs
lola: 77374406 markings, 122390082 edges, 685360 markings/sec, 110 secs
lola: 80349296 markings, 127396699 edges, 594978 markings/sec, 115 secs
lola: 83369295 markings, 132520411 edges, 604000 markings/sec, 120 secs
lola: 86698119 markings, 137798794 edges, 665765 markings/sec, 125 secs
lola: 89521963 markings, 142879283 edges, 564769 markings/sec, 130 secs
lola: 92359475 markings, 147996856 edges, 567502 markings/sec, 135 secs
lola: 94823397 markings, 152786867 edges, 492784 markings/sec, 140 secs
lola: 97852126 markings, 157969388 edges, 605746 markings/sec, 145 secs
lola: 100645816 markings, 162804942 edges, 558738 markings/sec, 150 secs
lola: 103174089 markings, 167570459 edges, 505655 markings/sec, 155 secs
lola: 105797404 markings, 172455287 edges, 524663 markings/sec, 160 secs
lola: 108280561 markings, 177091727 edges, 496631 markings/sec, 165 secs
lola: 110779221 markings, 181674203 edges, 499732 markings/sec, 170 secs
lola: 113215307 markings, 186400941 edges, 487217 markings/sec, 175 secs
lola: 115142169 markings, 190532830 edges, 385372 markings/sec, 180 secs
lola: 116513762 markings, 194193404 edges, 274319 markings/sec, 185 secs
lola: 119787716 markings, 199962096 edges, 654791 markings/sec, 190 secs
lola: 122920386 markings, 205588784 edges, 626534 markings/sec, 195 secs
lola: 125949722 markings, 211123183 edges, 605867 markings/sec, 200 secs
lola: 129060275 markings, 216790598 edges, 622111 markings/sec, 205 secs
lola: 131758213 markings, 221889118 edges, 539588 markings/sec, 210 secs
lola: 134527382 markings, 226622775 edges, 553834 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA ResAllocation-PT-R003C020-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494805307800

--------------------
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="ResAllocation-PT-R003C020"
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/ResAllocation-PT-R003C020.tgz
mv ResAllocation-PT-R003C020 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 ResAllocation-PT-R003C020, 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 r068-csrt-149440963100092"
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 ;