About the Execution of LoLA for Diffusion2D-PT-D40N050
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4385.590 | 3570199.00 | 3662966.00 | 815.10 | [undef] | Cannot compute |
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-155234654800200.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-D40N050, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654800200
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.8M
-rw-r--r-- 1 mcc users 3.5K Feb 10 21:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 10 21:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 6 17:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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.7K Feb 4 23:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K 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 8.8K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 3 07:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 3 07:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Jan 30 23:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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-D40N050-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1552585966169
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ Diffusion2D-PT-D40N050 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ Diffusion2D-PT-D40N050
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=UpperBounds.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--timelimit=3570",
"--localtimelimit=0",
"--json=UpperBounds.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Mar 14 17:52:46 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 141176,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "UpperBounds.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*)"
},
"net":
{
"arcs": 24648,
"conflict_clusters": 1600,
"places": 1600,
"places_significant": 1599,
"singleton_clusters": 0,
"transitions": 12324
},
"result":
{
"interim_value": "unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown ",
"preliminary_value": "unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown "
},
"task":
{
"type": "compound"
}
}
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__28_13_) : MAX(cAMP__37_9_) : MAX(cAMP__7_3_) : MAX(cAMP__33_13_) : MAX(cAMP__17_6_) : MAX(cAMP__16_36_) : MAX(cAMP__9_26_) : MAX(cAMP__14_7_) : MAX(cAMP__17_5_) : MAX(cAMP__24_40_) : MAX(cAMP__39_34_) : MAX(cAMP__34_37_) : MAX(cAMP__1_17_) : MAX(cAMP__29_36_) : MAX(cAMP__21_24_) : MAX(cAMP__31_13_)
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__28_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__28_13_)
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: 50
lola: 2349 markings, 8179 edges, 470 markings/sec, 0 secs
lola: 7458 markings, 25739 edges, 1022 markings/sec, 5 secs
lola: 12553 markings, 42737 edges, 1019 markings/sec, 10 secs
lola: 17638 markings, 59660 edges, 1017 markings/sec, 15 secs
lola: 22676 markings, 78572 edges, 1008 markings/sec, 20 secs
lola: 27769 markings, 96110 edges, 1019 markings/sec, 25 secs
lola: 32874 markings, 113069 edges, 1021 markings/sec, 30 secs
lola: 37989 markings, 129708 edges, 1023 markings/sec, 35 secs
lola: 43052 markings, 148340 edges, 1013 markings/sec, 40 secs
lola: 48126 markings, 166686 edges, 1015 markings/sec, 45 secs
lola: 53229 markings, 183818 edges, 1021 markings/sec, 50 secs
lola: 58340 markings, 200519 edges, 1022 markings/sec, 55 secs
lola: 63425 markings, 217989 edges, 1017 markings/sec, 60 secs
lola: 68505 markings, 235542 edges, 1016 markings/sec, 65 secs
lola: 73507 markings, 253964 edges, 1000 markings/sec, 70 secs
lola: 78536 markings, 270998 edges, 1006 markings/sec, 75 secs
lola: 83591 markings, 288824 edges, 1011 markings/sec, 80 secs
lola: 88656 markings, 305787 edges, 1013 markings/sec, 85 secs
lola: 93782 markings, 323175 edges, 1025 markings/sec, 90 secs
lola: 98947 markings, 340206 edges, 1033 markings/sec, 95 secs
lola: 104081 markings, 356875 edges, 1027 markings/sec, 100 secs
lola: 109207 markings, 374113 edges, 1025 markings/sec, 105 secs
lola: 114279 markings, 392067 edges, 1014 markings/sec, 110 secs
lola: 119368 markings, 409520 edges, 1018 markings/sec, 115 secs
lola: 124435 markings, 428460 edges, 1013 markings/sec, 120 secs
lola: 129530 markings, 445839 edges, 1019 markings/sec, 125 secs
lola: 134631 markings, 462412 edges, 1020 markings/sec, 130 secs
lola: 139728 markings, 479220 edges, 1019 markings/sec, 135 secs
lola: 144803 markings, 496702 edges, 1015 markings/sec, 140 secs
lola: 149866 markings, 514781 edges, 1013 markings/sec, 145 secs
lola: 154941 markings, 532846 edges, 1015 markings/sec, 150 secs
lola: 160020 markings, 550666 edges, 1016 markings/sec, 155 secs
lola: 165096 markings, 567929 edges, 1015 markings/sec, 160 secs
lola: 170151 markings, 586629 edges, 1011 markings/sec, 165 secs
lola: 175201 markings, 604560 edges, 1010 markings/sec, 170 secs
lola: 180284 markings, 621636 edges, 1017 markings/sec, 175 secs
lola: 185369 markings, 639155 edges, 1017 markings/sec, 180 secs
lola: 190435 markings, 657096 edges, 1013 markings/sec, 185 secs
lola: 195503 markings, 674639 edges, 1014 markings/sec, 190 secs
lola: 200546 markings, 693497 edges, 1009 markings/sec, 195 secs
lola: 205598 markings, 711886 edges, 1010 markings/sec, 200 secs
lola: 210654 markings, 729929 edges, 1011 markings/sec, 205 secs
lola: 215712 markings, 748107 edges, 1012 markings/sec, 210 secs
lola: 220726 markings, 765770 edges, 1003 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: 198444 KB
lola: time consumption: 229 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__37_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__37_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: 50
lola: 2478 markings, 8318 edges, 496 markings/sec, 0 secs
lola: 7682 markings, 26302 edges, 1041 markings/sec, 5 secs
lola: 12829 markings, 44242 edges, 1029 markings/sec, 10 secs
lola: 17875 markings, 61962 edges, 1009 markings/sec, 15 secs
lola: 22972 markings, 79659 edges, 1019 markings/sec, 20 secs
lola: 28085 markings, 95911 edges, 1023 markings/sec, 25 secs
lola: 33233 markings, 113538 edges, 1030 markings/sec, 30 secs
lola: 38467 markings, 130892 edges, 1047 markings/sec, 35 secs
lola: 43684 markings, 148916 edges, 1043 markings/sec, 40 secs
lola: 48896 markings, 167114 edges, 1042 markings/sec, 45 secs
lola: 54096 markings, 185580 edges, 1040 markings/sec, 50 secs
lola: 59281 markings, 205007 edges, 1037 markings/sec, 55 secs
lola: 64479 markings, 223783 edges, 1040 markings/sec, 60 secs
lola: 69709 markings, 240575 edges, 1046 markings/sec, 65 secs
lola: 74945 markings, 257177 edges, 1047 markings/sec, 70 secs
lola: 80154 markings, 275180 edges, 1042 markings/sec, 75 secs
lola: 85353 markings, 292910 edges, 1040 markings/sec, 80 secs
lola: 90551 markings, 310965 edges, 1040 markings/sec, 85 secs
lola: 95771 markings, 328056 edges, 1044 markings/sec, 90 secs
lola: 100970 markings, 346080 edges, 1040 markings/sec, 95 secs
lola: 106166 markings, 363655 edges, 1039 markings/sec, 100 secs
lola: 111391 markings, 380133 edges, 1045 markings/sec, 105 secs
lola: 116579 markings, 398459 edges, 1038 markings/sec, 110 secs
lola: 121751 markings, 417599 edges, 1034 markings/sec, 115 secs
lola: 126937 markings, 435806 edges, 1037 markings/sec, 120 secs
lola: 132144 markings, 453244 edges, 1041 markings/sec, 125 secs
lola: 137369 markings, 470378 edges, 1045 markings/sec, 130 secs
lola: 142587 markings, 487676 edges, 1044 markings/sec, 135 secs
lola: 147821 markings, 504314 edges, 1047 markings/sec, 140 secs
lola: 153028 markings, 521706 edges, 1041 markings/sec, 145 secs
lola: 158223 markings, 539322 edges, 1039 markings/sec, 150 secs
lola: 163391 markings, 558605 edges, 1034 markings/sec, 155 secs
lola: 168585 markings, 576159 edges, 1039 markings/sec, 160 secs
lola: 173717 markings, 593954 edges, 1026 markings/sec, 165 secs
lola: 178886 markings, 610553 edges, 1034 markings/sec, 170 secs
lola: 184059 markings, 627410 edges, 1035 markings/sec, 175 secs
lola: 189217 markings, 644432 edges, 1032 markings/sec, 180 secs
lola: 194351 markings, 661069 edges, 1027 markings/sec, 185 secs
lola: 199466 markings, 678223 edges, 1023 markings/sec, 190 secs
lola: 204590 markings, 695826 edges, 1025 markings/sec, 195 secs
lola: 209739 markings, 711925 edges, 1030 markings/sec, 200 secs
lola: 214873 markings, 728429 edges, 1027 markings/sec, 205 secs
lola: 220018 markings, 744471 edges, 1029 markings/sec, 210 secs
lola: 225163 markings, 760768 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: 213020 KB
lola: time consumption: 451 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__7_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_3_)
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: 50
lola: 2385 markings, 8214 edges, 477 markings/sec, 0 secs
lola: 7444 markings, 25519 edges, 1012 markings/sec, 5 secs
lola: 12609 markings, 43399 edges, 1033 markings/sec, 10 secs
lola: 17778 markings, 60024 edges, 1034 markings/sec, 15 secs
lola: 22935 markings, 77288 edges, 1031 markings/sec, 20 secs
lola: 28097 markings, 94273 edges, 1032 markings/sec, 25 secs
lola: 33255 markings, 111506 edges, 1032 markings/sec, 30 secs
lola: 38427 markings, 128224 edges, 1034 markings/sec, 35 secs
lola: 43576 markings, 145842 edges, 1030 markings/sec, 40 secs
lola: 48722 markings, 163277 edges, 1029 markings/sec, 45 secs
lola: 53867 markings, 181168 edges, 1029 markings/sec, 50 secs
lola: 59016 markings, 197944 edges, 1030 markings/sec, 55 secs
lola: 64175 markings, 215248 edges, 1032 markings/sec, 60 secs
lola: 69329 markings, 232210 edges, 1031 markings/sec, 65 secs
lola: 74482 markings, 249891 edges, 1031 markings/sec, 70 secs
lola: 79656 markings, 266944 edges, 1035 markings/sec, 75 secs
lola: 84859 markings, 284161 edges, 1041 markings/sec, 80 secs
lola: 90065 markings, 301150 edges, 1041 markings/sec, 85 secs
lola: 95226 markings, 318687 edges, 1032 markings/sec, 90 secs
lola: 100394 markings, 335466 edges, 1034 markings/sec, 95 secs
lola: 105583 markings, 351310 edges, 1038 markings/sec, 100 secs
lola: 110784 markings, 368251 edges, 1040 markings/sec, 105 secs
lola: 115989 markings, 385690 edges, 1041 markings/sec, 110 secs
lola: 121210 markings, 402666 edges, 1044 markings/sec, 115 secs
lola: 126407 markings, 421087 edges, 1039 markings/sec, 120 secs
lola: 131646 markings, 437524 edges, 1048 markings/sec, 125 secs
lola: 136869 markings, 454963 edges, 1045 markings/sec, 130 secs
lola: 142089 markings, 472844 edges, 1044 markings/sec, 135 secs
lola: 147325 markings, 489793 edges, 1047 markings/sec, 140 secs
lola: 152554 markings, 506861 edges, 1046 markings/sec, 145 secs
lola: 157754 markings, 523231 edges, 1040 markings/sec, 150 secs
lola: 162914 markings, 540355 edges, 1032 markings/sec, 155 secs
lola: 168150 markings, 557111 edges, 1047 markings/sec, 160 secs
lola: 173382 markings, 573874 edges, 1046 markings/sec, 165 secs
lola: 178598 markings, 590963 edges, 1043 markings/sec, 170 secs
lola: 183756 markings, 608263 edges, 1032 markings/sec, 175 secs
lola: 188964 markings, 625282 edges, 1042 markings/sec, 180 secs
lola: 194165 markings, 642609 edges, 1040 markings/sec, 185 secs
lola: 199375 markings, 659429 edges, 1042 markings/sec, 190 secs
lola: 204533 markings, 676462 edges, 1032 markings/sec, 195 secs
lola: 209687 markings, 693394 edges, 1031 markings/sec, 200 secs
lola: 214864 markings, 711261 edges, 1035 markings/sec, 205 secs
lola: 220029 markings, 729693 edges, 1033 markings/sec, 210 secs
lola: 225220 markings, 746997 edges, 1038 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: 213316 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__33_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__33_13_)
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: 50
lola: 2461 markings, 8503 edges, 492 markings/sec, 0 secs
lola: 7617 markings, 27114 edges, 1031 markings/sec, 5 secs
lola: 12753 markings, 46396 edges, 1027 markings/sec, 10 secs
lola: 17911 markings, 64187 edges, 1032 markings/sec, 15 secs
lola: 23088 markings, 81394 edges, 1035 markings/sec, 20 secs
lola: 28279 markings, 98272 edges, 1038 markings/sec, 25 secs
lola: 33477 markings, 115405 edges, 1040 markings/sec, 30 secs
lola: 38653 markings, 133198 edges, 1035 markings/sec, 35 secs
lola: 43848 markings, 149900 edges, 1039 markings/sec, 40 secs
lola: 49024 markings, 167202 edges, 1035 markings/sec, 45 secs
lola: 54206 markings, 184219 edges, 1036 markings/sec, 50 secs
lola: 59383 markings, 201502 edges, 1035 markings/sec, 55 secs
lola: 64541 markings, 219711 edges, 1032 markings/sec, 60 secs
lola: 69718 markings, 237820 edges, 1035 markings/sec, 65 secs
lola: 74914 markings, 254801 edges, 1039 markings/sec, 70 secs
lola: 80102 markings, 272007 edges, 1038 markings/sec, 75 secs
lola: 85251 markings, 290116 edges, 1030 markings/sec, 80 secs
lola: 90393 markings, 308748 edges, 1028 markings/sec, 85 secs
lola: 95503 markings, 328585 edges, 1022 markings/sec, 90 secs
lola: 100614 markings, 348133 edges, 1022 markings/sec, 95 secs
lola: 105708 markings, 367304 edges, 1019 markings/sec, 100 secs
lola: 110864 markings, 385217 edges, 1031 markings/sec, 105 secs
lola: 116035 markings, 402288 edges, 1034 markings/sec, 110 secs
lola: 121143 markings, 420215 edges, 1022 markings/sec, 115 secs
lola: 126214 markings, 437928 edges, 1014 markings/sec, 120 secs
lola: 131346 markings, 457129 edges, 1026 markings/sec, 125 secs
lola: 136491 markings, 476381 edges, 1029 markings/sec, 130 secs
lola: 141696 markings, 493832 edges, 1041 markings/sec, 135 secs
lola: 146905 markings, 510449 edges, 1042 markings/sec, 140 secs
lola: 152087 markings, 528028 edges, 1036 markings/sec, 145 secs
lola: 157280 markings, 544965 edges, 1039 markings/sec, 150 secs
lola: 162507 markings, 560556 edges, 1045 markings/sec, 155 secs
lola: 167732 markings, 576288 edges, 1045 markings/sec, 160 secs
lola: 172935 markings, 592615 edges, 1041 markings/sec, 165 secs
lola: 178139 markings, 608971 edges, 1041 markings/sec, 170 secs
lola: 183357 markings, 625172 edges, 1044 markings/sec, 175 secs
lola: 188612 markings, 640578 edges, 1051 markings/sec, 180 secs
lola: 193869 markings, 655923 edges, 1051 markings/sec, 185 secs
lola: 199111 markings, 671826 edges, 1048 markings/sec, 190 secs
lola: 204340 markings, 688388 edges, 1046 markings/sec, 195 secs
lola: 209572 markings, 704915 edges, 1046 markings/sec, 200 secs
lola: 214819 markings, 720902 edges, 1049 markings/sec, 205 secs
lola: 220055 markings, 737111 edges, 1047 markings/sec, 210 secs
lola: 225254 markings, 755082 edges, 1040 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: 207668 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__17_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_6_)
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: 50
lola: 2457 markings, 8348 edges, 491 markings/sec, 0 secs
lola: 7625 markings, 25042 edges, 1034 markings/sec, 5 secs
lola: 12815 markings, 40771 edges, 1038 markings/sec, 10 secs
lola: 17963 markings, 56199 edges, 1030 markings/sec, 15 secs
lola: 23133 markings, 72409 edges, 1034 markings/sec, 20 secs
lola: 28293 markings, 89291 edges, 1032 markings/sec, 25 secs
lola: 33414 markings, 105454 edges, 1024 markings/sec, 30 secs
lola: 38579 markings, 120718 edges, 1033 markings/sec, 35 secs
lola: 43757 markings, 137230 edges, 1036 markings/sec, 40 secs
lola: 48915 markings, 154435 edges, 1032 markings/sec, 45 secs
lola: 54095 markings, 170009 edges, 1036 markings/sec, 50 secs
lola: 59276 markings, 185593 edges, 1036 markings/sec, 55 secs
lola: 64437 markings, 202388 edges, 1032 markings/sec, 60 secs
lola: 69598 markings, 219129 edges, 1032 markings/sec, 65 secs
lola: 74778 markings, 234815 edges, 1036 markings/sec, 70 secs
lola: 79990 markings, 250576 edges, 1042 markings/sec, 75 secs
lola: 85177 markings, 267420 edges, 1037 markings/sec, 80 secs
lola: 90360 markings, 284265 edges, 1037 markings/sec, 85 secs
lola: 95561 markings, 299711 edges, 1040 markings/sec, 90 secs
lola: 100746 markings, 315966 edges, 1037 markings/sec, 95 secs
lola: 105914 markings, 332945 edges, 1034 markings/sec, 100 secs
lola: 111093 markings, 349208 edges, 1036 markings/sec, 105 secs
lola: 116272 markings, 364488 edges, 1036 markings/sec, 110 secs
lola: 121438 markings, 379519 edges, 1033 markings/sec, 115 secs
lola: 126603 markings, 394955 edges, 1033 markings/sec, 120 secs
lola: 131765 markings, 410699 edges, 1032 markings/sec, 125 secs
lola: 136921 markings, 426469 edges, 1031 markings/sec, 130 secs
lola: 142115 markings, 441491 edges, 1039 markings/sec, 135 secs
lola: 147293 markings, 457426 edges, 1036 markings/sec, 140 secs
lola: 152480 markings, 473389 edges, 1037 markings/sec, 145 secs
lola: 157657 markings, 489838 edges, 1035 markings/sec, 150 secs
lola: 162814 markings, 505790 edges, 1031 markings/sec, 155 secs
lola: 167983 markings, 521070 edges, 1034 markings/sec, 160 secs
lola: 173161 markings, 535866 edges, 1036 markings/sec, 165 secs
lola: 178335 markings, 551577 edges, 1035 markings/sec, 170 secs
lola: 183531 markings, 566974 edges, 1039 markings/sec, 175 secs
lola: 188709 markings, 583219 edges, 1036 markings/sec, 180 secs
lola: 193867 markings, 599053 edges, 1032 markings/sec, 185 secs
lola: 199033 markings, 614133 edges, 1033 markings/sec, 190 secs
lola: 204219 markings, 629626 edges, 1037 markings/sec, 195 secs
lola: 209385 markings, 645387 edges, 1033 markings/sec, 200 secs
lola: 214553 markings, 661062 edges, 1034 markings/sec, 205 secs
lola: 219724 markings, 676652 edges, 1034 markings/sec, 210 secs
lola: 224893 markings, 692409 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: 197760 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__16_36_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__16_36_)
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: 50
lola: 2411 markings, 8508 edges, 482 markings/sec, 0 secs
lola: 7546 markings, 26952 edges, 1027 markings/sec, 5 secs
lola: 12669 markings, 45479 edges, 1025 markings/sec, 10 secs
lola: 17793 markings, 64013 edges, 1025 markings/sec, 15 secs
lola: 22930 markings, 80171 edges, 1027 markings/sec, 20 secs
lola: 28040 markings, 97475 edges, 1022 markings/sec, 25 secs
lola: 33152 markings, 116102 edges, 1022 markings/sec, 30 secs
lola: 38235 markings, 135323 edges, 1017 markings/sec, 35 secs
lola: 43277 markings, 153830 edges, 1008 markings/sec, 40 secs
lola: 48373 markings, 173827 edges, 1019 markings/sec, 45 secs
lola: 53544 markings, 191236 edges, 1034 markings/sec, 50 secs
lola: 58726 markings, 208139 edges, 1036 markings/sec, 55 secs
lola: 63880 markings, 225893 edges, 1031 markings/sec, 60 secs
lola: 69076 markings, 242407 edges, 1039 markings/sec, 65 secs
lola: 74300 markings, 258602 edges, 1045 markings/sec, 70 secs
lola: 79472 markings, 277272 edges, 1034 markings/sec, 75 secs
lola: 84656 markings, 295469 edges, 1037 markings/sec, 80 secs
lola: 89829 markings, 312727 edges, 1035 markings/sec, 85 secs
lola: 94973 markings, 330324 edges, 1029 markings/sec, 90 secs
lola: 100105 markings, 348766 edges, 1026 markings/sec, 95 secs
lola: 105276 markings, 365529 edges, 1034 markings/sec, 100 secs
lola: 110401 markings, 384148 edges, 1025 markings/sec, 105 secs
lola: 115533 markings, 403021 edges, 1026 markings/sec, 110 secs
lola: 120722 markings, 419835 edges, 1038 markings/sec, 115 secs
lola: 125880 markings, 437709 edges, 1032 markings/sec, 120 secs
lola: 131027 markings, 456175 edges, 1029 markings/sec, 125 secs
lola: 136222 markings, 473256 edges, 1039 markings/sec, 130 secs
lola: 141434 markings, 490170 edges, 1042 markings/sec, 135 secs
lola: 146611 markings, 508257 edges, 1035 markings/sec, 140 secs
lola: 151792 markings, 524631 edges, 1036 markings/sec, 145 secs
lola: 156980 markings, 540949 edges, 1038 markings/sec, 150 secs
lola: 162185 markings, 557026 edges, 1041 markings/sec, 155 secs
lola: 167385 markings, 573169 edges, 1040 markings/sec, 160 secs
lola: 172573 markings, 589625 edges, 1038 markings/sec, 165 secs
lola: 177754 markings, 606051 edges, 1036 markings/sec, 170 secs
lola: 182934 markings, 622692 edges, 1036 markings/sec, 175 secs
lola: 188117 markings, 639700 edges, 1037 markings/sec, 180 secs
lola: 193335 markings, 655605 edges, 1044 markings/sec, 185 secs
lola: 198523 markings, 673291 edges, 1038 markings/sec, 190 secs
lola: 203690 markings, 691368 edges, 1033 markings/sec, 195 secs
lola: 208867 markings, 708118 edges, 1035 markings/sec, 200 secs
lola: 214066 markings, 724379 edges, 1040 markings/sec, 205 secs
lola: 219248 markings, 740946 edges, 1036 markings/sec, 210 secs
lola: 224426 markings, 758040 edges, 1036 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: 202928 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__9_26_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_26_)
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: 50
lola: 2467 markings, 8482 edges, 493 markings/sec, 0 secs
lola: 7685 markings, 26880 edges, 1044 markings/sec, 5 secs
lola: 12903 markings, 44999 edges, 1044 markings/sec, 10 secs
lola: 18129 markings, 62696 edges, 1045 markings/sec, 15 secs
lola: 23347 markings, 80842 edges, 1044 markings/sec, 20 secs
lola: 28538 markings, 99735 edges, 1038 markings/sec, 25 secs
lola: 33728 markings, 118042 edges, 1038 markings/sec, 30 secs
lola: 38917 markings, 137013 edges, 1038 markings/sec, 35 secs
lola: 44097 markings, 155931 edges, 1036 markings/sec, 40 secs
lola: 49298 markings, 173839 edges, 1040 markings/sec, 45 secs
lola: 54496 markings, 192466 edges, 1040 markings/sec, 50 secs
lola: 59708 markings, 210599 edges, 1042 markings/sec, 55 secs
lola: 64936 markings, 228509 edges, 1046 markings/sec, 60 secs
lola: 70156 markings, 246864 edges, 1044 markings/sec, 65 secs
lola: 75377 markings, 265709 edges, 1044 markings/sec, 70 secs
lola: 80597 markings, 283958 edges, 1044 markings/sec, 75 secs
lola: 85806 markings, 302266 edges, 1042 markings/sec, 80 secs
lola: 91007 markings, 320514 edges, 1040 markings/sec, 85 secs
lola: 96223 markings, 338464 edges, 1043 markings/sec, 90 secs
lola: 101427 markings, 356803 edges, 1041 markings/sec, 95 secs
lola: 106637 markings, 375162 edges, 1042 markings/sec, 100 secs
lola: 111849 markings, 393043 edges, 1042 markings/sec, 105 secs
lola: 117053 markings, 411368 edges, 1041 markings/sec, 110 secs
lola: 122269 markings, 429633 edges, 1043 markings/sec, 115 secs
lola: 127498 markings, 447468 edges, 1046 markings/sec, 120 secs
lola: 132691 markings, 467018 edges, 1039 markings/sec, 125 secs
lola: 137902 markings, 484785 edges, 1042 markings/sec, 130 secs
lola: 143115 markings, 502412 edges, 1043 markings/sec, 135 secs
lola: 148323 markings, 521000 edges, 1042 markings/sec, 140 secs
lola: 153558 markings, 537838 edges, 1047 markings/sec, 145 secs
lola: 158770 markings, 556473 edges, 1042 markings/sec, 150 secs
lola: 163971 markings, 575126 edges, 1040 markings/sec, 155 secs
lola: 169175 markings, 593004 edges, 1041 markings/sec, 160 secs
lola: 174384 markings, 611251 edges, 1042 markings/sec, 165 secs
lola: 179608 markings, 628542 edges, 1045 markings/sec, 170 secs
lola: 184799 markings, 647212 edges, 1038 markings/sec, 175 secs
lola: 190006 markings, 664992 edges, 1041 markings/sec, 180 secs
lola: 195217 markings, 683189 edges, 1042 markings/sec, 185 secs
lola: 200428 markings, 701122 edges, 1042 markings/sec, 190 secs
lola: 205612 markings, 719453 edges, 1037 markings/sec, 195 secs
lola: 210796 markings, 737633 edges, 1037 markings/sec, 200 secs
lola: 215961 markings, 755773 edges, 1033 markings/sec, 205 secs
lola: 221136 markings, 774306 edges, 1035 markings/sec, 210 secs
lola: 226317 markings, 792168 edges, 1036 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: 215492 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__14_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_7_)
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: 50
lola: 2334 markings, 8071 edges, 467 markings/sec, 0 secs
lola: 7445 markings, 26175 edges, 1022 markings/sec, 5 secs
lola: 12565 markings, 44270 edges, 1024 markings/sec, 10 secs
lola: 17676 markings, 62500 edges, 1022 markings/sec, 15 secs
lola: 22803 markings, 79098 edges, 1025 markings/sec, 20 secs
lola: 27947 markings, 95545 edges, 1029 markings/sec, 25 secs
lola: 33082 markings, 112367 edges, 1027 markings/sec, 30 secs
lola: 38192 markings, 130845 edges, 1022 markings/sec, 35 secs
lola: 43309 markings, 148589 edges, 1023 markings/sec, 40 secs
lola: 48461 markings, 165052 edges, 1030 markings/sec, 45 secs
lola: 53605 markings, 182036 edges, 1029 markings/sec, 50 secs
lola: 58772 markings, 198320 edges, 1033 markings/sec, 55 secs
lola: 63903 markings, 214722 edges, 1026 markings/sec, 60 secs
lola: 69010 markings, 232335 edges, 1021 markings/sec, 65 secs
lola: 74114 markings, 250335 edges, 1021 markings/sec, 70 secs
lola: 79223 markings, 267899 edges, 1022 markings/sec, 75 secs
lola: 84366 markings, 284307 edges, 1029 markings/sec, 80 secs
lola: 89499 markings, 301037 edges, 1027 markings/sec, 85 secs
lola: 94656 markings, 317179 edges, 1031 markings/sec, 90 secs
lola: 99789 markings, 333793 edges, 1027 markings/sec, 95 secs
lola: 104893 markings, 351729 edges, 1021 markings/sec, 100 secs
lola: 109991 markings, 369660 edges, 1020 markings/sec, 105 secs
lola: 115102 markings, 386708 edges, 1022 markings/sec, 110 secs
lola: 120214 markings, 403348 edges, 1022 markings/sec, 115 secs
lola: 125330 markings, 419686 edges, 1023 markings/sec, 120 secs
lola: 130458 markings, 435522 edges, 1026 markings/sec, 125 secs
lola: 135602 markings, 451194 edges, 1029 markings/sec, 130 secs
lola: 140759 markings, 467029 edges, 1031 markings/sec, 135 secs
lola: 145908 markings, 483296 edges, 1030 markings/sec, 140 secs
lola: 151051 markings, 499554 edges, 1029 markings/sec, 145 secs
lola: 156180 markings, 515539 edges, 1026 markings/sec, 150 secs
lola: 161327 markings, 531053 edges, 1029 markings/sec, 155 secs
lola: 166479 markings, 546462 edges, 1030 markings/sec, 160 secs
lola: 171620 markings, 562503 edges, 1028 markings/sec, 165 secs
lola: 176755 markings, 578625 edges, 1027 markings/sec, 170 secs
lola: 181892 markings, 594670 edges, 1027 markings/sec, 175 secs
lola: 186976 markings, 613280 edges, 1017 markings/sec, 180 secs
lola: 192080 markings, 630681 edges, 1021 markings/sec, 185 secs
lola: 197201 markings, 647619 edges, 1024 markings/sec, 190 secs
lola: 202316 markings, 664467 edges, 1023 markings/sec, 195 secs
lola: 207478 markings, 679744 edges, 1032 markings/sec, 200 secs
lola: 212579 markings, 697362 edges, 1020 markings/sec, 205 secs
lola: 217672 markings, 715367 edges, 1019 markings/sec, 210 secs
lola: 222790 markings, 732376 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: memory consumption: 204340 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__17_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_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: 50
lola: 2475 markings, 8067 edges, 495 markings/sec, 0 secs
lola: 7652 markings, 26007 edges, 1035 markings/sec, 5 secs
lola: 12820 markings, 43963 edges, 1034 markings/sec, 10 secs
lola: 18015 markings, 60079 edges, 1039 markings/sec, 15 secs
lola: 23186 markings, 77157 edges, 1034 markings/sec, 20 secs
lola: 28359 markings, 94328 edges, 1035 markings/sec, 25 secs
lola: 33495 markings, 112968 edges, 1027 markings/sec, 30 secs
lola: 38635 markings, 131517 edges, 1028 markings/sec, 35 secs
lola: 43784 markings, 149546 edges, 1030 markings/sec, 40 secs
lola: 48922 markings, 168101 edges, 1028 markings/sec, 45 secs
lola: 54040 markings, 187573 edges, 1024 markings/sec, 50 secs
lola: 59216 markings, 203987 edges, 1035 markings/sec, 55 secs
lola: 64369 markings, 221820 edges, 1031 markings/sec, 60 secs
lola: 69522 markings, 239074 edges, 1031 markings/sec, 65 secs
lola: 74679 markings, 256303 edges, 1031 markings/sec, 70 secs
lola: 79841 markings, 273677 edges, 1032 markings/sec, 75 secs
lola: 85016 markings, 290872 edges, 1035 markings/sec, 80 secs
lola: 90187 markings, 307539 edges, 1034 markings/sec, 85 secs
lola: 95356 markings, 324251 edges, 1034 markings/sec, 90 secs
lola: 100530 markings, 341009 edges, 1035 markings/sec, 95 secs
lola: 105715 markings, 357257 edges, 1037 markings/sec, 100 secs
lola: 110861 markings, 375139 edges, 1029 markings/sec, 105 secs
lola: 116057 markings, 391402 edges, 1039 markings/sec, 110 secs
lola: 121198 markings, 407940 edges, 1028 markings/sec, 115 secs
lola: 126274 markings, 424529 edges, 1015 markings/sec, 120 secs
lola: 131408 markings, 440763 edges, 1027 markings/sec, 125 secs
lola: 136518 markings, 457943 edges, 1022 markings/sec, 130 secs
lola: 141630 markings, 474791 edges, 1022 markings/sec, 135 secs
lola: 146762 markings, 490246 edges, 1026 markings/sec, 140 secs
lola: 151898 markings, 505378 edges, 1027 markings/sec, 145 secs
lola: 157028 markings, 520729 edges, 1026 markings/sec, 150 secs
lola: 162144 markings, 537274 edges, 1023 markings/sec, 155 secs
lola: 167251 markings, 554169 edges, 1021 markings/sec, 160 secs
lola: 172374 markings, 569767 edges, 1025 markings/sec, 165 secs
lola: 177517 markings, 584984 edges, 1029 markings/sec, 170 secs
lola: 182632 markings, 602202 edges, 1023 markings/sec, 175 secs
lola: 187745 markings, 619282 edges, 1023 markings/sec, 180 secs
lola: 192855 markings, 635715 edges, 1022 markings/sec, 185 secs
lola: 197977 markings, 651917 edges, 1024 markings/sec, 190 secs
lola: 203144 markings, 666523 edges, 1033 markings/sec, 195 secs
lola: 208275 markings, 682662 edges, 1026 markings/sec, 200 secs
lola: 213386 markings, 699272 edges, 1022 markings/sec, 205 secs
lola: 218500 markings, 715754 edges, 1023 markings/sec, 210 secs
lola: 223652 markings, 731602 edges, 1030 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: 195712 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__24_40_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_40_)
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: 50
lola: 2313 markings, 8004 edges, 463 markings/sec, 0 secs
lola: 7293 markings, 23987 edges, 996 markings/sec, 5 secs
lola: 12345 markings, 40377 edges, 1010 markings/sec, 10 secs
lola: 17449 markings, 56897 edges, 1021 markings/sec, 15 secs
lola: 22558 markings, 72651 edges, 1022 markings/sec, 20 secs
lola: 27685 markings, 87981 edges, 1025 markings/sec, 25 secs
lola: 32792 markings, 102861 edges, 1021 markings/sec, 30 secs
lola: 37905 markings, 118184 edges, 1023 markings/sec, 35 secs
lola: 43044 markings, 133045 edges, 1028 markings/sec, 40 secs
lola: 48165 markings, 148455 edges, 1024 markings/sec, 45 secs
lola: 53289 markings, 163364 edges, 1025 markings/sec, 50 secs
lola: 58425 markings, 178596 edges, 1027 markings/sec, 55 secs
lola: 63552 markings, 193964 edges, 1025 markings/sec, 60 secs
lola: 68692 markings, 208854 edges, 1028 markings/sec, 65 secs
lola: 73804 markings, 224481 edges, 1022 markings/sec, 70 secs
lola: 78977 markings, 239230 edges, 1035 markings/sec, 75 secs
lola: 84034 markings, 254658 edges, 1011 markings/sec, 80 secs
lola: 89143 markings, 269579 edges, 1022 markings/sec, 85 secs
lola: 94251 markings, 284836 edges, 1022 markings/sec, 90 secs
lola: 99360 markings, 299693 edges, 1022 markings/sec, 95 secs
lola: 104491 markings, 313840 edges, 1026 markings/sec, 100 secs
lola: 109616 markings, 328433 edges, 1025 markings/sec, 105 secs
lola: 114751 markings, 342275 edges, 1027 markings/sec, 110 secs
lola: 119862 markings, 357486 edges, 1022 markings/sec, 115 secs
lola: 124993 markings, 372119 edges, 1026 markings/sec, 120 secs
lola: 130130 markings, 387039 edges, 1027 markings/sec, 125 secs
lola: 135264 markings, 401860 edges, 1027 markings/sec, 130 secs
lola: 140406 markings, 415841 edges, 1028 markings/sec, 135 secs
lola: 145535 markings, 430361 edges, 1026 markings/sec, 140 secs
lola: 150641 markings, 445912 edges, 1021 markings/sec, 145 secs
lola: 155723 markings, 459986 edges, 1016 markings/sec, 150 secs
lola: 160838 markings, 475293 edges, 1023 markings/sec, 155 secs
lola: 165956 markings, 490582 edges, 1024 markings/sec, 160 secs
lola: 171070 markings, 505829 edges, 1023 markings/sec, 165 secs
lola: 176154 markings, 522280 edges, 1017 markings/sec, 170 secs
lola: 181291 markings, 537217 edges, 1027 markings/sec, 175 secs
lola: 186405 markings, 553307 edges, 1023 markings/sec, 180 secs
lola: 191488 markings, 567341 edges, 1017 markings/sec, 185 secs
lola: 196646 markings, 581191 edges, 1032 markings/sec, 190 secs
lola: 201781 markings, 595721 edges, 1027 markings/sec, 195 secs
lola: 206917 markings, 610506 edges, 1027 markings/sec, 200 secs
lola: 212045 markings, 626199 edges, 1026 markings/sec, 205 secs
lola: 217154 markings, 641696 edges, 1022 markings/sec, 210 secs
lola: 222268 markings, 657089 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: 210800 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__39_34_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__39_34_)
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: 50
lola: 2338 markings, 7877 edges, 468 markings/sec, 0 secs
lola: 7639 markings, 26291 edges, 1060 markings/sec, 5 secs
lola: 12947 markings, 44724 edges, 1062 markings/sec, 10 secs
lola: 18172 markings, 63157 edges, 1045 markings/sec, 15 secs
lola: 23467 markings, 81571 edges, 1059 markings/sec, 20 secs
lola: 28762 markings, 100688 edges, 1059 markings/sec, 25 secs
lola: 33977 markings, 120166 edges, 1043 markings/sec, 30 secs
lola: 39207 markings, 138827 edges, 1046 markings/sec, 35 secs
lola: 44509 markings, 157519 edges, 1060 markings/sec, 40 secs
lola: 49784 markings, 175712 edges, 1055 markings/sec, 45 secs
lola: 55071 markings, 193950 edges, 1057 markings/sec, 50 secs
lola: 60356 markings, 214087 edges, 1057 markings/sec, 55 secs
lola: 65614 markings, 233145 edges, 1052 markings/sec, 60 secs
lola: 70907 markings, 252072 edges, 1059 markings/sec, 65 secs
lola: 76130 markings, 270124 edges, 1045 markings/sec, 70 secs
lola: 81381 markings, 288141 edges, 1050 markings/sec, 75 secs
lola: 86606 markings, 306904 edges, 1045 markings/sec, 80 secs
lola: 91800 markings, 326198 edges, 1039 markings/sec, 85 secs
lola: 97093 markings, 345213 edges, 1059 markings/sec, 90 secs
lola: 102374 markings, 364165 edges, 1056 markings/sec, 95 secs
lola: 107685 markings, 382132 edges, 1062 markings/sec, 100 secs
lola: 112998 markings, 400493 edges, 1063 markings/sec, 105 secs
lola: 118324 markings, 417946 edges, 1065 markings/sec, 110 secs
lola: 123620 markings, 437166 edges, 1059 markings/sec, 115 secs
lola: 128917 markings, 455593 edges, 1059 markings/sec, 120 secs
lola: 134215 markings, 473591 edges, 1060 markings/sec, 125 secs
lola: 139473 markings, 492094 edges, 1052 markings/sec, 130 secs
lola: 144715 markings, 510934 edges, 1048 markings/sec, 135 secs
lola: 149971 markings, 529904 edges, 1051 markings/sec, 140 secs
lola: 155254 markings, 548464 edges, 1057 markings/sec, 145 secs
lola: 160558 markings, 566406 edges, 1061 markings/sec, 150 secs
lola: 165827 markings, 585882 edges, 1054 markings/sec, 155 secs
lola: 171150 markings, 603552 edges, 1065 markings/sec, 160 secs
lola: 176456 markings, 622208 edges, 1061 markings/sec, 165 secs
lola: 181764 markings, 640438 edges, 1062 markings/sec, 170 secs
lola: 187067 markings, 658881 edges, 1061 markings/sec, 175 secs
lola: 192369 markings, 677416 edges, 1060 markings/sec, 180 secs
lola: 197659 markings, 696404 edges, 1058 markings/sec, 185 secs
lola: 202967 markings, 714551 edges, 1062 markings/sec, 190 secs
lola: 208271 markings, 732600 edges, 1061 markings/sec, 195 secs
lola: 213580 markings, 750816 edges, 1062 markings/sec, 200 secs
lola: 218879 markings, 769213 edges, 1060 markings/sec, 205 secs
lola: 224169 markings, 788274 edges, 1058 markings/sec, 210 secs
lola: 229475 markings, 806064 edges, 1061 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: 204912 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__34_37_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__34_37_)
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: 50
lola: 2415 markings, 8354 edges, 483 markings/sec, 0 secs
lola: 7585 markings, 26962 edges, 1034 markings/sec, 5 secs
lola: 12743 markings, 45895 edges, 1032 markings/sec, 10 secs
lola: 17892 markings, 64996 edges, 1030 markings/sec, 15 secs
lola: 23055 markings, 82907 edges, 1033 markings/sec, 20 secs
lola: 28224 markings, 100865 edges, 1034 markings/sec, 25 secs
lola: 33410 markings, 118841 edges, 1037 markings/sec, 30 secs
lola: 38586 markings, 136865 edges, 1035 markings/sec, 35 secs
lola: 43770 markings, 154687 edges, 1037 markings/sec, 40 secs
lola: 48943 markings, 172352 edges, 1035 markings/sec, 45 secs
lola: 54110 markings, 189905 edges, 1033 markings/sec, 50 secs
lola: 59195 markings, 207392 edges, 1017 markings/sec, 55 secs
lola: 64352 markings, 225265 edges, 1031 markings/sec, 60 secs
lola: 69523 markings, 242877 edges, 1034 markings/sec, 65 secs
lola: 74671 markings, 260940 edges, 1030 markings/sec, 70 secs
lola: 79809 markings, 279339 edges, 1028 markings/sec, 75 secs
lola: 84929 markings, 298448 edges, 1024 markings/sec, 80 secs
lola: 90051 markings, 317589 edges, 1024 markings/sec, 85 secs
lola: 95110 markings, 337867 edges, 1012 markings/sec, 90 secs
lola: 100147 markings, 355933 edges, 1007 markings/sec, 95 secs
lola: 105258 markings, 374358 edges, 1022 markings/sec, 100 secs
lola: 110395 markings, 392437 edges, 1027 markings/sec, 105 secs
lola: 115528 markings, 410287 edges, 1027 markings/sec, 110 secs
lola: 120658 markings, 428006 edges, 1026 markings/sec, 115 secs
lola: 125768 markings, 446736 edges, 1022 markings/sec, 120 secs
lola: 130882 markings, 465585 edges, 1023 markings/sec, 125 secs
lola: 136009 markings, 483491 edges, 1025 markings/sec, 130 secs
lola: 141122 markings, 501641 edges, 1023 markings/sec, 135 secs
lola: 146290 markings, 519232 edges, 1034 markings/sec, 140 secs
lola: 151423 markings, 536960 edges, 1027 markings/sec, 145 secs
lola: 156569 markings, 554176 edges, 1029 markings/sec, 150 secs
lola: 161729 markings, 571125 edges, 1032 markings/sec, 155 secs
lola: 166874 markings, 588601 edges, 1029 markings/sec, 160 secs
lola: 172018 markings, 605776 edges, 1029 markings/sec, 165 secs
lola: 177144 markings, 623792 edges, 1025 markings/sec, 170 secs
lola: 182292 markings, 641250 edges, 1030 markings/sec, 175 secs
lola: 187419 markings, 659364 edges, 1025 markings/sec, 180 secs
lola: 192544 markings, 677833 edges, 1025 markings/sec, 185 secs
lola: 197674 markings, 695648 edges, 1026 markings/sec, 190 secs
lola: 202766 markings, 714650 edges, 1018 markings/sec, 195 secs
lola: 207932 markings, 732467 edges, 1033 markings/sec, 200 secs
lola: 213032 markings, 750715 edges, 1020 markings/sec, 205 secs
lola: 218153 markings, 769070 edges, 1024 markings/sec, 210 secs
lola: 223320 markings, 786418 edges, 1033 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: 198060 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_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_17_)
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: 50
lola: 2478 markings, 8709 edges, 496 markings/sec, 0 secs
lola: 7775 markings, 24832 edges, 1059 markings/sec, 5 secs
lola: 13078 markings, 40349 edges, 1061 markings/sec, 10 secs
lola: 18396 markings, 55333 edges, 1064 markings/sec, 15 secs
lola: 23732 markings, 69745 edges, 1067 markings/sec, 20 secs
lola: 29054 markings, 84614 edges, 1064 markings/sec, 25 secs
lola: 34381 markings, 99562 edges, 1065 markings/sec, 30 secs
lola: 39711 markings, 114025 edges, 1066 markings/sec, 35 secs
lola: 45036 markings, 128827 edges, 1065 markings/sec, 40 secs
lola: 50340 markings, 143728 edges, 1061 markings/sec, 45 secs
lola: 55672 markings, 157888 edges, 1066 markings/sec, 50 secs
lola: 61009 markings, 172170 edges, 1067 markings/sec, 55 secs
lola: 66337 markings, 186767 edges, 1066 markings/sec, 60 secs
lola: 71673 markings, 201674 edges, 1067 markings/sec, 65 secs
lola: 76992 markings, 216427 edges, 1064 markings/sec, 70 secs
lola: 82324 markings, 231095 edges, 1066 markings/sec, 75 secs
lola: 87668 markings, 245331 edges, 1069 markings/sec, 80 secs
lola: 92981 markings, 260224 edges, 1063 markings/sec, 85 secs
lola: 98302 markings, 275166 edges, 1064 markings/sec, 90 secs
lola: 103582 markings, 289850 edges, 1056 markings/sec, 95 secs
lola: 108889 markings, 304971 edges, 1061 markings/sec, 100 secs
lola: 114181 markings, 320978 edges, 1058 markings/sec, 105 secs
lola: 119483 markings, 335944 edges, 1060 markings/sec, 110 secs
lola: 124776 markings, 351512 edges, 1059 markings/sec, 115 secs
lola: 130089 markings, 366428 edges, 1063 markings/sec, 120 secs
lola: 135402 markings, 381487 edges, 1063 markings/sec, 125 secs
lola: 140726 markings, 396091 edges, 1065 markings/sec, 130 secs
lola: 146051 markings, 410795 edges, 1065 markings/sec, 135 secs
lola: 151328 markings, 425016 edges, 1055 markings/sec, 140 secs
lola: 156675 markings, 439845 edges, 1069 markings/sec, 145 secs
lola: 162016 markings, 455259 edges, 1068 markings/sec, 150 secs
lola: 167363 markings, 470169 edges, 1069 markings/sec, 155 secs
lola: 172708 markings, 485066 edges, 1069 markings/sec, 160 secs
lola: 178029 markings, 499339 edges, 1064 markings/sec, 165 secs
lola: 183286 markings, 514143 edges, 1051 markings/sec, 170 secs
lola: 188590 markings, 529600 edges, 1061 markings/sec, 175 secs
lola: 193920 markings, 544292 edges, 1066 markings/sec, 180 secs
lola: 199249 markings, 558870 edges, 1066 markings/sec, 185 secs
lola: 204597 markings, 573577 edges, 1070 markings/sec, 190 secs
lola: 209930 markings, 588414 edges, 1067 markings/sec, 195 secs
lola: 215276 markings, 602782 edges, 1069 markings/sec, 200 secs
lola: 220620 markings, 617520 edges, 1069 markings/sec, 205 secs
lola: 225954 markings, 632359 edges, 1067 markings/sec, 210 secs
lola: 231253 markings, 646790 edges, 1060 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: 211796 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__29_36_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__29_36_)
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: 50
lola: 2394 markings, 8142 edges, 479 markings/sec, 0 secs
lola: 7500 markings, 26050 edges, 1021 markings/sec, 5 secs
lola: 12624 markings, 44068 edges, 1025 markings/sec, 10 secs
lola: 17618 markings, 61494 edges, 999 markings/sec, 15 secs
lola: 22791 markings, 78591 edges, 1035 markings/sec, 20 secs
lola: 27946 markings, 94791 edges, 1031 markings/sec, 25 secs
lola: 33109 markings, 112916 edges, 1033 markings/sec, 30 secs
lola: 38139 markings, 131289 edges, 1006 markings/sec, 35 secs
lola: 43258 markings, 149049 edges, 1024 markings/sec, 40 secs
lola: 48408 markings, 165169 edges, 1030 markings/sec, 45 secs
lola: 53452 markings, 183096 edges, 1009 markings/sec, 50 secs
lola: 58504 markings, 199064 edges, 1010 markings/sec, 55 secs
lola: 63595 markings, 216250 edges, 1018 markings/sec, 60 secs
lola: 68694 markings, 233284 edges, 1020 markings/sec, 65 secs
lola: 73704 markings, 250602 edges, 1002 markings/sec, 70 secs
lola: 78806 markings, 268966 edges, 1020 markings/sec, 75 secs
lola: 83942 markings, 285564 edges, 1027 markings/sec, 80 secs
lola: 89082 markings, 302457 edges, 1028 markings/sec, 85 secs
lola: 94227 markings, 319883 edges, 1029 markings/sec, 90 secs
lola: 99342 markings, 338740 edges, 1023 markings/sec, 95 secs
lola: 104468 markings, 356152 edges, 1025 markings/sec, 100 secs
lola: 109614 markings, 372941 edges, 1029 markings/sec, 105 secs
lola: 114740 markings, 390446 edges, 1025 markings/sec, 110 secs
lola: 119870 markings, 407156 edges, 1026 markings/sec, 115 secs
lola: 124991 markings, 424610 edges, 1024 markings/sec, 120 secs
lola: 130125 markings, 441405 edges, 1027 markings/sec, 125 secs
lola: 135252 markings, 459030 edges, 1025 markings/sec, 130 secs
lola: 140360 markings, 477515 edges, 1022 markings/sec, 135 secs
lola: 145511 markings, 494339 edges, 1030 markings/sec, 140 secs
lola: 150656 markings, 511383 edges, 1029 markings/sec, 145 secs
lola: 155834 markings, 526905 edges, 1036 markings/sec, 150 secs
lola: 160982 markings, 543023 edges, 1030 markings/sec, 155 secs
lola: 166137 markings, 558942 edges, 1031 markings/sec, 160 secs
lola: 171337 markings, 574898 edges, 1040 markings/sec, 165 secs
lola: 176536 markings, 591047 edges, 1040 markings/sec, 170 secs
lola: 181718 markings, 608175 edges, 1036 markings/sec, 175 secs
lola: 186875 markings, 626596 edges, 1031 markings/sec, 180 secs
lola: 192036 markings, 644888 edges, 1032 markings/sec, 185 secs
lola: 197192 markings, 662922 edges, 1031 markings/sec, 190 secs
lola: 202377 markings, 679953 edges, 1037 markings/sec, 195 secs
lola: 207566 markings, 696330 edges, 1038 markings/sec, 200 secs
lola: 212749 markings, 712782 edges, 1037 markings/sec, 205 secs
lola: 217933 markings, 729364 edges, 1037 markings/sec, 210 secs
lola: 223109 markings, 746230 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: 201828 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__21_24_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__21_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: 50
lola: 2400 markings, 7102 edges, 480 markings/sec, 0 secs
lola: 7527 markings, 22306 edges, 1025 markings/sec, 5 secs
lola: 12722 markings, 38072 edges, 1039 markings/sec, 10 secs
lola: 17719 markings, 53973 edges, 999 markings/sec, 15 secs
lola: 22736 markings, 70762 edges, 1003 markings/sec, 20 secs
lola: 27927 markings, 86479 edges, 1038 markings/sec, 25 secs
lola: 33060 markings, 101814 edges, 1027 markings/sec, 30 secs
lola: 38255 markings, 117088 edges, 1039 markings/sec, 35 secs
lola: 43423 markings, 134009 edges, 1034 markings/sec, 40 secs
lola: 48607 markings, 150154 edges, 1037 markings/sec, 45 secs
lola: 53794 markings, 166351 edges, 1037 markings/sec, 50 secs
lola: 58962 markings, 183326 edges, 1034 markings/sec, 55 secs
lola: 64132 markings, 200052 edges, 1034 markings/sec, 60 secs
lola: 69220 markings, 217116 edges, 1018 markings/sec, 65 secs
lola: 74412 markings, 233043 edges, 1038 markings/sec, 70 secs
lola: 79590 markings, 250035 edges, 1036 markings/sec, 75 secs
lola: 84777 markings, 266337 edges, 1037 markings/sec, 80 secs
lola: 89985 markings, 281007 edges, 1042 markings/sec, 85 secs
lola: 95041 markings, 296704 edges, 1011 markings/sec, 90 secs
lola: 100041 markings, 311211 edges, 1000 markings/sec, 95 secs
lola: 105177 markings, 326446 edges, 1027 markings/sec, 100 secs
lola: 110250 markings, 341113 edges, 1015 markings/sec, 105 secs
lola: 115452 markings, 356093 edges, 1040 markings/sec, 110 secs
lola: 120562 markings, 373882 edges, 1022 markings/sec, 115 secs
lola: 125693 markings, 390123 edges, 1026 markings/sec, 120 secs
lola: 130909 markings, 404814 edges, 1043 markings/sec, 125 secs
lola: 136134 markings, 419453 edges, 1045 markings/sec, 130 secs
lola: 141343 markings, 434699 edges, 1042 markings/sec, 135 secs
lola: 146557 markings, 449690 edges, 1043 markings/sec, 140 secs
lola: 151764 markings, 465029 edges, 1041 markings/sec, 145 secs
lola: 157007 markings, 478435 edges, 1049 markings/sec, 150 secs
lola: 162224 markings, 492572 edges, 1043 markings/sec, 155 secs
lola: 167430 markings, 507759 edges, 1041 markings/sec, 160 secs
lola: 172652 markings, 522169 edges, 1044 markings/sec, 165 secs
lola: 177827 markings, 538990 edges, 1035 markings/sec, 170 secs
lola: 182899 markings, 554472 edges, 1014 markings/sec, 175 secs
lola: 188101 markings, 569889 edges, 1040 markings/sec, 180 secs
lola: 193312 markings, 584203 edges, 1042 markings/sec, 185 secs
lola: 198489 markings, 600338 edges, 1035 markings/sec, 190 secs
lola: 203678 markings, 615661 edges, 1038 markings/sec, 195 secs
lola: 208871 markings, 630987 edges, 1039 markings/sec, 200 secs
lola: 214052 markings, 646720 edges, 1036 markings/sec, 205 secs
lola: 219249 markings, 661586 edges, 1039 markings/sec, 210 secs
lola: 224449 markings, 676570 edges, 1040 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: 218840 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__31_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__31_13_)
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: 50
lola: 2406 markings, 8338 edges, 481 markings/sec, 0 secs
lola: 7562 markings, 27146 edges, 1031 markings/sec, 5 secs
lola: 12696 markings, 46977 edges, 1027 markings/sec, 10 secs
lola: 17809 markings, 67130 edges, 1023 markings/sec, 15 secs
lola: 22898 markings, 85668 edges, 1018 markings/sec, 20 secs
lola: 28080 markings, 101992 edges, 1036 markings/sec, 25 secs
lola: 33241 markings, 119252 edges, 1032 markings/sec, 30 secs
lola: 38400 markings, 136958 edges, 1032 markings/sec, 35 secs
lola: 43543 markings, 154880 edges, 1029 markings/sec, 40 secs
lola: 48666 markings, 173866 edges, 1025 markings/sec, 45 secs
lola: 53795 markings, 193035 edges, 1026 markings/sec, 50 secs
lola: 59004 markings, 209320 edges, 1042 markings/sec, 55 secs
lola: 64140 markings, 227329 edges, 1027 markings/sec, 60 secs
lola: 69200 markings, 244785 edges, 1012 markings/sec, 65 secs
lola: 74308 markings, 262779 edges, 1022 markings/sec, 70 secs
lola: 79453 markings, 282229 edges, 1029 markings/sec, 75 secs
lola: 84644 markings, 298386 edges, 1038 markings/sec, 80 secs
lola: 89827 markings, 314964 edges, 1037 markings/sec, 85 secs
lola: 94895 markings, 331143 edges, 1014 markings/sec, 90 secs
lola: 100061 markings, 347972 edges, 1033 markings/sec, 95 secs
lola: 105162 markings, 363770 edges, 1020 markings/sec, 100 secs
lola: 110369 markings, 379323 edges, 1041 markings/sec, 105 secs
lola: 115566 markings, 394170 edges, 1039 markings/sec, 110 secs
lola: 120756 markings, 410006 edges, 1038 markings/sec, 115 secs
lola: 125931 markings, 425815 edges, 1035 markings/sec, 120 secs
lola: 131112 markings, 442314 edges, 1036 markings/sec, 125 secs
lola: 136307 markings, 458146 edges, 1039 markings/sec, 130 secs
lola: 141490 markings, 474238 edges, 1037 markings/sec, 135 secs
lola: 146563 markings, 490200 edges, 1015 markings/sec, 140 secs
lola: 151744 markings, 506189 edges, 1036 markings/sec, 145 secs
lola: 156936 markings, 522110 edges, 1038 markings/sec, 150 secs
lola: 162111 markings, 539027 edges, 1035 markings/sec, 155 secs
lola: 167282 markings, 555864 edges, 1034 markings/sec, 160 secs
lola: 172450 markings, 572226 edges, 1034 markings/sec, 165 secs
lola: 177606 markings, 588919 edges, 1031 markings/sec, 170 secs
lola: 182653 markings, 604440 edges, 1009 markings/sec, 175 secs
lola: 187791 markings, 619638 edges, 1028 markings/sec, 180 secs
lola: 192942 markings, 634605 edges, 1030 markings/sec, 185 secs
lola: 198080 markings, 650064 edges, 1028 markings/sec, 190 secs
lola: 203265 markings, 666078 edges, 1037 markings/sec, 195 secs
lola: 208478 markings, 681666 edges, 1043 markings/sec, 200 secs
lola: 213688 markings, 697195 edges, 1042 markings/sec, 205 secs
lola: 218802 markings, 714068 edges, 1023 markings/sec, 210 secs
lola: 223930 markings, 731618 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: 201984 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: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__28_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__28_13_)
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: 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: 141176 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: 141176 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished
BK_STOP 1552589536368
--------------------
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-D40N050"
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-D40N050, 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-155234654800200"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D40N050.tgz
mv Diffusion2D-PT-D40N050 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 '
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 ;