Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2019-input.r066-ebro-155234666400004.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is Diffusion2D-PT-D05N050, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r066-ebro-155234666400004
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 220K
-rw-r--r-- 1 mcc users 4.2K Feb 10 21:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 10 21:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 6 17:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 6 17:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 3.0K Feb 4 23:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Feb 4 23:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.7K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 3 07:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 3 07:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 23:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 30 23:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 55K Mar 10 17:31 model.pnml

--------------------
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-00
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D05N050-UpperBounds-09
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

=== Now, execution of the tool begins

BK_START 1552909083269

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D05N050 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D05N050 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D05N050 @ 3570 seconds
lola: LoLA will run for 3570 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: Size of bit vector: 800
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__2_1_) : MAX(cAMP__1_5_) : MAX(cAMP__2_4_) : MAX(cAMP__4_2_) : MAX(cAMP__3_1_) : MAX(cAMP__2_5_) : MAX(cAMP__3_5_) : MAX(cAMP__1_1_) : MAX(cAMP__3_4_) : MAX(cAMP__5_2_) : MAX(cAMP__4_1_) : MAX(cAMP__5_5_) : MAX(cAMP__4_2_) : MAX(cAMP__1_1_) : MAX(cAMP__3_4_) : MAX(cAMP__5_1_)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 101 markings, 100 edges
lola: ========================================

FORMULA Diffusion2D-PT-D05N050-UpperBounds-0 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: 619591 markings, 1532016 edges, 123918 markings/sec, 0 secs
lola: 1216200 markings, 3015673 edges, 119322 markings/sec, 5 secs
lola: 1821439 markings, 4511140 edges, 121048 markings/sec, 10 secs
lola: 2407806 markings, 5964082 edges, 117273 markings/sec, 15 secs
lola: 2984702 markings, 7391885 edges, 115379 markings/sec, 20 secs
lola: 3608533 markings, 8933657 edges, 124766 markings/sec, 25 secs
lola: 4223436 markings, 10461239 edges, 122981 markings/sec, 30 secs
lola: 4832030 markings, 11965937 edges, 121719 markings/sec, 35 secs
lola: 5435709 markings, 13466399 edges, 120736 markings/sec, 40 secs
lola: 6036463 markings, 14955054 edges, 120151 markings/sec, 45 secs
lola: 6635554 markings, 16440803 edges, 119818 markings/sec, 50 secs
lola: 7255893 markings, 17973942 edges, 124068 markings/sec, 55 secs
lola: 7864138 markings, 19480724 edges, 121649 markings/sec, 60 secs
lola: 8459686 markings, 20957962 edges, 119110 markings/sec, 65 secs
lola: 9057139 markings, 22445646 edges, 119491 markings/sec, 70 secs
lola: 9635861 markings, 23875279 edges, 115744 markings/sec, 75 secs
lola: 10226842 markings, 25339304 edges, 118196 markings/sec, 80 secs
lola: 10805269 markings, 26780051 edges, 115685 markings/sec, 85 secs
lola: 11392953 markings, 28249446 edges, 117537 markings/sec, 90 secs
lola: 11993219 markings, 29736821 edges, 120053 markings/sec, 95 secs
lola: 12584959 markings, 31202299 edges, 118348 markings/sec, 100 secs
lola: 13178467 markings, 32670108 edges, 118702 markings/sec, 105 secs
lola: 13786133 markings, 34178827 edges, 121533 markings/sec, 110 secs
lola: 14385933 markings, 35663138 edges, 119960 markings/sec, 115 secs
lola: 14975216 markings, 37128514 edges, 117857 markings/sec, 120 secs
lola: 15551505 markings, 38555670 edges, 115258 markings/sec, 125 secs
lola: 16135533 markings, 39998754 edges, 116806 markings/sec, 130 secs
lola: 16693718 markings, 41388753 edges, 111637 markings/sec, 135 secs
lola: 17288732 markings, 42866092 edges, 119003 markings/sec, 140 secs
lola: 17878692 markings, 44329272 edges, 117992 markings/sec, 145 secs
lola: 18490327 markings, 45844893 edges, 122327 markings/sec, 150 secs
lola: 19080100 markings, 47309184 edges, 117955 markings/sec, 155 secs
lola: 19671198 markings, 48778877 edges, 118220 markings/sec, 160 secs
lola: 20253771 markings, 50226400 edges, 116515 markings/sec, 165 secs
lola: 20836330 markings, 51669743 edges, 116512 markings/sec, 170 secs
lola: 21411744 markings, 53094267 edges, 115083 markings/sec, 175 secs
lola: 22012338 markings, 54586432 edges, 120119 markings/sec, 180 secs
lola: 22599965 markings, 56054017 edges, 117525 markings/sec, 185 secs
lola: 23174108 markings, 57489797 edges, 114829 markings/sec, 190 secs
lola: 23746390 markings, 58909960 edges, 114456 markings/sec, 195 secs
lola: 24334518 markings, 60367787 edges, 117626 markings/sec, 200 secs
lola: 24912988 markings, 61802569 edges, 115694 markings/sec, 205 secs
lola: 25505210 markings, 63271699 edges, 118444 markings/sec, 210 secs
lola: 26096810 markings, 64740730 edges, 118320 markings/sec, 215 secs
lola: 26668727 markings, 66159828 edges, 114383 markings/sec, 220 secs
lola: 27222571 markings, 67536966 edges, 110769 markings/sec, 225 secs
lola: 27776343 markings, 68916090 edges, 110754 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6393708 KB
lola: time consumption: 239 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================

FORMULA Diffusion2D-PT-D05N050-UpperBounds-2 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_2_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================

FORMULA Diffusion2D-PT-D05N050-UpperBounds-3 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 101 markings, 100 edges
lola: ========================================

