fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r098-ebro-149488455800362
Last Updated
June 27, 2017

About the Execution of LoLA for S_Diffusion2D-PT-D05N050

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
8780.740 3540378.00 3557242.00 707.60 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? 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 S_Diffusion2D-PT-D05N050, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455800362
=====================================================================


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


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


checking for too many tokens
===========================================================================================
S_Diffusion2D-PT-D05N050: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 598345 markings, 1641545 edges, 119669 markings/sec, 0 secs
lola: 1179260 markings, 3281830 edges, 116183 markings/sec, 5 secs
lola: 1770884 markings, 4997472 edges, 118325 markings/sec, 10 secs
lola: 2321007 markings, 6591254 edges, 110025 markings/sec, 15 secs
lola: 2849943 markings, 8158189 edges, 105787 markings/sec, 20 secs
lola: 3376947 markings, 9740951 edges, 105401 markings/sec, 25 secs
lola: 3903545 markings, 11262205 edges, 105320 markings/sec, 30 secs
lola: 4432605 markings, 12804326 edges, 105812 markings/sec, 35 secs
lola: 4981478 markings, 14293476 edges, 109775 markings/sec, 40 secs
lola: 5529331 markings, 15802972 edges, 109571 markings/sec, 45 secs
lola: 6053681 markings, 17306453 edges, 104870 markings/sec, 50 secs
lola: 6582978 markings, 18813366 edges, 105859 markings/sec, 55 secs
lola: 7090735 markings, 20310177 edges, 101551 markings/sec, 60 secs
lola: 7605125 markings, 21810805 edges, 102878 markings/sec, 65 secs
lola: 8112192 markings, 23305757 edges, 101413 markings/sec, 70 secs
lola: 8627983 markings, 24818468 edges, 103158 markings/sec, 75 secs
lola: 9139251 markings, 26366942 edges, 102254 markings/sec, 80 secs
lola: 9683373 markings, 27929537 edges, 108824 markings/sec, 85 secs
lola: 10203453 markings, 29497913 edges, 104016 markings/sec, 90 secs
lola: 10719500 markings, 31000433 edges, 103209 markings/sec, 95 secs
lola: 11224499 markings, 32488856 edges, 101000 markings/sec, 100 secs
lola: 11720808 markings, 33936741 edges, 99262 markings/sec, 105 secs
lola: 12233254 markings, 35469437 edges, 102489 markings/sec, 110 secs
lola: 12747918 markings, 36983534 edges, 102933 markings/sec, 115 secs
lola: 13244988 markings, 38428720 edges, 99414 markings/sec, 120 secs
lola: 13771461 markings, 39978234 edges, 105295 markings/sec, 125 secs
lola: 14247990 markings, 41367451 edges, 95306 markings/sec, 130 secs
lola: 14756310 markings, 42881514 edges, 101664 markings/sec, 135 secs
lola: 15283905 markings, 44435264 edges, 105519 markings/sec, 140 secs
lola: 15762351 markings, 45920932 edges, 95689 markings/sec, 145 secs
lola: 16260400 markings, 47349219 edges, 99610 markings/sec, 150 secs
lola: 16754402 markings, 48829048 edges, 98800 markings/sec, 155 secs
lola: 17234705 markings, 50243491 edges, 96061 markings/sec, 160 secs
lola: 17717503 markings, 51657403 edges, 96560 markings/sec, 165 secs
lola: 18213846 markings, 53098493 edges, 99269 markings/sec, 170 secs
lola: 18723048 markings, 54602518 edges, 101840 markings/sec, 175 secs
lola: 19265313 markings, 56160169 edges, 108453 markings/sec, 180 secs
lola: 19873204 markings, 57921409 edges, 121578 markings/sec, 185 secs
lola: 20453144 markings, 59588334 edges, 115988 markings/sec, 190 secs
lola: 20950255 markings, 61066408 edges, 99422 markings/sec, 195 secs
lola: 21460963 markings, 62560572 edges, 102142 markings/sec, 200 secs
lola: 21989997 markings, 64090564 edges, 105807 markings/sec, 205 secs
lola: 22615809 markings, 65896041 edges, 125162 markings/sec, 210 secs
lola: 23211637 markings, 67609099 edges, 119166 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: 489766 markings, 1862346 edges, 97953 markings/sec, 0 secs
lola: 960184 markings, 3700995 edges, 94084 markings/sec, 5 secs
lola: 1390593 markings, 5386403 edges, 86082 markings/sec, 10 secs
lola: 1818118 markings, 7094481 edges, 85505 markings/sec, 15 secs
lola: 2237132 markings, 8857741 edges, 83803 markings/sec, 20 secs
lola: 2641511 markings, 10498025 edges, 80876 markings/sec, 25 secs
lola: 3042306 markings, 12084778 edges, 80159 markings/sec, 30 secs
lola: 3442188 markings, 13685673 edges, 79976 markings/sec, 35 secs
lola: 3824515 markings, 15260308 edges, 76465 markings/sec, 40 secs
lola: 4216604 markings, 16849535 edges, 78418 markings/sec, 45 secs
lola: 4618962 markings, 18442904 edges, 80472 markings/sec, 50 secs
lola: 5026229 markings, 20106503 edges, 81453 markings/sec, 55 secs
lola: 5438658 markings, 21767168 edges, 82486 markings/sec, 60 secs
lola: 5844551 markings, 23425232 edges, 81179 markings/sec, 65 secs
lola: 6255099 markings, 25094960 edges, 82110 markings/sec, 70 secs
lola: 6659831 markings, 26749770 edges, 80946 markings/sec, 75 secs
lola: 7064955 markings, 28416400 edges, 81025 markings/sec, 80 secs
lola: 7470498 markings, 30081472 edges, 81109 markings/sec, 85 secs
lola: 7877492 markings, 31763643 edges, 81399 markings/sec, 90 secs
lola: 8279403 markings, 33417662 edges, 80382 markings/sec, 95 secs
lola: 8662946 markings, 35005957 edges, 76709 markings/sec, 100 secs
lola: 9046912 markings, 36569218 edges, 76793 markings/sec, 105 secs
lola: 9431431 markings, 38107210 edges, 76904 markings/sec, 110 secs
lola: 9816611 markings, 39647133 edges, 77036 markings/sec, 115 secs
lola: 10201295 markings, 41188702 edges, 76937 markings/sec, 120 secs
lola: 10587540 markings, 42725626 edges, 77249 markings/sec, 125 secs
lola: 10975437 markings, 44234290 edges, 77579 markings/sec, 130 secs
lola: 11362912 markings, 45768717 edges, 77495 markings/sec, 135 secs
lola: 11753034 markings, 47329931 edges, 78024 markings/sec, 140 secs
lola: 12126928 markings, 48889299 edges, 74779 markings/sec, 145 secs
lola: 12502421 markings, 50407007 edges, 75099 markings/sec, 150 secs
lola: 12894133 markings, 52011573 edges, 78342 markings/sec, 155 secs
lola: 13263871 markings, 53516553 edges, 73948 markings/sec, 160 secs
lola: 13628315 markings, 55065136 edges, 72889 markings/sec, 165 secs
lola: 14036779 markings, 56730615 edges, 81693 markings/sec, 170 secs
lola: 14411530 markings, 58276726 edges, 74950 markings/sec, 175 secs
lola: 14793691 markings, 59786970 edges, 76432 markings/sec, 180 secs
lola: 15223306 markings, 61485804 edges, 85923 markings/sec, 185 secs
lola: 15588885 markings, 62971238 edges, 73116 markings/sec, 190 secs
lola: 15952054 markings, 64515728 edges, 72634 markings/sec, 195 secs
lola: 16325763 markings, 66074794 edges, 74742 markings/sec, 200 secs
lola: 16683271 markings, 67651289 edges, 71502 markings/sec, 205 secs
lola: 17032760 markings, 69219967 edges, 69898 markings/sec, 210 secs
lola: 17460168 markings, 70932447 edges, 85482 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: 460670 markings, 1689919 edges, 92134 markings/sec, 0 secs
lola: 904295 markings, 3303109 edges, 88725 markings/sec, 5 secs
lola: 1352515 markings, 5018862 edges, 89644 markings/sec, 10 secs
lola: 1800037 markings, 6779294 edges, 89504 markings/sec, 15 secs
lola: 2242764 markings, 8539591 edges, 88545 markings/sec, 20 secs
lola: 2663234 markings, 10284654 edges, 84094 markings/sec, 25 secs
lola: 3102716 markings, 11990517 edges, 87896 markings/sec, 30 secs
lola: 3516833 markings, 13634032 edges, 82823 markings/sec, 35 secs
lola: 3923626 markings, 15347816 edges, 81359 markings/sec, 40 secs
lola: 4337538 markings, 17078566 edges, 82782 markings/sec, 45 secs
lola: 4754260 markings, 18789628 edges, 83344 markings/sec, 50 secs
lola: 5170025 markings, 20327246 edges, 83153 markings/sec, 55 secs
lola: 5579219 markings, 21865670 edges, 81839 markings/sec, 60 secs
lola: 5976407 markings, 23410871 edges, 79438 markings/sec, 65 secs
lola: 6362964 markings, 24974445 edges, 77311 markings/sec, 70 secs
lola: 6763758 markings, 26558687 edges, 80159 markings/sec, 75 secs
lola: 7166146 markings, 28134848 edges, 80478 markings/sec, 80 secs
lola: 7555035 markings, 29755728 edges, 77778 markings/sec, 85 secs
lola: 7974247 markings, 31406478 edges, 83842 markings/sec, 90 secs
lola: 8427938 markings, 33111842 edges, 90738 markings/sec, 95 secs
lola: 8864270 markings, 34788029 edges, 87266 markings/sec, 100 secs
lola: 9290976 markings, 36479765 edges, 85341 markings/sec, 105 secs
lola: 9711799 markings, 38176446 edges, 84165 markings/sec, 110 secs
lola: 10121982 markings, 39867157 edges, 82037 markings/sec, 115 secs
lola: 10535392 markings, 41504526 edges, 82682 markings/sec, 120 secs
lola: 10925643 markings, 43101603 edges, 78050 markings/sec, 125 secs
lola: 11345547 markings, 44763020 edges, 83981 markings/sec, 130 secs
lola: 11827847 markings, 46571585 edges, 96460 markings/sec, 135 secs
lola: 12277740 markings, 48326921 edges, 89979 markings/sec, 140 secs
lola: 12720308 markings, 50074516 edges, 88514 markings/sec, 145 secs
lola: 13153080 markings, 51824668 edges, 86554 markings/sec, 150 secs
lola: 13586155 markings, 53564192 edges, 86615 markings/sec, 155 secs
lola: 14004706 markings, 55305645 edges, 83710 markings/sec, 160 secs
lola: 14428747 markings, 57046401 edges, 84808 markings/sec, 165 secs
lola: 14851084 markings, 58797935 edges, 84467 markings/sec, 170 secs
lola: 15257414 markings, 60525147 edges, 81266 markings/sec, 175 secs
lola: 15664185 markings, 62210801 edges, 81354 markings/sec, 180 secs
lola: 16109765 markings, 63921412 edges, 89116 markings/sec, 185 secs
lola: 16569604 markings, 65647992 edges, 91968 markings/sec, 190 secs
lola: 17006077 markings, 67367495 edges, 87295 markings/sec, 195 secs
lola: 17452422 markings, 69064402 edges, 89269 markings/sec, 200 secs
lola: 17883246 markings, 70685593 edges, 86165 markings/sec, 205 secs
lola: 18297982 markings, 72279826 edges, 82947 markings/sec, 210 secs
lola: 18709245 markings, 73914766 edges, 82253 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: 468044 markings, 1444975 edges, 93609 markings/sec, 0 secs
lola: 908713 markings, 2833091 edges, 88134 markings/sec, 5 secs
lola: 1324559 markings, 4143119 edges, 83169 markings/sec, 10 secs
lola: 1724240 markings, 5476400 edges, 79936 markings/sec, 15 secs
lola: 2123348 markings, 6777381 edges, 79822 markings/sec, 20 secs
lola: 2514879 markings, 8103141 edges, 78306 markings/sec, 25 secs
lola: 2893033 markings, 9402096 edges, 75631 markings/sec, 30 secs
lola: 3272325 markings, 10688688 edges, 75858 markings/sec, 35 secs
lola: 3655908 markings, 11944969 edges, 76717 markings/sec, 40 secs
lola: 4043830 markings, 13194773 edges, 77584 markings/sec, 45 secs
lola: 4407955 markings, 14430102 edges, 72825 markings/sec, 50 secs
lola: 4764110 markings, 15601886 edges, 71231 markings/sec, 55 secs
lola: 5144757 markings, 16911984 edges, 76129 markings/sec, 60 secs
lola: 5495811 markings, 18133031 edges, 70211 markings/sec, 65 secs
lola: 5843485 markings, 19415321 edges, 69535 markings/sec, 70 secs
lola: 6193979 markings, 20647647 edges, 70099 markings/sec, 75 secs
lola: 6549953 markings, 21922706 edges, 71195 markings/sec, 80 secs
lola: 6918540 markings, 23103172 edges, 73717 markings/sec, 85 secs
lola: 7259004 markings, 24321811 edges, 68093 markings/sec, 90 secs
lola: 7586306 markings, 25517884 edges, 65460 markings/sec, 95 secs
lola: 7936986 markings, 26683564 edges, 70136 markings/sec, 100 secs
lola: 8262736 markings, 27869812 edges, 65150 markings/sec, 105 secs
lola: 8578692 markings, 29047437 edges, 63191 markings/sec, 110 secs
lola: 8910219 markings, 30245472 edges, 66305 markings/sec, 115 secs
lola: 9236828 markings, 31480745 edges, 65322 markings/sec, 120 secs
lola: 9593870 markings, 32708753 edges, 71408 markings/sec, 125 secs
lola: 9911794 markings, 33862679 edges, 63585 markings/sec, 130 secs
lola: 10225749 markings, 35089688 edges, 62791 markings/sec, 135 secs
lola: 10561368 markings, 36243412 edges, 67124 markings/sec, 140 secs
lola: 10895398 markings, 37371960 edges, 66806 markings/sec, 145 secs
lola: 11211825 markings, 38570469 edges, 63285 markings/sec, 150 secs
lola: 11525535 markings, 39764311 edges, 62742 markings/sec, 155 secs
lola: 11860854 markings, 40943786 edges, 67064 markings/sec, 160 secs
lola: 12202347 markings, 42103674 edges, 68299 markings/sec, 165 secs
lola: 12502180 markings, 43182222 edges, 59967 markings/sec, 170 secs
lola: 12839813 markings, 44397401 edges, 67527 markings/sec, 175 secs
lola: 13161325 markings, 45597368 edges, 64302 markings/sec, 180 secs
lola: 13479690 markings, 46773994 edges, 63673 markings/sec, 185 secs
lola: 13800066 markings, 47939735 edges, 64075 markings/sec, 190 secs
lola: 14110379 markings, 49054720 edges, 62063 markings/sec, 195 secs
lola: 14427456 markings, 50246915 edges, 63415 markings/sec, 200 secs
lola: 14740393 markings, 51342251 edges, 62587 markings/sec, 205 secs
lola: 15047014 markings, 52502530 edges, 61324 markings/sec, 210 secs
lola: 15362372 markings, 53702091 edges, 63072 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: 652466 markings, 1336867 edges, 130493 markings/sec, 0 secs
lola: 1305774 markings, 2697072 edges, 130662 markings/sec, 5 secs
lola: 1948647 markings, 4047702 edges, 128575 markings/sec, 10 secs
lola: 2596583 markings, 5397267 edges, 129587 markings/sec, 15 secs
lola: 3259126 markings, 6770751 edges, 132509 markings/sec, 20 secs
lola: 3916351 markings, 8139420 edges, 131445 markings/sec, 25 secs
lola: 4563975 markings, 9491363 edges, 129525 markings/sec, 30 secs
lola: 5211504 markings, 10863874 edges, 129506 markings/sec, 35 secs
lola: 5847863 markings, 12209436 edges, 127272 markings/sec, 40 secs
lola: 6487032 markings, 13552235 edges, 127834 markings/sec, 45 secs
lola: 7124966 markings, 14854621 edges, 127587 markings/sec, 50 secs
lola: 7760039 markings, 16178987 edges, 127015 markings/sec, 55 secs
lola: 8396897 markings, 17540543 edges, 127372 markings/sec, 60 secs
lola: 9034660 markings, 18875416 edges, 127553 markings/sec, 65 secs
lola: 9671649 markings, 20210022 edges, 127398 markings/sec, 70 secs
lola: 10285157 markings, 21485818 edges, 122702 markings/sec, 75 secs
lola: 10909729 markings, 22804399 edges, 124914 markings/sec, 80 secs
lola: 11528680 markings, 24107952 edges, 123790 markings/sec, 85 secs
lola: 12147206 markings, 25399540 edges, 123705 markings/sec, 90 secs
lola: 12770157 markings, 26701143 edges, 124590 markings/sec, 95 secs
lola: 13394838 markings, 28013142 edges, 124936 markings/sec, 100 secs
lola: 14023292 markings, 29351795 edges, 125691 markings/sec, 105 secs
lola: 14645894 markings, 30701364 edges, 124520 markings/sec, 110 secs
lola: 15270361 markings, 32018953 edges, 124893 markings/sec, 115 secs
lola: 15883692 markings, 33344459 edges, 122666 markings/sec, 120 secs
lola: 16501943 markings, 34673190 edges, 123650 markings/sec, 125 secs
lola: 17139720 markings, 36004902 edges, 127555 markings/sec, 130 secs
lola: 17767329 markings, 37302404 edges, 125522 markings/sec, 135 secs
lola: 18395328 markings, 38613101 edges, 125600 markings/sec, 140 secs
lola: 19000779 markings, 39869247 edges, 121090 markings/sec, 145 secs
lola: 19616550 markings, 41161273 edges, 123154 markings/sec, 150 secs
lola: 20234270 markings, 42463613 edges, 123544 markings/sec, 155 secs
lola: 20846588 markings, 43759537 edges, 122464 markings/sec, 160 secs
lola: 21465836 markings, 45064108 edges, 123850 markings/sec, 165 secs
lola: 22093620 markings, 46356753 edges, 125557 markings/sec, 170 secs
lola: 22708183 markings, 47642213 edges, 122913 markings/sec, 175 secs
lola: 23338802 markings, 48971992 edges, 126124 markings/sec, 180 secs
lola: 23971417 markings, 50303592 edges, 126523 markings/sec, 185 secs
lola: 24602239 markings, 51624093 edges, 126164 markings/sec, 190 secs
lola: 25229661 markings, 52940051 edges, 125484 markings/sec, 195 secs
lola: 25850994 markings, 54255121 edges, 124267 markings/sec, 200 secs
lola: 26476821 markings, 55594783 edges, 125165 markings/sec, 205 secs
lola: 27096393 markings, 56916664 edges, 123914 markings/sec, 210 secs
lola: 27717664 markings, 58237802 edges, 124254 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: 518076 markings, 1851363 edges, 103615 markings/sec, 0 secs
lola: 1006981 markings, 3608341 edges, 97781 markings/sec, 5 secs
lola: 1485876 markings, 5381460 edges, 95779 markings/sec, 10 secs
lola: 1940731 markings, 7051620 edges, 90971 markings/sec, 15 secs
lola: 2395570 markings, 8719863 edges, 90968 markings/sec, 20 secs
lola: 2844080 markings, 10408694 edges, 89702 markings/sec, 25 secs
lola: 3314414 markings, 12103116 edges, 94067 markings/sec, 30 secs
lola: 3777472 markings, 13751163 edges, 92612 markings/sec, 35 secs
lola: 4233580 markings, 15385449 edges, 91222 markings/sec, 40 secs
lola: 4687317 markings, 17036643 edges, 90747 markings/sec, 45 secs
lola: 5123814 markings, 18694690 edges, 87299 markings/sec, 50 secs
lola: 5587279 markings, 20380708 edges, 92693 markings/sec, 55 secs
lola: 6054575 markings, 22056543 edges, 93459 markings/sec, 60 secs
lola: 6528832 markings, 23763238 edges, 94851 markings/sec, 65 secs
lola: 7008317 markings, 25534285 edges, 95897 markings/sec, 70 secs
lola: 7453347 markings, 27173868 edges, 89006 markings/sec, 75 secs
lola: 7895962 markings, 28824349 edges, 88523 markings/sec, 80 secs
lola: 8347167 markings, 30503754 edges, 90241 markings/sec, 85 secs
lola: 8778258 markings, 32053323 edges, 86218 markings/sec, 90 secs
lola: 9168532 markings, 33440437 edges, 78055 markings/sec, 95 secs
lola: 9543039 markings, 34795798 edges, 74901 markings/sec, 100 secs
lola: 9906362 markings, 36140080 edges, 72665 markings/sec, 105 secs
lola: 10270478 markings, 37472613 edges, 72823 markings/sec, 110 secs
lola: 10651157 markings, 38844801 edges, 76136 markings/sec, 115 secs
lola: 11087403 markings, 40408641 edges, 87249 markings/sec, 120 secs
lola: 11504858 markings, 41903047 edges, 83491 markings/sec, 125 secs
lola: 11918620 markings, 43395213 edges, 82752 markings/sec, 130 secs
lola: 12355115 markings, 44961501 edges, 87299 markings/sec, 135 secs
lola: 12796707 markings, 46599764 edges, 88318 markings/sec, 140 secs
lola: 13203623 markings, 48103284 edges, 81383 markings/sec, 145 secs
lola: 13607294 markings, 49629218 edges, 80734 markings/sec, 150 secs
lola: 14042505 markings, 51203702 edges, 87042 markings/sec, 155 secs
lola: 14464526 markings, 52725080 edges, 84404 markings/sec, 160 secs
lola: 14879135 markings, 54274428 edges, 82922 markings/sec, 165 secs
lola: 15329447 markings, 55894953 edges, 90062 markings/sec, 170 secs
lola: 15798269 markings, 57619897 edges, 93764 markings/sec, 175 secs
lola: 16269614 markings, 59354327 edges, 94269 markings/sec, 180 secs
lola: 16726918 markings, 61057937 edges, 91461 markings/sec, 185 secs
lola: 17176485 markings, 62744053 edges, 89913 markings/sec, 190 secs
lola: 17608572 markings, 64332383 edges, 86417 markings/sec, 195 secs
lola: 18048562 markings, 65945940 edges, 87998 markings/sec, 200 secs
lola: 18476730 markings, 67489081 edges, 85634 markings/sec, 205 secs
lola: 18899220 markings, 69052217 edges, 84498 markings/sec, 210 secs
lola: 19333072 markings, 70627041 edges, 86770 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: 485346 markings, 1778457 edges, 97069 markings/sec, 0 secs
lola: 925238 markings, 3355040 edges, 87978 markings/sec, 5 secs
lola: 1349383 markings, 4875562 edges, 84829 markings/sec, 10 secs
lola: 1803277 markings, 6528866 edges, 90779 markings/sec, 15 secs
lola: 2238147 markings, 8138807 edges, 86974 markings/sec, 20 secs
lola: 2658246 markings, 9659054 edges, 84020 markings/sec, 25 secs
lola: 3111373 markings, 11295096 edges, 90625 markings/sec, 30 secs
lola: 3523755 markings, 12798536 edges, 82476 markings/sec, 35 secs
lola: 3936083 markings, 14288383 edges, 82466 markings/sec, 40 secs
lola: 4358976 markings, 15868625 edges, 84579 markings/sec, 45 secs
lola: 4781016 markings, 17408499 edges, 84408 markings/sec, 50 secs
lola: 5212641 markings, 18987374 edges, 86325 markings/sec, 55 secs
lola: 5652764 markings, 20578492 edges, 88025 markings/sec, 60 secs
lola: 6049898 markings, 22007435 edges, 79427 markings/sec, 65 secs
lola: 6442501 markings, 23413085 edges, 78521 markings/sec, 70 secs
lola: 6819962 markings, 24763435 edges, 75492 markings/sec, 75 secs
lola: 7195070 markings, 26137433 edges, 75022 markings/sec, 80 secs
lola: 7619956 markings, 27688942 edges, 84977 markings/sec, 85 secs
lola: 8036994 markings, 29235532 edges, 83408 markings/sec, 90 secs
lola: 8433106 markings, 30726982 edges, 79222 markings/sec, 95 secs
lola: 8840795 markings, 32275792 edges, 81538 markings/sec, 100 secs
lola: 9242806 markings, 33713705 edges, 80402 markings/sec, 105 secs
lola: 9644674 markings, 35187224 edges, 80374 markings/sec, 110 secs
lola: 10040464 markings, 36623090 edges, 79158 markings/sec, 115 secs
lola: 10410441 markings, 37978500 edges, 73995 markings/sec, 120 secs
lola: 10794798 markings, 39362639 edges, 76871 markings/sec, 125 secs
lola: 11228402 markings, 40951443 edges, 86721 markings/sec, 130 secs
lola: 11628623 markings, 42389970 edges, 80044 markings/sec, 135 secs
lola: 12004399 markings, 43732074 edges, 75155 markings/sec, 140 secs
lola: 12381746 markings, 45092633 edges, 75469 markings/sec, 145 secs
lola: 12765981 markings, 46486063 edges, 76847 markings/sec, 150 secs
lola: 13149016 markings, 47871655 edges, 76607 markings/sec, 155 secs
lola: 13527426 markings, 49277516 edges, 75682 markings/sec, 160 secs
lola: 13898426 markings, 50615698 edges, 74200 markings/sec, 165 secs
lola: 14282498 markings, 52004396 edges, 76814 markings/sec, 170 secs
lola: 14676062 markings, 53470840 edges, 78713 markings/sec, 175 secs
lola: 15042736 markings, 54803515 edges, 73335 markings/sec, 180 secs
lola: 15406988 markings, 56118004 edges, 72850 markings/sec, 185 secs
lola: 15799629 markings, 57561512 edges, 78528 markings/sec, 190 secs
lola: 16185426 markings, 58952177 edges, 77159 markings/sec, 195 secs
lola: 16566275 markings, 60370850 edges, 76170 markings/sec, 200 secs
lola: 16962534 markings, 61836738 edges, 79252 markings/sec, 205 secs
lola: 17346938 markings, 63262438 edges, 76881 markings/sec, 210 secs
lola: 17762857 markings, 64822499 edges, 83184 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: 631903 markings, 1562267 edges, 126381 markings/sec, 0 secs
lola: 1232609 markings, 3055619 edges, 120141 markings/sec, 5 secs
lola: 1829287 markings, 4530690 edges, 119336 markings/sec, 10 secs
lola: 2409169 markings, 5967446 edges, 115976 markings/sec, 15 secs
lola: 2967966 markings, 7350919 edges, 111759 markings/sec, 20 secs
lola: 3569342 markings, 8836531 edges, 120275 markings/sec, 25 secs
lola: 4178833 markings, 10349342 edges, 121898 markings/sec, 30 secs
lola: 4779443 markings, 11835496 edges, 120122 markings/sec, 35 secs
lola: 5368839 markings, 13298880 edges, 117879 markings/sec, 40 secs
lola: 5943417 markings, 14724476 edges, 114916 markings/sec, 45 secs
lola: 6529436 markings, 16174901 edges, 117204 markings/sec, 50 secs
lola: 7136395 markings, 17678797 edges, 121392 markings/sec, 55 secs
lola: 7735512 markings, 19159735 edges, 119823 markings/sec, 60 secs
lola: 8310728 markings, 20589568 edges, 115043 markings/sec, 65 secs
lola: 8898044 markings, 22047529 edges, 117463 markings/sec, 70 secs
lola: 9468722 markings, 23462504 edges, 114136 markings/sec, 75 secs
lola: 10056099 markings, 24916426 edges, 117475 markings/sec, 80 secs
lola: 10610896 markings, 26300599 edges, 110959 markings/sec, 85 secs
lola: 11179838 markings, 27709114 edges, 113788 markings/sec, 90 secs
lola: 11744106 markings, 29121151 edges, 112854 markings/sec, 95 secs
lola: 12308763 markings, 30518078 edges, 112931 markings/sec, 100 secs
lola: 12873152 markings, 31916649 edges, 112878 markings/sec, 105 secs
lola: 13461355 markings, 33372433 edges, 117641 markings/sec, 110 secs
lola: 14057744 markings, 34849362 edges, 119278 markings/sec, 115 secs
lola: 14632966 markings, 36280262 edges, 115044 markings/sec, 120 secs
lola: 15195377 markings, 37672754 edges, 112482 markings/sec, 125 secs
lola: 15747642 markings, 39038316 edges, 110453 markings/sec, 130 secs
lola: 16287872 markings, 40378455 edges, 108046 markings/sec, 135 secs
lola: 16832361 markings, 41733929 edges, 108898 markings/sec, 140 secs
lola: 17420294 markings, 43191485 edges, 117587 markings/sec, 145 secs
lola: 18006114 markings, 44643773 edges, 117164 markings/sec, 150 secs
lola: 18588118 markings, 46084965 edges, 116401 markings/sec, 155 secs
lola: 19133121 markings, 47442529 edges, 109001 markings/sec, 160 secs
lola: 19681763 markings, 48805235 edges, 109728 markings/sec, 165 secs
lola: 20235979 markings, 50182888 edges, 110843 markings/sec, 170 secs
lola: 20788967 markings, 51552426 edges, 110598 markings/sec, 175 secs
lola: 21330115 markings, 52893095 edges, 108230 markings/sec, 180 secs
lola: 21898008 markings, 54301952 edges, 113579 markings/sec, 185 secs
lola: 22456464 markings, 55697663 edges, 111691 markings/sec, 190 secs
lola: 23008921 markings, 57073320 edges, 110491 markings/sec, 195 secs
lola: 23556842 markings, 58436962 edges, 109584 markings/sec, 200 secs
lola: 24108940 markings, 59810514 edges, 110420 markings/sec, 205 secs
lola: 24677711 markings, 61221109 edges, 113754 markings/sec, 210 secs
lola: 25257029 markings, 62657269 edges, 115864 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: 478286 markings, 1482232 edges, 95657 markings/sec, 0 secs
lola: 921664 markings, 2870615 edges, 88676 markings/sec, 5 secs
lola: 1340575 markings, 4200140 edges, 83782 markings/sec, 10 secs
lola: 1742620 markings, 5549866 edges, 80409 markings/sec, 15 secs
lola: 2147784 markings, 6859475 edges, 81033 markings/sec, 20 secs
lola: 2540883 markings, 8195635 edges, 78620 markings/sec, 25 secs
lola: 2920720 markings, 9499850 edges, 75967 markings/sec, 30 secs
lola: 3299025 markings, 10788601 edges, 75661 markings/sec, 35 secs
lola: 3680967 markings, 12028190 edges, 76388 markings/sec, 40 secs
lola: 4067587 markings, 13282056 edges, 77324 markings/sec, 45 secs
lola: 4431534 markings, 14515023 edges, 72789 markings/sec, 50 secs
lola: 4789060 markings, 15681614 edges, 71505 markings/sec, 55 secs
lola: 5168596 markings, 16992941 edges, 75907 markings/sec, 60 secs
lola: 5520263 markings, 18217394 edges, 70333 markings/sec, 65 secs
lola: 5872534 markings, 19499221 edges, 70454 markings/sec, 70 secs
lola: 6221426 markings, 20750454 edges, 69778 markings/sec, 75 secs
lola: 6581802 markings, 22037177 edges, 72075 markings/sec, 80 secs
lola: 6953629 markings, 23228417 edges, 74365 markings/sec, 85 secs
lola: 7294568 markings, 24438222 edges, 68188 markings/sec, 90 secs
lola: 7624999 markings, 25660414 edges, 66086 markings/sec, 95 secs
lola: 7972933 markings, 26827168 edges, 69587 markings/sec, 100 secs
lola: 8308374 markings, 28021274 edges, 67088 markings/sec, 105 secs
lola: 8639947 markings, 29277903 edges, 66315 markings/sec, 110 secs
lola: 8973575 markings, 30485892 edges, 66726 markings/sec, 115 secs
lola: 9311374 markings, 31717147 edges, 67560 markings/sec, 120 secs
lola: 9662565 markings, 32971499 edges, 70238 markings/sec, 125 secs
lola: 9977684 markings, 34119550 edges, 63024 markings/sec, 130 secs
lola: 10298324 markings, 35319794 edges, 64128 markings/sec, 135 secs
lola: 10636722 markings, 36481232 edges, 67680 markings/sec, 140 secs
lola: 10963963 markings, 37623380 edges, 65448 markings/sec, 145 secs
lola: 11281305 markings, 38828850 edges, 63468 markings/sec, 150 secs
lola: 11598010 markings, 40041094 edges, 63341 markings/sec, 155 secs
lola: 11951074 markings, 41208899 edges, 70613 markings/sec, 160 secs
lola: 12283240 markings, 42425506 edges, 66433 markings/sec, 165 secs
lola: 12613075 markings, 43551610 edges, 65967 markings/sec, 170 secs
lola: 12960352 markings, 44823291 edges, 69455 markings/sec, 175 secs
lola: 13271870 markings, 46012826 edges, 62304 markings/sec, 180 secs
lola: 13589611 markings, 47222077 edges, 63548 markings/sec, 185 secs
lola: 13916586 markings, 48311133 edges, 65395 markings/sec, 190 secs
lola: 14234923 markings, 49531422 edges, 63667 markings/sec, 195 secs
lola: 14558510 markings, 50673975 edges, 64717 markings/sec, 200 secs
lola: 14863903 markings, 51837700 edges, 61079 markings/sec, 205 secs
lola: 15176003 markings, 52988751 edges, 62420 markings/sec, 210 secs
lola: 15502523 markings, 54205821 edges, 65304 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: 536458 markings, 1395581 edges, 107292 markings/sec, 0 secs
lola: 1052435 markings, 2782840 edges, 103195 markings/sec, 5 secs
lola: 1574856 markings, 4148582 edges, 104484 markings/sec, 10 secs
lola: 2057293 markings, 5472159 edges, 96487 markings/sec, 15 secs
lola: 2540334 markings, 6815838 edges, 96608 markings/sec, 20 secs
lola: 3019747 markings, 8125924 edges, 95883 markings/sec, 25 secs
lola: 3488559 markings, 9425008 edges, 93762 markings/sec, 30 secs
lola: 3963133 markings, 10694587 edges, 94915 markings/sec, 35 secs
lola: 4436189 markings, 11983572 edges, 94611 markings/sec, 40 secs
lola: 4893742 markings, 13262951 edges, 91511 markings/sec, 45 secs
lola: 5344820 markings, 14448066 edges, 90216 markings/sec, 50 secs
lola: 5787409 markings, 15734785 edges, 88518 markings/sec, 55 secs
lola: 6230128 markings, 16978345 edges, 88544 markings/sec, 60 secs
lola: 6684013 markings, 18288284 edges, 90777 markings/sec, 65 secs
lola: 7121875 markings, 19576459 edges, 87572 markings/sec, 70 secs
lola: 7565269 markings, 20905032 edges, 88679 markings/sec, 75 secs
lola: 8003240 markings, 22190910 edges, 87594 markings/sec, 80 secs
lola: 8439444 markings, 23504396 edges, 87241 markings/sec, 85 secs
lola: 8884243 markings, 24771284 edges, 88960 markings/sec, 90 secs
lola: 9320983 markings, 26069655 edges, 87348 markings/sec, 95 secs
lola: 9746247 markings, 27357286 edges, 85053 markings/sec, 100 secs
lola: 10184292 markings, 28655312 edges, 87609 markings/sec, 105 secs
lola: 10641136 markings, 29950408 edges, 91369 markings/sec, 110 secs
lola: 11076240 markings, 31298521 edges, 87021 markings/sec, 115 secs
lola: 11492061 markings, 32484878 edges, 83164 markings/sec, 120 secs
lola: 11918681 markings, 33656599 edges, 85324 markings/sec, 125 secs
lola: 12327423 markings, 34926912 edges, 81748 markings/sec, 130 secs
lola: 12738608 markings, 36122087 edges, 82237 markings/sec, 135 secs
lola: 13151689 markings, 37394880 edges, 82616 markings/sec, 140 secs
lola: 13571420 markings, 38711762 edges, 83946 markings/sec, 145 secs
lola: 13993737 markings, 39985698 edges, 84463 markings/sec, 150 secs
lola: 14405759 markings, 41301646 edges, 82404 markings/sec, 155 secs
lola: 14815201 markings, 42610948 edges, 81888 markings/sec, 160 secs
lola: 15253866 markings, 43888948 edges, 87733 markings/sec, 165 secs
lola: 15684406 markings, 45143518 edges, 86108 markings/sec, 170 secs
lola: 16111462 markings, 46410616 edges, 85411 markings/sec, 175 secs
lola: 16538988 markings, 47697224 edges, 85505 markings/sec, 180 secs
lola: 16947464 markings, 49009282 edges, 81695 markings/sec, 185 secs
lola: 17365482 markings, 50261237 edges, 83604 markings/sec, 190 secs
lola: 17794738 markings, 51523247 edges, 85851 markings/sec, 195 secs
lola: 18211560 markings, 52753786 edges, 83364 markings/sec, 200 secs
lola: 18618891 markings, 54015330 edges, 81466 markings/sec, 205 secs
lola: 19022337 markings, 55285198 edges, 80689 markings/sec, 210 secs
lola: 19427494 markings, 56570560 edges, 81031 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__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: 593262 markings, 1627529 edges, 118652 markings/sec, 0 secs
lola: 1171027 markings, 3255147 edges, 115553 markings/sec, 5 secs
lola: 1760368 markings, 4967784 edges, 117868 markings/sec, 10 secs
lola: 2309366 markings, 6558000 edges, 109800 markings/sec, 15 secs
lola: 2836408 markings, 8121476 edges, 105408 markings/sec, 20 secs
lola: 3362155 markings, 9694727 edges, 105149 markings/sec, 25 secs
lola: 3888099 markings, 11220406 edges, 105189 markings/sec, 30 secs
lola: 4410743 markings, 12747611 edges, 104529 markings/sec, 35 secs
lola: 4956391 markings, 14223078 edges, 109130 markings/sec, 40 secs
lola: 5498253 markings, 15718517 edges, 108372 markings/sec, 45 secs
lola: 6019823 markings, 17208658 edges, 104314 markings/sec, 50 secs
lola: 6545567 markings, 18704945 edges, 105149 markings/sec, 55 secs
lola: 7055569 markings, 20200446 edges, 102000 markings/sec, 60 secs
lola: 7571862 markings, 21710646 edges, 103259 markings/sec, 65 secs
lola: 8079846 markings, 23205778 edges, 101597 markings/sec, 70 secs
lola: 8599417 markings, 24727759 edges, 103914 markings/sec, 75 secs
lola: 9105866 markings, 26276540 edges, 101290 markings/sec, 80 secs
lola: 9652877 markings, 27846956 edges, 109402 markings/sec, 85 secs
lola: 10176419 markings, 29414180 edges, 104708 markings/sec, 90 secs
lola: 10690122 markings, 30920227 edges, 102741 markings/sec, 95 secs
lola: 11192420 markings, 32390156 edges, 100460 markings/sec, 100 secs
lola: 11682340 markings, 33820422 edges, 97984 markings/sec, 105 secs
lola: 12185127 markings, 35323392 edges, 100557 markings/sec, 110 secs
lola: 12704310 markings, 36848187 edges, 103837 markings/sec, 115 secs
lola: 13201975 markings, 38296066 edges, 99533 markings/sec, 120 secs
lola: 13734050 markings, 39854425 edges, 106415 markings/sec, 125 secs
lola: 14215084 markings, 41267394 edges, 96207 markings/sec, 130 secs
lola: 14724038 markings, 42794006 edges, 101791 markings/sec, 135 secs
lola: 15259056 markings, 44362038 edges, 107004 markings/sec, 140 secs
lola: 15741685 markings, 45863541 edges, 96526 markings/sec, 145 secs
lola: 16238402 markings, 47279871 edges, 99343 markings/sec, 150 secs
lola: 16731324 markings, 48766604 edges, 98584 markings/sec, 155 secs
lola: 17218925 markings, 50199602 edges, 97520 markings/sec, 160 secs
lola: 17708480 markings, 51632387 edges, 97911 markings/sec, 165 secs
lola: 18205929 markings, 53074763 edges, 99490 markings/sec, 170 secs
lola: 18715375 markings, 54579169 edges, 101889 markings/sec, 175 secs
lola: 19259233 markings, 56143430 edges, 108772 markings/sec, 180 secs
lola: 19868199 markings, 57905193 edges, 121793 markings/sec, 185 secs
lola: 20449459 markings, 59578474 edges, 116252 markings/sec, 190 secs
lola: 20946751 markings, 61056908 edges, 99458 markings/sec, 195 secs
lola: 21457642 markings, 62550717 edges, 102178 markings/sec, 200 secs
lola: 21986863 markings, 64082457 edges, 105844 markings/sec, 205 secs
lola: 22612796 markings, 65888324 edges, 125187 markings/sec, 210 secs
lola: 23210902 markings, 67607162 edges, 119621 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 96 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 681455 markings, 1403822 edges, 136291 markings/sec, 0 secs
lola: 1342624 markings, 2774681 edges, 132234 markings/sec, 5 secs
lola: 1987272 markings, 4126091 edges, 128930 markings/sec, 10 secs
lola: 2638715 markings, 5484251 edges, 130289 markings/sec, 15 secs
lola: 3307854 markings, 6873614 edges, 133828 markings/sec, 20 secs
lola: 3962913 markings, 8235764 edges, 131012 markings/sec, 25 secs
lola: 4612449 markings, 9600212 edges, 129907 markings/sec, 30 secs
lola: 5255996 markings, 10958955 edges, 128709 markings/sec, 35 secs
lola: 5888722 markings, 12298005 edges, 126545 markings/sec, 40 secs
lola: 6523082 markings, 13627913 edges, 126872 markings/sec, 45 secs
lola: 7154874 markings, 14916240 edges, 126358 markings/sec, 50 secs
lola: 7786376 markings, 16232531 edges, 126300 markings/sec, 55 secs
lola: 8417117 markings, 17581705 edges, 126148 markings/sec, 60 secs
lola: 9050588 markings, 18909329 edges, 126694 markings/sec, 65 secs
lola: 9684433 markings, 20236162 edges, 126769 markings/sec, 70 secs
lola: 10309184 markings, 21534806 edges, 124950 markings/sec, 75 secs
lola: 10925914 markings, 22838609 edges, 123346 markings/sec, 80 secs
lola: 11541930 markings, 24137029 edges, 123203 markings/sec, 85 secs
lola: 12157723 markings, 25420984 edges, 123159 markings/sec, 90 secs
lola: 12775994 markings, 26713730 edges, 123654 markings/sec, 95 secs
lola: 13398590 markings, 28020790 edges, 124519 markings/sec, 100 secs
lola: 14024693 markings, 29355068 edges, 125221 markings/sec, 105 secs
lola: 14644324 markings, 30698178 edges, 123926 markings/sec, 110 secs
lola: 15265859 markings, 32009798 edges, 124307 markings/sec, 115 secs
lola: 15878749 markings, 33333565 edges, 122578 markings/sec, 120 secs
lola: 16491944 markings, 34652908 edges, 122639 markings/sec, 125 secs
lola: 17140309 markings, 36006411 edges, 129673 markings/sec, 130 secs
lola: 17773113 markings, 37314066 edges, 126561 markings/sec, 135 secs
lola: 18402129 markings, 38627872 edges, 125803 markings/sec, 140 secs
lola: 19010571 markings, 39889107 edges, 121688 markings/sec, 145 secs
lola: 19635937 markings, 41203707 edges, 125073 markings/sec, 150 secs
lola: 20262934 markings, 42526272 edges, 125399 markings/sec, 155 secs
lola: 20882156 markings, 43835755 edges, 123844 markings/sec, 160 secs
lola: 21507659 markings, 45149115 edges, 125101 markings/sec, 165 secs
lola: 22145252 markings, 46463300 edges, 127519 markings/sec, 170 secs
lola: 22769007 markings, 47767593 edges, 124751 markings/sec, 175 secs
lola: 23400168 markings, 49104304 edges, 126232 markings/sec, 180 secs
lola: 24037269 markings, 50447283 edges, 127420 markings/sec, 185 secs
lola: 24668684 markings, 51762408 edges, 126283 markings/sec, 190 secs
lola: 25300646 markings, 53085590 edges, 126392 markings/sec, 195 secs
lola: 25925178 markings, 54415858 edges, 124906 markings/sec, 200 secs
lola: 26554387 markings, 55760966 edges, 125842 markings/sec, 205 secs
lola: 27184132 markings, 57106394 edges, 125949 markings/sec, 210 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: 510156 markings, 1821847 edges, 102031 markings/sec, 0 secs
lola: 991234 markings, 3547654 edges, 96216 markings/sec, 5 secs
lola: 1465152 markings, 5300701 edges, 94784 markings/sec, 10 secs
lola: 1916426 markings, 6958323 edges, 90255 markings/sec, 15 secs
lola: 2364410 markings, 8597409 edges, 89597 markings/sec, 20 secs
lola: 2803624 markings, 10258319 edges, 87843 markings/sec, 25 secs
lola: 3262343 markings, 11921502 edges, 91744 markings/sec, 30 secs
lola: 3722180 markings, 13551208 edges, 91967 markings/sec, 35 secs
lola: 4173454 markings, 15165884 edges, 90255 markings/sec, 40 secs
lola: 4624618 markings, 16797291 edges, 90233 markings/sec, 45 secs
lola: 5049122 markings, 18433032 edges, 84901 markings/sec, 50 secs
lola: 5498696 markings, 20066321 edges, 89915 markings/sec, 55 secs
lola: 5963582 markings, 21715874 edges, 92977 markings/sec, 60 secs
lola: 6422148 markings, 23381162 edges, 91713 markings/sec, 65 secs
lola: 6894759 markings, 25136766 edges, 94522 markings/sec, 70 secs
lola: 7341748 markings, 26759696 edges, 89398 markings/sec, 75 secs
lola: 7782420 markings, 28387949 edges, 88134 markings/sec, 80 secs
lola: 8215295 markings, 30027009 edges, 86575 markings/sec, 85 secs
lola: 8656248 markings, 31619997 edges, 88191 markings/sec, 90 secs
lola: 9102801 markings, 33207396 edges, 89311 markings/sec, 95 secs
lola: 9539733 markings, 34783921 edges, 87386 markings/sec, 100 secs
lola: 9956776 markings, 36329260 edges, 83409 markings/sec, 105 secs
lola: 10381700 markings, 37876431 edges, 84985 markings/sec, 110 secs
lola: 10834130 markings, 39503814 edges, 90486 markings/sec, 115 secs
lola: 11289321 markings, 41131422 edges, 91038 markings/sec, 120 secs
lola: 11741663 markings, 42748463 edges, 90468 markings/sec, 125 secs
lola: 12185052 markings, 44354305 edges, 88678 markings/sec, 130 secs
lola: 12652702 markings, 46084406 edges, 93530 markings/sec, 135 secs
lola: 13098263 markings, 47714237 edges, 89112 markings/sec, 140 secs
lola: 13532278 markings, 49342770 edges, 86803 markings/sec, 145 secs
lola: 13966748 markings, 50931258 edges, 86894 markings/sec, 150 secs
lola: 14395945 markings, 52472427 edges, 85839 markings/sec, 155 secs
lola: 14817329 markings, 54048164 edges, 84277 markings/sec, 160 secs
lola: 15278329 markings, 55703081 edges, 92200 markings/sec, 165 secs
lola: 15744463 markings, 57418825 edges, 93227 markings/sec, 170 secs
lola: 16214861 markings, 59151282 edges, 94080 markings/sec, 175 secs
lola: 16674535 markings, 60865608 edges, 91935 markings/sec, 180 secs
lola: 17125904 markings, 62565090 edges, 90274 markings/sec, 185 secs
lola: 17561422 markings, 64151452 edges, 87104 markings/sec, 190 secs
lola: 18003012 markings, 65773479 edges, 88318 markings/sec, 195 secs
lola: 18447192 markings, 67380043 edges, 88836 markings/sec, 200 secs
lola: 18880819 markings, 68981066 edges, 86725 markings/sec, 205 secs
lola: 19322939 markings, 70593049 edges, 88424 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: 491573 markings, 1801543 edges, 98315 markings/sec, 0 secs
lola: 937466 markings, 3396514 edges, 89179 markings/sec, 5 secs
lola: 1369006 markings, 4949115 edges, 86308 markings/sec, 10 secs
lola: 1828997 markings, 6625296 edges, 91998 markings/sec, 15 secs
lola: 2273868 markings, 8267309 edges, 88974 markings/sec, 20 secs
lola: 2696150 markings, 9795107 edges, 84456 markings/sec, 25 secs
lola: 3152161 markings, 11443919 edges, 91202 markings/sec, 30 secs
lola: 3564898 markings, 12945727 edges, 82547 markings/sec, 35 secs
lola: 3981445 markings, 14451661 edges, 83309 markings/sec, 40 secs
lola: 4415614 markings, 16076842 edges, 86834 markings/sec, 45 secs
lola: 4833101 markings, 17603129 edges, 83497 markings/sec, 50 secs
lola: 5265395 markings, 19180364 edges, 86459 markings/sec, 55 secs
lola: 5706763 markings, 20779946 edges, 88274 markings/sec, 60 secs
lola: 6108079 markings, 22214943 edges, 80263 markings/sec, 65 secs
lola: 6505396 markings, 23640293 edges, 79463 markings/sec, 70 secs
lola: 6887333 markings, 25005395 edges, 76387 markings/sec, 75 secs
lola: 7271953 markings, 26416109 edges, 76924 markings/sec, 80 secs
lola: 7711022 markings, 28025081 edges, 87814 markings/sec, 85 secs
lola: 8134683 markings, 29606737 edges, 84732 markings/sec, 90 secs
lola: 8543298 markings, 31153634 edges, 81723 markings/sec, 95 secs
lola: 8953888 markings, 32678493 edges, 82118 markings/sec, 100 secs
lola: 9355219 markings, 34114363 edges, 80266 markings/sec, 105 secs
lola: 9762803 markings, 35628379 edges, 81517 markings/sec, 110 secs
lola: 10157261 markings, 37048089 edges, 78892 markings/sec, 115 secs
lola: 10536939 markings, 38435437 edges, 75936 markings/sec, 120 secs
lola: 10951405 markings, 39930443 edges, 82893 markings/sec, 125 secs
lola: 11387283 markings, 41518233 edges, 87176 markings/sec, 130 secs
lola: 11783042 markings, 42934049 edges, 79152 markings/sec, 135 secs
lola: 12165737 markings, 44317696 edges, 76539 markings/sec, 140 secs
lola: 12551894 markings, 45703562 edges, 77231 markings/sec, 145 secs
lola: 12950800 markings, 47142903 edges, 79781 markings/sec, 150 secs
lola: 13343331 markings, 48598761 edges, 78506 markings/sec, 155 secs
lola: 13717226 markings, 49963540 edges, 74779 markings/sec, 160 secs
lola: 14110225 markings, 51373752 edges, 78600 markings/sec, 165 secs
lola: 14501795 markings, 52816008 edges, 78314 markings/sec, 170 secs
lola: 14886621 markings, 54238853 edges, 76965 markings/sec, 175 secs
lola: 15262723 markings, 55589433 edges, 75220 markings/sec, 180 secs
lola: 15660616 markings, 57038403 edges, 79579 markings/sec, 185 secs
lola: 16048217 markings, 58461132 edges, 77520 markings/sec, 190 secs
lola: 16438756 markings, 59891710 edges, 78108 markings/sec, 195 secs
lola: 16833212 markings, 61356462 edges, 78891 markings/sec, 200 secs
lola: 17239585 markings, 62859118 edges, 81275 markings/sec, 205 secs
lola: 17642179 markings, 64362260 edges, 80519 markings/sec, 210 secs
lola: 18019771 markings, 65772923 edges, 75518 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_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: 493436 markings, 1875636 edges, 98687 markings/sec, 0 secs
lola: 966492 markings, 3724138 edges, 94611 markings/sec, 5 secs
lola: 1398003 markings, 5418982 edges, 86302 markings/sec, 10 secs
lola: 1833418 markings, 7155218 edges, 87083 markings/sec, 15 secs
lola: 2256585 markings, 8931015 edges, 84633 markings/sec, 20 secs
lola: 2664341 markings, 10600433 edges, 81551 markings/sec, 25 secs
lola: 3077211 markings, 12219526 edges, 82574 markings/sec, 30 secs
lola: 3479024 markings, 13833358 edges, 80363 markings/sec, 35 secs
lola: 3874928 markings, 15444360 edges, 79181 markings/sec, 40 secs
lola: 4269996 markings, 17077440 edges, 79014 markings/sec, 45 secs
lola: 4682741 markings, 18709804 edges, 82549 markings/sec, 50 secs
lola: 5099874 markings, 20403488 edges, 83427 markings/sec, 55 secs
lola: 5517917 markings, 22092216 edges, 83609 markings/sec, 60 secs
lola: 5929634 markings, 23767431 edges, 82343 markings/sec, 65 secs
lola: 6344920 markings, 25461009 edges, 83057 markings/sec, 70 secs
lola: 6755800 markings, 27144767 edges, 82176 markings/sec, 75 secs
lola: 7165025 markings, 28824602 edges, 81845 markings/sec, 80 secs
lola: 7575861 markings, 30521658 edges, 82167 markings/sec, 85 secs
lola: 7985971 markings, 32209989 edges, 82022 markings/sec, 90 secs
lola: 8389994 markings, 33874448 edges, 80805 markings/sec, 95 secs
lola: 8777467 markings, 35474854 edges, 77495 markings/sec, 100 secs
lola: 9165743 markings, 37042583 edges, 77655 markings/sec, 105 secs
lola: 9553630 markings, 38597236 edges, 77577 markings/sec, 110 secs
lola: 9942703 markings, 40153841 edges, 77815 markings/sec, 115 secs
lola: 10332673 markings, 41705212 edges, 77994 markings/sec, 120 secs
lola: 10725877 markings, 43243418 edges, 78641 markings/sec, 125 secs
lola: 11119747 markings, 44801291 edges, 78774 markings/sec, 130 secs
lola: 11526027 markings, 46414119 edges, 81256 markings/sec, 135 secs
lola: 11914903 markings, 47982189 edges, 77775 markings/sec, 140 secs
lola: 12308523 markings, 49589383 edges, 78724 markings/sec, 145 secs
lola: 12682541 markings, 51169829 edges, 74804 markings/sec, 150 secs
lola: 13086521 markings, 52795188 edges, 80796 markings/sec, 155 secs
lola: 13464244 markings, 54356905 edges, 75545 markings/sec, 160 secs
lola: 13866405 markings, 56028853 edges, 80432 markings/sec, 165 secs
lola: 14264176 markings, 57644677 edges, 79554 markings/sec, 170 secs
lola: 14648198 markings, 59207560 edges, 76804 markings/sec, 175 secs
lola: 15070883 markings, 60874021 edges, 84537 markings/sec, 180 secs
lola: 15464276 markings, 62463795 edges, 78679 markings/sec, 185 secs
lola: 15838706 markings, 64012468 edges, 74886 markings/sec, 190 secs
lola: 16215600 markings, 65587455 edges, 75379 markings/sec, 195 secs
lola: 16586392 markings, 67198121 edges, 74158 markings/sec, 200 secs
lola: 16943082 markings, 68831933 edges, 71338 markings/sec, 205 secs
lola: 17355371 markings, 70507299 edges, 82458 markings/sec, 210 secs
lola: 17748231 markings, 72189054 edges, 78572 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__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: 497000 markings, 1809222 edges, 99400 markings/sec, 0 secs
lola: 967479 markings, 3523176 edges, 94096 markings/sec, 5 secs
lola: 1419120 markings, 5283541 edges, 90328 markings/sec, 10 secs
lola: 1867173 markings, 7044099 edges, 89611 markings/sec, 15 secs
lola: 2310311 markings, 8822434 edges, 88628 markings/sec, 20 secs
lola: 2751734 markings, 10595228 edges, 88285 markings/sec, 25 secs
lola: 3189781 markings, 12342607 edges, 87609 markings/sec, 30 secs
lola: 3621810 markings, 14079931 edges, 86406 markings/sec, 35 secs
lola: 4043120 markings, 15844696 edges, 84262 markings/sec, 40 secs
lola: 4475060 markings, 17635105 edges, 86388 markings/sec, 45 secs
lola: 4906706 markings, 19347284 edges, 86329 markings/sec, 50 secs
lola: 5328730 markings, 20918768 edges, 84405 markings/sec, 55 secs
lola: 5740928 markings, 22495087 edges, 82440 markings/sec, 60 secs
lola: 6145042 markings, 24075883 edges, 80823 markings/sec, 65 secs
lola: 6546493 markings, 25698642 edges, 80290 markings/sec, 70 secs
lola: 6953007 markings, 27317520 edges, 81303 markings/sec, 75 secs
lola: 7360800 markings, 28950822 edges, 81559 markings/sec, 80 secs
lola: 7762002 markings, 30617880 edges, 80240 markings/sec, 85 secs
lola: 8218149 markings, 32312574 edges, 91229 markings/sec, 90 secs
lola: 8663165 markings, 34012833 edges, 89003 markings/sec, 95 secs
lola: 9101351 markings, 35709366 edges, 87637 markings/sec, 100 secs
lola: 9521693 markings, 37409584 edges, 84068 markings/sec, 105 secs
lola: 9939997 markings, 39118333 edges, 83661 markings/sec, 110 secs
lola: 10352324 markings, 40778058 edges, 82465 markings/sec, 115 secs
lola: 10760407 markings, 42424052 edges, 81617 markings/sec, 120 secs
lola: 11151449 markings, 44040840 edges, 78208 markings/sec, 125 secs
lola: 11631534 markings, 45818322 edges, 96017 markings/sec, 130 secs
lola: 12091643 markings, 47589872 edges, 92022 markings/sec, 135 secs
lola: 12532350 markings, 49329136 edges, 88141 markings/sec, 140 secs
lola: 12970820 markings, 51092747 edges, 87694 markings/sec, 145 secs
lola: 13399741 markings, 52820834 edges, 85784 markings/sec, 150 secs
lola: 13827714 markings, 54568224 edges, 85595 markings/sec, 155 secs
lola: 14258770 markings, 56337834 edges, 86211 markings/sec, 160 secs
lola: 14674951 markings, 58089726 edges, 83236 markings/sec, 165 secs
lola: 15099671 markings, 59846150 edges, 84944 markings/sec, 170 secs
lola: 15514464 markings, 61594802 edges, 82959 markings/sec, 175 secs
lola: 15944083 markings, 63329638 edges, 85924 markings/sec, 180 secs
lola: 16427565 markings, 65109680 edges, 96696 markings/sec, 185 secs
lola: 16880573 markings, 66865699 edges, 90602 markings/sec, 190 secs
lola: 17329581 markings, 68618951 edges, 89802 markings/sec, 195 secs
lola: 17778789 markings, 70290324 edges, 89842 markings/sec, 200 secs
lola: 18208920 markings, 71933474 edges, 86026 markings/sec, 205 secs
lola: 18631006 markings, 73595009 edges, 84417 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Diffusion2D-PT-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 1496463300456

--------------------
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-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/S_Diffusion2D-PT-D05N050.tgz
mv S_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 S_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 r098-ebro-149488455800362"
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 ;