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 Diffusion2D-PT-D05N010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309200353
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494634661233


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Diffusion2D-PT-D05N010 @ 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: 169/65536 symbol table entries, 4 collisions
lola: preprocessing...
lola: finding significant places
lola: 25 places, 144 transitions, 24 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 25 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D05N010-UpperBounds.task
lola: MAX(cAMP__2_1_) : MAX(cAMP__5_2_) : MAX(cAMP__5_1_) : MAX(cAMP__4_5_) : MAX(cAMP__5_2_) : MAX(cAMP__1_3_) : MAX(cAMP__5_2_) : MAX(cAMP__2_3_) : MAX(cAMP__5_3_) : MAX(cAMP__5_3_) : MAX(cAMP__1_3_) : MAX(cAMP__2_3_) : MAX(cAMP__3_3_) : MAX(cAMP__5_5_) : MAX(cAMP__3_5_) : MAX(cAMP__3_3_)
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(cAMP__2_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 96 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: 429237 markings, 1787545 edges, 85847 markings/sec, 0 secs
lola: 819197 markings, 3382669 edges, 77992 markings/sec, 5 secs
lola: 1195091 markings, 4932913 edges, 75179 markings/sec, 10 secs
lola: 1579257 markings, 6513464 edges, 76833 markings/sec, 15 secs
lola: 1945015 markings, 8007551 edges, 73152 markings/sec, 20 secs
lola: 2309973 markings, 9524986 edges, 72992 markings/sec, 25 secs
lola: 2674194 markings, 10979632 edges, 72844 markings/sec, 30 secs
lola: 3023032 markings, 12427664 edges, 69768 markings/sec, 35 secs
lola: 3376018 markings, 13854678 edges, 70597 markings/sec, 40 secs
lola: 3710109 markings, 15248392 edges, 66818 markings/sec, 45 secs
lola: 4049764 markings, 16604953 edges, 67931 markings/sec, 50 secs
lola: 4379481 markings, 17948771 edges, 65943 markings/sec, 55 secs
lola: 4734105 markings, 19403718 edges, 70925 markings/sec, 60 secs
lola: 5068003 markings, 20790707 edges, 66780 markings/sec, 65 secs
lola: 5404866 markings, 22169718 edges, 67373 markings/sec, 70 secs
lola: 5724489 markings, 23508354 edges, 63925 markings/sec, 75 secs
lola: 6074087 markings, 24936146 edges, 69920 markings/sec, 80 secs
lola: 6376535 markings, 26195075 edges, 60490 markings/sec, 85 secs
lola: 6691509 markings, 27499693 edges, 62995 markings/sec, 90 secs
lola: 7021794 markings, 28863033 edges, 66057 markings/sec, 95 secs
lola: 7322224 markings, 30115290 edges, 60086 markings/sec, 100 secs
lola: 7630209 markings, 31385440 edges, 61597 markings/sec, 105 secs
lola: 7940239 markings, 32653722 edges, 62006 markings/sec, 110 secs
lola: 8237516 markings, 33884422 edges, 59455 markings/sec, 115 secs
lola: 8553596 markings, 35162262 edges, 63216 markings/sec, 120 secs
lola: 8847455 markings, 36325912 edges, 58772 markings/sec, 125 secs
lola: 9134196 markings, 37556181 edges, 57348 markings/sec, 130 secs
lola: 9446895 markings, 38798042 edges, 62540 markings/sec, 135 secs
lola: 9747039 markings, 39993575 edges, 60029 markings/sec, 140 secs
lola: 10050285 markings, 41236264 edges, 60649 markings/sec, 145 secs
lola: 10343366 markings, 42452787 edges, 58616 markings/sec, 150 secs
lola: 10629636 markings, 43644024 edges, 57254 markings/sec, 155 secs
lola: 10905823 markings, 44798413 edges, 55237 markings/sec, 160 secs
lola: 11183486 markings, 45942179 edges, 55533 markings/sec, 165 secs
lola: 11490149 markings, 47184261 edges, 61333 markings/sec, 170 secs
lola: 11797428 markings, 48416751 edges, 61456 markings/sec, 175 secs
lola: 12081461 markings, 49597466 edges, 56807 markings/sec, 180 secs
lola: 12358701 markings, 50768812 edges, 55448 markings/sec, 185 secs
lola: 12640103 markings, 51945198 edges, 56280 markings/sec, 190 secs
lola: 12914189 markings, 53066768 edges, 54817 markings/sec, 195 secs
lola: 13231211 markings, 54311080 edges, 63404 markings/sec, 200 secs
lola: 13538662 markings, 55546796 edges, 61490 markings/sec, 205 secs
lola: 13829499 markings, 56728189 edges, 58167 markings/sec, 210 secs
lola: 14113843 markings, 57914251 edges, 56869 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(cAMP__5_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 96 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: 523634 markings, 1635655 edges, 104727 markings/sec, 0 secs
lola: 1015439 markings, 3186998 edges, 98361 markings/sec, 5 secs
lola: 1505651 markings, 4774566 edges, 98042 markings/sec, 10 secs
lola: 1975224 markings, 6308774 edges, 93915 markings/sec, 15 secs
lola: 2442594 markings, 7829441 edges, 93474 markings/sec, 20 secs
lola: 2906440 markings, 9330709 edges, 92769 markings/sec, 25 secs
lola: 3350498 markings, 10793751 edges, 88812 markings/sec, 30 secs
lola: 3806985 markings, 12288285 edges, 91297 markings/sec, 35 secs
lola: 4267444 markings, 13760735 edges, 92092 markings/sec, 40 secs
lola: 4721528 markings, 15218755 edges, 90817 markings/sec, 45 secs
lola: 5168391 markings, 16694426 edges, 89373 markings/sec, 50 secs
lola: 5617691 markings, 18131059 edges, 89860 markings/sec, 55 secs
lola: 6059049 markings, 19553705 edges, 88272 markings/sec, 60 secs
lola: 6497392 markings, 21001098 edges, 87669 markings/sec, 65 secs
lola: 6935073 markings, 22432911 edges, 87536 markings/sec, 70 secs
lola: 7383129 markings, 23835246 edges, 89611 markings/sec, 75 secs
lola: 7813532 markings, 25252018 edges, 86081 markings/sec, 80 secs
lola: 8248797 markings, 26704804 edges, 87053 markings/sec, 85 secs
lola: 8680045 markings, 28101849 edges, 86250 markings/sec, 90 secs
lola: 9117017 markings, 29503330 edges, 87394 markings/sec, 95 secs
lola: 9544727 markings, 30917476 edges, 85542 markings/sec, 100 secs
lola: 9971615 markings, 32325870 edges, 85378 markings/sec, 105 secs
lola: 10405365 markings, 33737974 edges, 86750 markings/sec, 110 secs
lola: 10848905 markings, 35188454 edges, 88708 markings/sec, 115 secs
lola: 11271724 markings, 36588568 edges, 84564 markings/sec, 120 secs
lola: 11706531 markings, 38001744 edges, 86961 markings/sec, 125 secs
lola: 12141433 markings, 39435468 edges, 86980 markings/sec, 130 secs
lola: 12575850 markings, 40860006 edges, 86883 markings/sec, 135 secs
lola: 13004803 markings, 42275698 edges, 85791 markings/sec, 140 secs
lola: 13426363 markings, 43687208 edges, 84312 markings/sec, 145 secs
lola: 13857308 markings, 45115959 edges, 86189 markings/sec, 150 secs
lola: 14275649 markings, 46518901 edges, 83668 markings/sec, 155 secs
lola: 14681986 markings, 47944282 edges, 81267 markings/sec, 160 secs
lola: 15104840 markings, 49351855 edges, 84571 markings/sec, 165 secs
lola: 15515682 markings, 50730309 edges, 82168 markings/sec, 170 secs
lola: 15914733 markings, 52122334 edges, 79810 markings/sec, 175 secs
lola: 16325651 markings, 53521476 edges, 82184 markings/sec, 180 secs
lola: 16734417 markings, 54924633 edges, 81753 markings/sec, 185 secs
lola: 17145423 markings, 56299397 edges, 82201 markings/sec, 190 secs
lola: 17552077 markings, 57697140 edges, 81331 markings/sec, 195 secs
lola: 17960916 markings, 59037106 edges, 81768 markings/sec, 200 secs
lola: 18363551 markings, 60428630 edges, 80527 markings/sec, 205 secs
lola: 18774481 markings, 61846008 edges, 82186 markings/sec, 210 secs
lola: 19163187 markings, 63185696 edges, 77741 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(cAMP__5_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 96 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: 539508 markings, 1538451 edges, 107902 markings/sec, 0 secs
lola: 1053280 markings, 3006989 edges, 102754 markings/sec, 5 secs
lola: 1560737 markings, 4472180 edges, 101491 markings/sec, 10 secs
lola: 2057747 markings, 5908165 edges, 99402 markings/sec, 15 secs
lola: 2550070 markings, 7340443 edges, 98465 markings/sec, 20 secs
lola: 3019788 markings, 8721343 edges, 93944 markings/sec, 25 secs
lola: 3504009 markings, 10133283 edges, 96844 markings/sec, 30 secs
lola: 3987187 markings, 11561203 edges, 96636 markings/sec, 35 secs
lola: 4460168 markings, 12950384 edges, 94596 markings/sec, 40 secs
lola: 4942716 markings, 14369994 edges, 96510 markings/sec, 45 secs
lola: 5413326 markings, 15747437 edges, 94122 markings/sec, 50 secs
lola: 5880742 markings, 17122696 edges, 93483 markings/sec, 55 secs
lola: 6349498 markings, 18498798 edges, 93751 markings/sec, 60 secs
lola: 6820404 markings, 19881331 edges, 94181 markings/sec, 65 secs
lola: 7292891 markings, 21277518 edges, 94497 markings/sec, 70 secs
lola: 7751721 markings, 22626136 edges, 91766 markings/sec, 75 secs
lola: 8210221 markings, 23968149 edges, 91700 markings/sec, 80 secs
lola: 8667916 markings, 25334185 edges, 91539 markings/sec, 85 secs
lola: 9123178 markings, 26667354 edges, 91052 markings/sec, 90 secs
lola: 9589004 markings, 28038422 edges, 93165 markings/sec, 95 secs
lola: 10051355 markings, 29417278 edges, 92470 markings/sec, 100 secs
lola: 10514651 markings, 30774389 edges, 92659 markings/sec, 105 secs
lola: 10975631 markings, 32154414 edges, 92196 markings/sec, 110 secs
lola: 11406520 markings, 33439844 edges, 86178 markings/sec, 115 secs
lola: 11864775 markings, 34801976 edges, 91651 markings/sec, 120 secs
lola: 12312867 markings, 36140953 edges, 89618 markings/sec, 125 secs
lola: 12746953 markings, 37440693 edges, 86817 markings/sec, 130 secs
lola: 13193155 markings, 38789382 edges, 89240 markings/sec, 135 secs
lola: 13646208 markings, 40138794 edges, 90611 markings/sec, 140 secs
lola: 14088928 markings, 41464677 edges, 88544 markings/sec, 145 secs
lola: 14534422 markings, 42798160 edges, 89099 markings/sec, 150 secs
lola: 14978795 markings, 44132819 edges, 88875 markings/sec, 155 secs
lola: 15414884 markings, 45419944 edges, 87218 markings/sec, 160 secs
lola: 15855940 markings, 46747440 edges, 88211 markings/sec, 165 secs
lola: 16272607 markings, 48011543 edges, 83333 markings/sec, 170 secs
lola: 16694418 markings, 49296947 edges, 84362 markings/sec, 175 secs
lola: 17134449 markings, 50597294 edges, 88006 markings/sec, 180 secs
lola: 17559221 markings, 51889809 edges, 84954 markings/sec, 185 secs
lola: 17983868 markings, 53180190 edges, 84929 markings/sec, 190 secs
lola: 18411508 markings, 54466953 edges, 85528 markings/sec, 195 secs
lola: 18843329 markings, 55739280 edges, 86364 markings/sec, 200 secs
lola: 19270868 markings, 57034013 edges, 85508 markings/sec, 205 secs
lola: 19699249 markings, 58321996 edges, 85676 markings/sec, 210 secs
lola: 20133139 markings, 59621449 edges, 86778 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(cAMP__4_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 96 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: 546802 markings, 1479998 edges, 109360 markings/sec, 0 secs
lola: 1068092 markings, 2896057 edges, 104258 markings/sec, 5 secs
lola: 1579731 markings, 4298593 edges, 102328 markings/sec, 10 secs
lola: 2095606 markings, 5697873 edges, 103175 markings/sec, 15 secs
lola: 2623156 markings, 7139340 edges, 105510 markings/sec, 20 secs
lola: 3139918 markings, 8549427 edges, 103352 markings/sec, 25 secs
lola: 3655135 markings, 9944710 edges, 103043 markings/sec, 30 secs
lola: 4144825 markings, 11277051 edges, 97938 markings/sec, 35 secs
lola: 4640654 markings, 12629830 edges, 99166 markings/sec, 40 secs
lola: 5143910 markings, 14017396 edges, 100651 markings/sec, 45 secs
lola: 5656955 markings, 15422031 edges, 102609 markings/sec, 50 secs
lola: 6155271 markings, 16775950 edges, 99663 markings/sec, 55 secs
lola: 6652547 markings, 18152150 edges, 99455 markings/sec, 60 secs
lola: 7158377 markings, 19537821 edges, 101166 markings/sec, 65 secs
lola: 7640971 markings, 20843797 edges, 96519 markings/sec, 70 secs
lola: 8144983 markings, 22216836 edges, 100802 markings/sec, 75 secs
lola: 8640966 markings, 23581752 edges, 99197 markings/sec, 80 secs
lola: 9124995 markings, 24917599 edges, 96806 markings/sec, 85 secs
lola: 9641941 markings, 26323683 edges, 103389 markings/sec, 90 secs
lola: 10130714 markings, 27650996 edges, 97755 markings/sec, 95 secs
lola: 10613690 markings, 28982143 edges, 96595 markings/sec, 100 secs
lola: 11092986 markings, 30326125 edges, 95859 markings/sec, 105 secs
lola: 11593465 markings, 31689847 edges, 100096 markings/sec, 110 secs
lola: 12077261 markings, 33032090 edges, 96759 markings/sec, 115 secs
lola: 12576365 markings, 34400392 edges, 99821 markings/sec, 120 secs
lola: 13071870 markings, 35759996 edges, 99101 markings/sec, 125 secs
lola: 13566212 markings, 37116562 edges, 98868 markings/sec, 130 secs
lola: 14050030 markings, 38429997 edges, 96764 markings/sec, 135 secs
lola: 14546182 markings, 39791912 edges, 99230 markings/sec, 140 secs
lola: 15033741 markings, 41127621 edges, 97512 markings/sec, 145 secs
lola: 15510528 markings, 42478572 edges, 95357 markings/sec, 150 secs
lola: 15973194 markings, 43780466 edges, 92533 markings/sec, 155 secs
lola: 16478384 markings, 45164889 edges, 101038 markings/sec, 160 secs
lola: 16977039 markings, 46550373 edges, 99731 markings/sec, 165 secs
lola: 17451934 markings, 47865212 edges, 94979 markings/sec, 170 secs
lola: 17920232 markings, 49143117 edges, 93660 markings/sec, 175 secs
lola: 18382389 markings, 50429624 edges, 92431 markings/sec, 180 secs
lola: 18853440 markings, 51743548 edges, 94210 markings/sec, 185 secs
lola: 19344448 markings, 53099972 edges, 98202 markings/sec, 190 secs
lola: 19811342 markings, 54409354 edges, 93379 markings/sec, 195 secs
lola: 20281404 markings, 55693697 edges, 94012 markings/sec, 200 secs
lola: 20745992 markings, 57000830 edges, 92918 markings/sec, 205 secs
lola: 21213541 markings, 58276287 edges, 93510 markings/sec, 210 secs
lola: 21680949 markings, 59551075 edges, 93482 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(cAMP__5_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 96 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: 520273 markings, 1625792 edges, 104055 markings/sec, 0 secs
lola: 1014024 markings, 3181959 edges, 98750 markings/sec, 5 secs
lola: 1487828 markings, 4715185 edges, 94761 markings/sec, 10 secs
lola: 1946023 markings, 6214123 edges, 91639 markings/sec, 15 secs
lola: 2407211 markings, 7717268 edges, 92238 markings/sec, 20 secs
lola: 2869549 markings, 9211655 edges, 92468 markings/sec, 25 secs
lola: 3316515 markings, 10673863 edges, 89393 markings/sec, 30 secs
lola: 3767066 markings, 12160531 edges, 90110 markings/sec, 35 secs
lola: 4229372 markings, 13634103 edges, 92461 markings/sec, 40 secs
lola: 4683074 markings, 15086186 edges, 90740 markings/sec, 45 secs
lola: 5125344 markings, 16558424 edges, 88454 markings/sec, 50 secs
lola: 5579562 markings, 18004345 edges, 90844 markings/sec, 55 secs
lola: 6024906 markings, 19449411 edges, 89069 markings/sec, 60 secs
lola: 6467897 markings, 20904916 edges, 88598 markings/sec, 65 secs
lola: 6907660 markings, 22346323 edges, 87953 markings/sec, 70 secs
lola: 7365451 markings, 23780600 edges, 91558 markings/sec, 75 secs
lola: 7806958 markings, 25228982 edges, 88301 markings/sec, 80 secs
lola: 8249689 markings, 26707446 edges, 88546 markings/sec, 85 secs
lola: 8691941 markings, 28138356 edges, 88450 markings/sec, 90 secs
lola: 9136601 markings, 29566110 edges, 88932 markings/sec, 95 secs
lola: 9570235 markings, 30995395 edges, 86727 markings/sec, 100 secs
lola: 9998869 markings, 32424774 edges, 85727 markings/sec, 105 secs
lola: 10442473 markings, 33852922 edges, 88721 markings/sec, 110 secs
lola: 10887291 markings, 35316740 edges, 88964 markings/sec, 115 secs
lola: 11316202 markings, 36733056 edges, 85782 markings/sec, 120 secs
lola: 11758954 markings, 38169202 edges, 88550 markings/sec, 125 secs
lola: 12194145 markings, 39612567 edges, 87038 markings/sec, 130 secs
lola: 12628271 markings, 41037364 edges, 86825 markings/sec, 135 secs
lola: 13064223 markings, 42468194 edges, 87190 markings/sec, 140 secs
lola: 13485417 markings, 43906354 edges, 84239 markings/sec, 145 secs
lola: 13921744 markings, 45341444 edges, 87265 markings/sec, 150 secs
lola: 14349469 markings, 46782638 edges, 85545 markings/sec, 155 secs
lola: 14771311 markings, 48240374 edges, 84368 markings/sec, 160 secs
lola: 15202546 markings, 49678740 edges, 86247 markings/sec, 165 secs
lola: 15612679 markings, 51062487 edges, 82027 markings/sec, 170 secs
lola: 16028341 markings, 52506426 edges, 83132 markings/sec, 175 secs
lola: 16442659 markings, 53934970 edges, 82864 markings/sec, 180 secs
lola: 16866739 markings, 55361423 edges, 84816 markings/sec, 185 secs
lola: 17286411 markings, 56786692 edges, 83934 markings/sec, 190 secs
lola: 17708520 markings, 58212590 edges, 84422 markings/sec, 195 secs
lola: 18118995 markings, 59603428 edges, 82095 markings/sec, 200 secs
lola: 18534393 markings, 61017900 edges, 83080 markings/sec, 205 secs
lola: 18943826 markings, 62433054 edges, 81887 markings/sec, 210 secs
lola: 19341107 markings, 63821922 edges, 79456 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(cAMP__1_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 96 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: 416031 markings, 1507221 edges, 83206 markings/sec, 0 secs
lola: 794701 markings, 2942899 edges, 75734 markings/sec, 5 secs
lola: 1146024 markings, 4246449 edges, 70265 markings/sec, 10 secs
lola: 1493410 markings, 5570187 edges, 69477 markings/sec, 15 secs
lola: 1831307 markings, 6866402 edges, 67579 markings/sec, 20 secs
lola: 2162645 markings, 8168452 edges, 66268 markings/sec, 25 secs
lola: 2496685 markings, 9508585 edges, 66808 markings/sec, 30 secs
lola: 2817440 markings, 10790079 edges, 64151 markings/sec, 35 secs
lola: 3139067 markings, 12049281 edges, 64325 markings/sec, 40 secs
lola: 3468551 markings, 13296394 edges, 65897 markings/sec, 45 secs
lola: 3782118 markings, 14524313 edges, 62713 markings/sec, 50 secs
lola: 4099231 markings, 15685354 edges, 63423 markings/sec, 55 secs
lola: 4416151 markings, 16971470 edges, 63384 markings/sec, 60 secs
lola: 4726535 markings, 18280203 edges, 62077 markings/sec, 65 secs
lola: 5036823 markings, 19510912 edges, 62058 markings/sec, 70 secs
lola: 5340164 markings, 20804620 edges, 60668 markings/sec, 75 secs
lola: 5648616 markings, 22033040 edges, 61690 markings/sec, 80 secs
lola: 5955518 markings, 23225998 edges, 61380 markings/sec, 85 secs
lola: 6264441 markings, 24425491 edges, 61785 markings/sec, 90 secs
lola: 6564727 markings, 25625321 edges, 60057 markings/sec, 95 secs
lola: 6860906 markings, 26800958 edges, 59236 markings/sec, 100 secs
lola: 7161251 markings, 28006536 edges, 60069 markings/sec, 105 secs
lola: 7477632 markings, 29192103 edges, 63276 markings/sec, 110 secs
lola: 7789651 markings, 30426901 edges, 62404 markings/sec, 115 secs
lola: 8080806 markings, 31628793 edges, 58231 markings/sec, 120 secs
lola: 8368883 markings, 32839841 edges, 57615 markings/sec, 125 secs
lola: 8652648 markings, 34000147 edges, 56753 markings/sec, 130 secs
lola: 8938094 markings, 35148336 edges, 57089 markings/sec, 135 secs
lola: 9226136 markings, 36389513 edges, 57608 markings/sec, 140 secs
lola: 9493077 markings, 37525946 edges, 53388 markings/sec, 145 secs
lola: 9776968 markings, 38705011 edges, 56778 markings/sec, 150 secs
lola: 10076803 markings, 39955343 edges, 59967 markings/sec, 155 secs
lola: 10355294 markings, 41037913 edges, 55698 markings/sec, 160 secs
lola: 10630874 markings, 42154715 edges, 55116 markings/sec, 165 secs
lola: 10916659 markings, 43276289 edges, 57157 markings/sec, 170 secs
lola: 11203631 markings, 44482476 edges, 57394 markings/sec, 175 secs
lola: 11489072 markings, 45725930 edges, 57088 markings/sec, 180 secs
lola: 11778174 markings, 46897883 edges, 57820 markings/sec, 185 secs
lola: 12050142 markings, 48033832 edges, 54394 markings/sec, 190 secs
lola: 12320451 markings, 49179798 edges, 54062 markings/sec, 195 secs
lola: 12609064 markings, 50380125 edges, 57723 markings/sec, 200 secs
lola: 12885356 markings, 51520627 edges, 55258 markings/sec, 205 secs
lola: 13158154 markings, 52656062 edges, 54560 markings/sec, 210 secs
lola: 13435739 markings, 53864934 edges, 55517 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(cAMP__5_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 96 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: 518544 markings, 1620748 edges, 103709 markings/sec, 0 secs
lola: 1007111 markings, 3159513 edges, 97713 markings/sec, 5 secs
lola: 1489283 markings, 4720502 edges, 96434 markings/sec, 10 secs
lola: 1952972 markings, 6236870 edges, 92738 markings/sec, 15 secs
lola: 2411516 markings, 7732682 edges, 91709 markings/sec, 20 secs
lola: 2872143 markings, 9220117 edges, 92125 markings/sec, 25 secs
lola: 3315937 markings, 10671801 edges, 88759 markings/sec, 30 secs
lola: 3763252 markings, 12147754 edges, 89463 markings/sec, 35 secs
lola: 4222806 markings, 13611339 edges, 91911 markings/sec, 40 secs
lola: 4672255 markings, 15051280 edges, 89890 markings/sec, 45 secs
lola: 5111319 markings, 16513600 edges, 87813 markings/sec, 50 secs
lola: 5562129 markings, 17949987 edges, 90162 markings/sec, 55 secs
lola: 6004767 markings, 19387261 edges, 88528 markings/sec, 60 secs
lola: 6445601 markings, 20826397 edges, 88167 markings/sec, 65 secs
lola: 6871787 markings, 22226073 edges, 85237 markings/sec, 70 secs
lola: 7321016 markings, 23640785 edges, 89846 markings/sec, 75 secs
lola: 7756275 markings, 25053916 edges, 87052 markings/sec, 80 secs
lola: 8186834 markings, 26496399 edges, 86112 markings/sec, 85 secs
lola: 8624067 markings, 27925138 edges, 87447 markings/sec, 90 secs
lola: 9059120 markings, 29323068 edges, 87011 markings/sec, 95 secs
lola: 9491354 markings, 30731745 edges, 86447 markings/sec, 100 secs
lola: 9920690 markings, 32139878 edges, 85867 markings/sec, 105 secs
lola: 10353719 markings, 33559849 edges, 86606 markings/sec, 110 secs
lola: 10794359 markings, 35009925 edges, 88128 markings/sec, 115 secs
lola: 11220018 markings, 36424630 edges, 85132 markings/sec, 120 secs
lola: 11656136 markings, 37841913 edges, 87224 markings/sec, 125 secs
lola: 12089475 markings, 39268070 edges, 86668 markings/sec, 130 secs
lola: 12523889 markings, 40693154 edges, 86883 markings/sec, 135 secs
lola: 12953855 markings, 42113739 edges, 85993 markings/sec, 140 secs
lola: 13386886 markings, 43552067 edges, 86606 markings/sec, 145 secs
lola: 13814096 markings, 44976951 edges, 85442 markings/sec, 150 secs
lola: 14245963 markings, 46410459 edges, 86373 markings/sec, 155 secs
lola: 14659841 markings, 47871030 edges, 82776 markings/sec, 160 secs
lola: 15088812 markings, 49298718 edges, 85794 markings/sec, 165 secs
lola: 15509100 markings, 50709368 edges, 84058 markings/sec, 170 secs
lola: 15917152 markings, 52129559 edges, 81610 markings/sec, 175 secs
lola: 16335208 markings, 53555448 edges, 83611 markings/sec, 180 secs
lola: 16756717 markings, 54992454 edges, 84302 markings/sec, 185 secs
lola: 17180058 markings, 56428950 edges, 84668 markings/sec, 190 secs
lola: 17605611 markings, 57872865 edges, 85111 markings/sec, 195 secs
lola: 18017796 markings, 59254691 edges, 82437 markings/sec, 200 secs
lola: 18437062 markings, 60684712 edges, 83853 markings/sec, 205 secs
lola: 18854465 markings, 62125684 edges, 83481 markings/sec, 210 secs
lola: 19253892 markings, 63507471 edges, 79885 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(cAMP__2_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 96 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: 399834 markings, 1502527 edges, 79967 markings/sec, 0 secs
lola: 748996 markings, 2829700 edges, 69832 markings/sec, 5 secs
lola: 1079662 markings, 4163078 edges, 66133 markings/sec, 10 secs
lola: 1403488 markings, 5437858 edges, 64765 markings/sec, 15 secs
lola: 1713824 markings, 6705020 edges, 62067 markings/sec, 20 secs
lola: 2012147 markings, 7980242 edges, 59665 markings/sec, 25 secs
lola: 2314213 markings, 9197036 edges, 60413 markings/sec, 30 secs
lola: 2605003 markings, 10426947 edges, 58158 markings/sec, 35 secs
lola: 2893200 markings, 11667057 edges, 57639 markings/sec, 40 secs
lola: 3175994 markings, 12874472 edges, 56559 markings/sec, 45 secs
lola: 3458122 markings, 14074136 edges, 56426 markings/sec, 50 secs
lola: 3732170 markings, 15257767 edges, 54810 markings/sec, 55 secs
lola: 4011496 markings, 16445465 edges, 55865 markings/sec, 60 secs
lola: 4288721 markings, 17581500 edges, 55445 markings/sec, 65 secs
lola: 4561887 markings, 18736419 edges, 54633 markings/sec, 70 secs
lola: 4837133 markings, 19901430 edges, 55049 markings/sec, 75 secs
lola: 5109798 markings, 21109201 edges, 54533 markings/sec, 80 secs
lola: 5375057 markings, 22264374 edges, 53052 markings/sec, 85 secs
lola: 5642645 markings, 23443042 edges, 53518 markings/sec, 90 secs
lola: 5911764 markings, 24543373 edges, 53824 markings/sec, 95 secs
lola: 6173837 markings, 25683290 edges, 52415 markings/sec, 100 secs
lola: 6436615 markings, 26831669 edges, 52556 markings/sec, 105 secs
lola: 6698580 markings, 27987697 edges, 52393 markings/sec, 110 secs
lola: 6955450 markings, 29113375 edges, 51374 markings/sec, 115 secs
lola: 7210792 markings, 30221647 edges, 51068 markings/sec, 120 secs
lola: 7459603 markings, 31333721 edges, 49762 markings/sec, 125 secs
lola: 7709197 markings, 32443148 edges, 49919 markings/sec, 130 secs
lola: 7968556 markings, 33597096 edges, 51872 markings/sec, 135 secs
lola: 8217628 markings, 34727330 edges, 49814 markings/sec, 140 secs
lola: 8470175 markings, 35838281 edges, 50509 markings/sec, 145 secs
lola: 8719090 markings, 36996845 edges, 49783 markings/sec, 150 secs
lola: 8964807 markings, 38127041 edges, 49143 markings/sec, 155 secs
lola: 9210651 markings, 39230681 edges, 49169 markings/sec, 160 secs
lola: 9451484 markings, 40348401 edges, 48167 markings/sec, 165 secs
lola: 9694065 markings, 41453219 edges, 48516 markings/sec, 170 secs
lola: 9932818 markings, 42538638 edges, 47751 markings/sec, 175 secs
lola: 10173997 markings, 43635744 edges, 48236 markings/sec, 180 secs
lola: 10426147 markings, 44767184 edges, 50430 markings/sec, 185 secs
lola: 10674034 markings, 45897499 edges, 49577 markings/sec, 190 secs
lola: 10921778 markings, 46994949 edges, 49549 markings/sec, 195 secs
lola: 11169724 markings, 48107396 edges, 49589 markings/sec, 200 secs
lola: 11416676 markings, 49206924 edges, 49390 markings/sec, 205 secs
lola: 11655918 markings, 50306349 edges, 47848 markings/sec, 210 secs
lola: 11897952 markings, 51384753 edges, 48407 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(cAMP__5_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 96 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: 521814 markings, 1492252 edges, 104363 markings/sec, 0 secs
lola: 1021648 markings, 2931839 edges, 99967 markings/sec, 5 secs
lola: 1514736 markings, 4364521 edges, 98618 markings/sec, 10 secs
lola: 2011980 markings, 5804572 edges, 99449 markings/sec, 15 secs
lola: 2491844 markings, 7239631 edges, 95973 markings/sec, 20 secs
lola: 2968032 markings, 8662104 edges, 95238 markings/sec, 25 secs
lola: 3434969 markings, 10063934 edges, 93387 markings/sec, 30 secs
lola: 3908971 markings, 11460938 edges, 94800 markings/sec, 35 secs
lola: 4365253 markings, 12874749 edges, 91256 markings/sec, 40 secs
lola: 4832824 markings, 14262215 edges, 93514 markings/sec, 45 secs
lola: 5297867 markings, 15664691 edges, 93009 markings/sec, 50 secs
lola: 5751209 markings, 17065164 edges, 90668 markings/sec, 55 secs
lola: 6204737 markings, 18467491 edges, 90706 markings/sec, 60 secs
lola: 6657275 markings, 19873665 edges, 90508 markings/sec, 65 secs
lola: 7113632 markings, 21287670 edges, 91271 markings/sec, 70 secs
lola: 7561898 markings, 22691230 edges, 89653 markings/sec, 75 secs
lola: 8014578 markings, 24072581 edges, 90536 markings/sec, 80 secs
lola: 8468388 markings, 25459621 edges, 90762 markings/sec, 85 secs
lola: 8919368 markings, 26832664 edges, 90196 markings/sec, 90 secs
lola: 9365490 markings, 28233917 edges, 89224 markings/sec, 95 secs
lola: 9807525 markings, 29618794 edges, 88407 markings/sec, 100 secs
lola: 10241138 markings, 31015093 edges, 86723 markings/sec, 105 secs
lola: 10680298 markings, 32384112 edges, 87832 markings/sec, 110 secs
lola: 11125360 markings, 33780979 edges, 89012 markings/sec, 115 secs
lola: 11574689 markings, 35156470 edges, 89866 markings/sec, 120 secs
lola: 12008378 markings, 36530180 edges, 86738 markings/sec, 125 secs
lola: 12442654 markings, 37920537 edges, 86855 markings/sec, 130 secs
lola: 12876647 markings, 39305768 edges, 86799 markings/sec, 135 secs
lola: 13315588 markings, 40674568 edges, 87788 markings/sec, 140 secs
lola: 13743252 markings, 42065481 edges, 85533 markings/sec, 145 secs
lola: 14177653 markings, 43460054 edges, 86880 markings/sec, 150 secs
lola: 14621851 markings, 44809162 edges, 88840 markings/sec, 155 secs
lola: 15054567 markings, 46196497 edges, 86543 markings/sec, 160 secs
lola: 15486179 markings, 47577044 edges, 86322 markings/sec, 165 secs
lola: 15923200 markings, 48956830 edges, 87404 markings/sec, 170 secs
lola: 16362145 markings, 50311596 edges, 87789 markings/sec, 175 secs
lola: 16788300 markings, 51693657 edges, 85231 markings/sec, 180 secs
lola: 17211007 markings, 53077815 edges, 84541 markings/sec, 185 secs
lola: 17633835 markings, 54466861 edges, 84566 markings/sec, 190 secs
lola: 18060512 markings, 55831117 edges, 85335 markings/sec, 195 secs
lola: 18495686 markings, 57182164 edges, 87035 markings/sec, 200 secs
lola: 18917511 markings, 58551859 edges, 84365 markings/sec, 205 secs
lola: 19337831 markings, 59936382 edges, 84064 markings/sec, 210 secs
lola: 19763330 markings, 61326126 edges, 85100 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(cAMP__5_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 96 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: 514952 markings, 1472059 edges, 102990 markings/sec, 0 secs
lola: 1008935 markings, 2895490 edges, 98797 markings/sec, 5 secs
lola: 1498340 markings, 4313169 edges, 97881 markings/sec, 10 secs
lola: 1988930 markings, 5739232 edges, 98118 markings/sec, 15 secs
lola: 2464009 markings, 7158044 edges, 95016 markings/sec, 20 secs
lola: 2936991 markings, 8568191 edges, 94596 markings/sec, 25 secs
lola: 3400355 markings, 9961634 edges, 92673 markings/sec, 30 secs
lola: 3868899 markings, 11342119 edges, 93709 markings/sec, 35 secs
lola: 4323246 markings, 12742722 edges, 90869 markings/sec, 40 secs
lola: 4786607 markings, 14128369 edges, 92672 markings/sec, 45 secs
lola: 5247935 markings, 15514040 edges, 92266 markings/sec, 50 secs
lola: 5697413 markings, 16902118 edges, 89896 markings/sec, 55 secs
lola: 6147877 markings, 18287337 edges, 90093 markings/sec, 60 secs
lola: 6597494 markings, 19675819 edges, 89923 markings/sec, 65 secs
lola: 7044729 markings, 21076617 edges, 89447 markings/sec, 70 secs
lola: 7487862 markings, 22460751 edges, 88627 markings/sec, 75 secs
lola: 7935281 markings, 23820266 edges, 89484 markings/sec, 80 secs
lola: 8386570 markings, 25206589 edges, 90258 markings/sec, 85 secs
lola: 8835091 markings, 26578391 edges, 89704 markings/sec, 90 secs
lola: 9284134 markings, 27975943 edges, 89809 markings/sec, 95 secs
lola: 9730247 markings, 29367467 edges, 89223 markings/sec, 100 secs
lola: 10167358 markings, 30773774 edges, 87422 markings/sec, 105 secs
lola: 10605151 markings, 32152567 edges, 87559 markings/sec, 110 secs
lola: 11050548 markings, 33537305 edges, 89079 markings/sec, 115 secs
lola: 11494895 markings, 34919539 edges, 88869 markings/sec, 120 secs
lola: 11927149 markings, 36295400 edges, 86451 markings/sec, 125 secs
lola: 12365139 markings, 37671521 edges, 87598 markings/sec, 130 secs
lola: 12795326 markings, 39059756 edges, 86037 markings/sec, 135 secs
lola: 13239291 markings, 40425610 edges, 88793 markings/sec, 140 secs
lola: 13666272 markings, 41814444 edges, 85396 markings/sec, 145 secs
lola: 14098106 markings, 43213375 edges, 86367 markings/sec, 150 secs
lola: 14542033 markings, 44560442 edges, 88785 markings/sec, 155 secs
lola: 14973038 markings, 45956692 edges, 86201 markings/sec, 160 secs
lola: 15408755 markings, 47335064 edges, 87143 markings/sec, 165 secs
lola: 15849077 markings, 48714774 edges, 88064 markings/sec, 170 secs
lola: 16284813 markings, 50071730 edges, 87147 markings/sec, 175 secs
lola: 16711121 markings, 51454602 edges, 85262 markings/sec, 180 secs
lola: 17139267 markings, 52836300 edges, 85629 markings/sec, 185 secs
lola: 17561598 markings, 54227210 edges, 84466 markings/sec, 190 secs
lola: 17989417 markings, 55598025 edges, 85564 markings/sec, 195 secs
lola: 18421191 markings, 56949075 edges, 86355 markings/sec, 200 secs
lola: 18848173 markings, 58314464 edges, 85396 markings/sec, 205 secs
lola: 19267003 markings, 59697500 edges, 83766 markings/sec, 210 secs
lola: 19688985 markings, 61092476 edges, 84396 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(cAMP__1_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 96 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: 418974 markings, 1517765 edges, 83795 markings/sec, 0 secs
lola: 800928 markings, 2964882 edges, 76391 markings/sec, 5 secs
lola: 1154478 markings, 4276921 edges, 70710 markings/sec, 10 secs
lola: 1506299 markings, 5619560 edges, 70364 markings/sec, 15 secs
lola: 1849236 markings, 6932744 edges, 68587 markings/sec, 20 secs
lola: 2183306 markings, 8247047 edges, 66814 markings/sec, 25 secs
lola: 2517950 markings, 9597950 edges, 66929 markings/sec, 30 secs
lola: 2839221 markings, 10872963 edges, 64254 markings/sec, 35 secs
lola: 3161961 markings, 12139764 edges, 64548 markings/sec, 40 secs
lola: 3495403 markings, 13400984 edges, 66688 markings/sec, 45 secs
lola: 3813426 markings, 14639478 edges, 63605 markings/sec, 50 secs
lola: 4130356 markings, 15808733 edges, 63386 markings/sec, 55 secs
lola: 4449020 markings, 17101755 edges, 63733 markings/sec, 60 secs
lola: 4760160 markings, 18430729 edges, 62228 markings/sec, 65 secs
lola: 5070324 markings, 19648090 edges, 62033 markings/sec, 70 secs
lola: 5375868 markings, 20945624 edges, 61109 markings/sec, 75 secs
lola: 5687809 markings, 22187264 edges, 62388 markings/sec, 80 secs
lola: 5992754 markings, 23376314 edges, 60989 markings/sec, 85 secs
lola: 6303934 markings, 24584352 edges, 62236 markings/sec, 90 secs
lola: 6600702 markings, 25771013 edges, 59354 markings/sec, 95 secs
lola: 6904237 markings, 26969722 edges, 60707 markings/sec, 100 secs
lola: 7206483 markings, 28174169 edges, 60449 markings/sec, 105 secs
lola: 7520233 markings, 29351998 edges, 62750 markings/sec, 110 secs
lola: 7830185 markings, 30583031 edges, 61990 markings/sec, 115 secs
lola: 8122671 markings, 31812273 edges, 58497 markings/sec, 120 secs
lola: 8410502 markings, 33009297 edges, 57566 markings/sec, 125 secs
lola: 8693606 markings, 34166382 edges, 56621 markings/sec, 130 secs
lola: 8981380 markings, 35339458 edges, 57555 markings/sec, 135 secs
lola: 9270425 markings, 36578452 edges, 57809 markings/sec, 140 secs
lola: 9553666 markings, 37773734 edges, 56648 markings/sec, 145 secs
lola: 9840152 markings, 38976185 edges, 57297 markings/sec, 150 secs
lola: 10131759 markings, 40170434 edges, 58321 markings/sec, 155 secs
lola: 10406989 markings, 41250762 edges, 55046 markings/sec, 160 secs
lola: 10681100 markings, 42363124 edges, 54822 markings/sec, 165 secs
lola: 10966208 markings, 43482305 edges, 57022 markings/sec, 170 secs
lola: 11253454 markings, 44706578 edges, 57449 markings/sec, 175 secs
lola: 11536691 markings, 45939835 edges, 56647 markings/sec, 180 secs
lola: 11824963 markings, 47090584 edges, 57654 markings/sec, 185 secs
lola: 12092584 markings, 48213786 edges, 53524 markings/sec, 190 secs
lola: 12367167 markings, 49383139 edges, 54917 markings/sec, 195 secs
lola: 12655704 markings, 50570708 edges, 57707 markings/sec, 200 secs
lola: 12931786 markings, 51715591 edges, 55216 markings/sec, 205 secs
lola: 13207916 markings, 52866860 edges, 55226 markings/sec, 210 secs
lola: 13484685 markings, 54064041 edges, 55354 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(cAMP__2_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 96 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: 396463 markings, 1488130 edges, 79293 markings/sec, 0 secs
lola: 743151 markings, 2810153 edges, 69338 markings/sec, 5 secs
lola: 1072880 markings, 4140125 edges, 65946 markings/sec, 10 secs
lola: 1394848 markings, 5404603 edges, 64394 markings/sec, 15 secs
lola: 1704162 markings, 6663521 edges, 61863 markings/sec, 20 secs
lola: 1996593 markings, 7920501 edges, 58486 markings/sec, 25 secs
lola: 2295018 markings, 9121494 edges, 59685 markings/sec, 30 secs
lola: 2584616 markings, 10341181 edges, 57920 markings/sec, 35 secs
lola: 2873216 markings, 11571894 edges, 57720 markings/sec, 40 secs
lola: 3154467 markings, 12782955 edges, 56250 markings/sec, 45 secs
lola: 3436639 markings, 13981984 edges, 56434 markings/sec, 50 secs
lola: 3707267 markings, 15146931 edges, 54126 markings/sec, 55 secs
lola: 3986344 markings, 16336146 edges, 55815 markings/sec, 60 secs
lola: 4261325 markings, 17479062 edges, 54996 markings/sec, 65 secs
lola: 4534521 markings, 18621432 edges, 54639 markings/sec, 70 secs
lola: 4804078 markings, 19758703 edges, 53911 markings/sec, 75 secs
lola: 5080051 markings, 20968563 edges, 55195 markings/sec, 80 secs
lola: 5341208 markings, 22120974 edges, 52231 markings/sec, 85 secs
lola: 5604209 markings, 23277074 edges, 52600 markings/sec, 90 secs
lola: 5873102 markings, 24380320 edges, 53779 markings/sec, 95 secs
lola: 6131810 markings, 25483669 edges, 51742 markings/sec, 100 secs
lola: 6391969 markings, 26628232 edges, 52032 markings/sec, 105 secs
lola: 6649971 markings, 27771536 edges, 51600 markings/sec, 110 secs
lola: 6908255 markings, 28909031 edges, 51657 markings/sec, 115 secs
lola: 7160834 markings, 30005832 edges, 50516 markings/sec, 120 secs
lola: 7412583 markings, 31130270 edges, 50350 markings/sec, 125 secs
lola: 7662376 markings, 32246386 edges, 49959 markings/sec, 130 secs
lola: 7920969 markings, 33401128 edges, 51719 markings/sec, 135 secs
lola: 8175521 markings, 34533923 edges, 50910 markings/sec, 140 secs
lola: 8428286 markings, 35650185 edges, 50553 markings/sec, 145 secs
lola: 8680172 markings, 36809203 edges, 50377 markings/sec, 150 secs
lola: 8925101 markings, 37956541 edges, 48986 markings/sec, 155 secs
lola: 9169539 markings, 39051038 edges, 48888 markings/sec, 160 secs
lola: 9416580 markings, 40187475 edges, 49408 markings/sec, 165 secs
lola: 9657565 markings, 41295961 edges, 48197 markings/sec, 170 secs
lola: 9901131 markings, 42393506 edges, 48713 markings/sec, 175 secs
lola: 10141099 markings, 43486022 edges, 47994 markings/sec, 180 secs
lola: 10387874 markings, 44614575 edges, 49355 markings/sec, 185 secs
lola: 10638823 markings, 45719987 edges, 50190 markings/sec, 190 secs
lola: 10883489 markings, 46817394 edges, 48933 markings/sec, 195 secs
lola: 11095081 markings, 47814083 edges, 42318 markings/sec, 200 secs
lola: 11308276 markings, 48727967 edges, 42639 markings/sec, 205 secs
lola: 11514663 markings, 49678454 edges, 41277 markings/sec, 210 secs
lola: 11729346 markings, 50622487 edges, 42937 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(cAMP__3_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 96 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: 443742 markings, 1468473 edges, 88748 markings/sec, 0 secs
lola: 839771 markings, 2874329 edges, 79206 markings/sec, 5 secs
lola: 1217011 markings, 4258372 edges, 75448 markings/sec, 10 secs
lola: 1586216 markings, 5608939 edges, 73841 markings/sec, 15 secs
lola: 1944708 markings, 6949853 edges, 71698 markings/sec, 20 secs
lola: 2291130 markings, 8269573 edges, 69284 markings/sec, 25 secs
lola: 2643964 markings, 9621649 edges, 70567 markings/sec, 30 secs
lola: 2980931 markings, 10921283 edges, 67393 markings/sec, 35 secs
lola: 3320969 markings, 12197472 edges, 68008 markings/sec, 40 secs
lola: 3655082 markings, 13498779 edges, 66823 markings/sec, 45 secs
lola: 3977623 markings, 14800649 edges, 64508 markings/sec, 50 secs
lola: 4296726 markings, 16074574 edges, 63821 markings/sec, 55 secs
lola: 4610992 markings, 17326907 edges, 62853 markings/sec, 60 secs
lola: 4921640 markings, 18574802 edges, 62130 markings/sec, 65 secs
lola: 5233498 markings, 19796554 edges, 62372 markings/sec, 70 secs
lola: 5553175 markings, 21062270 edges, 63935 markings/sec, 75 secs
lola: 5866445 markings, 22345255 edges, 62654 markings/sec, 80 secs
lola: 6177651 markings, 23576381 edges, 62241 markings/sec, 85 secs
lola: 6475027 markings, 24792859 edges, 59475 markings/sec, 90 secs
lola: 6781704 markings, 26033742 edges, 61335 markings/sec, 95 secs
lola: 7078401 markings, 27274545 edges, 59339 markings/sec, 100 secs
lola: 7380718 markings, 28508603 edges, 60463 markings/sec, 105 secs
lola: 7683559 markings, 29717734 edges, 60568 markings/sec, 110 secs
lola: 7974880 markings, 30917078 edges, 58264 markings/sec, 115 secs
lola: 8268690 markings, 32134251 edges, 58762 markings/sec, 120 secs
lola: 8555158 markings, 33331035 edges, 57294 markings/sec, 125 secs
lola: 8855724 markings, 34558117 edges, 60113 markings/sec, 130 secs
lola: 9141823 markings, 35765530 edges, 57220 markings/sec, 135 secs
lola: 9433968 markings, 36994015 edges, 58429 markings/sec, 140 secs
lola: 9719867 markings, 38188691 edges, 57180 markings/sec, 145 secs
lola: 10001616 markings, 39383492 edges, 56350 markings/sec, 150 secs
lola: 10290574 markings, 40597447 edges, 57792 markings/sec, 155 secs
lola: 10582343 markings, 41808558 edges, 58354 markings/sec, 160 secs
lola: 10864656 markings, 43028194 edges, 56463 markings/sec, 165 secs
lola: 11147515 markings, 44241326 edges, 56572 markings/sec, 170 secs
lola: 11424104 markings, 45447238 edges, 55318 markings/sec, 175 secs
lola: 11711479 markings, 46644835 edges, 57475 markings/sec, 180 secs
lola: 12000012 markings, 47843893 edges, 57707 markings/sec, 185 secs
lola: 12283270 markings, 49035061 edges, 56652 markings/sec, 190 secs
lola: 12554623 markings, 50222573 edges, 54271 markings/sec, 195 secs
lola: 12836893 markings, 51413742 edges, 56454 markings/sec, 200 secs
lola: 13118251 markings, 52609056 edges, 56272 markings/sec, 205 secs
lola: 13402327 markings, 53811672 edges, 56815 markings/sec, 210 secs
lola: 13679184 markings, 54988808 edges, 55371 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 96 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: 567874 markings, 1361681 edges, 113575 markings/sec, 0 secs
lola: 1119102 markings, 2683701 edges, 110246 markings/sec, 5 secs
lola: 1646764 markings, 3954368 edges, 105532 markings/sec, 10 secs
lola: 2181192 markings, 5243143 edges, 106886 markings/sec, 15 secs
lola: 2704634 markings, 6514156 edges, 104688 markings/sec, 20 secs
lola: 3236778 markings, 7804314 edges, 106429 markings/sec, 25 secs
lola: 3755078 markings, 9060877 edges, 103660 markings/sec, 30 secs
lola: 4285729 markings, 10349023 edges, 106130 markings/sec, 35 secs
lola: 4796067 markings, 11600692 edges, 102068 markings/sec, 40 secs
lola: 5304724 markings, 12843592 edges, 101731 markings/sec, 45 secs
lola: 5812992 markings, 14077650 edges, 101654 markings/sec, 50 secs
lola: 6324476 markings, 15323645 edges, 102297 markings/sec, 55 secs
lola: 6829720 markings, 16561821 edges, 101049 markings/sec, 60 secs
lola: 7350232 markings, 17830007 edges, 104102 markings/sec, 65 secs
lola: 7873708 markings, 19099789 edges, 104695 markings/sec, 70 secs
lola: 8380207 markings, 20327346 edges, 101300 markings/sec, 75 secs
lola: 8885676 markings, 21569109 edges, 101094 markings/sec, 80 secs
lola: 9400281 markings, 22825803 edges, 102921 markings/sec, 85 secs
lola: 9897748 markings, 24038824 edges, 99493 markings/sec, 90 secs
lola: 10396615 markings, 25252462 edges, 99773 markings/sec, 95 secs
lola: 10884843 markings, 26445107 edges, 97646 markings/sec, 100 secs
lola: 11387677 markings, 27673388 edges, 100567 markings/sec, 105 secs
lola: 11873860 markings, 28886929 edges, 97237 markings/sec, 110 secs
lola: 12371657 markings, 30116633 edges, 99559 markings/sec, 115 secs
lola: 12851672 markings, 31308679 edges, 96003 markings/sec, 120 secs
lola: 13341886 markings, 32527992 edges, 98043 markings/sec, 125 secs
lola: 13837145 markings, 33751457 edges, 99052 markings/sec, 130 secs
lola: 14326652 markings, 34966028 edges, 97901 markings/sec, 135 secs
lola: 14811679 markings, 36167420 edges, 97005 markings/sec, 140 secs
lola: 15297070 markings, 37392265 edges, 97078 markings/sec, 145 secs
lola: 15811709 markings, 38643869 edges, 102928 markings/sec, 150 secs
lola: 16298491 markings, 39850063 edges, 97356 markings/sec, 155 secs
lola: 16786323 markings, 41075202 edges, 97566 markings/sec, 160 secs
lola: 17275514 markings, 42296363 edges, 97838 markings/sec, 165 secs
lola: 17735099 markings, 43490764 edges, 91917 markings/sec, 170 secs
lola: 18206435 markings, 44692124 edges, 94267 markings/sec, 175 secs
lola: 18703222 markings, 45924033 edges, 99357 markings/sec, 180 secs
lola: 19180410 markings, 47093294 edges, 95438 markings/sec, 185 secs
lola: 19659550 markings, 48275764 edges, 95828 markings/sec, 190 secs
lola: 20142293 markings, 49476059 edges, 96549 markings/sec, 195 secs
lola: 20625833 markings, 50681614 edges, 96708 markings/sec, 200 secs
lola: 21128212 markings, 51922672 edges, 100476 markings/sec, 205 secs
lola: 21610019 markings, 53134913 edges, 96361 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 96 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: 547325 markings, 1599149 edges, 109465 markings/sec, 0 secs
lola: 1071831 markings, 3138543 edges, 104901 markings/sec, 5 secs
lola: 1563124 markings, 4591692 edges, 98259 markings/sec, 10 secs
lola: 2070368 markings, 6082885 edges, 101449 markings/sec, 15 secs
lola: 2571325 markings, 7574908 edges, 100191 markings/sec, 20 secs
lola: 3066386 markings, 9026401 edges, 99012 markings/sec, 25 secs
lola: 3559834 markings, 10478092 edges, 98690 markings/sec, 30 secs
lola: 4075917 markings, 11991072 edges, 103217 markings/sec, 35 secs
lola: 4571147 markings, 13449617 edges, 99046 markings/sec, 40 secs
lola: 5054582 markings, 14881638 edges, 96687 markings/sec, 45 secs
lola: 5549531 markings, 16321753 edges, 98990 markings/sec, 50 secs
lola: 6053232 markings, 17792020 edges, 100740 markings/sec, 55 secs
lola: 6512254 markings, 19162457 edges, 91804 markings/sec, 60 secs
lola: 6958982 markings, 20492664 edges, 89346 markings/sec, 65 secs
lola: 7422524 markings, 21868514 edges, 92708 markings/sec, 70 secs
lola: 7892831 markings, 23270449 edges, 94061 markings/sec, 75 secs
lola: 8358685 markings, 24662073 edges, 93171 markings/sec, 80 secs
lola: 8831613 markings, 26056172 edges, 94586 markings/sec, 85 secs
lola: 9277744 markings, 27360199 edges, 89226 markings/sec, 90 secs
lola: 9723981 markings, 28716421 edges, 89247 markings/sec, 95 secs
lola: 10175736 markings, 30107873 edges, 90351 markings/sec, 100 secs
lola: 10664468 markings, 31559186 edges, 97746 markings/sec, 105 secs
lola: 11110974 markings, 32900987 edges, 89301 markings/sec, 110 secs
lola: 11545560 markings, 34193302 edges, 86917 markings/sec, 115 secs
lola: 12023001 markings, 35617538 edges, 95488 markings/sec, 120 secs
lola: 12492145 markings, 37011331 edges, 93829 markings/sec, 125 secs
lola: 12949910 markings, 38371325 edges, 91553 markings/sec, 130 secs
lola: 13407000 markings, 39746974 edges, 91418 markings/sec, 135 secs
lola: 13877256 markings, 41137754 edges, 94051 markings/sec, 140 secs
lola: 14364600 markings, 42550327 edges, 97469 markings/sec, 145 secs
lola: 14804546 markings, 43886902 edges, 87989 markings/sec, 150 secs
lola: 15269417 markings, 45233550 edges, 92974 markings/sec, 155 secs
lola: 15731783 markings, 46602608 edges, 92473 markings/sec, 160 secs
lola: 16157066 markings, 47941907 edges, 85057 markings/sec, 165 secs
lola: 16606893 markings, 49270407 edges, 89965 markings/sec, 170 secs
lola: 17059420 markings, 50598557 edges, 90505 markings/sec, 175 secs
lola: 17546064 markings, 52047995 edges, 97329 markings/sec, 180 secs
lola: 17984239 markings, 53387822 edges, 87635 markings/sec, 185 secs
lola: 18430034 markings, 54697538 edges, 89159 markings/sec, 190 secs
lola: 18861128 markings, 55963839 edges, 86219 markings/sec, 195 secs
lola: 19288275 markings, 57212673 edges, 85429 markings/sec, 200 secs
lola: 19726764 markings, 58520088 edges, 87698 markings/sec, 205 secs
lola: 20181955 markings, 59905021 edges, 91038 markings/sec, 210 secs
lola: 20631915 markings, 61243680 edges, 89992 markings/sec, 215 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 96 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: 448529 markings, 1488015 edges, 89706 markings/sec, 0 secs
lola: 846086 markings, 2896015 edges, 79511 markings/sec, 5 secs
lola: 1223056 markings, 4280761 edges, 75394 markings/sec, 10 secs
lola: 1595761 markings, 5645713 edges, 74541 markings/sec, 15 secs
lola: 1955677 markings, 6994690 edges, 71983 markings/sec, 20 secs
lola: 2305357 markings, 8320626 edges, 69936 markings/sec, 25 secs
lola: 2657833 markings, 9675333 edges, 70495 markings/sec, 30 secs
lola: 2995602 markings, 10979688 edges, 67554 markings/sec, 35 secs
lola: 3337198 markings, 12263428 edges, 68319 markings/sec, 40 secs
lola: 3670987 markings, 13559303 edges, 66758 markings/sec, 45 secs
lola: 3992583 markings, 14863071 edges, 64319 markings/sec, 50 secs
lola: 4313775 markings, 16137377 edges, 64238 markings/sec, 55 secs
lola: 4628872 markings, 17407339 edges, 63019 markings/sec, 60 secs
lola: 4943774 markings, 18655080 edges, 62980 markings/sec, 65 secs
lola: 5259949 markings, 19895103 edges, 63235 markings/sec, 70 secs
lola: 5578144 markings, 21175081 edges, 63639 markings/sec, 75 secs
lola: 5895563 markings, 22458952 edges, 63484 markings/sec, 80 secs
lola: 6207068 markings, 23701903 edges, 62301 markings/sec, 85 secs
lola: 6507775 markings, 24931989 edges, 60141 markings/sec, 90 secs
lola: 6817329 markings, 26183303 edges, 61911 markings/sec, 95 secs
lola: 7119305 markings, 27434022 edges, 60395 markings/sec, 100 secs
lola: 7421048 markings, 28670415 edges, 60349 markings/sec, 105 secs
lola: 7724199 markings, 29892552 edges, 60630 markings/sec, 110 secs
lola: 8024249 markings, 31128077 edges, 60010 markings/sec, 115 secs
lola: 8320535 markings, 32352783 edges, 59257 markings/sec, 120 secs
lola: 8611266 markings, 33568045 edges, 58146 markings/sec, 125 secs
lola: 8915848 markings, 34820052 edges, 60916 markings/sec, 130 secs
lola: 9200509 markings, 36022854 edges, 56932 markings/sec, 135 secs
lola: 9499591 markings, 37260909 edges, 59816 markings/sec, 140 secs
lola: 9785582 markings, 38469259 edges, 57198 markings/sec, 145 secs
lola: 10072769 markings, 39677481 edges, 57437 markings/sec, 150 secs
lola: 10370602 markings, 40913799 edges, 59567 markings/sec, 155 secs
lola: 10660293 markings, 42132805 edges, 57938 markings/sec, 160 secs
lola: 10945056 markings, 43366726 edges, 56953 markings/sec, 165 secs
lola: 11223144 markings, 44572964 edges, 55618 markings/sec, 170 secs
lola: 11505163 markings, 45789380 edges, 56404 markings/sec, 175 secs
lola: 11794152 markings, 46978040 edges, 57798 markings/sec, 180 secs
lola: 12077513 markings, 48168959 edges, 56672 markings/sec, 185 secs
lola: 12357329 markings, 49363814 edges, 55963 markings/sec, 190 secs
lola: 12629736 markings, 50536546 edges, 54481 markings/sec, 195 secs
lola: 12909678 markings, 51720566 edges, 55988 markings/sec, 200 secs
lola: 13192095 markings, 52920710 edges, 56483 markings/sec, 205 secs
lola: 13474979 markings, 54124620 edges, 56577 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Diffusion2D-PT-D05N010-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N010-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N010-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N010-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N010-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N010-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N010-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N010-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N010-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N010-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N010-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N010-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N010-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N010-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N010-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N010-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494638201429

--------------------
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="Diffusion2D-PT-D05N010"
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/Diffusion2D-PT-D05N010.tgz
mv Diffusion2D-PT-D05N010 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 Diffusion2D-PT-D05N010, 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 r018-ebro-149436309200353"
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 ;