Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..............
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is S_Diffusion2D-PT-D05N010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455800353
=====================================================================

--------------------
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 1496458949194


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


checking for too many tokens
===========================================================================================
S_Diffusion2D-PT-D05N010: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 441824 markings, 1838863 edges, 88365 markings/sec, 0 secs
lola: 841402 markings, 3476441 edges, 79916 markings/sec, 5 secs
lola: 1221729 markings, 5046942 edges, 76065 markings/sec, 10 secs
lola: 1614884 markings, 6655702 edges, 78631 markings/sec, 15 secs
lola: 1979962 markings, 8163555 edges, 73016 markings/sec, 20 secs
lola: 2358609 markings, 9707179 edges, 75729 markings/sec, 25 secs
lola: 2722983 markings, 11180211 edges, 72875 markings/sec, 30 secs
lola: 3081296 markings, 12665691 edges, 71663 markings/sec, 35 secs
lola: 3435534 markings, 14108374 edges, 70848 markings/sec, 40 secs
lola: 3777086 markings, 15515683 edges, 68310 markings/sec, 45 secs
lola: 4131349 markings, 16923276 edges, 70853 markings/sec, 50 secs
lola: 4473810 markings, 18335487 edges, 68492 markings/sec, 55 secs
lola: 4833355 markings, 19796759 edges, 71909 markings/sec, 60 secs
lola: 5183407 markings, 21275500 edges, 70010 markings/sec, 65 secs
lola: 5526602 markings, 22664005 edges, 68639 markings/sec, 70 secs
lola: 5865169 markings, 24078718 edges, 67713 markings/sec, 75 secs
lola: 6205895 markings, 25484512 edges, 68145 markings/sec, 80 secs
lola: 6523851 markings, 26833407 edges, 63591 markings/sec, 85 secs
lola: 6883366 markings, 28274650 edges, 71903 markings/sec, 90 secs
lola: 7209140 markings, 29648929 edges, 65155 markings/sec, 95 secs
lola: 7539450 markings, 31020834 edges, 66062 markings/sec, 100 secs
lola: 7873325 markings, 32376409 edges, 66775 markings/sec, 105 secs
lola: 8190144 markings, 33692832 edges, 63364 markings/sec, 110 secs
lola: 8524336 markings, 35050902 edges, 66838 markings/sec, 115 secs
lola: 8843226 markings, 36310944 edges, 63778 markings/sec, 120 secs
lola: 9151252 markings, 37633071 edges, 61605 markings/sec, 125 secs
lola: 9490581 markings, 38961469 edges, 67866 markings/sec, 130 secs
lola: 9813825 markings, 40278697 edges, 64649 markings/sec, 135 secs
lola: 10146406 markings, 41638814 edges, 66516 markings/sec, 140 secs
lola: 10469783 markings, 42982009 edges, 64675 markings/sec, 145 secs
lola: 10785129 markings, 44295610 edges, 63069 markings/sec, 150 secs
lola: 11095515 markings, 45578173 edges, 62077 markings/sec, 155 secs
lola: 11423459 markings, 46918705 edges, 65589 markings/sec, 160 secs
lola: 11751763 markings, 48242343 edges, 65661 markings/sec, 165 secs
lola: 12069547 markings, 49548454 edges, 63557 markings/sec, 170 secs
lola: 12374437 markings, 50836326 edges, 60978 markings/sec, 175 secs
lola: 12686399 markings, 52132512 edges, 62392 markings/sec, 180 secs
lola: 12999712 markings, 53397877 edges, 62663 markings/sec, 185 secs
lola: 13336090 markings, 54726862 edges, 67276 markings/sec, 190 secs
lola: 13659822 markings, 56048520 edges, 64746 markings/sec, 195 secs
lola: 13978589 markings, 57369396 edges, 63753 markings/sec, 200 secs
lola: 14305949 markings, 58678363 edges, 65472 markings/sec, 205 secs
lola: 14607026 markings, 59926152 edges, 60215 markings/sec, 210 secs
lola: 14916311 markings, 61189506 edges, 61857 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: 525281 markings, 1640337 edges, 105056 markings/sec, 0 secs
lola: 1024234 markings, 3215244 edges, 99791 markings/sec, 5 secs
lola: 1516489 markings, 4810569 edges, 98451 markings/sec, 10 secs
lola: 1988414 markings, 6352080 edges, 94385 markings/sec, 15 secs
lola: 2461447 markings, 7887597 edges, 94607 markings/sec, 20 secs
lola: 2930163 markings, 9407924 edges, 93743 markings/sec, 25 secs
lola: 3380868 markings, 10893626 edges, 90141 markings/sec, 30 secs
lola: 3846350 markings, 12410038 edges, 93096 markings/sec, 35 secs
lola: 4307962 markings, 13896766 edges, 92322 markings/sec, 40 secs
lola: 4768957 markings, 15379747 edges, 92199 markings/sec, 45 secs
lola: 5222690 markings, 16862421 edges, 90747 markings/sec, 50 secs
lola: 5677575 markings, 18335305 edges, 90977 markings/sec, 55 secs
lola: 6127367 markings, 19792534 edges, 89958 markings/sec, 60 secs
lola: 6574533 markings, 21256396 edges, 89433 markings/sec, 65 secs
lola: 7027918 markings, 22725282 edges, 90677 markings/sec, 70 secs
lola: 7485768 markings, 24156591 edges, 91570 markings/sec, 75 secs
lola: 7934564 markings, 25658375 edges, 89759 markings/sec, 80 secs
lola: 8384578 markings, 27138868 edges, 90003 markings/sec, 85 secs
lola: 8829277 markings, 28574440 edges, 88940 markings/sec, 90 secs
lola: 9280705 markings, 30018860 edges, 90286 markings/sec, 95 secs
lola: 9714021 markings, 31463739 edges, 86663 markings/sec, 100 secs
lola: 10153489 markings, 32917769 edges, 87894 markings/sec, 105 secs
lola: 10606170 markings, 34375450 edges, 90536 markings/sec, 110 secs
lola: 11046130 markings, 35853232 edges, 87992 markings/sec, 115 secs
lola: 11482608 markings, 37286015 edges, 87296 markings/sec, 120 secs
lola: 11929557 markings, 38725234 edges, 89390 markings/sec, 125 secs
lola: 12370051 markings, 40200168 edges, 88099 markings/sec, 130 secs
lola: 12810672 markings, 41640205 edges, 88124 markings/sec, 135 secs
lola: 13251504 markings, 43084245 edges, 88166 markings/sec, 140 secs
lola: 13680816 markings, 44539780 edges, 85862 markings/sec, 145 secs
lola: 14116528 markings, 45980499 edges, 87142 markings/sec, 150 secs
lola: 14543742 markings, 47466574 edges, 85443 markings/sec, 155 secs
lola: 14972728 markings, 48918478 edges, 85797 markings/sec, 160 secs
lola: 15406679 markings, 50353402 edges, 86790 markings/sec, 165 secs
lola: 15823683 markings, 51773327 edges, 83401 markings/sec, 170 secs
lola: 16236829 markings, 53217355 edges, 82629 markings/sec, 175 secs
lola: 16660896 markings, 54682280 edges, 84813 markings/sec, 180 secs
lola: 17090018 markings, 56120448 edges, 85824 markings/sec, 185 secs
lola: 17516257 markings, 57575228 edges, 85248 markings/sec, 190 secs
lola: 17939984 markings, 58965817 edges, 84745 markings/sec, 195 secs
lola: 18358811 markings, 60409895 edges, 83765 markings/sec, 200 secs
lola: 18780777 markings, 61865034 edges, 84393 markings/sec, 205 secs
lola: 19183695 markings, 63259660 edges, 80584 markings/sec, 210 secs
lola: 19601932 markings, 64705232 edges, 83647 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: 552401 markings, 1575526 edges, 110480 markings/sec, 0 secs
lola: 1078560 markings, 3079893 edges, 105232 markings/sec, 5 secs
lola: 1601238 markings, 4588095 edges, 104536 markings/sec, 10 secs
lola: 2108376 markings, 6054392 edges, 101428 markings/sec, 15 secs
lola: 2603496 markings, 7500781 edges, 99024 markings/sec, 20 secs
lola: 3098169 markings, 8952534 edges, 98935 markings/sec, 25 secs
lola: 3594403 markings, 10400972 edges, 99247 markings/sec, 30 secs
lola: 4087763 markings, 11851218 edges, 98672 markings/sec, 35 secs
lola: 4569151 markings, 13267828 edges, 96278 markings/sec, 40 secs
lola: 5058956 markings, 14710461 edges, 97961 markings/sec, 45 secs
lola: 5538171 markings, 16114974 edges, 95843 markings/sec, 50 secs
lola: 6017041 markings, 17523165 edges, 95774 markings/sec, 55 secs
lola: 6497952 markings, 18930479 edges, 96182 markings/sec, 60 secs
lola: 6974567 markings, 20337166 edges, 95323 markings/sec, 65 secs
lola: 7446500 markings, 21739371 edges, 94387 markings/sec, 70 secs
lola: 7916459 markings, 23101646 edges, 93992 markings/sec, 75 secs
lola: 8384721 markings, 24493568 edges, 93652 markings/sec, 80 secs
lola: 8849578 markings, 25868308 edges, 92971 markings/sec, 85 secs
lola: 9314834 markings, 27228058 edges, 93051 markings/sec, 90 secs
lola: 9787508 markings, 28628906 edges, 94535 markings/sec, 95 secs
lola: 10254080 markings, 30016677 edges, 93314 markings/sec, 100 secs
lola: 10716763 markings, 31383187 edges, 92537 markings/sec, 105 secs
lola: 11175688 markings, 32748815 edges, 91785 markings/sec, 110 secs
lola: 11636677 markings, 34125331 edges, 92198 markings/sec, 115 secs
lola: 12090419 markings, 35472979 edges, 90748 markings/sec, 120 secs
lola: 12545185 markings, 36839147 edges, 90953 markings/sec, 125 secs
lola: 13000307 markings, 38202377 edges, 91024 markings/sec, 130 secs
lola: 13459445 markings, 39586558 edges, 91828 markings/sec, 135 secs
lola: 13910610 markings, 40936225 edges, 90233 markings/sec, 140 secs
lola: 14364926 markings, 42290961 edges, 90863 markings/sec, 145 secs
lola: 14822535 markings, 43664678 edges, 91522 markings/sec, 150 secs
lola: 15270236 markings, 44999627 edges, 89540 markings/sec, 155 secs
lola: 15721620 markings, 46341045 edges, 90277 markings/sec, 160 secs
lola: 16173094 markings, 47713699 edges, 90295 markings/sec, 165 secs
lola: 16615374 markings, 49060127 edges, 88456 markings/sec, 170 secs
lola: 17068202 markings, 50405175 edges, 90566 markings/sec, 175 secs
lola: 17509615 markings, 51740359 edges, 88283 markings/sec, 180 secs
lola: 17949413 markings, 53076696 edges, 87960 markings/sec, 185 secs
lola: 18387866 markings, 54396774 edges, 87691 markings/sec, 190 secs
lola: 18832224 markings, 55707125 edges, 88872 markings/sec, 195 secs
lola: 19266777 markings, 57022086 edges, 86911 markings/sec, 200 secs
lola: 19709646 markings, 58353803 edges, 88574 markings/sec, 205 secs
lola: 20154088 markings, 59684157 edges, 88888 markings/sec, 210 secs
lola: 20590795 markings, 61008704 edges, 87341 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: 554431 markings, 1500145 edges, 110886 markings/sec, 0 secs
lola: 1088569 markings, 2951117 edges, 106828 markings/sec, 5 secs
lola: 1612197 markings, 4388488 edges, 104726 markings/sec, 10 secs
lola: 2142777 markings, 5825065 edges, 106116 markings/sec, 15 secs
lola: 2677964 markings, 7289055 edges, 107037 markings/sec, 20 secs
lola: 3206500 markings, 8730502 edges, 105707 markings/sec, 25 secs
lola: 3726913 markings, 10145078 edges, 104083 markings/sec, 30 secs
lola: 4232736 markings, 11514850 edges, 101165 markings/sec, 35 secs
lola: 4732012 markings, 12877730 edges, 99855 markings/sec, 40 secs
lola: 5241545 markings, 14289458 edges, 101907 markings/sec, 45 secs
lola: 5767224 markings, 15719296 edges, 105136 markings/sec, 50 secs
lola: 6268067 markings, 17085191 edges, 100169 markings/sec, 55 secs
lola: 6768935 markings, 18479086 edges, 100174 markings/sec, 60 secs
lola: 7289129 markings, 19889120 edges, 104039 markings/sec, 65 secs
lola: 7780225 markings, 21228532 edges, 98219 markings/sec, 70 secs
lola: 8286093 markings, 22608304 edges, 101174 markings/sec, 75 secs
lola: 8780826 markings, 23966037 edges, 98947 markings/sec, 80 secs
lola: 9284940 markings, 25361624 edges, 100823 markings/sec, 85 secs
lola: 9821795 markings, 26808840 edges, 107371 markings/sec, 90 secs
lola: 10308959 markings, 28134847 edges, 97433 markings/sec, 95 secs
lola: 10804305 markings, 29516132 edges, 99069 markings/sec, 100 secs
lola: 11302514 markings, 30896405 edges, 99642 markings/sec, 105 secs
lola: 11809787 markings, 32279927 edges, 101455 markings/sec, 110 secs
lola: 12300543 markings, 33651306 edges, 98151 markings/sec, 115 secs
lola: 12800115 markings, 35018309 edges, 99914 markings/sec, 120 secs
lola: 13305582 markings, 36405723 edges, 101093 markings/sec, 125 secs
lola: 13797637 markings, 37743483 edges, 98411 markings/sec, 130 secs
lola: 14302417 markings, 39121732 edges, 100956 markings/sec, 135 secs
lola: 14799838 markings, 40491942 edges, 99484 markings/sec, 140 secs
lola: 15283610 markings, 41838779 edges, 96754 markings/sec, 145 secs
lola: 15768152 markings, 43186454 edges, 96908 markings/sec, 150 secs
lola: 16260059 markings, 44569064 edges, 98381 markings/sec, 155 secs
lola: 16776777 markings, 45990943 edges, 103344 markings/sec, 160 secs
lola: 17264717 markings, 47337657 edges, 97588 markings/sec, 165 secs
lola: 17744152 markings, 48668065 edges, 95887 markings/sec, 170 secs
lola: 18208478 markings, 49957486 edges, 92865 markings/sec, 175 secs
lola: 18686195 markings, 51272255 edges, 95543 markings/sec, 180 secs
lola: 19187063 markings, 52657195 edges, 100174 markings/sec, 185 secs
lola: 19657879 markings, 53986020 edges, 94163 markings/sec, 190 secs
lola: 20137176 markings, 55289465 edges, 95859 markings/sec, 195 secs
lola: 20605299 markings, 56622706 edges, 93625 markings/sec, 200 secs
lola: 21082405 markings, 57919522 edges, 95421 markings/sec, 205 secs
lola: 21555773 markings, 59214929 edges, 94674 markings/sec, 210 secs
lola: 22020780 markings, 60480263 edges, 93001 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: 525585 markings, 1641192 edges, 105117 markings/sec, 0 secs
lola: 1019802 markings, 3200714 edges, 98843 markings/sec, 5 secs
lola: 1504884 markings, 4771898 edges, 97016 markings/sec, 10 secs
lola: 1976473 markings, 6313064 edges, 94318 markings/sec, 15 secs
lola: 2446650 markings, 7842593 edges, 94035 markings/sec, 20 secs
lola: 2916141 markings, 9364378 edges, 93898 markings/sec, 25 secs
lola: 3366036 markings, 10843066 edges, 89979 markings/sec, 30 secs
lola: 3829470 markings, 12358270 edges, 92687 markings/sec, 35 secs
lola: 4290500 markings, 13835830 edges, 92206 markings/sec, 40 secs
lola: 4747092 markings, 15303638 edges, 91318 markings/sec, 45 secs
lola: 5195114 markings, 16778033 edges, 89604 markings/sec, 50 secs
lola: 5646928 markings, 18232504 edges, 90363 markings/sec, 55 secs
lola: 6093899 markings, 19678801 edges, 89394 markings/sec, 60 secs
lola: 6537170 markings, 21130901 edges, 88654 markings/sec, 65 secs
lola: 6982977 markings, 22587077 edges, 89161 markings/sec, 70 secs
lola: 7440920 markings, 24016339 edges, 91589 markings/sec, 75 secs
lola: 7886702 markings, 25500224 edges, 89156 markings/sec, 80 secs
lola: 8337321 markings, 26981877 edges, 90124 markings/sec, 85 secs
lola: 8780456 markings, 28417144 edges, 88627 markings/sec, 90 secs
lola: 9231540 markings, 29864755 edges, 90217 markings/sec, 95 secs
lola: 9663280 markings, 31304546 edges, 86348 markings/sec, 100 secs
lola: 10100089 markings, 32749054 edges, 87362 markings/sec, 105 secs
lola: 10553013 markings, 34206401 edges, 90585 markings/sec, 110 secs
lola: 10996604 markings, 35686307 edges, 88718 markings/sec, 115 secs
lola: 11433084 markings, 37114689 edges, 87296 markings/sec, 120 secs
lola: 11877970 markings, 38559972 edges, 88977 markings/sec, 125 secs
lola: 12317909 markings, 40026042 edges, 87988 markings/sec, 130 secs
lola: 12762129 markings, 41467311 edges, 88844 markings/sec, 135 secs
lola: 13199103 markings, 42907250 edges, 87395 markings/sec, 140 secs
lola: 13628994 markings, 44369690 edges, 85978 markings/sec, 145 secs
lola: 14063787 markings, 45808271 edges, 86959 markings/sec, 150 secs
lola: 14491177 markings, 47281298 edges, 85478 markings/sec, 155 secs
lola: 14919086 markings, 48744335 edges, 85582 markings/sec, 160 secs
lola: 15355822 markings, 50191188 edges, 87347 markings/sec, 165 secs
lola: 15776199 markings, 51608870 edges, 84075 markings/sec, 170 secs
lola: 16189975 markings, 53061229 edges, 82755 markings/sec, 175 secs
lola: 16615292 markings, 54534542 edges, 85063 markings/sec, 180 secs
lola: 17048625 markings, 55979423 edges, 86667 markings/sec, 185 secs
lola: 17477679 markings, 57436187 edges, 85811 markings/sec, 190 secs
lola: 17899204 markings, 58827833 edges, 84305 markings/sec, 195 secs
lola: 18318908 markings, 60275840 edges, 83941 markings/sec, 200 secs
lola: 18735276 markings, 61716975 edges, 83274 markings/sec, 205 secs
lola: 19142515 markings, 63111130 edges, 81448 markings/sec, 210 secs
lola: 19556860 markings, 64554859 edges, 82869 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: 431789 markings, 1569339 edges, 86358 markings/sec, 0 secs
lola: 823579 markings, 3043693 edges, 78358 markings/sec, 5 secs
lola: 1189656 markings, 4419897 edges, 73215 markings/sec, 10 secs
lola: 1550264 markings, 5791429 edges, 72122 markings/sec, 15 secs
lola: 1906724 markings, 7154424 edges, 71292 markings/sec, 20 secs
lola: 2254811 markings, 8525595 edges, 69617 markings/sec, 25 secs
lola: 2599721 markings, 9933369 edges, 68982 markings/sec, 30 secs
lola: 2938311 markings, 11245963 edges, 67718 markings/sec, 35 secs
lola: 3274162 markings, 12560048 edges, 67170 markings/sec, 40 secs
lola: 3615395 markings, 13884832 edges, 68247 markings/sec, 45 secs
lola: 3945573 markings, 15119043 edges, 66036 markings/sec, 50 secs
lola: 4278694 markings, 16418955 edges, 66624 markings/sec, 55 secs
lola: 4598248 markings, 17737858 edges, 63911 markings/sec, 60 secs
lola: 4919232 markings, 19047248 edges, 64197 markings/sec, 65 secs
lola: 5237287 markings, 20365241 edges, 63611 markings/sec, 70 secs
lola: 5552160 markings, 21659087 edges, 62975 markings/sec, 75 secs
lola: 5871015 markings, 22892330 edges, 63771 markings/sec, 80 secs
lola: 6187293 markings, 24119127 edges, 63256 markings/sec, 85 secs
lola: 6499159 markings, 25366377 edges, 62373 markings/sec, 90 secs
lola: 6811436 markings, 26606760 edges, 62455 markings/sec, 95 secs
lola: 7116488 markings, 27827860 edges, 61010 markings/sec, 100 secs
lola: 7442383 markings, 29061178 edges, 65179 markings/sec, 105 secs
lola: 7764890 markings, 30325730 edges, 64501 markings/sec, 110 secs
lola: 8063390 markings, 31551005 edges, 59700 markings/sec, 115 secs
lola: 8363792 markings, 32818726 edges, 60080 markings/sec, 120 secs
lola: 8658007 markings, 34022173 edges, 58843 markings/sec, 125 secs
lola: 8954519 markings, 35222404 edges, 59302 markings/sec, 130 secs
lola: 9252360 markings, 36503018 edges, 59568 markings/sec, 135 secs
lola: 9548341 markings, 37748539 edges, 59196 markings/sec, 140 secs
lola: 9847104 markings, 39004834 edges, 59753 markings/sec, 145 secs
lola: 10151007 markings, 40253366 edges, 60781 markings/sec, 150 secs
lola: 10441194 markings, 41380358 edges, 58037 markings/sec, 155 secs
lola: 10732890 markings, 42558981 edges, 58339 markings/sec, 160 secs
lola: 11026200 markings, 43743075 edges, 58662 markings/sec, 165 secs
lola: 11329160 markings, 45033849 edges, 60592 markings/sec, 170 secs
lola: 11624865 markings, 46289369 edges, 59141 markings/sec, 175 secs
lola: 11919771 markings, 47484586 edges, 58981 markings/sec, 180 secs
lola: 12200878 markings, 48661904 edges, 56221 markings/sec, 185 secs
lola: 12502666 markings, 49955590 edges, 60358 markings/sec, 190 secs
lola: 12798235 markings, 51161173 edges, 59114 markings/sec, 195 secs
lola: 13087632 markings, 52359500 edges, 57879 markings/sec, 200 secs
lola: 13376952 markings, 53608021 edges, 57864 markings/sec, 205 secs
lola: 13668032 markings, 54792544 edges, 58216 markings/sec, 210 secs
lola: 13960904 markings, 56047997 edges, 58574 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: 523751 markings, 1636017 edges, 104750 markings/sec, 0 secs
lola: 1017498 markings, 3193524 edges, 98749 markings/sec, 5 secs
lola: 1503959 markings, 4768941 edges, 97292 markings/sec, 10 secs
lola: 1971511 markings, 6296940 edges, 93510 markings/sec, 15 secs
lola: 2436958 markings, 7811235 edges, 93089 markings/sec, 20 secs
lola: 2903425 markings, 9319621 edges, 93293 markings/sec, 25 secs
lola: 3348414 markings, 10787126 edges, 88998 markings/sec, 30 secs
lola: 3806523 markings, 12286935 edges, 91622 markings/sec, 35 secs
lola: 4268115 markings, 13763198 edges, 92318 markings/sec, 40 secs
lola: 4722106 markings, 15220640 edges, 90798 markings/sec, 45 secs
lola: 5167637 markings, 16692428 edges, 89106 markings/sec, 50 secs
lola: 5621741 markings, 18146113 edges, 90821 markings/sec, 55 secs
lola: 6069061 markings, 19585401 edges, 89464 markings/sec, 60 secs
lola: 6508060 markings, 21034779 edges, 87800 markings/sec, 65 secs
lola: 6949106 markings, 22477853 edges, 88209 markings/sec, 70 secs
lola: 7402318 markings, 23894852 edges, 90642 markings/sec, 75 secs
lola: 7839579 markings, 25339891 edges, 87452 markings/sec, 80 secs
lola: 8280898 markings, 26803969 edges, 88264 markings/sec, 85 secs
lola: 8717321 markings, 28216777 edges, 87285 markings/sec, 90 secs
lola: 9157665 markings, 29633187 edges, 88069 markings/sec, 95 secs
lola: 9585388 markings, 31043173 edges, 85545 markings/sec, 100 secs
lola: 10009820 markings, 32459476 edges, 84886 markings/sec, 105 secs
lola: 10450660 markings, 33879870 edges, 88168 markings/sec, 110 secs
lola: 10892133 markings, 35331875 edges, 88295 markings/sec, 115 secs
lola: 11317074 markings, 36736870 edges, 84988 markings/sec, 120 secs
lola: 11756398 markings, 38159120 edges, 87865 markings/sec, 125 secs
lola: 12188312 markings, 39592840 edges, 86383 markings/sec, 130 secs
lola: 12618655 markings, 41005077 edges, 86069 markings/sec, 135 secs
lola: 13051052 markings, 42425577 edges, 86479 markings/sec, 140 secs
lola: 13472335 markings, 43855704 edges, 84257 markings/sec, 145 secs
lola: 13905952 markings, 45279656 edges, 86723 markings/sec, 150 secs
lola: 14329495 markings, 46713845 edges, 84709 markings/sec, 155 secs
lola: 14747228 markings, 48162416 edges, 83547 markings/sec, 160 secs
lola: 15175783 markings, 49591138 edges, 85711 markings/sec, 165 secs
lola: 15585975 markings, 50971798 edges, 82038 markings/sec, 170 secs
lola: 16002604 markings, 52410313 edges, 83326 markings/sec, 175 secs
lola: 16418543 markings, 53845417 edges, 83188 markings/sec, 180 secs
lola: 16844322 markings, 55279290 edges, 85156 markings/sec, 185 secs
lola: 17267391 markings, 56719070 edges, 84614 markings/sec, 190 secs
lola: 17693626 markings, 58164002 edges, 85247 markings/sec, 195 secs
lola: 18106039 markings, 59563916 edges, 82483 markings/sec, 200 secs
lola: 18527359 markings, 60992969 edges, 84264 markings/sec, 205 secs
lola: 18939943 markings, 62421912 edges, 82517 markings/sec, 210 secs
lola: 19341101 markings, 63821905 edges, 80232 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: 408569 markings, 1534346 edges, 81714 markings/sec, 0 secs
lola: 764575 markings, 2893078 edges, 71201 markings/sec, 5 secs
lola: 1102734 markings, 4249386 edges, 67632 markings/sec, 10 secs
lola: 1434712 markings, 5568349 edges, 66396 markings/sec, 15 secs
lola: 1753502 markings, 6867417 edges, 63758 markings/sec, 20 secs
lola: 2058542 markings, 8164412 edges, 61008 markings/sec, 25 secs
lola: 2364890 markings, 9422407 edges, 61270 markings/sec, 30 secs
lola: 2664239 markings, 10690468 edges, 59870 markings/sec, 35 secs
lola: 2962476 markings, 11973059 edges, 59647 markings/sec, 40 secs
lola: 3257283 markings, 13218339 edges, 58961 markings/sec, 45 secs
lola: 3544209 markings, 14443389 edges, 57385 markings/sec, 50 secs
lola: 3827893 markings, 15672072 edges, 56737 markings/sec, 55 secs
lola: 4119594 markings, 16885721 edges, 58340 markings/sec, 60 secs
lola: 4399744 markings, 18063271 edges, 56030 markings/sec, 65 secs
lola: 4685062 markings, 19239440 edges, 57064 markings/sec, 70 secs
lola: 4967347 markings, 20481141 edges, 56457 markings/sec, 75 secs
lola: 5248487 markings, 21726854 edges, 56228 markings/sec, 80 secs
lola: 5521533 markings, 22903451 edges, 54609 markings/sec, 85 secs
lola: 5802795 markings, 24093046 edges, 56252 markings/sec, 90 secs
lola: 6073923 markings, 25242276 edges, 54226 markings/sec, 95 secs
lola: 6348244 markings, 26433854 edges, 54864 markings/sec, 100 secs
lola: 6620691 markings, 27647944 edges, 54489 markings/sec, 105 secs
lola: 6888400 markings, 28821103 edges, 53542 markings/sec, 110 secs
lola: 7148801 markings, 29950654 edges, 52080 markings/sec, 115 secs
lola: 7407797 markings, 31111315 edges, 51799 markings/sec, 120 secs
lola: 7665210 markings, 32258894 edges, 51483 markings/sec, 125 secs
lola: 7931785 markings, 33447575 edges, 53315 markings/sec, 130 secs
lola: 8193209 markings, 34618295 edges, 52285 markings/sec, 135 secs
lola: 8453432 markings, 35765213 edges, 52045 markings/sec, 140 secs
lola: 8712038 markings, 36964973 edges, 51721 markings/sec, 145 secs
lola: 8967522 markings, 38140554 edges, 51097 markings/sec, 150 secs
lola: 9226815 markings, 39305039 edges, 51859 markings/sec, 155 secs
lola: 9477150 markings, 40466386 edges, 50067 markings/sec, 160 secs
lola: 9730162 markings, 41613208 edges, 50602 markings/sec, 165 secs
lola: 9981295 markings, 42760063 edges, 50227 markings/sec, 170 secs
lola: 10232614 markings, 43910689 edges, 50264 markings/sec, 175 secs
lola: 10500300 markings, 45060786 edges, 53537 markings/sec, 180 secs
lola: 10756166 markings, 46242788 edges, 51173 markings/sec, 185 secs
lola: 11012881 markings, 47436023 edges, 51343 markings/sec, 190 secs
lola: 11271242 markings, 48558934 edges, 51672 markings/sec, 195 secs
lola: 11521680 markings, 49714343 edges, 50088 markings/sec, 200 secs
lola: 11780291 markings, 50849620 edges, 51722 markings/sec, 205 secs
lola: 12025360 markings, 51970742 edges, 49014 markings/sec, 210 secs
lola: 12273751 markings, 53149970 edges, 49678 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: 521151 markings, 1490073 edges, 104230 markings/sec, 0 secs
lola: 1021054 markings, 2930308 edges, 99981 markings/sec, 5 secs
lola: 1514759 markings, 4364578 edges, 98741 markings/sec, 10 secs
lola: 2011918 markings, 5804375 edges, 99432 markings/sec, 15 secs
lola: 2492549 markings, 7241942 edges, 96126 markings/sec, 20 secs
lola: 2969799 markings, 8667087 edges, 95450 markings/sec, 25 secs
lola: 3437795 markings, 10072779 edges, 93599 markings/sec, 30 secs
lola: 3912695 markings, 11471811 edges, 94980 markings/sec, 35 secs
lola: 4369754 markings, 12889976 edges, 91412 markings/sec, 40 secs
lola: 4837506 markings, 14276881 edges, 93550 markings/sec, 45 secs
lola: 5306418 markings, 15690356 edges, 93782 markings/sec, 50 secs
lola: 5762819 markings, 17099663 edges, 91280 markings/sec, 55 secs
lola: 6217787 markings, 18509729 edges, 90994 markings/sec, 60 secs
lola: 6673068 markings, 19921948 edges, 91056 markings/sec, 65 secs
lola: 7132881 markings, 21342688 edges, 91963 markings/sec, 70 secs
lola: 7582163 markings, 22751064 edges, 89856 markings/sec, 75 secs
lola: 8037952 markings, 24141408 edges, 91158 markings/sec, 80 secs
lola: 8488972 markings, 25523958 edges, 90204 markings/sec, 85 secs
lola: 8947682 markings, 26913060 edges, 91742 markings/sec, 90 secs
lola: 9397384 markings, 28333568 edges, 89940 markings/sec, 95 secs
lola: 9842130 markings, 29733345 edges, 88949 markings/sec, 100 secs
lola: 10285249 markings, 31146788 edges, 88624 markings/sec, 105 secs
lola: 10729071 markings, 32523971 edges, 88764 markings/sec, 110 secs
lola: 11168599 markings, 33916945 edges, 87906 markings/sec, 115 secs
lola: 11614055 markings, 35281798 edges, 89091 markings/sec, 120 secs
lola: 12045989 markings, 36651822 edges, 86387 markings/sec, 125 secs
lola: 12479469 markings, 38039955 edges, 86696 markings/sec, 130 secs
lola: 12912359 markings, 39422369 edges, 86578 markings/sec, 135 secs
lola: 13353214 markings, 40794535 edges, 88171 markings/sec, 140 secs
lola: 13781406 markings, 42192261 edges, 85638 markings/sec, 145 secs
lola: 14220589 markings, 43587194 edges, 87837 markings/sec, 150 secs
lola: 14662228 markings, 44950551 edges, 88328 markings/sec, 155 secs
lola: 15095283 markings, 46340569 edges, 86611 markings/sec, 160 secs
lola: 15533345 markings, 47726095 edges, 87612 markings/sec, 165 secs
lola: 15969099 markings, 49111284 edges, 87151 markings/sec, 170 secs
lola: 16411971 markings, 50468155 edges, 88574 markings/sec, 175 secs
lola: 16841256 markings, 51857028 edges, 85857 markings/sec, 180 secs
lola: 17265286 markings, 53251445 edges, 84806 markings/sec, 185 secs
lola: 17690632 markings, 54643453 edges, 85069 markings/sec, 190 secs
lola: 18122138 markings, 56012292 edges, 86301 markings/sec, 195 secs
lola: 18558748 markings, 57378194 edges, 87322 markings/sec, 200 secs
lola: 18984601 markings, 58764184 edges, 85171 markings/sec, 205 secs
lola: 19406222 markings, 60154943 edges, 84324 markings/sec, 210 secs
lola: 19833124 markings, 61548541 edges, 85380 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: 524784 markings, 1501819 edges, 104957 markings/sec, 0 secs
lola: 1024677 markings, 2940084 edges, 99979 markings/sec, 5 secs
lola: 1506667 markings, 4339003 edges, 96398 markings/sec, 10 secs
lola: 1996803 markings, 5761241 edges, 98027 markings/sec, 15 secs
lola: 2479973 markings, 7204372 edges, 96634 markings/sec, 20 secs
lola: 2959041 markings, 8635027 edges, 95814 markings/sec, 25 secs
lola: 3428447 markings, 10044205 edges, 93881 markings/sec, 30 secs
lola: 3904449 markings, 11447556 edges, 95200 markings/sec, 35 secs
lola: 4363547 markings, 12869875 edges, 91820 markings/sec, 40 secs
lola: 4833764 markings, 14265315 edges, 94043 markings/sec, 45 secs
lola: 5302688 markings, 15678242 edges, 93785 markings/sec, 50 secs
lola: 5756176 markings, 17079252 edges, 90698 markings/sec, 55 secs
lola: 6208932 markings, 18481910 edges, 90551 markings/sec, 60 secs
lola: 6660734 markings, 19885740 edges, 90360 markings/sec, 65 secs
lola: 7118112 markings, 21301451 edges, 91476 markings/sec, 70 secs
lola: 7564718 markings, 22700418 edges, 89321 markings/sec, 75 secs
lola: 8014276 markings, 24071659 edges, 89912 markings/sec, 80 secs
lola: 8468150 markings, 25459003 edges, 90775 markings/sec, 85 secs
lola: 8921675 markings, 26839002 edges, 90705 markings/sec, 90 secs
lola: 9369277 markings, 28246674 edges, 89520 markings/sec, 95 secs
lola: 9812686 markings, 29636557 edges, 88682 markings/sec, 100 secs
lola: 10249434 markings, 31038595 edges, 87350 markings/sec, 105 secs
lola: 10688776 markings, 32406768 edges, 87868 markings/sec, 110 secs
lola: 11131296 markings, 33798220 edges, 88504 markings/sec, 115 secs
lola: 11578039 markings, 35166507 edges, 89349 markings/sec, 120 secs
lola: 12009014 markings, 36531894 edges, 86195 markings/sec, 125 secs
lola: 12442204 markings, 37918513 edges, 86638 markings/sec, 130 secs
lola: 12874001 markings, 39298397 edges, 86359 markings/sec, 135 secs
lola: 13311693 markings, 40660346 edges, 87538 markings/sec, 140 secs
lola: 13738851 markings, 42050876 edges, 85432 markings/sec, 145 secs
lola: 14172900 markings, 43445062 edges, 86810 markings/sec, 150 secs
lola: 14616117 markings, 44788322 edges, 88643 markings/sec, 155 secs
lola: 15047623 markings, 46175626 edges, 86301 markings/sec, 160 secs
lola: 15478880 markings, 47554045 edges, 86251 markings/sec, 165 secs
lola: 15915214 markings, 48930926 edges, 87267 markings/sec, 170 secs
lola: 16355348 markings, 50290894 edges, 88027 markings/sec, 175 secs
lola: 16784861 markings, 51683045 edges, 85903 markings/sec, 180 secs
lola: 17210689 markings, 53076399 edges, 85166 markings/sec, 185 secs
lola: 17636717 markings, 54475268 edges, 85206 markings/sec, 190 secs
lola: 18066301 markings, 55847748 edges, 85917 markings/sec, 195 secs
lola: 18504488 markings, 57206916 edges, 87637 markings/sec, 200 secs
lola: 18928990 markings, 58590481 edges, 84900 markings/sec, 205 secs
lola: 19351974 markings, 59985298 edges, 84597 markings/sec, 210 secs
lola: 19781790 markings, 61384489 edges, 85963 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: 425410 markings, 1543340 edges, 85082 markings/sec, 0 secs
lola: 815981 markings, 3017338 edges, 78114 markings/sec, 5 secs
lola: 1179674 markings, 4379260 edges, 72739 markings/sec, 10 secs
lola: 1539074 markings, 5749876 edges, 71880 markings/sec, 15 secs
lola: 1891220 markings, 7092367 edges, 70429 markings/sec, 20 secs
lola: 2237446 markings, 8455970 edges, 69245 markings/sec, 25 secs
lola: 2578442 markings, 9850954 edges, 68199 markings/sec, 30 secs
lola: 2913087 markings, 11145852 edges, 66929 markings/sec, 35 secs
lola: 3242695 markings, 12448509 edges, 65922 markings/sec, 40 secs
lola: 3583571 markings, 13752867 edges, 68175 markings/sec, 45 secs
lola: 3913422 markings, 14998145 edges, 65970 markings/sec, 50 secs
lola: 4242172 markings, 16282214 edges, 65750 markings/sec, 55 secs
lola: 4566914 markings, 17605003 edges, 64948 markings/sec, 60 secs
lola: 4885602 markings, 18912764 edges, 63738 markings/sec, 65 secs
lola: 5203363 markings, 20217129 edges, 63552 markings/sec, 70 secs
lola: 5517651 markings, 21527001 edges, 62858 markings/sec, 75 secs
lola: 5837190 markings, 22766568 edges, 63908 markings/sec, 80 secs
lola: 6150382 markings, 23985541 edges, 62638 markings/sec, 85 secs
lola: 6469297 markings, 25249150 edges, 63783 markings/sec, 90 secs
lola: 6781309 markings, 26489373 edges, 62402 markings/sec, 95 secs
lola: 7085971 markings, 27717261 edges, 60932 markings/sec, 100 secs
lola: 7413530 markings, 28953732 edges, 65512 markings/sec, 105 secs
lola: 7736825 markings, 30211230 edges, 64659 markings/sec, 110 secs
lola: 8034911 markings, 31423012 edges, 59617 markings/sec, 115 secs
lola: 8338118 markings, 32706310 edges, 60641 markings/sec, 120 secs
lola: 8631951 markings, 33911206 edges, 58767 markings/sec, 125 secs
lola: 8928412 markings, 35108392 edges, 59292 markings/sec, 130 secs
lola: 9227496 markings, 36394979 edges, 59817 markings/sec, 135 secs
lola: 9522863 markings, 37649418 edges, 59073 markings/sec, 140 secs
lola: 9819454 markings, 38884746 edges, 59318 markings/sec, 145 secs
lola: 10125256 markings, 40144692 edges, 61160 markings/sec, 150 secs
lola: 10411262 markings, 41266115 edges, 57201 markings/sec, 155 secs
lola: 10697743 markings, 42428019 edges, 57296 markings/sec, 160 secs
lola: 10993651 markings, 43600614 edges, 59182 markings/sec, 165 secs
lola: 11292015 markings, 44870608 edges, 59673 markings/sec, 170 secs
lola: 11583808 markings, 46132430 edges, 58359 markings/sec, 175 secs
lola: 11880477 markings, 47321930 edges, 59334 markings/sec, 180 secs
lola: 12157242 markings, 48482879 edges, 55353 markings/sec, 185 secs
lola: 12455967 markings, 49760119 edges, 59745 markings/sec, 190 secs
lola: 12749520 markings, 50974626 edges, 58711 markings/sec, 195 secs
lola: 13037975 markings, 52152532 edges, 57691 markings/sec, 200 secs
lola: 13324424 markings, 53371368 edges, 57290 markings/sec, 205 secs
lola: 13615037 markings, 54584557 edges, 58123 markings/sec, 210 secs
lola: 13905637 markings, 55819466 edges, 58120 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: 409621 markings, 1538196 edges, 81924 markings/sec, 0 secs
lola: 768157 markings, 2907898 edges, 71707 markings/sec, 5 secs
lola: 1106852 markings, 4265439 edges, 67739 markings/sec, 10 secs
lola: 1441289 markings, 5597022 edges, 66887 markings/sec, 15 secs
lola: 1760753 markings, 6898244 edges, 63893 markings/sec, 20 secs
lola: 2066970 markings, 8195408 edges, 61243 markings/sec, 25 secs
lola: 2373111 markings, 9464613 edges, 61228 markings/sec, 30 secs
lola: 2673633 markings, 10731093 edges, 60104 markings/sec, 35 secs
lola: 2973724 markings, 12022747 edges, 60018 markings/sec, 40 secs
lola: 3270959 markings, 13269106 edges, 59447 markings/sec, 45 secs
lola: 3557033 markings, 14505103 edges, 57215 markings/sec, 50 secs
lola: 3843325 markings, 15739499 edges, 57258 markings/sec, 55 secs
lola: 4138009 markings, 16955060 edges, 58937 markings/sec, 60 secs
lola: 4419735 markings, 18141033 edges, 56345 markings/sec, 65 secs
lola: 4704646 markings, 19328742 edges, 56982 markings/sec, 70 secs
lola: 4989478 markings, 20571282 edges, 56966 markings/sec, 75 secs
lola: 5267606 markings, 21807506 edges, 55626 markings/sec, 80 secs
lola: 5539291 markings, 22981572 edges, 54337 markings/sec, 85 secs
lola: 5820056 markings, 24159644 edges, 56153 markings/sec, 90 secs
lola: 6090359 markings, 25307092 edges, 54061 markings/sec, 95 secs
lola: 6362958 markings, 26491537 edges, 54520 markings/sec, 100 secs
lola: 6632466 markings, 27694489 edges, 53902 markings/sec, 105 secs
lola: 6900916 markings, 28878062 edges, 53690 markings/sec, 110 secs
lola: 7161021 markings, 30006704 edges, 52021 markings/sec, 115 secs
lola: 7422192 markings, 31175565 edges, 52234 markings/sec, 120 secs
lola: 7683360 markings, 32333299 edges, 52234 markings/sec, 125 secs
lola: 7952988 markings, 33532694 edges, 53926 markings/sec, 130 secs
lola: 8215009 markings, 34714336 edges, 52404 markings/sec, 135 secs
lola: 8480350 markings, 35882905 edges, 53068 markings/sec, 140 secs
lola: 8740695 markings, 37096361 edges, 52069 markings/sec, 145 secs
lola: 8997039 markings, 38257185 edges, 51269 markings/sec, 150 secs
lola: 9255546 markings, 39430191 edges, 51701 markings/sec, 155 secs
lola: 9502579 markings, 40583213 edges, 49407 markings/sec, 160 secs
lola: 9753969 markings, 41730670 edges, 50278 markings/sec, 165 secs
lola: 10004642 markings, 42870231 edges, 50135 markings/sec, 170 secs
lola: 10254989 markings, 44021532 edges, 50069 markings/sec, 175 secs
lola: 10518585 markings, 45155319 edges, 52719 markings/sec, 180 secs
lola: 10772572 markings, 46313347 edges, 50797 markings/sec, 185 secs
lola: 11025961 markings, 47500377 edges, 50678 markings/sec, 190 secs
lola: 11283605 markings, 48614023 edges, 51529 markings/sec, 195 secs
lola: 11530643 markings, 49755409 edges, 49408 markings/sec, 200 secs
lola: 11786829 markings, 50881038 edges, 51237 markings/sec, 205 secs
lola: 12030635 markings, 51990678 edges, 48761 markings/sec, 210 secs
lola: 12276716 markings, 53165346 edges, 49216 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_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: 446331 markings, 1478960 edges, 89266 markings/sec, 0 secs
lola: 847309 markings, 2899665 edges, 80196 markings/sec, 5 secs
lola: 1227604 markings, 4296995 edges, 76059 markings/sec, 10 secs
lola: 1602687 markings, 5672398 edges, 75017 markings/sec, 15 secs
lola: 1964026 markings, 7025405 edges, 72268 markings/sec, 20 secs
lola: 2315049 markings, 8357287 edges, 70205 markings/sec, 25 secs
lola: 2667987 markings, 9713839 edges, 70588 markings/sec, 30 secs
lola: 3009928 markings, 11024163 edges, 68388 markings/sec, 35 secs
lola: 3353164 markings, 12322193 edges, 68647 markings/sec, 40 secs
lola: 3690553 markings, 13636845 edges, 67478 markings/sec, 45 secs
lola: 4014370 markings, 14957943 edges, 64763 markings/sec, 50 secs
lola: 4340702 markings, 16244269 edges, 65266 markings/sec, 55 secs
lola: 4658871 markings, 17523086 edges, 63634 markings/sec, 60 secs
lola: 4977028 markings, 18778999 edges, 63631 markings/sec, 65 secs
lola: 5297905 markings, 20047861 edges, 64175 markings/sec, 70 secs
lola: 5625072 markings, 21361204 edges, 65433 markings/sec, 75 secs
lola: 5944603 markings, 22658814 edges, 63906 markings/sec, 80 secs
lola: 6262700 markings, 23912200 edges, 63619 markings/sec, 85 secs
lola: 6570978 markings, 25176037 edges, 61656 markings/sec, 90 secs
lola: 6885397 markings, 26462247 edges, 62884 markings/sec, 95 secs
lola: 7193891 markings, 27745510 edges, 61699 markings/sec, 100 secs
lola: 7504000 markings, 29001769 edges, 62022 markings/sec, 105 secs
lola: 7806668 markings, 30231619 edges, 60534 markings/sec, 110 secs
lola: 8114915 markings, 31504451 edges, 61649 markings/sec, 115 secs
lola: 8414168 markings, 32750790 edges, 59851 markings/sec, 120 secs
lola: 8718170 markings, 34004054 edges, 60800 markings/sec, 125 secs
lola: 9021264 markings, 35262509 edges, 60619 markings/sec, 130 secs
lola: 9320362 markings, 36517001 edges, 59820 markings/sec, 135 secs
lola: 9619728 markings, 37768739 edges, 59873 markings/sec, 140 secs
lola: 9913410 markings, 39006262 edges, 58736 markings/sec, 145 secs
lola: 10206943 markings, 40248194 edges, 58707 markings/sec, 150 secs
lola: 10510776 markings, 41501143 edges, 60767 markings/sec, 155 secs
lola: 10806068 markings, 42762283 edges, 59058 markings/sec, 160 secs
lola: 11095264 markings, 44019893 edges, 57839 markings/sec, 165 secs
lola: 11380615 markings, 45254119 edges, 57070 markings/sec, 170 secs
lola: 11673286 markings, 46483577 edges, 58534 markings/sec, 175 secs
lola: 11966195 markings, 47705299 edges, 58582 markings/sec, 180 secs
lola: 12253453 markings, 48928748 edges, 57452 markings/sec, 185 secs
lola: 12532044 markings, 50125873 edges, 55718 markings/sec, 190 secs
lola: 12817161 markings, 51329623 edges, 57023 markings/sec, 195 secs
lola: 13101247 markings, 52528217 edges, 56817 markings/sec, 200 secs
lola: 13386725 markings, 53748882 edges, 57096 markings/sec, 205 secs
lola: 13668925 markings, 54947923 edges, 56440 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__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: 565262 markings, 1355601 edges, 113052 markings/sec, 0 secs
lola: 1109072 markings, 2660055 edges, 108762 markings/sec, 5 secs
lola: 1630258 markings, 3914676 edges, 104237 markings/sec, 10 secs
lola: 2158121 markings, 5187569 edges, 105573 markings/sec, 15 secs
lola: 2675127 markings, 6442619 edges, 103401 markings/sec, 20 secs
lola: 3200334 markings, 7716009 edges, 105041 markings/sec, 25 secs
lola: 3714374 markings, 8962217 edges, 102808 markings/sec, 30 secs
lola: 4242050 markings, 10240780 edges, 105535 markings/sec, 35 secs
lola: 4749962 markings, 11487390 edges, 101582 markings/sec, 40 secs
lola: 5254875 markings, 12721891 edges, 100983 markings/sec, 45 secs
lola: 5762093 markings, 13955883 edges, 101444 markings/sec, 50 secs
lola: 6270554 markings, 15193233 edges, 101692 markings/sec, 55 secs
lola: 6771811 markings, 16421645 edges, 100251 markings/sec, 60 secs
lola: 7291015 markings, 17686758 edges, 103841 markings/sec, 65 secs
lola: 7813526 markings, 18949795 edges, 104502 markings/sec, 70 secs
lola: 8314791 markings, 20172029 edges, 100253 markings/sec, 75 secs
lola: 8821503 markings, 21412314 edges, 101342 markings/sec, 80 secs
lola: 9334357 markings, 22661375 edges, 102571 markings/sec, 85 secs
lola: 9826989 markings, 23867160 edges, 98526 markings/sec, 90 secs
lola: 10329838 markings, 25084090 edges, 100570 markings/sec, 95 secs
lola: 10815034 markings, 26271937 edges, 97039 markings/sec, 100 secs
lola: 11317782 markings, 27497128 edges, 100550 markings/sec, 105 secs
lola: 11804740 markings, 28713941 edges, 97392 markings/sec, 110 secs
lola: 12295293 markings, 29930976 edges, 98111 markings/sec, 115 secs
lola: 12781999 markings, 31129676 edges, 97341 markings/sec, 120 secs
lola: 13261666 markings, 32334910 edges, 95933 markings/sec, 125 secs
lola: 13758813 markings, 33555201 edges, 99429 markings/sec, 130 secs
lola: 14253529 markings, 34784203 edges, 98943 markings/sec, 135 secs
lola: 14729851 markings, 35967685 edges, 95264 markings/sec, 140 secs
lola: 15216959 markings, 37194875 edges, 97422 markings/sec, 145 secs
lola: 15727450 markings, 38442601 edges, 102098 markings/sec, 150 secs
lola: 16221851 markings, 39660896 edges, 98880 markings/sec, 155 secs
lola: 16709385 markings, 40883239 edges, 97507 markings/sec, 160 secs
lola: 17206205 markings, 42111036 edges, 99364 markings/sec, 165 secs
lola: 17668432 markings, 43306071 edges, 92445 markings/sec, 170 secs
lola: 18140271 markings, 44513447 edges, 94368 markings/sec, 175 secs
lola: 18631584 markings, 45747295 edges, 98263 markings/sec, 180 secs
lola: 19112344 markings, 46924017 edges, 96152 markings/sec, 185 secs
lola: 19592414 markings, 48099837 edges, 96014 markings/sec, 190 secs
lola: 20068974 markings, 49298344 edges, 95312 markings/sec, 195 secs
lola: 20551831 markings, 50498788 edges, 96571 markings/sec, 200 secs
lola: 21056458 markings, 51742602 edges, 100925 markings/sec, 205 secs
lola: 21545885 markings, 52966285 edges, 97885 markings/sec, 210 secs
lola: 22009412 markings, 54165951 edges, 92705 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 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: 541574 markings, 1582279 edges, 108315 markings/sec, 0 secs
lola: 1064037 markings, 3114745 edges, 104493 markings/sec, 5 secs
lola: 1552755 markings, 4557901 edges, 97744 markings/sec, 10 secs
lola: 2055933 markings, 6037967 edges, 100636 markings/sec, 15 secs
lola: 2550557 markings, 7512667 edges, 98925 markings/sec, 20 secs
lola: 3037950 markings, 8944373 edges, 97479 markings/sec, 25 secs
lola: 3530256 markings, 10383477 edges, 98461 markings/sec, 30 secs
lola: 4036454 markings, 11876998 edges, 101240 markings/sec, 35 secs
lola: 4529548 markings, 13322476 edges, 98619 markings/sec, 40 secs
lola: 5009001 markings, 14745527 edges, 95891 markings/sec, 45 secs
lola: 5511016 markings, 16204144 edges, 100403 markings/sec, 50 secs
lola: 6012766 markings, 17672556 edges, 100350 markings/sec, 55 secs
lola: 6480003 markings, 19069374 edges, 93447 markings/sec, 60 secs
lola: 6932307 markings, 20412809 edges, 90461 markings/sec, 65 secs
lola: 7393249 markings, 21780116 edges, 92188 markings/sec, 70 secs
lola: 7859773 markings, 23170188 edges, 93305 markings/sec, 75 secs
lola: 8324409 markings, 24556378 edges, 92927 markings/sec, 80 secs
lola: 8800070 markings, 25964475 edges, 95132 markings/sec, 85 secs
lola: 9250793 markings, 27280794 edges, 90145 markings/sec, 90 secs
lola: 9699049 markings, 28644455 edges, 89651 markings/sec, 95 secs
lola: 10151579 markings, 30035340 edges, 90506 markings/sec, 100 secs
lola: 10639133 markings, 31483648 edges, 97511 markings/sec, 105 secs
lola: 11090444 markings, 32839054 edges, 90262 markings/sec, 110 secs
lola: 11531125 markings, 34151309 edges, 88136 markings/sec, 115 secs
lola: 12009524 markings, 35576877 edges, 95680 markings/sec, 120 secs
lola: 12478466 markings, 36970924 edges, 93788 markings/sec, 125 secs
lola: 12936438 markings, 38328821 edges, 91594 markings/sec, 130 secs
lola: 13392810 markings, 39707515 edges, 91274 markings/sec, 135 secs
lola: 13863873 markings, 41098276 edges, 94213 markings/sec, 140 secs
lola: 14347722 markings, 42501532 edges, 96770 markings/sec, 145 secs
lola: 14790208 markings, 43846374 edges, 88497 markings/sec, 150 secs
lola: 15255769 markings, 45193945 edges, 93112 markings/sec, 155 secs
lola: 15721265 markings, 46568721 edges, 93099 markings/sec, 160 secs
lola: 16151342 markings, 47922649 edges, 86015 markings/sec, 165 secs
lola: 16603446 markings, 49260552 edges, 90421 markings/sec, 170 secs
lola: 17057252 markings, 50591629 edges, 90761 markings/sec, 175 secs
lola: 17544969 markings, 52045005 edges, 97543 markings/sec, 180 secs
lola: 17986092 markings, 53393285 edges, 88225 markings/sec, 185 secs
lola: 18432134 markings, 54703041 edges, 89208 markings/sec, 190 secs
lola: 18866912 markings, 55980583 edges, 86956 markings/sec, 195 secs
lola: 19298726 markings, 57242442 edges, 86363 markings/sec, 200 secs
lola: 19737601 markings, 58558111 edges, 87775 markings/sec, 205 secs
lola: 20193867 markings, 59943835 edges, 91253 markings/sec, 210 secs
lola: 20646649 markings, 61286279 edges, 90556 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: 449051 markings, 1490058 edges, 89810 markings/sec, 0 secs
lola: 853181 markings, 2918546 edges, 80826 markings/sec, 5 secs
lola: 1235988 markings, 4327013 edges, 76561 markings/sec, 10 secs
lola: 1613018 markings, 5711839 edges, 75406 markings/sec, 15 secs
lola: 1978708 markings, 7077072 edges, 73138 markings/sec, 20 secs
lola: 2335250 markings, 8432460 edges, 71308 markings/sec, 25 secs
lola: 2690814 markings, 9801877 edges, 71113 markings/sec, 30 secs
lola: 3039552 markings, 11134088 edges, 69748 markings/sec, 35 secs
lola: 3382010 markings, 12440718 edges, 68492 markings/sec, 40 secs
lola: 3723815 markings, 13776866 edges, 68361 markings/sec, 45 secs
lola: 4049797 markings, 15109734 edges, 65196 markings/sec, 50 secs
lola: 4380701 markings, 16411047 edges, 66181 markings/sec, 55 secs
lola: 4702597 markings, 17707698 edges, 64379 markings/sec, 60 secs
lola: 5025056 markings, 18970433 edges, 64492 markings/sec, 65 secs
lola: 5354301 markings, 20260754 edges, 65849 markings/sec, 70 secs
lola: 5679377 markings, 21587421 edges, 65015 markings/sec, 75 secs
lola: 6000732 markings, 22885198 edges, 64271 markings/sec, 80 secs
lola: 6319490 markings, 24145347 edges, 63752 markings/sec, 85 secs
lola: 6628274 markings, 25408903 edges, 61757 markings/sec, 90 secs
lola: 6944480 markings, 26708011 edges, 63241 markings/sec, 95 secs
lola: 7255244 markings, 27987853 edges, 62153 markings/sec, 100 secs
lola: 7566110 markings, 29251686 edges, 62173 markings/sec, 105 secs
lola: 7870935 markings, 30500306 edges, 60965 markings/sec, 110 secs
lola: 8178596 markings, 31773792 edges, 61532 markings/sec, 115 secs
lola: 8480725 markings, 33031890 edges, 60426 markings/sec, 120 secs
lola: 8788927 markings, 34289813 edges, 61640 markings/sec, 125 secs
lola: 9088541 markings, 35545421 edges, 59923 markings/sec, 130 secs
lola: 9393146 markings, 36823186 edges, 60921 markings/sec, 135 secs
lola: 9689495 markings, 38066056 edges, 59270 markings/sec, 140 secs
lola: 9983090 markings, 39304964 edges, 58719 markings/sec, 145 secs
lola: 10282890 markings, 40563980 edges, 59960 markings/sec, 150 secs
lola: 10583240 markings, 41812754 edges, 60070 markings/sec, 155 secs
lola: 10875395 markings, 43075712 edges, 58431 markings/sec, 160 secs
lola: 11166715 markings, 44329650 edges, 58264 markings/sec, 165 secs
lola: 11452845 markings, 45566794 edges, 57226 markings/sec, 170 secs
lola: 11749160 markings, 46799333 edges, 59263 markings/sec, 175 secs
lola: 12042495 markings, 48027052 edges, 58667 markings/sec, 180 secs
lola: 12329149 markings, 49237211 edges, 57331 markings/sec, 185 secs
lola: 12610246 markings, 50449438 edges, 56219 markings/sec, 190 secs
lola: 12895574 markings, 51667148 edges, 57066 markings/sec, 195 secs
lola: 13186154 markings, 52893434 edges, 58116 markings/sec, 200 secs
lola: 13476040 markings, 54129604 edges, 57977 markings/sec, 205 secs
lola: 13752763 markings, 55322917 edges, 55345 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 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 1496462489577

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_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/S_Diffusion2D-PT-D05N010.tgz
mv S_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 S_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 r098-ebro-149488455800353"
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 ;