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-155234666400025.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-D10N010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r066-ebro-155234666400025
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 408K
-rw-r--r-- 1 mcc users 3.3K Feb 10 21:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 10 21:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 6 17:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 6 17:51 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 2.6K Feb 4 23:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 3 07:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 3 07:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 23:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 30 23:44 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 255K 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-D10N010-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552912848674

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D10N010 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D10N010 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D10N010 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 784/65536 symbol table entries, 37 collisions
lola: preprocessing...
lola: Size of bit vector: 3200
lola: finding significant places
lola: 100 places, 684 transitions, 99 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 100 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D10N010-UpperBounds.task
lola: MAX(cAMP__8_2_) : MAX(cAMP__6_5_) : MAX(cAMP__10_7_) : MAX(cAMP__4_5_) : MAX(cAMP__7_10_) : MAX(cAMP__10_8_) : MAX(cAMP__6_4_) : MAX(cAMP__9_6_) : MAX(cAMP__2_5_) : MAX(cAMP__1_2_) : MAX(cAMP__6_3_) : MAX(cAMP__10_8_) : MAX(cAMP__1_10_) : MAX(cAMP__6_1_) : MAX(cAMP__5_5_) : MAX(cAMP__6_3_)
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__8_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_2_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 10
lola: 118494 markings, 399667 edges, 23699 markings/sec, 0 secs
lola: 237672 markings, 811139 edges, 23836 markings/sec, 5 secs
lola: 358922 markings, 1217137 edges, 24250 markings/sec, 10 secs
lola: 479064 markings, 1627400 edges, 24028 markings/sec, 15 secs
lola: 600321 markings, 2022092 edges, 24251 markings/sec, 20 secs
lola: 719695 markings, 2432013 edges, 23875 markings/sec, 25 secs
lola: 838112 markings, 2838037 edges, 23683 markings/sec, 30 secs
lola: 954815 markings, 3240479 edges, 23341 markings/sec, 35 secs
lola: 1072723 markings, 3641968 edges, 23582 markings/sec, 40 secs
lola: 1189380 markings, 4033054 edges, 23331 markings/sec, 45 secs
lola: 1302275 markings, 4430481 edges, 22579 markings/sec, 50 secs
lola: 1417465 markings, 4835480 edges, 23038 markings/sec, 55 secs
lola: 1534014 markings, 5224503 edges, 23310 markings/sec, 60 secs
lola: 1655131 markings, 5606877 edges, 24223 markings/sec, 65 secs
lola: 1773432 markings, 6006521 edges, 23660 markings/sec, 70 secs
lola: 1893411 markings, 6394731 edges, 23996 markings/sec, 75 secs
lola: 2015597 markings, 6788331 edges, 24437 markings/sec, 80 secs
lola: 2135182 markings, 7182749 edges, 23917 markings/sec, 85 secs
lola: 2254483 markings, 7570333 edges, 23860 markings/sec, 90 secs
lola: 2373202 markings, 7964893 edges, 23744 markings/sec, 95 secs
lola: 2490627 markings, 8366227 edges, 23485 markings/sec, 100 secs
lola: 2608409 markings, 8756406 edges, 23556 markings/sec, 105 secs
lola: 2725716 markings, 9154223 edges, 23461 markings/sec, 110 secs
lola: 2844362 markings, 9554015 edges, 23729 markings/sec, 115 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 2914086 markings, 9768229 edges
lola: ========================================

FORMULA Diffusion2D-PT-D10N010-UpperBounds-0 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 229 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 11 markings, 10 edges

FORMULA Diffusion2D-PT-D10N010-UpperBounds-1 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 246 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_7_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: ========================================
lola: Structural Bound: 10
lola: 127316 markings, 367473 edges, 25463 markings/sec, 0 secs
lola: 254205 markings, 732727 edges, 25378 markings/sec, 5 secs
lola: 380599 markings, 1095208 edges, 25279 markings/sec, 10 secs
lola: 507363 markings, 1455482 edges, 25353 markings/sec, 15 secs
lola: 633722 markings, 1814491 edges, 25272 markings/sec, 20 secs
lola: 760608 markings, 2180351 edges, 25377 markings/sec, 25 secs
lola: 887091 markings, 2550506 edges, 25297 markings/sec, 30 secs
lola: 1013138 markings, 2911134 edges, 25209 markings/sec, 35 secs
lola: 1137471 markings, 3264280 edges, 24867 markings/sec, 40 secs
lola: 1260978 markings, 3621698 edges, 24701 markings/sec, 45 secs
lola: 1385123 markings, 3987371 edges, 24829 markings/sec, 50 secs
lola: 1510828 markings, 4342275 edges, 25141 markings/sec, 55 secs
lola: 1635195 markings, 4703316 edges, 24873 markings/sec, 60 secs
lola: 1760379 markings, 5059752 edges, 25037 markings/sec, 65 secs
lola: 1885801 markings, 5415316 edges, 25084 markings/sec, 70 secs
lola: 2010970 markings, 5774931 edges, 25034 markings/sec, 75 secs
lola: 2135604 markings, 6137236 edges, 24927 markings/sec, 80 secs
lola: 2259312 markings, 6495660 edges, 24742 markings/sec, 85 secs
lola: 2383418 markings, 6849953 edges, 24821 markings/sec, 90 secs
lola: 2507863 markings, 7208504 edges, 24889 markings/sec, 95 secs
lola: 2631833 markings, 7567258 edges, 24794 markings/sec, 100 secs
lola: 2755629 markings, 7920290 edges, 24759 markings/sec, 105 secs
lola: 2881854 markings, 8270698 edges, 25245 markings/sec, 110 secs
lola: 3005696 markings, 8627589 edges, 24768 markings/sec, 115 secs
lola: 3130798 markings, 8984283 edges, 25020 markings/sec, 120 secs
lola: 3253475 markings, 9336663 edges, 24535 markings/sec, 125 secs
lola: 3377262 markings, 9696051 edges, 24757 markings/sec, 130 secs
lola: 3501999 markings, 10049830 edges, 24947 markings/sec, 135 secs
lola: 3626425 markings, 10407411 edges, 24885 markings/sec, 140 secs
lola: 3750922 markings, 10775131 edges, 24899 markings/sec, 145 secs
lola: 3874265 markings, 11121517 edges, 24669 markings/sec, 150 secs
lola: 3995694 markings, 11469944 edges, 24286 markings/sec, 155 secs
lola: 4120688 markings, 11828294 edges, 24999 markings/sec, 160 secs
lola: 4245328 markings, 12187786 edges, 24928 markings/sec, 165 secs
lola: 4370269 markings, 12544709 edges, 24988 markings/sec, 170 secs
lola: 4493292 markings, 12906209 edges, 24605 markings/sec, 175 secs
lola: 4616197 markings, 13266394 edges, 24581 markings/sec, 180 secs
lola: 4739047 markings, 13617616 edges, 24570 markings/sec, 185 secs
lola: 4863178 markings, 13968340 edges, 24826 markings/sec, 190 secs
lola: 4987582 markings, 14327509 edges, 24881 markings/sec, 195 secs
lola: 5112533 markings, 14682983 edges, 24990 markings/sec, 200 secs
lola: 5237162 markings, 15034617 edges, 24926 markings/sec, 205 secs
lola: 5360973 markings, 15394729 edges, 24762 markings/sec, 210 secs
lola: 5483594 markings, 15753007 edges, 24524 markings/sec, 215 secs
lola: 5608048 markings, 16113344 edges, 24891 markings/sec, 220 secs
lola: 5732300 markings, 16477202 edges, 24850 markings/sec, 225 secs
lola: 5854675 markings, 16836788 edges, 24475 markings/sec, 230 secs
lola: 5975919 markings, 17188677 edges, 24249 markings/sec, 235 secs
lola: 6098991 markings, 17543431 edges, 24614 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1830500 KB
lola: time consumption: 369 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 246 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 21 markings, 29 edges
lola: ========================================

FORMULA Diffusion2D-PT-D10N010-UpperBounds-3 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 266 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_10_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 60116 markings, 197403 edges
lola: ========================================

