About the Execution of LoLA for GPPP-PT-C1000N0000001000
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15949.890 | 3539384.00 | 3543410.00 | 2689.10 | ? ? ? ? ? ? ? ? ? ? ? ? 2000 ? ? ? | normal |
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 GPPP-PT-C1000N0000001000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264500587
=====================================================================
--------------------
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 GPPP-PT-C1000N0000001000-UpperBounds-0
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-1
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-10
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-11
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-12
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-13
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-14
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-15
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-2
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-3
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-4
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-5
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-6
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-7
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-8
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494726103382
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ GPPP-PT-C1000N0000001000 @ 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: 55/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 33 places, 22 transitions, 21 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 30 transition conflict sets
lola: TASK
lola: reading formula from GPPP-PT-C1000N0000001000-UpperBounds.task
lola: MAX(G6P) : MAX(NADPH) : MAX(ATP) : MAX(Pi) : MAX(G6P) : MAX(_2PG) : MAX(a2) : MAX(start) : MAX(Gluc) : MAX(ATP) : MAX(_3PG) : MAX(G6P) : MAX(Ru5P) : MAX(DHAP) : MAX(_2PG) : MAX(GSH)
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(G6P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4592618 markings, 9156179 edges, 918524 markings/sec, 0 secs
lola: 8819660 markings, 17075447 edges, 845408 markings/sec, 5 secs
lola: 13800713 markings, 25045131 edges, 996211 markings/sec, 10 secs
lola: 18417389 markings, 32431811 edges, 923335 markings/sec, 15 secs
lola: 22407121 markings, 39786200 edges, 797946 markings/sec, 20 secs
lola: 25671038 markings, 46308048 edges, 652783 markings/sec, 25 secs
lola: 29729836 markings, 54425643 edges, 811760 markings/sec, 30 secs
lola: 33640644 markings, 62247260 edges, 782162 markings/sec, 35 secs
lola: 37481279 markings, 69928528 edges, 768127 markings/sec, 40 secs
lola: 41856747 markings, 77896033 edges, 875094 markings/sec, 45 secs
lola: 46445824 markings, 85238555 edges, 917815 markings/sec, 50 secs
lola: 50804478 markings, 92212402 edges, 871731 markings/sec, 55 secs
lola: 55094530 markings, 99652757 edges, 858010 markings/sec, 60 secs
lola: 59258548 markings, 107182031 edges, 832804 markings/sec, 65 secs
lola: 63254503 markings, 114415389 edges, 799191 markings/sec, 70 secs
lola: 67403491 markings, 121934305 edges, 829798 markings/sec, 75 secs
lola: 70788133 markings, 128063798 edges, 676928 markings/sec, 80 secs
lola: 74805676 markings, 135340845 edges, 803509 markings/sec, 85 secs
lola: 78855426 markings, 142672435 edges, 809950 markings/sec, 90 secs
lola: 82904594 markings, 150011048 edges, 809834 markings/sec, 95 secs
lola: 86899115 markings, 157251257 edges, 798904 markings/sec, 100 secs
lola: 90836059 markings, 164386292 edges, 787389 markings/sec, 105 secs
lola: 94829591 markings, 171624513 edges, 798706 markings/sec, 110 secs
lola: 98730378 markings, 178697225 edges, 780157 markings/sec, 115 secs
lola: 102592752 markings, 185703089 edges, 772475 markings/sec, 120 secs
lola: 106623342 markings, 193014580 edges, 806118 markings/sec, 125 secs
lola: 110622367 markings, 200264641 edges, 799805 markings/sec, 130 secs
lola: 114625878 markings, 207532813 edges, 800702 markings/sec, 135 secs
lola: 118566665 markings, 214685513 edges, 788157 markings/sec, 140 secs
lola: 122542535 markings, 221900811 edges, 795174 markings/sec, 145 secs
lola: 126431958 markings, 228963021 edges, 777885 markings/sec, 150 secs
lola: 130277557 markings, 235941731 edges, 769120 markings/sec, 155 secs
lola: 134181312 markings, 243032054 edges, 780751 markings/sec, 160 secs
lola: 138066229 markings, 250090220 edges, 776983 markings/sec, 165 secs
lola: 141910104 markings, 257070894 edges, 768775 markings/sec, 170 secs
lola: 145696931 markings, 263953794 edges, 757365 markings/sec, 175 secs
lola: 149578811 markings, 271008661 edges, 776376 markings/sec, 180 secs
lola: 153382517 markings, 277919057 edges, 760741 markings/sec, 185 secs
lola: 157160906 markings, 284792208 edges, 755678 markings/sec, 190 secs
lola: 161179437 markings, 291548819 edges, 803706 markings/sec, 195 secs
lola: 164931357 markings, 297176701 edges, 750384 markings/sec, 200 secs
lola: 168575245 markings, 302642533 edges, 728778 markings/sec, 205 secs
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(NADPH)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4975796 markings, 7778701 edges, 995159 markings/sec, 0 secs
lola: 8962149 markings, 14079510 edges, 797271 markings/sec, 5 secs
lola: 13435185 markings, 20502717 edges, 894607 markings/sec, 10 secs
lola: 17536000 markings, 26475791 edges, 820163 markings/sec, 15 secs
lola: 21530777 markings, 32488544 edges, 798955 markings/sec, 20 secs
lola: 25309710 markings, 38174690 edges, 755787 markings/sec, 25 secs
lola: 29083955 markings, 43902229 edges, 754849 markings/sec, 30 secs
lola: 32198734 markings, 48706077 edges, 622956 markings/sec, 35 secs
lola: 35889111 markings, 54359061 edges, 738075 markings/sec, 40 secs
lola: 39512499 markings, 59940818 edges, 724678 markings/sec, 45 secs
lola: 42813901 markings, 65084065 edges, 660280 markings/sec, 50 secs
lola: 46213967 markings, 70311903 edges, 680013 markings/sec, 55 secs
lola: 49868566 markings, 75784130 edges, 730920 markings/sec, 60 secs
lola: 53437950 markings, 81225825 edges, 713877 markings/sec, 65 secs
lola: 57483094 markings, 87260797 edges, 809029 markings/sec, 70 secs
lola: 61895478 markings, 93517401 edges, 882477 markings/sec, 75 secs
lola: 66417149 markings, 100010173 edges, 904334 markings/sec, 80 secs
lola: 69994630 markings, 105434214 edges, 715496 markings/sec, 85 secs
lola: 73775482 markings, 111150748 edges, 756170 markings/sec, 90 secs
lola: 77314940 markings, 116675385 edges, 707892 markings/sec, 95 secs
lola: 80813768 markings, 122157829 edges, 699766 markings/sec, 100 secs
lola: 84185299 markings, 127458563 edges, 674306 markings/sec, 105 secs
lola: 87301144 markings, 132352669 edges, 623169 markings/sec, 110 secs
lola: 90459829 markings, 137401680 edges, 631737 markings/sec, 115 secs
lola: 94041328 markings, 142819576 edges, 716300 markings/sec, 120 secs
lola: 97552842 markings, 148249922 edges, 702303 markings/sec, 125 secs
lola: 101345421 markings, 153851075 edges, 758516 markings/sec, 130 secs
lola: 104716565 markings, 159347124 edges, 674229 markings/sec, 135 secs
lola: 107449082 markings, 163755273 edges, 546503 markings/sec, 140 secs
lola: 110845975 markings, 168842159 edges, 679379 markings/sec, 145 secs
lola: 114732148 markings, 174420641 edges, 777235 markings/sec, 150 secs
lola: 118514638 markings, 180069523 edges, 756498 markings/sec, 155 secs
lola: 122705547 markings, 186134017 edges, 838182 markings/sec, 160 secs
lola: 126737286 markings, 192030086 edges, 806348 markings/sec, 165 secs
lola: 130315692 markings, 197290223 edges, 715681 markings/sec, 170 secs
lola: 133825914 markings, 202662274 edges, 702044 markings/sec, 175 secs
lola: 137344365 markings, 208071651 edges, 703690 markings/sec, 180 secs
lola: 140875061 markings, 213490274 edges, 706139 markings/sec, 185 secs
lola: 143873970 markings, 218195183 edges, 599782 markings/sec, 190 secs
lola: 147055487 markings, 223138005 edges, 636303 markings/sec, 195 secs
lola: 150226981 markings, 228166792 edges, 634299 markings/sec, 200 secs
lola: 153630273 markings, 233465359 edges, 680658 markings/sec, 205 secs
lola: 156777204 markings, 238456111 edges, 629386 markings/sec, 210 secs
lola: 159619023 markings, 242878513 edges, 568364 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(ATP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4521116 markings, 9678246 edges, 904223 markings/sec, 0 secs
lola: 8893086 markings, 19075653 edges, 874394 markings/sec, 5 secs
lola: 13126722 markings, 28177392 edges, 846727 markings/sec, 10 secs
lola: 17293873 markings, 37137616 edges, 833430 markings/sec, 15 secs
lola: 21429423 markings, 46030312 edges, 827110 markings/sec, 20 secs
lola: 25551032 markings, 54893629 edges, 824322 markings/sec, 25 secs
lola: 29657399 markings, 63723690 edges, 821273 markings/sec, 30 secs
lola: 33570843 markings, 72766905 edges, 782689 markings/sec, 35 secs
lola: 36598716 markings, 82293645 edges, 605575 markings/sec, 40 secs
lola: 39560777 markings, 91617302 edges, 592412 markings/sec, 45 secs
lola: 42521294 markings, 100937883 edges, 592103 markings/sec, 50 secs
lola: 45444039 markings, 110139742 edges, 584549 markings/sec, 55 secs
lola: 48354596 markings, 119304214 edges, 582111 markings/sec, 60 secs
lola: 51269942 markings, 128483851 edges, 583069 markings/sec, 65 secs
lola: 54162538 markings, 137592616 edges, 578519 markings/sec, 70 secs
lola: 57106077 markings, 146861511 edges, 588708 markings/sec, 75 secs
lola: 60002749 markings, 155983011 edges, 579334 markings/sec, 80 secs
lola: 62930198 markings, 165191715 edges, 585490 markings/sec, 85 secs
lola: 65969629 markings, 174751026 edges, 607886 markings/sec, 90 secs
lola: 68838334 markings, 183780608 edges, 573741 markings/sec, 95 secs
lola: 71671344 markings, 192699319 edges, 566602 markings/sec, 100 secs
lola: 74493877 markings, 201585703 edges, 564507 markings/sec, 105 secs
lola: 77311655 markings, 210458008 edges, 563556 markings/sec, 110 secs
lola: 80095033 markings, 219222054 edges, 556676 markings/sec, 115 secs
lola: 82809558 markings, 227769905 edges, 542905 markings/sec, 120 secs
lola: 85590100 markings, 236525770 edges, 556108 markings/sec, 125 secs
lola: 88365466 markings, 245264975 edges, 555073 markings/sec, 130 secs
lola: 91165249 markings, 254081884 edges, 559957 markings/sec, 135 secs
lola: 93983973 markings, 262940360 edges, 563745 markings/sec, 140 secs
lola: 96772999 markings, 271716844 edges, 557805 markings/sec, 145 secs
lola: 99534720 markings, 280410044 edges, 552344 markings/sec, 150 secs
lola: 102211622 markings, 288837620 edges, 535380 markings/sec, 155 secs
lola: 104880795 markings, 297241682 edges, 533835 markings/sec, 160 secs
lola: 107539458 markings, 305613061 edges, 531733 markings/sec, 165 secs
lola: 110187444 markings, 313950374 edges, 529597 markings/sec, 170 secs
lola: 112834846 markings, 322286495 edges, 529480 markings/sec, 175 secs
lola: 115561500 markings, 330873226 edges, 545331 markings/sec, 180 secs
lola: 118247505 markings, 339331357 edges, 537201 markings/sec, 185 secs
lola: 120912562 markings, 347723730 edges, 533011 markings/sec, 190 secs
lola: 123700071 markings, 356483486 edges, 557502 markings/sec, 195 secs
lola: 126573678 markings, 365520963 edges, 574721 markings/sec, 200 secs
lola: 129396281 markings, 374401211 edges, 564521 markings/sec, 205 secs
lola: 132196332 markings, 383211579 edges, 560010 markings/sec, 210 secs
lola: 134981870 markings, 391976865 edges, 557108 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(Pi)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4337360 markings, 8644666 edges, 867472 markings/sec, 0 secs
lola: 8419970 markings, 16809886 edges, 816522 markings/sec, 5 secs
lola: 13511699 markings, 25178515 edges, 1018346 markings/sec, 10 secs
lola: 18424575 markings, 33039117 edges, 982575 markings/sec, 15 secs
lola: 23343575 markings, 40909518 edges, 983800 markings/sec, 20 secs
lola: 27067118 markings, 48106199 edges, 744709 markings/sec, 25 secs
lola: 30392848 markings, 54750673 edges, 665146 markings/sec, 30 secs
lola: 34713163 markings, 63391303 edges, 864063 markings/sec, 35 secs
lola: 38870079 markings, 71705134 edges, 831383 markings/sec, 40 secs
lola: 42988504 markings, 79941986 edges, 823685 markings/sec, 45 secs
lola: 47136366 markings, 88237710 edges, 829572 markings/sec, 50 secs
lola: 51920220 markings, 96185605 edges, 956771 markings/sec, 55 secs
lola: 56503908 markings, 103519507 edges, 916738 markings/sec, 60 secs
lola: 61065705 markings, 110818381 edges, 912359 markings/sec, 65 secs
lola: 65395760 markings, 118221590 edges, 866011 markings/sec, 70 secs
lola: 69400954 markings, 125441207 edges, 801039 markings/sec, 75 secs
lola: 73513585 markings, 132843307 edges, 822526 markings/sec, 80 secs
lola: 77651333 markings, 140301807 edges, 827550 markings/sec, 85 secs
lola: 81774031 markings, 147735900 edges, 824540 markings/sec, 90 secs
lola: 85910384 markings, 155199624 edges, 827271 markings/sec, 95 secs
lola: 90053209 markings, 162704963 edges, 828565 markings/sec, 100 secs
lola: 94218864 markings, 170197404 edges, 833131 markings/sec, 105 secs
lola: 98338175 markings, 177624007 edges, 823862 markings/sec, 110 secs
lola: 102425666 markings, 185035330 edges, 817498 markings/sec, 115 secs
lola: 106478791 markings, 192324899 edges, 810625 markings/sec, 120 secs
lola: 110496760 markings, 199587298 edges, 803594 markings/sec, 125 secs
lola: 114481431 markings, 206781146 edges, 796934 markings/sec, 130 secs
lola: 118455809 markings, 213989359 edges, 794876 markings/sec, 135 secs
lola: 122426355 markings, 221123787 edges, 794109 markings/sec, 140 secs
lola: 126403231 markings, 228331840 edges, 795375 markings/sec, 145 secs
lola: 130371025 markings, 235532771 edges, 793559 markings/sec, 150 secs
lola: 134322031 markings, 242671640 edges, 790201 markings/sec, 155 secs
lola: 138287046 markings, 249809513 edges, 793003 markings/sec, 160 secs
lola: 142249629 markings, 256913853 edges, 792517 markings/sec, 165 secs
lola: 146195141 markings, 264096858 edges, 789102 markings/sec, 170 secs
lola: 150154480 markings, 271286303 edges, 791868 markings/sec, 175 secs
lola: 154143335 markings, 278400693 edges, 797771 markings/sec, 180 secs
lola: 158089717 markings, 285617147 edges, 789276 markings/sec, 185 secs
lola: 161937706 markings, 292536434 edges, 769598 markings/sec, 190 secs
lola: 165766853 markings, 299378382 edges, 765829 markings/sec, 195 secs
lola: 169701382 markings, 306576892 edges, 786906 markings/sec, 200 secs
lola: 173714030 markings, 313797502 edges, 802530 markings/sec, 205 secs
lola: 177598043 markings, 320809646 edges, 776803 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(G6P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4638267 markings, 9247478 edges, 927653 markings/sec, 0 secs
lola: 9144657 markings, 17595442 edges, 901278 markings/sec, 5 secs
lola: 14062380 markings, 25463800 edges, 983545 markings/sec, 10 secs
lola: 18781899 markings, 33015031 edges, 943904 markings/sec, 15 secs
lola: 22558384 markings, 40088726 edges, 755297 markings/sec, 20 secs
lola: 25804038 markings, 46574048 edges, 649131 markings/sec, 25 secs
lola: 29978159 markings, 54922288 edges, 834824 markings/sec, 30 secs
lola: 34016039 markings, 62998048 edges, 807576 markings/sec, 35 secs
lola: 38002866 markings, 70971704 edges, 797365 markings/sec, 40 secs
lola: 42734898 markings, 79301074 edges, 946406 markings/sec, 45 secs
lola: 47338508 markings, 86666850 edges, 920722 markings/sec, 50 secs
lola: 51807100 markings, 93816596 edges, 893718 markings/sec, 55 secs
lola: 56168091 markings, 101590626 edges, 872198 markings/sec, 60 secs
lola: 60388122 markings, 109231500 edges, 844006 markings/sec, 65 secs
lola: 64571657 markings, 116804910 edges, 836707 markings/sec, 70 secs
lola: 68773572 markings, 124414869 edges, 840383 markings/sec, 75 secs
lola: 72905175 markings, 131897568 edges, 826321 markings/sec, 80 secs
lola: 76965849 markings, 139251659 edges, 812135 markings/sec, 85 secs
lola: 81204704 markings, 146930770 edges, 847771 markings/sec, 90 secs
lola: 85335494 markings, 154414156 edges, 826158 markings/sec, 95 secs
lola: 89382995 markings, 161749755 edges, 809500 markings/sec, 100 secs
lola: 93441337 markings, 169107602 edges, 811668 markings/sec, 105 secs
lola: 97480673 markings, 176433467 edges, 807867 markings/sec, 110 secs
lola: 101500960 markings, 183719193 edges, 804057 markings/sec, 115 secs
lola: 105559118 markings, 191082130 edges, 811632 markings/sec, 120 secs
lola: 109744019 markings, 198674903 edges, 836980 markings/sec, 125 secs
lola: 113857710 markings, 206136258 edges, 822738 markings/sec, 130 secs
lola: 117907822 markings, 213487640 edges, 810022 markings/sec, 135 secs
lola: 122033732 markings, 220977680 edges, 825182 markings/sec, 140 secs
lola: 126109439 markings, 228376963 edges, 815141 markings/sec, 145 secs
lola: 130110695 markings, 235643891 edges, 800251 markings/sec, 150 secs
lola: 134189543 markings, 243045752 edges, 815770 markings/sec, 155 secs
lola: 138277222 markings, 250472282 edges, 817536 markings/sec, 160 secs
lola: 142320561 markings, 257820093 edges, 808668 markings/sec, 165 secs
lola: 146299642 markings, 265049393 edges, 795816 markings/sec, 170 secs
lola: 150367211 markings, 272443769 edges, 813514 markings/sec, 175 secs
lola: 154423200 markings, 279814774 edges, 811198 markings/sec, 180 secs
lola: 158438232 markings, 287110012 edges, 803006 markings/sec, 185 secs
lola: 162951263 markings, 294206559 edges, 902606 markings/sec, 190 secs
lola: 166914285 markings, 300151092 edges, 792604 markings/sec, 195 secs
lola: 170755917 markings, 306036181 edges, 768326 markings/sec, 200 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 223 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(_2PG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4512133 markings, 9684764 edges, 902427 markings/sec, 0 secs
lola: 8879435 markings, 19107784 edges, 873460 markings/sec, 5 secs
lola: 13190556 markings, 28412743 edges, 862224 markings/sec, 10 secs
lola: 17410986 markings, 37524054 edges, 844086 markings/sec, 15 secs
lola: 21625584 markings, 46623608 edges, 842920 markings/sec, 20 secs
lola: 25800474 markings, 55638908 edges, 834978 markings/sec, 25 secs
lola: 29877955 markings, 64444230 edges, 815496 markings/sec, 30 secs
lola: 33853378 markings, 73029194 edges, 795085 markings/sec, 35 secs
lola: 37894114 markings, 81755947 edges, 808147 markings/sec, 40 secs
lola: 41937376 markings, 90488662 edges, 808652 markings/sec, 45 secs
lola: 45981326 markings, 99222664 edges, 808790 markings/sec, 50 secs
lola: 50026111 markings, 107959291 edges, 808957 markings/sec, 55 secs
lola: 54076711 markings, 116708563 edges, 810120 markings/sec, 60 secs
lola: 58082188 markings, 125360202 edges, 801095 markings/sec, 65 secs
lola: 62093554 markings, 134024820 edges, 802273 markings/sec, 70 secs
lola: 66136357 markings, 142757848 edges, 808561 markings/sec, 75 secs
lola: 70207079 markings, 151550694 edges, 814144 markings/sec, 80 secs
lola: 74183804 markings, 160141357 edges, 795345 markings/sec, 85 secs
lola: 78086129 markings, 168571349 edges, 780465 markings/sec, 90 secs
lola: 81987422 markings, 176998575 edges, 780259 markings/sec, 95 secs
lola: 85883130 markings, 185414317 edges, 779142 markings/sec, 100 secs
lola: 89778434 markings, 193829865 edges, 779061 markings/sec, 105 secs
lola: 93477120 markings, 201817426 edges, 739737 markings/sec, 110 secs
lola: 96077292 markings, 207444742 edges, 520034 markings/sec, 115 secs
lola: 98704536 markings, 213138062 edges, 525449 markings/sec, 120 secs
lola: 101573554 markings, 219343385 edges, 573804 markings/sec, 125 secs
lola: 104043537 markings, 224693517 edges, 493997 markings/sec, 130 secs
lola: 106867197 markings, 230801162 edges, 564732 markings/sec, 135 secs
lola: 109540509 markings, 236592054 edges, 534662 markings/sec, 140 secs
lola: 112320212 markings, 242601620 edges, 555941 markings/sec, 145 secs
lola: 115026874 markings, 248463526 edges, 541332 markings/sec, 150 secs
lola: 117493109 markings, 253805008 edges, 493247 markings/sec, 155 secs
lola: 120009636 markings, 259246241 edges, 503305 markings/sec, 160 secs
lola: 123027599 markings, 265780444 edges, 603593 markings/sec, 165 secs
lola: 125702668 markings, 271574301 edges, 535014 markings/sec, 170 secs
lola: 128284889 markings, 277167302 edges, 516444 markings/sec, 175 secs
lola: 131342230 markings, 283775811 edges, 611468 markings/sec, 180 secs
lola: 134128618 markings, 289809377 edges, 557278 markings/sec, 185 secs
lola: 136786817 markings, 295566365 edges, 531640 markings/sec, 190 secs
lola: 139415473 markings, 301259558 edges, 525731 markings/sec, 195 secs
lola: 142438019 markings, 307793614 edges, 604509 markings/sec, 200 secs
lola: 145473788 markings, 314366912 edges, 607154 markings/sec, 205 secs
lola: 148306428 markings, 320501233 edges, 566528 markings/sec, 210 secs
lola: 151092535 markings, 326535578 edges, 557221 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 223 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(a2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4457349 markings, 6296075 edges, 891470 markings/sec, 0 secs
lola: 8872055 markings, 12540998 edges, 882941 markings/sec, 5 secs
lola: 13277590 markings, 18772907 edges, 881107 markings/sec, 10 secs
lola: 17764933 markings, 25121168 edges, 897469 markings/sec, 15 secs
lola: 22264459 markings, 31486627 edges, 899905 markings/sec, 20 secs
lola: 26760097 markings, 37845223 edges, 899128 markings/sec, 25 secs
lola: 31258304 markings, 44208743 edges, 899641 markings/sec, 30 secs
lola: 35790295 markings, 50619262 edges, 906398 markings/sec, 35 secs
lola: 40266325 markings, 56951506 edges, 895206 markings/sec, 40 secs
lola: 44781457 markings, 63338780 edges, 903026 markings/sec, 45 secs
lola: 49298395 markings, 69727950 edges, 903388 markings/sec, 50 secs
lola: 53827420 markings, 76135526 edges, 905805 markings/sec, 55 secs
lola: 58206554 markings, 82329777 edges, 875827 markings/sec, 60 secs
lola: 62501586 markings, 88405625 edges, 859006 markings/sec, 65 secs
lola: 66794061 markings, 94477538 edges, 858495 markings/sec, 70 secs
lola: 71081307 markings, 100542189 edges, 857449 markings/sec, 75 secs
lola: 75052119 markings, 105977022 edges, 794162 markings/sec, 80 secs
lola: 78429743 markings, 110444938 edges, 675525 markings/sec, 85 secs
lola: 81866293 markings, 115096435 edges, 687310 markings/sec, 90 secs
lola: 85510505 markings, 120193517 edges, 728842 markings/sec, 95 secs
lola: 90255850 markings, 126829991 edges, 949069 markings/sec, 100 secs
lola: 94922137 markings, 133356241 edges, 933257 markings/sec, 105 secs
lola: 99601143 markings, 139900031 edges, 935801 markings/sec, 110 secs
lola: 104279794 markings, 146443182 edges, 935730 markings/sec, 115 secs
lola: 108949279 markings, 152972616 edges, 933897 markings/sec, 120 secs
lola: 113880872 markings, 159690501 edges, 986319 markings/sec, 125 secs
lola: 119041893 markings, 167947078 edges, 1032204 markings/sec, 130 secs
lola: SUBRESULT
lola: result: 2000
lola: produced by: state space
lola: The maximum value of the given expression is 2000
lola: ========================================
lola: subprocess 7 will run for 232 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(start)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4531040 markings, 9032026 edges, 906208 markings/sec, 0 secs
lola: 8694169 markings, 17358283 edges, 832626 markings/sec, 5 secs
lola: 13936084 markings, 25857532 edges, 1048383 markings/sec, 10 secs
lola: 18883724 markings, 33773755 edges, 989528 markings/sec, 15 secs
lola: 23832654 markings, 41692042 edges, 989786 markings/sec, 20 secs
lola: 27401018 markings, 48774000 edges, 713673 markings/sec, 25 secs
lola: 30922807 markings, 55810591 edges, 704358 markings/sec, 30 secs
lola: 35209256 markings, 64383489 edges, 857290 markings/sec, 35 secs
lola: 39347482 markings, 72659943 edges, 827645 markings/sec, 40 secs
lola: 43468825 markings, 80902626 edges, 824269 markings/sec, 45 secs
lola: 47660062 markings, 89285101 edges, 838247 markings/sec, 50 secs
lola: 52723583 markings, 97470985 edges, 1012704 markings/sec, 55 secs
lola: 57316710 markings, 104819989 edges, 918625 markings/sec, 60 secs
lola: 61903653 markings, 112159096 edges, 917389 markings/sec, 65 secs
lola: 66121215 markings, 119527643 edges, 843512 markings/sec, 70 secs
lola: 70099313 markings, 126695171 edges, 795620 markings/sec, 75 secs
lola: 74096754 markings, 133897474 edges, 799488 markings/sec, 80 secs
lola: 78067531 markings, 141063879 edges, 794155 markings/sec, 85 secs
lola: 82033193 markings, 148223978 edges, 793132 markings/sec, 90 secs
lola: 86030895 markings, 155440097 edges, 799540 markings/sec, 95 secs
lola: 90110512 markings, 162819587 edges, 815923 markings/sec, 100 secs
lola: 94144137 markings, 170077803 edges, 806725 markings/sec, 105 secs
lola: 98113266 markings, 177254368 edges, 793826 markings/sec, 110 secs
lola: 102079182 markings, 184429498 edges, 793183 markings/sec, 115 secs
lola: 106125024 markings, 191710478 edges, 809168 markings/sec, 120 secs
lola: 110130219 markings, 198953700 edges, 801039 markings/sec, 125 secs
lola: 114160306 markings, 206207404 edges, 806017 markings/sec, 130 secs
lola: 118165819 markings, 213463779 edges, 801103 markings/sec, 135 secs
lola: 122234902 markings, 220817541 edges, 813817 markings/sec, 140 secs
lola: 126295788 markings, 228116897 edges, 812177 markings/sec, 145 secs
lola: 130352757 markings, 235496231 edges, 811394 markings/sec, 150 secs
lola: 134359348 markings, 242746281 edges, 801318 markings/sec, 155 secs
lola: 138358122 markings, 249951683 edges, 799755 markings/sec, 160 secs
lola: 142277188 markings, 256968993 edges, 783813 markings/sec, 165 secs
lola: 146189650 markings, 264085874 edges, 782492 markings/sec, 170 secs
lola: 150104582 markings, 271186495 edges, 782986 markings/sec, 175 secs
lola: 154028932 markings, 278217611 edges, 784870 markings/sec, 180 secs
lola: 157913644 markings, 285282129 edges, 776942 markings/sec, 185 secs
lola: 161848612 markings, 292358174 edges, 786994 markings/sec, 190 secs
lola: 165774489 markings, 299393664 edges, 785175 markings/sec, 195 secs
lola: 169702075 markings, 306578280 edges, 785517 markings/sec, 200 secs
lola: 173708150 markings, 313788093 edges, 801215 markings/sec, 205 secs
lola: 177614573 markings, 320842725 edges, 781285 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 234 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Gluc)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4482484 markings, 8934914 edges, 896497 markings/sec, 0 secs
lola: 8600349 markings, 17170643 edges, 823573 markings/sec, 5 secs
lola: 13785424 markings, 25616477 edges, 1037015 markings/sec, 10 secs
lola: 18833603 markings, 33693561 edges, 1009636 markings/sec, 15 secs
lola: 23852065 markings, 41723102 edges, 1003692 markings/sec, 20 secs
lola: 27413000 markings, 48797962 edges, 712187 markings/sec, 25 secs
lola: 30919221 markings, 55803418 edges, 701244 markings/sec, 30 secs
lola: 35207854 markings, 64380687 edges, 857727 markings/sec, 35 secs
lola: 38634566 markings, 71234109 edges, 685342 markings/sec, 40 secs
lola: 42733122 markings, 79431221 edges, 819711 markings/sec, 45 secs
lola: 46896784 markings, 87758546 edges, 832732 markings/sec, 50 secs
lola: 51711299 markings, 95851332 edges, 962903 markings/sec, 55 secs
lola: 56318923 markings, 103223530 edges, 921525 markings/sec, 60 secs
lola: 60934736 markings, 110608830 edges, 923163 markings/sec, 65 secs
lola: 65319833 markings, 118079663 edges, 877019 markings/sec, 70 secs
lola: 69341946 markings, 125323550 edges, 804423 markings/sec, 75 secs
lola: 73357658 markings, 132568440 edges, 803142 markings/sec, 80 secs
lola: 77375789 markings, 139830310 edges, 803626 markings/sec, 85 secs
lola: 81332481 markings, 146959389 edges, 791338 markings/sec, 90 secs
lola: 85278855 markings, 154058625 edges, 789275 markings/sec, 95 secs
lola: 89155508 markings, 161050421 edges, 775331 markings/sec, 100 secs
lola: 93054782 markings, 168135642 edges, 779855 markings/sec, 105 secs
lola: 96988343 markings, 175237942 edges, 786712 markings/sec, 110 secs
lola: 100792304 markings, 182068766 edges, 760792 markings/sec, 115 secs
lola: 104027857 markings, 187937673 edges, 647111 markings/sec, 120 secs
lola: 108013360 markings, 195109775 edges, 797101 markings/sec, 125 secs
lola: 111973188 markings, 202272199 edges, 791966 markings/sec, 130 secs
lola: 115912107 markings, 209388480 edges, 787784 markings/sec, 135 secs
lola: 119878844 markings, 216558362 edges, 793347 markings/sec, 140 secs
lola: 123850816 markings, 223701224 edges, 794394 markings/sec, 145 secs
lola: 127831366 markings, 230946383 edges, 796110 markings/sec, 150 secs
lola: 131793017 markings, 238097886 edges, 792330 markings/sec, 155 secs
lola: 135753466 markings, 245260948 edges, 792090 markings/sec, 160 secs
lola: 139695756 markings, 252356360 edges, 788458 markings/sec, 165 secs
lola: 143657691 markings, 259449408 edges, 792387 markings/sec, 170 secs
lola: 147589727 markings, 266596973 edges, 786407 markings/sec, 175 secs
lola: 151351098 markings, 273381910 edges, 752274 markings/sec, 180 secs
lola: 155052914 markings, 280094224 edges, 740363 markings/sec, 185 secs
lola: 158793720 markings, 286834829 edges, 748161 markings/sec, 190 secs
lola: 162725672 markings, 293950343 edges, 786390 markings/sec, 195 secs
lola: 166684651 markings, 301097088 edges, 791796 markings/sec, 200 secs
lola: 170634102 markings, 308233555 edges, 789890 markings/sec, 205 secs
lola: 174557842 markings, 315258413 edges, 784748 markings/sec, 210 secs
lola: 178399646 markings, 322234243 edges, 768361 markings/sec, 215 secs
lola: 178691397 markings, 322817843 edges, 58350 markings/sec, 220 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ATP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4532462 markings, 9702398 edges, 906492 markings/sec, 0 secs
lola: 8864935 markings, 19014812 edges, 866495 markings/sec, 5 secs
lola: 13214079 markings, 28365282 edges, 869829 markings/sec, 10 secs
lola: 17424817 markings, 37418971 edges, 842148 markings/sec, 15 secs
lola: 21606464 markings, 46410428 edges, 836329 markings/sec, 20 secs
lola: 25844082 markings, 55523756 edges, 847524 markings/sec, 25 secs
lola: 30071942 markings, 64615610 edges, 845572 markings/sec, 30 secs
lola: 33960771 markings, 73992961 edges, 777766 markings/sec, 35 secs
lola: 37046383 markings, 83702552 edges, 617122 markings/sec, 40 secs
lola: 40065414 markings, 93206248 edges, 603806 markings/sec, 45 secs
lola: 43060321 markings, 102634755 edges, 598981 markings/sec, 50 secs
lola: 45417311 markings, 110055803 edges, 471398 markings/sec, 55 secs
lola: 48388591 markings, 119411093 edges, 594256 markings/sec, 60 secs
lola: 51347624 markings, 128729007 edges, 591807 markings/sec, 65 secs
lola: 54292824 markings, 138002495 edges, 589040 markings/sec, 70 secs
lola: 57297272 markings, 147463713 edges, 600890 markings/sec, 75 secs
lola: 60284947 markings, 156871602 edges, 597535 markings/sec, 80 secs
lola: 63323387 markings, 166426126 edges, 607688 markings/sec, 85 secs
lola: 66267067 markings, 175687146 edges, 588736 markings/sec, 90 secs
lola: 69125454 markings, 184684464 edges, 571677 markings/sec, 95 secs
lola: 71947816 markings, 193570005 edges, 564472 markings/sec, 100 secs
lola: 74757112 markings, 202414509 edges, 561859 markings/sec, 105 secs
lola: 77545755 markings, 211194811 edges, 557729 markings/sec, 110 secs
lola: 80332800 markings, 219970903 edges, 557409 markings/sec, 115 secs
lola: 83201510 markings, 229004273 edges, 573742 markings/sec, 120 secs
lola: 86079154 markings, 238065140 edges, 575529 markings/sec, 125 secs
lola: 88963669 markings, 247148481 edges, 576903 markings/sec, 130 secs
lola: 91867531 markings, 256293394 edges, 580772 markings/sec, 135 secs
lola: 94898789 markings, 265818526 edges, 606252 markings/sec, 140 secs
lola: 97783085 markings, 274896330 edges, 576859 markings/sec, 145 secs
lola: 100671356 markings, 283988528 edges, 577654 markings/sec, 150 secs
lola: 103452594 markings, 292744936 edges, 556248 markings/sec, 155 secs
lola: 106175969 markings, 301319752 edges, 544675 markings/sec, 160 secs
lola: 108915817 markings, 309946830 edges, 547970 markings/sec, 165 secs
lola: 111662199 markings, 318594625 edges, 549276 markings/sec, 170 secs
lola: 114415580 markings, 327264610 edges, 550676 markings/sec, 175 secs
lola: 117176195 markings, 335957241 edges, 552123 markings/sec, 180 secs
lola: 119929076 markings, 344626602 edges, 550576 markings/sec, 185 secs
lola: 122682501 markings, 353297396 edges, 550685 markings/sec, 190 secs
lola: 125675375 markings, 362695341 edges, 598575 markings/sec, 195 secs
lola: 128515205 markings, 371629154 edges, 567966 markings/sec, 200 secs
lola: 131318115 markings, 380448139 edges, 560582 markings/sec, 205 secs
lola: 134136267 markings, 389315799 edges, 563630 markings/sec, 210 secs
lola: 136907802 markings, 398037800 edges, 554307 markings/sec, 215 secs
lola: 139667573 markings, 406722140 edges, 551954 markings/sec, 220 secs
lola: 142430649 markings, 415417768 edges, 552615 markings/sec, 225 secs
lola: 145191433 markings, 424106146 edges, 552157 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(_3PG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4427305 markings, 9501435 edges, 885461 markings/sec, 0 secs
lola: 8724290 markings, 18775095 edges, 859397 markings/sec, 5 secs
lola: 12969609 markings, 27941898 edges, 849064 markings/sec, 10 secs
lola: 16257773 markings, 35043257 edges, 657633 markings/sec, 15 secs
lola: 20499787 markings, 44205862 edges, 848403 markings/sec, 20 secs
lola: 24726733 markings, 53337278 edges, 845389 markings/sec, 25 secs
lola: 28874479 markings, 62298425 edges, 829549 markings/sec, 30 secs
lola: 32124894 markings, 69320912 edges, 650083 markings/sec, 35 secs
lola: 36276309 markings, 78290903 edges, 830283 markings/sec, 40 secs
lola: 40424878 markings, 87255344 edges, 829714 markings/sec, 45 secs
lola: 44537708 markings, 96143145 edges, 822566 markings/sec, 50 secs
lola: 47745050 markings, 103073507 edges, 641468 markings/sec, 55 secs
lola: 51791251 markings, 111817339 edges, 809240 markings/sec, 60 secs
lola: 55807491 markings, 120497422 edges, 803248 markings/sec, 65 secs
lola: 59817890 markings, 129164273 edges, 802080 markings/sec, 70 secs
lola: 63905441 markings, 137997709 edges, 817510 markings/sec, 75 secs
lola: 67978174 markings, 146800443 edges, 814547 markings/sec, 80 secs
lola: 72063226 markings, 155629386 edges, 817010 markings/sec, 85 secs
lola: 76132020 markings, 164423651 edges, 813759 markings/sec, 90 secs
lola: 79290579 markings, 171249504 edges, 631712 markings/sec, 95 secs
lola: 83311714 markings, 179940780 edges, 804227 markings/sec, 100 secs
lola: 87397188 markings, 188771057 edges, 817095 markings/sec, 105 secs
lola: 91477822 markings, 197591557 edges, 816127 markings/sec, 110 secs
lola: 95560522 markings, 206416169 edges, 816540 markings/sec, 115 secs
lola: 99588871 markings, 215122662 edges, 805670 markings/sec, 120 secs
lola: 103629322 markings, 223856180 edges, 808090 markings/sec, 125 secs
lola: 107603238 markings, 232446396 edges, 794783 markings/sec, 130 secs
lola: 111607365 markings, 241101781 edges, 800825 markings/sec, 135 secs
lola: 115584084 markings, 249697493 edges, 795344 markings/sec, 140 secs
lola: 119562688 markings, 258296998 edges, 795721 markings/sec, 145 secs
lola: 123215653 markings, 266189058 edges, 730593 markings/sec, 150 secs
lola: 125232038 markings, 270559121 edges, 403277 markings/sec, 155 secs
lola: 127214206 markings, 274846643 edges, 396434 markings/sec, 160 secs
lola: 129036128 markings, 278787774 edges, 364384 markings/sec, 165 secs
lola: 131139442 markings, 283346149 edges, 420663 markings/sec, 170 secs
lola: 133734991 markings, 288959034 edges, 519110 markings/sec, 175 secs
lola: 136017022 markings, 293902748 edges, 456406 markings/sec, 180 secs
lola: 138434992 markings, 299131168 edges, 483594 markings/sec, 185 secs
lola: 140628677 markings, 303882852 edges, 438737 markings/sec, 190 secs
lola: 142326346 markings, 307560112 edges, 339534 markings/sec, 195 secs
lola: 144619919 markings, 312519484 edges, 458715 markings/sec, 200 secs
lola: 146869135 markings, 317391005 edges, 449843 markings/sec, 205 secs
lola: 149060661 markings, 322138070 edges, 438305 markings/sec, 210 secs
lola: 151864134 markings, 328199446 edges, 560695 markings/sec, 215 secs
lola: 154477695 markings, 333859622 edges, 522712 markings/sec, 220 secs
lola: 156896593 markings, 339098778 edges, 483780 markings/sec, 225 secs
lola: 159482982 markings, 344690550 edges, 517278 markings/sec, 230 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 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(G6P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4789397 markings, 9549738 edges, 957879 markings/sec, 0 secs
lola: 9702279 markings, 18487639 edges, 982576 markings/sec, 5 secs
lola: 14801890 markings, 26647015 edges, 1019922 markings/sec, 10 secs
lola: 19485620 markings, 34140984 edges, 936746 markings/sec, 15 secs
lola: 22983417 markings, 40938793 edges, 699559 markings/sec, 20 secs
lola: 26399537 markings, 47765044 edges, 683224 markings/sec, 25 secs
lola: 30500377 markings, 55966725 edges, 820168 markings/sec, 30 secs
lola: 34500088 markings, 63966147 edges, 799942 markings/sec, 35 secs
lola: 38456238 markings, 71878447 edges, 791230 markings/sec, 40 secs
lola: 43189857 markings, 80029008 edges, 946724 markings/sec, 45 secs
lola: 47612793 markings, 87105705 edges, 884587 markings/sec, 50 secs
lola: 52214101 markings, 94467799 edges, 920262 markings/sec, 55 secs
lola: 55969465 markings, 101232882 edges, 751073 markings/sec, 60 secs
lola: 59664357 markings, 107918762 edges, 738978 markings/sec, 65 secs
lola: 63796854 markings, 115399976 edges, 826499 markings/sec, 70 secs
lola: 68053211 markings, 123108663 edges, 851271 markings/sec, 75 secs
lola: 72222459 markings, 130655215 edges, 833850 markings/sec, 80 secs
lola: 76270247 markings, 137990420 edges, 809558 markings/sec, 85 secs
lola: 80440526 markings, 145545679 edges, 834056 markings/sec, 90 secs
lola: 84499162 markings, 152900649 edges, 811727 markings/sec, 95 secs
lola: 88517074 markings, 160182958 edges, 803582 markings/sec, 100 secs
lola: 92526817 markings, 167448303 edges, 801949 markings/sec, 105 secs
lola: 96472489 markings, 174600794 edges, 789134 markings/sec, 110 secs
lola: 100438349 markings, 181793661 edges, 793172 markings/sec, 115 secs
lola: 104546839 markings, 189248962 edges, 821698 markings/sec, 120 secs
lola: 108850773 markings, 197054424 edges, 860787 markings/sec, 125 secs
lola: 112969762 markings, 204528106 edges, 823798 markings/sec, 130 secs
lola: 117079633 markings, 211983036 edges, 821974 markings/sec, 135 secs
lola: 121143106 markings, 219359344 edges, 812695 markings/sec, 140 secs
lola: 125206040 markings, 226736174 edges, 812587 markings/sec, 145 secs
lola: 129199962 markings, 233985163 edges, 798784 markings/sec, 150 secs
lola: 133188415 markings, 241232094 edges, 797691 markings/sec, 155 secs
lola: 137343545 markings, 248774654 edges, 831026 markings/sec, 160 secs
lola: 141401665 markings, 256152042 edges, 811624 markings/sec, 165 secs
lola: 145362224 markings, 263344302 edges, 792112 markings/sec, 170 secs
lola: 149443388 markings, 270759463 edges, 816233 markings/sec, 175 secs
lola: 153424365 markings, 278000855 edges, 796195 markings/sec, 180 secs
lola: 157423969 markings, 285268873 edges, 799921 markings/sec, 185 secs
lola: 161799732 markings, 292479262 edges, 875153 markings/sec, 190 secs
lola: 165823533 markings, 298514965 edges, 804760 markings/sec, 195 secs
lola: 169691280 markings, 304332763 edges, 773549 markings/sec, 200 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Ru5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 5136238 markings, 8015363 edges, 1027248 markings/sec, 0 secs
lola: 9289856 markings, 14563787 edges, 830724 markings/sec, 5 secs
lola: 13863129 markings, 21143478 edges, 914655 markings/sec, 10 secs
lola: 17426945 markings, 26300838 edges, 712763 markings/sec, 15 secs
lola: 21609700 markings, 32601293 edges, 836551 markings/sec, 20 secs
lola: 25871998 markings, 38990651 edges, 852460 markings/sec, 25 secs
lola: 29654026 markings, 44775377 edges, 756406 markings/sec, 30 secs
lola: 32433610 markings, 49054406 edges, 555917 markings/sec, 35 secs
lola: 36182285 markings, 54837186 edges, 749735 markings/sec, 40 secs
lola: 40053534 markings, 60760222 edges, 774250 markings/sec, 45 secs
lola: 43334018 markings, 65885347 edges, 656097 markings/sec, 50 secs
lola: 46395436 markings, 70570220 edges, 612284 markings/sec, 55 secs
lola: 50184872 markings, 76290559 edges, 757887 markings/sec, 60 secs
lola: 53892163 markings, 81947412 edges, 741458 markings/sec, 65 secs
lola: 58215946 markings, 88310648 edges, 864757 markings/sec, 70 secs
lola: 62806791 markings, 94794518 edges, 918169 markings/sec, 75 secs
lola: 67356098 markings, 101472637 edges, 909861 markings/sec, 80 secs
lola: 71021367 markings, 106966530 edges, 733054 markings/sec, 85 secs
lola: 74958406 markings, 113027603 edges, 787408 markings/sec, 90 secs
lola: 78467208 markings, 118509931 edges, 701760 markings/sec, 95 secs
lola: 82201887 markings, 124357679 edges, 746936 markings/sec, 100 secs
lola: 85683201 markings, 129814119 edges, 696263 markings/sec, 105 secs
lola: 88870348 markings, 134852546 edges, 637429 markings/sec, 110 secs
lola: 91675906 markings, 139351708 edges, 561112 markings/sec, 115 secs
lola: 95468208 markings, 145025559 edges, 758460 markings/sec, 120 secs
lola: 99079264 markings, 150489093 edges, 722211 markings/sec, 125 secs
lola: 102970516 markings, 156427416 edges, 778250 markings/sec, 130 secs
lola: 105918101 markings, 161387539 edges, 589517 markings/sec, 135 secs
lola: 108853482 markings, 165981101 edges, 587076 markings/sec, 140 secs
lola: 112883541 markings, 171763196 edges, 806012 markings/sec, 145 secs
lola: 116820677 markings, 177498899 edges, 787427 markings/sec, 150 secs
lola: 120515538 markings, 183054501 edges, 738972 markings/sec, 155 secs
lola: 125338781 markings, 190003850 edges, 964649 markings/sec, 160 secs
lola: 128888678 markings, 195123977 edges, 709979 markings/sec, 165 secs
lola: 132680697 markings, 200904524 edges, 758404 markings/sec, 170 secs
lola: 136309648 markings, 206479646 edges, 725790 markings/sec, 175 secs
lola: 139932092 markings, 212023282 edges, 724489 markings/sec, 180 secs
lola: 143272875 markings, 217269623 edges, 668157 markings/sec, 185 secs
lola: 146368833 markings, 222082039 edges, 619192 markings/sec, 190 secs
lola: 149652219 markings, 227248770 edges, 656677 markings/sec, 195 secs
lola: 152983129 markings, 232476722 edges, 666182 markings/sec, 200 secs
lola: 156253065 markings, 237625097 edges, 653987 markings/sec, 205 secs
lola: 159032031 markings, 241993908 edges, 555793 markings/sec, 210 secs
lola: 162288858 markings, 247083211 edges, 651365 markings/sec, 215 secs
lola: 165505589 markings, 252077670 edges, 643346 markings/sec, 220 secs
lola: 168518743 markings, 256852298 edges, 602631 markings/sec, 225 secs
lola: 171650482 markings, 261942713 edges, 626348 markings/sec, 230 secs
lola: 175567126 markings, 267708014 edges, 783329 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(DHAP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4456427 markings, 9677596 edges, 891285 markings/sec, 0 secs
lola: 8824752 markings, 19249735 edges, 873665 markings/sec, 5 secs
lola: 12713991 markings, 27779915 edges, 777848 markings/sec, 10 secs
lola: 16530912 markings, 36155997 edges, 763384 markings/sec, 15 secs
lola: 20868523 markings, 45678175 edges, 867522 markings/sec, 20 secs
lola: 25174967 markings, 55135759 edges, 861289 markings/sec, 25 secs
lola: 29441433 markings, 64506480 edges, 853293 markings/sec, 30 secs
lola: 33742109 markings, 73952218 edges, 860135 markings/sec, 35 secs
lola: 38041018 markings, 83396890 edges, 859782 markings/sec, 40 secs
lola: 42361502 markings, 92890403 edges, 864097 markings/sec, 45 secs
lola: 46654569 markings, 102323331 edges, 858613 markings/sec, 50 secs
lola: 50933769 markings, 111727134 edges, 855840 markings/sec, 55 secs
lola: 55188087 markings, 121075971 edges, 850864 markings/sec, 60 secs
lola: 59480114 markings, 130509298 edges, 858405 markings/sec, 65 secs
lola: 63302189 markings, 138909275 edges, 764415 markings/sec, 70 secs
lola: 67028134 markings, 147099113 edges, 745189 markings/sec, 75 secs
lola: 71318849 markings, 156530824 edges, 858143 markings/sec, 80 secs
lola: 75567241 markings, 165869217 edges, 849678 markings/sec, 85 secs
lola: 79830077 markings, 175240984 edges, 852567 markings/sec, 90 secs
lola: 84093176 markings, 184611540 edges, 852620 markings/sec, 95 secs
lola: 88334233 markings, 193935142 edges, 848211 markings/sec, 100 secs
lola: 92562499 markings, 203232211 edges, 845653 markings/sec, 105 secs
lola: 96776834 markings, 212496785 edges, 842867 markings/sec, 110 secs
lola: 101004715 markings, 221792843 edges, 845576 markings/sec, 115 secs
lola: 105224222 markings, 231068629 edges, 843901 markings/sec, 120 secs
lola: 109445368 markings, 240349685 edges, 844229 markings/sec, 125 secs
lola: 113635907 markings, 249563272 edges, 838108 markings/sec, 130 secs
lola: 117834728 markings, 258796794 edges, 839764 markings/sec, 135 secs
lola: 121926640 markings, 267793055 edges, 818382 markings/sec, 140 secs
lola: 126128876 markings, 277033968 edges, 840447 markings/sec, 145 secs
lola: 130314132 markings, 286237444 edges, 837051 markings/sec, 150 secs
lola: 134460968 markings, 295354429 edges, 829367 markings/sec, 155 secs
lola: 138643921 markings, 304552704 edges, 836591 markings/sec, 160 secs
lola: 142800710 markings, 313693300 edges, 831358 markings/sec, 165 secs
lola: 146899758 markings, 322708541 edges, 819810 markings/sec, 170 secs
lola: 150987047 markings, 331695983 edges, 817458 markings/sec, 175 secs
lola: 155114914 markings, 340772729 edges, 825573 markings/sec, 180 secs
lola: 159281137 markings, 349935737 edges, 833245 markings/sec, 185 secs
lola: 163363305 markings, 358913618 edges, 816434 markings/sec, 190 secs
lola: 167442515 markings, 367883046 edges, 815842 markings/sec, 195 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 263 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(_2PG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4485716 markings, 9627931 edges, 897143 markings/sec, 0 secs
lola: 8790134 markings, 18914791 edges, 860884 markings/sec, 5 secs
lola: 13074857 markings, 28163182 edges, 856945 markings/sec, 10 secs
lola: 17296205 markings, 37275977 edges, 844270 markings/sec, 15 secs
lola: 21455464 markings, 46256346 edges, 831852 markings/sec, 20 secs
lola: 25597913 markings, 55201446 edges, 828490 markings/sec, 25 secs
lola: 29720719 markings, 64104303 edges, 824561 markings/sec, 30 secs
lola: 33871714 markings, 73068923 edges, 830199 markings/sec, 35 secs
lola: 38025625 markings, 82040065 edges, 830782 markings/sec, 40 secs
lola: 42164331 markings, 90978684 edges, 827741 markings/sec, 45 secs
lola: 45174409 markings, 97479652 edges, 602016 markings/sec, 50 secs
lola: 49311320 markings, 106415152 edges, 827382 markings/sec, 55 secs
lola: 53435849 markings, 115323806 edges, 824906 markings/sec, 60 secs
lola: 57551511 markings, 124214292 edges, 823132 markings/sec, 65 secs
lola: 61669300 markings, 133108602 edges, 823558 markings/sec, 70 secs
lola: 65772641 markings, 141971851 edges, 820668 markings/sec, 75 secs
lola: 69818861 markings, 150712711 edges, 809244 markings/sec, 80 secs
lola: 73875720 markings, 159475996 edges, 811372 markings/sec, 85 secs
lola: 76883960 markings, 165974329 edges, 601648 markings/sec, 90 secs
lola: 80881972 markings, 174611271 edges, 799602 markings/sec, 95 secs
lola: 84914941 markings, 183323428 edges, 806594 markings/sec, 100 secs
lola: 88904826 markings, 191942868 edges, 797977 markings/sec, 105 secs
lola: 92906869 markings, 200581370 edges, 800409 markings/sec, 110 secs
lola: 95466530 markings, 206128217 edges, 511932 markings/sec, 115 secs
lola: 97983426 markings, 211575748 edges, 503379 markings/sec, 120 secs
lola: 100638226 markings, 217317121 edges, 530960 markings/sec, 125 secs
lola: 103129004 markings, 222712557 edges, 498156 markings/sec, 130 secs
lola: 105718141 markings, 228312455 edges, 517827 markings/sec, 135 secs
lola: 108243530 markings, 233782201 edges, 505078 markings/sec, 140 secs
lola: 110611738 markings, 238912620 edges, 473642 markings/sec, 145 secs
lola: 113518943 markings, 245197546 edges, 581441 markings/sec, 150 secs
lola: 116035235 markings, 250647254 edges, 503258 markings/sec, 155 secs
lola: 118488362 markings, 255960145 edges, 490625 markings/sec, 160 secs
lola: 121230937 markings, 261890002 edges, 548515 markings/sec, 165 secs
lola: 123973385 markings, 267828799 edges, 548490 markings/sec, 170 secs
lola: 126518388 markings, 273341475 edges, 509001 markings/sec, 175 secs
lola: 129044340 markings, 278802088 edges, 505190 markings/sec, 180 secs
lola: 132073478 markings, 285358979 edges, 605828 markings/sec, 185 secs
lola: 134809063 markings, 291282814 edges, 547117 markings/sec, 190 secs
lola: 137429266 markings, 296957730 edges, 524041 markings/sec, 195 secs
lola: 140095324 markings, 302732706 edges, 533212 markings/sec, 200 secs
lola: 143269241 markings, 309593169 edges, 634783 markings/sec, 205 secs
lola: 146168424 markings, 315871314 edges, 579837 markings/sec, 210 secs
lola: 148977970 markings, 321955978 edges, 561909 markings/sec, 215 secs
lola: 151788580 markings, 328042966 edges, 562122 markings/sec, 220 secs
lola: 154813436 markings, 334579827 edges, 604971 markings/sec, 225 secs
lola: 157490979 markings, 340377013 edges, 535509 markings/sec, 230 secs
lola: 160086883 markings, 345998017 edges, 519181 markings/sec, 235 secs
lola: 162779090 markings, 351828784 edges, 538441 markings/sec, 240 secs
lola: 165517420 markings, 357759719 edges, 547666 markings/sec, 245 secs
lola: 168473161 markings, 364148307 edges, 591148 markings/sec, 250 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 267 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(GSH)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4899006 markings, 7661517 edges, 979801 markings/sec, 0 secs
lola: 9053493 markings, 14207661 edges, 830897 markings/sec, 5 secs
lola: 13568012 markings, 20718091 edges, 902904 markings/sec, 10 secs
lola: 17826238 markings, 26890297 edges, 851645 markings/sec, 15 secs
lola: 21927254 markings, 33053233 edges, 820203 markings/sec, 20 secs
lola: 26033925 markings, 39236446 edges, 821334 markings/sec, 25 secs
lola: 29782396 markings, 44968899 edges, 749694 markings/sec, 30 secs
lola: 33238162 markings, 50264893 edges, 691153 markings/sec, 35 secs
lola: 36851705 markings, 55890185 edges, 722709 markings/sec, 40 secs
lola: 40743857 markings, 61852631 edges, 778430 markings/sec, 45 secs
lola: 44098590 markings, 67040977 edges, 670947 markings/sec, 50 secs
lola: 47926539 markings, 72836971 edges, 765590 markings/sec, 55 secs
lola: 51554377 markings, 78396706 edges, 725568 markings/sec, 60 secs
lola: 55477697 markings, 84409464 edges, 784664 markings/sec, 65 secs
lola: 60087794 markings, 90970111 edges, 922019 markings/sec, 70 secs
lola: 64765311 markings, 97519498 edges, 935503 markings/sec, 75 secs
lola: 68923294 markings, 103841166 edges, 831597 markings/sec, 80 secs
lola: 72581031 markings, 109342226 edges, 731547 markings/sec, 85 secs
lola: 76493779 markings, 115440715 edges, 782550 markings/sec, 90 secs
lola: 80045026 markings, 120998065 edges, 710249 markings/sec, 95 secs
lola: 83795444 markings, 126826291 edges, 750084 markings/sec, 100 secs
lola: 87089627 markings, 132019462 edges, 658837 markings/sec, 105 secs
lola: 90367536 markings, 137259160 edges, 655582 markings/sec, 110 secs
lola: 94089884 markings, 142898028 edges, 744470 markings/sec, 115 secs
lola: 97767493 markings, 148578483 edges, 735522 markings/sec, 120 secs
lola: 101740693 markings, 154448254 edges, 794640 markings/sec, 125 secs
lola: 105142230 markings, 160054368 edges, 680307 markings/sec, 130 secs
lola: 107944214 markings, 164529546 edges, 560397 markings/sec, 135 secs
lola: 111613516 markings, 169965002 edges, 733860 markings/sec, 140 secs
lola: 115799506 markings, 175927062 edges, 837198 markings/sec, 145 secs
lola: 119740465 markings, 181823629 edges, 788192 markings/sec, 150 secs
lola: 123988853 markings, 188092849 edges, 849678 markings/sec, 155 secs
lola: 127999515 markings, 193862944 edges, 802132 markings/sec, 160 secs
lola: 131809902 markings, 199564379 edges, 762077 markings/sec, 165 secs
lola: 135400032 markings, 205099770 edges, 718026 markings/sec, 170 secs
lola: 139129330 markings, 210810497 edges, 745860 markings/sec, 175 secs
lola: 142712388 markings, 216371037 edges, 716612 markings/sec, 180 secs
lola: 145623495 markings, 220940094 edges, 582221 markings/sec, 185 secs
lola: 149077533 markings, 226312554 edges, 690808 markings/sec, 190 secs
lola: 152308293 markings, 231440455 edges, 646152 markings/sec, 195 secs
lola: 155685414 markings, 236708005 edges, 675424 markings/sec, 200 secs
lola: 158576689 markings, 241267781 edges, 578255 markings/sec, 205 secs
lola: 161822958 markings, 246349353 edges, 649254 markings/sec, 210 secs
lola: 165215184 markings, 251628104 edges, 678445 markings/sec, 215 secs
lola: 168278265 markings, 256457068 edges, 612616 markings/sec, 220 secs
lola: 171237230 markings, 261247063 edges, 591793 markings/sec, 225 secs
lola: 174748660 markings, 266522163 edges, 702286 markings/sec, 230 secs
lola: 178733034 markings, 272204345 edges, 796875 markings/sec, 235 secs
lola: 182709005 markings, 277850208 edges, 795194 markings/sec, 240 secs
lola: 186787856 markings, 283723393 edges, 815770 markings/sec, 245 secs
lola: 190344760 markings, 289354993 edges, 711381 markings/sec, 250 secs
lola: 194065007 markings, 295060026 edges, 744049 markings/sec, 255 secs
lola: 196104259 markings, 298402505 edges, 407850 markings/sec, 260 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown 2000 unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-6 2000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494729642766
--------------------
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="GPPP-PT-C1000N0000001000"
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/GPPP-PT-C1000N0000001000.tgz
mv GPPP-PT-C1000N0000001000 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 GPPP-PT-C1000N0000001000, 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-149440264500587"
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 '
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 ;