About the Execution of LoLA for Diffusion2D-PT-D40N150
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4384.290 | 3570192.00 | 3652848.00 | 867.80 | ? ? ? ? ? ? ? 150 ? ? ? ? ? ? ? ? | normal |
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-155234654800218.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-D40N150, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654800218
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.8M
-rw-r--r-- 1 mcc users 4.3K Feb 10 21:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 10 21:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 6 17:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 6 17:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 3.0K Feb 4 23:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K 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.6K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Feb 3 07:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 3 07:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Jan 30 23:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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-D40N150-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1552590263895
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ Diffusion2D-PT-D40N150 @ 3570 seconds
FORMULA Diffusion2D-PT-D40N150-UpperBounds-07 150 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for UpperBounds @ Diffusion2D-PT-D40N150
{
"exit":
{
"memory": 143544,
"runtime": 3571.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(cAMP__37_28_)",
"processed_size": 17,
"rewrites": 0
},
"result":
{
"preliminary_value": "unknown unknown unknown unknown unknown unknown unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
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__37_28_) : MAX(cAMP__31_34_) : MAX(cAMP__2_15_) : MAX(cAMP__33_12_) : MAX(cAMP__13_27_) : MAX(cAMP__1_24_) : MAX(cAMP__38_35_) : MAX(cAMP__19_22_) : MAX(cAMP__26_13_) : MAX(cAMP__26_25_) : MAX(cAMP__22_40_) : MAX(cAMP__8_36_) : MAX(cAMP__11_6_) : MAX(cAMP__25_36_) : MAX(cAMP__11_13_) : MAX(cAMP__32_40_)
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__37_28_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__37_28_)
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: 150
lola: 2447 markings, 8545 edges, 489 markings/sec, 0 secs
lola: 7614 markings, 25535 edges, 1033 markings/sec, 5 secs
lola: 12808 markings, 41601 edges, 1039 markings/sec, 10 secs
lola: 17947 markings, 57545 edges, 1028 markings/sec, 15 secs
lola: 23128 markings, 74708 edges, 1036 markings/sec, 20 secs
lola: 28323 markings, 90852 edges, 1039 markings/sec, 25 secs
lola: 33488 markings, 108027 edges, 1033 markings/sec, 30 secs
lola: 38641 markings, 125083 edges, 1031 markings/sec, 35 secs
lola: 43818 markings, 141125 edges, 1035 markings/sec, 40 secs
lola: 48954 markings, 158897 edges, 1027 markings/sec, 45 secs
lola: 54113 markings, 176150 edges, 1032 markings/sec, 50 secs
lola: 59321 markings, 191921 edges, 1042 markings/sec, 55 secs
lola: 64500 markings, 209046 edges, 1036 markings/sec, 60 secs
lola: 69647 markings, 227526 edges, 1029 markings/sec, 65 secs
lola: 74731 markings, 244630 edges, 1017 markings/sec, 70 secs
lola: 79909 markings, 261427 edges, 1036 markings/sec, 75 secs
lola: 85085 markings, 278089 edges, 1035 markings/sec, 80 secs
lola: 90262 markings, 294484 edges, 1035 markings/sec, 85 secs
lola: 95443 markings, 310606 edges, 1036 markings/sec, 90 secs
lola: 100612 markings, 327034 edges, 1034 markings/sec, 95 secs
lola: 105786 markings, 344088 edges, 1035 markings/sec, 100 secs
lola: 110922 markings, 362404 edges, 1027 markings/sec, 105 secs
lola: 116030 markings, 379175 edges, 1022 markings/sec, 110 secs
lola: 121128 markings, 395619 edges, 1020 markings/sec, 115 secs
lola: 126305 markings, 411648 edges, 1035 markings/sec, 120 secs
lola: 131383 markings, 426825 edges, 1016 markings/sec, 125 secs
lola: 136394 markings, 443229 edges, 1002 markings/sec, 130 secs
lola: 141525 markings, 459015 edges, 1026 markings/sec, 135 secs
lola: 146616 markings, 475420 edges, 1018 markings/sec, 140 secs
lola: 151776 markings, 492023 edges, 1032 markings/sec, 145 secs
lola: 156940 markings, 509070 edges, 1033 markings/sec, 150 secs
lola: 162117 markings, 526237 edges, 1035 markings/sec, 155 secs
lola: 167299 markings, 543464 edges, 1036 markings/sec, 160 secs
lola: 172467 markings, 559375 edges, 1034 markings/sec, 165 secs
lola: 177590 markings, 577446 edges, 1025 markings/sec, 170 secs
lola: 182798 markings, 593566 edges, 1042 markings/sec, 175 secs
lola: 187958 markings, 611932 edges, 1032 markings/sec, 180 secs
lola: 193143 markings, 628659 edges, 1037 markings/sec, 185 secs
lola: 198316 markings, 645863 edges, 1035 markings/sec, 190 secs
lola: 203522 markings, 662208 edges, 1041 markings/sec, 195 secs
lola: 208751 markings, 678006 edges, 1046 markings/sec, 200 secs
lola: 213951 markings, 695165 edges, 1040 markings/sec, 205 secs
lola: 219174 markings, 711322 edges, 1045 markings/sec, 210 secs
lola: 224395 markings, 727662 edges, 1044 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: 204832 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__31_34_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__31_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: 150
lola: 2420 markings, 8347 edges, 484 markings/sec, 0 secs
lola: 7459 markings, 26581 edges, 1008 markings/sec, 5 secs
lola: 12500 markings, 44460 edges, 1008 markings/sec, 10 secs
lola: 17500 markings, 61022 edges, 1000 markings/sec, 15 secs
lola: 22558 markings, 77900 edges, 1012 markings/sec, 20 secs
lola: 27602 markings, 95094 edges, 1009 markings/sec, 25 secs
lola: 32673 markings, 111755 edges, 1014 markings/sec, 30 secs
lola: 37736 markings, 128933 edges, 1013 markings/sec, 35 secs
lola: 42765 markings, 147289 edges, 1006 markings/sec, 40 secs
lola: 47814 markings, 164789 edges, 1010 markings/sec, 45 secs
lola: 52849 markings, 183021 edges, 1007 markings/sec, 50 secs
lola: 57886 markings, 201092 edges, 1007 markings/sec, 55 secs
lola: 62949 markings, 218039 edges, 1013 markings/sec, 60 secs
lola: 67987 markings, 236104 edges, 1008 markings/sec, 65 secs
lola: 73032 markings, 253919 edges, 1009 markings/sec, 70 secs
lola: 78092 markings, 271316 edges, 1012 markings/sec, 75 secs
lola: 83133 markings, 289398 edges, 1008 markings/sec, 80 secs
lola: 88190 markings, 306527 edges, 1011 markings/sec, 85 secs
lola: 93236 markings, 323442 edges, 1009 markings/sec, 90 secs
lola: 98285 markings, 340365 edges, 1010 markings/sec, 95 secs
lola: 103309 markings, 358637 edges, 1005 markings/sec, 100 secs
lola: 108315 markings, 377217 edges, 1001 markings/sec, 105 secs
lola: 113345 markings, 395436 edges, 1006 markings/sec, 110 secs
lola: 118367 markings, 413751 edges, 1004 markings/sec, 115 secs
lola: 123389 markings, 431743 edges, 1004 markings/sec, 120 secs
lola: 128418 markings, 449398 edges, 1006 markings/sec, 125 secs
lola: 133432 markings, 467364 edges, 1003 markings/sec, 130 secs
lola: 138483 markings, 483939 edges, 1010 markings/sec, 135 secs
lola: 143515 markings, 501498 edges, 1006 markings/sec, 140 secs
lola: 148544 markings, 519100 edges, 1006 markings/sec, 145 secs
lola: 153558 markings, 537592 edges, 1003 markings/sec, 150 secs
lola: 158597 markings, 554960 edges, 1008 markings/sec, 155 secs
lola: 163687 markings, 571604 edges, 1018 markings/sec, 160 secs
lola: 168754 markings, 589215 edges, 1013 markings/sec, 165 secs
lola: 173794 markings, 608369 edges, 1008 markings/sec, 170 secs
lola: 178833 markings, 627677 edges, 1008 markings/sec, 175 secs
lola: 183899 markings, 645536 edges, 1013 markings/sec, 180 secs
lola: 188957 markings, 663075 edges, 1012 markings/sec, 185 secs
lola: 193921 markings, 679771 edges, 993 markings/sec, 190 secs
lola: 198947 markings, 696139 edges, 1005 markings/sec, 195 secs
lola: 203983 markings, 712451 edges, 1007 markings/sec, 200 secs
lola: 208975 markings, 729240 edges, 998 markings/sec, 205 secs
lola: 213949 markings, 746087 edges, 995 markings/sec, 210 secs
lola: 218924 markings, 762519 edges, 995 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: 198336 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__2_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_15_)
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: 150
lola: 2449 markings, 9050 edges, 490 markings/sec, 0 secs
lola: 7633 markings, 25802 edges, 1037 markings/sec, 5 secs
lola: 12813 markings, 42329 edges, 1036 markings/sec, 10 secs
lola: 18033 markings, 58822 edges, 1044 markings/sec, 15 secs
lola: 23272 markings, 74763 edges, 1048 markings/sec, 20 secs
lola: 28497 markings, 91421 edges, 1045 markings/sec, 25 secs
lola: 33741 markings, 107307 edges, 1049 markings/sec, 30 secs
lola: 38764 markings, 123056 edges, 1005 markings/sec, 35 secs
lola: 43962 markings, 139351 edges, 1040 markings/sec, 40 secs
lola: 49130 markings, 156152 edges, 1034 markings/sec, 45 secs
lola: 54263 markings, 172478 edges, 1027 markings/sec, 50 secs
lola: 59483 markings, 188270 edges, 1044 markings/sec, 55 secs
lola: 64602 markings, 204754 edges, 1024 markings/sec, 60 secs
lola: 69698 markings, 220830 edges, 1019 markings/sec, 65 secs
lola: 74795 markings, 237521 edges, 1019 markings/sec, 70 secs
lola: 79949 markings, 253237 edges, 1031 markings/sec, 75 secs
lola: 85136 markings, 269600 edges, 1037 markings/sec, 80 secs
lola: 90316 markings, 285650 edges, 1036 markings/sec, 85 secs
lola: 95471 markings, 302540 edges, 1031 markings/sec, 90 secs
lola: 100665 markings, 318909 edges, 1039 markings/sec, 95 secs
lola: 105779 markings, 334556 edges, 1023 markings/sec, 100 secs
lola: 110855 markings, 349723 edges, 1015 markings/sec, 105 secs
lola: 116042 markings, 365393 edges, 1037 markings/sec, 110 secs
lola: 121247 markings, 381440 edges, 1041 markings/sec, 115 secs
lola: 126444 markings, 397282 edges, 1039 markings/sec, 120 secs
lola: 131633 markings, 413266 edges, 1038 markings/sec, 125 secs
lola: 136825 markings, 429243 edges, 1038 markings/sec, 130 secs
lola: 141983 markings, 446379 edges, 1032 markings/sec, 135 secs
lola: 147168 markings, 462277 edges, 1037 markings/sec, 140 secs
lola: 152351 markings, 478850 edges, 1037 markings/sec, 145 secs
lola: 157554 markings, 495683 edges, 1041 markings/sec, 150 secs
lola: 162789 markings, 511341 edges, 1047 markings/sec, 155 secs
lola: 167973 markings, 527457 edges, 1037 markings/sec, 160 secs
lola: 173149 markings, 544276 edges, 1035 markings/sec, 165 secs
lola: 178354 markings, 560230 edges, 1041 markings/sec, 170 secs
lola: 183577 markings, 575502 edges, 1045 markings/sec, 175 secs
lola: 188785 markings, 590861 edges, 1042 markings/sec, 180 secs
lola: 193992 markings, 606777 edges, 1041 markings/sec, 185 secs
lola: 199186 markings, 623836 edges, 1039 markings/sec, 190 secs
lola: 204349 markings, 641282 edges, 1033 markings/sec, 195 secs
lola: 209499 markings, 657756 edges, 1030 markings/sec, 200 secs
lola: 214632 markings, 674147 edges, 1027 markings/sec, 205 secs
lola: 219843 markings, 690316 edges, 1042 markings/sec, 210 secs
lola: 225011 markings, 707016 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: 209356 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_12_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__33_12_)
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: 150
lola: 2478 markings, 8825 edges, 496 markings/sec, 0 secs
lola: 7616 markings, 27911 edges, 1028 markings/sec, 5 secs
lola: 12761 markings, 46508 edges, 1029 markings/sec, 10 secs
lola: 17822 markings, 65144 edges, 1012 markings/sec, 15 secs
lola: 23011 markings, 82359 edges, 1038 markings/sec, 20 secs
lola: 28204 markings, 99726 edges, 1039 markings/sec, 25 secs
lola: 33396 markings, 117106 edges, 1038 markings/sec, 30 secs
lola: 38555 markings, 136045 edges, 1032 markings/sec, 35 secs
lola: 43745 markings, 153592 edges, 1038 markings/sec, 40 secs
lola: 48928 markings, 171203 edges, 1037 markings/sec, 45 secs
lola: 54110 markings, 188843 edges, 1036 markings/sec, 50 secs
lola: 59275 markings, 207049 edges, 1033 markings/sec, 55 secs
lola: 64442 markings, 225191 edges, 1033 markings/sec, 60 secs
lola: 69559 markings, 242535 edges, 1023 markings/sec, 65 secs
lola: 74736 markings, 260039 edges, 1035 markings/sec, 70 secs
lola: 79930 markings, 276809 edges, 1039 markings/sec, 75 secs
lola: 85077 markings, 293521 edges, 1029 markings/sec, 80 secs
lola: 90236 markings, 310615 edges, 1032 markings/sec, 85 secs
lola: 95398 markings, 327520 edges, 1032 markings/sec, 90 secs
lola: 100501 markings, 345306 edges, 1021 markings/sec, 95 secs
lola: 105700 markings, 362092 edges, 1040 markings/sec, 100 secs
lola: 110863 markings, 380083 edges, 1033 markings/sec, 105 secs
lola: 116057 markings, 396763 edges, 1039 markings/sec, 110 secs
lola: 121239 markings, 414244 edges, 1036 markings/sec, 115 secs
lola: 126432 markings, 431546 edges, 1039 markings/sec, 120 secs
lola: 131601 markings, 449478 edges, 1034 markings/sec, 125 secs
lola: 136766 markings, 467267 edges, 1033 markings/sec, 130 secs
lola: 141920 markings, 485870 edges, 1031 markings/sec, 135 secs
lola: 147125 markings, 502585 edges, 1041 markings/sec, 140 secs
lola: 152267 markings, 521864 edges, 1028 markings/sec, 145 secs
lola: 157402 markings, 540914 edges, 1027 markings/sec, 150 secs
lola: 162605 markings, 557699 edges, 1041 markings/sec, 155 secs
lola: 167808 markings, 574551 edges, 1041 markings/sec, 160 secs
lola: 173000 markings, 592036 edges, 1038 markings/sec, 165 secs
lola: 178207 markings, 608451 edges, 1041 markings/sec, 170 secs
lola: 183369 markings, 627098 edges, 1032 markings/sec, 175 secs
lola: 188502 markings, 643628 edges, 1027 markings/sec, 180 secs
lola: 193702 markings, 660398 edges, 1040 markings/sec, 185 secs
lola: 198896 markings, 677619 edges, 1039 markings/sec, 190 secs
lola: 204087 markings, 694899 edges, 1038 markings/sec, 195 secs
lola: 209268 markings, 712528 edges, 1036 markings/sec, 200 secs
lola: 214466 markings, 729387 edges, 1040 markings/sec, 205 secs
lola: 219671 markings, 746061 edges, 1041 markings/sec, 210 secs
lola: 224862 markings, 763442 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: 208564 KB
lola: time consumption: 896 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__13_27_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__13_27_)
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: 150
lola: 2470 markings, 7674 edges, 494 markings/sec, 0 secs
lola: 7692 markings, 23871 edges, 1044 markings/sec, 5 secs
lola: 12896 markings, 40684 edges, 1041 markings/sec, 10 secs
lola: 18060 markings, 59413 edges, 1033 markings/sec, 15 secs
lola: 23249 markings, 76685 edges, 1038 markings/sec, 20 secs
lola: 28408 markings, 95419 edges, 1032 markings/sec, 25 secs
lola: 33584 markings, 113333 edges, 1035 markings/sec, 30 secs
lola: 38789 markings, 129808 edges, 1041 markings/sec, 35 secs
lola: 43944 markings, 146516 edges, 1031 markings/sec, 40 secs
lola: 49045 markings, 162482 edges, 1020 markings/sec, 45 secs
lola: 54084 markings, 178876 edges, 1008 markings/sec, 50 secs
lola: 59286 markings, 196012 edges, 1040 markings/sec, 55 secs
lola: 64415 markings, 213119 edges, 1026 markings/sec, 60 secs
lola: 69590 markings, 230079 edges, 1035 markings/sec, 65 secs
lola: 74724 markings, 246442 edges, 1027 markings/sec, 70 secs
lola: 79910 markings, 263448 edges, 1037 markings/sec, 75 secs
lola: 85061 markings, 281983 edges, 1030 markings/sec, 80 secs
lola: 90217 markings, 298052 edges, 1031 markings/sec, 85 secs
lola: 95435 markings, 314001 edges, 1044 markings/sec, 90 secs
lola: 100626 markings, 330502 edges, 1038 markings/sec, 95 secs
lola: 105792 markings, 346817 edges, 1033 markings/sec, 100 secs
lola: 110999 markings, 363251 edges, 1041 markings/sec, 105 secs
lola: 116213 markings, 379610 edges, 1043 markings/sec, 110 secs
lola: 121366 markings, 395356 edges, 1031 markings/sec, 115 secs
lola: 126473 markings, 411056 edges, 1021 markings/sec, 120 secs
lola: 131671 markings, 427187 edges, 1040 markings/sec, 125 secs
lola: 136857 markings, 443342 edges, 1037 markings/sec, 130 secs
lola: 142062 markings, 459772 edges, 1041 markings/sec, 135 secs
lola: 147242 markings, 476320 edges, 1036 markings/sec, 140 secs
lola: 152325 markings, 491862 edges, 1017 markings/sec, 145 secs
lola: 157454 markings, 508732 edges, 1026 markings/sec, 150 secs
lola: 162619 markings, 525890 edges, 1033 markings/sec, 155 secs
lola: 167785 markings, 542190 edges, 1033 markings/sec, 160 secs
lola: 172951 markings, 559155 edges, 1033 markings/sec, 165 secs
lola: 178136 markings, 575084 edges, 1037 markings/sec, 170 secs
lola: 183308 markings, 591776 edges, 1034 markings/sec, 175 secs
lola: 188407 markings, 609786 edges, 1020 markings/sec, 180 secs
lola: 193621 markings, 626297 edges, 1043 markings/sec, 185 secs
lola: 198842 markings, 642753 edges, 1044 markings/sec, 190 secs
lola: 204001 markings, 659168 edges, 1032 markings/sec, 195 secs
lola: 209227 markings, 675157 edges, 1045 markings/sec, 200 secs
lola: 214345 markings, 690752 edges, 1024 markings/sec, 205 secs
lola: 219462 markings, 706636 edges, 1023 markings/sec, 210 secs
lola: 224527 markings, 723279 edges, 1013 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: 203368 KB
lola: time consumption: 1118 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 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_24_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_24_)
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: 150
lola: 2472 markings, 8744 edges, 494 markings/sec, 0 secs
lola: 7649 markings, 25787 edges, 1035 markings/sec, 5 secs
lola: 12836 markings, 42873 edges, 1037 markings/sec, 10 secs
lola: 18045 markings, 59513 edges, 1042 markings/sec, 15 secs
lola: 23231 markings, 76460 edges, 1037 markings/sec, 20 secs
lola: 28377 markings, 93363 edges, 1029 markings/sec, 25 secs
lola: 33624 markings, 110825 edges, 1049 markings/sec, 30 secs
lola: 38871 markings, 128013 edges, 1049 markings/sec, 35 secs
lola: 44118 markings, 145471 edges, 1049 markings/sec, 40 secs
lola: 49382 markings, 162986 edges, 1053 markings/sec, 45 secs
lola: 54639 markings, 180067 edges, 1051 markings/sec, 50 secs
lola: 59889 markings, 197124 edges, 1050 markings/sec, 55 secs
lola: 65163 markings, 214068 edges, 1055 markings/sec, 60 secs
lola: 70342 markings, 231474 edges, 1036 markings/sec, 65 secs
lola: 75509 markings, 248280 edges, 1033 markings/sec, 70 secs
lola: 80637 markings, 265212 edges, 1026 markings/sec, 75 secs
lola: 85765 markings, 282444 edges, 1026 markings/sec, 80 secs
lola: 90988 markings, 299216 edges, 1045 markings/sec, 85 secs
lola: 96218 markings, 316296 edges, 1046 markings/sec, 90 secs
lola: 101458 markings, 333402 edges, 1048 markings/sec, 95 secs
lola: 106586 markings, 350313 edges, 1026 markings/sec, 100 secs
lola: 111824 markings, 367941 edges, 1048 markings/sec, 105 secs
lola: 117091 markings, 384920 edges, 1053 markings/sec, 110 secs
lola: 122349 markings, 402508 edges, 1052 markings/sec, 115 secs
lola: 127569 markings, 419107 edges, 1044 markings/sec, 120 secs
lola: 132816 markings, 435635 edges, 1049 markings/sec, 125 secs
lola: 138060 markings, 452330 edges, 1049 markings/sec, 130 secs
lola: 143285 markings, 470225 edges, 1045 markings/sec, 135 secs
lola: 148531 markings, 486914 edges, 1049 markings/sec, 140 secs
lola: 153763 markings, 503925 edges, 1046 markings/sec, 145 secs
lola: 158992 markings, 521314 edges, 1046 markings/sec, 150 secs
lola: 164218 markings, 538080 edges, 1045 markings/sec, 155 secs
lola: 169409 markings, 554828 edges, 1038 markings/sec, 160 secs
lola: 174604 markings, 571687 edges, 1039 markings/sec, 165 secs
lola: 179845 markings, 589141 edges, 1048 markings/sec, 170 secs
lola: 185065 markings, 606302 edges, 1044 markings/sec, 175 secs
lola: 190325 markings, 623191 edges, 1052 markings/sec, 180 secs
lola: 195575 markings, 640555 edges, 1050 markings/sec, 185 secs
lola: 200834 markings, 657239 edges, 1052 markings/sec, 190 secs
lola: 206073 markings, 674989 edges, 1048 markings/sec, 195 secs
lola: 211339 markings, 692000 edges, 1053 markings/sec, 200 secs
lola: 216590 markings, 709191 edges, 1050 markings/sec, 205 secs
lola: 221852 markings, 726108 edges, 1052 markings/sec, 210 secs
lola: 227026 markings, 743476 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: 205748 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__38_35_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__38_35_)
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: 150
lola: 2480 markings, 8360 edges, 496 markings/sec, 0 secs
lola: 7724 markings, 26353 edges, 1049 markings/sec, 5 secs
lola: 12826 markings, 43917 edges, 1020 markings/sec, 10 secs
lola: 18051 markings, 61173 edges, 1045 markings/sec, 15 secs
lola: 23275 markings, 78651 edges, 1045 markings/sec, 20 secs
lola: 28365 markings, 97228 edges, 1018 markings/sec, 25 secs
lola: 33633 markings, 115980 edges, 1054 markings/sec, 30 secs
lola: 38927 markings, 133855 edges, 1059 markings/sec, 35 secs
lola: 44213 markings, 152393 edges, 1057 markings/sec, 40 secs
lola: 49472 markings, 171827 edges, 1052 markings/sec, 45 secs
lola: 54768 markings, 189253 edges, 1059 markings/sec, 50 secs
lola: 60027 markings, 208071 edges, 1052 markings/sec, 55 secs
lola: 65269 markings, 227367 edges, 1048 markings/sec, 60 secs
lola: 70537 markings, 246037 edges, 1054 markings/sec, 65 secs
lola: 75805 markings, 264622 edges, 1054 markings/sec, 70 secs
lola: 80959 markings, 282752 edges, 1031 markings/sec, 75 secs
lola: 86199 markings, 301873 edges, 1048 markings/sec, 80 secs
lola: 91439 markings, 320817 edges, 1048 markings/sec, 85 secs
lola: 96691 markings, 338789 edges, 1050 markings/sec, 90 secs
lola: 101974 markings, 355598 edges, 1057 markings/sec, 95 secs
lola: 107278 markings, 372229 edges, 1061 markings/sec, 100 secs
lola: 112602 markings, 388832 edges, 1065 markings/sec, 105 secs
lola: 117896 markings, 406777 edges, 1059 markings/sec, 110 secs
lola: 123196 markings, 424636 edges, 1060 markings/sec, 115 secs
lola: 128469 markings, 444020 edges, 1055 markings/sec, 120 secs
lola: 133675 markings, 460293 edges, 1041 markings/sec, 125 secs
lola: 138962 markings, 477818 edges, 1057 markings/sec, 130 secs
lola: 144264 markings, 494363 edges, 1060 markings/sec, 135 secs
lola: 149555 markings, 510081 edges, 1058 markings/sec, 140 secs
lola: 154767 markings, 526459 edges, 1042 markings/sec, 145 secs
lola: 160031 markings, 542155 edges, 1053 markings/sec, 150 secs
lola: 165302 markings, 559150 edges, 1054 markings/sec, 155 secs
lola: 170583 markings, 576954 edges, 1056 markings/sec, 160 secs
lola: 175866 markings, 594560 edges, 1057 markings/sec, 165 secs
lola: 181173 markings, 611358 edges, 1061 markings/sec, 170 secs
lola: 186463 markings, 628461 edges, 1058 markings/sec, 175 secs
lola: 191763 markings, 645008 edges, 1060 markings/sec, 180 secs
lola: 197026 markings, 663457 edges, 1053 markings/sec, 185 secs
lola: 202297 markings, 681263 edges, 1054 markings/sec, 190 secs
lola: 207582 markings, 697933 edges, 1057 markings/sec, 195 secs
lola: 212880 markings, 714363 edges, 1060 markings/sec, 200 secs
lola: 218203 markings, 730650 edges, 1065 markings/sec, 205 secs
lola: 223526 markings, 747216 edges, 1065 markings/sec, 210 secs
lola: 228818 markings, 765165 edges, 1058 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: 206152 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__19_22_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__19_22_)
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: 150
lola: SUBRESULT
lola: result: 150
lola: produced by: state space
lola: The maximum value of the given expression is 150
lola: 301 markings, 449 edges
lola: ========================================
lola: subprocess 8 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__26_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__26_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: 150
lola: 2377 markings, 8070 edges, 475 markings/sec, 0 secs
lola: 7494 markings, 25571 edges, 1023 markings/sec, 5 secs
lola: 12631 markings, 41995 edges, 1027 markings/sec, 10 secs
lola: 17768 markings, 58214 edges, 1027 markings/sec, 15 secs
lola: 22872 markings, 75372 edges, 1021 markings/sec, 20 secs
lola: 28002 markings, 91789 edges, 1026 markings/sec, 25 secs
lola: 33123 markings, 108228 edges, 1024 markings/sec, 30 secs
lola: 38185 markings, 127413 edges, 1012 markings/sec, 35 secs
lola: 43277 markings, 145257 edges, 1018 markings/sec, 40 secs
lola: 48399 markings, 161981 edges, 1024 markings/sec, 45 secs
lola: 53529 markings, 178331 edges, 1026 markings/sec, 50 secs
lola: 58682 markings, 194173 edges, 1031 markings/sec, 55 secs
lola: 63810 markings, 210643 edges, 1026 markings/sec, 60 secs
lola: 68937 markings, 226613 edges, 1025 markings/sec, 65 secs
lola: 74065 markings, 243396 edges, 1026 markings/sec, 70 secs
lola: 79185 markings, 260459 edges, 1024 markings/sec, 75 secs
lola: 84303 markings, 277298 edges, 1024 markings/sec, 80 secs
lola: 89435 markings, 293883 edges, 1026 markings/sec, 85 secs
lola: 94518 markings, 310307 edges, 1017 markings/sec, 90 secs
lola: 99641 markings, 328506 edges, 1025 markings/sec, 95 secs
lola: 104805 markings, 344484 edges, 1033 markings/sec, 100 secs
lola: 109927 markings, 362429 edges, 1024 markings/sec, 105 secs
lola: 115055 markings, 379124 edges, 1026 markings/sec, 110 secs
lola: 120191 markings, 395443 edges, 1027 markings/sec, 115 secs
lola: 125312 markings, 411966 edges, 1024 markings/sec, 120 secs
lola: 130448 markings, 428360 edges, 1027 markings/sec, 125 secs
lola: 135579 markings, 445056 edges, 1026 markings/sec, 130 secs
lola: 140684 markings, 462147 edges, 1021 markings/sec, 135 secs
lola: 145818 markings, 478702 edges, 1027 markings/sec, 140 secs
lola: 150948 markings, 495523 edges, 1026 markings/sec, 145 secs
lola: 156076 markings, 511845 edges, 1026 markings/sec, 150 secs
lola: 161179 markings, 527800 edges, 1021 markings/sec, 155 secs
lola: 166278 markings, 544082 edges, 1020 markings/sec, 160 secs
lola: 171380 markings, 560084 edges, 1020 markings/sec, 165 secs
lola: 176468 markings, 576556 edges, 1018 markings/sec, 170 secs
lola: 181569 markings, 593015 edges, 1020 markings/sec, 175 secs
lola: 186654 markings, 609620 edges, 1017 markings/sec, 180 secs
lola: 191740 markings, 626437 edges, 1017 markings/sec, 185 secs
lola: 196820 markings, 642958 edges, 1016 markings/sec, 190 secs
lola: 201864 markings, 661035 edges, 1009 markings/sec, 195 secs
lola: 206955 markings, 677453 edges, 1018 markings/sec, 200 secs
lola: 212060 markings, 693689 edges, 1021 markings/sec, 205 secs
lola: 217166 markings, 709949 edges, 1021 markings/sec, 210 secs
lola: 222254 markings, 726822 edges, 1018 markings/sec, 215 secs
lola: 227354 markings, 743426 edges, 1020 markings/sec, 220 secs
lola: 232462 markings, 759898 edges, 1022 markings/sec, 225 secs
lola: 237578 markings, 776267 edges, 1023 markings/sec, 230 secs
lola: 242695 markings, 792425 edges, 1023 markings/sec, 235 secs
lola: 247853 markings, 808287 edges, 1032 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 209316 KB
lola: time consumption: 1816 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 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__26_25_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__26_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: 150
lola: 2361 markings, 6395 edges, 472 markings/sec, 0 secs
lola: 7426 markings, 21760 edges, 1013 markings/sec, 5 secs
lola: 12462 markings, 38296 edges, 1007 markings/sec, 10 secs
lola: 17459 markings, 55031 edges, 999 markings/sec, 15 secs
lola: 22402 markings, 71412 edges, 989 markings/sec, 20 secs
lola: 27463 markings, 88068 edges, 1012 markings/sec, 25 secs
lola: 32567 markings, 105034 edges, 1021 markings/sec, 30 secs
lola: 37665 markings, 121941 edges, 1020 markings/sec, 35 secs
lola: 42773 markings, 138784 edges, 1022 markings/sec, 40 secs
lola: 47883 markings, 155942 edges, 1022 markings/sec, 45 secs
lola: 52992 markings, 172841 edges, 1022 markings/sec, 50 secs
lola: 58102 markings, 189702 edges, 1022 markings/sec, 55 secs
lola: 63203 markings, 206789 edges, 1020 markings/sec, 60 secs
lola: 68311 markings, 223489 edges, 1022 markings/sec, 65 secs
lola: 73411 markings, 240629 edges, 1020 markings/sec, 70 secs
lola: 78520 markings, 257577 edges, 1022 markings/sec, 75 secs
lola: 83630 markings, 274179 edges, 1022 markings/sec, 80 secs
lola: 88729 markings, 291351 edges, 1020 markings/sec, 85 secs
lola: 93830 markings, 308417 edges, 1020 markings/sec, 90 secs
lola: 98945 markings, 325027 edges, 1023 markings/sec, 95 secs
lola: 104045 markings, 342123 edges, 1020 markings/sec, 100 secs
lola: 109145 markings, 359312 edges, 1020 markings/sec, 105 secs
lola: 114260 markings, 375849 edges, 1023 markings/sec, 110 secs
lola: 119367 markings, 392855 edges, 1021 markings/sec, 115 secs
lola: 124464 markings, 410029 edges, 1019 markings/sec, 120 secs
lola: 129582 markings, 426559 edges, 1024 markings/sec, 125 secs
lola: 134667 markings, 443529 edges, 1017 markings/sec, 130 secs
lola: 139736 markings, 460761 edges, 1014 markings/sec, 135 secs
lola: 144818 markings, 477097 edges, 1016 markings/sec, 140 secs
lola: 149895 markings, 494059 edges, 1015 markings/sec, 145 secs
lola: 154957 markings, 511002 edges, 1012 markings/sec, 150 secs
lola: 160030 markings, 527522 edges, 1015 markings/sec, 155 secs
lola: 165101 markings, 544500 edges, 1014 markings/sec, 160 secs
lola: 170165 markings, 561277 edges, 1013 markings/sec, 165 secs
lola: 175188 markings, 577828 edges, 1005 markings/sec, 170 secs
lola: 180202 markings, 594564 edges, 1003 markings/sec, 175 secs
lola: 185302 markings, 611393 edges, 1020 markings/sec, 180 secs
lola: 190395 markings, 628254 edges, 1019 markings/sec, 185 secs
lola: 195420 markings, 644937 edges, 1005 markings/sec, 190 secs
lola: 200492 markings, 661737 edges, 1014 markings/sec, 195 secs
lola: 205568 markings, 678489 edges, 1015 markings/sec, 200 secs
lola: 210643 markings, 695510 edges, 1015 markings/sec, 205 secs
lola: 215721 markings, 712312 edges, 1016 markings/sec, 210 secs
lola: 220799 markings, 729087 edges, 1016 markings/sec, 215 secs
lola: 225876 markings, 746057 edges, 1015 markings/sec, 220 secs
lola: 230954 markings, 762700 edges, 1016 markings/sec, 225 secs
lola: 236020 markings, 779687 edges, 1013 markings/sec, 230 secs
lola: 241092 markings, 796469 edges, 1014 markings/sec, 235 secs
lola: 246166 markings, 813119 edges, 1015 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 212904 KB
lola: caught signal User defined signal 2 - aborting LoLA
lola: time consumption: 2066 seconds
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown
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 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__22_40_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__22_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: 150
lola: 2276 markings, 7895 edges, 455 markings/sec, 0 secs
lola: 7143 markings, 23577 edges, 973 markings/sec, 5 secs
lola: 12092 markings, 39756 edges, 990 markings/sec, 10 secs
lola: 16920 markings, 55336 edges, 966 markings/sec, 15 secs
lola: 21892 markings, 71323 edges, 994 markings/sec, 20 secs
lola: 26884 markings, 85893 edges, 998 markings/sec, 25 secs
lola: 31858 markings, 101017 edges, 995 markings/sec, 30 secs
lola: 36788 markings, 115357 edges, 986 markings/sec, 35 secs
lola: 41654 markings, 130646 edges, 973 markings/sec, 40 secs
lola: 46649 markings, 146118 edges, 999 markings/sec, 45 secs
lola: 51634 markings, 162031 edges, 997 markings/sec, 50 secs
lola: 56639 markings, 177139 edges, 1001 markings/sec, 55 secs
lola: 61634 markings, 191577 edges, 999 markings/sec, 60 secs
lola: 66656 markings, 206017 edges, 1004 markings/sec, 65 secs
lola: 71635 markings, 221967 edges, 996 markings/sec, 70 secs
lola: 76613 markings, 236830 edges, 996 markings/sec, 75 secs
lola: 81625 markings, 252024 edges, 1002 markings/sec, 80 secs
lola: 86598 markings, 266837 edges, 995 markings/sec, 85 secs
lola: 91589 markings, 282760 edges, 998 markings/sec, 90 secs
lola: 96585 markings, 298325 edges, 999 markings/sec, 95 secs
lola: 101522 markings, 312989 edges, 987 markings/sec, 100 secs
lola: 106465 markings, 328796 edges, 989 markings/sec, 105 secs
lola: 111465 markings, 343591 edges, 1000 markings/sec, 110 secs
lola: 116446 markings, 359284 edges, 996 markings/sec, 115 secs
lola: 121395 markings, 374883 edges, 990 markings/sec, 120 secs
lola: 126411 markings, 390803 edges, 1003 markings/sec, 125 secs
lola: 131299 markings, 405427 edges, 978 markings/sec, 130 secs
lola: 136200 markings, 420624 edges, 980 markings/sec, 135 secs
lola: 141025 markings, 435747 edges, 965 markings/sec, 140 secs
lola: 145909 markings, 452151 edges, 977 markings/sec, 145 secs
lola: 150832 markings, 466748 edges, 985 markings/sec, 150 secs
lola: 155904 markings, 480958 edges, 1014 markings/sec, 155 secs
lola: 160964 markings, 496874 edges, 1012 markings/sec, 160 secs
lola: 166023 markings, 511874 edges, 1012 markings/sec, 165 secs
lola: 171055 markings, 526507 edges, 1006 markings/sec, 170 secs
lola: 175940 markings, 541153 edges, 977 markings/sec, 175 secs
lola: 180910 markings, 556140 edges, 994 markings/sec, 180 secs
lola: 185877 markings, 572520 edges, 993 markings/sec, 185 secs
lola: 190902 markings, 587137 edges, 1005 markings/sec, 190 secs
lola: 195894 markings, 603115 edges, 998 markings/sec, 195 secs
lola: 200926 markings, 617588 edges, 1006 markings/sec, 200 secs
lola: 205874 markings, 631465 edges, 990 markings/sec, 205 secs
lola: 210756 markings, 644418 edges, 976 markings/sec, 210 secs
lola: 215803 markings, 657997 edges, 1009 markings/sec, 215 secs
lola: 220817 markings, 671137 edges, 1003 markings/sec, 220 secs
lola: 225780 markings, 684636 edges, 993 markings/sec, 225 secs
lola: 230700 markings, 698881 edges, 984 markings/sec, 230 secs
lola: 235741 markings, 714063 edges, 1008 markings/sec, 235 secs
lola: 240773 markings, 728981 edges, 1006 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 214316 KB
lola: time consumption: 2316 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 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_36_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_36_)
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: 150
lola: 2427 markings, 8327 edges, 485 markings/sec, 0 secs
lola: 7604 markings, 26802 edges, 1035 markings/sec, 5 secs
lola: 12778 markings, 45439 edges, 1035 markings/sec, 10 secs
lola: 17969 markings, 62967 edges, 1038 markings/sec, 15 secs
lola: 23113 markings, 82451 edges, 1029 markings/sec, 20 secs
lola: 28255 markings, 101770 edges, 1028 markings/sec, 25 secs
lola: 33327 markings, 121883 edges, 1014 markings/sec, 30 secs
lola: 38510 markings, 139887 edges, 1037 markings/sec, 35 secs
lola: 43683 markings, 159002 edges, 1035 markings/sec, 40 secs
lola: 48798 markings, 179062 edges, 1023 markings/sec, 45 secs
lola: 53924 markings, 197178 edges, 1025 markings/sec, 50 secs
lola: 59073 markings, 217077 edges, 1030 markings/sec, 55 secs
lola: 64237 markings, 235565 edges, 1033 markings/sec, 60 secs
lola: 69394 markings, 254467 edges, 1031 markings/sec, 65 secs
lola: 74503 markings, 274057 edges, 1022 markings/sec, 70 secs
lola: 79646 markings, 293235 edges, 1029 markings/sec, 75 secs
lola: 84666 markings, 310897 edges, 1004 markings/sec, 80 secs
lola: 89799 markings, 329413 edges, 1027 markings/sec, 85 secs
lola: 94898 markings, 349102 edges, 1020 markings/sec, 90 secs
lola: 100015 markings, 368120 edges, 1023 markings/sec, 95 secs
lola: 105173 markings, 385385 edges, 1032 markings/sec, 100 secs
lola: 110279 markings, 404637 edges, 1021 markings/sec, 105 secs
lola: 115364 markings, 424745 edges, 1017 markings/sec, 110 secs
lola: 120449 markings, 444988 edges, 1017 markings/sec, 115 secs
lola: 125527 markings, 464838 edges, 1016 markings/sec, 120 secs
lola: 130648 markings, 483482 edges, 1024 markings/sec, 125 secs
lola: 135736 markings, 502564 edges, 1018 markings/sec, 130 secs
lola: 140802 markings, 522175 edges, 1013 markings/sec, 135 secs
lola: 145881 markings, 540145 edges, 1016 markings/sec, 140 secs
lola: 150747 markings, 557197 edges, 973 markings/sec, 145 secs
lola: 155749 markings, 575786 edges, 1000 markings/sec, 150 secs
lola: 160841 markings, 595646 edges, 1018 markings/sec, 155 secs
lola: 165956 markings, 614661 edges, 1023 markings/sec, 160 secs
lola: 171054 markings, 634657 edges, 1020 markings/sec, 165 secs
lola: 176197 markings, 654029 edges, 1029 markings/sec, 170 secs
lola: 181330 markings, 673932 edges, 1027 markings/sec, 175 secs
lola: 186535 markings, 691694 edges, 1041 markings/sec, 180 secs
lola: 191706 markings, 710828 edges, 1034 markings/sec, 185 secs
lola: 196830 markings, 732018 edges, 1025 markings/sec, 190 secs
lola: 202002 markings, 750616 edges, 1034 markings/sec, 195 secs
lola: 207155 markings, 770028 edges, 1031 markings/sec, 200 secs
lola: 212328 markings, 788383 edges, 1035 markings/sec, 205 secs
lola: 217469 markings, 807468 edges, 1028 markings/sec, 210 secs
lola: 222607 markings, 826503 edges, 1028 markings/sec, 215 secs
lola: 227782 markings, 844375 edges, 1035 markings/sec, 220 secs
lola: 232925 markings, 863680 edges, 1029 markings/sec, 225 secs
lola: 238060 markings, 883114 edges, 1027 markings/sec, 230 secs
lola: 243191 markings, 902718 edges, 1026 markings/sec, 235 secs
lola: 248310 markings, 922527 edges, 1024 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 218180 KB
lola: time consumption: 2566 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 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__11_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_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: 150
lola: 2204 markings, 7516 edges, 441 markings/sec, 0 secs
lola: 7347 markings, 25864 edges, 1029 markings/sec, 5 secs
lola: 12494 markings, 43888 edges, 1029 markings/sec, 10 secs
lola: 17647 markings, 62156 edges, 1031 markings/sec, 15 secs
lola: 22803 markings, 80066 edges, 1031 markings/sec, 20 secs
lola: 27954 markings, 98534 edges, 1030 markings/sec, 25 secs
lola: 33119 markings, 115654 edges, 1033 markings/sec, 30 secs
lola: 38266 markings, 134276 edges, 1029 markings/sec, 35 secs
lola: 43376 markings, 152150 edges, 1022 markings/sec, 40 secs
lola: 48490 markings, 170097 edges, 1023 markings/sec, 45 secs
lola: 53605 markings, 188365 edges, 1023 markings/sec, 50 secs
lola: 58695 markings, 205505 edges, 1018 markings/sec, 55 secs
lola: 63826 markings, 223301 edges, 1026 markings/sec, 60 secs
lola: 68934 markings, 241773 edges, 1022 markings/sec, 65 secs
lola: 74044 markings, 260478 edges, 1022 markings/sec, 70 secs
lola: 79168 markings, 278622 edges, 1025 markings/sec, 75 secs
lola: 84090 markings, 296278 edges, 984 markings/sec, 80 secs
lola: 89129 markings, 313512 edges, 1008 markings/sec, 85 secs
lola: 94157 markings, 331832 edges, 1006 markings/sec, 90 secs
lola: 99305 markings, 349627 edges, 1030 markings/sec, 95 secs
lola: 104434 markings, 367864 edges, 1026 markings/sec, 100 secs
lola: 109533 markings, 385167 edges, 1020 markings/sec, 105 secs
lola: 114692 markings, 402862 edges, 1032 markings/sec, 110 secs
lola: 119853 markings, 420863 edges, 1032 markings/sec, 115 secs
lola: 124983 markings, 439129 edges, 1026 markings/sec, 120 secs
lola: 130113 markings, 456524 edges, 1026 markings/sec, 125 secs
lola: 135245 markings, 474474 edges, 1026 markings/sec, 130 secs
lola: 140374 markings, 492525 edges, 1026 markings/sec, 135 secs
lola: 145483 markings, 510621 edges, 1022 markings/sec, 140 secs
lola: 150597 markings, 529025 edges, 1023 markings/sec, 145 secs
lola: 155702 markings, 548452 edges, 1021 markings/sec, 150 secs
lola: 160845 markings, 567138 edges, 1029 markings/sec, 155 secs
lola: 165996 markings, 584697 edges, 1030 markings/sec, 160 secs
lola: 171121 markings, 602850 edges, 1025 markings/sec, 165 secs
lola: 176265 markings, 620994 edges, 1029 markings/sec, 170 secs
lola: 181419 markings, 638910 edges, 1031 markings/sec, 175 secs
lola: 186598 markings, 656675 edges, 1036 markings/sec, 180 secs
lola: 191779 markings, 674434 edges, 1036 markings/sec, 185 secs
lola: 196940 markings, 692875 edges, 1032 markings/sec, 190 secs
lola: 202082 markings, 712250 edges, 1028 markings/sec, 195 secs
lola: 207226 markings, 730532 edges, 1029 markings/sec, 200 secs
lola: 212366 markings, 748361 edges, 1028 markings/sec, 205 secs
lola: 217414 markings, 765948 edges, 1010 markings/sec, 210 secs
lola: 222471 markings, 784224 edges, 1011 markings/sec, 215 secs
lola: 227591 markings, 801422 edges, 1024 markings/sec, 220 secs
lola: 232706 markings, 819613 edges, 1023 markings/sec, 225 secs
lola: 237846 markings, 836527 edges, 1028 markings/sec, 230 secs
lola: 242985 markings, 854626 edges, 1028 markings/sec, 235 secs
lola: 248113 markings, 872307 edges, 1026 markings/sec, 240 secs
lola: 253212 markings, 891169 edges, 1020 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 235716 KB
lola: time consumption: 2817 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 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__25_36_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__25_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: 150
lola: 2360 markings, 8188 edges, 472 markings/sec, 0 secs
lola: 7339 markings, 26152 edges, 996 markings/sec, 5 secs
lola: 12290 markings, 44206 edges, 990 markings/sec, 10 secs
lola: 17316 markings, 62463 edges, 1005 markings/sec, 15 secs
lola: 22322 markings, 79928 edges, 1001 markings/sec, 20 secs
lola: 27308 markings, 97479 edges, 997 markings/sec, 25 secs
lola: 32256 markings, 115393 edges, 990 markings/sec, 30 secs
lola: 37275 markings, 133249 edges, 1004 markings/sec, 35 secs
lola: 42281 markings, 151985 edges, 1001 markings/sec, 40 secs
lola: 47289 markings, 170247 edges, 1002 markings/sec, 45 secs
lola: 52296 markings, 188329 edges, 1001 markings/sec, 50 secs
lola: 57299 markings, 206977 edges, 1001 markings/sec, 55 secs
lola: 62328 markings, 225180 edges, 1006 markings/sec, 60 secs
lola: 67296 markings, 242462 edges, 994 markings/sec, 65 secs
lola: 72197 markings, 260520 edges, 980 markings/sec, 70 secs
lola: 77250 markings, 278131 edges, 1011 markings/sec, 75 secs
lola: 82275 markings, 297004 edges, 1005 markings/sec, 80 secs
lola: 87316 markings, 315084 edges, 1008 markings/sec, 85 secs
lola: 92354 markings, 333180 edges, 1008 markings/sec, 90 secs
lola: 97413 markings, 351146 edges, 1012 markings/sec, 95 secs
lola: 102464 markings, 368921 edges, 1010 markings/sec, 100 secs
lola: 107504 markings, 386851 edges, 1008 markings/sec, 105 secs
lola: 112466 markings, 405570 edges, 992 markings/sec, 110 secs
lola: 117486 markings, 423545 edges, 1004 markings/sec, 115 secs
lola: 122509 markings, 441586 edges, 1005 markings/sec, 120 secs
lola: 127551 markings, 459317 edges, 1008 markings/sec, 125 secs
lola: 132584 markings, 476340 edges, 1007 markings/sec, 130 secs
lola: 137557 markings, 494769 edges, 995 markings/sec, 135 secs
lola: 142570 markings, 511983 edges, 1003 markings/sec, 140 secs
lola: 147577 markings, 529328 edges, 1001 markings/sec, 145 secs
lola: 152593 markings, 546439 edges, 1003 markings/sec, 150 secs
lola: 157623 markings, 563285 edges, 1006 markings/sec, 155 secs
lola: 162601 markings, 582235 edges, 996 markings/sec, 160 secs
lola: 167591 markings, 600746 edges, 998 markings/sec, 165 secs
lola: 172605 markings, 618138 edges, 1003 markings/sec, 170 secs
lola: 177586 markings, 635177 edges, 996 markings/sec, 175 secs
lola: 182471 markings, 652783 edges, 977 markings/sec, 180 secs
lola: 187447 markings, 669967 edges, 995 markings/sec, 185 secs
lola: 192399 markings, 687026 edges, 990 markings/sec, 190 secs
lola: 197265 markings, 704723 edges, 973 markings/sec, 195 secs
lola: 202225 markings, 721868 edges, 992 markings/sec, 200 secs
lola: 207145 markings, 741059 edges, 984 markings/sec, 205 secs
lola: 212085 markings, 759936 edges, 988 markings/sec, 210 secs
lola: 217063 markings, 776890 edges, 996 markings/sec, 215 secs
lola: 222014 markings, 795431 edges, 990 markings/sec, 220 secs
lola: 226966 markings, 812472 edges, 990 markings/sec, 225 secs
lola: 231906 markings, 829925 edges, 988 markings/sec, 230 secs
lola: 236852 markings, 847811 edges, 989 markings/sec, 235 secs
lola: 241815 markings, 866150 edges, 993 markings/sec, 240 secs
lola: 246787 markings, 883215 edges, 994 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 216388 KB
lola: time consumption: 3068 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 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__11_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_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: 150
lola: 2253 markings, 7975 edges, 451 markings/sec, 0 secs
lola: 7276 markings, 26477 edges, 1005 markings/sec, 5 secs
lola: 12315 markings, 43969 edges, 1008 markings/sec, 10 secs
lola: 17373 markings, 60236 edges, 1012 markings/sec, 15 secs
lola: 22388 markings, 78243 edges, 1003 markings/sec, 20 secs
lola: 27423 markings, 95376 edges, 1007 markings/sec, 25 secs
lola: 32397 markings, 112584 edges, 995 markings/sec, 30 secs
lola: 37418 markings, 129878 edges, 1004 markings/sec, 35 secs
lola: 42419 markings, 146222 edges, 1000 markings/sec, 40 secs
lola: 47398 markings, 163717 edges, 996 markings/sec, 45 secs
lola: 52470 markings, 180466 edges, 1014 markings/sec, 50 secs
lola: 57517 markings, 198199 edges, 1009 markings/sec, 55 secs
lola: 62477 markings, 216027 edges, 992 markings/sec, 60 secs
lola: 67470 markings, 233718 edges, 999 markings/sec, 65 secs
lola: 72459 markings, 250893 edges, 998 markings/sec, 70 secs
lola: 77356 markings, 267967 edges, 979 markings/sec, 75 secs
lola: 82253 markings, 284714 edges, 979 markings/sec, 80 secs
lola: 87190 markings, 300498 edges, 987 markings/sec, 85 secs
lola: 92151 markings, 317539 edges, 992 markings/sec, 90 secs
lola: 97165 markings, 333602 edges, 1003 markings/sec, 95 secs
lola: 102245 markings, 350208 edges, 1016 markings/sec, 100 secs
lola: 107324 markings, 366204 edges, 1016 markings/sec, 105 secs
lola: 112399 markings, 382771 edges, 1015 markings/sec, 110 secs
lola: 117497 markings, 398830 edges, 1020 markings/sec, 115 secs
lola: 122546 markings, 416476 edges, 1010 markings/sec, 120 secs
lola: 127628 markings, 432618 edges, 1016 markings/sec, 125 secs
lola: 132712 markings, 450224 edges, 1017 markings/sec, 130 secs
lola: 137833 markings, 466178 edges, 1024 markings/sec, 135 secs
lola: 142944 markings, 483060 edges, 1022 markings/sec, 140 secs
lola: 148037 markings, 499948 edges, 1019 markings/sec, 145 secs
lola: 153117 markings, 516356 edges, 1016 markings/sec, 150 secs
lola: 158153 markings, 535112 edges, 1007 markings/sec, 155 secs
lola: 163199 markings, 553047 edges, 1009 markings/sec, 160 secs
lola: 168231 markings, 570227 edges, 1006 markings/sec, 165 secs
lola: 173340 markings, 586225 edges, 1022 markings/sec, 170 secs
lola: 178445 markings, 602338 edges, 1021 markings/sec, 175 secs
lola: 183558 markings, 618408 edges, 1023 markings/sec, 180 secs
lola: 188640 markings, 635585 edges, 1016 markings/sec, 185 secs
lola: 193748 markings, 651709 edges, 1022 markings/sec, 190 secs
lola: 198837 markings, 668701 edges, 1018 markings/sec, 195 secs
lola: 203938 markings, 685750 edges, 1020 markings/sec, 200 secs
lola: 209036 markings, 703010 edges, 1020 markings/sec, 205 secs
lola: 214159 markings, 719543 edges, 1025 markings/sec, 210 secs
lola: 219250 markings, 736980 edges, 1018 markings/sec, 215 secs
lola: 224342 markings, 754374 edges, 1018 markings/sec, 220 secs
lola: 229451 markings, 770738 edges, 1022 markings/sec, 225 secs
lola: 234523 markings, 788038 edges, 1014 markings/sec, 230 secs
lola: 239600 markings, 805719 edges, 1015 markings/sec, 235 secs
lola: 244679 markings, 823170 edges, 1016 markings/sec, 240 secs
lola: 249732 markings, 841603 edges, 1011 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 221352 KB
lola: time consumption: 3319 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 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__32_40_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__32_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: 150
lola: 2399 markings, 8474 edges, 480 markings/sec, 0 secs
lola: 7507 markings, 24690 edges, 1022 markings/sec, 5 secs
lola: 12652 markings, 40213 edges, 1029 markings/sec, 10 secs
lola: 17820 markings, 55179 edges, 1034 markings/sec, 15 secs
lola: 22989 markings, 70589 edges, 1034 markings/sec, 20 secs
lola: 28129 markings, 86468 edges, 1028 markings/sec, 25 secs
lola: 33272 markings, 102106 edges, 1029 markings/sec, 30 secs
lola: 38424 markings, 117736 edges, 1030 markings/sec, 35 secs
lola: 43564 markings, 133577 edges, 1028 markings/sec, 40 secs
lola: 48699 markings, 149531 edges, 1027 markings/sec, 45 secs
lola: 53817 markings, 165905 edges, 1024 markings/sec, 50 secs
lola: 58950 markings, 181410 edges, 1027 markings/sec, 55 secs
lola: 64095 markings, 196783 edges, 1029 markings/sec, 60 secs
lola: 69277 markings, 212264 edges, 1036 markings/sec, 65 secs
lola: 74418 markings, 227927 edges, 1028 markings/sec, 70 secs
lola: 79556 markings, 243730 edges, 1028 markings/sec, 75 secs
lola: 84690 markings, 258983 edges, 1027 markings/sec, 80 secs
lola: 89818 markings, 275117 edges, 1026 markings/sec, 85 secs
lola: 94957 markings, 290646 edges, 1028 markings/sec, 90 secs
lola: 100071 markings, 306807 edges, 1023 markings/sec, 95 secs
lola: 105180 markings, 323099 edges, 1022 markings/sec, 100 secs
lola: 110312 markings, 338227 edges, 1026 markings/sec, 105 secs
lola: 115432 markings, 353526 edges, 1024 markings/sec, 110 secs
lola: 120551 markings, 369051 edges, 1024 markings/sec, 115 secs
lola: 125665 markings, 384676 edges, 1023 markings/sec, 120 secs
lola: 130786 markings, 399951 edges, 1024 markings/sec, 125 secs
lola: 135836 markings, 415864 edges, 1010 markings/sec, 130 secs
lola: 140899 markings, 431062 edges, 1013 markings/sec, 135 secs
lola: 146010 markings, 446389 edges, 1022 markings/sec, 140 secs
lola: 151146 markings, 461673 edges, 1027 markings/sec, 145 secs
lola: 156285 markings, 476637 edges, 1028 markings/sec, 150 secs
lola: 161434 markings, 491713 edges, 1030 markings/sec, 155 secs
lola: 166581 markings, 506522 edges, 1029 markings/sec, 160 secs
lola: 171703 markings, 522441 edges, 1024 markings/sec, 165 secs
lola: 176829 markings, 538128 edges, 1025 markings/sec, 170 secs
lola: 181973 markings, 553130 edges, 1029 markings/sec, 175 secs
lola: 187116 markings, 568014 edges, 1029 markings/sec, 180 secs
lola: 192245 markings, 583189 edges, 1026 markings/sec, 185 secs
lola: 197358 markings, 599095 edges, 1023 markings/sec, 190 secs
lola: 202476 markings, 614901 edges, 1024 markings/sec, 195 secs
lola: 207655 markings, 630005 edges, 1036 markings/sec, 200 secs
lola: 212845 markings, 645005 edges, 1038 markings/sec, 205 secs
lola: 218025 markings, 660280 edges, 1036 markings/sec, 210 secs
lola: 223212 markings, 675354 edges, 1037 markings/sec, 215 secs
lola: 228381 markings, 691444 edges, 1034 markings/sec, 220 secs
lola: 233561 markings, 707018 edges, 1036 markings/sec, 225 secs
lola: 238728 markings, 723116 edges, 1033 markings/sec, 230 secs
lola: 243899 markings, 739294 edges, 1034 markings/sec, 235 secs
lola: 249056 markings, 755699 edges, 1031 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 206848 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__37_28_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__37_28_)
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 150 unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 150 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 150 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 143480 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 143544 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished
BK_STOP 1552593834087
--------------------
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-D40N150"
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-D40N150, 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-155234654800218"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D40N150.tgz
mv Diffusion2D-PT-D40N150 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 ;