FORMULA Diffusion2D-PT-D10N010-UpperBounds-4 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_8_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 10
lola: 127890 markings, 331953 edges, 25578 markings/sec, 0 secs
lola: 253346 markings, 657323 edges, 25091 markings/sec, 5 secs
lola: 382458 markings, 994014 edges, 25822 markings/sec, 10 secs
lola: 509630 markings, 1328683 edges, 25434 markings/sec, 15 secs
lola: 635702 markings, 1658798 edges, 25214 markings/sec, 20 secs
lola: 763177 markings, 1991420 edges, 25495 markings/sec, 25 secs
lola: 891511 markings, 2325541 edges, 25667 markings/sec, 30 secs
lola: 1019103 markings, 2656507 edges, 25518 markings/sec, 35 secs
lola: 1146362 markings, 2987673 edges, 25452 markings/sec, 40 secs
lola: 1273055 markings, 3321200 edges, 25339 markings/sec, 45 secs
lola: 1399971 markings, 3652085 edges, 25383 markings/sec, 50 secs
lola: 1527244 markings, 3987392 edges, 25455 markings/sec, 55 secs
lola: 1653551 markings, 4319507 edges, 25261 markings/sec, 60 secs
lola: 1780015 markings, 4656010 edges, 25293 markings/sec, 65 secs
lola: 1905190 markings, 5008354 edges, 25035 markings/sec, 70 secs
lola: 2031559 markings, 5354231 edges, 25274 markings/sec, 75 secs
lola: 2158778 markings, 5695856 edges, 25444 markings/sec, 80 secs
lola: 2284309 markings, 6036734 edges, 25106 markings/sec, 85 secs
lola: 2408954 markings, 6383273 edges, 24929 markings/sec, 90 secs
lola: 2533369 markings, 6719456 edges, 24883 markings/sec, 95 secs
lola: 2657819 markings, 7062148 edges, 24890 markings/sec, 100 secs
lola: 2783557 markings, 7412130 edges, 25148 markings/sec, 105 secs
lola: 2910422 markings, 7750157 edges, 25373 markings/sec, 110 secs
lola: 3035907 markings, 8092193 edges, 25097 markings/sec, 115 secs
lola: 3160672 markings, 8426137 edges, 24953 markings/sec, 120 secs
lola: 3285365 markings, 8754526 edges, 24939 markings/sec, 125 secs
lola: 3409164 markings, 9081418 edges, 24760 markings/sec, 130 secs
lola: 3532965 markings, 9416185 edges, 24760 markings/sec, 135 secs
lola: 3656515 markings, 9763952 edges, 24710 markings/sec, 140 secs
lola: 3781218 markings, 10114850 edges, 24941 markings/sec, 145 secs
lola: 3906090 markings, 10456585 edges, 24974 markings/sec, 150 secs
lola: 4030366 markings, 10796910 edges, 24855 markings/sec, 155 secs
lola: 4156148 markings, 11134110 edges, 25156 markings/sec, 160 secs
lola: 4280828 markings, 11467192 edges, 24936 markings/sec, 165 secs
lola: 4405534 markings, 11796621 edges, 24941 markings/sec, 170 secs
lola: 4529731 markings, 12135475 edges, 24839 markings/sec, 175 secs
lola: 4653649 markings, 12474479 edges, 24784 markings/sec, 180 secs
lola: 4778409 markings, 12819790 edges, 24952 markings/sec, 185 secs
lola: 4902856 markings, 13172515 edges, 24889 markings/sec, 190 secs
lola: 5029248 markings, 13510602 edges, 25278 markings/sec, 195 secs
lola: 5152034 markings, 13849909 edges, 24557 markings/sec, 200 secs
lola: 5275685 markings, 14184104 edges, 24730 markings/sec, 205 secs
lola: 5401145 markings, 14517112 edges, 25092 markings/sec, 210 secs
lola: 5527167 markings, 14849429 edges, 25204 markings/sec, 215 secs
lola: 5648956 markings, 15183999 edges, 24358 markings/sec, 220 secs
lola: 5772085 markings, 15516804 edges, 24626 markings/sec, 225 secs
lola: 5891371 markings, 15843261 edges, 23857 markings/sec, 230 secs
lola: 6015082 markings, 16176014 edges, 24742 markings/sec, 235 secs
lola: 6138295 markings, 16510803 edges, 24643 markings/sec, 240 secs
lola: 6265422 markings, 16851152 edges, 25425 markings/sec, 245 secs
lola: 6391097 markings, 17193563 edges, 25135 markings/sec, 250 secs
lola: 6515492 markings, 17523447 edges, 24879 markings/sec, 255 secs
lola: 6638240 markings, 17849759 edges, 24550 markings/sec, 260 secs
lola: 6761411 markings, 18178776 edges, 24634 markings/sec, 265 secs
lola: 6885129 markings, 18503255 edges, 24744 markings/sec, 270 secs
lola: 7006439 markings, 18820063 edges, 24262 markings/sec, 275 secs
lola: 7129398 markings, 19141167 edges, 24592 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 10 unknown 10 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 10 10 unknown 10 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2083852 KB
lola: time consumption: 662 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 21 markings, 20 edges
lola: ========================================

FORMULA Diffusion2D-PT-D10N010-UpperBounds-6 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_6_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 83229 markings, 295248 edges
lola: ========================================

FORMULA Diffusion2D-PT-D10N010-UpperBounds-7 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 363 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-D10N010-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: 10
lola: 122621 markings, 446103 edges, 24524 markings/sec, 0 secs
lola: 243828 markings, 903531 edges, 24241 markings/sec, 5 secs
lola: 364510 markings, 1361667 edges, 24136 markings/sec, 10 secs
lola: 486106 markings, 1810877 edges, 24319 markings/sec, 15 secs
lola: 606680 markings, 2266672 edges, 24115 markings/sec, 20 secs
lola: 727096 markings, 2713714 edges, 24083 markings/sec, 25 secs
lola: 845815 markings, 3168518 edges, 23744 markings/sec, 30 secs
lola: 966506 markings, 3636652 edges, 24138 markings/sec, 35 secs
lola: 1087065 markings, 4109909 edges, 24112 markings/sec, 40 secs
lola: 1207309 markings, 4568635 edges, 24049 markings/sec, 45 secs
lola: 1328423 markings, 5021556 edges, 24223 markings/sec, 50 secs
lola: 1448850 markings, 5485402 edges, 24085 markings/sec, 55 secs
lola: 1569293 markings, 5949157 edges, 24089 markings/sec, 60 secs
lola: 1687511 markings, 6394407 edges, 23644 markings/sec, 65 secs
lola: 1807503 markings, 6843115 edges, 23998 markings/sec, 70 secs
lola: 1927965 markings, 7287135 edges, 24092 markings/sec, 75 secs
lola: 2045857 markings, 7730356 edges, 23578 markings/sec, 80 secs
lola: 2162989 markings, 8181206 edges, 23426 markings/sec, 85 secs
lola: 2280444 markings, 8630066 edges, 23491 markings/sec, 90 secs
lola: 2398129 markings, 9081760 edges, 23537 markings/sec, 95 secs
lola: 2516288 markings, 9523303 edges, 23632 markings/sec, 100 secs
lola: 2629614 markings, 9949066 edges, 22665 markings/sec, 105 secs
lola: 2748414 markings, 10401372 edges, 23760 markings/sec, 110 secs
lola: 2864554 markings, 10854195 edges, 23228 markings/sec, 115 secs
lola: 2981696 markings, 11301354 edges, 23428 markings/sec, 120 secs
lola: 3097504 markings, 11758782 edges, 23162 markings/sec, 125 secs
lola: 3214466 markings, 12209454 edges, 23392 markings/sec, 130 secs
lola: 3331016 markings, 12649046 edges, 23310 markings/sec, 135 secs
lola: 3447428 markings, 13090870 edges, 23282 markings/sec, 140 secs
lola: 3562008 markings, 13522378 edges, 22916 markings/sec, 145 secs
lola: 3680999 markings, 13965503 edges, 23798 markings/sec, 150 secs
lola: 3800227 markings, 14420674 edges, 23846 markings/sec, 155 secs
lola: 3919217 markings, 14867070 edges, 23798 markings/sec, 160 secs
lola: 4039602 markings, 15329355 edges, 24077 markings/sec, 165 secs
lola: 4156672 markings, 15778913 edges, 23414 markings/sec, 170 secs
lola: 4275325 markings, 16231011 edges, 23731 markings/sec, 175 secs
lola: 4394183 markings, 16670366 edges, 23772 markings/sec, 180 secs
lola: 4512908 markings, 17117962 edges, 23745 markings/sec, 185 secs
lola: 4632999 markings, 17571087 edges, 24018 markings/sec, 190 secs
lola: 4753099 markings, 18019734 edges, 24020 markings/sec, 195 secs
lola: 4873553 markings, 18478556 edges, 24091 markings/sec, 200 secs
lola: 4990881 markings, 18922838 edges, 23466 markings/sec, 205 secs
lola: 5110506 markings, 19364593 edges, 23925 markings/sec, 210 secs
lola: 5229133 markings, 19805806 edges, 23725 markings/sec, 215 secs
lola: 5347785 markings, 20247958 edges, 23730 markings/sec, 220 secs
lola: 5470329 markings, 20705203 edges, 24509 markings/sec, 225 secs
lola: 5590457 markings, 21150518 edges, 24026 markings/sec, 230 secs
lola: 5706368 markings, 21595348 edges, 23182 markings/sec, 235 secs
lola: 5821644 markings, 22026136 edges, 23055 markings/sec, 240 secs
lola: 5939631 markings, 22462766 edges, 23597 markings/sec, 245 secs
lola: 6058600 markings, 22910588 edges, 23794 markings/sec, 250 secs
lola: 6177956 markings, 23362804 edges, 23871 markings/sec, 255 secs
lola: 6295940 markings, 23818145 edges, 23597 markings/sec, 260 secs
lola: 6413759 markings, 24284903 edges, 23564 markings/sec, 265 secs
lola: 6531062 markings, 24733703 edges, 23461 markings/sec, 270 secs
lola: 6647513 markings, 25181077 edges, 23290 markings/sec, 275 secs
lola: 6765146 markings, 25632307 edges, 23527 markings/sec, 280 secs
lola: 6883879 markings, 26093455 edges, 23747 markings/sec, 285 secs
lola: 7002763 markings, 26562348 edges, 23777 markings/sec, 290 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 7045442 markings, 26734361 edges
lola: ========================================