FORMULA Diffusion2D-PT-D05N050-UpperBounds-4 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: 582416 markings, 1734250 edges, 116483 markings/sec, 0 secs
lola: 1139328 markings, 3388343 edges, 111382 markings/sec, 5 secs
lola: 1692894 markings, 5037484 edges, 110713 markings/sec, 10 secs
lola: 2250321 markings, 6701642 edges, 111485 markings/sec, 15 secs
lola: 2805445 markings, 8362179 edges, 111025 markings/sec, 20 secs
lola: 3379658 markings, 10099531 edges, 114843 markings/sec, 25 secs
lola: 3936383 markings, 11784936 edges, 111345 markings/sec, 30 secs
lola: 4458963 markings, 13359367 edges, 104516 markings/sec, 35 secs
lola: 5009587 markings, 15024115 edges, 110125 markings/sec, 40 secs
lola: 5563058 markings, 16702007 edges, 110694 markings/sec, 45 secs
lola: 6096252 markings, 18287406 edges, 106639 markings/sec, 50 secs
lola: 6618696 markings, 19858079 edges, 104489 markings/sec, 55 secs
lola: 7137601 markings, 21413878 edges, 103781 markings/sec, 60 secs
lola: 7661598 markings, 22975368 edges, 104799 markings/sec, 65 secs
lola: 8180383 markings, 24533990 edges, 103757 markings/sec, 70 secs
lola: 8707143 markings, 26106827 edges, 105352 markings/sec, 75 secs
lola: 9222942 markings, 27653044 edges, 103160 markings/sec, 80 secs
lola: 9734695 markings, 29179833 edges, 102351 markings/sec, 85 secs
lola: 10253224 markings, 30737391 edges, 103706 markings/sec, 90 secs
lola: 10764336 markings, 32272791 edges, 102222 markings/sec, 95 secs
lola: 11266984 markings, 33769293 edges, 100530 markings/sec, 100 secs
lola: 11774112 markings, 35294430 edges, 101426 markings/sec, 105 secs
lola: 12285943 markings, 36821737 edges, 102366 markings/sec, 110 secs
lola: 12783639 markings, 38313094 edges, 99539 markings/sec, 115 secs
lola: 13281977 markings, 39800332 edges, 99668 markings/sec, 120 secs
lola: 13789948 markings, 41329028 edges, 101594 markings/sec, 125 secs
lola: 14286677 markings, 42817563 edges, 99346 markings/sec, 130 secs
lola: 14781053 markings, 44293021 edges, 98875 markings/sec, 135 secs
lola: 15271159 markings, 45762176 edges, 98021 markings/sec, 140 secs
lola: 15769393 markings, 47248693 edges, 99647 markings/sec, 145 secs
lola: 16269054 markings, 48752588 edges, 99932 markings/sec, 150 secs
lola: 16757834 markings, 50210580 edges, 97756 markings/sec, 155 secs
lola: 17255967 markings, 51708480 edges, 99627 markings/sec, 160 secs
lola: 17748842 markings, 53181627 edges, 98575 markings/sec, 165 secs
lola: 18238144 markings, 54646085 edges, 97860 markings/sec, 170 secs
lola: 18714521 markings, 56068259 edges, 95275 markings/sec, 175 secs
lola: 19216866 markings, 57574823 edges, 100469 markings/sec, 180 secs
lola: 19721937 markings, 59091946 edges, 101014 markings/sec, 185 secs
lola: 20225869 markings, 60591356 edges, 100786 markings/sec, 190 secs
lola: 20726840 markings, 62099705 edges, 100194 markings/sec, 195 secs
lola: 21234876 markings, 63615250 edges, 101607 markings/sec, 200 secs
lola: 21728165 markings, 65093899 edges, 98658 markings/sec, 205 secs
lola: 22217499 markings, 66553907 edges, 97867 markings/sec, 210 secs
lola: 22719556 markings, 68064330 edges, 100411 markings/sec, 215 secs
lola: 23215181 markings, 69550406 edges, 99125 markings/sec, 220 secs
lola: 23708550 markings, 71023765 edges, 98674 markings/sec, 225 secs
lola: 24199504 markings, 72495737 edges, 98191 markings/sec, 230 secs
lola: 24688258 markings, 73958868 edges, 97751 markings/sec, 235 secs
lola: 25160906 markings, 75385654 edges, 94530 markings/sec, 240 secs
lola: 25648355 markings, 76845435 edges, 97490 markings/sec, 245 secs
lola: 26136370 markings, 78309939 edges, 97603 markings/sec, 250 secs
lola: 26616247 markings, 79757434 edges, 95975 markings/sec, 255 secs
lola: 27119693 markings, 81270393 edges, 100689 markings/sec, 260 secs
lola: 27603157 markings, 82720743 edges, 96693 markings/sec, 265 secs
lola: 28072782 markings, 84128404 edges, 93925 markings/sec, 270 secs
lola: 28549519 markings, 85569979 edges, 95347 markings/sec, 275 secs
lola: 29062479 markings, 87102229 edges, 102592 markings/sec, 280 secs
lola: 29557763 markings, 88583183 edges, 99057 markings/sec, 285 secs
lola: 30021079 markings, 89996220 edges, 92663 markings/sec, 290 secs
lola: 30510053 markings, 91461134 edges, 97795 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown 50 50 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7637472 KB
lola: time consumption: 542 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: 583053 markings, 1636067 edges, 116611 markings/sec, 0 secs
lola: 1141464 markings, 3236051 edges, 111682 markings/sec, 5 secs
lola: 1694463 markings, 4829946 edges, 110600 markings/sec, 10 secs
lola: 2248380 markings, 6418855 edges, 110783 markings/sec, 15 secs
lola: 2815383 markings, 8049148 edges, 113401 markings/sec, 20 secs
lola: 3408274 markings, 9751830 edges, 118578 markings/sec, 25 secs
lola: 3977333 markings, 11400503 edges, 113812 markings/sec, 30 secs
lola: 4528713 markings, 12997374 edges, 110276 markings/sec, 35 secs
lola: 5081386 markings, 14588256 edges, 110535 markings/sec, 40 secs
lola: 5620207 markings, 16138620 edges, 107764 markings/sec, 45 secs
lola: 6165606 markings, 17711542 edges, 109080 markings/sec, 50 secs
lola: 6704630 markings, 19273024 edges, 107805 markings/sec, 55 secs
lola: 7269689 markings, 20912850 edges, 113012 markings/sec, 60 secs
lola: 7844712 markings, 22574196 edges, 115005 markings/sec, 65 secs
lola: 8403968 markings, 24177100 edges, 111851 markings/sec, 70 secs
lola: 8957954 markings, 25772393 edges, 110797 markings/sec, 75 secs
lola: 9513354 markings, 27362940 edges, 111080 markings/sec, 80 secs
lola: 10067271 markings, 28955663 edges, 110783 markings/sec, 85 secs
lola: 10609411 markings, 30517531 edges, 108428 markings/sec, 90 secs
lola: 11154422 markings, 32107145 edges, 109002 markings/sec, 95 secs
lola: 11729725 markings, 33759372 edges, 115061 markings/sec, 100 secs
lola: 12313432 markings, 35450000 edges, 116741 markings/sec, 105 secs
lola: 12889354 markings, 37116864 edges, 115184 markings/sec, 110 secs
lola: 13436236 markings, 38704229 edges, 109376 markings/sec, 115 secs
lola: 13970694 markings, 40237992 edges, 106892 markings/sec, 120 secs
lola: 14509630 markings, 41794261 edges, 107787 markings/sec, 125 secs
lola: 15049655 markings, 43364925 edges, 108005 markings/sec, 130 secs
lola: 15577514 markings, 44883848 edges, 105572 markings/sec, 135 secs
lola: 16122122 markings, 46438966 edges, 108922 markings/sec, 140 secs
lola: 16682937 markings, 48043441 edges, 112163 markings/sec, 145 secs
lola: 17220034 markings, 49593142 edges, 107419 markings/sec, 150 secs
lola: 17772545 markings, 51180014 edges, 110502 markings/sec, 155 secs
lola: 18317722 markings, 52755446 edges, 109035 markings/sec, 160 secs
lola: 18871818 markings, 54354161 edges, 110819 markings/sec, 165 secs
lola: 19418962 markings, 55931648 edges, 109429 markings/sec, 170 secs
lola: 19953301 markings, 57491228 edges, 106868 markings/sec, 175 secs
lola: 20480521 markings, 59024764 edges, 105444 markings/sec, 180 secs
lola: 21016040 markings, 60560505 edges, 107104 markings/sec, 185 secs
lola: 21543748 markings, 62104956 edges, 105542 markings/sec, 190 secs
lola: 22093253 markings, 63691054 edges, 109901 markings/sec, 195 secs
lola: 22645071 markings, 65273326 edges, 110364 markings/sec, 200 secs
lola: 23190559 markings, 66851740 edges, 109098 markings/sec, 205 secs
lola: 23724313 markings, 68399190 edges, 106751 markings/sec, 210 secs
lola: 24252382 markings, 69940150 edges, 105614 markings/sec, 215 secs
lola: 24783667 markings, 71490525 edges, 106257 markings/sec, 220 secs
lola: 25351353 markings, 73139456 edges, 113537 markings/sec, 225 secs
lola: 25905258 markings, 74739895 edges, 110781 markings/sec, 230 secs
lola: 26486452 markings, 76423661 edges, 116239 markings/sec, 235 secs
lola: 27031257 markings, 77988692 edges, 108961 markings/sec, 240 secs
lola: 27563882 markings, 79534025 edges, 106525 markings/sec, 245 secs
lola: 28102842 markings, 81091436 edges, 107792 markings/sec, 250 secs
lola: 28638029 markings, 82630683 edges, 107037 markings/sec, 255 secs
lola: 29172253 markings, 84168040 edges, 106845 markings/sec, 260 secs
lola: 29702343 markings, 85703809 edges, 106018 markings/sec, 265 secs
lola: 30226208 markings, 87241814 edges, 104773 markings/sec, 270 secs
lola: 30745701 markings, 88760815 edges, 103899 markings/sec, 275 secs
lola: 31315345 markings, 90400096 edges, 113929 markings/sec, 280 secs
lola: 31876707 markings, 92028515 edges, 112272 markings/sec, 285 secs
lola: 32402133 markings, 93572076 edges, 105085 markings/sec, 290 secs
lola: 32942005 markings, 95137837 edges, 107974 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown 50 50 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 101 markings, 100 edges
lola: ========================================

