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.r060-ebro-155234654800209.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 lola
Input is Diffusion2D-PT-D40N100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654800209
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.8M
-rw-r--r-- 1 mcc users 4.4K Feb 10 21:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 10 21:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 6 17:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 6 17:57 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.5K Feb 4 23:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K Feb 4 23:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.9K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 3 07:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 3 07:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Jan 30 23:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 30 23:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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 4.7M 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-D40N100-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552588401041

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ Diffusion2D-PT-D40N100 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ Diffusion2D-PT-D40N100
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 13924/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 51200
lola: finding significant places
lola: 1600 places, 12324 transitions, 1599 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: MAX(cAMP__14_1_) : MAX(cAMP__27_32_) : MAX(cAMP__21_25_) : MAX(cAMP__37_14_) : MAX(cAMP__18_25_) : MAX(cAMP__26_23_) : MAX(cAMP__13_16_) : MAX(cAMP__24_29_) : MAX(cAMP__27_5_) : MAX(cAMP__11_24_) : MAX(cAMP__2_13_) : MAX(cAMP__11_19_) : MAX(cAMP__1_4_) : MAX(cAMP__23_9_) : MAX(cAMP__14_24_) : MAX(cAMP__19_31_)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__14_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_1_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 2339 markings, 9105 edges, 468 markings/sec, 0 secs
lola: 7418 markings, 26903 edges, 1016 markings/sec, 5 secs
lola: 12342 markings, 44805 edges, 985 markings/sec, 10 secs
lola: 17337 markings, 62275 edges, 999 markings/sec, 15 secs
lola: 22370 markings, 79853 edges, 1007 markings/sec, 20 secs
lola: 27448 markings, 97128 edges, 1016 markings/sec, 25 secs
lola: 32574 markings, 113607 edges, 1025 markings/sec, 30 secs
lola: 37683 markings, 130578 edges, 1022 markings/sec, 35 secs
lola: 42795 markings, 147707 edges, 1022 markings/sec, 40 secs
lola: 47893 markings, 164927 edges, 1020 markings/sec, 45 secs
lola: 52957 markings, 182343 edges, 1013 markings/sec, 50 secs
lola: 58063 markings, 198938 edges, 1021 markings/sec, 55 secs
lola: 63109 markings, 215294 edges, 1009 markings/sec, 60 secs
lola: 68233 markings, 232797 edges, 1025 markings/sec, 65 secs
lola: 73356 markings, 249791 edges, 1025 markings/sec, 70 secs
lola: 78332 markings, 266336 edges, 995 markings/sec, 75 secs
lola: 83439 markings, 283052 edges, 1021 markings/sec, 80 secs
lola: 88548 markings, 300353 edges, 1022 markings/sec, 85 secs
lola: 93641 markings, 317726 edges, 1019 markings/sec, 90 secs
lola: 98742 markings, 334823 edges, 1020 markings/sec, 95 secs
lola: 103857 markings, 351862 edges, 1023 markings/sec, 100 secs
lola: 108990 markings, 368726 edges, 1027 markings/sec, 105 secs
lola: 114124 markings, 385971 edges, 1027 markings/sec, 110 secs
lola: 119260 markings, 402860 edges, 1027 markings/sec, 115 secs
lola: 124378 markings, 420351 edges, 1024 markings/sec, 120 secs
lola: 129443 markings, 436689 edges, 1013 markings/sec, 125 secs
lola: 134545 markings, 453814 edges, 1020 markings/sec, 130 secs
lola: 139656 markings, 471054 edges, 1022 markings/sec, 135 secs
lola: 144759 markings, 488174 edges, 1021 markings/sec, 140 secs
lola: 149852 markings, 505603 edges, 1019 markings/sec, 145 secs
lola: 154979 markings, 522278 edges, 1025 markings/sec, 150 secs
lola: 160085 markings, 539223 edges, 1021 markings/sec, 155 secs
lola: 165192 markings, 556269 edges, 1021 markings/sec, 160 secs
lola: 170302 markings, 573310 edges, 1022 markings/sec, 165 secs
lola: 175417 markings, 590339 edges, 1023 markings/sec, 170 secs
lola: 180552 markings, 607025 edges, 1027 markings/sec, 175 secs
lola: 185675 markings, 624613 edges, 1025 markings/sec, 180 secs
lola: 190812 markings, 640865 edges, 1027 markings/sec, 185 secs
lola: 195926 markings, 656832 edges, 1023 markings/sec, 190 secs
lola: 201040 markings, 673171 edges, 1023 markings/sec, 195 secs
lola: 206147 markings, 689953 edges, 1021 markings/sec, 200 secs
lola: 211250 markings, 706948 edges, 1021 markings/sec, 205 secs
lola: 216368 markings, 723082 edges, 1024 markings/sec, 210 secs
lola: 221498 markings, 739198 edges, 1026 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: 203440 KB
lola: time consumption: 228 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__27_32_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__27_32_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 2418 markings, 8405 edges, 484 markings/sec, 0 secs
lola: 7400 markings, 26440 edges, 996 markings/sec, 5 secs
lola: 12427 markings, 44188 edges, 1005 markings/sec, 10 secs
lola: 17405 markings, 59747 edges, 996 markings/sec, 15 secs
lola: 22424 markings, 77216 edges, 1004 markings/sec, 20 secs
lola: 27533 markings, 95313 edges, 1022 markings/sec, 25 secs
lola: 32617 markings, 114086 edges, 1017 markings/sec, 30 secs
lola: 37710 markings, 132529 edges, 1019 markings/sec, 35 secs
lola: 42788 markings, 151318 edges, 1016 markings/sec, 40 secs
lola: 47907 markings, 168231 edges, 1024 markings/sec, 45 secs
lola: 53017 markings, 185543 edges, 1022 markings/sec, 50 secs
lola: 58079 markings, 203897 edges, 1012 markings/sec, 55 secs
lola: 63154 markings, 221771 edges, 1015 markings/sec, 60 secs
lola: 68197 markings, 241073 edges, 1009 markings/sec, 65 secs
lola: 73251 markings, 259969 edges, 1011 markings/sec, 70 secs
lola: 78319 markings, 278694 edges, 1014 markings/sec, 75 secs
lola: 83395 markings, 297869 edges, 1015 markings/sec, 80 secs
lola: 88569 markings, 314720 edges, 1035 markings/sec, 85 secs
lola: 93707 markings, 332692 edges, 1028 markings/sec, 90 secs
lola: 98836 markings, 350677 edges, 1026 markings/sec, 95 secs
lola: 103972 markings, 368991 edges, 1027 markings/sec, 100 secs
lola: 109036 markings, 387612 edges, 1013 markings/sec, 105 secs
lola: 114106 markings, 404345 edges, 1014 markings/sec, 110 secs
lola: 119189 markings, 420691 edges, 1017 markings/sec, 115 secs
lola: 124264 markings, 439182 edges, 1015 markings/sec, 120 secs
lola: 129408 markings, 455796 edges, 1029 markings/sec, 125 secs
lola: 134531 markings, 473322 edges, 1025 markings/sec, 130 secs
lola: 139653 markings, 491493 edges, 1024 markings/sec, 135 secs
lola: 144721 markings, 509542 edges, 1014 markings/sec, 140 secs
lola: 149825 markings, 528286 edges, 1021 markings/sec, 145 secs
lola: 154886 markings, 546841 edges, 1012 markings/sec, 150 secs
lola: 160041 markings, 564042 edges, 1031 markings/sec, 155 secs
lola: 165178 markings, 582006 edges, 1027 markings/sec, 160 secs
lola: 170296 markings, 601091 edges, 1024 markings/sec, 165 secs
lola: 175414 markings, 618625 edges, 1024 markings/sec, 170 secs
lola: 180526 markings, 637082 edges, 1022 markings/sec, 175 secs
lola: 185692 markings, 653585 edges, 1033 markings/sec, 180 secs
lola: 190853 markings, 670283 edges, 1032 markings/sec, 185 secs
lola: 196014 markings, 686647 edges, 1032 markings/sec, 190 secs
lola: 201181 markings, 702278 edges, 1033 markings/sec, 195 secs
lola: 206319 markings, 719236 edges, 1028 markings/sec, 200 secs
lola: 211470 markings, 735240 edges, 1030 markings/sec, 205 secs
lola: 216583 markings, 753372 edges, 1023 markings/sec, 210 secs
lola: 221696 markings, 770101 edges, 1023 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: 206188 KB
lola: time consumption: 450 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__21_25_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__21_25_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 2457 markings, 6919 edges, 491 markings/sec, 0 secs
lola: 7660 markings, 21682 edges, 1041 markings/sec, 5 secs
lola: 12851 markings, 36376 edges, 1038 markings/sec, 10 secs
lola: 18055 markings, 51096 edges, 1041 markings/sec, 15 secs
lola: 23258 markings, 65839 edges, 1041 markings/sec, 20 secs
lola: 28440 markings, 81716 edges, 1036 markings/sec, 25 secs
lola: 33618 markings, 97718 edges, 1036 markings/sec, 30 secs
lola: 38776 markings, 114855 edges, 1032 markings/sec, 35 secs
lola: 43959 markings, 130506 edges, 1037 markings/sec, 40 secs
lola: 49142 markings, 146622 edges, 1037 markings/sec, 45 secs
lola: 54323 markings, 162170 edges, 1036 markings/sec, 50 secs
lola: 59464 markings, 179296 edges, 1028 markings/sec, 55 secs
lola: 64589 markings, 195799 edges, 1025 markings/sec, 60 secs
lola: 69651 markings, 213092 edges, 1012 markings/sec, 65 secs
lola: 74686 markings, 228957 edges, 1007 markings/sec, 70 secs
lola: 79706 markings, 244702 edges, 1004 markings/sec, 75 secs
lola: 84728 markings, 260190 edges, 1004 markings/sec, 80 secs
lola: 89843 markings, 275693 edges, 1023 markings/sec, 85 secs
lola: 94968 markings, 291535 edges, 1025 markings/sec, 90 secs
lola: 100080 markings, 307983 edges, 1022 markings/sec, 95 secs
lola: 105177 markings, 324903 edges, 1019 markings/sec, 100 secs
lola: 110294 markings, 341194 edges, 1023 markings/sec, 105 secs
lola: 115328 markings, 358909 edges, 1007 markings/sec, 110 secs
lola: 120402 markings, 376212 edges, 1015 markings/sec, 115 secs
lola: 125519 markings, 392566 edges, 1023 markings/sec, 120 secs
lola: 130634 markings, 408303 edges, 1023 markings/sec, 125 secs
lola: 135702 markings, 426647 edges, 1014 markings/sec, 130 secs
lola: 140768 markings, 442534 edges, 1013 markings/sec, 135 secs
lola: 145899 markings, 458528 edges, 1026 markings/sec, 140 secs
lola: 150897 markings, 475789 edges, 1000 markings/sec, 145 secs
lola: 155979 markings, 491368 edges, 1016 markings/sec, 150 secs
lola: 161062 markings, 508447 edges, 1017 markings/sec, 155 secs
lola: 166180 markings, 525618 edges, 1024 markings/sec, 160 secs
lola: 171292 markings, 542732 edges, 1022 markings/sec, 165 secs
lola: 176338 markings, 560005 edges, 1009 markings/sec, 170 secs
lola: 181330 markings, 578416 edges, 998 markings/sec, 175 secs
lola: 186436 markings, 594898 edges, 1021 markings/sec, 180 secs
lola: 191601 markings, 610843 edges, 1033 markings/sec, 185 secs
lola: 196752 markings, 627623 edges, 1030 markings/sec, 190 secs
lola: 201819 markings, 644763 edges, 1013 markings/sec, 195 secs
lola: 206953 markings, 661454 edges, 1027 markings/sec, 200 secs
lola: 212046 markings, 679334 edges, 1019 markings/sec, 205 secs
lola: 217146 markings, 697192 edges, 1020 markings/sec, 210 secs
lola: 222273 markings, 713925 edges, 1025 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: 215284 KB
lola: time consumption: 673 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__37_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__37_14_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 2257 markings, 8253 edges, 451 markings/sec, 0 secs
lola: 7400 markings, 26859 edges, 1029 markings/sec, 5 secs
lola: 12538 markings, 46218 edges, 1028 markings/sec, 10 secs
lola: 17678 markings, 65504 edges, 1028 markings/sec, 15 secs
lola: 22833 markings, 84016 edges, 1031 markings/sec, 20 secs
lola: 27977 markings, 102656 edges, 1029 markings/sec, 25 secs
lola: 33174 markings, 119463 edges, 1039 markings/sec, 30 secs
lola: 38314 markings, 137198 edges, 1028 markings/sec, 35 secs
lola: 43463 markings, 154048 edges, 1030 markings/sec, 40 secs
lola: 48617 markings, 171925 edges, 1031 markings/sec, 45 secs
lola: 53788 markings, 190850 edges, 1034 markings/sec, 50 secs
lola: 58977 markings, 208056 edges, 1038 markings/sec, 55 secs
lola: 64154 markings, 225899 edges, 1035 markings/sec, 60 secs
lola: 69309 markings, 245037 edges, 1031 markings/sec, 65 secs
lola: 74485 markings, 262862 edges, 1035 markings/sec, 70 secs
lola: 79655 markings, 280584 edges, 1034 markings/sec, 75 secs
lola: 84818 markings, 298990 edges, 1033 markings/sec, 80 secs
lola: 89957 markings, 317587 edges, 1028 markings/sec, 85 secs
lola: 95087 markings, 336746 edges, 1026 markings/sec, 90 secs
lola: 100077 markings, 353075 edges, 998 markings/sec, 95 secs
lola: 104837 markings, 368009 edges, 952 markings/sec, 100 secs
lola: 109661 markings, 384061 edges, 965 markings/sec, 105 secs
lola: 114651 markings, 399587 edges, 998 markings/sec, 110 secs
lola: 119749 markings, 417274 edges, 1020 markings/sec, 115 secs
lola: 124677 markings, 434962 edges, 986 markings/sec, 120 secs
lola: 129761 markings, 452047 edges, 1017 markings/sec, 125 secs
lola: 134930 markings, 469715 edges, 1034 markings/sec, 130 secs
lola: 140104 markings, 487444 edges, 1035 markings/sec, 135 secs
lola: 145278 markings, 504348 edges, 1035 markings/sec, 140 secs
lola: 150360 markings, 522044 edges, 1016 markings/sec, 145 secs
lola: 155238 markings, 539805 edges, 976 markings/sec, 150 secs
lola: 159992 markings, 557447 edges, 951 markings/sec, 155 secs
lola: 164795 markings, 576092 edges, 961 markings/sec, 160 secs
lola: 169783 markings, 592307 edges, 998 markings/sec, 165 secs
lola: 174929 markings, 609866 edges, 1029 markings/sec, 170 secs
lola: 180084 markings, 627421 edges, 1031 markings/sec, 175 secs
lola: 185243 markings, 644693 edges, 1032 markings/sec, 180 secs
lola: 190380 markings, 662717 edges, 1027 markings/sec, 185 secs
lola: 195522 markings, 679911 edges, 1028 markings/sec, 190 secs
lola: 200702 markings, 696184 edges, 1036 markings/sec, 195 secs
lola: 205857 markings, 712798 edges, 1031 markings/sec, 200 secs
lola: 210963 markings, 730372 edges, 1021 markings/sec, 205 secs
lola: 216095 markings, 746834 edges, 1026 markings/sec, 210 secs
lola: 221238 markings, 764108 edges, 1029 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: 204948 KB
lola: time consumption: 895 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_25_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_25_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 2378 markings, 7700 edges, 476 markings/sec, 0 secs
lola: 7478 markings, 24991 edges, 1020 markings/sec, 5 secs
lola: 12545 markings, 41838 edges, 1013 markings/sec, 10 secs
lola: 17687 markings, 58749 edges, 1028 markings/sec, 15 secs
lola: 22832 markings, 75750 edges, 1029 markings/sec, 20 secs
lola: 27959 markings, 93309 edges, 1025 markings/sec, 25 secs
lola: 33083 markings, 111296 edges, 1025 markings/sec, 30 secs
lola: 38223 markings, 128614 edges, 1028 markings/sec, 35 secs
lola: 43341 markings, 146479 edges, 1024 markings/sec, 40 secs
lola: 48479 markings, 163441 edges, 1028 markings/sec, 45 secs
lola: 53587 markings, 182005 edges, 1022 markings/sec, 50 secs
lola: 58720 markings, 199342 edges, 1027 markings/sec, 55 secs
lola: 63857 markings, 216291 edges, 1027 markings/sec, 60 secs
lola: 68999 markings, 234080 edges, 1028 markings/sec, 65 secs
lola: 74051 markings, 252199 edges, 1010 markings/sec, 70 secs
lola: 79165 markings, 270149 edges, 1023 markings/sec, 75 secs
lola: 84273 markings, 289123 edges, 1022 markings/sec, 80 secs
lola: 89417 markings, 306909 edges, 1029 markings/sec, 85 secs
lola: 94550 markings, 323912 edges, 1027 markings/sec, 90 secs
lola: 99692 markings, 340668 edges, 1028 markings/sec, 95 secs
lola: 104816 markings, 358045 edges, 1025 markings/sec, 100 secs
lola: 109946 markings, 375605 edges, 1026 markings/sec, 105 secs
lola: 115011 markings, 393657 edges, 1013 markings/sec, 110 secs
lola: 120136 markings, 411446 edges, 1025 markings/sec, 115 secs
lola: 125286 markings, 427912 edges, 1030 markings/sec, 120 secs
lola: 130417 markings, 444759 edges, 1026 markings/sec, 125 secs
lola: 135521 markings, 462783 edges, 1021 markings/sec, 130 secs
lola: 140649 markings, 480350 edges, 1026 markings/sec, 135 secs
lola: 145783 markings, 497160 edges, 1027 markings/sec, 140 secs
lola: 150894 markings, 515273 edges, 1022 markings/sec, 145 secs
lola: 156025 markings, 532362 edges, 1026 markings/sec, 150 secs
lola: 161095 markings, 548979 edges, 1014 markings/sec, 155 secs
lola: 166052 markings, 565063 edges, 991 markings/sec, 160 secs
lola: 171061 markings, 582561 edges, 1002 markings/sec, 165 secs
lola: 176077 markings, 598772 edges, 1003 markings/sec, 170 secs
lola: 181211 markings, 615745 edges, 1027 markings/sec, 175 secs
lola: 186272 markings, 633866 edges, 1012 markings/sec, 180 secs
lola: 191372 markings, 651576 edges, 1020 markings/sec, 185 secs
lola: 196498 markings, 669177 edges, 1025 markings/sec, 190 secs
lola: 201602 markings, 685444 edges, 1021 markings/sec, 195 secs
lola: 206669 markings, 703486 edges, 1013 markings/sec, 200 secs
lola: 211737 markings, 720536 edges, 1014 markings/sec, 205 secs
lola: 216834 markings, 738710 edges, 1019 markings/sec, 210 secs
lola: 221951 markings, 756056 edges, 1023 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: 212468 KB
lola: time consumption: 1117 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__26_23_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__26_23_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 2441 markings, 8364 edges, 488 markings/sec, 0 secs
lola: 7561 markings, 25578 edges, 1024 markings/sec, 5 secs
lola: 12578 markings, 44152 edges, 1003 markings/sec, 10 secs
lola: 17706 markings, 63042 edges, 1026 markings/sec, 15 secs
lola: 22832 markings, 81772 edges, 1025 markings/sec, 20 secs
lola: 27993 markings, 99506 edges, 1032 markings/sec, 25 secs
lola: 33112 markings, 117190 edges, 1024 markings/sec, 30 secs
lola: 38210 markings, 135122 edges, 1020 markings/sec, 35 secs
lola: 43321 markings, 152536 edges, 1022 markings/sec, 40 secs
lola: 48377 markings, 168875 edges, 1011 markings/sec, 45 secs
lola: 53453 markings, 186446 edges, 1015 markings/sec, 50 secs
lola: 58513 markings, 204227 edges, 1012 markings/sec, 55 secs
lola: 63587 markings, 222092 edges, 1015 markings/sec, 60 secs
lola: 68624 markings, 239558 edges, 1007 markings/sec, 65 secs
lola: 73745 markings, 256741 edges, 1024 markings/sec, 70 secs
lola: 78829 markings, 275102 edges, 1017 markings/sec, 75 secs
lola: 83881 markings, 294796 edges, 1010 markings/sec, 80 secs
lola: 88986 markings, 312279 edges, 1021 markings/sec, 85 secs
lola: 94033 markings, 331786 edges, 1009 markings/sec, 90 secs
lola: 99125 markings, 349653 edges, 1018 markings/sec, 95 secs
lola: 104224 markings, 367933 edges, 1020 markings/sec, 100 secs
lola: 109326 markings, 386261 edges, 1020 markings/sec, 105 secs
lola: 114433 markings, 404609 edges, 1021 markings/sec, 110 secs
lola: 119417 markings, 422200 edges, 997 markings/sec, 115 secs
lola: 124368 markings, 440092 edges, 990 markings/sec, 120 secs
lola: 129357 markings, 457334 edges, 998 markings/sec, 125 secs
lola: 134334 markings, 473942 edges, 995 markings/sec, 130 secs
lola: 139329 markings, 491649 edges, 999 markings/sec, 135 secs
lola: 144423 markings, 508710 edges, 1019 markings/sec, 140 secs
lola: 149530 markings, 525538 edges, 1021 markings/sec, 145 secs
lola: 154548 markings, 543836 edges, 1004 markings/sec, 150 secs
lola: 159636 markings, 560996 edges, 1018 markings/sec, 155 secs
lola: 164756 markings, 577425 edges, 1024 markings/sec, 160 secs
lola: 169848 markings, 595473 edges, 1018 markings/sec, 165 secs
lola: 174954 markings, 613096 edges, 1021 markings/sec, 170 secs
lola: 179973 markings, 631177 edges, 1004 markings/sec, 175 secs
lola: 184899 markings, 648517 edges, 985 markings/sec, 180 secs
lola: 189986 markings, 666085 edges, 1017 markings/sec, 185 secs
lola: 195071 markings, 683931 edges, 1017 markings/sec, 190 secs
lola: 200114 markings, 700544 edges, 1009 markings/sec, 195 secs
lola: 205162 markings, 717979 edges, 1010 markings/sec, 200 secs
lola: 210187 markings, 735880 edges, 1005 markings/sec, 205 secs
lola: 215219 markings, 754286 edges, 1006 markings/sec, 210 secs
lola: 220020 markings, 770937 edges, 960 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: 211208 KB
lola: time consumption: 1340 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__13_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__13_16_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 2386 markings, 8138 edges, 477 markings/sec, 0 secs
lola: 7490 markings, 25849 edges, 1021 markings/sec, 5 secs
lola: 12580 markings, 44227 edges, 1018 markings/sec, 10 secs
lola: 17665 markings, 62306 edges, 1017 markings/sec, 15 secs
lola: 22747 markings, 80567 edges, 1016 markings/sec, 20 secs
lola: 27657 markings, 97065 edges, 982 markings/sec, 25 secs
lola: 32715 markings, 114159 edges, 1012 markings/sec, 30 secs
lola: 37810 markings, 131093 edges, 1019 markings/sec, 35 secs
lola: 42915 markings, 149613 edges, 1021 markings/sec, 40 secs
lola: 48024 markings, 168191 edges, 1022 markings/sec, 45 secs
lola: 53076 markings, 186918 edges, 1010 markings/sec, 50 secs
lola: 58124 markings, 206299 edges, 1010 markings/sec, 55 secs
lola: 63212 markings, 223743 edges, 1018 markings/sec, 60 secs
lola: 68018 markings, 241004 edges, 961 markings/sec, 65 secs
lola: 72961 markings, 257967 edges, 989 markings/sec, 70 secs
lola: 77980 markings, 275683 edges, 1004 markings/sec, 75 secs
lola: 83010 markings, 292835 edges, 1006 markings/sec, 80 secs
lola: 87997 markings, 310634 edges, 997 markings/sec, 85 secs
lola: 92953 markings, 328875 edges, 991 markings/sec, 90 secs
lola: 97977 markings, 346155 edges, 1005 markings/sec, 95 secs
lola: 103058 markings, 365208 edges, 1016 markings/sec, 100 secs
lola: 108183 markings, 382604 edges, 1025 markings/sec, 105 secs
lola: 113177 markings, 400507 edges, 999 markings/sec, 110 secs
lola: 118094 markings, 419106 edges, 983 markings/sec, 115 secs
lola: 123147 markings, 437148 edges, 1011 markings/sec, 120 secs
lola: 127988 markings, 454584 edges, 968 markings/sec, 125 secs
lola: 133075 markings, 472693 edges, 1017 markings/sec, 130 secs
lola: 138156 markings, 491165 edges, 1016 markings/sec, 135 secs
lola: 143234 markings, 509493 edges, 1016 markings/sec, 140 secs
lola: 148139 markings, 528966 edges, 981 markings/sec, 145 secs
lola: 153014 markings, 547217 edges, 975 markings/sec, 150 secs
lola: 158063 markings, 565364 edges, 1010 markings/sec, 155 secs
lola: 163167 markings, 584596 edges, 1021 markings/sec, 160 secs
lola: 168254 markings, 603334 edges, 1017 markings/sec, 165 secs
lola: 173358 markings, 622343 edges, 1021 markings/sec, 170 secs
lola: 178489 markings, 640921 edges, 1026 markings/sec, 175 secs
lola: 183599 markings, 659816 edges, 1022 markings/sec, 180 secs
lola: 188662 markings, 680365 edges, 1013 markings/sec, 185 secs
lola: 193781 markings, 699086 edges, 1024 markings/sec, 190 secs
lola: 198872 markings, 719070 edges, 1018 markings/sec, 195 secs
lola: 203987 markings, 737165 edges, 1023 markings/sec, 200 secs
lola: 209103 markings, 756342 edges, 1023 markings/sec, 205 secs
lola: 214204 markings, 776003 edges, 1020 markings/sec, 210 secs
lola: 219350 markings, 794095 edges, 1029 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: 206172 KB
lola: time consumption: 1563 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__24_29_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_29_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 2349 markings, 8444 edges, 470 markings/sec, 0 secs
lola: 7297 markings, 27637 edges, 990 markings/sec, 5 secs
lola: 12358 markings, 46143 edges, 1012 markings/sec, 10 secs
lola: 17340 markings, 64075 edges, 996 markings/sec, 15 secs
lola: 22386 markings, 82077 edges, 1009 markings/sec, 20 secs
lola: 27343 markings, 100071 edges, 991 markings/sec, 25 secs
lola: 32324 markings, 118019 edges, 996 markings/sec, 30 secs
lola: 37198 markings, 137329 edges, 975 markings/sec, 35 secs
lola: 42122 markings, 156498 edges, 985 markings/sec, 40 secs
lola: 47079 markings, 174853 edges, 991 markings/sec, 45 secs
lola: 52036 markings, 192363 edges, 991 markings/sec, 50 secs
lola: 56934 markings, 210017 edges, 980 markings/sec, 55 secs
lola: 61941 markings, 228956 edges, 1001 markings/sec, 60 secs
lola: 66904 markings, 247358 edges, 993 markings/sec, 65 secs
lola: 71893 markings, 265979 edges, 998 markings/sec, 70 secs
lola: 76951 markings, 284081 edges, 1012 markings/sec, 75 secs
lola: 81996 markings, 302371 edges, 1009 markings/sec, 80 secs
lola: 86953 markings, 320138 edges, 991 markings/sec, 85 secs
lola: 91998 markings, 337925 edges, 1009 markings/sec, 90 secs
lola: 96999 markings, 356033 edges, 1000 markings/sec, 95 secs
lola: 101910 markings, 373297 edges, 982 markings/sec, 100 secs
lola: 106909 markings, 391002 edges, 1000 markings/sec, 105 secs
lola: 111986 markings, 408732 edges, 1015 markings/sec, 110 secs
lola: 117008 markings, 427380 edges, 1004 markings/sec, 115 secs
lola: 122033 markings, 445532 edges, 1005 markings/sec, 120 secs
lola: 127036 markings, 465146 edges, 1001 markings/sec, 125 secs
lola: 132081 markings, 484085 edges, 1009 markings/sec, 130 secs
lola: 137131 markings, 501259 edges, 1010 markings/sec, 135 secs
lola: 142183 markings, 519565 edges, 1010 markings/sec, 140 secs
lola: 147181 markings, 537111 edges, 1000 markings/sec, 145 secs
lola: 152128 markings, 555503 edges, 989 markings/sec, 150 secs
lola: 157054 markings, 573105 edges, 985 markings/sec, 155 secs
lola: 162066 markings, 590968 edges, 1002 markings/sec, 160 secs
lola: 167016 markings, 609215 edges, 990 markings/sec, 165 secs
lola: 171994 markings, 626808 edges, 996 markings/sec, 170 secs
lola: 176878 markings, 643760 edges, 977 markings/sec, 175 secs
lola: 181841 markings, 661578 edges, 993 markings/sec, 180 secs
lola: 186489 markings, 677861 edges, 930 markings/sec, 185 secs
lola: 191209 markings, 694470 edges, 944 markings/sec, 190 secs
lola: 196158 markings, 712148 edges, 990 markings/sec, 195 secs
lola: 200955 markings, 728320 edges, 959 markings/sec, 200 secs
lola: 206001 markings, 746655 edges, 1009 markings/sec, 205 secs
lola: 211040 markings, 765136 edges, 1008 markings/sec, 210 secs
lola: 215907 markings, 782877 edges, 973 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: 209556 KB
lola: time consumption: 1786 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__27_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__27_5_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 2410 markings, 7988 edges, 482 markings/sec, 0 secs
lola: 7476 markings, 24064 edges, 1013 markings/sec, 5 secs
lola: 12547 markings, 39953 edges, 1014 markings/sec, 10 secs
lola: 17615 markings, 55613 edges, 1014 markings/sec, 15 secs
lola: 22670 markings, 71654 edges, 1011 markings/sec, 20 secs
lola: 27718 markings, 88101 edges, 1010 markings/sec, 25 secs
lola: 32754 markings, 105280 edges, 1007 markings/sec, 30 secs
lola: 37836 markings, 120523 edges, 1016 markings/sec, 35 secs
lola: 42887 markings, 136763 edges, 1010 markings/sec, 40 secs
lola: 47935 markings, 153006 edges, 1010 markings/sec, 45 secs
lola: 52957 markings, 169705 edges, 1004 markings/sec, 50 secs
lola: 58028 markings, 186106 edges, 1014 markings/sec, 55 secs
lola: 63144 markings, 201794 edges, 1023 markings/sec, 60 secs
lola: 68245 markings, 218143 edges, 1020 markings/sec, 65 secs
lola: 73338 markings, 234789 edges, 1019 markings/sec, 70 secs
lola: 78252 markings, 251339 edges, 983 markings/sec, 75 secs
lola: 83117 markings, 265968 edges, 973 markings/sec, 80 secs
lola: 88218 markings, 282354 edges, 1020 markings/sec, 85 secs
lola: 93330 markings, 298822 edges, 1022 markings/sec, 90 secs
lola: 98434 markings, 314895 edges, 1021 markings/sec, 95 secs
lola: 103515 markings, 330796 edges, 1016 markings/sec, 100 secs
lola: 108647 markings, 345865 edges, 1026 markings/sec, 105 secs
lola: 113770 markings, 361388 edges, 1025 markings/sec, 110 secs
lola: 118886 markings, 377117 edges, 1023 markings/sec, 115 secs
lola: 123973 markings, 393527 edges, 1017 markings/sec, 120 secs
lola: 129088 markings, 409357 edges, 1023 markings/sec, 125 secs
lola: 134197 markings, 425072 edges, 1022 markings/sec, 130 secs
lola: 139121 markings, 440854 edges, 985 markings/sec, 135 secs
lola: 144202 markings, 457855 edges, 1016 markings/sec, 140 secs
lola: 149239 markings, 473418 edges, 1007 markings/sec, 145 secs
lola: 154345 markings, 489502 edges, 1021 markings/sec, 150 secs
lola: 159438 markings, 506372 edges, 1019 markings/sec, 155 secs
lola: 164549 markings, 522573 edges, 1022 markings/sec, 160 secs
lola: 169630 markings, 539526 edges, 1016 markings/sec, 165 secs
lola: 174766 markings, 554316 edges, 1027 markings/sec, 170 secs
lola: 179887 markings, 569985 edges, 1024 markings/sec, 175 secs
lola: 185007 markings, 585518 edges, 1024 markings/sec, 180 secs
lola: 190100 markings, 602038 edges, 1019 markings/sec, 185 secs
lola: 195196 markings, 617849 edges, 1019 markings/sec, 190 secs
lola: 200266 markings, 633369 edges, 1014 markings/sec, 195 secs
lola: 205310 markings, 649672 edges, 1009 markings/sec, 200 secs
lola: 210409 markings, 665750 edges, 1020 markings/sec, 205 secs
lola: 215420 markings, 682140 edges, 1002 markings/sec, 210 secs
lola: 220440 markings, 699435 edges, 1004 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: 208568 KB
lola: time consumption: 2009 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__11_24_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_24_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 2473 markings, 8443 edges, 495 markings/sec, 0 secs
lola: 7635 markings, 25956 edges, 1032 markings/sec, 5 secs
lola: 12812 markings, 42484 edges, 1035 markings/sec, 10 secs
lola: 17919 markings, 58857 edges, 1021 markings/sec, 15 secs
lola: 23105 markings, 75362 edges, 1037 markings/sec, 20 secs
lola: 28291 markings, 91730 edges, 1037 markings/sec, 25 secs
lola: 33445 markings, 109859 edges, 1031 markings/sec, 30 secs
lola: 38610 markings, 127605 edges, 1033 markings/sec, 35 secs
lola: 43758 markings, 145585 edges, 1030 markings/sec, 40 secs
lola: 48927 markings, 162538 edges, 1034 markings/sec, 45 secs
lola: 54099 markings, 179434 edges, 1034 markings/sec, 50 secs
lola: 59246 markings, 197406 edges, 1029 markings/sec, 55 secs
lola: 64398 markings, 215131 edges, 1030 markings/sec, 60 secs
lola: 69545 markings, 233206 edges, 1029 markings/sec, 65 secs
lola: 74736 markings, 249151 edges, 1038 markings/sec, 70 secs
lola: 79909 markings, 265822 edges, 1035 markings/sec, 75 secs
lola: 85052 markings, 283653 edges, 1029 markings/sec, 80 secs
lola: 90237 markings, 299662 edges, 1037 markings/sec, 85 secs
lola: 95452 markings, 315084 edges, 1043 markings/sec, 90 secs
lola: 100625 markings, 332132 edges, 1035 markings/sec, 95 secs
lola: 105774 markings, 350450 edges, 1030 markings/sec, 100 secs
lola: 110956 markings, 367953 edges, 1036 markings/sec, 105 secs
lola: 116110 markings, 386425 edges, 1031 markings/sec, 110 secs
lola: 121260 markings, 404597 edges, 1030 markings/sec, 115 secs
lola: 126402 markings, 422865 edges, 1028 markings/sec, 120 secs
lola: 131548 markings, 440189 edges, 1029 markings/sec, 125 secs
lola: 136700 markings, 456495 edges, 1030 markings/sec, 130 secs
lola: 141866 markings, 473016 edges, 1033 markings/sec, 135 secs
lola: 147049 markings, 489135 edges, 1037 markings/sec, 140 secs
lola: 152212 markings, 506075 edges, 1033 markings/sec, 145 secs
lola: 157389 markings, 522076 edges, 1035 markings/sec, 150 secs
lola: 162567 markings, 538084 edges, 1036 markings/sec, 155 secs
lola: 167739 markings, 554959 edges, 1034 markings/sec, 160 secs
lola: 172909 markings, 571225 edges, 1034 markings/sec, 165 secs
lola: 178029 markings, 588721 edges, 1024 markings/sec, 170 secs
lola: 183212 markings, 604708 edges, 1037 markings/sec, 175 secs
lola: 188395 markings, 620759 edges, 1037 markings/sec, 180 secs
lola: 193512 markings, 637927 edges, 1023 markings/sec, 185 secs
lola: 198646 markings, 653750 edges, 1027 markings/sec, 190 secs
lola: 203758 markings, 670472 edges, 1022 markings/sec, 195 secs
lola: 208944 markings, 686381 edges, 1037 markings/sec, 200 secs
lola: 214131 markings, 702781 edges, 1037 markings/sec, 205 secs
lola: 219318 markings, 719158 edges, 1037 markings/sec, 210 secs
lola: 224503 markings, 735776 edges, 1037 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: 211464 KB
lola: time consumption: 2232 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_13_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 2557 markings, 8768 edges, 511 markings/sec, 0 secs
lola: 7791 markings, 26541 edges, 1047 markings/sec, 5 secs
lola: 12981 markings, 44626 edges, 1038 markings/sec, 10 secs
lola: 18156 markings, 62444 edges, 1035 markings/sec, 15 secs
lola: 23312 markings, 79602 edges, 1031 markings/sec, 20 secs
lola: 28445 markings, 97216 edges, 1027 markings/sec, 25 secs
lola: 33519 markings, 115346 edges, 1015 markings/sec, 30 secs
lola: 38676 markings, 132618 edges, 1031 markings/sec, 35 secs
lola: 43892 markings, 150263 edges, 1043 markings/sec, 40 secs
lola: 49123 markings, 167624 edges, 1046 markings/sec, 45 secs
lola: 54343 markings, 185403 edges, 1044 markings/sec, 50 secs
lola: 59583 markings, 202758 edges, 1048 markings/sec, 55 secs
lola: 64805 markings, 220617 edges, 1044 markings/sec, 60 secs
lola: 69920 markings, 238087 edges, 1023 markings/sec, 65 secs
lola: 75097 markings, 256260 edges, 1035 markings/sec, 70 secs
lola: 80323 markings, 273688 edges, 1045 markings/sec, 75 secs
lola: 85553 markings, 291984 edges, 1046 markings/sec, 80 secs
lola: 90752 markings, 310226 edges, 1040 markings/sec, 85 secs
lola: 95945 markings, 328310 edges, 1039 markings/sec, 90 secs
lola: 101085 markings, 345962 edges, 1028 markings/sec, 95 secs
lola: 106272 markings, 364216 edges, 1037 markings/sec, 100 secs
lola: 111430 markings, 381596 edges, 1032 markings/sec, 105 secs
lola: 116633 markings, 399099 edges, 1041 markings/sec, 110 secs
lola: 121868 markings, 416596 edges, 1047 markings/sec, 115 secs
lola: 127083 markings, 434530 edges, 1043 markings/sec, 120 secs
lola: 132266 markings, 452221 edges, 1037 markings/sec, 125 secs
lola: 137454 markings, 470217 edges, 1038 markings/sec, 130 secs
lola: 142642 markings, 487737 edges, 1038 markings/sec, 135 secs
lola: 147879 markings, 505625 edges, 1047 markings/sec, 140 secs
lola: 153095 markings, 524237 edges, 1043 markings/sec, 145 secs
lola: 158294 markings, 542458 edges, 1040 markings/sec, 150 secs
lola: 163517 markings, 559852 edges, 1045 markings/sec, 155 secs
lola: 168732 markings, 577098 edges, 1043 markings/sec, 160 secs
lola: 173958 markings, 593479 edges, 1045 markings/sec, 165 secs
lola: 179171 markings, 610348 edges, 1043 markings/sec, 170 secs
lola: 184289 markings, 627792 edges, 1024 markings/sec, 175 secs
lola: 189456 markings, 645264 edges, 1033 markings/sec, 180 secs
lola: 194614 markings, 661884 edges, 1032 markings/sec, 185 secs
lola: 199757 markings, 678351 edges, 1029 markings/sec, 190 secs
lola: 204882 markings, 695435 edges, 1025 markings/sec, 195 secs
lola: 210111 markings, 713476 edges, 1046 markings/sec, 200 secs
lola: 215360 markings, 730746 edges, 1050 markings/sec, 205 secs
lola: 220627 markings, 747484 edges, 1053 markings/sec, 210 secs
lola: 225798 markings, 764635 edges, 1034 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: 208012 KB
lola: time consumption: 2455 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__11_19_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_19_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 2477 markings, 7889 edges, 495 markings/sec, 0 secs
lola: 7621 markings, 25839 edges, 1029 markings/sec, 5 secs
lola: 12762 markings, 43480 edges, 1028 markings/sec, 10 secs
lola: 17894 markings, 59228 edges, 1026 markings/sec, 15 secs
lola: 23025 markings, 75896 edges, 1026 markings/sec, 20 secs
lola: 28102 markings, 93516 edges, 1015 markings/sec, 25 secs
lola: 33152 markings, 110330 edges, 1010 markings/sec, 30 secs
lola: 38322 markings, 126712 edges, 1034 markings/sec, 35 secs
lola: 43396 markings, 143290 edges, 1015 markings/sec, 40 secs
lola: 48526 markings, 161120 edges, 1026 markings/sec, 45 secs
lola: 53660 markings, 179231 edges, 1027 markings/sec, 50 secs
lola: 58795 markings, 197750 edges, 1027 markings/sec, 55 secs
lola: 63931 markings, 215239 edges, 1027 markings/sec, 60 secs
lola: 69079 markings, 232182 edges, 1030 markings/sec, 65 secs
lola: 74202 markings, 250020 edges, 1025 markings/sec, 70 secs
lola: 79350 markings, 267582 edges, 1030 markings/sec, 75 secs
lola: 84549 markings, 283099 edges, 1040 markings/sec, 80 secs
lola: 89714 markings, 300444 edges, 1033 markings/sec, 85 secs
lola: 94867 markings, 317949 edges, 1031 markings/sec, 90 secs
lola: 100017 markings, 335341 edges, 1030 markings/sec, 95 secs
lola: 105208 markings, 351176 edges, 1038 markings/sec, 100 secs
lola: 110373 markings, 368106 edges, 1033 markings/sec, 105 secs
lola: 115536 markings, 385003 edges, 1033 markings/sec, 110 secs
lola: 120722 markings, 400676 edges, 1037 markings/sec, 115 secs
lola: 125903 markings, 416438 edges, 1036 markings/sec, 120 secs
lola: 131090 markings, 432197 edges, 1037 markings/sec, 125 secs
lola: 136259 markings, 448888 edges, 1034 markings/sec, 130 secs
lola: 141445 markings, 464409 edges, 1037 markings/sec, 135 secs
lola: 146631 markings, 479813 edges, 1037 markings/sec, 140 secs
lola: 151818 markings, 494915 edges, 1037 markings/sec, 145 secs
lola: 156963 markings, 511526 edges, 1029 markings/sec, 150 secs
lola: 162138 markings, 527109 edges, 1035 markings/sec, 155 secs
lola: 167307 markings, 543266 edges, 1034 markings/sec, 160 secs
lola: 172488 markings, 559564 edges, 1036 markings/sec, 165 secs
lola: 177666 markings, 575487 edges, 1036 markings/sec, 170 secs
lola: 182869 markings, 590535 edges, 1041 markings/sec, 175 secs
lola: 188042 markings, 606992 edges, 1035 markings/sec, 180 secs
lola: 193231 markings, 622644 edges, 1038 markings/sec, 185 secs
lola: 198401 markings, 638657 edges, 1034 markings/sec, 190 secs
lola: 203569 markings, 655113 edges, 1034 markings/sec, 195 secs
lola: 208738 markings, 671238 edges, 1034 markings/sec, 200 secs
lola: 213873 markings, 688678 edges, 1027 markings/sec, 205 secs
lola: 219047 markings, 704502 edges, 1035 markings/sec, 210 secs
lola: 224220 markings, 720274 edges, 1035 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: 211428 KB
lola: time consumption: 2678 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 2537 markings, 9830 edges, 507 markings/sec, 0 secs
lola: 7797 markings, 30188 edges, 1052 markings/sec, 5 secs
lola: 13070 markings, 50615 edges, 1055 markings/sec, 10 secs
lola: 18337 markings, 71074 edges, 1053 markings/sec, 15 secs
lola: 23602 markings, 91466 edges, 1053 markings/sec, 20 secs
lola: 28804 markings, 111661 edges, 1040 markings/sec, 25 secs
lola: 34059 markings, 132026 edges, 1051 markings/sec, 30 secs
lola: 39317 markings, 151625 edges, 1052 markings/sec, 35 secs
lola: 44583 markings, 170467 edges, 1053 markings/sec, 40 secs
lola: 49797 markings, 189294 edges, 1043 markings/sec, 45 secs
lola: 55079 markings, 208338 edges, 1056 markings/sec, 50 secs
lola: 60324 markings, 225413 edges, 1049 markings/sec, 55 secs
lola: 65587 markings, 243499 edges, 1053 markings/sec, 60 secs
lola: 70882 markings, 261124 edges, 1059 markings/sec, 65 secs
lola: 76177 markings, 277880 edges, 1059 markings/sec, 70 secs
lola: 81479 markings, 294473 edges, 1060 markings/sec, 75 secs
lola: 86813 markings, 312505 edges, 1067 markings/sec, 80 secs
lola: 92115 markings, 330411 edges, 1060 markings/sec, 85 secs
lola: 97407 markings, 348895 edges, 1058 markings/sec, 90 secs
lola: 102734 markings, 365601 edges, 1065 markings/sec, 95 secs
lola: 108040 markings, 382511 edges, 1061 markings/sec, 100 secs
lola: 113317 markings, 398500 edges, 1055 markings/sec, 105 secs
lola: 118606 markings, 415432 edges, 1058 markings/sec, 110 secs
lola: 123845 markings, 432918 edges, 1048 markings/sec, 115 secs
lola: 129083 markings, 450392 edges, 1048 markings/sec, 120 secs
lola: 134369 markings, 467687 edges, 1057 markings/sec, 125 secs
lola: 139574 markings, 485034 edges, 1041 markings/sec, 130 secs
lola: 144672 markings, 500686 edges, 1020 markings/sec, 135 secs
lola: 149919 markings, 516716 edges, 1049 markings/sec, 140 secs
lola: 155000 markings, 532582 edges, 1016 markings/sec, 145 secs
lola: 160279 markings, 549478 edges, 1056 markings/sec, 150 secs
lola: 165437 markings, 566506 edges, 1032 markings/sec, 155 secs
lola: 170673 markings, 584871 edges, 1047 markings/sec, 160 secs
lola: 175884 markings, 602273 edges, 1042 markings/sec, 165 secs
lola: 181103 markings, 617665 edges, 1044 markings/sec, 170 secs
lola: 186305 markings, 633668 edges, 1040 markings/sec, 175 secs
lola: 191614 markings, 650588 edges, 1062 markings/sec, 180 secs
lola: 196829 markings, 667934 edges, 1043 markings/sec, 185 secs
lola: 202100 markings, 685854 edges, 1054 markings/sec, 190 secs
lola: 207391 markings, 704214 edges, 1058 markings/sec, 195 secs
lola: 212745 markings, 719959 edges, 1071 markings/sec, 200 secs
lola: 218103 markings, 736231 edges, 1072 markings/sec, 205 secs
lola: 223392 markings, 753315 edges, 1058 markings/sec, 210 secs
lola: 228494 markings, 770268 edges, 1020 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: 197612 KB
lola: time consumption: 2901 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__23_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__23_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 2454 markings, 7870 edges, 491 markings/sec, 0 secs
lola: 7554 markings, 25832 edges, 1020 markings/sec, 5 secs
lola: 12666 markings, 42562 edges, 1022 markings/sec, 10 secs
lola: 17807 markings, 58052 edges, 1028 markings/sec, 15 secs
lola: 22926 markings, 73805 edges, 1024 markings/sec, 20 secs
lola: 27854 markings, 90826 edges, 986 markings/sec, 25 secs
lola: 32977 markings, 107330 edges, 1025 markings/sec, 30 secs
lola: 38070 markings, 124415 edges, 1019 markings/sec, 35 secs
lola: 43191 markings, 140832 edges, 1024 markings/sec, 40 secs
lola: 48301 markings, 157496 edges, 1022 markings/sec, 45 secs
lola: 53388 markings, 175068 edges, 1017 markings/sec, 50 secs
lola: 58423 markings, 191449 edges, 1007 markings/sec, 55 secs
lola: 63553 markings, 207259 edges, 1026 markings/sec, 60 secs
lola: 68635 markings, 223391 edges, 1016 markings/sec, 65 secs
lola: 73758 markings, 239576 edges, 1025 markings/sec, 70 secs
lola: 78864 markings, 256540 edges, 1021 markings/sec, 75 secs
lola: 83971 markings, 273750 edges, 1021 markings/sec, 80 secs
lola: 89099 markings, 289832 edges, 1026 markings/sec, 85 secs
lola: 94202 markings, 306522 edges, 1021 markings/sec, 90 secs
lola: 99330 markings, 322815 edges, 1026 markings/sec, 95 secs
lola: 104445 markings, 339817 edges, 1023 markings/sec, 100 secs
lola: 109570 markings, 355389 edges, 1025 markings/sec, 105 secs
lola: 114709 markings, 370895 edges, 1028 markings/sec, 110 secs
lola: 119830 markings, 386802 edges, 1024 markings/sec, 115 secs
lola: 124940 markings, 402618 edges, 1022 markings/sec, 120 secs
lola: 129900 markings, 417882 edges, 992 markings/sec, 125 secs
lola: 134956 markings, 432783 edges, 1011 markings/sec, 130 secs
lola: 140101 markings, 448628 edges, 1029 markings/sec, 135 secs
lola: 145231 markings, 464804 edges, 1026 markings/sec, 140 secs
lola: 150371 markings, 480563 edges, 1028 markings/sec, 145 secs
lola: 155484 markings, 497431 edges, 1023 markings/sec, 150 secs
lola: 160615 markings, 513663 edges, 1026 markings/sec, 155 secs
lola: 165721 markings, 529734 edges, 1021 markings/sec, 160 secs
lola: 170833 markings, 546245 edges, 1022 markings/sec, 165 secs
lola: 175931 markings, 563484 edges, 1020 markings/sec, 170 secs
lola: 181045 markings, 579223 edges, 1023 markings/sec, 175 secs
lola: 186124 markings, 596245 edges, 1016 markings/sec, 180 secs
lola: 191238 markings, 612835 edges, 1023 markings/sec, 185 secs
lola: 196321 markings, 628442 edges, 1017 markings/sec, 190 secs
lola: 201143 markings, 643646 edges, 964 markings/sec, 195 secs
lola: 205935 markings, 659198 edges, 958 markings/sec, 200 secs
lola: 210934 markings, 674414 edges, 1000 markings/sec, 205 secs
lola: 216087 markings, 690084 edges, 1031 markings/sec, 210 secs
lola: 221215 markings, 706489 edges, 1026 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: 223052 KB
lola: time consumption: 3124 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__14_24_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_24_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 2451 markings, 8351 edges, 490 markings/sec, 0 secs
lola: 7629 markings, 25379 edges, 1036 markings/sec, 5 secs
lola: 12669 markings, 42729 edges, 1008 markings/sec, 10 secs
lola: 17624 markings, 60336 edges, 991 markings/sec, 15 secs
lola: 22676 markings, 78648 edges, 1010 markings/sec, 20 secs
lola: 27810 markings, 96413 edges, 1027 markings/sec, 25 secs
lola: 32858 markings, 116108 edges, 1010 markings/sec, 30 secs
lola: 37953 markings, 133986 edges, 1019 markings/sec, 35 secs
lola: 42907 markings, 152397 edges, 991 markings/sec, 40 secs
lola: 48029 markings, 169808 edges, 1024 markings/sec, 45 secs
lola: 53169 markings, 187171 edges, 1028 markings/sec, 50 secs
lola: 58315 markings, 204500 edges, 1029 markings/sec, 55 secs
lola: 63408 markings, 223173 edges, 1019 markings/sec, 60 secs
lola: 68534 markings, 242712 edges, 1025 markings/sec, 65 secs
lola: 73678 markings, 260428 edges, 1029 markings/sec, 70 secs
lola: 78838 markings, 277285 edges, 1032 markings/sec, 75 secs
lola: 83898 markings, 293828 edges, 1012 markings/sec, 80 secs
lola: 89009 markings, 309487 edges, 1022 markings/sec, 85 secs
lola: 94183 markings, 326084 edges, 1035 markings/sec, 90 secs
lola: 99348 markings, 342752 edges, 1033 markings/sec, 95 secs
lola: 104511 markings, 359488 edges, 1033 markings/sec, 100 secs
lola: 109592 markings, 376444 edges, 1016 markings/sec, 105 secs
lola: 114714 markings, 393276 edges, 1024 markings/sec, 110 secs
lola: 119896 markings, 409610 edges, 1036 markings/sec, 115 secs
lola: 125061 markings, 426420 edges, 1033 markings/sec, 120 secs
lola: 130227 markings, 443103 edges, 1033 markings/sec, 125 secs
lola: 135385 markings, 460017 edges, 1032 markings/sec, 130 secs
lola: 140534 markings, 477207 edges, 1030 markings/sec, 135 secs
lola: 145673 markings, 494825 edges, 1028 markings/sec, 140 secs
lola: 150856 markings, 511191 edges, 1037 markings/sec, 145 secs
lola: 156014 markings, 528180 edges, 1032 markings/sec, 150 secs
lola: 161136 markings, 546304 edges, 1024 markings/sec, 155 secs
lola: 166295 markings, 562837 edges, 1032 markings/sec, 160 secs
lola: 171451 markings, 579470 edges, 1031 markings/sec, 165 secs
lola: 176571 markings, 596859 edges, 1024 markings/sec, 170 secs
lola: 181720 markings, 613954 edges, 1030 markings/sec, 175 secs
lola: 186854 markings, 630696 edges, 1027 markings/sec, 180 secs
lola: 191972 markings, 648523 edges, 1024 markings/sec, 185 secs
lola: 196962 markings, 666236 edges, 998 markings/sec, 190 secs
lola: 202068 markings, 683643 edges, 1021 markings/sec, 195 secs
lola: 207221 markings, 700589 edges, 1031 markings/sec, 200 secs
lola: 212310 markings, 717748 edges, 1018 markings/sec, 205 secs
lola: 217439 markings, 733541 edges, 1026 markings/sec, 210 secs
lola: 222552 markings, 751439 edges, 1023 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: 205120 KB
lola: time consumption: 3347 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__19_31_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__19_31_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 2452 markings, 8390 edges, 490 markings/sec, 0 secs
lola: 7570 markings, 25885 edges, 1024 markings/sec, 5 secs
lola: 12667 markings, 44276 edges, 1019 markings/sec, 10 secs
lola: 17752 markings, 63007 edges, 1017 markings/sec, 15 secs
lola: 22863 markings, 80736 edges, 1022 markings/sec, 20 secs
lola: 27889 markings, 99543 edges, 1005 markings/sec, 25 secs
lola: 32906 markings, 117672 edges, 1003 markings/sec, 30 secs
lola: 37972 markings, 135992 edges, 1013 markings/sec, 35 secs
lola: 42977 markings, 154030 edges, 1001 markings/sec, 40 secs
lola: 47872 markings, 173078 edges, 979 markings/sec, 45 secs
lola: 52761 markings, 192201 edges, 978 markings/sec, 50 secs
lola: 57551 markings, 210077 edges, 958 markings/sec, 55 secs
lola: 62432 markings, 227836 edges, 976 markings/sec, 60 secs
lola: 67530 markings, 245248 edges, 1020 markings/sec, 65 secs
lola: 72606 markings, 264172 edges, 1015 markings/sec, 70 secs
lola: 77629 markings, 281840 edges, 1005 markings/sec, 75 secs
lola: 82695 markings, 298863 edges, 1013 markings/sec, 80 secs
lola: 87793 markings, 316966 edges, 1020 markings/sec, 85 secs
lola: 92885 markings, 335085 edges, 1018 markings/sec, 90 secs
lola: 97990 markings, 352920 edges, 1021 markings/sec, 95 secs
lola: 103089 markings, 371418 edges, 1020 markings/sec, 100 secs
lola: 108181 markings, 388868 edges, 1018 markings/sec, 105 secs
lola: 113257 markings, 407482 edges, 1015 markings/sec, 110 secs
lola: 118294 markings, 425573 edges, 1007 markings/sec, 115 secs
lola: 123399 markings, 443607 edges, 1021 markings/sec, 120 secs
lola: 128475 markings, 462908 edges, 1015 markings/sec, 125 secs
lola: 133527 markings, 483175 edges, 1010 markings/sec, 130 secs
lola: 138606 markings, 501369 edges, 1016 markings/sec, 135 secs
lola: 143640 markings, 518688 edges, 1007 markings/sec, 140 secs
lola: 148638 markings, 536752 edges, 1000 markings/sec, 145 secs
lola: 153661 markings, 554991 edges, 1005 markings/sec, 150 secs
lola: 158768 markings, 572913 edges, 1021 markings/sec, 155 secs
lola: 163862 markings, 591204 edges, 1019 markings/sec, 160 secs
lola: 168965 markings, 609543 edges, 1021 markings/sec, 165 secs
lola: 174067 markings, 627489 edges, 1020 markings/sec, 170 secs
lola: 179149 markings, 646479 edges, 1016 markings/sec, 175 secs
lola: 184233 markings, 664488 edges, 1017 markings/sec, 180 secs
lola: 189335 markings, 682699 edges, 1020 markings/sec, 185 secs
lola: 194420 markings, 701565 edges, 1017 markings/sec, 190 secs
lola: 199528 markings, 719677 edges, 1022 markings/sec, 195 secs
lola: 204620 markings, 738829 edges, 1018 markings/sec, 200 secs
lola: 209720 markings, 756897 edges, 1020 markings/sec, 205 secs
lola: 214822 markings, 775052 edges, 1020 markings/sec, 210 secs
lola: 219940 markings, 792264 edges, 1024 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: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 210696 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: memory consumption: 210696 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: lola: caught signal User defined signal 1 - aborting LoLA
rslt: finished

BK_STOP 1552591971247

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

grep: GenericPropertiesVerdict.xml: No such file or directory
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-D40N100"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is Diffusion2D-PT-D40N100, 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 r060-ebro-155234654800209"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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