FORMULA Diffusion2D-PT-D10N010-UpperBounds-8 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_2_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 66316 markings, 232113 edges
lola: ========================================

FORMULA Diffusion2D-PT-D10N010-UpperBounds-9 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 434 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 10
lola: 126166 markings, 380923 edges, 25233 markings/sec, 0 secs
lola: 251767 markings, 759232 edges, 25120 markings/sec, 5 secs
lola: 376995 markings, 1131592 edges, 25046 markings/sec, 10 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 440850 markings, 1326301 edges
lola: ========================================

FORMULA Diffusion2D-PT-D10N010-UpperBounds-10 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 517 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_8_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 10
lola: 128571 markings, 333694 edges, 25714 markings/sec, 0 secs
lola: 258298 markings, 669933 edges, 25945 markings/sec, 5 secs
lola: 386864 markings, 1005240 edges, 25713 markings/sec, 10 secs
lola: 514377 markings, 1341311 edges, 25503 markings/sec, 15 secs
lola: 641051 markings, 1672073 edges, 25335 markings/sec, 20 secs
lola: 768131 markings, 2004688 edges, 25416 markings/sec, 25 secs
lola: 895898 markings, 2336429 edges, 25553 markings/sec, 30 secs
lola: 1022550 markings, 2665655 edges, 25330 markings/sec, 35 secs
lola: 1149190 markings, 2994822 edges, 25328 markings/sec, 40 secs
lola: 1275225 markings, 3326855 edges, 25207 markings/sec, 45 secs
lola: 1400054 markings, 3652271 edges, 24966 markings/sec, 50 secs
lola: 1526724 markings, 3986049 edges, 25334 markings/sec, 55 secs
lola: 1651652 markings, 4313966 edges, 24986 markings/sec, 60 secs
lola: 1777017 markings, 4647959 edges, 25073 markings/sec, 65 secs
lola: 1896923 markings, 4983338 edges, 23981 markings/sec, 70 secs
lola: 2021660 markings, 5325916 edges, 24947 markings/sec, 75 secs
lola: 2147413 markings, 5665601 edges, 25151 markings/sec, 80 secs
lola: 2271564 markings, 6001259 edges, 24830 markings/sec, 85 secs
lola: 2391859 markings, 6336768 edges, 24059 markings/sec, 90 secs
lola: 2515530 markings, 6667645 edges, 24734 markings/sec, 95 secs
lola: 2638538 markings, 7009844 edges, 24602 markings/sec, 100 secs
lola: 2762241 markings, 7354362 edges, 24741 markings/sec, 105 secs
lola: 2887325 markings, 7687974 edges, 25017 markings/sec, 110 secs
lola: 3012112 markings, 8028516 edges, 24957 markings/sec, 115 secs
lola: 3136889 markings, 8363425 edges, 24955 markings/sec, 120 secs
lola: 3261688 markings, 8690904 edges, 24960 markings/sec, 125 secs
lola: 3387689 markings, 9022999 edges, 25200 markings/sec, 130 secs
lola: 3512500 markings, 9361481 edges, 24962 markings/sec, 135 secs
lola: 3636525 markings, 9704637 edges, 24805 markings/sec, 140 secs
lola: 3760349 markings, 10060516 edges, 24765 markings/sec, 145 secs
lola: 3885101 markings, 10397503 edges, 24950 markings/sec, 150 secs
lola: 4009992 markings, 10741309 edges, 24978 markings/sec, 155 secs
lola: 4135833 markings, 11080910 edges, 25168 markings/sec, 160 secs
lola: 4260516 markings, 11413320 edges, 24937 markings/sec, 165 secs
lola: 4383731 markings, 11739219 edges, 24643 markings/sec, 170 secs
lola: 4507283 markings, 12074962 edges, 24710 markings/sec, 175 secs
lola: 4631139 markings, 12412251 edges, 24771 markings/sec, 180 secs
lola: 4755781 markings, 12756057 edges, 24928 markings/sec, 185 secs
lola: 4880107 markings, 13111415 edges, 24865 markings/sec, 190 secs
lola: 5007788 markings, 13449615 edges, 25536 markings/sec, 195 secs
lola: 5132643 markings, 13796480 edges, 24971 markings/sec, 200 secs
lola: 5258865 markings, 14138207 edges, 25244 markings/sec, 205 secs
lola: 5384849 markings, 14475381 edges, 25197 markings/sec, 210 secs
lola: 5511479 markings, 14807056 edges, 25326 markings/sec, 215 secs
lola: 5636025 markings, 15148106 edges, 24909 markings/sec, 220 secs
lola: 5759292 markings, 15482358 edges, 24653 markings/sec, 225 secs
lola: 5882942 markings, 15821686 edges, 24730 markings/sec, 230 secs
lola: 6008409 markings, 16156446 edges, 25093 markings/sec, 235 secs
lola: 6133372 markings, 16498431 edges, 24993 markings/sec, 240 secs
lola: 6260788 markings, 16838158 edges, 25483 markings/sec, 245 secs
lola: 6387085 markings, 17182986 edges, 25259 markings/sec, 250 secs
lola: 6513031 markings, 17516691 edges, 25189 markings/sec, 255 secs
lola: 6638720 markings, 17850977 edges, 25138 markings/sec, 260 secs
lola: 6764169 markings, 18186185 edges, 25090 markings/sec, 265 secs
lola: 6890244 markings, 18516710 edges, 25215 markings/sec, 270 secs
lola: 7016001 markings, 18845413 edges, 25151 markings/sec, 275 secs
lola: 7141893 markings, 19173538 edges, 25178 markings/sec, 280 secs
lola: 7266643 markings, 19505864 edges, 24950 markings/sec, 285 secs
lola: 7390064 markings, 19834210 edges, 24684 markings/sec, 290 secs
lola: 7513055 markings, 20166586 edges, 24598 markings/sec, 295 secs
lola: 7634692 markings, 20492792 edges, 24327 markings/sec, 300 secs
lola: 7756625 markings, 20831040 edges, 24387 markings/sec, 305 secs
lola: 7880988 markings, 21173627 edges, 24873 markings/sec, 310 secs
lola: 8007606 markings, 21518049 edges, 25324 markings/sec, 315 secs
lola: 8130551 markings, 21850225 edges, 24589 markings/sec, 320 secs
lola: 8253196 markings, 22187124 edges, 24529 markings/sec, 325 secs
lola: 8377101 markings, 22527026 edges, 24781 markings/sec, 330 secs
lola: 8501979 markings, 22862900 edges, 24976 markings/sec, 335 secs
lola: 8626708 markings, 23196150 edges, 24946 markings/sec, 340 secs
lola: 8751250 markings, 23521954 edges, 24908 markings/sec, 345 secs
lola: 8875464 markings, 23850652 edges, 24843 markings/sec, 350 secs
lola: 8999437 markings, 24193722 edges, 24795 markings/sec, 355 secs
lola: 9121630 markings, 24527729 edges, 24439 markings/sec, 360 secs
lola: 9243976 markings, 24856490 edges, 24469 markings/sec, 365 secs
lola: 9365664 markings, 25192639 edges, 24338 markings/sec, 370 secs
lola: 9487100 markings, 25527958 edges, 24287 markings/sec, 375 secs
lola: 9609376 markings, 25859649 edges, 24455 markings/sec, 380 secs
lola: 9732991 markings, 26190513 edges, 24723 markings/sec, 385 secs
lola: 9854473 markings, 26525926 edges, 24296 markings/sec, 390 secs
lola: 9978074 markings, 26856926 edges, 24720 markings/sec, 395 secs
lola: 10099412 markings, 27188776 edges, 24268 markings/sec, 400 secs
lola: 10221780 markings, 27522883 edges, 24474 markings/sec, 405 secs
lola: 10342557 markings, 27863860 edges, 24155 markings/sec, 410 secs
lola: 10467719 markings, 28203371 edges, 25032 markings/sec, 415 secs
lola: 10590920 markings, 28550851 edges, 24640 markings/sec, 420 secs
lola: 10714577 markings, 28901821 edges, 24731 markings/sec, 425 secs
lola: 10839162 markings, 29239123 edges, 24917 markings/sec, 430 secs
lola: 10963680 markings, 29582740 edges, 24904 markings/sec, 435 secs
lola: 11087730 markings, 29914941 edges, 24810 markings/sec, 440 secs
lola: 11210418 markings, 30258147 edges, 24538 markings/sec, 445 secs
lola: 11332525 markings, 30592121 edges, 24421 markings/sec, 450 secs
lola: 11453717 markings, 30929353 edges, 24238 markings/sec, 455 secs
lola: 11577376 markings, 31268483 edges, 24732 markings/sec, 460 secs
lola: 11699485 markings, 31606167 edges, 24422 markings/sec, 465 secs
lola: 11821661 markings, 31940914 edges, 24435 markings/sec, 470 secs
lola: 11945884 markings, 32264981 edges, 24845 markings/sec, 475 secs
lola: 12070798 markings, 32596747 edges, 24983 markings/sec, 480 secs
lola: 12195408 markings, 32935015 edges, 24922 markings/sec, 485 secs
lola: 12320052 markings, 33265496 edges, 24929 markings/sec, 490 secs
lola: 12442958 markings, 33608554 edges, 24581 markings/sec, 495 secs
lola: 12568413 markings, 33949544 edges, 25091 markings/sec, 500 secs
lola: 12693363 markings, 34290234 edges, 24990 markings/sec, 505 secs
lola: 12816206 markings, 34631028 edges, 24569 markings/sec, 510 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 10 unknown 10 10 unknown 10 10 10 10 10 unknown unknown unknown unknown unknown
lola: memory consumption: 3714164 KB
lola: time consumption: 1500 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 517 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_10_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 10
lola: 132217 markings, 358838 edges, 26443 markings/sec, 0 secs
lola: 266069 markings, 718340 edges, 26770 markings/sec, 5 secs
lola: 397964 markings, 1078798 edges, 26379 markings/sec, 10 secs
lola: 534510 markings, 1431906 edges, 27309 markings/sec, 15 secs
lola: 670452 markings, 1788108 edges, 27188 markings/sec, 20 secs
lola: 804684 markings, 2144197 edges, 26846 markings/sec, 25 secs
lola: 939536 markings, 2504960 edges, 26970 markings/sec, 30 secs
lola: 1072972 markings, 2857648 edges, 26687 markings/sec, 35 secs
lola: 1207262 markings, 3209048 edges, 26858 markings/sec, 40 secs
lola: 1343585 markings, 3559545 edges, 27265 markings/sec, 45 secs
lola: 1482501 markings, 3909146 edges, 27783 markings/sec, 50 secs
lola: 1620782 markings, 4257429 edges, 27656 markings/sec, 55 secs
lola: 1759016 markings, 4619114 edges, 27647 markings/sec, 60 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 1846938 markings, 4840963 edges

