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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 440K
-rw-r--r-- 1 mcc users 4.0K Feb 10 21:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 10 21:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 6 17:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Feb 6 17:52 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.9K Feb 4 23:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 4 23:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.9K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Jan 30 23:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Jan 30 23:45 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-D10N100-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D10N100-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D10N100-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D10N100-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D10N100-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D10N100-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D10N100-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D10N100-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D10N100-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D10N100-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D10N100-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D10N100-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D10N100-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D10N100-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D10N100-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D10N100-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552912916113

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D10N100 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D10N100 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D10N100 @ 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: 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-D10N100-UpperBounds.task
lola: MAX(cAMP__2_6_) : MAX(cAMP__2_2_) : MAX(cAMP__9_2_) : MAX(cAMP__9_6_) : MAX(cAMP__4_4_) : MAX(cAMP__6_4_) : MAX(cAMP__6_7_) : MAX(cAMP__8_2_) : MAX(cAMP__1_2_) : MAX(cAMP__7_1_) : MAX(cAMP__8_9_) : MAX(cAMP__7_7_) : MAX(cAMP__9_2_) : MAX(cAMP__3_4_) : MAX(cAMP__9_4_) : MAX(cAMP__4_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_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_6_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N100-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: 100
lola: 120276 markings, 441652 edges, 24055 markings/sec, 0 secs
lola: 241332 markings, 891783 edges, 24211 markings/sec, 5 secs
lola: 361434 markings, 1362293 edges, 24020 markings/sec, 10 secs
lola: 480976 markings, 1824644 edges, 23908 markings/sec, 15 secs
lola: 600715 markings, 2293006 edges, 23948 markings/sec, 20 secs
lola: 720795 markings, 2768644 edges, 24016 markings/sec, 25 secs
lola: 839123 markings, 3242542 edges, 23666 markings/sec, 30 secs
lola: 958201 markings, 3715147 edges, 23816 markings/sec, 35 secs
lola: 1077702 markings, 4180932 edges, 23900 markings/sec, 40 secs
lola: 1195125 markings, 4653211 edges, 23485 markings/sec, 45 secs
lola: 1311432 markings, 5143307 edges, 23261 markings/sec, 50 secs
lola: 1426400 markings, 5621570 edges, 22994 markings/sec, 55 secs
lola: 1543480 markings, 6083471 edges, 23416 markings/sec, 60 secs
lola: 1661829 markings, 6557318 edges, 23670 markings/sec, 65 secs
lola: 1781639 markings, 7033774 edges, 23962 markings/sec, 70 secs
lola: 1901385 markings, 7508466 edges, 23949 markings/sec, 75 secs
lola: 2019772 markings, 7987728 edges, 23677 markings/sec, 80 secs
lola: 2140298 markings, 8447198 edges, 24105 markings/sec, 85 secs
lola: 2258294 markings, 8924397 edges, 23599 markings/sec, 90 secs
lola: 2376053 markings, 9379412 edges, 23552 markings/sec, 95 secs
lola: 2491156 markings, 9845435 edges, 23021 markings/sec, 100 secs
lola: 2609240 markings, 10311332 edges, 23617 markings/sec, 105 secs
lola: 2729341 markings, 10783590 edges, 24020 markings/sec, 110 secs
lola: 2848234 markings, 11257345 edges, 23779 markings/sec, 115 secs
lola: 2966693 markings, 11725324 edges, 23692 markings/sec, 120 secs
lola: 3085640 markings, 12207490 edges, 23789 markings/sec, 125 secs
lola: 3204127 markings, 12678874 edges, 23697 markings/sec, 130 secs
lola: 3324813 markings, 13163302 edges, 24137 markings/sec, 135 secs
lola: 3442809 markings, 13651408 edges, 23599 markings/sec, 140 secs
lola: 3559874 markings, 14126196 edges, 23413 markings/sec, 145 secs
lola: 3677075 markings, 14604595 edges, 23440 markings/sec, 150 secs
lola: 3794564 markings, 15066244 edges, 23498 markings/sec, 155 secs
lola: 3910876 markings, 15541047 edges, 23262 markings/sec, 160 secs
lola: 4031142 markings, 16008214 edges, 24053 markings/sec, 165 secs
lola: 4148912 markings, 16492286 edges, 23554 markings/sec, 170 secs
lola: 4265957 markings, 16975277 edges, 23409 markings/sec, 175 secs
lola: 4380621 markings, 17453219 edges, 22933 markings/sec, 180 secs
lola: 4499403 markings, 17923833 edges, 23756 markings/sec, 185 secs
lola: 4617956 markings, 18402210 edges, 23711 markings/sec, 190 secs
lola: 4736604 markings, 18879025 edges, 23730 markings/sec, 195 secs
lola: 4853329 markings, 19359288 edges, 23345 markings/sec, 200 secs
lola: 4970821 markings, 19824983 edges, 23498 markings/sec, 205 secs
lola: 5086270 markings, 20307465 edges, 23090 markings/sec, 210 secs
lola: 5200364 markings, 20782194 edges, 22819 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1536536 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_2_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N100-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: 100
lola: 119283 markings, 488819 edges, 23857 markings/sec, 0 secs
lola: 237933 markings, 990000 edges, 23730 markings/sec, 5 secs
lola: 354977 markings, 1484394 edges, 23409 markings/sec, 10 secs
lola: 472548 markings, 2007810 edges, 23514 markings/sec, 15 secs
lola: 590579 markings, 2498625 edges, 23606 markings/sec, 20 secs
lola: 708820 markings, 3000045 edges, 23648 markings/sec, 25 secs
lola: 827892 markings, 3499919 edges, 23814 markings/sec, 30 secs
lola: 945975 markings, 3993179 edges, 23617 markings/sec, 35 secs
lola: 1064520 markings, 4491112 edges, 23709 markings/sec, 40 secs
lola: 1180776 markings, 4981605 edges, 23251 markings/sec, 45 secs
lola: 1296888 markings, 5471603 edges, 23222 markings/sec, 50 secs
lola: 1414324 markings, 5972766 edges, 23487 markings/sec, 55 secs
lola: 1529786 markings, 6495781 edges, 23092 markings/sec, 60 secs
lola: 1644877 markings, 7003510 edges, 23018 markings/sec, 65 secs
lola: 1758530 markings, 7527347 edges, 22731 markings/sec, 70 secs
lola: 1874479 markings, 8020482 edges, 23190 markings/sec, 75 secs
lola: 1991309 markings, 8502284 edges, 23366 markings/sec, 80 secs
lola: 2107135 markings, 8990498 edges, 23165 markings/sec, 85 secs
lola: 2221823 markings, 9495464 edges, 22938 markings/sec, 90 secs
lola: 2339853 markings, 9982330 edges, 23606 markings/sec, 95 secs
lola: 2456933 markings, 10492589 edges, 23416 markings/sec, 100 secs
lola: 2574116 markings, 10982732 edges, 23437 markings/sec, 105 secs
lola: 2690808 markings, 11485104 edges, 23338 markings/sec, 110 secs
lola: 2807134 markings, 11974329 edges, 23265 markings/sec, 115 secs
lola: 2922565 markings, 12467991 edges, 23086 markings/sec, 120 secs
lola: 3038021 markings, 12964679 edges, 23091 markings/sec, 125 secs
lola: 3153965 markings, 13452590 edges, 23189 markings/sec, 130 secs
lola: 3269034 markings, 13938063 edges, 23014 markings/sec, 135 secs
lola: 3385417 markings, 14427836 edges, 23277 markings/sec, 140 secs
lola: 3504190 markings, 14930642 edges, 23755 markings/sec, 145 secs
lola: 3621723 markings, 15434485 edges, 23507 markings/sec, 150 secs
lola: 3737841 markings, 15936587 edges, 23224 markings/sec, 155 secs
lola: 3854160 markings, 16425991 edges, 23264 markings/sec, 160 secs
lola: 3970914 markings, 16911743 edges, 23351 markings/sec, 165 secs
lola: 4086621 markings, 17412268 edges, 23141 markings/sec, 170 secs
lola: 4201647 markings, 17909813 edges, 23005 markings/sec, 175 secs
lola: 4315405 markings, 18411498 edges, 22752 markings/sec, 180 secs
lola: 4433686 markings, 18899569 edges, 23656 markings/sec, 185 secs
lola: 4547934 markings, 19396381 edges, 22850 markings/sec, 190 secs
lola: 4661484 markings, 19892085 edges, 22710 markings/sec, 195 secs
lola: 4774713 markings, 20380299 edges, 22646 markings/sec, 200 secs
lola: 4888656 markings, 20888193 edges, 22789 markings/sec, 205 secs
lola: 5003785 markings, 21380549 edges, 23026 markings/sec, 210 secs
lola: 5119102 markings, 21870315 edges, 23063 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1490872 KB
lola: time consumption: 447 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_2_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N100-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: 100
lola: 122551 markings, 436957 edges, 24510 markings/sec, 0 secs
lola: 244366 markings, 868152 edges, 24363 markings/sec, 5 secs
lola: 364321 markings, 1291032 edges, 23991 markings/sec, 10 secs
lola: 486255 markings, 1724659 edges, 24387 markings/sec, 15 secs
lola: 607314 markings, 2157240 edges, 24212 markings/sec, 20 secs
lola: 727246 markings, 2581098 edges, 23986 markings/sec, 25 secs
lola: 848157 markings, 2998615 edges, 24182 markings/sec, 30 secs
lola: 968610 markings, 3424308 edges, 24091 markings/sec, 35 secs
lola: 1089532 markings, 3844224 edges, 24184 markings/sec, 40 secs
lola: 1210005 markings, 4268198 edges, 24095 markings/sec, 45 secs
lola: 1330600 markings, 4699383 edges, 24119 markings/sec, 50 secs
lola: 1451042 markings, 5129799 edges, 24088 markings/sec, 55 secs
lola: 1570876 markings, 5559458 edges, 23967 markings/sec, 60 secs
lola: 1690799 markings, 5985138 edges, 23985 markings/sec, 65 secs
lola: 1809807 markings, 6415827 edges, 23802 markings/sec, 70 secs
lola: 1931190 markings, 6837649 edges, 24277 markings/sec, 75 secs
lola: 2052787 markings, 7261848 edges, 24319 markings/sec, 80 secs
lola: 2173905 markings, 7680762 edges, 24224 markings/sec, 85 secs
lola: 2294585 markings, 8097555 edges, 24136 markings/sec, 90 secs
lola: 2414850 markings, 8512499 edges, 24053 markings/sec, 95 secs
lola: 2533414 markings, 8916326 edges, 23713 markings/sec, 100 secs
lola: 2652138 markings, 9327537 edges, 23745 markings/sec, 105 secs
lola: 2770581 markings, 9755364 edges, 23689 markings/sec, 110 secs
lola: 2889050 markings, 10157975 edges, 23694 markings/sec, 115 secs
lola: 3008485 markings, 10558477 edges, 23887 markings/sec, 120 secs
lola: 3126388 markings, 10969672 edges, 23581 markings/sec, 125 secs
lola: 3245750 markings, 11382053 edges, 23872 markings/sec, 130 secs
lola: 3364691 markings, 11791392 edges, 23788 markings/sec, 135 secs
lola: 3483615 markings, 12207484 edges, 23785 markings/sec, 140 secs
lola: 3602761 markings, 12620223 edges, 23829 markings/sec, 145 secs
lola: 3722708 markings, 13036013 edges, 23989 markings/sec, 150 secs
lola: 3843752 markings, 13451670 edges, 24209 markings/sec, 155 secs
lola: 3964525 markings, 13869971 edges, 24155 markings/sec, 160 secs
lola: 4084055 markings, 14297995 edges, 23906 markings/sec, 165 secs
lola: 4204458 markings, 14715087 edges, 24081 markings/sec, 170 secs
lola: 4324905 markings, 15129819 edges, 24089 markings/sec, 175 secs
lola: 4445316 markings, 15536680 edges, 24082 markings/sec, 180 secs
lola: 4564972 markings, 15956670 edges, 23931 markings/sec, 185 secs
lola: 4684283 markings, 16375841 edges, 23862 markings/sec, 190 secs
lola: 4804705 markings, 16788920 edges, 24084 markings/sec, 195 secs
lola: 4924381 markings, 17204305 edges, 23935 markings/sec, 200 secs
lola: 5044958 markings, 17617397 edges, 24115 markings/sec, 205 secs
lola: 5164125 markings, 18036402 edges, 23833 markings/sec, 210 secs
lola: 5284062 markings, 18449252 edges, 23987 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1494320 KB
lola: time consumption: 670 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 223 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-D10N100-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: 100
lola: 122888 markings, 430242 edges, 24578 markings/sec, 0 secs
lola: 243788 markings, 874824 edges, 24180 markings/sec, 5 secs
lola: 364259 markings, 1334714 edges, 24094 markings/sec, 10 secs
lola: 484912 markings, 1774835 edges, 24131 markings/sec, 15 secs
lola: 606047 markings, 2220727 edges, 24227 markings/sec, 20 secs
lola: 725300 markings, 2683122 edges, 23851 markings/sec, 25 secs
lola: 843520 markings, 3161403 edges, 23644 markings/sec, 30 secs
lola: 962387 markings, 3633268 edges, 23773 markings/sec, 35 secs
lola: 1083150 markings, 4075287 edges, 24153 markings/sec, 40 secs
lola: 1200625 markings, 4506617 edges, 23495 markings/sec, 45 secs
lola: 1318850 markings, 4959850 edges, 23645 markings/sec, 50 secs
lola: 1437701 markings, 5411724 edges, 23770 markings/sec, 55 secs
lola: 1556924 markings, 5857944 edges, 23845 markings/sec, 60 secs
lola: 1676581 markings, 6304481 edges, 23931 markings/sec, 65 secs
lola: 1795591 markings, 6762006 edges, 23802 markings/sec, 70 secs
lola: 1917443 markings, 7206056 edges, 24370 markings/sec, 75 secs
lola: 2040288 markings, 7648256 edges, 24569 markings/sec, 80 secs
lola: 2162236 markings, 8103672 edges, 24390 markings/sec, 85 secs
lola: 2282795 markings, 8567752 edges, 24112 markings/sec, 90 secs
lola: 2402398 markings, 9046348 edges, 23921 markings/sec, 95 secs
lola: 2521671 markings, 9531411 edges, 23855 markings/sec, 100 secs
lola: 2642394 markings, 9997589 edges, 24145 markings/sec, 105 secs
lola: 2764587 markings, 10421284 edges, 24439 markings/sec, 110 secs
lola: 2886676 markings, 10850621 edges, 24418 markings/sec, 115 secs
lola: 3007187 markings, 11302381 edges, 24102 markings/sec, 120 secs
lola: 3127628 markings, 11756212 edges, 24088 markings/sec, 125 secs
lola: 3248884 markings, 12206036 edges, 24251 markings/sec, 130 secs
lola: 3367502 markings, 12666014 edges, 23724 markings/sec, 135 secs
lola: 3487777 markings, 13116970 edges, 24055 markings/sec, 140 secs
lola: 3606224 markings, 13598358 edges, 23689 markings/sec, 145 secs
lola: 3725300 markings, 14074110 edges, 23815 markings/sec, 150 secs
lola: 3843429 markings, 14561799 edges, 23626 markings/sec, 155 secs
lola: 3965235 markings, 15012694 edges, 24361 markings/sec, 160 secs
lola: 4087478 markings, 15444240 edges, 24449 markings/sec, 165 secs
lola: 4210101 markings, 15868684 edges, 24525 markings/sec, 170 secs
lola: 4331222 markings, 16311104 edges, 24224 markings/sec, 175 secs
lola: 4451653 markings, 16764276 edges, 24086 markings/sec, 180 secs
lola: 4573235 markings, 17203382 edges, 24316 markings/sec, 185 secs
lola: 4693012 markings, 17666717 edges, 23955 markings/sec, 190 secs
lola: 4812537 markings, 18131310 edges, 23905 markings/sec, 195 secs
lola: 4932038 markings, 18597189 edges, 23900 markings/sec, 200 secs
lola: 5051533 markings, 19057970 edges, 23899 markings/sec, 205 secs
lola: 5170767 markings, 19525764 edges, 23847 markings/sec, 210 secs
lola: 5288784 markings, 20000395 edges, 23603 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1563556 KB
lola: time consumption: 893 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N100-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: 100
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 201 markings, 200 edges
lola: ========================================

FORMULA Diffusion2D-PT-D10N100-UpperBounds-4 100 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 243 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-D10N100-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: 100
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 201 markings, 200 edges
lola: ========================================

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

FORMULA Diffusion2D-PT-D10N100-UpperBounds-6 100 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 297 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-D10N100-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: 100
lola: 121965 markings, 410959 edges, 24393 markings/sec, 0 secs
lola: 242439 markings, 827493 edges, 24095 markings/sec, 5 secs
lola: 364889 markings, 1236392 edges, 24490 markings/sec, 10 secs
lola: 486410 markings, 1651599 edges, 24304 markings/sec, 15 secs
lola: 608714 markings, 2050721 edges, 24461 markings/sec, 20 secs
lola: 728882 markings, 2465917 edges, 24034 markings/sec, 25 secs
lola: 847673 markings, 2870088 edges, 23758 markings/sec, 30 secs
lola: 964279 markings, 3272440 edges, 23321 markings/sec, 35 secs
lola: 1082236 markings, 3673756 edges, 23591 markings/sec, 40 secs
lola: 1197714 markings, 4062070 edges, 23096 markings/sec, 45 secs
lola: 1313131 markings, 4468136 edges, 23083 markings/sec, 50 secs
lola: 1427942 markings, 4869223 edges, 22962 markings/sec, 55 secs
lola: 1544786 markings, 5258751 edges, 23369 markings/sec, 60 secs
lola: 1665269 markings, 5641123 edges, 24097 markings/sec, 65 secs
lola: 1783297 markings, 6037401 edges, 23606 markings/sec, 70 secs
lola: 1902826 markings, 6424609 edges, 23906 markings/sec, 75 secs
lola: 2024114 markings, 6818273 edges, 24258 markings/sec, 80 secs
lola: 2142490 markings, 7205768 edges, 23675 markings/sec, 85 secs
lola: 2260273 markings, 7589352 edges, 23557 markings/sec, 90 secs
lola: 2377460 markings, 7979469 edges, 23437 markings/sec, 95 secs
lola: 2493413 markings, 8377106 edges, 23191 markings/sec, 100 secs
lola: 2609664 markings, 8760413 edges, 23250 markings/sec, 105 secs
lola: 2725090 markings, 9151686 edges, 23085 markings/sec, 110 secs
lola: 2841614 markings, 9544750 edges, 23305 markings/sec, 115 secs
lola: 2961067 markings, 9910558 edges, 23891 markings/sec, 120 secs
lola: 3079414 markings, 10293398 edges, 23669 markings/sec, 125 secs
lola: 3195629 markings, 10662989 edges, 23243 markings/sec, 130 secs
lola: 3309987 markings, 11038934 edges, 22872 markings/sec, 135 secs
lola: 3425199 markings, 11418981 edges, 23042 markings/sec, 140 secs
lola: 3542238 markings, 11809528 edges, 23408 markings/sec, 145 secs
lola: 3658865 markings, 12206859 edges, 23325 markings/sec, 150 secs
lola: 3775194 markings, 12586788 edges, 23266 markings/sec, 155 secs
lola: 3891791 markings, 12965104 edges, 23319 markings/sec, 160 secs
lola: 4006898 markings, 13339784 edges, 23021 markings/sec, 165 secs
lola: 4120974 markings, 13730111 edges, 22815 markings/sec, 170 secs
lola: 4235862 markings, 14113389 edges, 22978 markings/sec, 175 secs
lola: 4350326 markings, 14509282 edges, 22893 markings/sec, 180 secs
lola: 4465184 markings, 14896466 edges, 22972 markings/sec, 185 secs
lola: 4581111 markings, 15278526 edges, 23185 markings/sec, 190 secs
lola: 4696222 markings, 15679186 edges, 23022 markings/sec, 195 secs
lola: 4814185 markings, 16086595 edges, 23593 markings/sec, 200 secs
lola: 4933693 markings, 16475216 edges, 23902 markings/sec, 205 secs
lola: 5052445 markings, 16867984 edges, 23750 markings/sec, 210 secs
lola: 5171900 markings, 17255652 edges, 23891 markings/sec, 215 secs
lola: 5290024 markings, 17659053 edges, 23625 markings/sec, 220 secs
lola: 5409156 markings, 18048932 edges, 23826 markings/sec, 225 secs
lola: 5527700 markings, 18450707 edges, 23709 markings/sec, 230 secs
lola: 5645279 markings, 18853714 edges, 23516 markings/sec, 235 secs
lola: 5763946 markings, 19246706 edges, 23733 markings/sec, 240 secs
lola: 5881653 markings, 19632557 edges, 23541 markings/sec, 245 secs
lola: 6004296 markings, 20034040 edges, 24529 markings/sec, 250 secs
lola: 6126251 markings, 20454689 edges, 24391 markings/sec, 255 secs
lola: 6246549 markings, 20864375 edges, 24060 markings/sec, 260 secs
lola: 6367104 markings, 21278359 edges, 24111 markings/sec, 265 secs
lola: 6485488 markings, 21686524 edges, 23677 markings/sec, 270 secs
lola: 6603543 markings, 22082506 edges, 23611 markings/sec, 275 secs
lola: 6720864 markings, 22462372 edges, 23464 markings/sec, 280 secs
lola: 6837084 markings, 22850879 edges, 23244 markings/sec, 285 secs
lola: 6953694 markings, 23243003 edges, 23322 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 100 100 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2001492 KB
lola: time consumption: 1190 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 297 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-D10N100-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: 100
lola: 127499 markings, 452066 edges, 25500 markings/sec, 0 secs
lola: 253927 markings, 903659 edges, 25286 markings/sec, 5 secs
lola: 380580 markings, 1361075 edges, 25331 markings/sec, 10 secs
lola: 507098 markings, 1817567 edges, 25304 markings/sec, 15 secs
lola: 633243 markings, 2270951 edges, 25229 markings/sec, 20 secs
lola: 759322 markings, 2727114 edges, 25216 markings/sec, 25 secs
lola: 884734 markings, 3177543 edges, 25082 markings/sec, 30 secs
lola: 1009783 markings, 3626274 edges, 25010 markings/sec, 35 secs
lola: 1135165 markings, 4078974 edges, 25076 markings/sec, 40 secs
lola: 1259461 markings, 4526576 edges, 24859 markings/sec, 45 secs
lola: 1383809 markings, 4973945 edges, 24870 markings/sec, 50 secs
lola: 1507980 markings, 5419047 edges, 24834 markings/sec, 55 secs
lola: 1632072 markings, 5867379 edges, 24818 markings/sec, 60 secs
lola: 1755661 markings, 6311760 edges, 24718 markings/sec, 65 secs
lola: 1879844 markings, 6757553 edges, 24837 markings/sec, 70 secs
lola: 2004418 markings, 7207353 edges, 24915 markings/sec, 75 secs
lola: 2126941 markings, 7648411 edges, 24505 markings/sec, 80 secs
lola: 2250640 markings, 8093032 edges, 24740 markings/sec, 85 secs
lola: 2374239 markings, 8536931 edges, 24720 markings/sec, 90 secs
lola: 2497183 markings, 8980883 edges, 24589 markings/sec, 95 secs
lola: 2619331 markings, 9419503 edges, 24430 markings/sec, 100 secs
lola: 2741924 markings, 9859906 edges, 24519 markings/sec, 105 secs
lola: 2865157 markings, 10305249 edges, 24647 markings/sec, 110 secs
lola: 2987082 markings, 10743639 edges, 24385 markings/sec, 115 secs
lola: 3109099 markings, 11181865 edges, 24403 markings/sec, 120 secs
lola: 3230933 markings, 11620074 edges, 24367 markings/sec, 125 secs
lola: 3352797 markings, 12060836 edges, 24373 markings/sec, 130 secs
lola: 3474547 markings, 12496991 edges, 24350 markings/sec, 135 secs
lola: 3598007 markings, 12941637 edges, 24692 markings/sec, 140 secs
lola: 3722164 markings, 13389589 edges, 24831 markings/sec, 145 secs
lola: 3845828 markings, 13833855 edges, 24733 markings/sec, 150 secs
lola: 3969072 markings, 14277899 edges, 24649 markings/sec, 155 secs
lola: 4092608 markings, 14721719 edges, 24707 markings/sec, 160 secs
lola: 4214729 markings, 15162258 edges, 24424 markings/sec, 165 secs
lola: 4337366 markings, 15602191 edges, 24527 markings/sec, 170 secs
lola: 4460358 markings, 16045310 edges, 24598 markings/sec, 175 secs
lola: 4583729 markings, 16489880 edges, 24674 markings/sec, 180 secs
lola: 4706563 markings, 16930985 edges, 24567 markings/sec, 185 secs
lola: 4829252 markings, 17373395 edges, 24538 markings/sec, 190 secs
lola: 4952001 markings, 17814586 edges, 24550 markings/sec, 195 secs
lola: 5074668 markings, 18256098 edges, 24533 markings/sec, 200 secs
lola: 5197034 markings, 18695040 edges, 24473 markings/sec, 205 secs
lola: 5319909 markings, 19138996 edges, 24575 markings/sec, 210 secs
lola: 5443235 markings, 19582587 edges, 24665 markings/sec, 215 secs
lola: 5566062 markings, 20023039 edges, 24565 markings/sec, 220 secs
lola: 5689154 markings, 20467655 edges, 24618 markings/sec, 225 secs
lola: 5811454 markings, 20908210 edges, 24460 markings/sec, 230 secs
lola: 5933711 markings, 21346662 edges, 24451 markings/sec, 235 secs
lola: 6055695 markings, 21784585 edges, 24397 markings/sec, 240 secs
lola: 6178138 markings, 22228846 edges, 24489 markings/sec, 245 secs
lola: 6299803 markings, 22664354 edges, 24333 markings/sec, 250 secs
lola: 6422379 markings, 23105144 edges, 24515 markings/sec, 255 secs
lola: 6544870 markings, 23548138 edges, 24498 markings/sec, 260 secs
lola: 6666998 markings, 23986626 edges, 24426 markings/sec, 265 secs
lola: 6789102 markings, 24426608 edges, 24421 markings/sec, 270 secs
lola: 6910658 markings, 24863656 edges, 24311 markings/sec, 275 secs
lola: 7032641 markings, 25303303 edges, 24397 markings/sec, 280 secs
lola: 7155805 markings, 25744496 edges, 24633 markings/sec, 285 secs
lola: 7279171 markings, 26189875 edges, 24673 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 100 100 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2019064 KB
lola: time consumption: 1488 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N100-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: 100
lola: 121318 markings, 405329 edges, 24264 markings/sec, 0 secs
lola: 243123 markings, 806036 edges, 24361 markings/sec, 5 secs
lola: 363264 markings, 1199587 edges, 24028 markings/sec, 10 secs
lola: 484510 markings, 1598157 edges, 24249 markings/sec, 15 secs
lola: 604237 markings, 1990939 edges, 23945 markings/sec, 20 secs
lola: 725203 markings, 2384412 edges, 24193 markings/sec, 25 secs
lola: 846118 markings, 2781035 edges, 24183 markings/sec, 30 secs
lola: 966457 markings, 3170615 edges, 24068 markings/sec, 35 secs
lola: 1088309 markings, 3562529 edges, 24370 markings/sec, 40 secs
lola: 1210100 markings, 3949692 edges, 24358 markings/sec, 45 secs
lola: 1331545 markings, 4342469 edges, 24289 markings/sec, 50 secs
lola: 1452661 markings, 4733880 edges, 24223 markings/sec, 55 secs
lola: 1573767 markings, 5121990 edges, 24221 markings/sec, 60 secs
lola: 1694796 markings, 5512173 edges, 24206 markings/sec, 65 secs
lola: 1815379 markings, 5903321 edges, 24117 markings/sec, 70 secs
lola: 1936541 markings, 6293737 edges, 24232 markings/sec, 75 secs
lola: 2058570 markings, 6684048 edges, 24406 markings/sec, 80 secs
lola: 2180008 markings, 7076897 edges, 24288 markings/sec, 85 secs
lola: 2301116 markings, 7467656 edges, 24222 markings/sec, 90 secs
lola: 2422447 markings, 7857068 edges, 24266 markings/sec, 95 secs
lola: 2543286 markings, 8246507 edges, 24168 markings/sec, 100 secs
lola: 2664023 markings, 8637793 edges, 24147 markings/sec, 105 secs
lola: 2784969 markings, 9027344 edges, 24189 markings/sec, 110 secs
lola: 2905693 markings, 9413835 edges, 24145 markings/sec, 115 secs
lola: 3026340 markings, 9805083 edges, 24129 markings/sec, 120 secs
lola: 3146767 markings, 10192119 edges, 24085 markings/sec, 125 secs
lola: 3267293 markings, 10579814 edges, 24105 markings/sec, 130 secs
lola: 3388897 markings, 10971127 edges, 24321 markings/sec, 135 secs
lola: 3509757 markings, 11362462 edges, 24172 markings/sec, 140 secs
lola: 3630734 markings, 11751388 edges, 24195 markings/sec, 145 secs
lola: 3751771 markings, 12139944 edges, 24207 markings/sec, 150 secs
lola: 3872317 markings, 12531406 edges, 24109 markings/sec, 155 secs
lola: 3992985 markings, 12919843 edges, 24134 markings/sec, 160 secs
lola: 4114116 markings, 13308373 edges, 24226 markings/sec, 165 secs
lola: 4234733 markings, 13696858 edges, 24123 markings/sec, 170 secs
lola: 4355300 markings, 14086869 edges, 24113 markings/sec, 175 secs
lola: 4475854 markings, 14475469 edges, 24111 markings/sec, 180 secs
lola: 4596400 markings, 14861415 edges, 24109 markings/sec, 185 secs
lola: 4717322 markings, 15255311 edges, 24184 markings/sec, 190 secs
lola: 4838057 markings, 15643296 edges, 24147 markings/sec, 195 secs
lola: 4958962 markings, 16030535 edges, 24181 markings/sec, 200 secs
lola: 5079614 markings, 16419807 edges, 24130 markings/sec, 205 secs
lola: 5199897 markings, 16808338 edges, 24057 markings/sec, 210 secs
lola: 5320419 markings, 17196049 edges, 24104 markings/sec, 215 secs
lola: 5441236 markings, 17584586 edges, 24163 markings/sec, 220 secs
lola: 5561532 markings, 17974780 edges, 24059 markings/sec, 225 secs
lola: 5681730 markings, 18362385 edges, 24040 markings/sec, 230 secs
lola: 5802383 markings, 18747454 edges, 24131 markings/sec, 235 secs
lola: 5921361 markings, 19132660 edges, 23796 markings/sec, 240 secs
lola: 6042939 markings, 19525439 edges, 24316 markings/sec, 245 secs
lola: 6165274 markings, 19918102 edges, 24467 markings/sec, 250 secs
lola: 6286735 markings, 20309884 edges, 24292 markings/sec, 255 secs
lola: 6408500 markings, 20703762 edges, 24353 markings/sec, 260 secs
lola: 6529908 markings, 21095748 edges, 24282 markings/sec, 265 secs
lola: 6651586 markings, 21484009 edges, 24336 markings/sec, 270 secs
lola: 6773064 markings, 21877899 edges, 24296 markings/sec, 275 secs
lola: 6893861 markings, 22267575 edges, 24159 markings/sec, 280 secs
lola: 7014917 markings, 22656163 edges, 24211 markings/sec, 285 secs
lola: 7135969 markings, 23046512 edges, 24210 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 100 100 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1855888 KB
lola: time consumption: 1785 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_9_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N100-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: 100
lola: 127932 markings, 324397 edges, 25586 markings/sec, 0 secs
lola: 255165 markings, 655174 edges, 25447 markings/sec, 5 secs
lola: 383256 markings, 988649 edges, 25618 markings/sec, 10 secs
lola: 511480 markings, 1325831 edges, 25645 markings/sec, 15 secs
lola: 635125 markings, 1714415 edges, 24729 markings/sec, 20 secs
lola: 759406 markings, 2086891 edges, 24856 markings/sec, 25 secs
lola: 883893 markings, 2467690 edges, 24897 markings/sec, 30 secs
lola: 1007594 markings, 2845713 edges, 24740 markings/sec, 35 secs
lola: 1132884 markings, 3222512 edges, 25058 markings/sec, 40 secs
lola: 1258256 markings, 3600465 edges, 25074 markings/sec, 45 secs
lola: 1383594 markings, 3975028 edges, 25068 markings/sec, 50 secs
lola: 1508004 markings, 4355455 edges, 24882 markings/sec, 55 secs
lola: 1633248 markings, 4727340 edges, 25049 markings/sec, 60 secs
lola: 1757953 markings, 5098878 edges, 24941 markings/sec, 65 secs
lola: 1882924 markings, 5473610 edges, 24994 markings/sec, 70 secs
lola: 2007624 markings, 5846843 edges, 24940 markings/sec, 75 secs
lola: 2131986 markings, 6222216 edges, 24872 markings/sec, 80 secs
lola: 2256264 markings, 6597302 edges, 24856 markings/sec, 85 secs
lola: 2380486 markings, 6970234 edges, 24844 markings/sec, 90 secs
lola: 2504482 markings, 7345122 edges, 24799 markings/sec, 95 secs
lola: 2628018 markings, 7716866 edges, 24707 markings/sec, 100 secs
lola: 2752911 markings, 8085167 edges, 24979 markings/sec, 105 secs
lola: 2876967 markings, 8457078 edges, 24811 markings/sec, 110 secs
lola: 3000991 markings, 8827409 edges, 24805 markings/sec, 115 secs
lola: 3124533 markings, 9199583 edges, 24708 markings/sec, 120 secs
lola: 3247916 markings, 9570937 edges, 24677 markings/sec, 125 secs
lola: 3370953 markings, 9943009 edges, 24607 markings/sec, 130 secs
lola: 3493839 markings, 10311573 edges, 24577 markings/sec, 135 secs
lola: 3617413 markings, 10684050 edges, 24715 markings/sec, 140 secs
lola: 3740645 markings, 11055024 edges, 24646 markings/sec, 145 secs
lola: 3864312 markings, 11421608 edges, 24733 markings/sec, 150 secs
lola: 3987322 markings, 11790171 edges, 24602 markings/sec, 155 secs
lola: 4110598 markings, 12160250 edges, 24655 markings/sec, 160 secs
lola: 4232743 markings, 12525339 edges, 24429 markings/sec, 165 secs
lola: 4355551 markings, 12894513 edges, 24562 markings/sec, 170 secs
lola: 4478710 markings, 13266642 edges, 24632 markings/sec, 175 secs
lola: 4602278 markings, 13637406 edges, 24714 markings/sec, 180 secs
lola: 4725653 markings, 14006994 edges, 24675 markings/sec, 185 secs
lola: 4848339 markings, 14380347 edges, 24537 markings/sec, 190 secs
lola: 4971858 markings, 14750530 edges, 24704 markings/sec, 195 secs
lola: 5095335 markings, 15115734 edges, 24695 markings/sec, 200 secs
lola: 5218437 markings, 15485183 edges, 24620 markings/sec, 205 secs
lola: 5341597 markings, 15852247 edges, 24632 markings/sec, 210 secs
lola: 5464799 markings, 16223649 edges, 24640 markings/sec, 215 secs
lola: 5587738 markings, 16593486 edges, 24588 markings/sec, 220 secs
lola: 5710134 markings, 16963537 edges, 24479 markings/sec, 225 secs
lola: 5833073 markings, 17332089 edges, 24588 markings/sec, 230 secs
lola: 5955843 markings, 17700612 edges, 24554 markings/sec, 235 secs
lola: 6078240 markings, 18072535 edges, 24479 markings/sec, 240 secs
lola: 6200623 markings, 18437479 edges, 24477 markings/sec, 245 secs
lola: 6324534 markings, 18803814 edges, 24782 markings/sec, 250 secs
lola: 6447164 markings, 19174195 edges, 24526 markings/sec, 255 secs
lola: 6568937 markings, 19536596 edges, 24355 markings/sec, 260 secs
lola: 6691444 markings, 19905163 edges, 24501 markings/sec, 265 secs
lola: 6813728 markings, 20273203 edges, 24457 markings/sec, 270 secs
lola: 6934880 markings, 20638932 edges, 24230 markings/sec, 275 secs
lola: 7057150 markings, 21005212 edges, 24454 markings/sec, 280 secs
lola: 7178895 markings, 21368827 edges, 24349 markings/sec, 285 secs
lola: 7300822 markings, 21741195 edges, 24385 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 100 100 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2219696 KB
lola: time consumption: 2082 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_7_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N100-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: 100
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 101 markings, 100 edges
lola:
FORMULA Diffusion2D-PT-D10N100-UpperBounds-11 100 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 12 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_2_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N100-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: 100
lola: 121138 markings, 430636 edges, 24228 markings/sec, 0 secs
lola: 242393 markings, 861073 edges, 24251 markings/sec, 5 secs
lola: 363805 markings, 1289043 edges, 24282 markings/sec, 10 secs
lola: 484835 markings, 1720102 edges, 24206 markings/sec, 15 secs
lola: 605190 markings, 2149841 edges, 24071 markings/sec, 20 secs
lola: 724811 markings, 2573082 edges, 23924 markings/sec, 25 secs
lola: 845296 markings, 2988929 edges, 24097 markings/sec, 30 secs
lola: 965905 markings, 3415757 edges, 24122 markings/sec, 35 secs
lola: 1086176 markings, 3832171 edges, 24054 markings/sec, 40 secs
lola: 1206419 markings, 4253815 edges, 24049 markings/sec, 45 secs
lola: 1325896 markings, 4683145 edges, 23895 markings/sec, 50 secs
lola: 1446180 markings, 5111560 edges, 24057 markings/sec, 55 secs
lola: 1565590 markings, 5540495 edges, 23882 markings/sec, 60 secs
lola: 1685178 markings, 5965337 edges, 23918 markings/sec, 65 secs
lola: 1803243 markings, 6395385 edges, 23613 markings/sec, 70 secs
lola: 1922492 markings, 6809925 edges, 23850 markings/sec, 75 secs
lola: 2043306 markings, 7229262 edges, 24163 markings/sec, 80 secs
lola: 2163936 markings, 7646533 edges, 24126 markings/sec, 85 secs
lola: 2284324 markings, 8061271 edges, 24078 markings/sec, 90 secs
lola: 2403911 markings, 8475701 edges, 23917 markings/sec, 95 secs
lola: 2523635 markings, 8882967 edges, 23945 markings/sec, 100 secs
lola: 2643011 markings, 9296773 edges, 23875 markings/sec, 105 secs
lola: 2761235 markings, 9723244 edges, 23645 markings/sec, 110 secs
lola: 2878173 markings, 10121395 edges, 23388 markings/sec, 115 secs
lola: 2997389 markings, 10521195 edges, 23843 markings/sec, 120 secs
lola: 3116651 markings, 10934770 edges, 23852 markings/sec, 125 secs
lola: 3235743 markings, 11347101 edges, 23818 markings/sec, 130 secs
lola: 3355386 markings, 11759837 edges, 23929 markings/sec, 135 secs
lola: 3474109 markings, 12173822 edges, 23745 markings/sec, 140 secs
lola: 3592978 markings, 12584715 edges, 23774 markings/sec, 145 secs
lola: 3712267 markings, 13001135 edges, 23858 markings/sec, 150 secs
lola: 3833023 markings, 13415396 edges, 24151 markings/sec, 155 secs
lola: 3953659 markings, 13832717 edges, 24127 markings/sec, 160 secs
lola: 4073140 markings, 14258671 edges, 23896 markings/sec, 165 secs
lola: 4193490 markings, 14676295 edges, 24070 markings/sec, 170 secs
lola: 4313683 markings, 15093722 edges, 24039 markings/sec, 175 secs
lola: 4433915 markings, 15497276 edges, 24046 markings/sec, 180 secs
lola: 4552762 markings, 15917036 edges, 23769 markings/sec, 185 secs
lola: 4671802 markings, 16333620 edges, 23808 markings/sec, 190 secs
lola: 4791617 markings, 16745738 edges, 23963 markings/sec, 195 secs
lola: 4911067 markings, 17158772 edges, 23890 markings/sec, 200 secs
lola: 5030988 markings, 17570906 edges, 23984 markings/sec, 205 secs
lola: 5149795 markings, 17985854 edges, 23761 markings/sec, 210 secs
lola: 5269201 markings, 18398868 edges, 23881 markings/sec, 215 secs
lola: 5388093 markings, 18817318 edges, 23778 markings/sec, 220 secs
lola: 5506838 markings, 19236968 edges, 23749 markings/sec, 225 secs
lola: 5626659 markings, 19648272 edges, 23964 markings/sec, 230 secs
lola: 5748248 markings, 20064698 edges, 24318 markings/sec, 235 secs
lola: 5870611 markings, 20480821 edges, 24473 markings/sec, 240 secs
lola: 5989754 markings, 20893748 edges, 23829 markings/sec, 245 secs
lola: 6108656 markings, 21305667 edges, 23780 markings/sec, 250 secs
lola: 6227389 markings, 21713400 edges, 23747 markings/sec, 255 secs
lola: 6345402 markings, 22138196 edges, 23603 markings/sec, 260 secs
lola: 6466677 markings, 22560230 edges, 24255 markings/sec, 265 secs
lola: 6587627 markings, 22976485 edges, 24190 markings/sec, 270 secs
lola: 6706066 markings, 23385806 edges, 23688 markings/sec, 275 secs
lola: 6825560 markings, 23790007 edges, 23899 markings/sec, 280 secs
lola: 6944583 markings, 24203410 edges, 23805 markings/sec, 285 secs
lola: 7064476 markings, 24611533 edges, 23979 markings/sec, 290 secs
lola: 7184728 markings, 25022291 edges, 24050 markings/sec, 295 secs
lola: 7303485 markings, 25433754 edges, 23751 markings/sec, 300 secs
lola: 7422374 markings, 25843342 edges, 23778 markings/sec, 305 secs
lola: 7541881 markings, 26250976 edges, 23901 markings/sec, 310 secs
lola: 7660677 markings, 26675347 edges, 23759 markings/sec, 315 secs
lola: 7779846 markings, 27080870 edges, 23834 markings/sec, 320 secs
lola: 7897557 markings, 27489691 edges, 23542 markings/sec, 325 secs
lola: 8016426 markings, 27898078 edges, 23774 markings/sec, 330 secs
lola: 8134928 markings, 28316108 edges, 23700 markings/sec, 335 secs
lola: 8255601 markings, 28718276 edges, 24135 markings/sec, 340 secs
lola: 8375442 markings, 29129049 edges, 23968 markings/sec, 345 secs
lola: 8493999 markings, 29528416 edges, 23711 markings/sec, 350 secs
lola: 8613156 markings, 29941412 edges, 23831 markings/sec, 355 secs
lola: 8731770 markings, 30357042 edges, 23723 markings/sec, 360 secs
lola: 8850616 markings, 30761479 edges, 23769 markings/sec, 365 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 100 100 100 unknown unknown unknown unknown 100 unknown unknown unknown unknown
lola: memory consumption: 2517504 KB
lola: time consumption: 2454 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 372 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-D10N100-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: 100
lola: 122332 markings, 388726 edges, 24466 markings/sec, 0 secs
lola: 246068 markings, 767021 edges, 24747 markings/sec, 5 secs
lola: 367628 markings, 1167314 edges, 24312 markings/sec, 10 secs
lola: 489428 markings, 1548809 edges, 24360 markings/sec, 15 secs
lola: 612984 markings, 1911594 edges, 24711 markings/sec, 20 secs
lola: 735366 markings, 2274882 edges, 24476 markings/sec, 25 secs
lola: 857522 markings, 2655121 edges, 24431 markings/sec, 30 secs
lola: 979544 markings, 3033002 edges, 24404 markings/sec, 35 secs
lola: 1101791 markings, 3398301 edges, 24449 markings/sec, 40 secs
lola: 1224100 markings, 3759857 edges, 24462 markings/sec, 45 secs
lola: 1346431 markings, 4111373 edges, 24466 markings/sec, 50 secs
lola: 1469126 markings, 4463742 edges, 24539 markings/sec, 55 secs
lola: 1591888 markings, 4818445 edges, 24552 markings/sec, 60 secs
lola: 1714617 markings, 5182844 edges, 24546 markings/sec, 65 secs
lola: 1837191 markings, 5535525 edges, 24515 markings/sec, 70 secs
lola: 1958375 markings, 5915291 edges, 24237 markings/sec, 75 secs
lola: 2081437 markings, 6272301 edges, 24612 markings/sec, 80 secs
lola: 2203039 markings, 6645531 edges, 24320 markings/sec, 85 secs
lola: 2325042 markings, 6999630 edges, 24401 markings/sec, 90 secs
lola: 2447142 markings, 7355281 edges, 24420 markings/sec, 95 secs
lola: 2568550 markings, 7722650 edges, 24282 markings/sec, 100 secs
lola: 2690593 markings, 8072296 edges, 24409 markings/sec, 105 secs
lola: 2811538 markings, 8418342 edges, 24189 markings/sec, 110 secs
lola: 2932208 markings, 8764509 edges, 24134 markings/sec, 115 secs
lola: 3053319 markings, 9111498 edges, 24222 markings/sec, 120 secs
lola: 3175080 markings, 9460108 edges, 24352 markings/sec, 125 secs
lola: 3296909 markings, 9809389 edges, 24366 markings/sec, 130 secs
lola: 3419249 markings, 10160182 edges, 24468 markings/sec, 135 secs
lola: 3541719 markings, 10522505 edges, 24494 markings/sec, 140 secs
lola: 3661934 markings, 10869487 edges, 24043 markings/sec, 145 secs
lola: 3784097 markings, 11219622 edges, 24433 markings/sec, 150 secs
lola: 3906181 markings, 11582687 edges, 24417 markings/sec, 155 secs
lola: 4026653 markings, 11952573 edges, 24094 markings/sec, 160 secs
lola: 4148953 markings, 12302815 edges, 24460 markings/sec, 165 secs
lola: 4270554 markings, 12673273 edges, 24320 markings/sec, 170 secs
lola: 4392617 markings, 13033739 edges, 24413 markings/sec, 175 secs
lola: 4514719 markings, 13385060 edges, 24420 markings/sec, 180 secs
lola: 4635903 markings, 13732213 edges, 24237 markings/sec, 185 secs
lola: 4757293 markings, 14081916 edges, 24278 markings/sec, 190 secs
lola: 4878426 markings, 14451564 edges, 24227 markings/sec, 195 secs
lola: 4999288 markings, 14798032 edges, 24172 markings/sec, 200 secs
lola: 5120950 markings, 15146715 edges, 24332 markings/sec, 205 secs
lola: 5242933 markings, 15494908 edges, 24397 markings/sec, 210 secs
lola: 5363652 markings, 15841154 edges, 24144 markings/sec, 215 secs
lola: 5484986 markings, 16188609 edges, 24267 markings/sec, 220 secs
lola: 5606480 markings, 16536738 edges, 24299 markings/sec, 225 secs
lola: 5727242 markings, 16882872 edges, 24152 markings/sec, 230 secs
lola: 5848283 markings, 17229454 edges, 24208 markings/sec, 235 secs
lola: 5969656 markings, 17576232 edges, 24275 markings/sec, 240 secs
lola: 6090109 markings, 17921424 edges, 24091 markings/sec, 245 secs
lola: 6211602 markings, 18269449 edges, 24299 markings/sec, 250 secs
lola: 6334123 markings, 18616992 edges, 24504 markings/sec, 255 secs
lola: 6456492 markings, 18967612 edges, 24474 markings/sec, 260 secs
lola: 6578860 markings, 19331106 edges, 24474 markings/sec, 265 secs
lola: 6699390 markings, 19675998 edges, 24106 markings/sec, 270 secs
lola: 6820481 markings, 20023105 edges, 24218 markings/sec, 275 secs
lola: 6941573 markings, 20369985 edges, 24218 markings/sec, 280 secs
lola: 7062993 markings, 20727829 edges, 24284 markings/sec, 285 secs
lola: 7183037 markings, 21102339 edges, 24009 markings/sec, 290 secs
lola: 7304437 markings, 21451382 edges, 24280 markings/sec, 295 secs
lola: 7426120 markings, 21800150 edges, 24337 markings/sec, 300 secs
lola: 7548255 markings, 22149985 edges, 24427 markings/sec, 305 secs
lola: 7668911 markings, 22526393 edges, 24131 markings/sec, 310 secs
lola: 7790871 markings, 22879170 edges, 24392 markings/sec, 315 secs
lola: 7912148 markings, 23226923 edges, 24255 markings/sec, 320 secs
lola: 8032019 markings, 23570328 edges, 23974 markings/sec, 325 secs
lola: 8153026 markings, 23916976 edges, 24201 markings/sec, 330 secs
lola: 8273784 markings, 24263053 edges, 24152 markings/sec, 335 secs
lola: 8395173 markings, 24620054 edges, 24278 markings/sec, 340 secs
lola: 8515925 markings, 24981286 edges, 24150 markings/sec, 345 secs
lola: 8635673 markings, 25324439 edges, 23950 markings/sec, 350 secs
lola: 8756545 markings, 25670835 edges, 24174 markings/sec, 355 secs
lola: 8877033 markings, 26016084 edges, 24098 markings/sec, 360 secs
lola: 8997968 markings, 26360869 edges, 24187 markings/sec, 365 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 100 100 100 unknown unknown unknown unknown 100 unknown unknown unknown unknown
lola: memory consumption: 2424860 KB
lola: time consumption: 2826 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N100-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: 100
lola: 128258 markings, 356867 edges, 25652 markings/sec, 0 secs
lola: 254261 markings, 727962 edges, 25201 markings/sec, 5 secs
lola: 381517 markings, 1077737 edges, 25451 markings/sec, 10 secs
lola: 509451 markings, 1419266 edges, 25587 markings/sec, 15 secs
lola: 636874 markings, 1759365 edges, 25485 markings/sec, 20 secs
lola: 764134 markings, 2099294 edges, 25452 markings/sec, 25 secs
lola: 891442 markings, 2441230 edges, 25462 markings/sec, 30 secs
lola: 1017326 markings, 2800874 edges, 25177 markings/sec, 35 secs
lola: 1142843 markings, 3154687 edges, 25103 markings/sec, 40 secs
lola: 1271943 markings, 3502326 edges, 25820 markings/sec, 45 secs
lola: 1400907 markings, 3846492 edges, 25793 markings/sec, 50 secs
lola: 1529460 markings, 4189858 edges, 25711 markings/sec, 55 secs
lola: 1657967 markings, 4533112 edges, 25701 markings/sec, 60 secs
lola: 1783653 markings, 4894917 edges, 25137 markings/sec, 65 secs
lola: 1907734 markings, 5279199 edges, 24816 markings/sec, 70 secs
lola: 2034045 markings, 5633734 edges, 25262 markings/sec, 75 secs
lola: 2159176 markings, 5997489 edges, 25026 markings/sec, 80 secs
lola: 2283990 markings, 6356039 edges, 24963 markings/sec, 85 secs
lola: 2409062 markings, 6708705 edges, 25014 markings/sec, 90 secs
lola: 2534055 markings, 7071329 edges, 24999 markings/sec, 95 secs
lola: 2659456 markings, 7426468 edges, 25080 markings/sec, 100 secs
lola: 2783678 markings, 7801717 edges, 24844 markings/sec, 105 secs
lola: 2905450 markings, 8228427 edges, 24354 markings/sec, 110 secs
lola: 3028440 markings, 8613537 edges, 24598 markings/sec, 115 secs
lola: 3153145 markings, 8978111 edges, 24941 markings/sec, 120 secs
lola: 3276085 markings, 9374755 edges, 24588 markings/sec, 125 secs
lola: 3401190 markings, 9736688 edges, 25021 markings/sec, 130 secs
lola: 3524637 markings, 10115359 edges, 24689 markings/sec, 135 secs
lola: 3648791 markings, 10490350 edges, 24831 markings/sec, 140 secs
lola: 3773113 markings, 10853332 edges, 24864 markings/sec, 145 secs
lola: 3896889 markings, 11228586 edges, 24755 markings/sec, 150 secs
lola: 4024034 markings, 11567993 edges, 25429 markings/sec, 155 secs
lola: 4150508 markings, 11905768 edges, 25295 markings/sec, 160 secs
lola: 4276824 markings, 12243269 edges, 25263 markings/sec, 165 secs
lola: 4402680 markings, 12594187 edges, 25171 markings/sec, 170 secs
lola: 4527525 markings, 12952027 edges, 24969 markings/sec, 175 secs
lola: 4651831 markings, 13320805 edges, 24861 markings/sec, 180 secs
lola: 4778775 markings, 13665872 edges, 25389 markings/sec, 185 secs
lola: 4905320 markings, 14003707 edges, 25309 markings/sec, 190 secs
lola: 5031518 markings, 14340808 edges, 25240 markings/sec, 195 secs
lola: 5157030 markings, 14697020 edges, 25102 markings/sec, 200 secs
lola: 5281946 markings, 15071977 edges, 24983 markings/sec, 205 secs
lola: 5406093 markings, 15412332 edges, 24829 markings/sec, 210 secs
lola: 5531459 markings, 15747062 edges, 25073 markings/sec, 215 secs
lola: 5656405 markings, 16080769 edges, 24989 markings/sec, 220 secs
lola: 5780537 markings, 16431113 edges, 24826 markings/sec, 225 secs
lola: 5904410 markings, 16774557 edges, 24775 markings/sec, 230 secs
lola: 6029997 markings, 17109819 edges, 25117 markings/sec, 235 secs
lola: 6155082 markings, 17443913 edges, 25017 markings/sec, 240 secs
lola: 6280272 markings, 17783161 edges, 25038 markings/sec, 245 secs
lola: 6405393 markings, 18138596 edges, 25024 markings/sec, 250 secs
lola: 6528938 markings, 18499451 edges, 24709 markings/sec, 255 secs
lola: 6654179 markings, 18865138 edges, 25048 markings/sec, 260 secs
lola: 6779458 markings, 19199754 edges, 25056 markings/sec, 265 secs
lola: 6905307 markings, 19535639 edges, 25170 markings/sec, 270 secs
lola: 7030857 markings, 19871277 edges, 25110 markings/sec, 275 secs
lola: 7155241 markings, 20230076 edges, 24877 markings/sec, 280 secs
lola: 7275528 markings, 20606267 edges, 24057 markings/sec, 285 secs
lola: 7399480 markings, 20977130 edges, 24790 markings/sec, 290 secs
lola: 7524175 markings, 21332174 edges, 24939 markings/sec, 295 secs
lola: 7648656 markings, 21674131 edges, 24896 markings/sec, 300 secs
lola: 7773359 markings, 22007014 edges, 24941 markings/sec, 305 secs
lola: 7897673 markings, 22338967 edges, 24863 markings/sec, 310 secs
lola: 8022343 markings, 22673652 edges, 24934 markings/sec, 315 secs
lola: 8146000 markings, 23027231 edges, 24731 markings/sec, 320 secs
lola: 8270125 markings, 23378196 edges, 24825 markings/sec, 325 secs
lola: 8394088 markings, 23735167 edges, 24793 markings/sec, 330 secs
lola: 8517577 markings, 24088312 edges, 24698 markings/sec, 335 secs
lola: 8641358 markings, 24438132 edges, 24756 markings/sec, 340 secs
lola: 8764986 markings, 24798133 edges, 24726 markings/sec, 345 secs
lola: 8889193 markings, 25153231 edges, 24841 markings/sec, 350 secs
lola: 9012058 markings, 25530073 edges, 24573 markings/sec, 355 secs
lola: 9132439 markings, 25952126 edges, 24076 markings/sec, 360 secs
lola: 9254507 markings, 26315712 edges, 24414 markings/sec, 365 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 100 100 100 unknown unknown unknown unknown 100 unknown unknown unknown unknown
lola: memory consumption: 3061228 KB
lola: time consumption: 3199 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 371 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-D10N100-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: 100
lola: 123240 markings, 407113 edges, 24648 markings/sec, 0 secs
lola: 245866 markings, 823330 edges, 24525 markings/sec, 5 secs
lola: 367566 markings, 1220722 edges, 24340 markings/sec, 10 secs
lola: 490081 markings, 1621078 edges, 24503 markings/sec, 15 secs
lola: 612635 markings, 2020534 edges, 24511 markings/sec, 20 secs
lola: 734239 markings, 2421131 edges, 24321 markings/sec, 25 secs
lola: 855968 markings, 2830127 edges, 24346 markings/sec, 30 secs
lola: 978105 markings, 3222498 edges, 24427 markings/sec, 35 secs
lola: 1100283 markings, 3624684 edges, 24436 markings/sec, 40 secs
lola: 1221375 markings, 4030076 edges, 24218 markings/sec, 45 secs
lola: 1343475 markings, 4426672 edges, 24420 markings/sec, 50 secs
lola: 1465580 markings, 4823226 edges, 24421 markings/sec, 55 secs
lola: 1587531 markings, 5228258 edges, 24390 markings/sec, 60 secs
lola: 1709507 markings, 5625979 edges, 24395 markings/sec, 65 secs
lola: 1832520 markings, 6023556 edges, 24603 markings/sec, 70 secs
lola: 1954051 markings, 6422821 edges, 24306 markings/sec, 75 secs
lola: 2074954 markings, 6825624 edges, 24181 markings/sec, 80 secs
lola: 2196968 markings, 7218060 edges, 24403 markings/sec, 85 secs
lola: 2318354 markings, 7614264 edges, 24277 markings/sec, 90 secs
lola: 2439624 markings, 8014991 edges, 24254 markings/sec, 95 secs
lola: 2561853 markings, 8412547 edges, 24446 markings/sec, 100 secs
lola: 2683475 markings, 8806915 edges, 24324 markings/sec, 105 secs
lola: 2804072 markings, 9210697 edges, 24119 markings/sec, 110 secs
lola: 2925489 markings, 9606954 edges, 24283 markings/sec, 115 secs
lola: 3046831 markings, 10000985 edges, 24268 markings/sec, 120 secs
lola: 3167733 markings, 10401217 edges, 24180 markings/sec, 125 secs
lola: 3288828 markings, 10796941 edges, 24219 markings/sec, 130 secs
lola: 3411525 markings, 11191982 edges, 24539 markings/sec, 135 secs
lola: 3532926 markings, 11590398 edges, 24280 markings/sec, 140 secs
lola: 3653531 markings, 11994329 edges, 24121 markings/sec, 145 secs
lola: 3773914 markings, 12383529 edges, 24077 markings/sec, 150 secs
lola: 3893292 markings, 12771556 edges, 23876 markings/sec, 155 secs
lola: 4013996 markings, 13169793 edges, 24141 markings/sec, 160 secs
lola: 4135362 markings, 13565436 edges, 24273 markings/sec, 165 secs
lola: 4257104 markings, 13959551 edges, 24348 markings/sec, 170 secs
lola: 4377708 markings, 14357146 edges, 24121 markings/sec, 175 secs
lola: 4498574 markings, 14755098 edges, 24173 markings/sec, 180 secs
lola: 4619450 markings, 15149192 edges, 24175 markings/sec, 185 secs
lola: 4740240 markings, 15542329 edges, 24158 markings/sec, 190 secs
lola: 4860786 markings, 15940595 edges, 24109 markings/sec, 195 secs
lola: 4982469 markings, 16335961 edges, 24337 markings/sec, 200 secs
lola: 5103541 markings, 16728563 edges, 24214 markings/sec, 205 secs
lola: 5223005 markings, 17128680 edges, 23893 markings/sec, 210 secs
lola: 5343751 markings, 17521038 edges, 24149 markings/sec, 215 secs
lola: 5464128 markings, 17911940 edges, 24075 markings/sec, 220 secs
lola: 5584369 markings, 18311296 edges, 24048 markings/sec, 225 secs
lola: 5705131 markings, 18703478 edges, 24152 markings/sec, 230 secs
lola: 5826657 markings, 19096122 edges, 24305 markings/sec, 235 secs
lola: 5947289 markings, 19492714 edges, 24126 markings/sec, 240 secs
lola: 6066439 markings, 19892195 edges, 23830 markings/sec, 245 secs
lola: 6187937 markings, 20282533 edges, 24300 markings/sec, 250 secs
lola: 6308544 markings, 20674713 edges, 24121 markings/sec, 255 secs
lola: 6429075 markings, 21074219 edges, 24106 markings/sec, 260 secs
lola: 6550222 markings, 21468021 edges, 24229 markings/sec, 265 secs
lola: 6671495 markings, 21861589 edges, 24255 markings/sec, 270 secs
lola: 6791255 markings, 22258234 edges, 23952 markings/sec, 275 secs
lola: 6910673 markings, 22650891 edges, 23884 markings/sec, 280 secs
lola: 7030355 markings, 23039915 edges, 23936 markings/sec, 285 secs
lola: 7150713 markings, 23435725 edges, 24072 markings/sec, 290 secs
lola: 7271217 markings, 23830741 edges, 24101 markings/sec, 295 secs
lola: 7393007 markings, 24226045 edges, 24358 markings/sec, 300 secs
lola: 7512530 markings, 24616646 edges, 23905 markings/sec, 305 secs
lola: 7631969 markings, 25014333 edges, 23888 markings/sec, 310 secs
lola: 7751468 markings, 25402225 edges, 23900 markings/sec, 315 secs
lola: 7870427 markings, 25787899 edges, 23792 markings/sec, 320 secs
lola: 7988091 markings, 26179273 edges, 23533 markings/sec, 325 secs
lola: 8108203 markings, 26569558 edges, 24022 markings/sec, 330 secs
lola: 8228651 markings, 26958594 edges, 24090 markings/sec, 335 secs
lola: 8345615 markings, 27342997 edges, 23393 markings/sec, 340 secs
lola: 8464216 markings, 27741218 edges, 23720 markings/sec, 345 secs
lola: 8583899 markings, 28127256 edges, 23937 markings/sec, 350 secs
lola: 8703078 markings, 28514315 edges, 23836 markings/sec, 355 secs
lola: 8822332 markings, 28908065 edges, 23851 markings/sec, 360 secs
lola: 8941931 markings, 29298835 edges, 23920 markings/sec, 365 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 100 100 100 unknown unknown unknown unknown 100 unknown unknown unknown unknown
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: unknown unknown unknown unknown 100 100 100 unknown unknown unknown unknown 100 unknown unknown unknown unknown

lola:
preliminary result: unknown unknown unknown unknown 100 100 100 unknown unknown unknown unknown 100 unknown unknown unknown unknown
lola: memory consumption: 2260140 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown 100 100 100 unknown unknown unknown unknown 100 unknown unknown unknown unknown
lola: memory consumption: 2260140 KB
lola: time consumption: 3570 seconds

BK_STOP 1552916486850

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

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