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-3253
Executing tool lola
Input is S_DES-PT-50a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455700317
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496455940437


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_DES-PT-50a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_DES-PT-50a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DES-PT-50a @ 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: 585/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 314 places, 271 transitions, 255 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 296 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-50a-UpperBounds.task
lola: MAX(p110) : MAX(p63) : MAX(p54) : MAX(p263) : MAX(p199) : MAX(p131) : MAX(p248) : MAX(p291) : MAX(p164) : MAX(p294) : MAX(p91) : MAX(p104) : MAX(p94) : MAX(p100) : MAX(p56) : MAX(p279)
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(p110)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 753769 markings, 1536536 edges, 150754 markings/sec, 0 secs
lola: 1501120 markings, 3048107 edges, 149470 markings/sec, 5 secs
lola: 2254570 markings, 4577831 edges, 150690 markings/sec, 10 secs
lola: 3016575 markings, 6130243 edges, 152401 markings/sec, 15 secs
lola: 3774992 markings, 7668900 edges, 151683 markings/sec, 20 secs
lola: 4535699 markings, 9208852 edges, 152141 markings/sec, 25 secs
lola: 5295676 markings, 10759281 edges, 151995 markings/sec, 30 secs
lola: 6054718 markings, 12300774 edges, 151808 markings/sec, 35 secs
lola: 6823867 markings, 13856522 edges, 153830 markings/sec, 40 secs
lola: 7607703 markings, 15454115 edges, 156767 markings/sec, 45 secs
lola: 8314916 markings, 16929595 edges, 141443 markings/sec, 50 secs
lola: 9045804 markings, 18462300 edges, 146178 markings/sec, 55 secs
lola: 9767037 markings, 19979596 edges, 144247 markings/sec, 60 secs
lola: 10525669 markings, 21502078 edges, 151726 markings/sec, 65 secs
lola: 11287748 markings, 23094974 edges, 152416 markings/sec, 70 secs
lola: 11983574 markings, 24624386 edges, 139165 markings/sec, 75 secs
lola: 12759344 markings, 26187983 edges, 155154 markings/sec, 80 secs
lola: 13499574 markings, 27746621 edges, 148046 markings/sec, 85 secs
lola: 14207783 markings, 29252319 edges, 141642 markings/sec, 90 secs
lola: 14952938 markings, 30726172 edges, 149031 markings/sec, 95 secs
lola: 15678170 markings, 32184668 edges, 145046 markings/sec, 100 secs
lola: 16423630 markings, 33751919 edges, 149092 markings/sec, 105 secs
lola: 17115215 markings, 35231228 edges, 138317 markings/sec, 110 secs
lola: 17863081 markings, 36734496 edges, 149573 markings/sec, 115 secs
lola: 18586715 markings, 38257645 edges, 144727 markings/sec, 120 secs
lola: 19286623 markings, 39752979 edges, 139982 markings/sec, 125 secs
lola: 19994959 markings, 41217588 edges, 141667 markings/sec, 130 secs
lola: 20718064 markings, 42650054 edges, 144621 markings/sec, 135 secs
lola: 21437205 markings, 44121626 edges, 143828 markings/sec, 140 secs
lola: 22162390 markings, 45629812 edges, 145037 markings/sec, 145 secs
lola: 22828108 markings, 47091121 edges, 133144 markings/sec, 150 secs
lola: 23590679 markings, 48604767 edges, 152514 markings/sec, 155 secs
lola: 24316159 markings, 50116459 edges, 145096 markings/sec, 160 secs
lola: 25005998 markings, 51589894 edges, 137968 markings/sec, 165 secs
lola: 25717586 markings, 53035957 edges, 142318 markings/sec, 170 secs
lola: 26429426 markings, 54469862 edges, 142368 markings/sec, 175 secs
lola: 27155405 markings, 55976761 edges, 145196 markings/sec, 180 secs
lola: 27873250 markings, 57455310 edges, 143569 markings/sec, 185 secs
lola: 28556592 markings, 58914696 edges, 136668 markings/sec, 190 secs
lola: 29312232 markings, 60457206 edges, 151128 markings/sec, 195 secs
lola: 30028457 markings, 61969883 edges, 143245 markings/sec, 200 secs
lola: 30718382 markings, 63431342 edges, 137985 markings/sec, 205 secs
lola: 31453283 markings, 64877052 edges, 146980 markings/sec, 210 secs
lola: 32169085 markings, 66316997 edges, 143160 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(p63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 838533 markings, 1548033 edges, 167707 markings/sec, 0 secs
lola: 1589242 markings, 3096655 edges, 150142 markings/sec, 5 secs
lola: 2293302 markings, 4628282 edges, 140812 markings/sec, 10 secs
lola: 3009898 markings, 6129502 edges, 143319 markings/sec, 15 secs
lola: 3716818 markings, 7668532 edges, 141384 markings/sec, 20 secs
lola: 4433369 markings, 9160940 edges, 143310 markings/sec, 25 secs
lola: 5133665 markings, 10693573 edges, 140059 markings/sec, 30 secs
lola: 5844074 markings, 12178449 edges, 142082 markings/sec, 35 secs
lola: 6542877 markings, 13707669 edges, 139761 markings/sec, 40 secs
lola: 7259091 markings, 15193107 edges, 143243 markings/sec, 45 secs
lola: 7952293 markings, 16722029 edges, 138640 markings/sec, 50 secs
lola: 8668058 markings, 18202445 edges, 143153 markings/sec, 55 secs
lola: 9356127 markings, 19728165 edges, 137614 markings/sec, 60 secs
lola: 10066865 markings, 21194562 edges, 142148 markings/sec, 65 secs
lola: 10748658 markings, 22704839 edges, 136359 markings/sec, 70 secs
lola: 11452675 markings, 24157246 edges, 140803 markings/sec, 75 secs
lola: 12125748 markings, 25649198 edges, 134615 markings/sec, 80 secs
lola: 12818101 markings, 27075293 edges, 138471 markings/sec, 85 secs
lola: 13487768 markings, 28556818 edges, 133933 markings/sec, 90 secs
lola: 14181130 markings, 29992542 edges, 138672 markings/sec, 95 secs
lola: 14856329 markings, 31479710 edges, 135040 markings/sec, 100 secs
lola: 15544174 markings, 32915814 edges, 137569 markings/sec, 105 secs
lola: 16221225 markings, 34395581 edges, 135410 markings/sec, 110 secs
lola: 16906695 markings, 35826197 edges, 137094 markings/sec, 115 secs
lola: 17577226 markings, 37298418 edges, 134106 markings/sec, 120 secs
lola: 18263337 markings, 38726164 edges, 137222 markings/sec, 125 secs
lola: 18931062 markings, 40191752 edges, 133545 markings/sec, 130 secs
lola: 19609536 markings, 41611460 edges, 135695 markings/sec, 135 secs
lola: 20276816 markings, 43066856 edges, 133456 markings/sec, 140 secs
lola: 20954062 markings, 44478104 edges, 135449 markings/sec, 145 secs
lola: 21612645 markings, 45912743 edges, 131717 markings/sec, 150 secs
lola: 22283244 markings, 47310609 edges, 134120 markings/sec, 155 secs
lola: 22936029 markings, 48743682 edges, 130557 markings/sec, 160 secs
lola: 23603216 markings, 50135949 edges, 133437 markings/sec, 165 secs
lola: 24254826 markings, 51550929 edges, 130322 markings/sec, 170 secs
lola: 24917576 markings, 52937786 edges, 132550 markings/sec, 175 secs
lola: 25575008 markings, 54365528 edges, 131486 markings/sec, 180 secs
lola: 26235724 markings, 55766833 edges, 132143 markings/sec, 185 secs
lola: 26891754 markings, 57169856 edges, 131206 markings/sec, 190 secs
lola: 27544899 markings, 58592557 edges, 130629 markings/sec, 195 secs
lola: 28208965 markings, 59978555 edges, 132813 markings/sec, 200 secs
lola: 28858181 markings, 61407490 edges, 129843 markings/sec, 205 secs
lola: 29523422 markings, 62787501 edges, 133048 markings/sec, 210 secs
lola: 30165418 markings, 64213031 edges, 128399 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(p54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 856708 markings, 1577802 edges, 171342 markings/sec, 0 secs
lola: 1618475 markings, 3145792 edges, 152353 markings/sec, 5 secs
lola: 2330001 markings, 4694746 edges, 142305 markings/sec, 10 secs
lola: 3056649 markings, 6211051 edges, 145330 markings/sec, 15 secs
lola: 3764301 markings, 7758908 edges, 141530 markings/sec, 20 secs
lola: 4484822 markings, 9257085 edges, 144104 markings/sec, 25 secs
lola: 5183193 markings, 10787315 edges, 139674 markings/sec, 30 secs
lola: 5889835 markings, 12258610 edges, 141328 markings/sec, 35 secs
lola: 6573552 markings, 13759934 edges, 136743 markings/sec, 40 secs
lola: 7260621 markings, 15193033 edges, 137414 markings/sec, 45 secs
lola: 7936659 markings, 16672218 edges, 135208 markings/sec, 50 secs
lola: 8621415 markings, 18100196 edges, 136951 markings/sec, 55 secs
lola: 9290593 markings, 19570182 edges, 133836 markings/sec, 60 secs
lola: 9973937 markings, 20991621 edges, 136669 markings/sec, 65 secs
lola: 10640063 markings, 22455809 edges, 133225 markings/sec, 70 secs
lola: 11321544 markings, 23880076 edges, 136296 markings/sec, 75 secs
lola: 11992633 markings, 25343459 edges, 134218 markings/sec, 80 secs
lola: 12673037 markings, 26761126 edges, 136081 markings/sec, 85 secs
lola: 13338405 markings, 28212558 edges, 133074 markings/sec, 90 secs
lola: 14016519 markings, 29626765 edges, 135623 markings/sec, 95 secs
lola: 14678975 markings, 31076496 edges, 132491 markings/sec, 100 secs
lola: 15354151 markings, 32484105 edges, 135035 markings/sec, 105 secs
lola: 16011416 markings, 33920354 edges, 131453 markings/sec, 110 secs
lola: 16681080 markings, 35322348 edges, 133933 markings/sec, 115 secs
lola: 17338885 markings, 36752265 edges, 131561 markings/sec, 120 secs
lola: 18004984 markings, 38149615 edges, 133220 markings/sec, 125 secs
lola: 18663000 markings, 39573197 edges, 131603 markings/sec, 130 secs
lola: 19324004 markings, 40983125 edges, 132201 markings/sec, 135 secs
lola: 19973600 markings, 42367765 edges, 129919 markings/sec, 140 secs
lola: 20634007 markings, 43806912 edges, 132081 markings/sec, 145 secs
lola: 21308424 markings, 45213571 edges, 134883 markings/sec, 150 secs
lola: 21966236 markings, 46659939 edges, 131562 markings/sec, 155 secs
lola: 22637625 markings, 48054276 edges, 134278 markings/sec, 160 secs
lola: 23273655 markings, 49466807 edges, 127206 markings/sec, 165 secs
lola: 23933697 markings, 50824640 edges, 132008 markings/sec, 170 secs
lola: 24578230 markings, 52248688 edges, 128907 markings/sec, 175 secs
lola: 25238441 markings, 53623161 edges, 132042 markings/sec, 180 secs
lola: 25863885 markings, 55001948 edges, 125089 markings/sec, 185 secs
lola: 26524059 markings, 56371264 edges, 132035 markings/sec, 190 secs
lola: 27176803 markings, 57793193 edges, 130549 markings/sec, 195 secs
lola: 27843657 markings, 59183589 edges, 133371 markings/sec, 200 secs
lola: 28493423 markings, 60607487 edges, 129953 markings/sec, 205 secs
lola: 29158029 markings, 61994862 edges, 132921 markings/sec, 210 secs
lola: 29810162 markings, 63413176 edges, 130427 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(p263)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 855971 markings, 1530611 edges, 171194 markings/sec, 0 secs
lola: 1733768 markings, 3098917 edges, 175559 markings/sec, 5 secs
lola: 2655550 markings, 4685210 edges, 184356 markings/sec, 10 secs
lola: 3527158 markings, 6284258 edges, 174322 markings/sec, 15 secs
lola: 4407162 markings, 7869585 edges, 176001 markings/sec, 20 secs
lola: 5238394 markings, 9443377 edges, 166246 markings/sec, 25 secs
lola: 6075645 markings, 11002544 edges, 167450 markings/sec, 30 secs
lola: 6939731 markings, 12558058 edges, 172817 markings/sec, 35 secs
lola: 7737656 markings, 14120412 edges, 159585 markings/sec, 40 secs
lola: 8601114 markings, 15671999 edges, 172692 markings/sec, 45 secs
lola: 9410622 markings, 17197375 edges, 161902 markings/sec, 50 secs
lola: 10225794 markings, 18729551 edges, 163034 markings/sec, 55 secs
lola: 11073241 markings, 20255081 edges, 169489 markings/sec, 60 secs
lola: 11850577 markings, 21778792 edges, 155467 markings/sec, 65 secs
lola: 12686121 markings, 23273182 edges, 167109 markings/sec, 70 secs
lola: 13474077 markings, 24771881 edges, 157591 markings/sec, 75 secs
lola: 14266759 markings, 26248146 edges, 158536 markings/sec, 80 secs
lola: 15071338 markings, 27706041 edges, 160916 markings/sec, 85 secs
lola: 15830458 markings, 29178289 edges, 151824 markings/sec, 90 secs
lola: 16639963 markings, 30622972 edges, 161901 markings/sec, 95 secs
lola: 17371785 markings, 32049879 edges, 146364 markings/sec, 100 secs
lola: 18141452 markings, 33431803 edges, 153933 markings/sec, 105 secs
lola: 18890883 markings, 34863932 edges, 149886 markings/sec, 110 secs
lola: 19667833 markings, 36299330 edges, 155390 markings/sec, 115 secs
lola: 20437943 markings, 37714208 edges, 154022 markings/sec, 120 secs
lola: 21188280 markings, 39138117 edges, 150067 markings/sec, 125 secs
lola: 21959437 markings, 40526045 edges, 154231 markings/sec, 130 secs
lola: 22692950 markings, 41954474 edges, 146703 markings/sec, 135 secs
lola: 23478938 markings, 43354023 edges, 157198 markings/sec, 140 secs
lola: 24195494 markings, 44761521 edges, 143311 markings/sec, 145 secs
lola: 24973676 markings, 46149574 edges, 155636 markings/sec, 150 secs
lola: 25708572 markings, 47555493 edges, 146979 markings/sec, 155 secs
lola: 26476091 markings, 48962540 edges, 153504 markings/sec, 160 secs
lola: 27207970 markings, 50333514 edges, 146376 markings/sec, 165 secs
lola: 27960262 markings, 51743058 edges, 150458 markings/sec, 170 secs
lola: 28721062 markings, 53124360 edges, 152160 markings/sec, 175 secs
lola: 29450886 markings, 54530685 edges, 145965 markings/sec, 180 secs
lola: 30221454 markings, 55905146 edges, 154114 markings/sec, 185 secs
lola: 30922565 markings, 57279693 edges, 140222 markings/sec, 190 secs
lola: 31698402 markings, 58656161 edges, 155167 markings/sec, 195 secs
lola: 32413354 markings, 60061521 edges, 142990 markings/sec, 200 secs
lola: 33195105 markings, 61455735 edges, 156350 markings/sec, 205 secs
lola: 33927136 markings, 62856138 edges, 146406 markings/sec, 210 secs
lola: 34690289 markings, 64254850 edges, 152631 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(p199)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 1020587 markings, 1334669 edges, 204117 markings/sec, 0 secs
lola: 2035607 markings, 2672891 edges, 203004 markings/sec, 5 secs
lola: 3024730 markings, 3974354 edges, 197825 markings/sec, 10 secs
lola: 3976965 markings, 5237427 edges, 190447 markings/sec, 15 secs
lola: 4915187 markings, 6467088 edges, 187644 markings/sec, 20 secs
lola: 5821317 markings, 7665965 edges, 181226 markings/sec, 25 secs
lola: 6797441 markings, 8943103 edges, 195225 markings/sec, 30 secs
lola: 7762368 markings, 10200290 edges, 192985 markings/sec, 35 secs
lola: 8716770 markings, 11445035 edges, 190880 markings/sec, 40 secs
lola: 9667319 markings, 12675864 edges, 190110 markings/sec, 45 secs
lola: 10653211 markings, 13960320 edges, 197178 markings/sec, 50 secs
lola: 11680037 markings, 15313308 edges, 205365 markings/sec, 55 secs
lola: 12653136 markings, 16592925 edges, 194620 markings/sec, 60 secs
lola: 13574325 markings, 17804280 edges, 184238 markings/sec, 65 secs
lola: 14555202 markings, 19071765 edges, 196175 markings/sec, 70 secs
lola: 15501207 markings, 20301157 edges, 189201 markings/sec, 75 secs
lola: 16420450 markings, 21554652 edges, 183849 markings/sec, 80 secs
lola: 17402863 markings, 22954932 edges, 196483 markings/sec, 85 secs
lola: 18303626 markings, 24234487 edges, 180153 markings/sec, 90 secs
lola: 19259139 markings, 25560557 edges, 191103 markings/sec, 95 secs
lola: 20139607 markings, 26777068 edges, 176094 markings/sec, 100 secs
lola: 21020146 markings, 28000586 edges, 176108 markings/sec, 105 secs
lola: 22082146 markings, 29408717 edges, 212400 markings/sec, 110 secs
lola: 23099109 markings, 30756756 edges, 203393 markings/sec, 115 secs
lola: 24088006 markings, 32070922 edges, 197779 markings/sec, 120 secs
lola: 25050746 markings, 33348253 edges, 192548 markings/sec, 125 secs
lola: 25989351 markings, 34589629 edges, 187721 markings/sec, 130 secs
lola: 26898833 markings, 35796547 edges, 181896 markings/sec, 135 secs
lola: 27908383 markings, 37132904 edges, 201910 markings/sec, 140 secs
lola: 28851133 markings, 38376781 edges, 188550 markings/sec, 145 secs
lola: 29832325 markings, 39671589 edges, 196238 markings/sec, 150 secs
lola: 30770422 markings, 40894406 edges, 187619 markings/sec, 155 secs
lola: 31773986 markings, 42267332 edges, 200713 markings/sec, 160 secs
lola: 32758384 markings, 43607871 edges, 196880 markings/sec, 165 secs
lola: 33689919 markings, 44878315 edges, 186307 markings/sec, 170 secs
lola: 34600305 markings, 46098340 edges, 182077 markings/sec, 175 secs
lola: 35555813 markings, 47395599 edges, 191102 markings/sec, 180 secs
lola: 36435599 markings, 48569895 edges, 175957 markings/sec, 185 secs
lola: 37381883 markings, 50040319 edges, 189257 markings/sec, 190 secs
lola: 38265785 markings, 51420076 edges, 176780 markings/sec, 195 secs
lola: 39151684 markings, 52792097 edges, 177180 markings/sec, 200 secs
lola: 40029825 markings, 54031712 edges, 175628 markings/sec, 205 secs
lola: 40899570 markings, 55483945 edges, 173949 markings/sec, 210 secs
lola: 41722380 markings, 56901389 edges, 164562 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(p131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 756016 markings, 1542004 edges, 151203 markings/sec, 0 secs
lola: 1500407 markings, 3047462 edges, 148878 markings/sec, 5 secs
lola: 2251600 markings, 4571453 edges, 150239 markings/sec, 10 secs
lola: 3006925 markings, 6111416 edges, 151065 markings/sec, 15 secs
lola: 3760014 markings, 7641491 edges, 150618 markings/sec, 20 secs
lola: 4515466 markings, 9165770 edges, 151090 markings/sec, 25 secs
lola: 5270309 markings, 10705311 edges, 150969 markings/sec, 30 secs
lola: 6025863 markings, 12244780 edges, 151111 markings/sec, 35 secs
lola: 6791630 markings, 13789965 edges, 153153 markings/sec, 40 secs
lola: 7567483 markings, 15375481 edges, 155171 markings/sec, 45 secs
lola: 8281028 markings, 16857842 edges, 142709 markings/sec, 50 secs
lola: 9016435 markings, 18402592 edges, 147081 markings/sec, 55 secs
lola: 9742704 markings, 19932872 edges, 145254 markings/sec, 60 secs
lola: 10508049 markings, 21463359 edges, 153069 markings/sec, 65 secs
lola: 11273583 markings, 23064593 edges, 153107 markings/sec, 70 secs
lola: 11976908 markings, 24611007 edges, 140665 markings/sec, 75 secs
lola: 12756198 markings, 26182473 edges, 155858 markings/sec, 80 secs
lola: 13502927 markings, 27753256 edges, 149346 markings/sec, 85 secs
lola: 14213085 markings, 29261657 edges, 142032 markings/sec, 90 secs
lola: 14962952 markings, 30746050 edges, 149973 markings/sec, 95 secs
lola: 15700578 markings, 32233342 edges, 147525 markings/sec, 100 secs
lola: 16458415 markings, 33827033 edges, 151567 markings/sec, 105 secs
lola: 17166503 markings, 35343389 edges, 141618 markings/sec, 110 secs
lola: 17940213 markings, 36898609 edges, 154742 markings/sec, 115 secs
lola: 18684020 markings, 38462485 edges, 148761 markings/sec, 120 secs
lola: 19403851 markings, 40010231 edges, 143966 markings/sec, 125 secs
lola: 20145924 markings, 41507057 edges, 148415 markings/sec, 130 secs
lola: 20881180 markings, 43004568 edges, 147051 markings/sec, 135 secs
lola: 21638817 markings, 44556950 edges, 151527 markings/sec, 140 secs
lola: 22383268 markings, 46095522 edges, 148890 markings/sec, 145 secs
lola: 23102533 markings, 47611215 edges, 143853 markings/sec, 150 secs
lola: 23873723 markings, 49196662 edges, 154238 markings/sec, 155 secs
lola: 24601338 markings, 50742398 edges, 145523 markings/sec, 160 secs
lola: 25314949 markings, 52244773 edges, 142722 markings/sec, 165 secs
lola: 26076198 markings, 53725581 edges, 152250 markings/sec, 170 secs
lola: 26804417 markings, 55225373 edges, 145644 markings/sec, 175 secs
lola: 27542500 markings, 56786165 edges, 147617 markings/sec, 180 secs
lola: 28247666 markings, 58291323 edges, 141033 markings/sec, 185 secs
lola: 29016876 markings, 59831764 edges, 153842 markings/sec, 190 secs
lola: 29755877 markings, 61376984 edges, 147800 markings/sec, 195 secs
lola: 30465193 markings, 62889684 edges, 141863 markings/sec, 200 secs
lola: 31193067 markings, 64373305 edges, 145575 markings/sec, 205 secs
lola: 31923384 markings, 65843242 edges, 146063 markings/sec, 210 secs
lola: 32663400 markings, 67379332 edges, 148003 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(p248)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 883921 markings, 1581367 edges, 176784 markings/sec, 0 secs
lola: 1785786 markings, 3185335 edges, 180373 markings/sec, 5 secs
lola: 2729955 markings, 4806167 edges, 188834 markings/sec, 10 secs
lola: 3604431 markings, 6432290 edges, 174895 markings/sec, 15 secs
lola: 4498671 markings, 8039445 edges, 178848 markings/sec, 20 secs
lola: 5355517 markings, 9638926 edges, 171369 markings/sec, 25 secs
lola: 6191039 markings, 11227933 edges, 167104 markings/sec, 30 secs
lola: 7071442 markings, 12812781 edges, 176081 markings/sec, 35 secs
lola: 7896597 markings, 14395078 edges, 165031 markings/sec, 40 secs
lola: 8741752 markings, 15959792 edges, 169031 markings/sec, 45 secs
lola: 9592777 markings, 17507355 edges, 170205 markings/sec, 50 secs
lola: 10388706 markings, 19056391 edges, 159186 markings/sec, 55 secs
lola: 11251430 markings, 20603921 edges, 172545 markings/sec, 60 secs
lola: 12058466 markings, 22142814 edges, 161407 markings/sec, 65 secs
lola: 12884756 markings, 23677463 edges, 165258 markings/sec, 70 secs
lola: 13718815 markings, 25189009 edges, 166812 markings/sec, 75 secs
lola: 14498544 markings, 26707733 edges, 155946 markings/sec, 80 secs
lola: 15330066 markings, 28193842 edges, 166304 markings/sec, 85 secs
lola: 16111013 markings, 29688916 edges, 156189 markings/sec, 90 secs
lola: 16918432 markings, 31177865 edges, 161484 markings/sec, 95 secs
lola: 17725392 markings, 32654560 edges, 161392 markings/sec, 100 secs
lola: 18503629 markings, 34149323 edges, 155647 markings/sec, 105 secs
lola: 19322031 markings, 35614106 edges, 163680 markings/sec, 110 secs
lola: 20080136 markings, 37101372 edges, 151621 markings/sec, 115 secs
lola: 20903091 markings, 38570199 edges, 164591 markings/sec, 120 secs
lola: 21671063 markings, 40037786 edges, 153594 markings/sec, 125 secs
lola: 22462093 markings, 41506211 edges, 158206 markings/sec, 130 secs
lola: 23261003 markings, 42958266 edges, 159782 markings/sec, 135 secs
lola: 24022883 markings, 44427470 edges, 152376 markings/sec, 140 secs
lola: 24827553 markings, 45868090 edges, 160934 markings/sec, 145 secs
lola: 25573865 markings, 47323609 edges, 149262 markings/sec, 150 secs
lola: 26375989 markings, 48760276 edges, 160425 markings/sec, 155 secs
lola: 27130767 markings, 50203621 edges, 150956 markings/sec, 160 secs
lola: 27911072 markings, 51646556 edges, 156061 markings/sec, 165 secs
lola: 28694336 markings, 53073527 edges, 156653 markings/sec, 170 secs
lola: 29443706 markings, 54514409 edges, 149874 markings/sec, 175 secs
lola: 30235503 markings, 55929899 edges, 158359 markings/sec, 180 secs
lola: 30967795 markings, 57367375 edges, 146458 markings/sec, 185 secs
lola: 31760544 markings, 58781163 edges, 158550 markings/sec, 190 secs
lola: 32501232 markings, 60203923 edges, 148138 markings/sec, 195 secs
lola: 33276236 markings, 61615312 edges, 155001 markings/sec, 200 secs
lola: 34020098 markings, 63023472 edges, 148772 markings/sec, 205 secs
lola: 34778420 markings, 64434484 edges, 151664 markings/sec, 210 secs
lola: 35546127 markings, 65829843 edges, 153541 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(p291)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 914064 markings, 1616607 edges, 182813 markings/sec, 0 secs
lola: 1626963 markings, 3251058 edges, 142580 markings/sec, 5 secs
lola: 2315729 markings, 4858400 edges, 137753 markings/sec, 10 secs
lola: 2980516 markings, 6453475 edges, 132957 markings/sec, 15 secs
lola: 3616007 markings, 7997504 edges, 127098 markings/sec, 20 secs
lola: 4251927 markings, 9573211 edges, 127184 markings/sec, 25 secs
lola: 4878988 markings, 11153979 edges, 125412 markings/sec, 30 secs
lola: 5486827 markings, 12655010 edges, 121568 markings/sec, 35 secs
lola: 6121228 markings, 14211444 edges, 126880 markings/sec, 40 secs
lola: 6711977 markings, 15769652 edges, 118150 markings/sec, 45 secs
lola: 7327078 markings, 17335668 edges, 123020 markings/sec, 50 secs
lola: 7927426 markings, 18831499 edges, 120070 markings/sec, 55 secs
lola: 8562522 markings, 20390822 edges, 127019 markings/sec, 60 secs
lola: 9146606 markings, 21936400 edges, 116817 markings/sec, 65 secs
lola: 9757751 markings, 23491626 edges, 122229 markings/sec, 70 secs
lola: 10355559 markings, 24979451 edges, 119562 markings/sec, 75 secs
lola: 10985029 markings, 26528784 edges, 125894 markings/sec, 80 secs
lola: 11560753 markings, 28056182 edges, 115145 markings/sec, 85 secs
lola: 12170620 markings, 29600731 edges, 121973 markings/sec, 90 secs
lola: 12766710 markings, 31080530 edges, 119218 markings/sec, 95 secs
lola: 13388162 markings, 32614991 edges, 124290 markings/sec, 100 secs
lola: 13958576 markings, 34129734 edges, 114083 markings/sec, 105 secs
lola: 14560414 markings, 35661277 edges, 120368 markings/sec, 110 secs
lola: 15160961 markings, 37135310 edges, 120109 markings/sec, 115 secs
lola: 15774137 markings, 38647202 edges, 122635 markings/sec, 120 secs
lola: 16337154 markings, 40152970 edges, 112603 markings/sec, 125 secs
lola: 16929333 markings, 41667579 edges, 118436 markings/sec, 130 secs
lola: 17524495 markings, 43136957 edges, 119032 markings/sec, 135 secs
lola: 18135472 markings, 44617306 edges, 122195 markings/sec, 140 secs
lola: 18702887 markings, 46131944 edges, 113483 markings/sec, 145 secs
lola: 19281774 markings, 47606295 edges, 115777 markings/sec, 150 secs
lola: 19864309 markings, 49065918 edges, 116507 markings/sec, 155 secs
lola: 20456691 markings, 50517516 edges, 118476 markings/sec, 160 secs
lola: 21032166 markings, 52014847 edges, 115095 markings/sec, 165 secs
lola: 21591928 markings, 53468066 edges, 111952 markings/sec, 170 secs
lola: 22185129 markings, 54940789 edges, 118640 markings/sec, 175 secs
lola: 22738318 markings, 56342020 edges, 110638 markings/sec, 180 secs
lola: 23327387 markings, 57817807 edges, 117814 markings/sec, 185 secs
lola: 23872226 markings, 59253047 edges, 108968 markings/sec, 190 secs
lola: 24457890 markings, 60722581 edges, 117133 markings/sec, 195 secs
lola: 25011543 markings, 62114261 edges, 110731 markings/sec, 200 secs
lola: 25612938 markings, 63578881 edges, 120279 markings/sec, 205 secs
lola: 26152565 markings, 65019041 edges, 107925 markings/sec, 210 secs
lola: 26721766 markings, 66470498 edges, 113840 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(p164)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 952149 markings, 1245673 edges, 190430 markings/sec, 0 secs
lola: 1896861 markings, 2480246 edges, 188942 markings/sec, 5 secs
lola: 2847020 markings, 3727045 edges, 190032 markings/sec, 10 secs
lola: 3796207 markings, 4949735 edges, 189837 markings/sec, 15 secs
lola: 4709108 markings, 6240573 edges, 182580 markings/sec, 20 secs
lola: 5624904 markings, 7488893 edges, 183159 markings/sec, 25 secs
lola: 6562398 markings, 8729565 edges, 187499 markings/sec, 30 secs
lola: 7532774 markings, 10014288 edges, 194075 markings/sec, 35 secs
lola: 8496248 markings, 11297601 edges, 192695 markings/sec, 40 secs
lola: 9452295 markings, 12579443 edges, 191209 markings/sec, 45 secs
lola: 10370616 markings, 13925584 edges, 183664 markings/sec, 50 secs
lola: 11296411 markings, 15222096 edges, 185159 markings/sec, 55 secs
lola: 12143478 markings, 16632953 edges, 169413 markings/sec, 60 secs
lola: 13061744 markings, 17933074 edges, 183653 markings/sec, 65 secs
lola: 13952192 markings, 19191336 edges, 178090 markings/sec, 70 secs
lola: 14925728 markings, 20463600 edges, 194707 markings/sec, 75 secs
lola: 15883244 markings, 21745018 edges, 191503 markings/sec, 80 secs
lola: 16830405 markings, 23001718 edges, 189432 markings/sec, 85 secs
lola: 17708435 markings, 24358564 edges, 175606 markings/sec, 90 secs
lola: 18618430 markings, 25659775 edges, 181999 markings/sec, 95 secs
lola: 19582599 markings, 26947054 edges, 192834 markings/sec, 100 secs
lola: 20571504 markings, 28258870 edges, 197781 markings/sec, 105 secs
lola: 21523019 markings, 29614275 edges, 190303 markings/sec, 110 secs
lola: 22450158 markings, 31007239 edges, 185428 markings/sec, 115 secs
lola: 23361334 markings, 32408051 edges, 182235 markings/sec, 120 secs
lola: 24197831 markings, 33900359 edges, 167299 markings/sec, 125 secs
lola: 25052484 markings, 35327208 edges, 170931 markings/sec, 130 secs
lola: 25948698 markings, 36675479 edges, 179243 markings/sec, 135 secs
lola: 26807970 markings, 38134757 edges, 171854 markings/sec, 140 secs
lola: 27664237 markings, 39722626 edges, 171253 markings/sec, 145 secs
lola: 28472886 markings, 41281876 edges, 161730 markings/sec, 150 secs
lola: 29238043 markings, 42869328 edges, 153031 markings/sec, 155 secs
lola: 30121710 markings, 44166347 edges, 176733 markings/sec, 160 secs
lola: 31018635 markings, 45461894 edges, 179385 markings/sec, 165 secs
lola: 31871909 markings, 46915572 edges, 170655 markings/sec, 170 secs
lola: 32688462 markings, 48385717 edges, 163311 markings/sec, 175 secs
lola: 33595955 markings, 49860333 edges, 181499 markings/sec, 180 secs
lola: 34511675 markings, 51396710 edges, 183144 markings/sec, 185 secs
lola: 35402838 markings, 52893693 edges, 178233 markings/sec, 190 secs
lola: 36243587 markings, 54434042 edges, 168150 markings/sec, 195 secs
lola: 37064912 markings, 55982028 edges, 164265 markings/sec, 200 secs
lola: 37858417 markings, 57508211 edges, 158701 markings/sec, 205 secs
lola: 38681281 markings, 59025568 edges, 164573 markings/sec, 210 secs
lola: 39485423 markings, 60647980 edges, 160828 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(p294)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 1217050 markings, 1678062 edges, 243410 markings/sec, 0 secs
lola: 2391453 markings, 3342558 edges, 234881 markings/sec, 5 secs
lola: 3530214 markings, 4982359 edges, 227752 markings/sec, 10 secs
lola: 4658587 markings, 6598102 edges, 225675 markings/sec, 15 secs
lola: 5779750 markings, 8202902 edges, 224233 markings/sec, 20 secs
lola: 6863141 markings, 9766930 edges, 216678 markings/sec, 25 secs
lola: 7954495 markings, 11325001 edges, 218271 markings/sec, 30 secs
lola: 9016589 markings, 12851975 edges, 212419 markings/sec, 35 secs
lola: 10075192 markings, 14368089 edges, 211721 markings/sec, 40 secs
lola: 11115708 markings, 15864804 edges, 208103 markings/sec, 45 secs
lola: 12147081 markings, 17349780 edges, 206275 markings/sec, 50 secs
lola: 13181658 markings, 18825057 edges, 206915 markings/sec, 55 secs
lola: 14208424 markings, 20301587 edges, 205353 markings/sec, 60 secs
lola: 15239244 markings, 21778111 edges, 206164 markings/sec, 65 secs
lola: 16263533 markings, 23251747 edges, 204858 markings/sec, 70 secs
lola: 17286856 markings, 24720851 edges, 204665 markings/sec, 75 secs
lola: 18306567 markings, 26178946 edges, 203942 markings/sec, 80 secs
lola: 19308710 markings, 27622300 edges, 200429 markings/sec, 85 secs
lola: 20313936 markings, 29060317 edges, 201045 markings/sec, 90 secs
lola: 21314493 markings, 30497291 edges, 200111 markings/sec, 95 secs
lola: 22303857 markings, 31919826 edges, 197873 markings/sec, 100 secs
lola: 23285165 markings, 33331424 edges, 196262 markings/sec, 105 secs
lola: 24274217 markings, 34744671 edges, 197810 markings/sec, 110 secs
lola: 25253941 markings, 36148419 edges, 195945 markings/sec, 115 secs
lola: 26224213 markings, 37544870 edges, 194054 markings/sec, 120 secs
lola: 27199300 markings, 38940724 edges, 195017 markings/sec, 125 secs
lola: 28169208 markings, 40333878 edges, 193982 markings/sec, 130 secs
lola: 29140544 markings, 41726036 edges, 194267 markings/sec, 135 secs
lola: 30100495 markings, 43113286 edges, 191990 markings/sec, 140 secs
lola: 31067753 markings, 44500708 edges, 193452 markings/sec, 145 secs
lola: 32029098 markings, 45872992 edges, 192269 markings/sec, 150 secs
lola: 32978579 markings, 47234002 edges, 189896 markings/sec, 155 secs
lola: 33916932 markings, 48584796 edges, 187671 markings/sec, 160 secs
lola: 34851728 markings, 49925472 edges, 186959 markings/sec, 165 secs
lola: 35779877 markings, 51255163 edges, 185630 markings/sec, 170 secs
lola: 36699734 markings, 52569911 edges, 183971 markings/sec, 175 secs
lola: 37603596 markings, 53871822 edges, 180772 markings/sec, 180 secs
lola: 38504911 markings, 55165976 edges, 180263 markings/sec, 185 secs
lola: 39413640 markings, 56467289 edges, 181746 markings/sec, 190 secs
lola: 40308422 markings, 57773963 edges, 178956 markings/sec, 195 secs
lola: 41308367 markings, 59278076 edges, 199989 markings/sec, 200 secs
lola: 42478236 markings, 60925752 edges, 233974 markings/sec, 205 secs
lola: 43651555 markings, 62569026 edges, 234664 markings/sec, 210 secs
lola: 44771307 markings, 64183352 edges, 223950 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(p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 824697 markings, 1559402 edges, 164939 markings/sec, 0 secs
lola: 1566607 markings, 3093732 edges, 148382 markings/sec, 5 secs
lola: 2263973 markings, 4609609 edges, 139473 markings/sec, 10 secs
lola: 2971267 markings, 6079952 edges, 141459 markings/sec, 15 secs
lola: 3662962 markings, 7591525 edges, 138339 markings/sec, 20 secs
lola: 4378382 markings, 9080381 edges, 143084 markings/sec, 25 secs
lola: 5071798 markings, 10605403 edges, 138683 markings/sec, 30 secs
lola: 5795903 markings, 12106244 edges, 144821 markings/sec, 35 secs
lola: 6625070 markings, 13673402 edges, 165833 markings/sec, 40 secs
lola: 7347168 markings, 15192872 edges, 144420 markings/sec, 45 secs
lola: 8045018 markings, 16732761 edges, 139570 markings/sec, 50 secs
lola: 8739760 markings, 18172907 edges, 138948 markings/sec, 55 secs
lola: 9441491 markings, 19673358 edges, 140346 markings/sec, 60 secs
lola: 10094738 markings, 21155276 edges, 130649 markings/sec, 65 secs
lola: 10775832 markings, 22626210 edges, 136219 markings/sec, 70 secs
lola: 11433875 markings, 24031199 edges, 131609 markings/sec, 75 secs
lola: 12116711 markings, 25523674 edges, 136567 markings/sec, 80 secs
lola: 12776230 markings, 26998069 edges, 131904 markings/sec, 85 secs
lola: 13432604 markings, 28477049 edges, 131275 markings/sec, 90 secs
lola: 14121218 markings, 29885857 edges, 137723 markings/sec, 95 secs
lola: 14792921 markings, 31387272 edges, 134341 markings/sec, 100 secs
lola: 15477338 markings, 32870775 edges, 136883 markings/sec, 105 secs
lola: 16114011 markings, 34344647 edges, 127335 markings/sec, 110 secs
lola: 16829297 markings, 35828148 edges, 143057 markings/sec, 115 secs
lola: 17513562 markings, 37290993 edges, 136853 markings/sec, 120 secs
lola: 18262691 markings, 38819443 edges, 149826 markings/sec, 125 secs
lola: 18957389 markings, 40320630 edges, 138940 markings/sec, 130 secs
lola: 19590391 markings, 41780843 edges, 126600 markings/sec, 135 secs
lola: 20232391 markings, 43235594 edges, 128400 markings/sec, 140 secs
lola: 20843793 markings, 44655523 edges, 122280 markings/sec, 145 secs
lola: 21459282 markings, 46117842 edges, 123098 markings/sec, 150 secs
lola: 22093084 markings, 47541143 edges, 126760 markings/sec, 155 secs
lola: 22728084 markings, 49019925 edges, 127000 markings/sec, 160 secs
lola: 23391747 markings, 50494671 edges, 132733 markings/sec, 165 secs
lola: 24046459 markings, 51959749 edges, 130942 markings/sec, 170 secs
lola: 24866569 markings, 53491113 edges, 164022 markings/sec, 175 secs
lola: 25567240 markings, 54986935 edges, 140134 markings/sec, 180 secs
lola: 26305993 markings, 56523715 edges, 147751 markings/sec, 185 secs
lola: 26969735 markings, 58015287 edges, 132748 markings/sec, 190 secs
lola: 27631283 markings, 59403087 edges, 132310 markings/sec, 195 secs
lola: 28319398 markings, 60898241 edges, 137623 markings/sec, 200 secs
lola: 29019043 markings, 62386391 edges, 139929 markings/sec, 205 secs
lola: 29643431 markings, 63825443 edges, 124878 markings/sec, 210 secs
lola: 30329281 markings, 65238652 edges, 137170 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(p104)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 771034 markings, 1569726 edges, 154207 markings/sec, 0 secs
lola: 1525358 markings, 3091423 edges, 150865 markings/sec, 5 secs
lola: 2279722 markings, 4630193 edges, 150873 markings/sec, 10 secs
lola: 3033326 markings, 6164959 edges, 150721 markings/sec, 15 secs
lola: 3788109 markings, 7692703 edges, 150957 markings/sec, 20 secs
lola: 4542543 markings, 9224434 edges, 150887 markings/sec, 25 secs
lola: 5302679 markings, 10773114 edges, 152027 markings/sec, 30 secs
lola: 6057774 markings, 12306245 edges, 151019 markings/sec, 35 secs
lola: 6822276 markings, 13852727 edges, 152900 markings/sec, 40 secs
lola: 7599063 markings, 15439458 edges, 155357 markings/sec, 45 secs
lola: 8304095 markings, 16907430 edges, 141006 markings/sec, 50 secs
lola: 9031315 markings, 18433544 edges, 145444 markings/sec, 55 secs
lola: 9749119 markings, 19943766 edges, 143561 markings/sec, 60 secs
lola: 10502761 markings, 21452061 edges, 150728 markings/sec, 65 secs
lola: 11261951 markings, 23043178 edges, 151838 markings/sec, 70 secs
lola: 11963928 markings, 24580935 edges, 140395 markings/sec, 75 secs
lola: 12739611 markings, 26145279 edges, 155137 markings/sec, 80 secs
lola: 13477799 markings, 27698981 edges, 147638 markings/sec, 85 secs
lola: 14183306 markings, 29196135 edges, 141101 markings/sec, 90 secs
lola: 14924483 markings, 30664504 edges, 148235 markings/sec, 95 secs
lola: 15647112 markings, 32115459 edges, 144526 markings/sec, 100 secs
lola: 16387478 markings, 33683318 edges, 148073 markings/sec, 105 secs
lola: 17087480 markings, 35164336 edges, 140000 markings/sec, 110 secs
lola: 17833255 markings, 36679996 edges, 149155 markings/sec, 115 secs
lola: 18571822 markings, 38222429 edges, 147713 markings/sec, 120 secs
lola: 19275903 markings, 39733505 edges, 140816 markings/sec, 125 secs
lola: 19993642 markings, 41214593 edges, 143548 markings/sec, 130 secs
lola: 20725009 markings, 42664832 edges, 146273 markings/sec, 135 secs
lola: 21454377 markings, 44158985 edges, 145874 markings/sec, 140 secs
lola: 22186974 markings, 45679122 edges, 146519 markings/sec, 145 secs
lola: 22859188 markings, 47160732 edges, 134443 markings/sec, 150 secs
lola: 23633881 markings, 48692318 edges, 154939 markings/sec, 155 secs
lola: 24360656 markings, 50217977 edges, 145355 markings/sec, 160 secs
lola: 25060780 markings, 51700705 edges, 140025 markings/sec, 165 secs
lola: 25781256 markings, 53149786 edges, 144095 markings/sec, 170 secs
lola: 26506349 markings, 54602552 edges, 145019 markings/sec, 175 secs
lola: 27228934 markings, 56127119 edges, 144517 markings/sec, 180 secs
lola: 27945204 markings, 57611629 edges, 143254 markings/sec, 185 secs
lola: 28652502 markings, 59088436 edges, 141460 markings/sec, 190 secs
lola: 29397585 markings, 60624403 edges, 149017 markings/sec, 195 secs
lola: 30096883 markings, 62116339 edges, 139860 markings/sec, 200 secs
lola: 30787949 markings, 63571818 edges, 138213 markings/sec, 205 secs
lola: 31515180 markings, 64996292 edges, 145446 markings/sec, 210 secs
lola: 32215527 markings, 66414000 edges, 140069 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(p94)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 821471 markings, 1557270 edges, 164294 markings/sec, 0 secs
lola: 1580437 markings, 3120214 edges, 151793 markings/sec, 5 secs
lola: 2367375 markings, 4652631 edges, 157388 markings/sec, 10 secs
lola: 3114932 markings, 6187510 edges, 149511 markings/sec, 15 secs
lola: 3830651 markings, 7742559 edges, 143144 markings/sec, 20 secs
lola: 4566975 markings, 9263099 edges, 147265 markings/sec, 25 secs
lola: 5305026 markings, 10793831 edges, 147610 markings/sec, 30 secs
lola: 6030049 markings, 12347266 edges, 145005 markings/sec, 35 secs
lola: 6724196 markings, 13878082 edges, 138829 markings/sec, 40 secs
lola: 7491521 markings, 15386209 edges, 153465 markings/sec, 45 secs
lola: 8237393 markings, 16906297 edges, 149174 markings/sec, 50 secs
lola: 8950198 markings, 18411892 edges, 142561 markings/sec, 55 secs
lola: 9650868 markings, 19935501 edges, 140134 markings/sec, 60 secs
lola: 10382658 markings, 21445269 edges, 146358 markings/sec, 65 secs
lola: 11108265 markings, 22950951 edges, 145121 markings/sec, 70 secs
lola: 11834280 markings, 24494775 edges, 145203 markings/sec, 75 secs
lola: 12543619 markings, 26032867 edges, 141868 markings/sec, 80 secs
lola: 13287853 markings, 27537867 edges, 148847 markings/sec, 85 secs
lola: 14034343 markings, 29042500 edges, 149298 markings/sec, 90 secs
lola: 14749159 markings, 30540344 edges, 142963 markings/sec, 95 secs
lola: 15449980 markings, 32055049 edges, 140164 markings/sec, 100 secs
lola: 16153192 markings, 33580101 edges, 140642 markings/sec, 105 secs
lola: 16859398 markings, 35041418 edges, 141241 markings/sec, 110 secs
lola: 17603036 markings, 36571620 edges, 148728 markings/sec, 115 secs
lola: 18321672 markings, 38110975 edges, 143727 markings/sec, 120 secs
lola: 19022867 markings, 39585323 edges, 140239 markings/sec, 125 secs
lola: 19784171 markings, 41077864 edges, 152261 markings/sec, 130 secs
lola: 20486778 markings, 42557955 edges, 140521 markings/sec, 135 secs
lola: 21202606 markings, 44069146 edges, 143166 markings/sec, 140 secs
lola: 21880828 markings, 45570833 edges, 135644 markings/sec, 145 secs
lola: 22573960 markings, 47020855 edges, 138626 markings/sec, 150 secs
lola: 23338275 markings, 48541322 edges, 152863 markings/sec, 155 secs
lola: 24022656 markings, 50066757 edges, 136876 markings/sec, 160 secs
lola: 24674439 markings, 51545249 edges, 130357 markings/sec, 165 secs
lola: 25490102 markings, 53031920 edges, 163133 markings/sec, 170 secs
lola: 26207982 markings, 54521374 edges, 143576 markings/sec, 175 secs
lola: 26928182 markings, 56037309 edges, 144040 markings/sec, 180 secs
lola: 27601984 markings, 57547990 edges, 134760 markings/sec, 185 secs
lola: 28316645 markings, 59012309 edges, 142932 markings/sec, 190 secs
lola: 29059287 markings, 60534460 edges, 148528 markings/sec, 195 secs
lola: 29750082 markings, 62061246 edges, 138159 markings/sec, 200 secs
lola: 30422075 markings, 63547847 edges, 134399 markings/sec, 205 secs
lola: 31202336 markings, 65038172 edges, 156052 markings/sec, 210 secs
lola: 31945847 markings, 66535653 edges, 148702 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 14 will run for 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p56)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 856854 markings, 1577929 edges, 171371 markings/sec, 0 secs
lola: 1610629 markings, 3131915 edges, 150755 markings/sec, 5 secs
lola: 2320604 markings, 4676443 edges, 141995 markings/sec, 10 secs
lola: 3040172 markings, 6181734 edges, 143914 markings/sec, 15 secs
lola: 3745584 markings, 7718414 edges, 141082 markings/sec, 20 secs
lola: 4454840 markings, 9196150 edges, 141851 markings/sec, 25 secs
lola: 5146201 markings, 10715995 edges, 138272 markings/sec, 30 secs
lola: 5851368 markings, 12181821 edges, 141033 markings/sec, 35 secs
lola: 6537904 markings, 13687912 edges, 137307 markings/sec, 40 secs
lola: 7239985 markings, 15149441 edges, 140416 markings/sec, 45 secs
lola: 7927539 markings, 16656127 edges, 137511 markings/sec, 50 secs
lola: 8627694 markings, 18115686 edges, 140031 markings/sec, 55 secs
lola: 9313132 markings, 19618179 edges, 137088 markings/sec, 60 secs
lola: 10009558 markings, 21070452 edges, 139285 markings/sec, 65 secs
lola: 10688660 markings, 22563417 edges, 135820 markings/sec, 70 secs
lola: 11378144 markings, 23995969 edges, 137897 markings/sec, 75 secs
lola: 12057262 markings, 25486879 edges, 135824 markings/sec, 80 secs
lola: 12751061 markings, 26932478 edges, 138760 markings/sec, 85 secs
lola: 13421688 markings, 28404487 edges, 134125 markings/sec, 90 secs
lola: 14110145 markings, 29840459 edges, 137691 markings/sec, 95 secs
lola: 14781757 markings, 31314674 edges, 134322 markings/sec, 100 secs
lola: 15469074 markings, 32749176 edges, 137463 markings/sec, 105 secs
lola: 16142566 markings, 34218150 edges, 134698 markings/sec, 110 secs
lola: 16828806 markings, 35649924 edges, 137248 markings/sec, 115 secs
lola: 17498920 markings, 37109800 edges, 134023 markings/sec, 120 secs
lola: 18182353 markings, 38536515 edges, 136687 markings/sec, 125 secs
lola: 18850278 markings, 39995712 edges, 133585 markings/sec, 130 secs
lola: 19530247 markings, 41414124 edges, 135994 markings/sec, 135 secs
lola: 20191764 markings, 42866952 edges, 132303 markings/sec, 140 secs
lola: 20871729 markings, 44282058 edges, 135993 markings/sec, 145 secs
lola: 21530664 markings, 45719185 edges, 131787 markings/sec, 150 secs
lola: 22204004 markings, 47131834 edges, 134668 markings/sec, 155 secs
lola: 22866096 markings, 48570477 edges, 132418 markings/sec, 160 secs
lola: 23534965 markings, 49972218 edges, 133774 markings/sec, 165 secs
lola: 24193414 markings, 51399424 edges, 131690 markings/sec, 170 secs
lola: 24854215 markings, 52809547 edges, 132160 markings/sec, 175 secs
lola: 25511657 markings, 54209910 edges, 131488 markings/sec, 180 secs
lola: 26164202 markings, 55632817 edges, 130509 markings/sec, 185 secs
lola: 26827822 markings, 57017689 edges, 132724 markings/sec, 190 secs
lola: 27471374 markings, 58440552 edges, 128710 markings/sec, 195 secs
lola: 28135660 markings, 59810919 edges, 132857 markings/sec, 200 secs
lola: 28772080 markings, 61224530 edges, 127284 markings/sec, 205 secs
lola: 29430904 markings, 62586659 edges, 131765 markings/sec, 210 secs
lola: 30067818 markings, 63989582 edges, 127383 markings/sec, 215 secs
lola: 30718604 markings, 65349950 edges, 130157 markings/sec, 220 secs
lola: 31361630 markings, 66747210 edges, 128605 markings/sec, 225 secs
lola: 32016067 markings, 68108173 edges, 130887 markings/sec, 230 secs
lola: 32653514 markings, 69505386 edges, 127489 markings/sec, 235 secs
lola: 33304584 markings, 70862125 edges, 130214 markings/sec, 240 secs
lola: 33943636 markings, 72251426 edges, 127810 markings/sec, 245 secs
lola: 34584151 markings, 73599296 edges, 128103 markings/sec, 250 secs
lola: 35216094 markings, 74958502 edges, 126389 markings/sec, 255 secs
lola: 35846721 markings, 76330843 edges, 126125 markings/sec, 260 secs
lola: 36488286 markings, 77668167 edges, 128313 markings/sec, 265 secs
lola: 37108118 markings, 79045377 edges, 123966 markings/sec, 270 secs
lola: 37754995 markings, 80376803 edges, 129375 markings/sec, 275 secs
lola: 38375537 markings, 81749033 edges, 124108 markings/sec, 280 secs
lola: 39013106 markings, 83079044 edges, 127514 markings/sec, 285 secs
lola: 39644115 markings, 84449068 edges, 126202 markings/sec, 290 secs
lola: 40287120 markings, 85788266 edges, 128601 markings/sec, 295 secs
lola: 40912410 markings, 87152565 edges, 125058 markings/sec, 300 secs
lola: 41547730 markings, 88481214 edges, 127064 markings/sec, 305 secs
lola: 42170560 markings, 89826365 edges, 124566 markings/sec, 310 secs
lola: 42785419 markings, 91164861 edges, 122972 markings/sec, 315 secs
lola: 43412078 markings, 92469207 edges, 125332 markings/sec, 320 secs
lola: 44014221 markings, 93808149 edges, 120429 markings/sec, 325 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p279)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 828624 markings, 1558111 edges, 165725 markings/sec, 0 secs
lola: 1677841 markings, 3150752 edges, 169843 markings/sec, 5 secs
lola: 2590302 markings, 4762448 edges, 182492 markings/sec, 10 secs
lola: 3486456 markings, 6390051 edges, 179231 markings/sec, 15 secs
lola: 4342971 markings, 7996167 edges, 171303 markings/sec, 20 secs
lola: 5194900 markings, 9600993 edges, 170386 markings/sec, 25 secs
lola: 6057846 markings, 11194488 edges, 172589 markings/sec, 30 secs
lola: 6874647 markings, 12782520 edges, 163360 markings/sec, 35 secs
lola: 7739447 markings, 14359796 edges, 172960 markings/sec, 40 secs
lola: 8542751 markings, 15946414 edges, 160661 markings/sec, 45 secs
lola: 9407307 markings, 17513973 edges, 172911 markings/sec, 50 secs
lola: 10198080 markings, 19073173 edges, 158155 markings/sec, 55 secs
lola: 11056780 markings, 20636111 edges, 171740 markings/sec, 60 secs
lola: 11852894 markings, 22183516 edges, 159223 markings/sec, 65 secs
lola: 12699209 markings, 23735655 edges, 169263 markings/sec, 70 secs
lola: 13495575 markings, 25275567 edges, 159273 markings/sec, 75 secs
lola: 14321524 markings, 26805436 edges, 165190 markings/sec, 80 secs
lola: 15111741 markings, 28324927 edges, 158043 markings/sec, 85 secs
lola: 15919037 markings, 29826839 edges, 161459 markings/sec, 90 secs
lola: 16699421 markings, 31318617 edges, 156077 markings/sec, 95 secs
lola: 17496961 markings, 32811033 edges, 159508 markings/sec, 100 secs
lola: 18274965 markings, 34287493 edges, 155601 markings/sec, 105 secs
lola: 19065705 markings, 35775566 edges, 158148 markings/sec, 110 secs
lola: 19842421 markings, 37243271 edges, 155343 markings/sec, 115 secs
lola: 20626173 markings, 38723825 edges, 156750 markings/sec, 120 secs
lola: 21398731 markings, 40180258 edges, 154512 markings/sec, 125 secs
lola: 22176906 markings, 41649511 edges, 155635 markings/sec, 130 secs
lola: 22941453 markings, 43095226 edges, 152909 markings/sec, 135 secs
lola: 23717641 markings, 44553474 edges, 155238 markings/sec, 140 secs
lola: 24476021 markings, 45995528 edges, 151676 markings/sec, 145 secs
lola: 25252614 markings, 47446240 edges, 155319 markings/sec, 150 secs
lola: 26008722 markings, 48892870 edges, 151222 markings/sec, 155 secs
lola: 26793980 markings, 50352554 edges, 157052 markings/sec, 160 secs
lola: 27549146 markings, 51800349 edges, 151033 markings/sec, 165 secs
lola: 28331329 markings, 53252446 edges, 156437 markings/sec, 170 secs
lola: 29085286 markings, 54700340 edges, 150791 markings/sec, 175 secs
lola: 29866774 markings, 56146778 edges, 156298 markings/sec, 180 secs
lola: 30615787 markings, 57587206 edges, 149803 markings/sec, 185 secs
lola: 31395419 markings, 59027305 edges, 155926 markings/sec, 190 secs
lola: 32137909 markings, 60462307 edges, 148498 markings/sec, 195 secs
lola: 32916439 markings, 61894714 edges, 155706 markings/sec, 200 secs
lola: 33652502 markings, 63322581 edges, 147213 markings/sec, 205 secs
lola: 34427379 markings, 64747804 edges, 154975 markings/sec, 210 secs
lola: 35158936 markings, 66173036 edges, 146311 markings/sec, 215 secs
lola: 35924258 markings, 67572868 edges, 153064 markings/sec, 220 secs
lola: 36639810 markings, 68982519 edges, 143110 markings/sec, 225 secs
lola: 37412446 markings, 70375924 edges, 154527 markings/sec, 230 secs
lola: 38122884 markings, 71783240 edges, 142088 markings/sec, 235 secs
lola: 38895603 markings, 73165584 edges, 154544 markings/sec, 240 secs
lola: 39603946 markings, 74571078 edges, 141669 markings/sec, 245 secs
lola: 40368035 markings, 75945281 edges, 152818 markings/sec, 250 secs
lola: 41073086 markings, 77331786 edges, 141010 markings/sec, 255 secs
lola: 41820796 markings, 78692270 edges, 149542 markings/sec, 260 secs
lola: 42533832 markings, 80082956 edges, 142607 markings/sec, 265 secs
lola: 43279233 markings, 81456987 edges, 149080 markings/sec, 270 secs
lola: 43999918 markings, 82843733 edges, 144137 markings/sec, 275 secs
lola: 44728716 markings, 84212356 edges, 145760 markings/sec, 280 secs
lola: 45459571 markings, 85587844 edges, 146171 markings/sec, 285 secs
lola: 46170170 markings, 86947523 edges, 142120 markings/sec, 290 secs
lola: 46912584 markings, 88312225 edges, 148483 markings/sec, 295 secs
lola: 47609403 markings, 89669382 edges, 139364 markings/sec, 300 secs
lola: 48351230 markings, 91027528 edges, 148365 markings/sec, 305 secs
lola: 49038911 markings, 92385126 edges, 137536 markings/sec, 310 secs
lola: 49787437 markings, 93728786 edges, 149705 markings/sec, 315 secs
lola: 50474730 markings, 95089101 edges, 137459 markings/sec, 320 secs
lola: 51216403 markings, 96422819 edges, 148335 markings/sec, 325 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DES-PT-50a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496459480821

--------------------
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="S_DES-PT-50a"
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/S_DES-PT-50a.tgz
mv S_DES-PT-50a execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_DES-PT-50a, 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 r098-ebro-149488455700317"
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 ;