FORMULA Diffusion2D-PT-D05N050-UpperBounds-7 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================

FORMULA Diffusion2D-PT-D05N050-UpperBounds-8 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 389 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_2_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 101 markings, 149 edges
lola: ========================================

FORMULA Diffusion2D-PT-D05N050-UpperBounds-9 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 454 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 72503 markings, 216757 edges

FORMULA Diffusion2D-PT-D05N050-UpperBounds-10 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 544 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 302 markings, 452 edges
lola: ========================================

FORMULA Diffusion2D-PT-D05N050-UpperBounds-11 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 681 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_2_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================

FORMULA Diffusion2D-PT-D05N050-UpperBounds-12 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 908 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 101 markings, 100 edges
lola: ========================================

FORMULA Diffusion2D-PT-D05N050-UpperBounds-13 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================

FORMULA Diffusion2D-PT-D05N050-UpperBounds-14 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2724 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: 627947 markings, 1687479 edges, 125589 markings/sec, 0 secs
lola: 1226017 markings, 3347728 edges, 119614 markings/sec, 5 secs
lola: 1832442 markings, 4980362 edges, 121285 markings/sec, 10 secs
lola: 2438563 markings, 6616628 edges, 121224 markings/sec, 15 secs
lola: 3003647 markings, 8217265 edges, 113017 markings/sec, 20 secs
lola: 3595664 markings, 9826974 edges, 118403 markings/sec, 25 secs
lola: 4171328 markings, 11418886 edges, 115133 markings/sec, 30 secs
lola: 4766214 markings, 13031190 edges, 118977 markings/sec, 35 secs
lola: 5366465 markings, 14646506 edges, 120050 markings/sec, 40 secs
lola: 5964471 markings, 16259171 edges, 119601 markings/sec, 45 secs
lola: 6550769 markings, 17838562 edges, 117260 markings/sec, 50 secs
lola: 7142307 markings, 19430373 edges, 118308 markings/sec, 55 secs
lola: 7731043 markings, 21013585 edges, 117747 markings/sec, 60 secs
lola: 8302560 markings, 22587118 edges, 114303 markings/sec, 65 secs
lola: 8880920 markings, 24143092 edges, 115672 markings/sec, 70 secs
lola: 9459432 markings, 25698376 edges, 115702 markings/sec, 75 secs
lola: 10013564 markings, 27199872 edges, 110826 markings/sec, 80 secs
lola: 10565342 markings, 28684626 edges, 110356 markings/sec, 85 secs
lola: 11114770 markings, 30162284 edges, 109886 markings/sec, 90 secs
lola: 11689073 markings, 31705762 edges, 114861 markings/sec, 95 secs
lola: 12264111 markings, 33266231 edges, 115008 markings/sec, 100 secs
lola: 12820468 markings, 34762997 edges, 111271 markings/sec, 105 secs
lola: 13390605 markings, 36295411 edges, 114027 markings/sec, 110 secs
lola: 13951237 markings, 37851335 edges, 112126 markings/sec, 115 secs
lola: 14506170 markings, 39403336 edges, 110987 markings/sec, 120 secs
lola: 15085707 markings, 40962907 edges, 115907 markings/sec, 125 secs
lola: 15674927 markings, 42547725 edges, 117844 markings/sec, 130 secs
lola: 16277841 markings, 44186277 edges, 120583 markings/sec, 135 secs
lola: 16851561 markings, 45777000 edges, 114744 markings/sec, 140 secs
lola: 17457919 markings, 47408724 edges, 121272 markings/sec, 145 secs
lola: 18048887 markings, 49021378 edges, 118194 markings/sec, 150 secs
lola: 18640695 markings, 50614481 edges, 118362 markings/sec, 155 secs
lola: 19251821 markings, 52266758 edges, 122225 markings/sec, 160 secs
lola: 19802877 markings, 53844461 edges, 110211 markings/sec, 165 secs
lola: 20386444 markings, 55427417 edges, 116713 markings/sec, 170 secs
lola: 20971363 markings, 57000769 edges, 116984 markings/sec, 175 secs
lola: 21556967 markings, 58597365 edges, 117121 markings/sec, 180 secs
lola: 22106239 markings, 60148676 edges, 109854 markings/sec, 185 secs
lola: 22673842 markings, 61676404 edges, 113521 markings/sec, 190 secs
lola: 23245496 markings, 63214139 edges, 114331 markings/sec, 195 secs
lola: 23815308 markings, 64794524 edges, 113962 markings/sec, 200 secs
lola: 24353303 markings, 66329718 edges, 107599 markings/sec, 205 secs
lola: 24945517 markings, 67931586 edges, 118443 markings/sec, 210 secs
lola: 25541396 markings, 69535012 edges, 119176 markings/sec, 215 secs
lola: 26156214 markings, 71188398 edges, 122964 markings/sec, 220 secs
lola: 26701824 markings, 72694877 edges, 109122 markings/sec, 225 secs
lola: 27254019 markings, 74181373 edges, 110439 markings/sec, 230 secs
lola: 27822693 markings, 75710172 edges, 113735 markings/sec, 235 secs
lola: 28362529 markings, 77206147 edges, 107967 markings/sec, 240 secs
lola: 28927714 markings, 78735134 edges, 113037 markings/sec, 245 secs
lola: 29498058 markings, 80269438 edges, 114069 markings/sec, 250 secs
lola: 30058422 markings, 81783400 edges, 112073 markings/sec, 255 secs
lola: 30629800 markings, 83320561 edges, 114276 markings/sec, 260 secs
lola: 31201750 markings, 84869125 edges, 114390 markings/sec, 265 secs
lola: 31753435 markings, 86407834 edges, 110337 markings/sec, 270 secs
lola: 32332623 markings, 87966989 edges, 115838 markings/sec, 275 secs
lola: 32900463 markings, 89519873 edges, 113568 markings/sec, 280 secs
lola: 33474914 markings, 91066059 edges, 114890 markings/sec, 285 secs
lola: 34040638 markings, 92609085 edges, 113145 markings/sec, 290 secs
lola: 34601508 markings, 94172159 edges, 112174 markings/sec, 295 secs
lola: 35188353 markings, 95780899 edges, 117369 markings/sec, 300 secs
lola: 35753709 markings, 97366256 edges, 113071 markings/sec, 305 secs
lola: 36330367 markings, 98950028 edges, 115332 markings/sec, 310 secs
lola: 36911694 markings, 100534481 edges, 116265 markings/sec, 315 secs
lola: 37449640 markings, 102023026 edges, 107589 markings/sec, 320 secs
lola: 38005749 markings, 103539582 edges, 111222 markings/sec, 325 secs
lola: 38568966 markings, 105068580 edges, 112643 markings/sec, 330 secs
lola: 39106371 markings, 106530786 edges, 107481 markings/sec, 335 secs
lola: 39637808 markings, 107961640 edges, 106287 markings/sec, 340 secs
lola: 40173891 markings, 109424331 edges, 107217 markings/sec, 345 secs
lola: 40733893 markings, 110932837 edges, 112000 markings/sec, 350 secs
lola: 41315393 markings, 112503232 edges, 116300 markings/sec, 355 secs
lola: 41840825 markings, 114000422 edges, 105086 markings/sec, 360 secs
lola: 42415249 markings, 115593633 edges, 114885 markings/sec, 365 secs
lola: 43015676 markings, 117209759 edges, 120085 markings/sec, 370 secs
lola: 43615297 markings, 118821786 edges, 119924 markings/sec, 375 secs
lola: 44175598 markings, 120385990 edges, 112060 markings/sec, 380 secs
lola: 44720246 markings, 121873794 edges, 108930 markings/sec, 385 secs
lola: 45273753 markings, 123363544 edges, 110701 markings/sec, 390 secs
lola: 45839027 markings, 124909084 edges, 113055 markings/sec, 395 secs
lola: 46366410 markings, 126426963 edges, 105477 markings/sec, 400 secs
lola: 46895728 markings, 127949377 edges, 105864 markings/sec, 405 secs
lola: 47424082 markings, 129454153 edges, 105671 markings/sec, 410 secs
lola: 47971920 markings, 130987427 edges, 109568 markings/sec, 415 secs
lola: 48530363 markings, 132490683 edges, 111689 markings/sec, 420 secs
lola: 49145831 markings, 134146761 edges, 123094 markings/sec, 425 secs
lola: 49672068 markings, 135643837 edges, 105247 markings/sec, 430 secs
lola: 50208340 markings, 137149316 edges, 107254 markings/sec, 435 secs
lola: 50775376 markings, 138676041 edges, 113407 markings/sec, 440 secs
lola: 51352218 markings, 140251364 edges, 115368 markings/sec, 445 secs
lola: 51903763 markings, 141747586 edges, 110309 markings/sec, 450 secs
lola: 52477189 markings, 143290352 edges, 114685 markings/sec, 455 secs
lola: 53035007 markings, 144830642 edges, 111564 markings/sec, 460 secs
lola: 53565392 markings, 146341339 edges, 106077 markings/sec, 465 secs
lola: 54099147 markings, 147863197 edges, 106751 markings/sec, 470 secs
lola: 54647627 markings, 149359137 edges, 109696 markings/sec, 475 secs
lola: 55221573 markings, 150903896 edges, 114789 markings/sec, 480 secs
lola: 55800320 markings, 152487521 edges, 115749 markings/sec, 485 secs
lola: 56357268 markings, 154008824 edges, 111390 markings/sec, 490 secs
lola: 56939237 markings, 155575119 edges, 116394 markings/sec, 495 secs
lola: 57499314 markings, 157117892 edges, 112015 markings/sec, 500 secs
lola: 58016067 markings, 158600874 edges, 103351 markings/sec, 505 secs
lola: 58554369 markings, 160112076 edges, 107660 markings/sec, 510 secs
lola: 59121657 markings, 161639356 edges, 113458 markings/sec, 515 secs
lola: 59701012 markings, 163197362 edges, 115871 markings/sec, 520 secs
lola: 60265531 markings, 164730433 edges, 112904 markings/sec, 525 secs
lola: 60839087 markings, 166274664 edges, 114711 markings/sec, 530 secs
lola: 61431657 markings, 167867872 edges, 118514 markings/sec, 535 secs
lola: 61973583 markings, 169348498 edges, 108385 markings/sec, 540 secs
lola: 62522219 markings, 170825266 edges, 109727 markings/sec, 545 secs
lola: 63074032 markings, 172320792 edges, 110363 markings/sec, 550 secs
lola: 63632229 markings, 173856158 edges, 111639 markings/sec, 555 secs
lola: 64208397 markings, 175406970 edges, 115234 markings/sec, 560 secs
lola: 64803249 markings, 177005995 edges, 118970 markings/sec, 565 secs
lola: 65364221 markings, 178534063 edges, 112194 markings/sec, 570 secs
lola: 65922210 markings, 180035638 edges, 111598 markings/sec, 575 secs
lola: 66480269 markings, 181549055 edges, 111612 markings/sec, 580 secs
lola: 67028368 markings, 183045028 edges, 109620 markings/sec, 585 secs
lola: 67591986 markings, 184560834 edges, 112724 markings/sec, 590 secs
lola: 68124479 markings, 186046399 edges, 106499 markings/sec, 595 secs
lola: 68683327 markings, 187551180 edges, 111770 markings/sec, 600 secs
lola: 69242978 markings, 189069591 edges, 111930 markings/sec, 605 secs
lola: 69780128 markings, 190564392 edges, 107430 markings/sec, 610 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: 635298 markings, 1570449 edges, 127060 markings/sec, 0 secs
lola: 1251997 markings, 3105465 edges, 123340 markings/sec, 5 secs
lola: 1865113 markings, 4618385 edges, 122623 markings/sec, 10 secs
lola: 2465991 markings, 6109259 edges, 120176 markings/sec, 15 secs
lola: 3067049 markings, 7597665 edges, 120212 markings/sec, 20 secs
lola: 3700443 markings, 9160094 edges, 126679 markings/sec, 25 secs
lola: 4307055 markings, 10667990 edges, 121322 markings/sec, 30 secs
lola: 4918224 markings, 12181589 edges, 122234 markings/sec, 35 secs
lola: 5522982 markings, 13680925 edges, 120952 markings/sec, 40 secs
lola: 6118577 markings, 15158752 edges, 119119 markings/sec, 45 secs
lola: 6722760 markings, 16655861 edges, 120837 markings/sec, 50 secs
lola: 7343376 markings, 18189712 edges, 124123 markings/sec, 55 secs
lola: 7952790 markings, 19700303 edges, 121883 markings/sec, 60 secs
lola: 8546578 markings, 21174188 edges, 118758 markings/sec, 65 secs
lola: 9146414 markings, 22666363 edges, 119967 markings/sec, 70 secs
lola: 9738042 markings, 24130022 edges, 118326 markings/sec, 75 secs
lola: 10331350 markings, 25601814 edges, 118662 markings/sec, 80 secs
lola: 10909327 markings, 27039791 edges, 115595 markings/sec, 85 secs
lola: 11498456 markings, 28512262 edges, 117826 markings/sec, 90 secs
lola: 12100465 markings, 30004179 edges, 120402 markings/sec, 95 secs
lola: 12696410 markings, 31480635 edges, 119189 markings/sec, 100 secs
lola: 13306387 markings, 32989293 edges, 121995 markings/sec, 105 secs
lola: 13918497 markings, 34506034 edges, 122422 markings/sec, 110 secs
lola: 14527404 markings, 36019414 edges, 121781 markings/sec, 115 secs
lola: 15120502 markings, 37487121 edges, 118620 markings/sec, 120 secs
lola: 15705411 markings, 38933602 edges, 116982 markings/sec, 125 secs
lola: 16281650 markings, 40363231 edges, 115248 markings/sec, 130 secs
lola: 16867347 markings, 41820617 edges, 117139 markings/sec, 135 secs
lola: 17478806 markings, 43335569 edges, 122292 markings/sec, 140 secs
lola: 18086258 markings, 44843095 edges, 121490 markings/sec, 145 secs
lola: 18697040 markings, 46354672 edges, 122156 markings/sec, 150 secs
lola: 19266927 markings, 47772483 edges, 113977 markings/sec, 155 secs
lola: 19848780 markings, 49219345 edges, 116371 markings/sec, 160 secs
lola: 20434398 markings, 50677844 edges, 117124 markings/sec, 165 secs
lola: 21014178 markings, 52110462 edges, 115956 markings/sec, 170 secs
lola: 21599495 markings, 53557616 edges, 117063 markings/sec, 175 secs
lola: 22198643 markings, 55050026 edges, 119830 markings/sec, 180 secs
lola: 22790585 markings, 56526661 edges, 118388 markings/sec, 185 secs
lola: 23379482 markings, 57999351 edges, 117779 markings/sec, 190 secs
lola: 23949714 markings, 59413445 edges, 114046 markings/sec, 195 secs
lola: 24542926 markings, 60886313 edges, 118642 markings/sec, 200 secs
lola: 25122863 markings, 62323301 edges, 115987 markings/sec, 205 secs
lola: 25716053 markings, 63793119 edges, 118638 markings/sec, 210 secs
lola: 26304171 markings, 65255230 edges, 117624 markings/sec, 215 secs
lola: 26870361 markings, 66662420 edges, 113238 markings/sec, 220 secs
lola: 27452502 markings, 68111082 edges, 116428 markings/sec, 225 secs
lola: 28022336 markings, 69525974 edges, 113967 markings/sec, 230 secs
lola: 28624149 markings, 71022242 edges, 120363 markings/sec, 235 secs
lola: 29203439 markings, 72461513 edges, 115858 markings/sec, 240 secs
lola: 29796409 markings, 73936258 edges, 118594 markings/sec, 245 secs
lola: 30372097 markings, 75361701 edges, 115138 markings/sec, 250 secs
lola: 30945239 markings, 76787843 edges, 114628 markings/sec, 255 secs
lola: 31535112 markings, 78252548 edges, 117975 markings/sec, 260 secs
lola: 32102041 markings, 79670377 edges, 113386 markings/sec, 265 secs
lola: 32694314 markings, 81136215 edges, 118455 markings/sec, 270 secs
lola: 33279655 markings, 82595684 edges, 117068 markings/sec, 275 secs
lola: 33876111 markings, 84075630 edges, 119291 markings/sec, 280 secs
lola: 34451814 markings, 85504486 edges, 115141 markings/sec, 285 secs
lola: 35043296 markings, 86971041 edges, 118296 markings/sec, 290 secs
lola: 35619061 markings, 88411040 edges, 115153 markings/sec, 295 secs
lola: 36196365 markings, 89854779 edges, 115461 markings/sec, 300 secs
lola: 36764213 markings, 91262793 edges, 113570 markings/sec, 305 secs
lola: 37324764 markings, 92658595 edges, 112110 markings/sec, 310 secs
lola: 37893431 markings, 94075207 edges, 113733 markings/sec, 315 secs
lola: 38471446 markings, 95514431 edges, 115603 markings/sec, 320 secs
lola: 39066476 markings, 97000176 edges, 119006 markings/sec, 325 secs
lola: 39643666 markings, 98439298 edges, 115438 markings/sec, 330 secs
lola: 40218153 markings, 99868856 edges, 114897 markings/sec, 335 secs
lola: 40805550 markings, 101326902 edges, 117479 markings/sec, 340 secs
lola: 41399029 markings, 102796386 edges, 118696 markings/sec, 345 secs
lola: 41985795 markings, 104264049 edges, 117353 markings/sec, 350 secs
lola: 42577208 markings, 105731617 edges, 118283 markings/sec, 355 secs
lola: 43165131 markings, 107195628 edges, 117585 markings/sec, 360 secs
lola: 43754121 markings, 108659515 edges, 117798 markings/sec, 365 secs
lola: 44340701 markings, 110115796 edges, 117316 markings/sec, 370 secs
lola: 44933355 markings, 111593713 edges, 118531 markings/sec, 375 secs
lola: 45517067 markings, 113045194 edges, 116742 markings/sec, 380 secs
lola: 46096589 markings, 114486820 edges, 115904 markings/sec, 385 secs
lola: 46681284 markings, 115939641 edges, 116939 markings/sec, 390 secs
lola: 47267815 markings, 117398427 edges, 117306 markings/sec, 395 secs
lola: 47854849 markings, 118862998 edges, 117407 markings/sec, 400 secs
lola: 48427620 markings, 120295460 edges, 114554 markings/sec, 405 secs
lola: 48992915 markings, 121701790 edges, 113059 markings/sec, 410 secs
lola: 49561250 markings, 123116401 edges, 113667 markings/sec, 415 secs
lola: 50140157 markings, 124557627 edges, 115781 markings/sec, 420 secs
lola: 50715842 markings, 125988390 edges, 115137 markings/sec, 425 secs
lola: 51285340 markings, 127405034 edges, 113900 markings/sec, 430 secs
lola: 51853861 markings, 128824522 edges, 113704 markings/sec, 435 secs
lola: 52413228 markings, 130212239 edges, 111873 markings/sec, 440 secs
lola: 52969587 markings, 131601555 edges, 111272 markings/sec, 445 secs
lola: 53528224 markings, 132993258 edges, 111727 markings/sec, 450 secs
lola: 54093883 markings, 134405833 edges, 113132 markings/sec, 455 secs
lola: 54657554 markings, 135811133 edges, 112734 markings/sec, 460 secs
lola: 55213654 markings, 137197856 edges, 111220 markings/sec, 465 secs
lola: 55766391 markings, 138571779 edges, 110547 markings/sec, 470 secs
lola: 56357546 markings, 140049126 edges, 118231 markings/sec, 475 secs
lola: 56951794 markings, 141525640 edges, 118850 markings/sec, 480 secs
lola: 57520270 markings, 142938404 edges, 113695 markings/sec, 485 secs
lola: 58102295 markings, 144392786 edges, 116405 markings/sec, 490 secs
lola: 58665489 markings, 145794170 edges, 112639 markings/sec, 495 secs
lola: 59249266 markings, 147244569 edges, 116755 markings/sec, 500 secs
lola: 59826152 markings, 148673976 edges, 115377 markings/sec, 505 secs
lola: 60400328 markings, 150098086 edges, 114835 markings/sec, 510 secs
lola: 60970141 markings, 151510440 edges, 113963 markings/sec, 515 secs
lola: 61573571 markings, 153009953 edges, 120686 markings/sec, 520 secs
lola: 62151242 markings, 154455020 edges, 115534 markings/sec, 525 secs
lola: 62737802 markings, 155912524 edges, 117312 markings/sec, 530 secs
lola: 63328202 markings, 157378833 edges, 118080 markings/sec, 535 secs
lola: 63916706 markings, 158848026 edges, 117701 markings/sec, 540 secs
lola: 64528753 markings, 160368465 edges, 122409 markings/sec, 545 secs
lola: 65123079 markings, 161847715 edges, 118865 markings/sec, 550 secs
lola: 65724828 markings, 163342645 edges, 120350 markings/sec, 555 secs
lola: 66305474 markings, 164793145 edges, 116129 markings/sec, 560 secs
lola: 66896601 markings, 166256359 edges, 118225 markings/sec, 565 secs
lola: 67490374 markings, 167724485 edges, 118755 markings/sec, 570 secs
lola: 68099460 markings, 169234156 edges, 121817 markings/sec, 575 secs
lola: 68690834 markings, 170704897 edges, 118275 markings/sec, 580 secs
lola: 69271210 markings, 172147357 edges, 116075 markings/sec, 585 secs
lola: 69855236 markings, 173602900 edges, 116805 markings/sec, 590 secs
lola: 70460447 markings, 175105552 edges, 121042 markings/sec, 595 secs
lola: 70870393 markings, 176121843 edges, 81989 markings/sec, 600 secs
lola: 70882508 markings, 176151939 edges, 2423 markings/sec, 605 secs
lola: 70893645 markings, 176179353 edges, 2227 markings/sec, 610 secs
lola: 70898405 markings, 176191248 edges, 952 markings/sec, 615 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Diffusion2D-PT-D05N050-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: 583349 markings, 1737082 edges, 116670 markings/sec, 0 secs
lola: 1154472 markings, 3433616 edges, 114225 markings/sec, 5 secs
lola: 1716138 markings, 5105830 edges, 112333 markings/sec, 10 secs
lola: 2275724 markings, 6776880 edges, 111917 markings/sec, 15 secs
lola: 2838193 markings, 8461567 edges, 112494 markings/sec, 20 secs
lola: 3409373 markings, 10190732 edges, 114236 markings/sec, 25 secs
lola: 3954600 markings, 11838605 edges, 109045 markings/sec, 30 secs
lola: 4508984 markings, 13511127 edges, 110877 markings/sec, 35 secs
lola: 5071718 markings, 15210678 edges, 112547 markings/sec, 40 secs
lola: 5630172 markings, 16899221 edges, 111691 markings/sec, 45 secs
lola: 6168938 markings, 18503979 edges, 107753 markings/sec, 50 secs
lola: 6705829 markings, 20115883 edges, 107378 markings/sec, 55 secs
lola: 7232287 markings, 21697801 edges, 105292 markings/sec, 60 secs
lola: 7753300 markings, 23249689 edges, 104203 markings/sec, 65 secs
lola: 8273931 markings, 24815605 edges, 104126 markings/sec, 70 secs
lola: 8800564 markings, 26390148 edges, 105327 markings/sec, 75 secs
lola: 9316202 markings, 27932930 edges, 103128 markings/sec, 80 secs
lola: 9832379 markings, 29474030 edges, 103235 markings/sec, 85 secs
lola: 10347993 markings, 31019295 edges, 103123 markings/sec, 90 secs
lola: 10858613 markings, 32555000 edges, 102124 markings/sec, 95 secs
lola: 11363008 markings, 34057056 edges, 100879 markings/sec, 100 secs
lola: 11880749 markings, 35615007 edges, 103548 markings/sec, 105 secs
lola: 12400523 markings, 37167945 edges, 103955 markings/sec, 110 secs
lola: 12909207 markings, 38689859 edges, 101737 markings/sec, 115 secs
lola: 13419674 markings, 40214976 edges, 102093 markings/sec, 120 secs
lola: 13930745 markings, 41745979 edges, 102214 markings/sec, 125 secs
lola: 14434899 markings, 43262610 edges, 100831 markings/sec, 130 secs
lola: 14934654 markings, 44751042 edges, 99951 markings/sec, 135 secs
lola: 15444825 markings, 46284938 edges, 102034 markings/sec, 140 secs
lola: 15956946 markings, 47816770 edges, 102424 markings/sec, 145 secs
lola: 16458731 markings, 49318663 edges, 100357 markings/sec, 150 secs
lola: 16946750 markings, 50776082 edges, 97604 markings/sec, 155 secs
lola: 17449808 markings, 52283356 edges, 100612 markings/sec, 160 secs
lola: 17946430 markings, 53776373 edges, 99324 markings/sec, 165 secs
lola: 18441593 markings, 55249019 edges, 99033 markings/sec, 170 secs
lola: 18944594 markings, 56763327 edges, 100600 markings/sec, 175 secs
lola: 19459745 markings, 58299823 edges, 103030 markings/sec, 180 secs
lola: 19961366 markings, 59805128 edges, 100324 markings/sec, 185 secs
lola: 20460261 markings, 61292936 edges, 99779 markings/sec, 190 secs
lola: 20965482 markings, 62811755 edges, 101044 markings/sec, 195 secs
lola: 21461025 markings, 64299226 edges, 99109 markings/sec, 200 secs
lola: 21959154 markings, 65782944 edges, 99626 markings/sec, 205 secs
lola: 22459322 markings, 67283801 edges, 100034 markings/sec, 210 secs
lola: 22966241 markings, 68797191 edges, 101384 markings/sec, 215 secs
lola: 23467066 markings, 70300939 edges, 100165 markings/sec, 220 secs
lola: 23961616 markings, 71777906 edges, 98910 markings/sec, 225 secs
lola: 24453373 markings, 73259236 edges, 98351 markings/sec, 230 secs
lola: 24944479 markings, 74730701 edges, 98221 markings/sec, 235 secs
lola: 25431079 markings, 76197330 edges, 97320 markings/sec, 240 secs
lola: 25919675 markings, 77663261 edges, 97719 markings/sec, 245 secs
lola: 26413700 markings, 79145528 edges, 98805 markings/sec, 250 secs
lola: 26904166 markings, 80625794 edges, 98093 markings/sec, 255 secs
lola: 27408730 markings, 82136367 edges, 100913 markings/sec, 260 secs
lola: 27885064 markings, 83569229 edges, 95267 markings/sec, 265 secs
lola: 28365046 markings, 85010555 edges, 95996 markings/sec, 270 secs
lola: 28868696 markings, 86516478 edges, 100730 markings/sec, 275 secs
lola: 29379869 markings, 88052866 edges, 102235 markings/sec, 280 secs
lola: 29855431 markings, 89487409 edges, 95112 markings/sec, 285 secs
lola: 30337634 markings, 90942570 edges, 96441 markings/sec, 290 secs
lola: 30828947 markings, 92421036 edges, 98263 markings/sec, 295 secs
lola: 31306162 markings, 93860552 edges, 95443 markings/sec, 300 secs
lola: 31799164 markings, 95340674 edges, 98600 markings/sec, 305 secs
lola: 32292446 markings, 96825091 edges, 98656 markings/sec, 310 secs
lola: 32780888 markings, 98297476 edges, 97688 markings/sec, 315 secs
lola: 33262731 markings, 99752931 edges, 96369 markings/sec, 320 secs
lola: 33765401 markings, 101262458 edges, 100534 markings/sec, 325 secs
lola: 34264250 markings, 102759010 edges, 99770 markings/sec, 330 secs
lola: 34745958 markings, 104207511 edges, 96342 markings/sec, 335 secs
lola: 35271476 markings, 105771297 edges, 105104 markings/sec, 340 secs
lola: 35758913 markings, 107250662 edges, 97487 markings/sec, 345 secs
lola: 36248521 markings, 108736818 edges, 97922 markings/sec, 350 secs
lola: 36732279 markings, 110199911 edges, 96752 markings/sec, 355 secs
lola: 37208188 markings, 111640960 edges, 95182 markings/sec, 360 secs
lola: 37707048 markings, 113136545 edges, 99772 markings/sec, 365 secs
lola: 38204782 markings, 114624880 edges, 99547 markings/sec, 370 secs
lola: 38680579 markings, 116054300 edges, 95159 markings/sec, 375 secs
lola: 39161015 markings, 117491179 edges, 96087 markings/sec, 380 secs
lola: 39652504 markings, 118968434 edges, 98298 markings/sec, 385 secs
lola: 40161437 markings, 120499221 edges, 101787 markings/sec, 390 secs
lola: 40641050 markings, 121944119 edges, 95923 markings/sec, 395 secs
lola: 41118168 markings, 123385075 edges, 95424 markings/sec, 400 secs
lola: 41608817 markings, 124855805 edges, 98130 markings/sec, 405 secs
lola: 42086014 markings, 126301602 edges, 95439 markings/sec, 410 secs
lola: 42581560 markings, 127787148 edges, 99109 markings/sec, 415 secs
lola: 43063045 markings, 129235745 edges, 96297 markings/sec, 420 secs
lola: 43536877 markings, 130664909 edges, 94766 markings/sec, 425 secs
lola: 44012816 markings, 132101842 edges, 95188 markings/sec, 430 secs
lola: 44498529 markings, 133562962 edges, 97143 markings/sec, 435 secs
lola: 44979669 markings, 135005763 edges, 96228 markings/sec, 440 secs
lola: 45450630 markings, 136421153 edges, 94192 markings/sec, 445 secs
lola: 45943703 markings, 137892610 edges, 98615 markings/sec, 450 secs
lola: 46432852 markings, 139368818 edges, 97830 markings/sec, 455 secs
lola: 46931357 markings, 140879664 edges, 99701 markings/sec, 460 secs
lola: 47414829 markings, 142344704 edges, 96694 markings/sec, 465 secs
lola: 47896892 markings, 143801316 edges, 96413 markings/sec, 470 secs
lola: 48398291 markings, 145308110 edges, 100280 markings/sec, 475 secs
lola: 48905162 markings, 146823989 edges, 101374 markings/sec, 480 secs
lola: 49399218 markings, 148307818 edges, 98811 markings/sec, 485 secs
lola: 49882916 markings, 149758095 edges, 96740 markings/sec, 490 secs
lola: 50376668 markings, 151244011 edges, 98750 markings/sec, 495 secs
lola: 50899076 markings, 152811262 edges, 104482 markings/sec, 500 secs
lola: 51402180 markings, 154322306 edges, 100621 markings/sec, 505 secs
lola: 51892515 markings, 155805739 edges, 98067 markings/sec, 510 secs
lola: 52400753 markings, 157325631 edges, 101648 markings/sec, 515 secs
lola: 52910600 markings, 158855851 edges, 101969 markings/sec, 520 secs
lola: 53425733 markings, 160412283 edges, 103027 markings/sec, 525 secs
lola: 53927421 markings, 161931104 edges, 100338 markings/sec, 530 secs
lola: 54438566 markings, 163463852 edges, 102229 markings/sec, 535 secs
lola: 54945353 markings, 164988764 edges, 101357 markings/sec, 540 secs
lola: 55441828 markings, 166486140 edges, 99295 markings/sec, 545 secs
lola: 55933940 markings, 167970623 edges, 98422 markings/sec, 550 secs
lola: 56439739 markings, 169489426 edges, 101160 markings/sec, 555 secs
lola: 56939001 markings, 170986703 edges, 99852 markings/sec, 560 secs
lola: 57428054 markings, 172458525 edges, 97811 markings/sec, 565 secs
lola: 57941847 markings, 173988710 edges, 102759 markings/sec, 570 secs
lola: 58436246 markings, 175485562 edges, 98880 markings/sec, 575 secs
lola: 58938674 markings, 177011945 edges, 100486 markings/sec, 580 secs
lola: 59434210 markings, 178510197 edges, 99107 markings/sec, 585 secs
lola: 59948412 markings, 180042692 edges, 102840 markings/sec, 590 secs
lola: 60463666 markings, 181583244 edges, 103051 markings/sec, 595 secs
lola: 60980240 markings, 183142893 edges, 103315 markings/sec, 600 secs
lola: 61493695 markings, 184699159 edges, 102691 markings/sec, 605 secs
lola: 61994538 markings, 186213491 edges, 100169 markings/sec, 610 secs
lola: 62481069 markings, 187693697 edges, 97306 markings/sec, 615 secs
lola: 62966261 markings, 189162266 edges, 97038 markings/sec, 620 secs
lola: 63451590 markings, 190630319 edges, 97066 markings/sec, 625 secs
lola: 63956580 markings, 192136961 edges, 100998 markings/sec, 630 secs
lola: 64478696 markings, 193711926 edges, 104423 markings/sec, 635 secs
lola: 64858411 markings, 194873932 edges, 75943 markings/sec, 640 secs
lola: 64991566 markings, 195278759 edges, 26631 markings/sec, 645 secs
lola: 64997265 markings, 195296719 edges, 1140 markings/sec, 650 secs
lola: 64999985 markings, 195305144 edges, 544 markings/sec, 655 secs
lola: 65004031 markings, 195317440 edges, 809 markings/sec, 660 secs
lola: 65016963 markings, 195356235 edges, 2586 markings/sec, 665 secs
lola: 65019741 markings, 195364411 edges, 556 markings/sec, 670 secs
lola: 65023586 markings, 195376281 edges, 769 markings/sec, 675 secs
lola: 65025212 markings, 195381294 edges, 325 markings/sec, 680 secs
lola: 65029283 markings, 195394281 edges, 814 markings/sec, 685 secs
lola: 65040451 markings, 195427101 edges, 2234 markings/sec, 690 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Diffusion2D-PT-D05N050-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: 572609 markings, 1607834 edges, 114522 markings/sec, 0 secs
lola: 1125786 markings, 3190676 edges, 110635 markings/sec, 5 secs
lola: 1665129 markings, 4742479 edges, 107869 markings/sec, 10 secs
lola: 2224971 markings, 6351864 edges, 111968 markings/sec, 15 secs
lola: 2794750 markings, 7990853 edges, 113956 markings/sec, 20 secs
lola: 3396942 markings, 9719703 edges, 120438 markings/sec, 25 secs
lola: 3974470 markings, 11391781 edges, 115506 markings/sec, 30 secs
lola: 4529559 markings, 12999849 edges, 111018 markings/sec, 35 secs
lola: 5083638 markings, 14595186 edges, 110816 markings/sec, 40 secs
lola: 5625651 markings, 16154666 edges, 108403 markings/sec, 45 secs
lola: 6176119 markings, 17740916 edges, 110094 markings/sec, 50 secs
lola: 6720819 markings, 19320282 edges, 108940 markings/sec, 55 secs
lola: 7294167 markings, 20985725 edges, 114670 markings/sec, 60 secs
lola: 7873428 markings, 22662671 edges, 115852 markings/sec, 65 secs
lola: 8435160 markings, 24267073 edges, 112346 markings/sec, 70 secs
lola: 8997316 markings, 25886390 edges, 112431 markings/sec, 75 secs
lola: 9557904 markings, 27491124 edges, 112118 markings/sec, 80 secs
lola: 10113470 markings, 29088915 edges, 111113 markings/sec, 85 secs
lola: 10664472 markings, 30674904 edges, 110200 markings/sec, 90 secs
lola: 11217907 markings, 32292770 edges, 110687 markings/sec, 95 secs
lola: 11801464 markings, 33970314 edges, 116711 markings/sec, 100 secs
lola: 12392699 markings, 35676648 edges, 118247 markings/sec, 105 secs
lola: 12971273 markings, 37353001 edges, 115715 markings/sec, 110 secs
lola: 13517463 markings, 38937720 edges, 109238 markings/sec, 115 secs
lola: 14060120 markings, 40495066 edges, 108531 markings/sec, 120 secs
lola: 14609636 markings, 42083655 edges, 109903 markings/sec, 125 secs
lola: 15151227 markings, 43658663 edges, 108318 markings/sec, 130 secs
lola: 15690718 markings, 45206169 edges, 107898 markings/sec, 135 secs
lola: 16251241 markings, 46809167 edges, 112105 markings/sec, 140 secs
lola: 16813471 markings, 48415899 edges, 112446 markings/sec, 145 secs
lola: 17364540 markings, 50010609 edges, 110214 markings/sec, 150 secs
lola: 17917512 markings, 51600305 edges, 110594 markings/sec, 155 secs
lola: 18460621 markings, 53171353 edges, 108622 markings/sec, 160 secs
lola: 19018274 markings, 54782165 edges, 111531 markings/sec, 165 secs
lola: 19570863 markings, 56377501 edges, 110518 markings/sec, 170 secs
lola: 20119331 markings, 57970899 edges, 109694 markings/sec, 175 secs
lola: 20666669 markings, 59555934 edges, 109468 markings/sec, 180 secs
lola: 21212769 markings, 61135190 edges, 109220 markings/sec, 185 secs
lola: 21757124 markings, 62724476 edges, 108871 markings/sec, 190 secs
lola: 22318679 markings, 64340677 edges, 112311 markings/sec, 195 secs
lola: 22865689 markings, 65915740 edges, 109402 markings/sec, 200 secs
lola: 23405165 markings, 67473310 edges, 107895 markings/sec, 205 secs
lola: 23949281 markings, 69055562 edges, 108823 markings/sec, 210 secs
lola: 24488008 markings, 70627563 edges, 107745 markings/sec, 215 secs
lola: 25031787 markings, 72218736 edges, 108756 markings/sec, 220 secs
lola: 25596242 markings, 73853195 edges, 112891 markings/sec, 225 secs
lola: 26174091 markings, 75513253 edges, 115570 markings/sec, 230 secs
lola: 26735985 markings, 77140058 edges, 112379 markings/sec, 235 secs
lola: 27279553 markings, 78710704 edges, 108714 markings/sec, 240 secs
lola: 27814239 markings, 80262232 edges, 106937 markings/sec, 245 secs
lola: 28355700 markings, 81818707 edges, 108292 markings/sec, 250 secs
lola: 28895020 markings, 83369749 edges, 107864 markings/sec, 255 secs
lola: 29427234 markings, 84906744 edges, 106443 markings/sec, 260 secs
lola: 29959521 markings, 86466119 edges, 106457 markings/sec, 265 secs
lola: 30482290 markings, 87991028 edges, 104554 markings/sec, 270 secs
lola: 31029934 markings, 89580305 edges, 109529 markings/sec, 275 secs
lola: 31604827 markings, 91235233 edges, 114979 markings/sec, 280 secs
lola: 32147880 markings, 92816186 edges, 108611 markings/sec, 285 secs
lola: 32676495 markings, 94364661 edges, 105723 markings/sec, 290 secs
lola: 33238630 markings, 96010183 edges, 112427 markings/sec, 295 secs
lola: 33815255 markings, 97676726 edges, 115325 markings/sec, 300 secs
lola: 34394353 markings, 99359239 edges, 115820 markings/sec, 305 secs
lola: 34922595 markings, 100888673 edges, 105648 markings/sec, 310 secs
lola: 35466505 markings, 102473173 edges, 108782 markings/sec, 315 secs
lola: 36027394 markings, 104105834 edges, 112178 markings/sec, 320 secs
lola: 36591213 markings, 105734756 edges, 112764 markings/sec, 325 secs
lola: 37163599 markings, 107383929 edges, 114477 markings/sec, 330 secs
lola: 37701259 markings, 108962141 edges, 107532 markings/sec, 335 secs
lola: 38225081 markings, 110514781 edges, 104764 markings/sec, 340 secs
lola: 38749156 markings, 112054279 edges, 104815 markings/sec, 345 secs
lola: 39315954 markings, 113681679 edges, 113360 markings/sec, 350 secs
lola: 39867597 markings, 115257944 edges, 110329 markings/sec, 355 secs
lola: 40430226 markings, 116883935 edges, 112526 markings/sec, 360 secs
lola: 40995474 markings, 118507540 edges, 113050 markings/sec, 365 secs
lola: 41543633 markings, 120088763 edges, 109632 markings/sec, 370 secs
lola: 42081648 markings, 121653164 edges, 107603 markings/sec, 375 secs
lola: 42618209 markings, 123209631 edges, 107312 markings/sec, 380 secs
lola: 43148695 markings, 124767134 edges, 106097 markings/sec, 385 secs
lola: 43687750 markings, 126317979 edges, 107811 markings/sec, 390 secs
lola: 44222111 markings, 127864355 edges, 106872 markings/sec, 395 secs
lola: 44755737 markings, 129400022 edges, 106725 markings/sec, 400 secs
lola: 45317454 markings, 131033102 edges, 112343 markings/sec, 405 secs
lola: 45869031 markings, 132624917 edges, 110315 markings/sec, 410 secs
lola: 46414061 markings, 134201351 edges, 109006 markings/sec, 415 secs
lola: 46955949 markings, 135758027 edges, 108378 markings/sec, 420 secs
lola: 47488958 markings, 137306735 edges, 106602 markings/sec, 425 secs
lola: 48035418 markings, 138896668 edges, 109292 markings/sec, 430 secs
lola: 48560373 markings, 140435146 edges, 104991 markings/sec, 435 secs
lola: 49082994 markings, 141940841 edges, 104524 markings/sec, 440 secs
lola: 49612085 markings, 143486278 edges, 105818 markings/sec, 445 secs
lola: 50145422 markings, 145043626 edges, 106667 markings/sec, 450 secs
lola: 50679617 markings, 146581512 edges, 106839 markings/sec, 455 secs
lola: 51210273 markings, 148117483 edges, 106131 markings/sec, 460 secs
lola: 51753820 markings, 149696512 edges, 108709 markings/sec, 465 secs
lola: 52319799 markings, 151336680 edges, 113196 markings/sec, 470 secs
lola: 52835080 markings, 152829806 edges, 103056 markings/sec, 475 secs
lola: 53357307 markings, 154353642 edges, 104445 markings/sec, 480 secs
lola: 53886825 markings, 155879606 edges, 105904 markings/sec, 485 secs
lola: 54408273 markings, 157395194 edges, 104290 markings/sec, 490 secs
lola: 54943519 markings, 158940140 edges, 107049 markings/sec, 495 secs
lola: 55484422 markings, 160527252 edges, 108181 markings/sec, 500 secs
lola: 56003755 markings, 162054329 edges, 103867 markings/sec, 505 secs
lola: 56543976 markings, 163624947 edges, 108044 markings/sec, 510 secs
lola: 57062437 markings, 165135124 edges, 103692 markings/sec, 515 secs
lola: 57587496 markings, 166668895 edges, 105012 markings/sec, 520 secs
lola: 58131003 markings, 168259680 edges, 108701 markings/sec, 525 secs
lola: 58673866 markings, 169850136 edges, 108573 markings/sec, 530 secs
lola: 58875938 markings, 170431196 edges, 40414 markings/sec, 535 secs
lola: 58881830 markings, 170448713 edges, 1178 markings/sec, 540 secs
lola: 58886742 markings, 170463183 edges, 982 markings/sec, 545 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Diffusion2D-PT-D05N050-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N050-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: 634827 markings, 1706619 edges, 126965 markings/sec, 0 secs
lola: 1229766 markings, 3357883 edges, 118988 markings/sec, 5 secs
lola: 1836553 markings, 4991474 edges, 121357 markings/sec, 10 secs
lola: 2441592 markings, 6625688 edges, 121008 markings/sec, 15 secs
lola: 3005804 markings, 8223523 edges, 112842 markings/sec, 20 secs
lola: 3598450 markings, 9834528 edges, 118529 markings/sec, 25 secs
lola: 4176213 markings, 11432181 edges, 115553 markings/sec, 30 secs
lola: 4773985 markings, 13052116 edges, 119554 markings/sec, 35 secs
lola: 5375026 markings, 14669539 edges, 120208 markings/sec, 40 secs
lola: 5976562 markings, 16291735 edges, 120307 markings/sec, 45 secs
lola: 6567510 markings, 17883570 edges, 118190 markings/sec, 50 secs
lola: 7162572 markings, 19484858 edges, 119012 markings/sec, 55 secs
lola: 7752001 markings, 21073489 edges, 117886 markings/sec, 60 secs
lola: 8327238 markings, 22653600 edges, 115047 markings/sec, 65 secs
lola: 8910556 markings, 24223042 edges, 116664 markings/sec, 70 secs
lola: 9497245 markings, 25799959 edges, 117338 markings/sec, 75 secs
lola: 10079261 markings, 27376610 edges, 116403 markings/sec, 80 secs
lola: 10655678 markings, 28927516 edges, 115283 markings/sec, 85 secs
lola: 11241872 markings, 30504383 edges, 117239 markings/sec, 90 secs
lola: 11821324 markings, 32069538 edges, 115890 markings/sec, 95 secs
lola: 12392965 markings, 33612851 edges, 114328 markings/sec, 100 secs
lola: 12962813 markings, 35145739 edges, 113970 markings/sec, 105 secs
lola: 13536630 markings, 36688108 edges, 114763 markings/sec, 110 secs
lola: 14092063 markings, 38250448 edges, 111087 markings/sec, 115 secs
lola: 14660794 markings, 39819586 edges, 113746 markings/sec, 120 secs
lola: 15242063 markings, 41383401 edges, 116254 markings/sec, 125 secs
lola: 15841773 markings, 42995810 edges, 119942 markings/sec, 130 secs
lola: 16425975 markings, 44611415 edges, 116840 markings/sec, 135 secs
lola: 17013462 markings, 46213068 edges, 117497 markings/sec, 140 secs
lola: 17624286 markings, 47856026 edges, 122165 markings/sec, 145 secs
lola: 18209149 markings, 49452968 edges, 116973 markings/sec, 150 secs
lola: 18807530 markings, 51063539 edges, 119676 markings/sec, 155 secs
lola: 19398700 markings, 52682509 edges, 118234 markings/sec, 160 secs
lola: 19954898 markings, 54265865 edges, 111240 markings/sec, 165 secs
lola: 20539050 markings, 55838109 edges, 116830 markings/sec, 170 secs
lola: 21129711 markings, 57426791 edges, 118132 markings/sec, 175 secs
lola: 21699650 markings, 59010690 edges, 113988 markings/sec, 180 secs
lola: 22256148 markings, 60552286 edges, 111300 markings/sec, 185 secs
lola: 22826217 markings, 62086113 edges, 114014 markings/sec, 190 secs
lola: 23409980 markings, 63655674 edges, 116753 markings/sec, 195 secs
lola: 23967825 markings, 65230039 edges, 111569 markings/sec, 200 secs
lola: 24515289 markings, 66772978 edges, 109493 markings/sec, 205 secs
lola: 25105989 markings, 68363441 edges, 118140 markings/sec, 210 secs
lola: 25714488 markings, 70000331 edges, 121700 markings/sec, 215 secs
lola: 26317373 markings, 71652472 edges, 120577 markings/sec, 220 secs
lola: time limit reached - aborting
lola:
preliminary result: 50 unknown 50 50 50 unknown unknown 50 50 50 50 50 50 50 50 unknown
lola:
preliminary result: 50 unknown 50 50 50 unknown unknown 50 50 50 50 50 50 50 50 unknown
lola: memory consumption: 6114832 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 unknown 50 50 50 unknown unknown 50 50 50 50 50 50 50 50 unknown

BK_TIME_CONFINEMENT_REACHED

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

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Diffusion2D-PT-D05N050"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is Diffusion2D-PT-D05N050, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r066-ebro-155234666400004"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D05N050.tgz
mv Diffusion2D-PT-D05N050 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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 ;