FORMULA Diffusion2D-PT-D10N010-UpperBounds-12 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 667 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 10
lola: 121894 markings, 422121 edges, 24379 markings/sec, 0 secs
lola: 245609 markings, 830139 edges, 24743 markings/sec, 5 secs
lola: 366442 markings, 1222950 edges, 24167 markings/sec, 10 secs
lola: 490001 markings, 1623268 edges, 24712 markings/sec, 15 secs
lola: 614840 markings, 2030127 edges, 24968 markings/sec, 20 secs
lola: 737767 markings, 2431149 edges, 24585 markings/sec, 25 secs
lola: 859573 markings, 2834335 edges, 24361 markings/sec, 30 secs
lola: 983206 markings, 3246796 edges, 24727 markings/sec, 35 secs
lola: 1107788 markings, 3653532 edges, 24916 markings/sec, 40 secs
lola: 1230117 markings, 4052865 edges, 24466 markings/sec, 45 secs
lola: 1352962 markings, 4452840 edges, 24569 markings/sec, 50 secs
lola: 1477399 markings, 4857188 edges, 24887 markings/sec, 55 secs
lola: 1600670 markings, 5267905 edges, 24654 markings/sec, 60 secs
lola: 1724486 markings, 5674823 edges, 24763 markings/sec, 65 secs
lola: 1848130 markings, 6088425 edges, 24729 markings/sec, 70 secs
lola: 1971570 markings, 6496558 edges, 24688 markings/sec, 75 secs
lola: 2094314 markings, 6899950 edges, 24549 markings/sec, 80 secs
lola: 2215632 markings, 7296647 edges, 24264 markings/sec, 85 secs
lola: 2336951 markings, 7690862 edges, 24264 markings/sec, 90 secs
lola: 2460517 markings, 8092799 edges, 24713 markings/sec, 95 secs
lola: 2584376 markings, 8495159 edges, 24772 markings/sec, 100 secs
lola: 2707220 markings, 8892990 edges, 24569 markings/sec, 105 secs
lola: 2830544 markings, 9292843 edges, 24665 markings/sec, 110 secs
lola: 2953085 markings, 9698028 edges, 24508 markings/sec, 115 secs
lola: 3075427 markings, 10099664 edges, 24468 markings/sec, 120 secs
lola: 3197912 markings, 10505178 edges, 24497 markings/sec, 125 secs
lola: 3321050 markings, 10911650 edges, 24628 markings/sec, 130 secs
lola: 3442599 markings, 11320949 edges, 24310 markings/sec, 135 secs
lola: 3566058 markings, 11729585 edges, 24692 markings/sec, 140 secs
lola: 3687912 markings, 12136653 edges, 24371 markings/sec, 145 secs
lola: 3809095 markings, 12536293 edges, 24237 markings/sec, 150 secs
lola: 3931446 markings, 12941586 edges, 24470 markings/sec, 155 secs
lola: 4054126 markings, 13345033 edges, 24536 markings/sec, 160 secs
lola: 4177663 markings, 13747580 edges, 24707 markings/sec, 165 secs
lola: 4300973 markings, 14149736 edges, 24662 markings/sec, 170 secs
lola: 4424024 markings, 14549507 edges, 24610 markings/sec, 175 secs
lola: 4545502 markings, 14960624 edges, 24296 markings/sec, 180 secs
lola: 4669651 markings, 15369476 edges, 24830 markings/sec, 185 secs
lola: 4794076 markings, 15776782 edges, 24885 markings/sec, 190 secs
lola: 4916669 markings, 16185309 edges, 24519 markings/sec, 195 secs
lola: 5040702 markings, 16596206 edges, 24807 markings/sec, 200 secs
lola: 5163434 markings, 17003617 edges, 24546 markings/sec, 205 secs
lola: 5286573 markings, 17414702 edges, 24628 markings/sec, 210 secs
lola: 5410139 markings, 17824007 edges, 24713 markings/sec, 215 secs
lola: 5532596 markings, 18221158 edges, 24491 markings/sec, 220 secs
lola: 5654073 markings, 18617569 edges, 24295 markings/sec, 225 secs
lola: 5777102 markings, 19021075 edges, 24606 markings/sec, 230 secs
lola: 5900465 markings, 19430541 edges, 24673 markings/sec, 235 secs
lola: 6024550 markings, 19833396 edges, 24817 markings/sec, 240 secs
lola: 6147721 markings, 20240351 edges, 24634 markings/sec, 245 secs
lola: 6271252 markings, 20640760 edges, 24706 markings/sec, 250 secs
lola: 6396043 markings, 21046302 edges, 24958 markings/sec, 255 secs
lola: 6519243 markings, 21447789 edges, 24640 markings/sec, 260 secs
lola: 6641495 markings, 21854662 edges, 24450 markings/sec, 265 secs
lola: 6763879 markings, 22263306 edges, 24477 markings/sec, 270 secs
lola: 6885485 markings, 22671550 edges, 24321 markings/sec, 275 secs
lola: 7008139 markings, 23075098 edges, 24531 markings/sec, 280 secs
lola: 7130592 markings, 23479926 edges, 24491 markings/sec, 285 secs
lola: 7253598 markings, 23881535 edges, 24601 markings/sec, 290 secs
lola: 7376329 markings, 24285882 edges, 24546 markings/sec, 295 secs
lola: 7499120 markings, 24691941 edges, 24558 markings/sec, 300 secs
lola: 7621143 markings, 25094115 edges, 24405 markings/sec, 305 secs
lola: 7744285 markings, 25491943 edges, 24628 markings/sec, 310 secs
lola: 7866562 markings, 25892446 edges, 24455 markings/sec, 315 secs
lola: 7988047 markings, 26301183 edges, 24297 markings/sec, 320 secs
lola: 8110392 markings, 26698243 edges, 24469 markings/sec, 325 secs
lola: 8231288 markings, 27096154 edges, 24179 markings/sec, 330 secs
lola: 8352640 markings, 27501954 edges, 24270 markings/sec, 335 secs
lola: 8472855 markings, 27906917 edges, 24043 markings/sec, 340 secs
lola: 8594760 markings, 28312216 edges, 24381 markings/sec, 345 secs
lola: 8718031 markings, 28712670 edges, 24654 markings/sec, 350 secs
lola: 8840316 markings, 29112931 edges, 24457 markings/sec, 355 secs
lola: 8963089 markings, 29515322 edges, 24555 markings/sec, 360 secs
lola: 9085244 markings, 29922142 edges, 24431 markings/sec, 365 secs
lola: 9208992 markings, 30330485 edges, 24750 markings/sec, 370 secs
lola: 9328837 markings, 30720857 edges, 23969 markings/sec, 375 secs
lola: 9451975 markings, 31126505 edges, 24628 markings/sec, 380 secs
lola: 9575503 markings, 31535702 edges, 24706 markings/sec, 385 secs
lola: 9699120 markings, 31941142 edges, 24723 markings/sec, 390 secs
lola: 9823983 markings, 32343776 edges, 24973 markings/sec, 395 secs
lola: 9946036 markings, 32751251 edges, 24411 markings/sec, 400 secs
lola: 10070087 markings, 33163362 edges, 24810 markings/sec, 405 secs
lola: 10191415 markings, 33566584 edges, 24266 markings/sec, 410 secs
lola: 10310734 markings, 33960092 edges, 23864 markings/sec, 415 secs
lola: 10432228 markings, 34368657 edges, 24299 markings/sec, 420 secs
lola: 10553722 markings, 34765751 edges, 24299 markings/sec, 425 secs
lola: 10677142 markings, 35172501 edges, 24684 markings/sec, 430 secs
lola: 10798348 markings, 35569383 edges, 24241 markings/sec, 435 secs
lola: 10920799 markings, 35976241 edges, 24490 markings/sec, 440 secs
lola: 11044535 markings, 36385314 edges, 24747 markings/sec, 445 secs
lola: 11165551 markings, 36788959 edges, 24203 markings/sec, 450 secs
lola: 11287832 markings, 37192531 edges, 24456 markings/sec, 455 secs
lola: 11409720 markings, 37600160 edges, 24378 markings/sec, 460 secs
lola: 11533011 markings, 38009044 edges, 24658 markings/sec, 465 secs
lola: 11658184 markings, 38414022 edges, 25035 markings/sec, 470 secs
lola: 11780269 markings, 38814164 edges, 24417 markings/sec, 475 secs
lola: 11902000 markings, 39210010 edges, 24346 markings/sec, 480 secs
lola: 12022386 markings, 39612104 edges, 24077 markings/sec, 485 secs
lola: 12142822 markings, 40028282 edges, 24087 markings/sec, 490 secs
lola: 12262395 markings, 40425664 edges, 23915 markings/sec, 495 secs
lola: 12384318 markings, 40825637 edges, 24385 markings/sec, 500 secs
lola: 12506373 markings, 41228944 edges, 24411 markings/sec, 505 secs
lola: 12629168 markings, 41629652 edges, 24559 markings/sec, 510 secs
lola: 12752731 markings, 42030427 edges, 24713 markings/sec, 515 secs
lola: 12875529 markings, 42437788 edges, 24560 markings/sec, 520 secs
lola: 12995817 markings, 42859158 edges, 24058 markings/sec, 525 secs
lola: 13117578 markings, 43271453 edges, 24352 markings/sec, 530 secs
lola: 13241761 markings, 43683684 edges, 24837 markings/sec, 535 secs
lola: 13365918 markings, 44088785 edges, 24831 markings/sec, 540 secs
lola: 13487164 markings, 44487600 edges, 24249 markings/sec, 545 secs
lola: 13610529 markings, 44891472 edges, 24673 markings/sec, 550 secs
lola: 13733125 markings, 45297872 edges, 24519 markings/sec, 555 secs
lola: 13854837 markings, 45710117 edges, 24342 markings/sec, 560 secs
lola: 13976924 markings, 46109466 edges, 24417 markings/sec, 565 secs
lola: 14099533 markings, 46510850 edges, 24522 markings/sec, 570 secs
lola: 14222284 markings, 46915539 edges, 24550 markings/sec, 575 secs
lola: 14344284 markings, 47319172 edges, 24400 markings/sec, 580 secs
lola: 14466888 markings, 47719092 edges, 24521 markings/sec, 585 secs
lola: 14588854 markings, 48120373 edges, 24393 markings/sec, 590 secs
lola: 14710725 markings, 48518790 edges, 24374 markings/sec, 595 secs
lola: 14830668 markings, 48927074 edges, 23989 markings/sec, 600 secs
lola: 14952563 markings, 49332908 edges, 24379 markings/sec, 605 secs
lola: 15074893 markings, 49730893 edges, 24466 markings/sec, 610 secs
lola: 15197303 markings, 50130658 edges, 24482 markings/sec, 615 secs
lola: 15319270 markings, 50536854 edges, 24393 markings/sec, 620 secs
lola: 15442032 markings, 50940352 edges, 24552 markings/sec, 625 secs
lola: 15564912 markings, 51350205 edges, 24576 markings/sec, 630 secs
lola: 15687758 markings, 51766893 edges, 24569 markings/sec, 635 secs
lola: 15809660 markings, 52165384 edges, 24380 markings/sec, 640 secs
lola: 15933053 markings, 52569711 edges, 24679 markings/sec, 645 secs
lola: 16055552 markings, 52977945 edges, 24500 markings/sec, 650 secs
lola: 16177065 markings, 53385789 edges, 24303 markings/sec, 655 secs
lola: 16298000 markings, 53798028 edges, 24187 markings/sec, 660 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 10 unknown 10 10 unknown 10 10 10 10 10 unknown 10 unknown unknown unknown
lola: memory consumption: 4242932 KB
lola: time consumption: 2236 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 666 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-D10N010-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 11 markings, 10 edges
lola: ========================================

