About the Execution of LoLA for Diffusion2D-PT-D05N050
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8821.190 | 3540193.00 | 3556408.00 | 532.70 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is Diffusion2D-PT-D05N050, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309200362
=====================================================================
--------------------
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-D05N050-UpperBounds-0
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-1
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-15
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-2
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-3
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-4
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-5
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-6
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-7
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-8
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494635498762
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Diffusion2D-PT-D05N050 @ 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-D05N050-UpperBounds.task
lola: MAX(cAMP__5_4_) : MAX(cAMP__3_4_) : MAX(cAMP__2_1_) : MAX(cAMP__2_3_) : MAX(cAMP__5_5_) : MAX(cAMP__3_1_) : MAX(cAMP__1_2_) : MAX(cAMP__1_5_) : MAX(cAMP__2_3_) : MAX(cAMP__3_3_) : MAX(cAMP__5_4_) : MAX(cAMP__5_5_) : MAX(cAMP__3_1_) : MAX(cAMP__1_2_) : MAX(cAMP__3_4_) : MAX(cAMP__2_1_)
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__5_4_)
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: 593553 markings, 1628284 edges, 118711 markings/sec, 0 secs
lola: 1169990 markings, 3251577 edges, 115287 markings/sec, 5 secs
lola: 1755700 markings, 4953373 edges, 117142 markings/sec, 10 secs
lola: 2303201 markings, 6541208 edges, 109500 markings/sec, 15 secs
lola: 2830210 markings, 8104701 edges, 105402 markings/sec, 20 secs
lola: 3355552 markings, 9675630 edges, 105068 markings/sec, 25 secs
lola: 3881255 markings, 11201947 edges, 105141 markings/sec, 30 secs
lola: 4405015 markings, 12732807 edges, 104752 markings/sec, 35 secs
lola: 4954345 markings, 14218187 edges, 109866 markings/sec, 40 secs
lola: 5499189 markings, 15720982 edges, 108969 markings/sec, 45 secs
lola: 6023834 markings, 17220576 edges, 104929 markings/sec, 50 secs
lola: 6552418 markings, 18723702 edges, 105717 markings/sec, 55 secs
lola: 7059086 markings, 20211308 edges, 101334 markings/sec, 60 secs
lola: 7569308 markings, 21703412 edges, 102044 markings/sec, 65 secs
lola: 8075871 markings, 23193690 edges, 101313 markings/sec, 70 secs
lola: 8588966 markings, 24695947 edges, 102619 markings/sec, 75 secs
lola: 9085852 markings, 26218150 edges, 99377 markings/sec, 80 secs
lola: 9625980 markings, 27774203 edges, 108026 markings/sec, 85 secs
lola: 10149591 markings, 29332356 edges, 104722 markings/sec, 90 secs
lola: 10661836 markings, 30839441 edges, 102449 markings/sec, 95 secs
lola: 11166504 markings, 32312107 edges, 100934 markings/sec, 100 secs
lola: 11658722 markings, 33749170 edges, 98444 markings/sec, 105 secs
lola: 12161726 markings, 35252464 edges, 100601 markings/sec, 110 secs
lola: 12687022 markings, 36793655 edges, 105059 markings/sec, 115 secs
lola: 13177377 markings, 38222360 edges, 98071 markings/sec, 120 secs
lola: 13706462 markings, 39767035 edges, 105817 markings/sec, 125 secs
lola: 14185086 markings, 41175023 edges, 95725 markings/sec, 130 secs
lola: 14684366 markings, 42686565 edges, 99856 markings/sec, 135 secs
lola: 15216108 markings, 44242096 edges, 106348 markings/sec, 140 secs
lola: 15707218 markings, 45756215 edges, 98222 markings/sec, 145 secs
lola: 16204634 markings, 47179797 edges, 99483 markings/sec, 150 secs
lola: 16694316 markings, 48666080 edges, 97936 markings/sec, 155 secs
lola: 17184191 markings, 50094772 edges, 97975 markings/sec, 160 secs
lola: 17670949 markings, 51529317 edges, 97352 markings/sec, 165 secs
lola: 18170490 markings, 52960920 edges, 99908 markings/sec, 170 secs
lola: 18672887 markings, 54463128 edges, 100479 markings/sec, 175 secs
lola: 19209933 markings, 56008632 edges, 107409 markings/sec, 180 secs
lola: 19808417 markings, 57737742 edges, 119697 markings/sec, 185 secs
lola: 20392552 markings, 59414737 edges, 116827 markings/sec, 190 secs
lola: 20892076 markings, 60890497 edges, 99905 markings/sec, 195 secs
lola: 21396354 markings, 62384779 edges, 100856 markings/sec, 200 secs
lola: 21922863 markings, 63904915 edges, 105302 markings/sec, 205 secs
lola: 22536782 markings, 65660690 edges, 122784 markings/sec, 210 secs
lola: 23140843 markings, 67406587 edges, 120812 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__3_4_)
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: 496535 markings, 1887153 edges, 99307 markings/sec, 0 secs
lola: 970210 markings, 3739830 edges, 94735 markings/sec, 5 secs
lola: 1402152 markings, 5437330 edges, 86388 markings/sec, 10 secs
lola: 1835798 markings, 7164726 edges, 86729 markings/sec, 15 secs
lola: 2255522 markings, 8926976 edges, 83945 markings/sec, 20 secs
lola: 2661635 markings, 10586402 edges, 81223 markings/sec, 25 secs
lola: 3071325 markings, 12193460 edges, 81938 markings/sec, 30 secs
lola: 3471975 markings, 13801437 edges, 80130 markings/sec, 35 secs
lola: 3863398 markings, 15400355 edges, 78285 markings/sec, 40 secs
lola: 4256555 markings, 17022120 edges, 78631 markings/sec, 45 secs
lola: 4668719 markings, 18654032 edges, 82433 markings/sec, 50 secs
lola: 5086830 markings, 20343448 edges, 83622 markings/sec, 55 secs
lola: 5504541 markings, 22043797 edges, 83542 markings/sec, 60 secs
lola: 5917737 markings, 23715012 edges, 82639 markings/sec, 65 secs
lola: 6333448 markings, 25422227 edges, 83142 markings/sec, 70 secs
lola: 6746402 markings, 27103858 edges, 82591 markings/sec, 75 secs
lola: 7156800 markings, 28792282 edges, 82080 markings/sec, 80 secs
lola: 7568803 markings, 30489990 edges, 82401 markings/sec, 85 secs
lola: 7979400 markings, 32184179 edges, 82119 markings/sec, 90 secs
lola: 8383801 markings, 33847844 edges, 80880 markings/sec, 95 secs
lola: 8772173 markings, 35453341 edges, 77674 markings/sec, 100 secs
lola: 9161933 markings, 37027377 edges, 77952 markings/sec, 105 secs
lola: 9552302 markings, 38591487 edges, 78074 markings/sec, 110 secs
lola: 9942402 markings, 40152274 edges, 78020 markings/sec, 115 secs
lola: 10336157 markings, 41718125 edges, 78751 markings/sec, 120 secs
lola: 10733177 markings, 43268675 edges, 79404 markings/sec, 125 secs
lola: 11130747 markings, 44843288 edges, 79514 markings/sec, 130 secs
lola: 11538345 markings, 46461197 edges, 81520 markings/sec, 135 secs
lola: 11929916 markings, 48043173 edges, 78314 markings/sec, 140 secs
lola: 12326094 markings, 49657486 edges, 79236 markings/sec, 145 secs
lola: 12701098 markings, 51259186 edges, 75001 markings/sec, 150 secs
lola: 13108333 markings, 52888306 edges, 81447 markings/sec, 155 secs
lola: 13490450 markings, 54454580 edges, 76423 markings/sec, 160 secs
lola: 13896350 markings, 56146772 edges, 81180 markings/sec, 165 secs
lola: 14293838 markings, 57758080 edges, 79498 markings/sec, 170 secs
lola: 14680764 markings, 59332124 edges, 77385 markings/sec, 175 secs
lola: 15109809 markings, 61024057 edges, 85809 markings/sec, 180 secs
lola: 15497916 markings, 62599517 edges, 77621 markings/sec, 185 secs
lola: 15875210 markings, 64173970 edges, 75459 markings/sec, 190 secs
lola: 16253279 markings, 65755134 edges, 75614 markings/sec, 195 secs
lola: 16624078 markings, 67374980 edges, 74160 markings/sec, 200 secs
lola: 16985219 markings, 69014057 edges, 72228 markings/sec, 205 secs
lola: 17411099 markings, 70730291 edges, 85176 markings/sec, 210 secs
lola: 17803570 markings, 72402549 edges, 78494 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__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: 496144 markings, 1805815 edges, 99229 markings/sec, 0 secs
lola: 967067 markings, 3521883 edges, 94185 markings/sec, 5 secs
lola: 1419109 markings, 5283478 edges, 90408 markings/sec, 10 secs
lola: 1866768 markings, 7042300 edges, 89532 markings/sec, 15 secs
lola: 2306596 markings, 8808351 edges, 87966 markings/sec, 20 secs
lola: 2741592 markings, 10558737 edges, 86999 markings/sec, 25 secs
lola: 3175524 markings, 12285059 edges, 86786 markings/sec, 30 secs
lola: 3600652 markings, 13985385 edges, 85026 markings/sec, 35 secs
lola: 4013764 markings, 15727877 edges, 82622 markings/sec, 40 secs
lola: 4439930 markings, 17496707 edges, 85233 markings/sec, 45 secs
lola: 4863734 markings, 19198177 edges, 84761 markings/sec, 50 secs
lola: 5282154 markings, 20737204 edges, 83684 markings/sec, 55 secs
lola: 5690147 markings, 22289153 edges, 81599 markings/sec, 60 secs
lola: 6090477 markings, 23852896 edges, 80066 markings/sec, 65 secs
lola: 6483586 markings, 25453888 edges, 78622 markings/sec, 70 secs
lola: 6886959 markings, 27053331 edges, 80675 markings/sec, 75 secs
lola: 7289498 markings, 28657315 edges, 80508 markings/sec, 80 secs
lola: 7681889 markings, 30289769 edges, 78478 markings/sec, 85 secs
lola: 8120475 markings, 31960632 edges, 87717 markings/sec, 90 secs
lola: 8563348 markings, 33632295 edges, 88575 markings/sec, 95 secs
lola: 8997731 markings, 35287877 edges, 86877 markings/sec, 100 secs
lola: 9409422 markings, 36956634 edges, 82338 markings/sec, 105 secs
lola: 9820925 markings, 38628153 edges, 82301 markings/sec, 110 secs
lola: 10229705 markings, 40305175 edges, 81756 markings/sec, 115 secs
lola: 10638326 markings, 41940930 edges, 81724 markings/sec, 120 secs
lola: 11036355 markings, 43564221 edges, 79606 markings/sec, 125 secs
lola: 11490490 markings, 45288441 edges, 90827 markings/sec, 130 secs
lola: 11962021 markings, 47079027 edges, 94306 markings/sec, 135 secs
lola: 12407693 markings, 48854555 edges, 89134 markings/sec, 140 secs
lola: 12852930 markings, 50610642 edges, 89047 markings/sec, 145 secs
lola: 13284439 markings, 52348491 edges, 86302 markings/sec, 150 secs
lola: 13713841 markings, 54083617 edges, 85880 markings/sec, 155 secs
lola: 14138689 markings, 55859942 edges, 84970 markings/sec, 160 secs
lola: 14560957 markings, 57607426 edges, 84454 markings/sec, 165 secs
lola: 14988875 markings, 59355877 edges, 85584 markings/sec, 170 secs
lola: 15400172 markings, 61129774 edges, 82259 markings/sec, 175 secs
lola: 15819017 markings, 62856312 edges, 83769 markings/sec, 180 secs
lola: 16303728 markings, 64642165 edges, 96942 markings/sec, 185 secs
lola: 16760708 markings, 66391617 edges, 91396 markings/sec, 190 secs
lola: 17204714 markings, 68158267 edges, 88801 markings/sec, 195 secs
lola: 17665124 markings, 69862567 edges, 92082 markings/sec, 200 secs
lola: 18097625 markings, 71520379 edges, 86500 markings/sec, 205 secs
lola: 18517374 markings, 73163861 edges, 83950 markings/sec, 210 secs
lola: 18939659 markings, 74836590 edges, 84457 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__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: 478480 markings, 1482874 edges, 95696 markings/sec, 0 secs
lola: 925872 markings, 2883924 edges, 89478 markings/sec, 5 secs
lola: 1350949 markings, 4229386 edges, 85015 markings/sec, 10 secs
lola: 1757067 markings, 5598199 edges, 81224 markings/sec, 15 secs
lola: 2170311 markings, 6916734 edges, 82649 markings/sec, 20 secs
lola: 2561509 markings, 8262949 edges, 78240 markings/sec, 25 secs
lola: 2943472 markings, 9583985 edges, 76393 markings/sec, 30 secs
lola: 3326173 markings, 10883907 edges, 76540 markings/sec, 35 secs
lola: 3710053 markings, 12128765 edges, 76776 markings/sec, 40 secs
lola: 4100609 markings, 13410296 edges, 78111 markings/sec, 45 secs
lola: 4465774 markings, 14634899 edges, 73033 markings/sec, 50 secs
lola: 4829345 markings, 15840395 edges, 72714 markings/sec, 55 secs
lola: 5214501 markings, 17134279 edges, 77031 markings/sec, 60 secs
lola: 5566112 markings, 18381769 edges, 70322 markings/sec, 65 secs
lola: 5916775 markings, 19660929 edges, 70133 markings/sec, 70 secs
lola: 6271845 markings, 20901172 edges, 71014 markings/sec, 75 secs
lola: 6626660 markings, 22200200 edges, 70963 markings/sec, 80 secs
lola: 6995173 markings, 23384921 edges, 73703 markings/sec, 85 secs
lola: 7335889 markings, 24575974 edges, 68143 markings/sec, 90 secs
lola: 7663044 markings, 25800441 edges, 65431 markings/sec, 95 secs
lola: 8012038 markings, 26985481 edges, 69799 markings/sec, 100 secs
lola: 8347057 markings, 28167852 edges, 67004 markings/sec, 105 secs
lola: 8689586 markings, 29430285 edges, 68506 markings/sec, 110 secs
lola: 9012108 markings, 30641559 edges, 64504 markings/sec, 115 secs
lola: 9362790 markings, 31899687 edges, 70136 markings/sec, 120 secs
lola: 9710521 markings, 33149343 edges, 69546 markings/sec, 125 secs
lola: 10030737 markings, 34328583 edges, 64043 markings/sec, 130 secs
lola: 10364538 markings, 35519966 edges, 66760 markings/sec, 135 secs
lola: 10704608 markings, 36701375 edges, 68014 markings/sec, 140 secs
lola: 11033528 markings, 37874009 edges, 65784 markings/sec, 145 secs
lola: 11350002 markings, 39102216 edges, 63295 markings/sec, 150 secs
lola: 11678661 markings, 40296190 edges, 65732 markings/sec, 155 secs
lola: 12024569 markings, 41480555 edges, 69182 markings/sec, 160 secs
lola: 12365591 markings, 42677013 edges, 68204 markings/sec, 165 secs
lola: 12699555 markings, 43847834 edges, 66793 markings/sec, 170 secs
lola: 13031184 markings, 45100872 edges, 66326 markings/sec, 175 secs
lola: 13343811 markings, 46281388 edges, 62525 markings/sec, 180 secs
lola: 13665525 markings, 47487011 edges, 64343 markings/sec, 185 secs
lola: 13985713 markings, 48561647 edges, 64038 markings/sec, 190 secs
lola: 14300972 markings, 49798898 edges, 63052 markings/sec, 195 secs
lola: 14619923 markings, 50898192 edges, 63790 markings/sec, 200 secs
lola: 14921759 markings, 52047915 edges, 60367 markings/sec, 205 secs
lola: 15234959 markings, 53211832 edges, 62640 markings/sec, 210 secs
lola: 15557640 markings, 54420684 edges, 64536 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_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: 672752 markings, 1383922 edges, 134550 markings/sec, 0 secs
lola: 1335527 markings, 2760326 edges, 132555 markings/sec, 5 secs
lola: 1981634 markings, 4114635 edges, 129221 markings/sec, 10 secs
lola: 2633767 markings, 5473737 edges, 130427 markings/sec, 15 secs
lola: 3302210 markings, 6860629 edges, 133689 markings/sec, 20 secs
lola: 3958582 markings, 8226931 edges, 131274 markings/sec, 25 secs
lola: 4606090 markings, 9585410 edges, 129502 markings/sec, 30 secs
lola: 5251977 markings, 10950806 edges, 129177 markings/sec, 35 secs
lola: 5879381 markings, 12277419 edges, 125481 markings/sec, 40 secs
lola: 6517961 markings, 13617565 edges, 127716 markings/sec, 45 secs
lola: 7153251 markings, 14912980 edges, 127058 markings/sec, 50 secs
lola: 7788191 markings, 16236260 edges, 126988 markings/sec, 55 secs
lola: 8421047 markings, 17589802 edges, 126571 markings/sec, 60 secs
lola: 9058641 markings, 18925702 edges, 127519 markings/sec, 65 secs
lola: 9695379 markings, 20259953 edges, 127348 markings/sec, 70 secs
lola: 10321641 markings, 21560148 edges, 125252 markings/sec, 75 secs
lola: 10943563 markings, 22875662 edges, 124384 markings/sec, 80 secs
lola: 11559897 markings, 24174619 edges, 123267 markings/sec, 85 secs
lola: 12179053 markings, 25464555 edges, 123831 markings/sec, 90 secs
lola: 12798576 markings, 26765322 edges, 123905 markings/sec, 95 secs
lola: 13423529 markings, 28074590 edges, 124991 markings/sec, 100 secs
lola: 14053192 markings, 29422112 edges, 125933 markings/sec, 105 secs
lola: 14678069 markings, 30768758 edges, 124975 markings/sec, 110 secs
lola: 15303778 markings, 32088362 edges, 125142 markings/sec, 115 secs
lola: 15917357 markings, 33415190 edges, 122716 markings/sec, 120 secs
lola: 16536836 markings, 34744279 edges, 123896 markings/sec, 125 secs
lola: 17188632 markings, 36104499 edges, 130359 markings/sec, 130 secs
lola: 17814819 markings, 37399426 edges, 125237 markings/sec, 135 secs
lola: 18444825 markings, 38714770 edges, 126001 markings/sec, 140 secs
lola: 19050160 markings, 39973017 edges, 121067 markings/sec, 145 secs
lola: 19676333 markings, 41287315 edges, 125235 markings/sec, 150 secs
lola: 20297486 markings, 42597842 edges, 124231 markings/sec, 155 secs
lola: 20918700 markings, 43914793 edges, 124243 markings/sec, 160 secs
lola: 21553693 markings, 45242641 edges, 126999 markings/sec, 165 secs
lola: 22189687 markings, 46557039 edges, 127199 markings/sec, 170 secs
lola: 22812826 markings, 47856676 edges, 124628 markings/sec, 175 secs
lola: 23438979 markings, 49186879 edges, 125231 markings/sec, 180 secs
lola: 24070435 markings, 50514844 edges, 126291 markings/sec, 185 secs
lola: 24698133 markings, 51822544 edges, 125540 markings/sec, 190 secs
lola: 25325722 markings, 53139499 edges, 125518 markings/sec, 195 secs
lola: 25946943 markings, 54464254 edges, 124244 markings/sec, 200 secs
lola: 26572541 markings, 55798066 edges, 125120 markings/sec, 205 secs
lola: 27196992 markings, 57133562 edges, 124890 markings/sec, 210 secs
lola: 27809346 markings, 58436976 edges, 122471 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__3_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: 514517 markings, 1837268 edges, 102903 markings/sec, 0 secs
lola: 1002750 markings, 3594433 edges, 97647 markings/sec, 5 secs
lola: 1482205 markings, 5366910 edges, 95891 markings/sec, 10 secs
lola: 1938820 markings, 7044643 edges, 91323 markings/sec, 15 secs
lola: 2393221 markings, 8710742 edges, 90880 markings/sec, 20 secs
lola: 2840627 markings, 10398194 edges, 89481 markings/sec, 25 secs
lola: 3310240 markings, 12087603 edges, 93923 markings/sec, 30 secs
lola: 3772647 markings, 13733515 edges, 92481 markings/sec, 35 secs
lola: 4232384 markings, 15381002 edges, 91947 markings/sec, 40 secs
lola: 4687564 markings, 17037797 edges, 91036 markings/sec, 45 secs
lola: 5120382 markings, 18683030 edges, 86564 markings/sec, 50 secs
lola: 5579291 markings, 20351042 edges, 91782 markings/sec, 55 secs
lola: 6041731 markings, 22008197 edges, 92488 markings/sec, 60 secs
lola: 6509218 markings, 23689559 edges, 93497 markings/sec, 65 secs
lola: 6982781 markings, 25446545 edges, 94713 markings/sec, 70 secs
lola: 7418333 markings, 27050503 edges, 87110 markings/sec, 75 secs
lola: 7856376 markings, 28672662 edges, 87609 markings/sec, 80 secs
lola: 8296062 markings, 30316785 edges, 87937 markings/sec, 85 secs
lola: 8737485 markings, 31908392 edges, 88285 markings/sec, 90 secs
lola: 9189596 markings, 33517224 edges, 90422 markings/sec, 95 secs
lola: 9618145 markings, 35086928 edges, 85710 markings/sec, 100 secs
lola: 10040398 markings, 36649691 edges, 84451 markings/sec, 105 secs
lola: 10473040 markings, 38200195 edges, 86528 markings/sec, 110 secs
lola: 10939967 markings, 39876410 edges, 93385 markings/sec, 115 secs
lola: 11392405 markings, 41500014 edges, 90488 markings/sec, 120 secs
lola: 11849614 markings, 43129788 edges, 91442 markings/sec, 125 secs
lola: 12303224 markings, 44770632 edges, 90722 markings/sec, 130 secs
lola: 12773883 markings, 46521585 edges, 94132 markings/sec, 135 secs
lola: 13218370 markings, 48154605 edges, 88897 markings/sec, 140 secs
lola: 13657358 markings, 49815464 edges, 87798 markings/sec, 145 secs
lola: 14102677 markings, 51420218 edges, 89064 markings/sec, 150 secs
lola: 14539619 markings, 53000522 edges, 87388 markings/sec, 155 secs
lola: 14979431 markings, 54631997 edges, 87962 markings/sec, 160 secs
lola: 15441553 markings, 56305652 edges, 92424 markings/sec, 165 secs
lola: 15914363 markings, 58065610 edges, 94562 markings/sec, 170 secs
lola: 16390024 markings, 59808283 edges, 95132 markings/sec, 175 secs
lola: 16840372 markings, 61496568 edges, 90070 markings/sec, 180 secs
lola: 17295355 markings, 63163718 edges, 90997 markings/sec, 185 secs
lola: 17726579 markings, 64768765 edges, 86245 markings/sec, 190 secs
lola: 18169695 markings, 66383492 edges, 88623 markings/sec, 195 secs
lola: 18616222 markings, 67991304 edges, 89305 markings/sec, 200 secs
lola: 19045010 markings, 69592020 edges, 85758 markings/sec, 205 secs
lola: 19479053 markings, 71162974 edges, 86809 markings/sec, 210 secs
lola: 19915622 markings, 72778161 edges, 87314 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__1_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: 486831 markings, 1784178 edges, 97366 markings/sec, 0 secs
lola: 928230 markings, 3365019 edges, 88280 markings/sec, 5 secs
lola: 1355204 markings, 4897747 edges, 85395 markings/sec, 10 secs
lola: 1811700 markings, 6559258 edges, 91299 markings/sec, 15 secs
lola: 2250151 markings, 8181250 edges, 87690 markings/sec, 20 secs
lola: 2670599 markings, 9703523 edges, 84090 markings/sec, 25 secs
lola: 3124101 markings, 11341321 edges, 90700 markings/sec, 30 secs
lola: 3534163 markings, 12834863 edges, 82012 markings/sec, 35 secs
lola: 3946450 markings, 14324199 edges, 82457 markings/sec, 40 secs
lola: 4369333 markings, 15905935 edges, 84577 markings/sec, 45 secs
lola: 4789360 markings, 17439556 edges, 84005 markings/sec, 50 secs
lola: 5221673 markings, 19020178 edges, 86463 markings/sec, 55 secs
lola: 5659809 markings, 20603679 edges, 87627 markings/sec, 60 secs
lola: 6054881 markings, 22024643 edges, 79014 markings/sec, 65 secs
lola: 6446032 markings, 23424755 edges, 78230 markings/sec, 70 secs
lola: 6823890 markings, 24776927 edges, 75572 markings/sec, 75 secs
lola: 7198648 markings, 26151090 edges, 74952 markings/sec, 80 secs
lola: 7627021 markings, 27715228 edges, 85675 markings/sec, 85 secs
lola: 8049448 markings, 29282754 edges, 84485 markings/sec, 90 secs
lola: 8450609 markings, 30797511 edges, 80232 markings/sec, 95 secs
lola: 8861946 markings, 32350361 edges, 82267 markings/sec, 100 secs
lola: 9266404 markings, 33796986 edges, 80892 markings/sec, 105 secs
lola: 9669582 markings, 35279608 edges, 80636 markings/sec, 110 secs
lola: 10066271 markings, 36714444 edges, 79338 markings/sec, 115 secs
lola: 10441015 markings, 38088828 edges, 74949 markings/sec, 120 secs
lola: 10838718 markings, 39524653 edges, 79541 markings/sec, 125 secs
lola: 11269616 markings, 41098550 edges, 86180 markings/sec, 130 secs
lola: 11671757 markings, 42541343 edges, 80428 markings/sec, 135 secs
lola: 12051507 markings, 43901565 edges, 75950 markings/sec, 140 secs
lola: 12432707 markings, 45278135 edges, 76240 markings/sec, 145 secs
lola: 12827544 markings, 46703607 edges, 78967 markings/sec, 150 secs
lola: 13214091 markings, 48126792 edges, 77309 markings/sec, 155 secs
lola: 13592766 markings, 49509238 edges, 75735 markings/sec, 160 secs
lola: 13972612 markings, 50881808 edges, 75969 markings/sec, 165 secs
lola: 14360833 markings, 52298375 edges, 77644 markings/sec, 170 secs
lola: 14756694 markings, 53769564 edges, 79172 markings/sec, 175 secs
lola: 15128661 markings, 55108772 edges, 74393 markings/sec, 180 secs
lola: 15508904 markings, 56486823 edges, 76049 markings/sec, 185 secs
lola: 15897970 markings, 57914585 edges, 77813 markings/sec, 190 secs
lola: 16280419 markings, 59309051 edges, 76490 markings/sec, 195 secs
lola: 16660863 markings, 60719539 edges, 76089 markings/sec, 200 secs
lola: 17071765 markings, 62239350 edges, 82180 markings/sec, 205 secs
lola: 17452486 markings, 63670343 edges, 76144 markings/sec, 210 secs
lola: 17846294 markings, 65127083 edges, 78762 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__1_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: 623104 markings, 1540440 edges, 124621 markings/sec, 0 secs
lola: 1223170 markings, 3032758 edges, 120013 markings/sec, 5 secs
lola: 1820897 markings, 4509801 edges, 119545 markings/sec, 10 secs
lola: 2400495 markings, 5945591 edges, 115920 markings/sec, 15 secs
lola: 2960260 markings, 7332017 edges, 111953 markings/sec, 20 secs
lola: 3563562 markings, 8822547 edges, 120660 markings/sec, 25 secs
lola: 4173599 markings, 10336316 edges, 122007 markings/sec, 30 secs
lola: 4772963 markings, 11819892 edges, 119873 markings/sec, 35 secs
lola: 5361305 markings, 13279557 edges, 117668 markings/sec, 40 secs
lola: 5937383 markings, 14708806 edges, 115216 markings/sec, 45 secs
lola: 6524306 markings, 16162597 edges, 117385 markings/sec, 50 secs
lola: 7130837 markings, 17665303 edges, 121306 markings/sec, 55 secs
lola: 7730748 markings, 19147770 edges, 119982 markings/sec, 60 secs
lola: 8309483 markings, 20586512 edges, 115747 markings/sec, 65 secs
lola: 8893777 markings, 22037072 edges, 116859 markings/sec, 70 secs
lola: 9462568 markings, 23447226 edges, 113758 markings/sec, 75 secs
lola: 10048277 markings, 24896733 edges, 117142 markings/sec, 80 secs
lola: 10601786 markings, 26278393 edges, 110702 markings/sec, 85 secs
lola: 11167009 markings, 27677384 edges, 113045 markings/sec, 90 secs
lola: 11730069 markings, 29085991 edges, 112612 markings/sec, 95 secs
lola: 12296616 markings, 30488360 edges, 113309 markings/sec, 100 secs
lola: 12857630 markings, 31878553 edges, 112203 markings/sec, 105 secs
lola: 13444795 markings, 33330685 edges, 117433 markings/sec, 110 secs
lola: 14039713 markings, 34805045 edges, 118984 markings/sec, 115 secs
lola: 14615655 markings, 36237470 edges, 115188 markings/sec, 120 secs
lola: 15180438 markings, 37635824 edges, 112957 markings/sec, 125 secs
lola: 15734738 markings, 39006603 edges, 110860 markings/sec, 130 secs
lola: 16276964 markings, 40351834 edges, 108445 markings/sec, 135 secs
lola: 16821010 markings, 41706455 edges, 108809 markings/sec, 140 secs
lola: 17408639 markings, 43162458 edges, 117526 markings/sec, 145 secs
lola: 17992745 markings, 44611090 edges, 116821 markings/sec, 150 secs
lola: 18573742 markings, 46049994 edges, 116199 markings/sec, 155 secs
lola: 19123824 markings, 47419274 edges, 110016 markings/sec, 160 secs
lola: 19675839 markings, 48790365 edges, 110403 markings/sec, 165 secs
lola: 20234221 markings, 50178554 edges, 111676 markings/sec, 170 secs
lola: 20794421 markings, 51565821 edges, 112040 markings/sec, 175 secs
lola: 21342435 markings, 52923353 edges, 109603 markings/sec, 180 secs
lola: 21918846 markings, 54353694 edges, 115282 markings/sec, 185 secs
lola: 22489269 markings, 55779939 edges, 114085 markings/sec, 190 secs
lola: 23046844 markings, 57168213 edges, 111515 markings/sec, 195 secs
lola: 23600855 markings, 58545050 edges, 110802 markings/sec, 200 secs
lola: 24163768 markings, 59946492 edges, 112583 markings/sec, 205 secs
lola: 24730678 markings, 61353227 edges, 113382 markings/sec, 210 secs
lola: 25315329 markings, 62801177 edges, 116930 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__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: 481046 markings, 1492686 edges, 96209 markings/sec, 0 secs
lola: 923869 markings, 2877281 edges, 88565 markings/sec, 5 secs
lola: 1342452 markings, 4207002 edges, 83717 markings/sec, 10 secs
lola: 1746845 markings, 5565297 edges, 80879 markings/sec, 15 secs
lola: 2154198 markings, 6874850 edges, 81471 markings/sec, 20 secs
lola: 2547179 markings, 8217375 edges, 78596 markings/sec, 25 secs
lola: 2931628 markings, 9537474 edges, 76890 markings/sec, 30 secs
lola: 3313080 markings, 10844559 edges, 76290 markings/sec, 35 secs
lola: 3699192 markings, 12092719 edges, 77222 markings/sec, 40 secs
lola: 4091838 markings, 13373611 edges, 78529 markings/sec, 45 secs
lola: 4458553 markings, 14610200 edges, 73343 markings/sec, 50 secs
lola: 4822330 markings, 15812498 edges, 72755 markings/sec, 55 secs
lola: 5209303 markings, 17112919 edges, 77395 markings/sec, 60 secs
lola: 5563108 markings, 18368234 edges, 70761 markings/sec, 65 secs
lola: 5913571 markings, 19648743 edges, 70093 markings/sec, 70 secs
lola: 6269868 markings, 20892789 edges, 71259 markings/sec, 75 secs
lola: 6626838 markings, 22200759 edges, 71394 markings/sec, 80 secs
lola: 6997080 markings, 23391497 edges, 74048 markings/sec, 85 secs
lola: 7340599 markings, 24590611 edges, 68704 markings/sec, 90 secs
lola: 7671106 markings, 25827254 edges, 66101 markings/sec, 95 secs
lola: 8020704 markings, 27021066 edges, 69920 markings/sec, 100 secs
lola: 8356953 markings, 28208140 edges, 67250 markings/sec, 105 secs
lola: 8697687 markings, 29465464 edges, 68147 markings/sec, 110 secs
lola: 9020813 markings, 30681737 edges, 64625 markings/sec, 115 secs
lola: 9370665 markings, 31933330 edges, 69970 markings/sec, 120 secs
lola: 9713141 markings, 33157673 edges, 68495 markings/sec, 125 secs
lola: 10028267 markings, 34317826 edges, 63025 markings/sec, 130 secs
lola: 10355868 markings, 35491786 edges, 65520 markings/sec, 135 secs
lola: 10692120 markings, 36657882 edges, 67250 markings/sec, 140 secs
lola: 11015718 markings, 37803779 edges, 64720 markings/sec, 145 secs
lola: 11328649 markings, 39016407 edges, 62586 markings/sec, 150 secs
lola: 11650242 markings, 40207928 edges, 64319 markings/sec, 155 secs
lola: 11996292 markings, 41372178 edges, 69210 markings/sec, 160 secs
lola: 12333716 markings, 42567288 edges, 67485 markings/sec, 165 secs
lola: 12662656 markings, 43719102 edges, 65788 markings/sec, 170 secs
lola: 12997022 markings, 44970536 edges, 66873 markings/sec, 175 secs
lola: 13307167 markings, 46138801 edges, 62029 markings/sec, 180 secs
lola: 13624269 markings, 47348694 edges, 63420 markings/sec, 185 secs
lola: 13947447 markings, 48417540 edges, 64636 markings/sec, 190 secs
lola: 14266010 markings, 49648010 edges, 63713 markings/sec, 195 secs
lola: 14584175 markings, 50765534 edges, 63633 markings/sec, 200 secs
lola: 14887102 markings, 51918824 edges, 60585 markings/sec, 205 secs
lola: 15201451 markings, 53078525 edges, 62870 markings/sec, 210 secs
lola: 15524033 markings, 54290532 edges, 64516 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__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: 546251 markings, 1417717 edges, 109250 markings/sec, 0 secs
lola: 1063261 markings, 2808749 edges, 103402 markings/sec, 5 secs
lola: 1588309 markings, 4184946 edges, 105010 markings/sec, 10 secs
lola: 2072551 markings, 5517252 edges, 96848 markings/sec, 15 secs
lola: 2561219 markings, 6868604 edges, 97734 markings/sec, 20 secs
lola: 3043688 markings, 8191009 edges, 96494 markings/sec, 25 secs
lola: 3516214 markings, 9508448 edges, 94505 markings/sec, 30 secs
lola: 3996935 markings, 10789007 edges, 96144 markings/sec, 35 secs
lola: 4470583 markings, 12085098 edges, 94730 markings/sec, 40 secs
lola: 4934725 markings, 13385223 edges, 92828 markings/sec, 45 secs
lola: 5387752 markings, 14581941 edges, 90605 markings/sec, 50 secs
lola: 5836883 markings, 15884964 edges, 89826 markings/sec, 55 secs
lola: 6287875 markings, 17147123 edges, 90198 markings/sec, 60 secs
lola: 6747018 markings, 18472743 edges, 91829 markings/sec, 65 secs
lola: 7189111 markings, 19768529 edges, 88419 markings/sec, 70 secs
lola: 7630821 markings, 21107298 edges, 88342 markings/sec, 75 secs
lola: 8070978 markings, 22399326 edges, 88031 markings/sec, 80 secs
lola: 8506435 markings, 23715174 edges, 87091 markings/sec, 85 secs
lola: 8949882 markings, 24977898 edges, 88689 markings/sec, 90 secs
lola: 9383276 markings, 26258870 edges, 86679 markings/sec, 95 secs
lola: 9806021 markings, 27538685 edges, 84549 markings/sec, 100 secs
lola: 10254717 markings, 28820992 edges, 89739 markings/sec, 105 secs
lola: 10695523 markings, 30125595 edges, 88161 markings/sec, 110 secs
lola: 11126124 markings, 31463502 edges, 86120 markings/sec, 115 secs
lola: 11552395 markings, 32639105 edges, 85254 markings/sec, 120 secs
lola: 11991330 markings, 33885377 edges, 87787 markings/sec, 125 secs
lola: 12418726 markings, 35186262 edges, 85479 markings/sec, 130 secs
lola: 12845786 markings, 36458993 edges, 85412 markings/sec, 135 secs
lola: 13270209 markings, 37762763 edges, 84885 markings/sec, 140 secs
lola: 13690132 markings, 39052974 edges, 83985 markings/sec, 145 secs
lola: 14104676 markings, 40339690 edges, 82909 markings/sec, 150 secs
lola: 14512422 markings, 41651944 edges, 81549 markings/sec, 155 secs
lola: 14924736 markings, 42922717 edges, 82463 markings/sec, 160 secs
lola: 15357291 markings, 44199004 edges, 86511 markings/sec, 165 secs
lola: 15777168 markings, 45413674 edges, 83975 markings/sec, 170 secs
lola: 16199243 markings, 46683213 edges, 84415 markings/sec, 175 secs
lola: 16621186 markings, 47940944 edges, 84389 markings/sec, 180 secs
lola: 17015622 markings, 49211077 edges, 78887 markings/sec, 185 secs
lola: 17433158 markings, 50430553 edges, 83507 markings/sec, 190 secs
lola: 17856473 markings, 51698891 edges, 84663 markings/sec, 195 secs
lola: 18268513 markings, 52926217 edges, 82408 markings/sec, 200 secs
lola: 18670848 markings, 54172681 edges, 80467 markings/sec, 205 secs
lola: 19071760 markings, 55440387 edges, 80182 markings/sec, 210 secs
lola: 19475030 markings, 56719086 edges, 80654 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_4_)
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: 589472 markings, 1618169 edges, 117894 markings/sec, 0 secs
lola: 1162272 markings, 3229188 edges, 114560 markings/sec, 5 secs
lola: 1749072 markings, 4935900 edges, 117360 markings/sec, 10 secs
lola: 2294246 markings, 6515709 edges, 109035 markings/sec, 15 secs
lola: 2816554 markings, 8067704 edges, 104462 markings/sec, 20 secs
lola: 3338899 markings, 9623363 edges, 104469 markings/sec, 25 secs
lola: 3862023 markings, 11149867 edges, 104625 markings/sec, 30 secs
lola: 4382733 markings, 12667679 edges, 104142 markings/sec, 35 secs
lola: 4931851 markings, 14150852 edges, 109824 markings/sec, 40 secs
lola: 5477520 markings, 15661624 edges, 109134 markings/sec, 45 secs
lola: 6001985 markings, 17161034 edges, 104893 markings/sec, 50 secs
lola: 6530790 markings, 18662319 edges, 105761 markings/sec, 55 secs
lola: 7043355 markings, 20162685 edges, 102513 markings/sec, 60 secs
lola: 7557387 markings, 21666735 edges, 102806 markings/sec, 65 secs
lola: 8066678 markings, 23167382 edges, 101858 markings/sec, 70 secs
lola: 8584214 markings, 24681772 edges, 103507 markings/sec, 75 secs
lola: 9085837 markings, 26218088 edges, 100325 markings/sec, 80 secs
lola: 9628081 markings, 27779788 edges, 108449 markings/sec, 85 secs
lola: 10151541 markings, 29337968 edges, 104692 markings/sec, 90 secs
lola: 10662329 markings, 30840805 edges, 102158 markings/sec, 95 secs
lola: 11165050 markings, 32308005 edges, 100544 markings/sec, 100 secs
lola: 11654683 markings, 33736913 edges, 97927 markings/sec, 105 secs
lola: 12155134 markings, 35231273 edges, 100090 markings/sec, 110 secs
lola: 12682431 markings, 36777655 edges, 105459 markings/sec, 115 secs
lola: 13177221 markings, 38221858 edges, 98958 markings/sec, 120 secs
lola: 13708584 markings, 39773456 edges, 106273 markings/sec, 125 secs
lola: 14188471 markings, 41185270 edges, 95977 markings/sec, 130 secs
lola: 14690564 markings, 42703354 edges, 100419 markings/sec, 135 secs
lola: 15223952 markings, 44263325 edges, 106678 markings/sec, 140 secs
lola: 15714003 markings, 45778241 edges, 98010 markings/sec, 145 secs
lola: 16212621 markings, 47202434 edges, 99724 markings/sec, 150 secs
lola: 16701262 markings, 48685221 edges, 97728 markings/sec, 155 secs
lola: 17185813 markings, 50099944 edges, 96910 markings/sec, 160 secs
lola: 17669166 markings, 51524383 edges, 96671 markings/sec, 165 secs
lola: 18168418 markings, 52955001 edges, 99850 markings/sec, 170 secs
lola: 18672554 markings, 54462223 edges, 100827 markings/sec, 175 secs
lola: 19212546 markings, 56015434 edges, 107998 markings/sec, 180 secs
lola: 19816275 markings, 57760071 edges, 120746 markings/sec, 185 secs
lola: 20402020 markings, 59442130 edges, 117149 markings/sec, 190 secs
lola: 20900112 markings, 60916487 edges, 99618 markings/sec, 195 secs
lola: 21406116 markings, 62411238 edges, 101201 markings/sec, 200 secs
lola: 21934799 markings, 63935738 edges, 105737 markings/sec, 205 secs
lola: 22553181 markings, 65708004 edges, 123676 markings/sec, 210 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__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: 672414 markings, 1383097 edges, 134483 markings/sec, 0 secs
lola: 1337346 markings, 2764039 edges, 132986 markings/sec, 5 secs
lola: 1984371 markings, 4120225 edges, 129405 markings/sec, 10 secs
lola: 2636368 markings, 5479082 edges, 130399 markings/sec, 15 secs
lola: 3304886 markings, 6866786 edges, 133704 markings/sec, 20 secs
lola: 3960069 markings, 8229958 edges, 131037 markings/sec, 25 secs
lola: 4607258 markings, 9588134 edges, 129438 markings/sec, 30 secs
lola: 5252705 markings, 10952324 edges, 129089 markings/sec, 35 secs
lola: 5888574 markings, 12297706 edges, 127174 markings/sec, 40 secs
lola: 6524695 markings, 13631219 edges, 127224 markings/sec, 45 secs
lola: 7160931 markings, 14928554 edges, 127247 markings/sec, 50 secs
lola: 7793998 markings, 16248128 edges, 126613 markings/sec, 55 secs
lola: 8428776 markings, 17605453 edges, 126956 markings/sec, 60 secs
lola: 9064862 markings, 18938532 edges, 127217 markings/sec, 65 secs
lola: 9700014 markings, 20269355 edges, 127030 markings/sec, 70 secs
lola: 10327202 markings, 21571511 edges, 125438 markings/sec, 75 secs
lola: 10949189 markings, 22886903 edges, 124397 markings/sec, 80 secs
lola: 11569161 markings, 24194364 edges, 123994 markings/sec, 85 secs
lola: 12188776 markings, 25484279 edges, 123923 markings/sec, 90 secs
lola: 12809928 markings, 26788693 edges, 124230 markings/sec, 95 secs
lola: 13436086 markings, 28103968 edges, 125232 markings/sec, 100 secs
lola: 14065689 markings, 29451170 edges, 125921 markings/sec, 105 secs
lola: 14687406 markings, 30787852 edges, 124343 markings/sec, 110 secs
lola: 15310712 markings, 32104498 edges, 124661 markings/sec, 115 secs
lola: 15926513 markings, 33435408 edges, 123160 markings/sec, 120 secs
lola: 16546022 markings, 34764423 edges, 123902 markings/sec, 125 secs
lola: 17200883 markings, 36129448 edges, 130972 markings/sec, 130 secs
lola: 17833003 markings, 37436760 edges, 126424 markings/sec, 135 secs
lola: 18467708 markings, 38761315 edges, 126941 markings/sec, 140 secs
lola: 19078784 markings, 40039711 edges, 122215 markings/sec, 145 secs
lola: 19713586 markings, 41364037 edges, 126960 markings/sec, 150 secs
lola: 20340762 markings, 42687314 edges, 125435 markings/sec, 155 secs
lola: 20952462 markings, 43988923 edges, 122340 markings/sec, 160 secs
lola: 21583550 markings, 45303164 edges, 126218 markings/sec, 165 secs
lola: 22220903 markings, 46620658 edges, 127471 markings/sec, 170 secs
lola: 22847477 markings, 47928740 edges, 125315 markings/sec, 175 secs
lola: 23478837 markings, 49269169 edges, 126272 markings/sec, 180 secs
lola: 24118763 markings, 50614771 edges, 127985 markings/sec, 185 secs
lola: 24754428 markings, 51939147 edges, 127133 markings/sec, 190 secs
lola: 25390291 markings, 53276694 edges, 127173 markings/sec, 195 secs
lola: 26020250 markings, 54615881 edges, 125992 markings/sec, 200 secs
lola: 26650305 markings, 55967147 edges, 126011 markings/sec, 205 secs
lola: 27283008 markings, 57313567 edges, 126541 markings/sec, 210 secs
lola: 27899751 markings, 58635552 edges, 123349 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_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: 510972 markings, 1824292 edges, 102194 markings/sec, 0 secs
lola: 993978 markings, 3558093 edges, 96601 markings/sec, 5 secs
lola: 1467228 markings, 5308475 edges, 94650 markings/sec, 10 secs
lola: 1919375 markings, 6970392 edges, 90429 markings/sec, 15 secs
lola: 2369910 markings, 8617915 edges, 90107 markings/sec, 20 secs
lola: 2810223 markings, 10283493 edges, 88063 markings/sec, 25 secs
lola: 3269783 markings, 11947628 edges, 91912 markings/sec, 30 secs
lola: 3729577 markings, 13577570 edges, 91959 markings/sec, 35 secs
lola: 4182082 markings, 15197091 edges, 90501 markings/sec, 40 secs
lola: 4631471 markings, 16825093 edges, 89878 markings/sec, 45 secs
lola: 5055260 markings, 18455665 edges, 84758 markings/sec, 50 secs
lola: 5503093 markings, 20082885 edges, 89567 markings/sec, 55 secs
lola: 5965767 markings, 21724563 edges, 92535 markings/sec, 60 secs
lola: 6420146 markings, 23372678 edges, 90876 markings/sec, 65 secs
lola: 6890245 markings, 25120030 edges, 94020 markings/sec, 70 secs
lola: 7330117 markings, 26714772 edges, 87974 markings/sec, 75 secs
lola: 7765151 markings, 28323043 edges, 87007 markings/sec, 80 secs
lola: 8194780 markings, 29956507 edges, 85926 markings/sec, 85 secs
lola: 8633537 markings, 31533714 edges, 87751 markings/sec, 90 secs
lola: 9077401 markings, 33119271 edges, 88773 markings/sec, 95 secs
lola: 9513771 markings, 34682867 edges, 87274 markings/sec, 100 secs
lola: 9930830 markings, 36225983 edges, 83412 markings/sec, 105 secs
lola: 10352876 markings, 37775415 edges, 84409 markings/sec, 110 secs
lola: 10804459 markings, 39396027 edges, 90317 markings/sec, 115 secs
lola: 11261361 markings, 41030471 edges, 91380 markings/sec, 120 secs
lola: 11708400 markings, 42625839 edges, 89408 markings/sec, 125 secs
lola: 12147530 markings, 44219406 edges, 87826 markings/sec, 130 secs
lola: 12611898 markings, 45928123 edges, 92874 markings/sec, 135 secs
lola: 13057303 markings, 47567655 edges, 89081 markings/sec, 140 secs
lola: 13490533 markings, 49183570 edges, 86646 markings/sec, 145 secs
lola: 13927804 markings, 50795389 edges, 87454 markings/sec, 150 secs
lola: 14362307 markings, 52349711 edges, 86901 markings/sec, 155 secs
lola: 14779829 markings, 53915547 edges, 83504 markings/sec, 160 secs
lola: 15239728 markings, 55561951 edges, 91980 markings/sec, 165 secs
lola: 15702058 markings, 57255078 edges, 92466 markings/sec, 170 secs
lola: 16167111 markings, 58981568 edges, 93011 markings/sec, 175 secs
lola: 16626693 markings, 60688052 edges, 91916 markings/sec, 180 secs
lola: 17071290 markings, 62369735 edges, 88919 markings/sec, 185 secs
lola: 17509237 markings, 63949221 edges, 87589 markings/sec, 190 secs
lola: 17942976 markings, 65562245 edges, 86748 markings/sec, 195 secs
lola: 18381926 markings, 67143924 edges, 87790 markings/sec, 200 secs
lola: 18810439 markings, 68724053 edges, 85703 markings/sec, 205 secs
lola: 19245296 markings, 70310801 edges, 86971 markings/sec, 210 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(cAMP__1_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: 492497 markings, 1805079 edges, 98499 markings/sec, 0 secs
lola: 939497 markings, 3403754 edges, 89400 markings/sec, 5 secs
lola: 1372667 markings, 4963313 edges, 86634 markings/sec, 10 secs
lola: 1834324 markings, 6645664 edges, 92331 markings/sec, 15 secs
lola: 2281469 markings, 8293046 edges, 89429 markings/sec, 20 secs
lola: 2703388 markings, 9820880 edges, 84384 markings/sec, 25 secs
lola: 3160555 markings, 11474389 edges, 91433 markings/sec, 30 secs
lola: 3573353 markings, 12978003 edges, 82560 markings/sec, 35 secs
lola: 3993056 markings, 14497436 edges, 83941 markings/sec, 40 secs
lola: 4429069 markings, 16124093 edges, 87203 markings/sec, 45 secs
lola: 4848756 markings, 17660124 edges, 83937 markings/sec, 50 secs
lola: 5280261 markings, 19233986 edges, 86301 markings/sec, 55 secs
lola: 5721282 markings, 20833893 edges, 88204 markings/sec, 60 secs
lola: 6121920 markings, 22265522 edges, 80128 markings/sec, 65 secs
lola: 6518312 markings, 23686475 edges, 79278 markings/sec, 70 secs
lola: 6899783 markings, 25051082 edges, 76294 markings/sec, 75 secs
lola: 7285055 markings, 26464218 edges, 77054 markings/sec, 80 secs
lola: 7726658 markings, 28081477 edges, 88321 markings/sec, 85 secs
lola: 8149651 markings, 29665874 edges, 84599 markings/sec, 90 secs
lola: 8560616 markings, 31222529 edges, 82193 markings/sec, 95 secs
lola: 8970274 markings, 32737765 edges, 81932 markings/sec, 100 secs
lola: 9372104 markings, 34177988 edges, 80366 markings/sec, 105 secs
lola: 9780579 markings, 35690396 edges, 81695 markings/sec, 110 secs
lola: 10173431 markings, 37110484 edges, 78570 markings/sec, 115 secs
lola: 10553402 markings, 38496653 edges, 75994 markings/sec, 120 secs
lola: 10971332 markings, 40002985 edges, 83586 markings/sec, 125 secs
lola: 11405039 markings, 41581603 edges, 86741 markings/sec, 130 secs
lola: 11800679 markings, 42996698 edges, 79128 markings/sec, 135 secs
lola: 12181719 markings, 44376392 edges, 76208 markings/sec, 140 secs
lola: 12566701 markings, 45756838 edges, 76996 markings/sec, 145 secs
lola: 12964649 markings, 47193378 edges, 79590 markings/sec, 150 secs
lola: 13356130 markings, 48646629 edges, 78296 markings/sec, 155 secs
lola: 13726997 markings, 50000704 edges, 74173 markings/sec, 160 secs
lola: 14120528 markings, 51412312 edges, 78706 markings/sec, 165 secs
lola: 14511891 markings, 52852395 edges, 78273 markings/sec, 170 secs
lola: 14896554 markings, 54274138 edges, 76933 markings/sec, 175 secs
lola: 15272983 markings, 55625878 edges, 75286 markings/sec, 180 secs
lola: 15672155 markings, 57080482 edges, 79834 markings/sec, 185 secs
lola: 16060639 markings, 58505548 edges, 77697 markings/sec, 190 secs
lola: 16454864 markings, 59950334 edges, 78845 markings/sec, 195 secs
lola: 16847065 markings, 61408316 edges, 78440 markings/sec, 200 secs
lola: 17253159 markings, 62907621 edges, 81219 markings/sec, 205 secs
lola: 17657653 markings, 64419831 edges, 80899 markings/sec, 210 secs
lola: 18033611 markings, 65825207 edges, 75192 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_4_)
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: 492515 markings, 1872236 edges, 98503 markings/sec, 0 secs
lola: 960156 markings, 3700908 edges, 93528 markings/sec, 5 secs
lola: 1390794 markings, 5387215 edges, 86128 markings/sec, 10 secs
lola: 1822486 markings, 7112522 edges, 86338 markings/sec, 15 secs
lola: 2244033 markings, 8882998 edges, 84309 markings/sec, 20 secs
lola: 2650644 markings, 10536376 edges, 81322 markings/sec, 25 secs
lola: 3059627 markings, 12144518 edges, 81797 markings/sec, 30 secs
lola: 3461722 markings, 13759647 edges, 80419 markings/sec, 35 secs
lola: 3852667 markings, 15359245 edges, 78189 markings/sec, 40 secs
lola: 4247071 markings, 16978185 edges, 78881 markings/sec, 45 secs
lola: 4659060 markings, 18613133 edges, 82398 markings/sec, 50 secs
lola: 5077175 markings, 20300524 edges, 83623 markings/sec, 55 secs
lola: 5493002 markings, 21998075 edges, 83165 markings/sec, 60 secs
lola: 5905230 markings, 23664194 edges, 82446 markings/sec, 65 secs
lola: 6319049 markings, 25360959 edges, 82764 markings/sec, 70 secs
lola: 6731715 markings, 27042086 edges, 82533 markings/sec, 75 secs
lola: 7139608 markings, 28723962 edges, 81579 markings/sec, 80 secs
lola: 7551434 markings, 30412553 edges, 82365 markings/sec, 85 secs
lola: 7960640 markings, 32108443 edges, 81841 markings/sec, 90 secs
lola: 8364200 markings, 33765464 edges, 80712 markings/sec, 95 secs
lola: 8751760 markings, 35364947 edges, 77512 markings/sec, 100 secs
lola: 9139275 markings, 36933627 edges, 77503 markings/sec, 105 secs
lola: 9527047 markings, 38492639 edges, 77554 markings/sec, 110 secs
lola: 9914098 markings, 40046804 edges, 77410 markings/sec, 115 secs
lola: 10307655 markings, 41594344 edges, 78711 markings/sec, 120 secs
lola: 10700256 markings, 43145802 edges, 78520 markings/sec, 125 secs
lola: 11093777 markings, 44705320 edges, 78704 markings/sec, 130 secs
lola: 11500608 markings, 46317345 edges, 81366 markings/sec, 135 secs
lola: 11891875 markings, 47891391 edges, 78253 markings/sec, 140 secs
lola: 12285658 markings, 49501957 edges, 78757 markings/sec, 145 secs
lola: 12663517 markings, 51091575 edges, 75572 markings/sec, 150 secs
lola: 13069368 markings, 52718685 edges, 81170 markings/sec, 155 secs
lola: 13447007 markings, 54286313 edges, 75528 markings/sec, 160 secs
lola: 13846847 markings, 55947993 edges, 79968 markings/sec, 165 secs
lola: 14246652 markings, 57575468 edges, 79961 markings/sec, 170 secs
lola: 14630607 markings, 59144593 edges, 76791 markings/sec, 175 secs
lola: 15051578 markings, 60797898 edges, 84194 markings/sec, 180 secs
lola: 15450678 markings, 62401084 edges, 79820 markings/sec, 185 secs
lola: 15825699 markings, 63951930 edges, 75004 markings/sec, 190 secs
lola: 16202693 markings, 65538179 edges, 75399 markings/sec, 195 secs
lola: 16576448 markings, 67148046 edges, 74751 markings/sec, 200 secs
lola: 16933656 markings, 68791392 edges, 71442 markings/sec, 205 secs
lola: 17346956 markings, 70470411 edges, 82660 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 503583 markings, 1831837 edges, 100717 markings/sec, 0 secs
lola: 977112 markings, 3556945 edges, 94706 markings/sec, 5 secs
lola: 1430930 markings, 5334172 edges, 90764 markings/sec, 10 secs
lola: 1880652 markings, 7103323 edges, 89944 markings/sec, 15 secs
lola: 2327386 markings, 8893430 edges, 89347 markings/sec, 20 secs
lola: 2769001 markings, 10661104 edges, 88323 markings/sec, 25 secs
lola: 3203981 markings, 12404343 edges, 86996 markings/sec, 30 secs
lola: 3634168 markings, 14129397 edges, 86037 markings/sec, 35 secs
lola: 4051171 markings, 15880330 edges, 83401 markings/sec, 40 secs
lola: 4480531 markings, 17654458 edges, 85872 markings/sec, 45 secs
lola: 4907867 markings, 19351181 edges, 85467 markings/sec, 50 secs
lola: 5325734 markings, 20906042 edges, 83573 markings/sec, 55 secs
lola: 5733277 markings, 22465815 edges, 81509 markings/sec, 60 secs
lola: 6136014 markings, 24036460 edges, 80547 markings/sec, 65 secs
lola: 6533111 markings, 25648210 edges, 79419 markings/sec, 70 secs
lola: 6938008 markings, 27255931 edges, 80979 markings/sec, 75 secs
lola: 7342396 markings, 28872188 edges, 80878 markings/sec, 80 secs
lola: 7737228 markings, 30516110 edges, 78966 markings/sec, 85 secs
lola: 8188266 markings, 32200989 edges, 90208 markings/sec, 90 secs
lola: 8629336 markings, 33889636 edges, 88214 markings/sec, 95 secs
lola: 9064706 markings, 35556294 edges, 87074 markings/sec, 100 secs
lola: 9484659 markings, 37251632 edges, 83991 markings/sec, 105 secs
lola: 9898858 markings, 38955221 edges, 82840 markings/sec, 110 secs
lola: 10311652 markings, 40610373 edges, 82559 markings/sec, 115 secs
lola: 10718788 markings, 42247315 edges, 81427 markings/sec, 120 secs
lola: 11107752 markings, 43859573 edges, 77793 markings/sec, 125 secs
lola: 11576056 markings, 45602715 edges, 93661 markings/sec, 130 secs
lola: 12040435 markings, 47381271 edges, 92876 markings/sec, 135 secs
lola: 12481671 markings, 49124605 edges, 88247 markings/sec, 140 secs
lola: 12922884 markings, 50907867 edges, 88243 markings/sec, 145 secs
lola: 13351893 markings, 52621163 edges, 85802 markings/sec, 150 secs
lola: 13780604 markings, 54368440 edges, 85742 markings/sec, 155 secs
lola: 14207216 markings, 56124414 edges, 85322 markings/sec, 160 secs
lola: 14620123 markings, 57865265 edges, 82581 markings/sec, 165 secs
lola: 15044796 markings, 59600401 edges, 84935 markings/sec, 170 secs
lola: 15456246 markings, 61366698 edges, 82290 markings/sec, 175 secs
lola: 15873971 markings, 63063816 edges, 83545 markings/sec, 180 secs
lola: 16354519 markings, 64836633 edges, 96110 markings/sec, 185 secs
lola: 16804767 markings, 66565180 edges, 90050 markings/sec, 190 secs
lola: 17240191 markings, 68296582 edges, 87085 markings/sec, 195 secs
lola: 17694226 markings, 69969796 edges, 90807 markings/sec, 200 secs
lola: 18119602 markings, 71593921 edges, 85075 markings/sec, 205 secs
lola: 18530451 markings, 73215146 edges, 82170 markings/sec, 210 secs
lola: 18945663 markings, 74862815 edges, 83042 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Diffusion2D-PT-D05N050-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N050-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N050-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N050-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N050-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N050-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N050-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N050-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N050-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N050-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N050-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N050-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N050-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N050-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N050-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D05N050-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494639038955
--------------------
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-D05N050"
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-D05N050.tgz
mv Diffusion2D-PT-D05N050 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-D05N050, 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-149436309200362"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;