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

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

=== Now, execution of the tool begins

BK_START 1494723574256


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ GPPP-PT-C0100N0000100000 @ 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-C0100N0000100000-UpperBounds.task
lola: MAX(PEP) : MAX(_1_3_BPG) : MAX(Pyr) : MAX(PEP) : MAX(Pi) : MAX(DHAP) : MAX(Pi) : MAX(c1) : MAX(_2PG) : MAX(G6P) : MAX(c1) : MAX(NADPplus) : MAX(NADplus) : MAX(GSH) : MAX(a2) : MAX(PEP)
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(PEP)
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: 4725639 markings, 8491284 edges, 945128 markings/sec, 0 secs
lola: 8450222 markings, 14614330 edges, 744917 markings/sec, 5 secs
lola: 12089875 markings, 20640186 edges, 727931 markings/sec, 10 secs
lola: 15601711 markings, 26440485 edges, 702367 markings/sec, 15 secs
lola: 19658422 markings, 33145398 edges, 811342 markings/sec, 20 secs
lola: 23223344 markings, 39134207 edges, 712984 markings/sec, 25 secs
lola: 26319696 markings, 44335610 edges, 619270 markings/sec, 30 secs
lola: 29598055 markings, 49843348 edges, 655672 markings/sec, 35 secs
lola: 32878864 markings, 55354646 edges, 656162 markings/sec, 40 secs
lola: 36136407 markings, 60827432 edges, 651509 markings/sec, 45 secs
lola: 39366148 markings, 66253391 edges, 645948 markings/sec, 50 secs
lola: 42586124 markings, 71662703 edges, 643995 markings/sec, 55 secs
lola: 46008089 markings, 77411284 edges, 684393 markings/sec, 60 secs
lola: 49269400 markings, 82890071 edges, 652262 markings/sec, 65 secs
lola: 52305138 markings, 87989819 edges, 607148 markings/sec, 70 secs
lola: 55548751 markings, 93438571 edges, 648723 markings/sec, 75 secs
lola: 58979972 markings, 99202686 edges, 686244 markings/sec, 80 secs
lola: 62293488 markings, 104768952 edges, 662703 markings/sec, 85 secs
lola: 65532102 markings, 110209270 edges, 647723 markings/sec, 90 secs
lola: 69009903 markings, 116051058 edges, 695560 markings/sec, 95 secs
lola: 72651779 markings, 122168464 edges, 728375 markings/sec, 100 secs
lola: 76376622 markings, 128424812 edges, 744969 markings/sec, 105 secs
lola: 80260294 markings, 134950533 edges, 776734 markings/sec, 110 secs
lola: 83753372 markings, 140826931 edges, 698616 markings/sec, 115 secs
lola: 87253343 markings, 146717982 edges, 699994 markings/sec, 120 secs
lola: 90917923 markings, 152883265 edges, 732916 markings/sec, 125 secs
lola: 94806712 markings, 159427977 edges, 777758 markings/sec, 130 secs
lola: 98560524 markings, 165756366 edges, 750762 markings/sec, 135 secs
lola: 102343117 markings, 172109680 edges, 756519 markings/sec, 140 secs
lola: 105979420 markings, 178231160 edges, 727261 markings/sec, 145 secs
lola: 109621499 markings, 184358095 edges, 728416 markings/sec, 150 secs
lola: 113497016 markings, 190881154 edges, 775103 markings/sec, 155 secs
lola: 117238193 markings, 197176337 edges, 748235 markings/sec, 160 secs
lola: 121029102 markings, 203556011 edges, 758182 markings/sec, 165 secs
lola: 124939722 markings, 210138624 edges, 782124 markings/sec, 170 secs
lola: 128484487 markings, 216102739 edges, 708953 markings/sec, 175 secs
lola: 132279860 markings, 222491480 edges, 759075 markings/sec, 180 secs
lola: 135721944 markings, 228283077 edges, 688417 markings/sec, 185 secs
lola: 139274435 markings, 234263323 edges, 710498 markings/sec, 190 secs
lola: 142657527 markings, 239955997 edges, 676618 markings/sec, 195 secs
lola: 146248340 markings, 246000941 edges, 718163 markings/sec, 200 secs
lola: 149621824 markings, 251677123 edges, 674697 markings/sec, 205 secs
lola: 153403891 markings, 258044105 edges, 756413 markings/sec, 210 secs
lola: 157002002 markings, 264098359 edges, 719622 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(_1_3_BPG)
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: 3590346 markings, 9563513 edges, 718069 markings/sec, 0 secs
lola: 7014878 markings, 19112198 edges, 684906 markings/sec, 5 secs
lola: 10597290 markings, 28145635 edges, 716482 markings/sec, 10 secs
lola: 13740066 markings, 35677668 edges, 628555 markings/sec, 15 secs
lola: 16603767 markings, 42548952 edges, 572740 markings/sec, 20 secs
lola: 19347294 markings, 49132028 edges, 548705 markings/sec, 25 secs
lola: 22045372 markings, 55606240 edges, 539616 markings/sec, 30 secs
lola: 24749260 markings, 62093553 edges, 540778 markings/sec, 35 secs
lola: 27414973 markings, 68489724 edges, 533143 markings/sec, 40 secs
lola: 30063687 markings, 74845165 edges, 529743 markings/sec, 45 secs
lola: 32699975 markings, 81170696 edges, 527258 markings/sec, 50 secs
lola: 35303152 markings, 87416826 edges, 520635 markings/sec, 55 secs
lola: 37887597 markings, 93617871 edges, 516889 markings/sec, 60 secs
lola: 40447562 markings, 99760289 edges, 511993 markings/sec, 65 secs
lola: 42978869 markings, 105833810 edges, 506261 markings/sec, 70 secs
lola: 45495355 markings, 111872005 edges, 503297 markings/sec, 75 secs
lola: 48012312 markings, 117911029 edges, 503391 markings/sec, 80 secs
lola: 50536356 markings, 123967296 edges, 504809 markings/sec, 85 secs
lola: 53018494 markings, 129922876 edges, 496428 markings/sec, 90 secs
lola: 55178518 markings, 135105629 edges, 432005 markings/sec, 95 secs
lola: 57701474 markings, 141158983 edges, 504591 markings/sec, 100 secs
lola: 60219275 markings, 147200129 edges, 503560 markings/sec, 105 secs
lola: 62737423 markings, 153242230 edges, 503630 markings/sec, 110 secs
lola: 65265961 markings, 159308930 edges, 505708 markings/sec, 115 secs
lola: 67793322 markings, 165373105 edges, 505472 markings/sec, 120 secs
lola: 70367727 markings, 171549963 edges, 514881 markings/sec, 125 secs
lola: 72898587 markings, 177622251 edges, 506172 markings/sec, 130 secs
lola: 75410139 markings, 183648384 edges, 502310 markings/sec, 135 secs
lola: 77981117 markings, 189817146 edges, 514196 markings/sec, 140 secs
lola: 80517594 markings, 195902887 edges, 507295 markings/sec, 145 secs
lola: 83067241 markings, 202020386 edges, 509929 markings/sec, 150 secs
lola: 85565512 markings, 208014385 edges, 499654 markings/sec, 155 secs
lola: 88147279 markings, 214208971 edges, 516353 markings/sec, 160 secs
lola: 90730593 markings, 220407014 edges, 516663 markings/sec, 165 secs
lola: 93340776 markings, 226669642 edges, 522037 markings/sec, 170 secs
lola: 95595680 markings, 232079848 edges, 450981 markings/sec, 175 secs
lola: 98229457 markings, 238399007 edges, 526755 markings/sec, 180 secs
lola: 100877930 markings, 244753343 edges, 529695 markings/sec, 185 secs
lola: 103549657 markings, 251163486 edges, 534345 markings/sec, 190 secs
lola: 106172922 markings, 257457414 edges, 524653 markings/sec, 195 secs
lola: 108811058 markings, 263787040 edges, 527627 markings/sec, 200 secs
lola: 111499073 markings, 270236337 edges, 537603 markings/sec, 205 secs
lola: 114143917 markings, 276582121 edges, 528969 markings/sec, 210 secs
lola: 116824809 markings, 283014757 edges, 536178 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(Pyr)
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: 4276986 markings, 9015173 edges, 855397 markings/sec, 0 secs
lola: 7847582 markings, 16369914 edges, 714119 markings/sec, 5 secs
lola: 11268221 markings, 23415598 edges, 684128 markings/sec, 10 secs
lola: 14418669 markings, 29904116 edges, 630090 markings/sec, 15 secs
lola: 17575793 markings, 36405064 edges, 631425 markings/sec, 20 secs
lola: 20791680 markings, 43025449 edges, 643177 markings/sec, 25 secs
lola: 24387950 markings, 50426504 edges, 719254 markings/sec, 30 secs
lola: 28065332 markings, 58043116 edges, 735476 markings/sec, 35 secs
lola: 31716856 markings, 65606462 edges, 730305 markings/sec, 40 secs
lola: 35342829 markings, 73117336 edges, 725195 markings/sec, 45 secs
lola: 38964477 markings, 80619429 edges, 724330 markings/sec, 50 secs
lola: 42551466 markings, 88050161 edges, 717398 markings/sec, 55 secs
lola: 46174156 markings, 95554657 edges, 724538 markings/sec, 60 secs
lola: 49809032 markings, 103084674 edges, 726975 markings/sec, 65 secs
lola: 53548402 markings, 110830515 edges, 747874 markings/sec, 70 secs
lola: 57134520 markings, 118260071 edges, 717224 markings/sec, 75 secs
lola: 60779923 markings, 125812423 edges, 729081 markings/sec, 80 secs
lola: 64455296 markings, 133432089 edges, 735075 markings/sec, 85 secs
lola: 68092877 markings, 140968305 edges, 727516 markings/sec, 90 secs
lola: 71677385 markings, 148395481 edges, 716902 markings/sec, 95 secs
lola: 75385849 markings, 156078249 edges, 741693 markings/sec, 100 secs
lola: 79050815 markings, 163671650 edges, 732993 markings/sec, 105 secs
lola: 82660926 markings, 171152155 edges, 722022 markings/sec, 110 secs
lola: 86309455 markings, 178711941 edges, 729706 markings/sec, 115 secs
lola: 89900081 markings, 186152304 edges, 718125 markings/sec, 120 secs
lola: 93442324 markings, 193493167 edges, 708449 markings/sec, 125 secs
lola: 96963604 markings, 200886212 edges, 704256 markings/sec, 130 secs
lola: 100310801 markings, 207868131 edges, 669439 markings/sec, 135 secs
lola: 103517565 markings, 214557692 edges, 641353 markings/sec, 140 secs
lola: 106707458 markings, 221216816 edges, 637979 markings/sec, 145 secs
lola: 109916408 markings, 227924369 edges, 641790 markings/sec, 150 secs
lola: 113186872 markings, 234779407 edges, 654093 markings/sec, 155 secs
lola: 116480181 markings, 241650932 edges, 658662 markings/sec, 160 secs
lola: 119715310 markings, 248402470 edges, 647026 markings/sec, 165 secs
lola: 122984921 markings, 255229238 edges, 653922 markings/sec, 170 secs
lola: 126200126 markings, 261940682 edges, 643041 markings/sec, 175 secs
lola: 129434742 markings, 268693200 edges, 646923 markings/sec, 180 secs
lola: 132665427 markings, 275438939 edges, 646137 markings/sec, 185 secs
lola: 135884822 markings, 282164899 edges, 643879 markings/sec, 190 secs
lola: 139094051 markings, 288866956 edges, 641846 markings/sec, 195 secs
lola: 142278087 markings, 295517497 edges, 636807 markings/sec, 200 secs
lola: 145471371 markings, 302188254 edges, 638657 markings/sec, 205 secs
lola: 148711934 markings, 308958702 edges, 648113 markings/sec, 210 secs
lola: 151907136 markings, 315638691 edges, 639040 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(PEP)
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: 4694159 markings, 8441913 edges, 938832 markings/sec, 0 secs
lola: 8703081 markings, 15047287 edges, 801784 markings/sec, 5 secs
lola: 12552041 markings, 21381243 edges, 769792 markings/sec, 10 secs
lola: 16374740 markings, 27706459 edges, 764540 markings/sec, 15 secs
lola: 20552509 markings, 34646894 edges, 835554 markings/sec, 20 secs
lola: 24287062 markings, 40920896 edges, 746911 markings/sec, 25 secs
lola: 27892249 markings, 46977490 edges, 721037 markings/sec, 30 secs
lola: 31394787 markings, 52861795 edges, 700508 markings/sec, 35 secs
lola: 34900517 markings, 58751263 edges, 701146 markings/sec, 40 secs
lola: 38346212 markings, 64539906 edges, 689139 markings/sec, 45 secs
lola: 41778769 markings, 70306060 edges, 686511 markings/sec, 50 secs
lola: 45235589 markings, 76113437 edges, 691364 markings/sec, 55 secs
lola: 48683515 markings, 81905890 edges, 689585 markings/sec, 60 secs
lola: 52184407 markings, 87787053 edges, 700178 markings/sec, 65 secs
lola: 55736484 markings, 93754193 edges, 710415 markings/sec, 70 secs
lola: 59240062 markings, 99639656 edges, 700716 markings/sec, 75 secs
lola: 62733868 markings, 105508635 edges, 698761 markings/sec, 80 secs
lola: 66197800 markings, 111327464 edges, 692786 markings/sec, 85 secs
lola: 69803807 markings, 117384679 edges, 721201 markings/sec, 90 secs
lola: 73362605 markings, 123362353 edges, 711760 markings/sec, 95 secs
lola: 76241557 markings, 128197921 edges, 575790 markings/sec, 100 secs
lola: 80007868 markings, 134527779 edges, 753262 markings/sec, 105 secs
lola: 83618133 markings, 140599575 edges, 722053 markings/sec, 110 secs
lola: 87477242 markings, 147094103 edges, 771822 markings/sec, 115 secs
lola: 91287371 markings, 153505340 edges, 762026 markings/sec, 120 secs
lola: 95120828 markings, 159956270 edges, 766691 markings/sec, 125 secs
lola: 98957227 markings, 166413003 edges, 767280 markings/sec, 130 secs
lola: 102601369 markings, 172544304 edges, 728828 markings/sec, 135 secs
lola: 106451695 markings, 179024521 edges, 770065 markings/sec, 140 secs
lola: 110152332 markings, 185251609 edges, 740127 markings/sec, 145 secs
lola: 113909432 markings, 191574641 edges, 751420 markings/sec, 150 secs
lola: 117652976 markings, 197879996 edges, 748709 markings/sec, 155 secs
lola: 121254285 markings, 203934941 edges, 720262 markings/sec, 160 secs
lola: 125052363 markings, 210327849 edges, 759616 markings/sec, 165 secs
lola: 128669527 markings, 216414227 edges, 723433 markings/sec, 170 secs
lola: 132397471 markings, 222689401 edges, 745589 markings/sec, 175 secs
lola: 136007582 markings, 228764014 edges, 722022 markings/sec, 180 secs
lola: 139650000 markings, 234895292 edges, 728484 markings/sec, 185 secs
lola: 143192825 markings, 240857090 edges, 708565 markings/sec, 190 secs
lola: 146835444 markings, 246988089 edges, 728524 markings/sec, 195 secs
lola: 150477958 markings, 253128888 edges, 728503 markings/sec, 200 secs
lola: 154064335 markings, 259154690 edges, 717275 markings/sec, 205 secs
lola: 157659931 markings, 265214005 edges, 719119 markings/sec, 210 secs
lola: 161152900 markings, 271085308 edges, 698594 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(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: 4429880 markings, 7999270 edges, 885976 markings/sec, 0 secs
lola: 8783594 markings, 15883438 edges, 870743 markings/sec, 5 secs
lola: 13096762 markings, 23694736 edges, 862634 markings/sec, 10 secs
lola: 17416622 markings, 31116187 edges, 863972 markings/sec, 15 secs
lola: 21593015 markings, 38226334 edges, 835279 markings/sec, 20 secs
lola: 25784874 markings, 45364931 edges, 838372 markings/sec, 25 secs
lola: 30041664 markings, 52300208 edges, 851358 markings/sec, 30 secs
lola: 34002232 markings, 59404999 edges, 792114 markings/sec, 35 secs
lola: 37364161 markings, 65494458 edges, 672386 markings/sec, 40 secs
lola: 41679341 markings, 73311238 edges, 863036 markings/sec, 45 secs
lola: 45999392 markings, 81137414 edges, 864010 markings/sec, 50 secs
lola: 50181036 markings, 88713521 edges, 836329 markings/sec, 55 secs
lola: 53743395 markings, 94488581 edges, 712472 markings/sec, 60 secs
lola: 58200843 markings, 101370461 edges, 891490 markings/sec, 65 secs
lola: 62572824 markings, 108108375 edges, 874396 markings/sec, 70 secs
lola: 66919948 markings, 114810082 edges, 869425 markings/sec, 75 secs
lola: 70666626 markings, 121667532 edges, 749336 markings/sec, 80 secs
lola: 74188132 markings, 128224354 edges, 704301 markings/sec, 85 secs
lola: 78114522 markings, 134913804 edges, 785278 markings/sec, 90 secs
lola: 82189989 markings, 141859368 edges, 815093 markings/sec, 95 secs
lola: 86280278 markings, 148832297 edges, 818058 markings/sec, 100 secs
lola: 90406014 markings, 155867341 edges, 825147 markings/sec, 105 secs
lola: 94613558 markings, 162835102 edges, 841509 markings/sec, 110 secs
lola: 98380258 markings, 168875554 edges, 753340 markings/sec, 115 secs
lola: 102426063 markings, 175274245 edges, 809161 markings/sec, 120 secs
lola: 107050271 markings, 182209783 edges, 924842 markings/sec, 125 secs
lola: 111581989 markings, 189010493 edges, 906344 markings/sec, 130 secs
lola: 116077690 markings, 195757130 edges, 899140 markings/sec, 135 secs
lola: 120531745 markings, 202485767 edges, 890811 markings/sec, 140 secs
lola: 124428399 markings, 208731631 edges, 779331 markings/sec, 145 secs
lola: 128326268 markings, 214900186 edges, 779574 markings/sec, 150 secs
lola: 132447141 markings, 221256130 edges, 824175 markings/sec, 155 secs
lola: 136687127 markings, 227797794 edges, 847997 markings/sec, 160 secs
lola: 140972496 markings, 234411343 edges, 857074 markings/sec, 165 secs
lola: 145272077 markings, 241048816 edges, 859916 markings/sec, 170 secs
lola: 149581733 markings, 247703789 edges, 861931 markings/sec, 175 secs
lola: 153766487 markings, 254491790 edges, 836951 markings/sec, 180 secs
lola: 156975791 markings, 260927496 edges, 641861 markings/sec, 185 secs
lola: 160067923 markings, 267121078 edges, 618426 markings/sec, 190 secs
lola: 163204121 markings, 273402602 edges, 627240 markings/sec, 195 secs
lola: 167075492 markings, 279889671 edges, 774274 markings/sec, 200 secs
lola: 170831388 markings, 285912595 edges, 751179 markings/sec, 205 secs
lola: 174870628 markings, 292768823 edges, 807848 markings/sec, 210 secs
lola: 178666108 markings, 299617719 edges, 759096 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(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: 3356133 markings, 9920223 edges, 671227 markings/sec, 0 secs
lola: 6076065 markings, 19675743 edges, 543986 markings/sec, 5 secs
lola: 8964505 markings, 29417058 edges, 577688 markings/sec, 10 secs
lola: 11867040 markings, 37496138 edges, 580507 markings/sec, 15 secs
lola: 14433866 markings, 44660585 edges, 513365 markings/sec, 20 secs
lola: 16774725 markings, 51196711 edges, 468172 markings/sec, 25 secs
lola: 19139129 markings, 57800926 edges, 472881 markings/sec, 30 secs
lola: 21453339 markings, 64266373 edges, 462842 markings/sec, 35 secs
lola: 23790657 markings, 70791758 edges, 467464 markings/sec, 40 secs
lola: 26104624 markings, 77252534 edges, 462793 markings/sec, 45 secs
lola: 28372635 markings, 83586863 edges, 453602 markings/sec, 50 secs
lola: 30684115 markings, 90044864 edges, 462296 markings/sec, 55 secs
lola: 33029904 markings, 96593472 edges, 469158 markings/sec, 60 secs
lola: 35337860 markings, 103036930 edges, 461591 markings/sec, 65 secs
lola: 37596869 markings, 109344093 edges, 451802 markings/sec, 70 secs
lola: 39844857 markings, 115621368 edges, 449598 markings/sec, 75 secs
lola: 42086463 markings, 121884422 edges, 448321 markings/sec, 80 secs
lola: 44344310 markings, 128187438 edges, 451569 markings/sec, 85 secs
lola: 46560279 markings, 134373226 edges, 443194 markings/sec, 90 secs
lola: 48781717 markings, 140574441 edges, 444288 markings/sec, 95 secs
lola: 51022745 markings, 146830397 edges, 448206 markings/sec, 100 secs
lola: 53228883 markings, 152989373 edges, 441228 markings/sec, 105 secs
lola: 55383106 markings, 159003071 edges, 430845 markings/sec, 110 secs
lola: 57580127 markings, 165136420 edges, 439404 markings/sec, 115 secs
lola: 59749227 markings, 171191532 edges, 433820 markings/sec, 120 secs
lola: 61918768 markings, 177247607 edges, 433908 markings/sec, 125 secs
lola: 64110681 markings, 183365931 edges, 438383 markings/sec, 130 secs
lola: 66318990 markings, 189529663 edges, 441662 markings/sec, 135 secs
lola: 68474803 markings, 195546760 edges, 431163 markings/sec, 140 secs
lola: 70629303 markings, 201560037 edges, 430900 markings/sec, 145 secs
lola: 72780841 markings, 207565274 edges, 430308 markings/sec, 150 secs
lola: 74953862 markings, 213630414 edges, 434604 markings/sec, 155 secs
lola: 77120556 markings, 219677681 edges, 433339 markings/sec, 160 secs
lola: 79339507 markings, 225867864 edges, 443790 markings/sec, 165 secs
lola: 81539154 markings, 232004713 edges, 439929 markings/sec, 170 secs
lola: 83691472 markings, 238011338 edges, 430464 markings/sec, 175 secs
lola: 85836477 markings, 243994832 edges, 429001 markings/sec, 180 secs
lola: 88028820 markings, 250110840 edges, 438469 markings/sec, 185 secs
lola: 90184485 markings, 256124360 edges, 431133 markings/sec, 190 secs
lola: 92354911 markings, 262178299 edges, 434085 markings/sec, 195 secs
lola: 94526443 markings, 268233163 edges, 434306 markings/sec, 200 secs
lola: 96668508 markings, 274207650 edges, 428413 markings/sec, 205 secs
lola: 98849025 markings, 280289641 edges, 436103 markings/sec, 210 secs
lola: 101080471 markings, 286509319 edges, 446289 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(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: 4462551 markings, 8058457 edges, 892510 markings/sec, 0 secs
lola: 8707338 markings, 15745328 edges, 848957 markings/sec, 5 secs
lola: 12985403 markings, 23492967 edges, 855613 markings/sec, 10 secs
lola: 17378223 markings, 31050727 edges, 878564 markings/sec, 15 secs
lola: 21398624 markings, 37895369 edges, 804080 markings/sec, 20 secs
lola: 25245560 markings, 44446194 edges, 769387 markings/sec, 25 secs
lola: 29518952 markings, 51461925 edges, 854678 markings/sec, 30 secs
lola: 33559181 markings, 58602490 edges, 808046 markings/sec, 35 secs
lola: 37601089 markings, 65923688 edges, 808382 markings/sec, 40 secs
lola: 41936051 markings, 73776275 edges, 866992 markings/sec, 45 secs
lola: 46215058 markings, 81528169 edges, 855801 markings/sec, 50 secs
lola: 50556123 markings, 89393098 edges, 868213 markings/sec, 55 secs
lola: 55064495 markings, 96520347 edges, 901674 markings/sec, 60 secs
lola: 59498814 markings, 103370615 edges, 886864 markings/sec, 65 secs
lola: 63816856 markings, 110026047 edges, 863608 markings/sec, 70 secs
lola: 68121975 markings, 116663469 edges, 861024 markings/sec, 75 secs
lola: 71540121 markings, 123417220 edges, 683629 markings/sec, 80 secs
lola: 75242246 markings, 130020191 edges, 740425 markings/sec, 85 secs
lola: 79225042 markings, 136806326 edges, 796559 markings/sec, 90 secs
lola: 83297227 markings, 143746780 edges, 814437 markings/sec, 95 secs
lola: 87412581 markings, 150762757 edges, 823071 markings/sec, 100 secs
lola: 91556371 markings, 157829153 edges, 828758 markings/sec, 105 secs
lola: 95656056 markings, 164506987 edges, 819937 markings/sec, 110 secs
lola: 99415689 markings, 170535918 edges, 751927 markings/sec, 115 secs
lola: 103661758 markings, 177123535 edges, 849214 markings/sec, 120 secs
lola: 108264415 markings, 184031849 edges, 920531 markings/sec, 125 secs
lola: 112769965 markings, 190793259 edges, 901110 markings/sec, 130 secs
lola: 117219979 markings, 197471342 edges, 890003 markings/sec, 135 secs
lola: 121535889 markings, 204089931 edges, 863182 markings/sec, 140 secs
lola: 125326499 markings, 210170267 edges, 758122 markings/sec, 145 secs
lola: 129269319 markings, 216354675 edges, 788564 markings/sec, 150 secs
lola: 133383955 markings, 222701221 edges, 822927 markings/sec, 155 secs
lola: 137628605 markings, 229250509 edges, 848930 markings/sec, 160 secs
lola: 141916153 markings, 235867851 edges, 857510 markings/sec, 165 secs
lola: 146216857 markings, 242507462 edges, 860141 markings/sec, 170 secs
lola: 150549764 markings, 249198645 edges, 866581 markings/sec, 175 secs
lola: 154571591 markings, 256111613 edges, 804365 markings/sec, 180 secs
lola: 157709883 markings, 262397922 edges, 627658 markings/sec, 185 secs
lola: 160824321 markings, 268636101 edges, 622888 markings/sec, 190 secs
lola: 164102884 markings, 275118817 edges, 655713 markings/sec, 195 secs
lola: 168038216 markings, 281433554 edges, 787066 markings/sec, 200 secs
lola: 171857794 markings, 287558418 edges, 763916 markings/sec, 205 secs
lola: 175928802 markings, 294676595 edges, 814202 markings/sec, 210 secs
lola: 179692821 markings, 301467185 edges, 752804 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(c1)
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: 3674822 markings, 9799234 edges, 734964 markings/sec, 0 secs
lola: 7163099 markings, 19525648 edges, 697655 markings/sec, 5 secs
lola: 10758287 markings, 28531137 edges, 719038 markings/sec, 10 secs
lola: 13767415 markings, 35743440 edges, 601826 markings/sec, 15 secs
lola: 16466981 markings, 42220773 edges, 539913 markings/sec, 20 secs
lola: 19137147 markings, 48627872 edges, 534033 markings/sec, 25 secs
lola: 21791906 markings, 54997824 edges, 530952 markings/sec, 30 secs
lola: 24420306 markings, 61304308 edges, 525680 markings/sec, 35 secs
lola: 27038672 markings, 67586804 edges, 523673 markings/sec, 40 secs
lola: 29615442 markings, 73769609 edges, 515354 markings/sec, 45 secs
lola: 32184962 markings, 79934827 edges, 513904 markings/sec, 50 secs
lola: 34738849 markings, 86062781 edges, 510777 markings/sec, 55 secs
lola: 37265797 markings, 92125992 edges, 505390 markings/sec, 60 secs
lola: 39730490 markings, 98039941 edges, 492939 markings/sec, 65 secs
lola: 42193416 markings, 103949633 edges, 492585 markings/sec, 70 secs
lola: 44626593 markings, 109787548 edges, 486635 markings/sec, 75 secs
lola: 47083945 markings, 115683683 edges, 491470 markings/sec, 80 secs
lola: 49539012 markings, 121574316 edges, 491013 markings/sec, 85 secs
lola: 51978558 markings, 127427651 edges, 487909 markings/sec, 90 secs
lola: 54415136 markings, 133273865 edges, 487316 markings/sec, 95 secs
lola: 56824422 markings, 139054705 edges, 481857 markings/sec, 100 secs
lola: 59236910 markings, 144843291 edges, 482498 markings/sec, 105 secs
lola: 61697905 markings, 150748342 edges, 492199 markings/sec, 110 secs
lola: 63727225 markings, 155617578 edges, 405864 markings/sec, 115 secs
lola: 66187911 markings, 161521280 edges, 492137 markings/sec, 120 secs
lola: 68614461 markings, 167343168 edges, 485310 markings/sec, 125 secs
lola: 71031922 markings, 173143544 edges, 483492 markings/sec, 130 secs
lola: 73442368 markings, 178927162 edges, 482089 markings/sec, 135 secs
lola: 75886810 markings, 184792307 edges, 488888 markings/sec, 140 secs
lola: 78326445 markings, 190645596 edges, 487927 markings/sec, 145 secs
lola: 80745917 markings, 196450754 edges, 483894 markings/sec, 150 secs
lola: 83219779 markings, 202386379 edges, 494772 markings/sec, 155 secs
lola: 85648772 markings, 208214156 edges, 485799 markings/sec, 160 secs
lola: 88132822 markings, 214174209 edges, 496810 markings/sec, 165 secs
lola: 90599941 markings, 220093644 edges, 493424 markings/sec, 170 secs
lola: 93059000 markings, 225993802 edges, 491812 markings/sec, 175 secs
lola: 95526029 markings, 231912945 edges, 493406 markings/sec, 180 secs
lola: 98070843 markings, 238018542 edges, 508963 markings/sec, 185 secs
lola: 100645945 markings, 244196729 edges, 515020 markings/sec, 190 secs
lola: 103152338 markings, 250210616 edges, 501279 markings/sec, 195 secs
lola: 105745702 markings, 256432413 edges, 518673 markings/sec, 200 secs
lola: 108410640 markings, 262826506 edges, 532988 markings/sec, 205 secs
lola: 111080281 markings, 269231674 edges, 533928 markings/sec, 210 secs
lola: 113793377 markings, 275741456 edges, 542619 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(_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: 4241450 markings, 8809745 edges, 848290 markings/sec, 0 secs
lola: 8444703 markings, 16654805 edges, 840651 markings/sec, 5 secs
lola: 11949038 markings, 23096738 edges, 700867 markings/sec, 10 secs
lola: 15375394 markings, 29361570 edges, 685271 markings/sec, 15 secs
lola: 18706164 markings, 35511121 edges, 666154 markings/sec, 20 secs
lola: 22037710 markings, 41626598 edges, 666309 markings/sec, 25 secs
lola: 25465414 markings, 47893881 edges, 685541 markings/sec, 30 secs
lola: 29347017 markings, 55091883 edges, 776321 markings/sec, 35 secs
lola: 32869405 markings, 61662803 edges, 704478 markings/sec, 40 secs
lola: 36241610 markings, 67954291 edges, 674441 markings/sec, 45 secs
lola: 39578279 markings, 74178044 edges, 667334 markings/sec, 50 secs
lola: 42802856 markings, 80193711 edges, 644915 markings/sec, 55 secs
lola: 46071816 markings, 86291714 edges, 653792 markings/sec, 60 secs
lola: 49325781 markings, 92361593 edges, 650793 markings/sec, 65 secs
lola: 52572261 markings, 98417395 edges, 649296 markings/sec, 70 secs
lola: 55839200 markings, 104511469 edges, 653388 markings/sec, 75 secs
lola: 59117204 markings, 110625553 edges, 655601 markings/sec, 80 secs
lola: 62382973 markings, 116716823 edges, 653154 markings/sec, 85 secs
lola: 65648153 markings, 122807805 edges, 653036 markings/sec, 90 secs
lola: 68937588 markings, 128942731 edges, 657887 markings/sec, 95 secs
lola: 72229501 markings, 135082119 edges, 658383 markings/sec, 100 secs
lola: 75534509 markings, 141245429 edges, 661002 markings/sec, 105 secs
lola: 78838839 markings, 147407477 edges, 660866 markings/sec, 110 secs
lola: 82145000 markings, 153573344 edges, 661232 markings/sec, 115 secs
lola: 85475536 markings, 159783344 edges, 666107 markings/sec, 120 secs
lola: 88805102 markings, 165991546 edges, 665913 markings/sec, 125 secs
lola: 92139844 markings, 172209124 edges, 666948 markings/sec, 130 secs
lola: 95503288 markings, 178479978 edges, 672689 markings/sec, 135 secs
lola: 98894727 markings, 184801486 edges, 678288 markings/sec, 140 secs
lola: 102290372 markings, 191130727 edges, 679129 markings/sec, 145 secs
lola: 105729753 markings, 197538856 edges, 687876 markings/sec, 150 secs
lola: 109194063 markings, 203991290 edges, 692862 markings/sec, 155 secs
lola: 112832073 markings, 210774263 edges, 727602 markings/sec, 160 secs
lola: 116159752 markings, 217000267 edges, 665536 markings/sec, 165 secs
lola: 119471372 markings, 223196189 edges, 662324 markings/sec, 170 secs
lola: 122934000 markings, 229670607 edges, 692526 markings/sec, 175 secs
lola: 126525015 markings, 236382310 edges, 718203 markings/sec, 180 secs
lola: 130027678 markings, 242934818 edges, 700533 markings/sec, 185 secs
lola: 133475325 markings, 249384912 edges, 689529 markings/sec, 190 secs
lola: 136934955 markings, 255858144 edges, 691926 markings/sec, 195 secs
lola: 140391427 markings, 262324285 edges, 691294 markings/sec, 200 secs
lola: 143776034 markings, 268656697 edges, 676921 markings/sec, 205 secs
lola: 147268276 markings, 275189554 edges, 698448 markings/sec, 210 secs
lola: 150811598 markings, 281818877 edges, 708664 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(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: 5206229 markings, 8719412 edges, 1041246 markings/sec, 0 secs
lola: 9922191 markings, 16759964 edges, 943192 markings/sec, 5 secs
lola: 14130874 markings, 24204031 edges, 841737 markings/sec, 10 secs
lola: 19040787 markings, 31984829 edges, 981983 markings/sec, 15 secs
lola: 23173534 markings, 39260457 edges, 826549 markings/sec, 20 secs
lola: 28184453 markings, 46930732 edges, 1002184 markings/sec, 25 secs
lola: 32473702 markings, 53686270 edges, 857850 markings/sec, 30 secs
lola: 36792218 markings, 61516318 edges, 863703 markings/sec, 35 secs
lola: 41786138 markings, 69024027 edges, 998784 markings/sec, 40 secs
lola: 46075447 markings, 75577653 edges, 857862 markings/sec, 45 secs
lola: 50427450 markings, 82625304 edges, 870401 markings/sec, 50 secs
lola: 54931725 markings, 90572807 edges, 900855 markings/sec, 55 secs
lola: 59722597 markings, 97802025 edges, 958174 markings/sec, 60 secs
lola: 63867077 markings, 104134353 edges, 828896 markings/sec, 65 secs
lola: 68534412 markings, 111281363 edges, 933467 markings/sec, 70 secs
lola: 72734386 markings, 118778901 edges, 839995 markings/sec, 75 secs
lola: 76954326 markings, 126002992 edges, 843988 markings/sec, 80 secs
lola: 80813675 markings, 132601775 edges, 771870 markings/sec, 85 secs
lola: 84638573 markings, 139189671 edges, 764980 markings/sec, 90 secs
lola: 88311390 markings, 145670269 edges, 734563 markings/sec, 95 secs
lola: 91814081 markings, 151913327 edges, 700538 markings/sec, 100 secs
lola: 95371031 markings, 158280518 edges, 711390 markings/sec, 105 secs
lola: 98979814 markings, 164757865 edges, 721757 markings/sec, 110 secs
lola: 101761537 markings, 169835617 edges, 556345 markings/sec, 115 secs
lola: 104128540 markings, 176314326 edges, 473401 markings/sec, 120 secs
lola: 106304868 markings, 183162974 edges, 435266 markings/sec, 125 secs
lola: 108004087 markings, 189445269 edges, 339844 markings/sec, 130 secs
lola: 109844403 markings, 195908184 edges, 368063 markings/sec, 135 secs
lola: 111579317 markings, 202196918 edges, 346983 markings/sec, 140 secs
lola: 113344048 markings, 208513028 edges, 352946 markings/sec, 145 secs
lola: 115089704 markings, 214710852 edges, 349131 markings/sec, 150 secs
lola: 116809297 markings, 220959038 edges, 343919 markings/sec, 155 secs
lola: 118716526 markings, 227327555 edges, 381446 markings/sec, 160 secs
lola: 120394379 markings, 233469503 edges, 335571 markings/sec, 165 secs
lola: 122208323 markings, 239813608 edges, 362789 markings/sec, 170 secs
lola: 123873711 markings, 245891098 edges, 333078 markings/sec, 175 secs
lola: 125640109 markings, 252122342 edges, 353280 markings/sec, 180 secs
lola: 127335325 markings, 258246147 edges, 339043 markings/sec, 185 secs
lola: 129040834 markings, 264368704 edges, 341102 markings/sec, 190 secs
lola: 130794957 markings, 270393033 edges, 350825 markings/sec, 195 secs
lola: 132448589 markings, 276574525 edges, 330726 markings/sec, 200 secs
lola: 134350059 markings, 282941348 edges, 380294 markings/sec, 205 secs
lola: 135994344 markings, 288964063 edges, 328857 markings/sec, 210 secs
lola: 137786654 markings, 295230721 edges, 358462 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(c1)
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: 3768177 markings, 10059826 edges, 753635 markings/sec, 0 secs
lola: 7344153 markings, 20031026 edges, 715195 markings/sec, 5 secs
lola: 10612201 markings, 28181440 edges, 653610 markings/sec, 10 secs
lola: 13850921 markings, 35943785 edges, 647744 markings/sec, 15 secs
lola: 16796397 markings, 43011122 edges, 589095 markings/sec, 20 secs
lola: 19659709 markings, 49881675 edges, 572662 markings/sec, 25 secs
lola: 22460810 markings, 56602741 edges, 560220 markings/sec, 30 secs
lola: 25234295 markings, 63257630 edges, 554697 markings/sec, 35 secs
lola: 27911611 markings, 69681497 edges, 535463 markings/sec, 40 secs
lola: 30505246 markings, 75904717 edges, 518727 markings/sec, 45 secs
lola: 33170841 markings, 82300489 edges, 533119 markings/sec, 50 secs
lola: 35826831 markings, 88673324 edges, 531198 markings/sec, 55 secs
lola: 38457621 markings, 94985510 edges, 526158 markings/sec, 60 secs
lola: 41087916 markings, 101296755 edges, 526059 markings/sec, 65 secs
lola: 43616547 markings, 107363837 edges, 505726 markings/sec, 70 secs
lola: 46129291 markings, 113392988 edges, 502549 markings/sec, 75 secs
lola: 48600503 markings, 119322305 edges, 494242 markings/sec, 80 secs
lola: 51032327 markings, 125157235 edges, 486365 markings/sec, 85 secs
lola: 53434051 markings, 130919814 edges, 480345 markings/sec, 90 secs
lola: 55828789 markings, 136665708 edges, 478948 markings/sec, 95 secs
lola: 58317356 markings, 142636875 edges, 497713 markings/sec, 100 secs
lola: 60846372 markings, 148704838 edges, 505803 markings/sec, 105 secs
lola: 63345342 markings, 154700746 edges, 499794 markings/sec, 110 secs
lola: 65839420 markings, 160685486 edges, 498816 markings/sec, 115 secs
lola: 68375233 markings, 166769413 edges, 507163 markings/sec, 120 secs
lola: 70884145 markings, 172789014 edges, 501782 markings/sec, 125 secs
lola: 73387381 markings, 178795206 edges, 500647 markings/sec, 130 secs
lola: 75914501 markings, 184858600 edges, 505424 markings/sec, 135 secs
lola: 78438526 markings, 190914519 edges, 504805 markings/sec, 140 secs
lola: 80940829 markings, 196918625 edges, 500461 markings/sec, 145 secs
lola: 83495690 markings, 203048353 edges, 510972 markings/sec, 150 secs
lola: 86039570 markings, 209151979 edges, 508776 markings/sec, 155 secs
lola: 88569882 markings, 215222877 edges, 506062 markings/sec, 160 secs
lola: 91138907 markings, 221386699 edges, 513805 markings/sec, 165 secs
lola: 93714194 markings, 227565552 edges, 515057 markings/sec, 170 secs
lola: 96287839 markings, 233740365 edges, 514729 markings/sec, 175 secs
lola: 98873283 markings, 239943644 edges, 517089 markings/sec, 180 secs
lola: 101501826 markings, 246250222 edges, 525709 markings/sec, 185 secs
lola: 104125844 markings, 252546107 edges, 524804 markings/sec, 190 secs
lola: 106768490 markings, 258886615 edges, 528529 markings/sec, 195 secs
lola: 109442537 markings, 265302172 edges, 534809 markings/sec, 200 secs
lola: 112122121 markings, 271731261 edges, 535917 markings/sec, 205 secs
lola: 114851838 markings, 278280884 edges, 545943 markings/sec, 210 secs
lola: 117637277 markings, 284964521 edges, 557088 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(NADPplus)
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: 4510615 markings, 7717967 edges, 902123 markings/sec, 0 secs
lola: 8377754 markings, 14430660 edges, 773428 markings/sec, 5 secs
lola: 12238468 markings, 21222980 edges, 772143 markings/sec, 10 secs
lola: 15820430 markings, 27627456 edges, 716392 markings/sec, 15 secs
lola: 19350464 markings, 33965042 edges, 706007 markings/sec, 20 secs
lola: 22941846 markings, 40443801 edges, 718276 markings/sec, 25 secs
lola: 25708453 markings, 45555973 edges, 553321 markings/sec, 30 secs
lola: 29458015 markings, 52188296 edges, 749912 markings/sec, 35 secs
lola: 32970700 markings, 58482949 edges, 702537 markings/sec, 40 secs
lola: 36626828 markings, 65001541 edges, 731226 markings/sec, 45 secs
lola: 40157112 markings, 71299252 edges, 706057 markings/sec, 50 secs
lola: 43612424 markings, 77535123 edges, 691062 markings/sec, 55 secs
lola: 47273548 markings, 84146449 edges, 732225 markings/sec, 60 secs
lola: 50633296 markings, 90268411 edges, 671950 markings/sec, 65 secs
lola: 53686044 markings, 95658018 edges, 610550 markings/sec, 70 secs
lola: 57242010 markings, 102054348 edges, 711193 markings/sec, 75 secs
lola: 60831276 markings, 108430656 edges, 717853 markings/sec, 80 secs
lola: 64396074 markings, 114821277 edges, 712960 markings/sec, 85 secs
lola: 67062188 markings, 119721570 edges, 533223 markings/sec, 90 secs
lola: 70801528 markings, 126443075 edges, 747868 markings/sec, 95 secs
lola: 74223088 markings, 132611965 edges, 684312 markings/sec, 100 secs
lola: 77881692 markings, 139083969 edges, 731721 markings/sec, 105 secs
lola: 80773789 markings, 144198665 edges, 578419 markings/sec, 110 secs
lola: 84220083 markings, 150402021 edges, 689259 markings/sec, 115 secs
lola: 87798554 markings, 156853540 edges, 715694 markings/sec, 120 secs
lola: 91132272 markings, 162924162 edges, 666744 markings/sec, 125 secs
lola: 94916620 markings, 169725380 edges, 756870 markings/sec, 130 secs
lola: 98337809 markings, 175907970 edges, 684238 markings/sec, 135 secs
lola: 102026972 markings, 182437704 edges, 737833 markings/sec, 140 secs
lola: 105471796 markings, 188617453 edges, 688965 markings/sec, 145 secs
lola: 109050184 markings, 194993303 edges, 715678 markings/sec, 150 secs
lola: 112596956 markings, 201305313 edges, 709354 markings/sec, 155 secs
lola: 116110244 markings, 207639858 edges, 702658 markings/sec, 160 secs
lola: 119717168 markings, 214121388 edges, 721385 markings/sec, 165 secs
lola: 123014111 markings, 220133499 edges, 659389 markings/sec, 170 secs
lola: 126736260 markings, 226842396 edges, 744430 markings/sec, 175 secs
lola: 129488706 markings, 231754632 edges, 550489 markings/sec, 180 secs
lola: 133062076 markings, 238096168 edges, 714674 markings/sec, 185 secs
lola: 136520181 markings, 244305567 edges, 691621 markings/sec, 190 secs
lola: 140093204 markings, 250686533 edges, 714605 markings/sec, 195 secs
lola: 143693437 markings, 257114743 edges, 720047 markings/sec, 200 secs
lola: 147119289 markings, 263328798 edges, 685170 markings/sec, 205 secs
lola: 150824380 markings, 269991807 edges, 741018 markings/sec, 210 secs
lola: 154149040 markings, 276028153 edges, 664932 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(NADplus)
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: 4638268 markings, 8376614 edges, 927654 markings/sec, 0 secs
lola: 9077973 markings, 16416542 edges, 887941 markings/sec, 5 secs
lola: 13447535 markings, 24330033 edges, 873912 markings/sec, 10 secs
lola: 17896500 markings, 31932972 edges, 889793 markings/sec, 15 secs
lola: 22152876 markings, 39179526 edges, 851275 markings/sec, 20 secs
lola: 26423262 markings, 46452208 edges, 854077 markings/sec, 25 secs
lola: 30752250 markings, 53518582 edges, 865798 markings/sec, 30 secs
lola: 34871220 markings, 60978952 edges, 823794 markings/sec, 35 secs
lola: 39210533 markings, 68839029 edges, 867863 markings/sec, 40 secs
lola: 43606966 markings, 76803179 edges, 879287 markings/sec, 45 secs
lola: 48016793 markings, 84792378 edges, 881965 markings/sec, 50 secs
lola: 52493487 markings, 92568353 edges, 895339 markings/sec, 55 secs
lola: 56972078 markings, 99477172 edges, 895718 markings/sec, 60 secs
lola: 61447391 markings, 106373624 edges, 895063 markings/sec, 65 secs
lola: 65871086 markings, 113192886 edges, 884739 markings/sec, 70 secs
lola: 69935696 markings, 120203366 edges, 812922 markings/sec, 75 secs
lola: 73368521 markings, 126828122 edges, 686565 markings/sec, 80 secs
lola: 77312778 markings, 133547685 edges, 788851 markings/sec, 85 secs
lola: 81436064 markings, 140574574 edges, 824657 markings/sec, 90 secs
lola: 85586922 markings, 147650148 edges, 830172 markings/sec, 95 secs
lola: 89774621 markings, 154790768 edges, 837540 markings/sec, 100 secs
lola: 94108265 markings, 162024748 edges, 866729 markings/sec, 105 secs
lola: 97930722 markings, 168154708 edges, 764491 markings/sec, 110 secs
lola: 101941454 markings, 174550126 edges, 802146 markings/sec, 115 secs
lola: 106682127 markings, 181657334 edges, 948135 markings/sec, 120 secs
lola: 111304326 markings, 188593807 edges, 924440 markings/sec, 125 secs
lola: 115901771 markings, 195493137 edges, 919489 markings/sec, 130 secs
lola: 120439829 markings, 202339053 edges, 907612 markings/sec, 135 secs
lola: 124444855 markings, 208757993 edges, 801005 markings/sec, 140 secs
lola: 128361816 markings, 214954967 edges, 783392 markings/sec, 145 secs
lola: 132551730 markings, 221417556 edges, 837983 markings/sec, 150 secs
lola: 136880060 markings, 228095322 edges, 865666 markings/sec, 155 secs
lola: 141265893 markings, 234864115 edges, 877167 markings/sec, 160 secs
lola: 145432762 markings, 241296803 edges, 833374 markings/sec, 165 secs
lola: 149696107 markings, 247880496 edges, 852669 markings/sec, 170 secs
lola: 153997389 markings, 254952637 edges, 860256 markings/sec, 175 secs
lola: 157239536 markings, 261455790 edges, 648429 markings/sec, 180 secs
lola: 160430007 markings, 267846316 edges, 638094 markings/sec, 185 secs
lola: 163726109 markings, 274448061 edges, 659220 markings/sec, 190 secs
lola: 167810872 markings, 281068954 edges, 816953 markings/sec, 195 secs
lola: 171694667 markings, 287296841 edges, 776759 markings/sec, 200 secs
lola: 175896907 markings, 294617710 edges, 840448 markings/sec, 205 secs
lola: 179816947 markings, 301693328 edges, 784008 markings/sec, 210 secs
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(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: 4579395 markings, 7843601 edges, 915879 markings/sec, 0 secs
lola: 8487857 markings, 14642490 edges, 781692 markings/sec, 5 secs
lola: 11757548 markings, 20339458 edges, 653938 markings/sec, 10 secs
lola: 15410832 markings, 26893714 edges, 730657 markings/sec, 15 secs
lola: 18878722 markings, 33151633 edges, 693578 markings/sec, 20 secs
lola: 22606058 markings, 39893658 edges, 745467 markings/sec, 25 secs
lola: 25990257 markings, 46058270 edges, 676840 markings/sec, 30 secs
lola: 29765772 markings, 52754877 edges, 755103 markings/sec, 35 secs
lola: 33268756 markings, 59055699 edges, 700597 markings/sec, 40 secs
lola: 36980625 markings, 65643418 edges, 742374 markings/sec, 45 secs
lola: 40564128 markings, 72073595 edges, 716701 markings/sec, 50 secs
lola: 44198353 markings, 78568723 edges, 726845 markings/sec, 55 secs
lola: 47847979 markings, 85093992 edges, 729925 markings/sec, 60 secs
lola: 51212753 markings, 91236908 edges, 672955 markings/sec, 65 secs
lola: 55068265 markings, 98189592 edges, 771102 markings/sec, 70 secs
lola: 58485332 markings, 104397577 edges, 683413 markings/sec, 75 secs
lola: 62316856 markings, 111183469 edges, 766305 markings/sec, 80 secs
lola: 65884041 markings, 117600499 edges, 713437 markings/sec, 85 secs
lola: 69623832 markings, 124258104 edges, 747958 markings/sec, 90 secs
lola: 73085748 markings, 130453969 edges, 692383 markings/sec, 95 secs
lola: 76758932 markings, 137012546 edges, 734637 markings/sec, 100 secs
lola: 80468144 markings, 143669067 edges, 741842 markings/sec, 105 secs
lola: 83488603 markings, 149166342 edges, 604092 markings/sec, 110 secs
lola: 87388700 markings, 156184143 edges, 780019 markings/sec, 115 secs
lola: 90808749 markings, 162392367 edges, 684010 markings/sec, 120 secs
lola: 94620524 markings, 169177872 edges, 762355 markings/sec, 125 secs
lola: 97764420 markings, 174806432 edges, 628779 markings/sec, 130 secs
lola: 101468423 markings, 181393690 edges, 740801 markings/sec, 135 secs
lola: 104959720 markings, 187662140 edges, 698259 markings/sec, 140 secs
lola: 108594156 markings, 194152473 edges, 726887 markings/sec, 145 secs
lola: 112264668 markings, 200720587 edges, 734102 markings/sec, 150 secs
lola: 115673518 markings, 206890622 edges, 681770 markings/sec, 155 secs
lola: 119441093 markings, 213669181 edges, 753515 markings/sec, 160 secs
lola: 122810896 markings, 219788425 edges, 673961 markings/sec, 165 secs
lola: 126593124 markings, 226577132 edges, 756446 markings/sec, 170 secs
lola: 130021192 markings, 232771655 edges, 685614 markings/sec, 175 secs
lola: 133594505 markings, 239093727 edges, 714663 markings/sec, 180 secs
lola: 137000240 markings, 245206357 edges, 681147 markings/sec, 185 secs
lola: 140574733 markings, 251572212 edges, 714899 markings/sec, 190 secs
lola: 144112971 markings, 257880210 edges, 707648 markings/sec, 195 secs
lola: 147597109 markings, 264151218 edges, 696828 markings/sec, 200 secs
lola: 151154214 markings, 270530915 edges, 711421 markings/sec, 205 secs
lola: 154416161 markings, 276479515 edges, 652389 markings/sec, 210 secs
lola: 158128900 markings, 283175993 edges, 742548 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 222 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: 4166739 markings, 8097150 edges, 833348 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: ========================================
lola: subprocess 15 will run for 437 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(PEP)
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: 4989165 markings, 8923821 edges, 997833 markings/sec, 0 secs
lola: 9018842 markings, 15545903 edges, 805935 markings/sec, 5 secs
lola: 12824096 markings, 21835239 edges, 761051 markings/sec, 10 secs
lola: 16683296 markings, 28235124 edges, 771840 markings/sec, 15 secs
lola: 20964786 markings, 35339490 edges, 856298 markings/sec, 20 secs
lola: 24779568 markings, 41748348 edges, 762956 markings/sec, 25 secs
lola: 28455772 markings, 47924292 edges, 735241 markings/sec, 30 secs
lola: 32016140 markings, 53905827 edges, 712074 markings/sec, 35 secs
lola: 35484476 markings, 59732376 edges, 693667 markings/sec, 40 secs
lola: 38911563 markings, 65489552 edges, 685417 markings/sec, 45 secs
lola: 42470703 markings, 71468811 edges, 711828 markings/sec, 50 secs
lola: 46006626 markings, 77408838 edges, 707185 markings/sec, 55 secs
lola: 49536364 markings, 83338568 edges, 705948 markings/sec, 60 secs
lola: 53062273 markings, 89261625 edges, 705182 markings/sec, 65 secs
lola: 56638144 markings, 95268651 edges, 715174 markings/sec, 70 secs
lola: 60197350 markings, 101247823 edges, 711841 markings/sec, 75 secs
lola: 63774848 markings, 107257520 edges, 715500 markings/sec, 80 secs
lola: 67376908 markings, 113308051 edges, 720412 markings/sec, 85 secs
lola: 71009490 markings, 119409901 edges, 726516 markings/sec, 90 secs
lola: 74671179 markings, 125560327 edges, 732338 markings/sec, 95 secs
lola: 78400530 markings, 131824009 edges, 745870 markings/sec, 100 secs
lola: 82276659 markings, 138348765 edges, 775226 markings/sec, 105 secs
lola: 86083148 markings, 144747686 edges, 761298 markings/sec, 110 secs
lola: 90166202 markings, 151618892 edges, 816611 markings/sec, 115 secs
lola: 94021259 markings, 158112730 edges, 771011 markings/sec, 120 secs
lola: 97801712 markings, 164467457 edges, 756091 markings/sec, 125 secs
lola: 101746981 markings, 171107063 edges, 789054 markings/sec, 130 secs
lola: 105607208 markings, 177615565 edges, 772045 markings/sec, 135 secs
lola: 109450278 markings, 184070084 edges, 768614 markings/sec, 140 secs
lola: 113265415 markings, 190491676 edges, 763027 markings/sec, 145 secs
lola: 117006235 markings, 196785619 edges, 748164 markings/sec, 150 secs
lola: 120843524 markings, 203244163 edges, 767458 markings/sec, 155 secs
lola: 124430544 markings, 209291698 edges, 717404 markings/sec, 160 secs
lola: 127958896 markings, 215219063 edges, 705670 markings/sec, 165 secs
lola: 131474718 markings, 221142574 edges, 703164 markings/sec, 170 secs
lola: 135033599 markings, 227125509 edges, 711776 markings/sec, 175 secs
lola: 138523242 markings, 233003852 edges, 697929 markings/sec, 180 secs
lola: 142000671 markings, 238851008 edges, 695486 markings/sec, 185 secs
lola: 145479556 markings, 244705565 edges, 695777 markings/sec, 190 secs
lola: 149026329 markings, 250675751 edges, 709355 markings/sec, 195 secs
lola: 152421810 markings, 256389631 edges, 679096 markings/sec, 200 secs
lola: 156013421 markings, 262435389 edges, 718322 markings/sec, 205 secs
lola: 159620989 markings, 268506657 edges, 721514 markings/sec, 210 secs
lola: 163605128 markings, 275212649 edges, 796828 markings/sec, 215 secs
lola: 167585016 markings, 281911842 edges, 795978 markings/sec, 220 secs
lola: 171352286 markings, 288251816 edges, 753454 markings/sec, 225 secs
lola: 175319819 markings, 294930376 edges, 793507 markings/sec, 230 secs
lola: 179263895 markings, 301570201 edges, 788815 markings/sec, 235 secs
lola: 183087953 markings, 308005150 edges, 764812 markings/sec, 240 secs
lola: 187016969 markings, 314618867 edges, 785803 markings/sec, 245 secs
lola: 190922005 markings, 321193563 edges, 781007 markings/sec, 250 secs
lola: 194677625 markings, 327513437 edges, 751124 markings/sec, 255 secs
lola: 198487482 markings, 333927782 edges, 761971 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 unknown unknown unknown unknown unknown unknown unknown unknown 200 unknown
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-14 200 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494726944253

--------------------
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-C0100N0000100000"
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-C0100N0000100000.tgz
mv GPPP-PT-C0100N0000100000 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-C0100N0000100000, 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-149440264500560"
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 ;