FORMULA Diffusion2D-PT-D10N010-UpperBounds-14 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1333 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 10
lola: 127209 markings, 384027 edges, 25442 markings/sec, 0 secs
lola: 253331 markings, 763771 edges, 25224 markings/sec, 5 secs
lola: 380156 markings, 1140315 edges, 25365 markings/sec, 10 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 440850 markings, 1326301 edges
lola: ========================================

FORMULA Diffusion2D-PT-D10N010-UpperBounds-15 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_7_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 10
lola: 127600 markings, 368320 edges, 25520 markings/sec, 0 secs
lola: 255724 markings, 736982 edges, 25625 markings/sec, 5 secs
lola: 382782 markings, 1101483 edges, 25412 markings/sec, 10 secs
lola: 509762 markings, 1462062 edges, 25396 markings/sec, 15 secs
lola: 637333 markings, 1824894 edges, 25514 markings/sec, 20 secs
lola: 765014 markings, 2193800 edges, 25536 markings/sec, 25 secs
lola: 892467 markings, 2567113 edges, 25491 markings/sec, 30 secs
lola: 1019520 markings, 2928508 edges, 25411 markings/sec, 35 secs
lola: 1145637 markings, 3289090 edges, 25223 markings/sec, 40 secs
lola: 1272035 markings, 3653008 edges, 25280 markings/sec, 45 secs
lola: 1397744 markings, 4024525 edges, 25142 markings/sec, 50 secs
lola: 1525197 markings, 4382975 edges, 25491 markings/sec, 55 secs
lola: 1650831 markings, 4749103 edges, 25127 markings/sec, 60 secs
lola: 1778050 markings, 5108858 edges, 25444 markings/sec, 65 secs
lola: 1904635 markings, 5468819 edges, 25317 markings/sec, 70 secs
lola: 2031248 markings, 5835156 edges, 25323 markings/sec, 75 secs
lola: 2157221 markings, 6201556 edges, 25195 markings/sec, 80 secs
lola: 2283943 markings, 6562829 edges, 25344 markings/sec, 85 secs
lola: 2409778 markings, 6928168 edges, 25167 markings/sec, 90 secs
lola: 2535314 markings, 7287601 edges, 25107 markings/sec, 95 secs
lola: 2660905 markings, 7649303 edges, 25118 markings/sec, 100 secs
lola: 2787358 markings, 8011399 edges, 25291 markings/sec, 105 secs
lola: 2914215 markings, 8363963 edges, 25371 markings/sec, 110 secs
lola: 3040831 markings, 8729117 edges, 25323 markings/sec, 115 secs
lola: 3167250 markings, 9089672 edges, 25284 markings/sec, 120 secs
lola: 3292478 markings, 9448112 edges, 25046 markings/sec, 125 secs
lola: 3417977 markings, 9814482 edges, 25100 markings/sec, 130 secs
lola: 3543742 markings, 10172320 edges, 25153 markings/sec, 135 secs
lola: 3670251 markings, 10535355 edges, 25302 markings/sec, 140 secs
lola: 3795775 markings, 10899990 edges, 25105 markings/sec, 145 secs
lola: 3920633 markings, 11256763 edges, 24972 markings/sec, 150 secs
lola: 4046076 markings, 11615577 edges, 25089 markings/sec, 155 secs
lola: 4172846 markings, 11980404 edges, 25354 markings/sec, 160 secs
lola: 4299439 markings, 12341252 edges, 25319 markings/sec, 165 secs
lola: 4425368 markings, 12704494 edges, 25186 markings/sec, 170 secs
lola: 4550405 markings, 13072574 edges, 25007 markings/sec, 175 secs
lola: 4674485 markings, 13434697 edges, 24816 markings/sec, 180 secs
lola: 4799987 markings, 13787126 edges, 25100 markings/sec, 185 secs
lola: 4926015 markings, 14149817 edges, 25206 markings/sec, 190 secs
lola: 5051843 markings, 14511004 edges, 25166 markings/sec, 195 secs
lola: 5178823 markings, 14864715 edges, 25396 markings/sec, 200 secs
lola: 5303294 markings, 15227894 edges, 24894 markings/sec, 205 secs
lola: 5428234 markings, 15591060 edges, 24988 markings/sec, 210 secs
lola: 5553594 markings, 15956423 edges, 25072 markings/sec, 215 secs
lola: 5678516 markings, 16320940 edges, 24984 markings/sec, 220 secs
lola: 5802191 markings, 16684444 edges, 24735 markings/sec, 225 secs
lola: 5926544 markings, 17044909 edges, 24871 markings/sec, 230 secs
lola: 6051593 markings, 17406686 edges, 25010 markings/sec, 235 secs
lola: 6177381 markings, 17770130 edges, 25158 markings/sec, 240 secs
lola: 6301817 markings, 18136456 edges, 24887 markings/sec, 245 secs
lola: 6426097 markings, 18497301 edges, 24856 markings/sec, 250 secs
lola: 6550208 markings, 18859362 edges, 24822 markings/sec, 255 secs
lola: 6674931 markings, 19218742 edges, 24945 markings/sec, 260 secs
lola: 6799801 markings, 19579672 edges, 24974 markings/sec, 265 secs
lola: 6924475 markings, 19944656 edges, 24935 markings/sec, 270 secs
lola: 7049731 markings, 20307937 edges, 25051 markings/sec, 275 secs
lola: 7175099 markings, 20675009 edges, 25074 markings/sec, 280 secs
lola: 7300476 markings, 21032144 edges, 25075 markings/sec, 285 secs
lola: 7425747 markings, 21392591 edges, 25054 markings/sec, 290 secs
lola: 7550430 markings, 21754007 edges, 24937 markings/sec, 295 secs
lola: 7675335 markings, 22118654 edges, 24981 markings/sec, 300 secs
lola: 7800037 markings, 22478981 edges, 24940 markings/sec, 305 secs
lola: 7926082 markings, 22842480 edges, 25209 markings/sec, 310 secs
lola: 8050287 markings, 23201046 edges, 24841 markings/sec, 315 secs
lola: 8175020 markings, 23559318 edges, 24947 markings/sec, 320 secs
lola: 8299547 markings, 23916556 edges, 24905 markings/sec, 325 secs
lola: 8424238 markings, 24274757 edges, 24938 markings/sec, 330 secs
lola: 8548456 markings, 24639124 edges, 24844 markings/sec, 335 secs
lola: 8672848 markings, 25003404 edges, 24878 markings/sec, 340 secs
lola: 8796968 markings, 25367124 edges, 24824 markings/sec, 345 secs
lola: 8921561 markings, 25722423 edges, 24919 markings/sec, 350 secs
lola: 9045460 markings, 26086689 edges, 24780 markings/sec, 355 secs
lola: 9169456 markings, 26442377 edges, 24799 markings/sec, 360 secs
lola: 9292956 markings, 26803843 edges, 24700 markings/sec, 365 secs
lola: 9416751 markings, 27163538 edges, 24759 markings/sec, 370 secs
lola: 9540886 markings, 27521563 edges, 24827 markings/sec, 375 secs
lola: 9666446 markings, 27879274 edges, 25112 markings/sec, 380 secs
lola: 9792497 markings, 28237636 edges, 25210 markings/sec, 385 secs
lola: 9917681 markings, 28598619 edges, 25037 markings/sec, 390 secs
lola: 10041128 markings, 28956870 edges, 24689 markings/sec, 395 secs
lola: 10168401 markings, 29314077 edges, 25455 markings/sec, 400 secs
lola: 10296287 markings, 29678536 edges, 25577 markings/sec, 405 secs
lola: 10421229 markings, 30038000 edges, 24988 markings/sec, 410 secs
lola: 10545483 markings, 30394993 edges, 24851 markings/sec, 415 secs
lola: 10669155 markings, 30749099 edges, 24734 markings/sec, 420 secs
lola: 10792812 markings, 31103665 edges, 24731 markings/sec, 425 secs
lola: 10917606 markings, 31457559 edges, 24959 markings/sec, 430 secs
lola: 11040778 markings, 31816091 edges, 24634 markings/sec, 435 secs
lola: 11164907 markings, 32179785 edges, 24826 markings/sec, 440 secs
lola: 11289784 markings, 32545888 edges, 24975 markings/sec, 445 secs
lola: 11414400 markings, 32908832 edges, 24923 markings/sec, 450 secs
lola: 11538670 markings, 33270038 edges, 24854 markings/sec, 455 secs
lola: 11662573 markings, 33632555 edges, 24781 markings/sec, 460 secs
lola: 11785569 markings, 33991905 edges, 24599 markings/sec, 465 secs
lola: 11908342 markings, 34356016 edges, 24555 markings/sec, 470 secs
lola: 12031096 markings, 34720052 edges, 24551 markings/sec, 475 secs
lola: 12153784 markings, 35075354 edges, 24538 markings/sec, 480 secs
lola: 12273111 markings, 35431372 edges, 23865 markings/sec, 485 secs
lola: 12395331 markings, 35791092 edges, 24444 markings/sec, 490 secs
lola: 12517888 markings, 36142375 edges, 24511 markings/sec, 495 secs
lola: 12640213 markings, 36500427 edges, 24465 markings/sec, 500 secs
lola: 12763687 markings, 36843001 edges, 24695 markings/sec, 505 secs
lola: 12886397 markings, 37199127 edges, 24542 markings/sec, 510 secs
lola: 13009330 markings, 37561239 edges, 24587 markings/sec, 515 secs
lola: 13131831 markings, 37927355 edges, 24500 markings/sec, 520 secs
lola: 13256202 markings, 38289967 edges, 24874 markings/sec, 525 secs
lola: 13378138 markings, 38646176 edges, 24387 markings/sec, 530 secs
lola: 13499969 markings, 39000537 edges, 24366 markings/sec, 535 secs
lola: 13621813 markings, 39353217 edges, 24369 markings/sec, 540 secs
lola: 13744843 markings, 39713337 edges, 24606 markings/sec, 545 secs
lola: 13867656 markings, 40061946 edges, 24563 markings/sec, 550 secs
lola: 13990866 markings, 40411263 edges, 24642 markings/sec, 555 secs
lola: 14113044 markings, 40768497 edges, 24436 markings/sec, 560 secs
lola: 14231877 markings, 41122036 edges, 23767 markings/sec, 565 secs
lola: 14352939 markings, 41472462 edges, 24212 markings/sec, 570 secs
lola: 14471423 markings, 41830716 edges, 23697 markings/sec, 575 secs
lola: 14593117 markings, 42190530 edges, 24339 markings/sec, 580 secs
lola: 14712687 markings, 42536730 edges, 23914 markings/sec, 585 secs
lola: 14835252 markings, 42902573 edges, 24513 markings/sec, 590 secs
lola: 14957477 markings, 43259822 edges, 24445 markings/sec, 595 secs
lola: 15079948 markings, 43616144 edges, 24494 markings/sec, 600 secs
lola: 15202423 markings, 43980891 edges, 24495 markings/sec, 605 secs
lola: 15322901 markings, 44330302 edges, 24096 markings/sec, 610 secs
lola: 15444117 markings, 44682619 edges, 24243 markings/sec, 615 secs
lola: 15566431 markings, 45038419 edges, 24463 markings/sec, 620 secs
lola: 15688723 markings, 45388377 edges, 24458 markings/sec, 625 secs
lola: 15810937 markings, 45748482 edges, 24443 markings/sec, 630 secs
lola: 15932049 markings, 46100072 edges, 24222 markings/sec, 635 secs
lola: 16054545 markings, 46445531 edges, 24499 markings/sec, 640 secs
lola: 16174667 markings, 46793349 edges, 24024 markings/sec, 645 secs
lola: 16297804 markings, 47150363 edges, 24627 markings/sec, 650 secs
lola: 16420730 markings, 47501638 edges, 24585 markings/sec, 655 secs
lola: 16542710 markings, 47859737 edges, 24396 markings/sec, 660 secs
lola: 16669329 markings, 48224089 edges, 25324 markings/sec, 665 secs
lola: 16796020 markings, 48585394 edges, 25338 markings/sec, 670 secs
lola: 16917111 markings, 48940190 edges, 24218 markings/sec, 675 secs
lola: 17037719 markings, 49283913 edges, 24122 markings/sec, 680 secs
lola: 17157406 markings, 49632459 edges, 23937 markings/sec, 685 secs
lola: 17278000 markings, 49972447 edges, 24119 markings/sec, 690 secs
lola: 17397926 markings, 50315253 edges, 23985 markings/sec, 695 secs
lola: 17520418 markings, 50663649 edges, 24498 markings/sec, 700 secs
lola: 17642783 markings, 51015559 edges, 24473 markings/sec, 705 secs
lola: 17764532 markings, 51374357 edges, 24350 markings/sec, 710 secs
lola: 17884013 markings, 51723849 edges, 23896 markings/sec, 715 secs
lola: 18004200 markings, 52077328 edges, 24037 markings/sec, 720 secs
lola: 18124435 markings, 52417440 edges, 24047 markings/sec, 725 secs
lola: 18243998 markings, 52767516 edges, 23913 markings/sec, 730 secs
lola: 18364669 markings, 53119350 edges, 24134 markings/sec, 735 secs
lola: 18488504 markings, 53475996 edges, 24767 markings/sec, 740 secs
lola: 18611315 markings, 53833466 edges, 24562 markings/sec, 745 secs
lola: 18734380 markings, 54198344 edges, 24613 markings/sec, 750 secs
lola: 18853187 markings, 54544236 edges, 23761 markings/sec, 755 secs
lola: 18972445 markings, 54890535 edges, 23852 markings/sec, 760 secs
lola: 19093108 markings, 55247617 edges, 24133 markings/sec, 765 secs
lola: 19215280 markings, 55604999 edges, 24434 markings/sec, 770 secs
lola: 19337659 markings, 55956991 edges, 24476 markings/sec, 775 secs
lola: 19458823 markings, 56318191 edges, 24233 markings/sec, 780 secs
lola: 19580979 markings, 56666205 edges, 24431 markings/sec, 785 secs
lola: 19702257 markings, 57020559 edges, 24256 markings/sec, 790 secs
lola: 19824614 markings, 57370550 edges, 24471 markings/sec, 795 secs
lola: 19947705 markings, 57725791 edges, 24618 markings/sec, 800 secs
lola: 20070455 markings, 58074689 edges, 24550 markings/sec, 805 secs
lola: 20194064 markings, 58429676 edges, 24722 markings/sec, 810 secs
lola: 20311339 markings, 58766400 edges, 23455 markings/sec, 815 secs
lola: 20433273 markings, 59118949 edges, 24387 markings/sec, 820 secs
lola: 20554473 markings, 59473993 edges, 24240 markings/sec, 825 secs
lola: 20677578 markings, 59828963 edges, 24621 markings/sec, 830 secs
lola: 20800617 markings, 60190194 edges, 24608 markings/sec, 835 secs
lola: 20923581 markings, 60547729 edges, 24593 markings/sec, 840 secs
lola: 21046768 markings, 60896172 edges, 24637 markings/sec, 845 secs
lola: 21171243 markings, 61245378 edges, 24895 markings/sec, 850 secs
lola: 21294678 markings, 61599223 edges, 24687 markings/sec, 855 secs
lola: 21417345 markings, 61956469 edges, 24533 markings/sec, 860 secs
lola: 21541837 markings, 62313469 edges, 24898 markings/sec, 865 secs
lola: 21667800 markings, 62674931 edges, 25193 markings/sec, 870 secs
lola: 21790913 markings, 63030262 edges, 24623 markings/sec, 875 secs
lola: 21913291 markings, 63379748 edges, 24476 markings/sec, 880 secs
lola: 22037309 markings, 63724322 edges, 24804 markings/sec, 885 secs
lola: 22161356 markings, 64072938 edges, 24809 markings/sec, 890 secs
lola: 22283090 markings, 64423519 edges, 24347 markings/sec, 895 secs
lola: 22404047 markings, 64772158 edges, 24191 markings/sec, 900 secs
lola: 22522932 markings, 65117505 edges, 23777 markings/sec, 905 secs
lola: 22645067 markings, 65470354 edges, 24427 markings/sec, 910 secs
lola: 22767662 markings, 65825249 edges, 24519 markings/sec, 915 secs
lola: 22891869 markings, 66169845 edges, 24841 markings/sec, 920 secs
lola: 23014095 markings, 66527493 edges, 24445 markings/sec, 925 secs
lola: 23136638 markings, 66881033 edges, 24509 markings/sec, 930 secs
lola: 23260190 markings, 67244609 edges, 24710 markings/sec, 935 secs
lola: 23383427 markings, 67600866 edges, 24647 markings/sec, 940 secs
lola: 23506775 markings, 67956980 edges, 24670 markings/sec, 945 secs
lola: 23631053 markings, 68323417 edges, 24856 markings/sec, 950 secs
lola: 23754040 markings, 68679713 edges, 24597 markings/sec, 955 secs
lola: 23876642 markings, 69037903 edges, 24520 markings/sec, 960 secs
lola: 23998674 markings, 69396785 edges, 24406 markings/sec, 965 secs
lola: 24121399 markings, 69755171 edges, 24545 markings/sec, 970 secs
lola: 24244066 markings, 70115463 edges, 24533 markings/sec, 975 secs
lola: 24368667 markings, 70464453 edges, 24920 markings/sec, 980 secs
lola: 24493062 markings, 70821511 edges, 24879 markings/sec, 985 secs
lola: 24617581 markings, 71173156 edges, 24904 markings/sec, 990 secs
lola: 24739154 markings, 71521268 edges, 24315 markings/sec, 995 secs
lola: 24861968 markings, 71873890 edges, 24563 markings/sec, 1000 secs
lola: 24985664 markings, 72232279 edges, 24739 markings/sec, 1005 secs
lola: 25109308 markings, 72589732 edges, 24729 markings/sec, 1010 secs
lola: 25231927 markings, 72947657 edges, 24524 markings/sec, 1015 secs
lola: 25353708 markings, 73301663 edges, 24356 markings/sec, 1020 secs
lola: 25475320 markings, 73653531 edges, 24322 markings/sec, 1025 secs
lola: 25594486 markings, 74011541 edges, 23833 markings/sec, 1030 secs
lola: 25717465 markings, 74375909 edges, 24596 markings/sec, 1035 secs
lola: 25837150 markings, 74728273 edges, 23937 markings/sec, 1040 secs
lola: 25958723 markings, 75082405 edges, 24315 markings/sec, 1045 secs
lola: 26076035 markings, 75426293 edges, 23462 markings/sec, 1050 secs
lola: 26196845 markings, 75777439 edges, 24162 markings/sec, 1055 secs
lola: 26317091 markings, 76136231 edges, 24049 markings/sec, 1060 secs
lola: 26437030 markings, 76482673 edges, 23988 markings/sec, 1065 secs
lola: 26560800 markings, 76841262 edges, 24754 markings/sec, 1070 secs
lola: 26684830 markings, 77200866 edges, 24806 markings/sec, 1075 secs
lola: 26806079 markings, 77550047 edges, 24250 markings/sec, 1080 secs
lola: 26925518 markings, 77888961 edges, 23888 markings/sec, 1085 secs
lola: 27046259 markings, 78244473 edges, 24148 markings/sec, 1090 secs
lola: 27169823 markings, 78597125 edges, 24713 markings/sec, 1095 secs
lola: 27292522 markings, 78950556 edges, 24540 markings/sec, 1100 secs
lola: 27414880 markings, 79302770 edges, 24472 markings/sec, 1105 secs
lola: 27537030 markings, 79658945 edges, 24430 markings/sec, 1110 secs
lola: 27659350 markings, 80015139 edges, 24464 markings/sec, 1115 secs
lola: 27782415 markings, 80373234 edges, 24613 markings/sec, 1120 secs
lola: 27904442 markings, 80734018 edges, 24405 markings/sec, 1125 secs
lola: 28024852 markings, 81086225 edges, 24082 markings/sec, 1130 secs
lola: 28146395 markings, 81440949 edges, 24309 markings/sec, 1135 secs
lola: 28270261 markings, 81802748 edges, 24773 markings/sec, 1140 secs
lola: 28397561 markings, 82175790 edges, 25460 markings/sec, 1145 secs
lola: 28524554 markings, 82543548 edges, 25399 markings/sec, 1150 secs
lola: 28651156 markings, 82909203 edges, 25320 markings/sec, 1155 secs
lola: 28777867 markings, 83274592 edges, 25342 markings/sec, 1160 secs
lola: 28905111 markings, 83644124 edges, 25449 markings/sec, 1165 secs
lola: 29031329 markings, 84016722 edges, 25244 markings/sec, 1170 secs
lola: 29157011 markings, 84380789 edges, 25136 markings/sec, 1175 secs
lola: 29282596 markings, 84738093 edges, 25117 markings/sec, 1180 secs
lola: 29406957 markings, 85105733 edges, 24872 markings/sec, 1185 secs
lola: 29531563 markings, 85473844 edges, 24921 markings/sec, 1190 secs
lola: 29657482 markings, 85845357 edges, 25184 markings/sec, 1195 secs
lola: 29782125 markings, 86210694 edges, 24929 markings/sec, 1200 secs
lola: 29906238 markings, 86560730 edges, 24823 markings/sec, 1205 secs
lola: 30030410 markings, 86917960 edges, 24834 markings/sec, 1210 secs
lola: 30155036 markings, 87278641 edges, 24925 markings/sec, 1215 secs
lola: 30279579 markings, 87633969 edges, 24909 markings/sec, 1220 secs
lola: 30404709 markings, 87995826 edges, 25026 markings/sec, 1225 secs
lola: 30528512 markings, 88352287 edges, 24761 markings/sec, 1230 secs
lola: 30650571 markings, 88714192 edges, 24412 markings/sec, 1235 secs
lola: 30773655 markings, 89074618 edges, 24617 markings/sec, 1240 secs
lola: 30897054 markings, 89427542 edges, 24680 markings/sec, 1245 secs
lola: 31020174 markings, 89769576 edges, 24624 markings/sec, 1250 secs
lola: 31142224 markings, 90119689 edges, 24410 markings/sec, 1255 secs
lola: 31265625 markings, 90478449 edges, 24680 markings/sec, 1260 secs
lola: 31388392 markings, 90835772 edges, 24553 markings/sec, 1265 secs
lola: 31509439 markings, 91183430 edges, 24209 markings/sec, 1270 secs
lola: 31632936 markings, 91538681 edges, 24699 markings/sec, 1275 secs
lola: 31756661 markings, 91897213 edges, 24745 markings/sec, 1280 secs
lola: 31879578 markings, 92254862 edges, 24583 markings/sec, 1285 secs
lola: 32002572 markings, 92605576 edges, 24599 markings/sec, 1290 secs
lola: 32124700 markings, 92958293 edges, 24426 markings/sec, 1295 secs
lola: 32247454 markings, 93314641 edges, 24551 markings/sec, 1300 secs
lola: 32369682 markings, 93671303 edges, 24446 markings/sec, 1305 secs
lola: 32493022 markings, 94016596 edges, 24668 markings/sec, 1310 secs
lola: time limit reached - aborting
lola:
preliminary result: 10 10 unknown 10 10 unknown 10 10 10 10 10 unknown 10 unknown 10 10
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: 10 10 unknown 10 10 unknown 10 10 10 10 10 unknown 10 unknown 10 10

preliminary result: 10 10 unknown 10 10 unknown 10 10 10 10 10 unknown 10 unknown 10 10
lola: memory consumption: 18796 KB
lola: time consumption: 3569 seconds

BK_STOP 1552916418910

--------------------
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-D10N010"
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-D10N010, 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-155234666400025"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D10N010.tgz
mv Diffusion2D-PT-D10N010 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 ;