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 '
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 ;