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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.8M
-rw-r--r-- 1 mcc users 4.6K Feb 10 21:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 10 21:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Feb 6 17:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K 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.9K 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 9.2K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K 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.3K Jan 30 23:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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-D40N010-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552582778029

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ Diffusion2D-PT-D40N010 @ 3570 seconds

FORMULA Diffusion2D-PT-D40N010-UpperBounds-05 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ Diffusion2D-PT-D40N010

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 236
},
"exit":
{
"localtimelimitreached": false,
"memory": 211448,
"runtime": 3570.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__27_31_)",
"processed_size": 17,
"rewrites": 0
},
"result":
{
"preliminary_value": "unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown "
},
"task":
{
"compoundnumber": 15,
"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__27_15_) : MAX(cAMP__32_11_) : MAX(cAMP__40_1_) : MAX(cAMP__25_12_) : MAX(cAMP__24_26_) : MAX(cAMP__24_21_) : MAX(cAMP__23_7_) : MAX(cAMP__15_14_) : MAX(cAMP__7_5_) : MAX(cAMP__37_5_) : MAX(cAMP__4_40_) : MAX(cAMP__34_36_) : MAX(cAMP__12_11_) : MAX(cAMP__33_21_) : MAX(cAMP__9_35_) : MAX(cAMP__27_31_)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__27_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__27_15_)
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: 10
lola: 2376 markings, 7700 edges, 475 markings/sec, 0 secs
lola: 7391 markings, 22836 edges, 1003 markings/sec, 5 secs
lola: 12433 markings, 38955 edges, 1008 markings/sec, 10 secs
lola: 17545 markings, 55220 edges, 1022 markings/sec, 15 secs
lola: 22578 markings, 71443 edges, 1007 markings/sec, 20 secs
lola: 27782 markings, 87115 edges, 1041 markings/sec, 25 secs
lola: 33006 markings, 102392 edges, 1045 markings/sec, 30 secs
lola: 38168 markings, 118883 edges, 1032 markings/sec, 35 secs
lola: 43311 markings, 135048 edges, 1029 markings/sec, 40 secs
lola: 48291 markings, 150513 edges, 996 markings/sec, 45 secs
lola: 53449 markings, 168260 edges, 1032 markings/sec, 50 secs
lola: 58630 markings, 185017 edges, 1036 markings/sec, 55 secs
lola: 63831 markings, 201145 edges, 1040 markings/sec, 60 secs
lola: 69002 markings, 218566 edges, 1034 markings/sec, 65 secs
lola: 74174 markings, 235871 edges, 1034 markings/sec, 70 secs
lola: 79377 markings, 251925 edges, 1041 markings/sec, 75 secs
lola: 84591 markings, 267463 edges, 1043 markings/sec, 80 secs
lola: 89771 markings, 284853 edges, 1036 markings/sec, 85 secs
lola: 94934 markings, 303028 edges, 1033 markings/sec, 90 secs
lola: 100101 markings, 320265 edges, 1033 markings/sec, 95 secs
lola: 105293 markings, 335983 edges, 1038 markings/sec, 100 secs
lola: 110468 markings, 353014 edges, 1035 markings/sec, 105 secs
lola: 115662 markings, 369068 edges, 1039 markings/sec, 110 secs
lola: 120853 markings, 385732 edges, 1038 markings/sec, 115 secs
lola: 126034 markings, 402768 edges, 1036 markings/sec, 120 secs
lola: 131235 markings, 418805 edges, 1040 markings/sec, 125 secs
lola: 136454 markings, 434037 edges, 1044 markings/sec, 130 secs
lola: 141655 markings, 450027 edges, 1040 markings/sec, 135 secs
lola: 146821 markings, 467439 edges, 1033 markings/sec, 140 secs
lola: 151996 markings, 484636 edges, 1035 markings/sec, 145 secs
lola: 157198 markings, 500504 edges, 1040 markings/sec, 150 secs
lola: 162374 markings, 517560 edges, 1035 markings/sec, 155 secs
lola: 167538 markings, 535379 edges, 1033 markings/sec, 160 secs
lola: 172755 markings, 550992 edges, 1043 markings/sec, 165 secs
lola: 177945 markings, 567354 edges, 1038 markings/sec, 170 secs
lola: 183123 markings, 584346 edges, 1036 markings/sec, 175 secs
lola: 188334 markings, 600410 edges, 1042 markings/sec, 180 secs
lola: 193533 markings, 617177 edges, 1040 markings/sec, 185 secs
lola: 198749 markings, 633319 edges, 1043 markings/sec, 190 secs
lola: 203955 markings, 648963 edges, 1041 markings/sec, 195 secs
lola: 209138 markings, 665690 edges, 1037 markings/sec, 200 secs
lola: 214315 markings, 682738 edges, 1035 markings/sec, 205 secs
lola: 219496 markings, 699916 edges, 1036 markings/sec, 210 secs
lola: 224702 markings, 716055 edges, 1041 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: 202284 KB
lola: time consumption: 228 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__32_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__32_11_)
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: 10
lola: 2461 markings, 8985 edges, 492 markings/sec, 0 secs
lola: 7610 markings, 27891 edges, 1030 markings/sec, 5 secs
lola: 12489 markings, 46254 edges, 976 markings/sec, 10 secs
lola: 17560 markings, 65975 edges, 1014 markings/sec, 15 secs
lola: 22669 markings, 85459 edges, 1022 markings/sec, 20 secs
lola: 27778 markings, 105455 edges, 1022 markings/sec, 25 secs
lola: 32821 markings, 124428 edges, 1009 markings/sec, 30 secs
lola: 37802 markings, 143731 edges, 996 markings/sec, 35 secs
lola: 42739 markings, 162799 edges, 987 markings/sec, 40 secs
lola: 47777 markings, 182489 edges, 1008 markings/sec, 45 secs
lola: 52867 markings, 202189 edges, 1018 markings/sec, 50 secs
lola: 57903 markings, 220839 edges, 1007 markings/sec, 55 secs
lola: 62897 markings, 240165 edges, 999 markings/sec, 60 secs
lola: 67894 markings, 259230 edges, 999 markings/sec, 65 secs
lola: 73018 markings, 278784 edges, 1025 markings/sec, 70 secs
lola: 78136 markings, 298592 edges, 1024 markings/sec, 75 secs
lola: 83228 markings, 319140 edges, 1018 markings/sec, 80 secs
lola: 88344 markings, 338835 edges, 1023 markings/sec, 85 secs
lola: 93447 markings, 358671 edges, 1021 markings/sec, 90 secs
lola: 98551 markings, 378756 edges, 1021 markings/sec, 95 secs
lola: 103522 markings, 398479 edges, 994 markings/sec, 100 secs
lola: 108619 markings, 418306 edges, 1019 markings/sec, 105 secs
lola: 113652 markings, 437776 edges, 1007 markings/sec, 110 secs
lola: 118764 markings, 457803 edges, 1022 markings/sec, 115 secs
lola: 123896 markings, 477050 edges, 1026 markings/sec, 120 secs
lola: 129048 markings, 495169 edges, 1030 markings/sec, 125 secs
lola: 134165 markings, 514792 edges, 1023 markings/sec, 130 secs
lola: 139265 markings, 534632 edges, 1020 markings/sec, 135 secs
lola: 144389 markings, 553602 edges, 1025 markings/sec, 140 secs
lola: 149507 markings, 572848 edges, 1024 markings/sec, 145 secs
lola: 154597 markings, 593184 edges, 1018 markings/sec, 150 secs
lola: 159715 markings, 612417 edges, 1024 markings/sec, 155 secs
lola: 164750 markings, 634764 edges, 1007 markings/sec, 160 secs
lola: 169855 markings, 654410 edges, 1021 markings/sec, 165 secs
lola: 174940 markings, 675370 edges, 1017 markings/sec, 170 secs
lola: 180036 markings, 695429 edges, 1019 markings/sec, 175 secs
lola: 185125 markings, 716700 edges, 1018 markings/sec, 180 secs
lola: 190203 markings, 737712 edges, 1016 markings/sec, 185 secs
lola: 195309 markings, 757800 edges, 1021 markings/sec, 190 secs
lola: 200428 markings, 777733 edges, 1024 markings/sec, 195 secs
lola: 205568 markings, 797592 edges, 1028 markings/sec, 200 secs
lola: 210715 markings, 816870 edges, 1029 markings/sec, 205 secs
lola: 215750 markings, 834915 edges, 1007 markings/sec, 210 secs
lola: 220855 markings, 854651 edges, 1021 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: 201932 KB
lola: time consumption: 450 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__40_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__40_1_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2509 markings, 7983 edges, 502 markings/sec, 0 secs
lola: 7683 markings, 24316 edges, 1035 markings/sec, 5 secs
lola: 12738 markings, 39493 edges, 1011 markings/sec, 10 secs
lola: 17851 markings, 55053 edges, 1023 markings/sec, 15 secs
lola: 23023 markings, 71293 edges, 1034 markings/sec, 20 secs
lola: 28174 markings, 86210 edges, 1030 markings/sec, 25 secs
lola: 33201 markings, 102128 edges, 1005 markings/sec, 30 secs
lola: 38381 markings, 116443 edges, 1036 markings/sec, 35 secs
lola: 43566 markings, 132251 edges, 1037 markings/sec, 40 secs
lola: 48744 markings, 147427 edges, 1036 markings/sec, 45 secs
lola: 53931 markings, 163775 edges, 1037 markings/sec, 50 secs
lola: 59173 markings, 178212 edges, 1048 markings/sec, 55 secs
lola: 64414 markings, 192240 edges, 1048 markings/sec, 60 secs
lola: 69604 markings, 206866 edges, 1038 markings/sec, 65 secs
lola: 74865 markings, 222181 edges, 1052 markings/sec, 70 secs
lola: 80131 markings, 236848 edges, 1053 markings/sec, 75 secs
lola: 85397 markings, 252128 edges, 1053 markings/sec, 80 secs
lola: 90589 markings, 267614 edges, 1038 markings/sec, 85 secs
lola: 95822 markings, 283694 edges, 1047 markings/sec, 90 secs
lola: 101061 markings, 299464 edges, 1048 markings/sec, 95 secs
lola: 106314 markings, 314655 edges, 1051 markings/sec, 100 secs
lola: 111618 markings, 328823 edges, 1061 markings/sec, 105 secs
lola: 116919 markings, 343455 edges, 1060 markings/sec, 110 secs
lola: 122211 markings, 357583 edges, 1058 markings/sec, 115 secs
lola: 127477 markings, 372475 edges, 1053 markings/sec, 120 secs
lola: 132738 markings, 387322 edges, 1052 markings/sec, 125 secs
lola: 138019 markings, 401842 edges, 1056 markings/sec, 130 secs
lola: 143319 markings, 415897 edges, 1060 markings/sec, 135 secs
lola: 148592 markings, 430460 edges, 1055 markings/sec, 140 secs
lola: 153845 markings, 445633 edges, 1051 markings/sec, 145 secs
lola: 159100 markings, 460768 edges, 1051 markings/sec, 150 secs
lola: 164402 markings, 474961 edges, 1060 markings/sec, 155 secs
lola: 169679 markings, 489826 edges, 1055 markings/sec, 160 secs
lola: 174952 markings, 504749 edges, 1055 markings/sec, 165 secs
lola: 180216 markings, 519732 edges, 1053 markings/sec, 170 secs
lola: 185461 markings, 535426 edges, 1049 markings/sec, 175 secs
lola: 190739 markings, 550014 edges, 1056 markings/sec, 180 secs
lola: 196007 markings, 564431 edges, 1054 markings/sec, 185 secs
lola: 201293 markings, 578459 edges, 1057 markings/sec, 190 secs
lola: 206557 markings, 593061 edges, 1053 markings/sec, 195 secs
lola: 211806 markings, 608617 edges, 1050 markings/sec, 200 secs
lola: 217060 markings, 623582 edges, 1051 markings/sec, 205 secs
lola: 222320 markings, 638757 edges, 1052 markings/sec, 210 secs
lola: 227609 markings, 652860 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: 211808 KB
lola: time consumption: 672 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__25_12_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__25_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: 10
lola: 2408 markings, 8761 edges, 482 markings/sec, 0 secs
lola: 7471 markings, 27748 edges, 1013 markings/sec, 5 secs
lola: 12527 markings, 46583 edges, 1011 markings/sec, 10 secs
lola: 17628 markings, 64806 edges, 1020 markings/sec, 15 secs
lola: 22692 markings, 83278 edges, 1013 markings/sec, 20 secs
lola: 27844 markings, 101471 edges, 1030 markings/sec, 25 secs
lola: 32840 markings, 119877 edges, 999 markings/sec, 30 secs
lola: 37911 markings, 138374 edges, 1014 markings/sec, 35 secs
lola: 42966 markings, 156553 edges, 1011 markings/sec, 40 secs
lola: 47969 markings, 174444 edges, 1001 markings/sec, 45 secs
lola: 53092 markings, 193235 edges, 1025 markings/sec, 50 secs
lola: 58226 markings, 211591 edges, 1027 markings/sec, 55 secs
lola: 63340 markings, 230758 edges, 1023 markings/sec, 60 secs
lola: 68385 markings, 249408 edges, 1009 markings/sec, 65 secs
lola: 73482 markings, 266955 edges, 1019 markings/sec, 70 secs
lola: 78540 markings, 286042 edges, 1012 markings/sec, 75 secs
lola: 83616 markings, 304315 edges, 1015 markings/sec, 80 secs
lola: 88758 markings, 322151 edges, 1028 markings/sec, 85 secs
lola: 93874 markings, 340415 edges, 1023 markings/sec, 90 secs
lola: 98910 markings, 357122 edges, 1007 markings/sec, 95 secs
lola: 103855 markings, 374186 edges, 989 markings/sec, 100 secs
lola: 108937 markings, 391960 edges, 1016 markings/sec, 105 secs
lola: 113935 markings, 410629 edges, 1000 markings/sec, 110 secs
lola: 118986 markings, 428394 edges, 1010 markings/sec, 115 secs
lola: 124019 markings, 446049 edges, 1007 markings/sec, 120 secs
lola: 129091 markings, 464581 edges, 1014 markings/sec, 125 secs
lola: 134184 markings, 482050 edges, 1019 markings/sec, 130 secs
lola: 139299 markings, 501047 edges, 1023 markings/sec, 135 secs
lola: 144144 markings, 520390 edges, 969 markings/sec, 140 secs
lola: 149218 markings, 538278 edges, 1015 markings/sec, 145 secs
lola: 154362 markings, 555836 edges, 1029 markings/sec, 150 secs
lola: 159454 markings, 573457 edges, 1018 markings/sec, 155 secs
lola: 164516 markings, 592588 edges, 1012 markings/sec, 160 secs
lola: 169651 markings, 610678 edges, 1027 markings/sec, 165 secs
lola: 174755 markings, 630139 edges, 1021 markings/sec, 170 secs
lola: 179901 markings, 647324 edges, 1029 markings/sec, 175 secs
lola: 185041 markings, 665125 edges, 1028 markings/sec, 180 secs
lola: 190178 markings, 682703 edges, 1027 markings/sec, 185 secs
lola: 195306 markings, 701327 edges, 1026 markings/sec, 190 secs
lola: 200447 markings, 719255 edges, 1028 markings/sec, 195 secs
lola: 205555 markings, 738804 edges, 1022 markings/sec, 200 secs
lola: 210695 markings, 756747 edges, 1028 markings/sec, 205 secs
lola: 215770 markings, 774340 edges, 1015 markings/sec, 210 secs
lola: 220907 markings, 792186 edges, 1027 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: 202512 KB
lola: time consumption: 894 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 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__24_26_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_26_)
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: 10
lola: 2447 markings, 8614 edges, 489 markings/sec, 0 secs
lola: 7612 markings, 25448 edges, 1033 markings/sec, 5 secs
lola: 12677 markings, 43377 edges, 1013 markings/sec, 10 secs
lola: 17724 markings, 61533 edges, 1009 markings/sec, 15 secs
lola: 22785 markings, 79287 edges, 1012 markings/sec, 20 secs
lola: 27933 markings, 96445 edges, 1030 markings/sec, 25 secs
lola: 33099 markings, 113251 edges, 1033 markings/sec, 30 secs
lola: 38264 markings, 130100 edges, 1033 markings/sec, 35 secs
lola: 43399 markings, 146464 edges, 1027 markings/sec, 40 secs
lola: 48522 markings, 162525 edges, 1025 markings/sec, 45 secs
lola: 53656 markings, 179375 edges, 1027 markings/sec, 50 secs
lola: 58760 markings, 196242 edges, 1021 markings/sec, 55 secs
lola: 63819 markings, 213398 edges, 1012 markings/sec, 60 secs
lola: 68894 markings, 230578 edges, 1015 markings/sec, 65 secs
lola: 73990 markings, 247718 edges, 1019 markings/sec, 70 secs
lola: 79112 markings, 264578 edges, 1024 markings/sec, 75 secs
lola: 84171 markings, 283102 edges, 1012 markings/sec, 80 secs
lola: 89322 markings, 300524 edges, 1030 markings/sec, 85 secs
lola: 94482 markings, 317747 edges, 1032 markings/sec, 90 secs
lola: 99630 markings, 335766 edges, 1030 markings/sec, 95 secs
lola: 104753 markings, 354750 edges, 1025 markings/sec, 100 secs
lola: 109793 markings, 372317 edges, 1008 markings/sec, 105 secs
lola: 114942 markings, 389903 edges, 1030 markings/sec, 110 secs
lola: 120086 markings, 407029 edges, 1029 markings/sec, 115 secs
lola: 125213 markings, 423570 edges, 1025 markings/sec, 120 secs
lola: 130348 markings, 439427 edges, 1027 markings/sec, 125 secs
lola: 135483 markings, 456210 edges, 1027 markings/sec, 130 secs
lola: 140624 markings, 472510 edges, 1028 markings/sec, 135 secs
lola: 145695 markings, 489562 edges, 1014 markings/sec, 140 secs
lola: 150803 markings, 506044 edges, 1022 markings/sec, 145 secs
lola: 155908 markings, 523502 edges, 1021 markings/sec, 150 secs
lola: 161048 markings, 540658 edges, 1028 markings/sec, 155 secs
lola: 166170 markings, 558084 edges, 1024 markings/sec, 160 secs
lola: 171270 markings, 575512 edges, 1020 markings/sec, 165 secs
lola: 176405 markings, 592410 edges, 1027 markings/sec, 170 secs
lola: 181400 markings, 608587 edges, 999 markings/sec, 175 secs
lola: 186436 markings, 626133 edges, 1007 markings/sec, 180 secs
lola: 191555 markings, 642585 edges, 1024 markings/sec, 185 secs
lola: 196720 markings, 659033 edges, 1033 markings/sec, 190 secs
lola: 201883 markings, 675332 edges, 1033 markings/sec, 195 secs
lola: 207048 markings, 692143 edges, 1033 markings/sec, 200 secs
lola: 212204 markings, 708887 edges, 1031 markings/sec, 205 secs
lola: 217355 markings, 726205 edges, 1030 markings/sec, 210 secs
lola: 222528 markings, 742581 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: 218956 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__24_21_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_21_)
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: 10
lola: 2456 markings, 7669 edges, 491 markings/sec, 0 secs
lola: 7620 markings, 25014 edges, 1033 markings/sec, 5 secs
lola: 12779 markings, 43110 edges, 1032 markings/sec, 10 secs
lola: 17958 markings, 60304 edges, 1036 markings/sec, 15 secs
lola: 23093 markings, 78776 edges, 1027 markings/sec, 20 secs
lola: 28096 markings, 96157 edges, 1001 markings/sec, 25 secs
lola: 33239 markings, 114074 edges, 1029 markings/sec, 30 secs
lola: 38410 markings, 131757 edges, 1034 markings/sec, 35 secs
lola: 43581 markings, 149630 edges, 1034 markings/sec, 40 secs
lola: 48720 markings, 167967 edges, 1028 markings/sec, 45 secs
lola: 53858 markings, 185156 edges, 1028 markings/sec, 50 secs
lola: 59023 markings, 202973 edges, 1033 markings/sec, 55 secs
lola: 64142 markings, 220977 edges, 1024 markings/sec, 60 secs
lola: 69317 markings, 238599 edges, 1035 markings/sec, 65 secs
lola: 74470 markings, 257217 edges, 1031 markings/sec, 70 secs
lola: 79535 markings, 276811 edges, 1013 markings/sec, 75 secs
lola: 84691 markings, 295594 edges, 1031 markings/sec, 80 secs
lola: 89837 markings, 314801 edges, 1029 markings/sec, 85 secs
lola: 94971 markings, 334687 edges, 1027 markings/sec, 90 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 98967 markings, 350102 edges
lola: ========================================
lola: subprocess 6 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__23_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__23_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: 10
lola: 2373 markings, 8192 edges, 475 markings/sec, 0 secs
lola: 7451 markings, 26361 edges, 1016 markings/sec, 5 secs
lola: 12456 markings, 44101 edges, 1001 markings/sec, 10 secs
lola: 17578 markings, 62067 edges, 1024 markings/sec, 15 secs
lola: 22728 markings, 78437 edges, 1030 markings/sec, 20 secs
lola: 27861 markings, 95278 edges, 1027 markings/sec, 25 secs
lola: 32975 markings, 113218 edges, 1023 markings/sec, 30 secs
lola: 38081 markings, 131743 edges, 1021 markings/sec, 35 secs
lola: 43197 markings, 149341 edges, 1023 markings/sec, 40 secs
lola: 48313 markings, 167634 edges, 1023 markings/sec, 45 secs
lola: 53440 markings, 185250 edges, 1025 markings/sec, 50 secs
lola: 58354 markings, 201360 edges, 983 markings/sec, 55 secs
lola: 63426 markings, 218510 edges, 1014 markings/sec, 60 secs
lola: 68414 markings, 234341 edges, 998 markings/sec, 65 secs
lola: 73539 markings, 251402 edges, 1025 markings/sec, 70 secs
lola: 78631 markings, 270246 edges, 1018 markings/sec, 75 secs
lola: 83748 markings, 288160 edges, 1023 markings/sec, 80 secs
lola: 88708 markings, 305496 edges, 992 markings/sec, 85 secs
lola: 93762 markings, 323391 edges, 1011 markings/sec, 90 secs
lola: 98786 markings, 341706 edges, 1005 markings/sec, 95 secs
lola: 103888 markings, 359370 edges, 1020 markings/sec, 100 secs
lola: 109026 markings, 375926 edges, 1028 markings/sec, 105 secs
lola: 114015 markings, 393465 edges, 998 markings/sec, 110 secs
lola: 119042 markings, 409563 edges, 1005 markings/sec, 115 secs
lola: 124171 markings, 427235 edges, 1026 markings/sec, 120 secs
lola: 129201 markings, 444868 edges, 1006 markings/sec, 125 secs
lola: 134295 markings, 462454 edges, 1019 markings/sec, 130 secs
lola: 139408 markings, 479425 edges, 1023 markings/sec, 135 secs
lola: 144482 markings, 497049 edges, 1015 markings/sec, 140 secs
lola: 149264 markings, 513503 edges, 956 markings/sec, 145 secs
lola: 154338 markings, 532580 edges, 1015 markings/sec, 150 secs
lola: 159444 markings, 549744 edges, 1021 markings/sec, 155 secs
lola: 164514 markings, 566921 edges, 1014 markings/sec, 160 secs
lola: 169559 markings, 585320 edges, 1009 markings/sec, 165 secs
lola: 174625 markings, 603070 edges, 1013 markings/sec, 170 secs
lola: 179640 markings, 622422 edges, 1003 markings/sec, 175 secs
lola: 184717 markings, 639553 edges, 1015 markings/sec, 180 secs
lola: 189604 markings, 655273 edges, 977 markings/sec, 185 secs
lola: 194595 markings, 669851 edges, 998 markings/sec, 190 secs
lola: 199417 markings, 684467 edges, 964 markings/sec, 195 secs
lola: 204440 markings, 700015 edges, 1005 markings/sec, 200 secs
lola: 209474 markings, 715895 edges, 1007 markings/sec, 205 secs
lola: 214561 markings, 731942 edges, 1017 markings/sec, 210 secs
lola: 219621 markings, 749243 edges, 1012 markings/sec, 215 secs
lola: 224684 markings, 766494 edges, 1013 markings/sec, 220 secs
lola: 229697 markings, 784033 edges, 1003 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 227472 KB
lola: time consumption: 1452 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 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__15_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__15_14_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2292 markings, 7960 edges, 458 markings/sec, 0 secs
lola: 7319 markings, 24612 edges, 1005 markings/sec, 5 secs
lola: 12326 markings, 40992 edges, 1001 markings/sec, 10 secs
lola: 17443 markings, 57166 edges, 1023 markings/sec, 15 secs
lola: 22452 markings, 73642 edges, 1002 markings/sec, 20 secs
lola: 27467 markings, 89737 edges, 1003 markings/sec, 25 secs
lola: 32561 markings, 106497 edges, 1019 markings/sec, 30 secs
lola: 37681 markings, 123226 edges, 1024 markings/sec, 35 secs
lola: 42764 markings, 138819 edges, 1017 markings/sec, 40 secs
lola: 47854 markings, 154318 edges, 1018 markings/sec, 45 secs
lola: 52888 markings, 170600 edges, 1007 markings/sec, 50 secs
lola: 57763 markings, 185710 edges, 975 markings/sec, 55 secs
lola: 62817 markings, 202892 edges, 1011 markings/sec, 60 secs
lola: 67933 markings, 220426 edges, 1023 markings/sec, 65 secs
lola: 73078 markings, 236679 edges, 1029 markings/sec, 70 secs
lola: 78237 markings, 252496 edges, 1032 markings/sec, 75 secs
lola: 83320 markings, 269376 edges, 1017 markings/sec, 80 secs
lola: 88439 markings, 285842 edges, 1024 markings/sec, 85 secs
lola: 93622 markings, 302247 edges, 1037 markings/sec, 90 secs
lola: 98793 markings, 319461 edges, 1034 markings/sec, 95 secs
lola: 103945 markings, 337111 edges, 1030 markings/sec, 100 secs
lola: 109127 markings, 353587 edges, 1036 markings/sec, 105 secs
lola: 114331 markings, 369507 edges, 1041 markings/sec, 110 secs
lola: 119526 markings, 385504 edges, 1039 markings/sec, 115 secs
lola: 124705 markings, 402091 edges, 1036 markings/sec, 120 secs
lola: 129903 markings, 418174 edges, 1040 markings/sec, 125 secs
lola: 135000 markings, 435699 edges, 1019 markings/sec, 130 secs
lola: 140154 markings, 452284 edges, 1031 markings/sec, 135 secs
lola: 145343 markings, 468582 edges, 1038 markings/sec, 140 secs
lola: 150506 markings, 485551 edges, 1033 markings/sec, 145 secs
lola: 155704 markings, 501333 edges, 1040 markings/sec, 150 secs
lola: 160877 markings, 518557 edges, 1035 markings/sec, 155 secs
lola: 166082 markings, 534475 edges, 1041 markings/sec, 160 secs
lola: 171222 markings, 551269 edges, 1028 markings/sec, 165 secs
lola: 176371 markings, 569334 edges, 1030 markings/sec, 170 secs
lola: 181556 markings, 585734 edges, 1037 markings/sec, 175 secs
lola: 186738 markings, 602557 edges, 1036 markings/sec, 180 secs
lola: 191929 markings, 619028 edges, 1038 markings/sec, 185 secs
lola: 197122 markings, 635115 edges, 1039 markings/sec, 190 secs
lola: 202258 markings, 651341 edges, 1027 markings/sec, 195 secs
lola: 207411 markings, 669170 edges, 1031 markings/sec, 200 secs
lola: 212509 markings, 685805 edges, 1020 markings/sec, 205 secs
lola: 217612 markings, 703572 edges, 1021 markings/sec, 210 secs
lola: 222819 markings, 719041 edges, 1041 markings/sec, 215 secs
lola: 228010 markings, 735005 edges, 1038 markings/sec, 220 secs
lola: 233118 markings, 751656 edges, 1022 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 214780 KB
lola: time consumption: 1687 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 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_5_)
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: 10
lola: 2512 markings, 8202 edges, 502 markings/sec, 0 secs
lola: 7737 markings, 25645 edges, 1045 markings/sec, 5 secs
lola: 13010 markings, 43724 edges, 1055 markings/sec, 10 secs
lola: 18160 markings, 60348 edges, 1030 markings/sec, 15 secs
lola: 23408 markings, 77756 edges, 1050 markings/sec, 20 secs
lola: 28666 markings, 94249 edges, 1052 markings/sec, 25 secs
lola: 33806 markings, 110861 edges, 1028 markings/sec, 30 secs
lola: 38869 markings, 127775 edges, 1013 markings/sec, 35 secs
lola: 44124 markings, 144690 edges, 1051 markings/sec, 40 secs
lola: 49381 markings, 162416 edges, 1051 markings/sec, 45 secs
lola: 54544 markings, 179705 edges, 1033 markings/sec, 50 secs
lola: 59802 markings, 197030 edges, 1052 markings/sec, 55 secs
lola: 65057 markings, 215428 edges, 1051 markings/sec, 60 secs
lola: 70291 markings, 234289 edges, 1047 markings/sec, 65 secs
lola: 75556 markings, 251669 edges, 1053 markings/sec, 70 secs
lola: 80624 markings, 269523 edges, 1014 markings/sec, 75 secs
lola: 85726 markings, 287058 edges, 1020 markings/sec, 80 secs
lola: 90917 markings, 303368 edges, 1038 markings/sec, 85 secs
lola: 96068 markings, 320356 edges, 1030 markings/sec, 90 secs
lola: 101347 markings, 337737 edges, 1056 markings/sec, 95 secs
lola: 106612 markings, 355445 edges, 1053 markings/sec, 100 secs
lola: 111868 markings, 373991 edges, 1051 markings/sec, 105 secs
lola: 116990 markings, 392608 edges, 1024 markings/sec, 110 secs
lola: 122258 markings, 410332 edges, 1054 markings/sec, 115 secs
lola: 127473 markings, 428345 edges, 1043 markings/sec, 120 secs
lola: 132771 markings, 444449 edges, 1060 markings/sec, 125 secs
lola: 138033 markings, 461533 edges, 1052 markings/sec, 130 secs
lola: 143287 markings, 479708 edges, 1051 markings/sec, 135 secs
lola: 148575 markings, 496673 edges, 1058 markings/sec, 140 secs
lola: 153812 markings, 514253 edges, 1047 markings/sec, 145 secs
lola: 159090 markings, 531323 edges, 1056 markings/sec, 150 secs
lola: 164285 markings, 549118 edges, 1039 markings/sec, 155 secs
lola: 169493 markings, 568213 edges, 1042 markings/sec, 160 secs
lola: 174729 markings, 585324 edges, 1047 markings/sec, 165 secs
lola: 179925 markings, 601581 edges, 1039 markings/sec, 170 secs
lola: 185038 markings, 615943 edges, 1023 markings/sec, 175 secs
lola: 190221 markings, 632349 edges, 1037 markings/sec, 180 secs
lola: 195435 markings, 648630 edges, 1043 markings/sec, 185 secs
lola: 200714 markings, 665110 edges, 1056 markings/sec, 190 secs
lola: 206014 markings, 681537 edges, 1060 markings/sec, 195 secs
lola: 211318 markings, 697813 edges, 1061 markings/sec, 200 secs
lola: 216518 markings, 713432 edges, 1040 markings/sec, 205 secs
lola: 221804 markings, 728706 edges, 1057 markings/sec, 210 secs
lola: 227077 markings, 745801 edges, 1055 markings/sec, 215 secs
lola: 232358 markings, 761944 edges, 1056 markings/sec, 220 secs
lola: 237620 markings, 779180 edges, 1052 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 10 unknown unknown 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 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 224296 KB
lola: time consumption: 1922 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 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__37_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__37_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: 10
lola: 2445 markings, 7688 edges, 489 markings/sec, 0 secs
lola: 7627 markings, 24424 edges, 1036 markings/sec, 5 secs
lola: 12763 markings, 41204 edges, 1027 markings/sec, 10 secs
lola: 17791 markings, 56945 edges, 1006 markings/sec, 15 secs
lola: 22853 markings, 74595 edges, 1012 markings/sec, 20 secs
lola: 27963 markings, 91938 edges, 1022 markings/sec, 25 secs
lola: 33061 markings, 109354 edges, 1020 markings/sec, 30 secs
lola: 38244 markings, 126368 edges, 1037 markings/sec, 35 secs
lola: 43432 markings, 143386 edges, 1038 markings/sec, 40 secs
lola: 48555 markings, 160447 edges, 1025 markings/sec, 45 secs
lola: 53566 markings, 176430 edges, 1002 markings/sec, 50 secs
lola: 58723 markings, 193227 edges, 1031 markings/sec, 55 secs
lola: 63900 markings, 210417 edges, 1035 markings/sec, 60 secs
lola: 69098 markings, 226457 edges, 1040 markings/sec, 65 secs
lola: 74282 markings, 243200 edges, 1037 markings/sec, 70 secs
lola: 79461 markings, 260006 edges, 1036 markings/sec, 75 secs
lola: 84625 markings, 276951 edges, 1033 markings/sec, 80 secs
lola: 89783 markings, 294059 edges, 1032 markings/sec, 85 secs
lola: 94974 markings, 310656 edges, 1038 markings/sec, 90 secs
lola: 100177 markings, 326632 edges, 1041 markings/sec, 95 secs
lola: 105355 markings, 343568 edges, 1036 markings/sec, 100 secs
lola: 110520 markings, 360615 edges, 1033 markings/sec, 105 secs
lola: 115701 markings, 377277 edges, 1036 markings/sec, 110 secs
lola: 120892 markings, 393201 edges, 1038 markings/sec, 115 secs
lola: 126058 markings, 410153 edges, 1033 markings/sec, 120 secs
lola: 131220 markings, 427060 edges, 1032 markings/sec, 125 secs
lola: 136412 markings, 443731 edges, 1038 markings/sec, 130 secs
lola: 141610 markings, 459777 edges, 1040 markings/sec, 135 secs
lola: 146781 markings, 476798 edges, 1034 markings/sec, 140 secs
lola: 151965 markings, 492916 edges, 1037 markings/sec, 145 secs
lola: 157141 markings, 509179 edges, 1035 markings/sec, 150 secs
lola: 162320 markings, 525528 edges, 1036 markings/sec, 155 secs
lola: 167541 markings, 540372 edges, 1044 markings/sec, 160 secs
lola: 172751 markings, 555682 edges, 1042 markings/sec, 165 secs
lola: 177939 markings, 571682 edges, 1038 markings/sec, 170 secs
lola: 183127 markings, 587341 edges, 1038 markings/sec, 175 secs
lola: 188304 markings, 603316 edges, 1035 markings/sec, 180 secs
lola: 193469 markings, 619825 edges, 1033 markings/sec, 185 secs
lola: 198632 markings, 636527 edges, 1033 markings/sec, 190 secs
lola: 203793 markings, 653654 edges, 1032 markings/sec, 195 secs
lola: 208948 markings, 670331 edges, 1031 markings/sec, 200 secs
lola: 214111 markings, 686604 edges, 1033 markings/sec, 205 secs
lola: 219225 markings, 702514 edges, 1023 markings/sec, 210 secs
lola: 224385 markings, 718964 edges, 1032 markings/sec, 215 secs
lola: 229576 markings, 734933 edges, 1038 markings/sec, 220 secs
lola: 234732 markings, 751026 edges, 1031 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 10 unknown unknown 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 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 224180 KB
lola: time consumption: 2157 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 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_40_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_40_)
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: 10
lola: 2452 markings, 8183 edges, 490 markings/sec, 0 secs
lola: 7622 markings, 24583 edges, 1034 markings/sec, 5 secs
lola: 12711 markings, 40718 edges, 1018 markings/sec, 10 secs
lola: 17966 markings, 56776 edges, 1051 markings/sec, 15 secs
lola: 23231 markings, 73289 edges, 1053 markings/sec, 20 secs
lola: 28504 markings, 89580 edges, 1055 markings/sec, 25 secs
lola: 33780 markings, 105943 edges, 1055 markings/sec, 30 secs
lola: 39071 markings, 121706 edges, 1058 markings/sec, 35 secs
lola: 44355 markings, 137666 edges, 1057 markings/sec, 40 secs
lola: 49621 markings, 153416 edges, 1053 markings/sec, 45 secs
lola: 54905 markings, 169129 edges, 1057 markings/sec, 50 secs
lola: 60150 markings, 184316 edges, 1049 markings/sec, 55 secs
lola: 65452 markings, 200123 edges, 1060 markings/sec, 60 secs
lola: 70763 markings, 215784 edges, 1062 markings/sec, 65 secs
lola: 76064 markings, 231811 edges, 1060 markings/sec, 70 secs
lola: 81374 markings, 247947 edges, 1062 markings/sec, 75 secs
lola: 86674 markings, 263924 edges, 1060 markings/sec, 80 secs
lola: 91986 markings, 279959 edges, 1062 markings/sec, 85 secs
lola: 97268 markings, 295799 edges, 1056 markings/sec, 90 secs
lola: 102577 markings, 312038 edges, 1062 markings/sec, 95 secs
lola: 107891 markings, 328054 edges, 1063 markings/sec, 100 secs
lola: 113174 markings, 344759 edges, 1057 markings/sec, 105 secs
lola: 118216 markings, 359779 edges, 1008 markings/sec, 110 secs
lola: 123335 markings, 375633 edges, 1024 markings/sec, 115 secs
lola: 128644 markings, 391100 edges, 1062 markings/sec, 120 secs
lola: 133952 markings, 406809 edges, 1062 markings/sec, 125 secs
lola: 139240 markings, 423240 edges, 1058 markings/sec, 130 secs
lola: 144537 markings, 439325 edges, 1059 markings/sec, 135 secs
lola: 149847 markings, 455154 edges, 1062 markings/sec, 140 secs
lola: 155166 markings, 470449 edges, 1064 markings/sec, 145 secs
lola: 160479 markings, 486113 edges, 1063 markings/sec, 150 secs
lola: 165793 markings, 502079 edges, 1063 markings/sec, 155 secs
lola: 171100 markings, 518293 edges, 1061 markings/sec, 160 secs
lola: 176420 markings, 534029 edges, 1064 markings/sec, 165 secs
lola: 181731 markings, 550000 edges, 1062 markings/sec, 170 secs
lola: 187037 markings, 566040 edges, 1061 markings/sec, 175 secs
lola: 192354 markings, 581798 edges, 1063 markings/sec, 180 secs
lola: 197669 markings, 597456 edges, 1063 markings/sec, 185 secs
lola: 202988 markings, 612910 edges, 1064 markings/sec, 190 secs
lola: 208296 markings, 628437 edges, 1062 markings/sec, 195 secs
lola: 213598 markings, 644025 edges, 1060 markings/sec, 200 secs
lola: 218893 markings, 659899 edges, 1059 markings/sec, 205 secs
lola: 224187 markings, 675733 edges, 1059 markings/sec, 210 secs
lola: 229343 markings, 691477 edges, 1031 markings/sec, 215 secs
lola: 234590 markings, 707272 edges, 1049 markings/sec, 220 secs
lola: 239862 markings, 723217 edges, 1054 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 10 unknown unknown 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 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 211104 KB
lola: time consumption: 2392 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 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__34_36_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__34_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: 10
lola: 2408 markings, 8207 edges, 482 markings/sec, 0 secs
lola: 7610 markings, 27249 edges, 1040 markings/sec, 5 secs
lola: 12713 markings, 45680 edges, 1021 markings/sec, 10 secs
lola: 17889 markings, 64471 edges, 1035 markings/sec, 15 secs
lola: 23045 markings, 82040 edges, 1031 markings/sec, 20 secs
lola: 28122 markings, 100372 edges, 1015 markings/sec, 25 secs
lola: 33283 markings, 118779 edges, 1032 markings/sec, 30 secs
lola: 38441 markings, 137606 edges, 1032 markings/sec, 35 secs
lola: 43426 markings, 156018 edges, 997 markings/sec, 40 secs
lola: 48598 markings, 173921 edges, 1034 markings/sec, 45 secs
lola: 53715 markings, 191257 edges, 1023 markings/sec, 50 secs
lola: 58738 markings, 208749 edges, 1005 markings/sec, 55 secs
lola: 63772 markings, 226724 edges, 1007 markings/sec, 60 secs
lola: 68952 markings, 245247 edges, 1036 markings/sec, 65 secs
lola: 74068 markings, 263748 edges, 1023 markings/sec, 70 secs
lola: 79150 markings, 281681 edges, 1016 markings/sec, 75 secs
lola: 84264 markings, 299051 edges, 1023 markings/sec, 80 secs
lola: 89373 markings, 317656 edges, 1022 markings/sec, 85 secs
lola: 94426 markings, 335846 edges, 1011 markings/sec, 90 secs
lola: 99567 markings, 354903 edges, 1028 markings/sec, 95 secs
lola: 104698 markings, 373818 edges, 1026 markings/sec, 100 secs
lola: 109813 markings, 392683 edges, 1023 markings/sec, 105 secs
lola: 114910 markings, 412348 edges, 1019 markings/sec, 110 secs
lola: 120042 markings, 430283 edges, 1026 markings/sec, 115 secs
lola: 125157 markings, 448743 edges, 1023 markings/sec, 120 secs
lola: 130301 markings, 466290 edges, 1029 markings/sec, 125 secs
lola: 135446 markings, 484309 edges, 1029 markings/sec, 130 secs
lola: 140583 markings, 502770 edges, 1027 markings/sec, 135 secs
lola: 145688 markings, 523160 edges, 1021 markings/sec, 140 secs
lola: 150818 markings, 542335 edges, 1026 markings/sec, 145 secs
lola: 155934 markings, 562207 edges, 1023 markings/sec, 150 secs
lola: 161089 markings, 581021 edges, 1031 markings/sec, 155 secs
lola: 166224 markings, 599624 edges, 1027 markings/sec, 160 secs
lola: 171377 markings, 617534 edges, 1031 markings/sec, 165 secs
lola: 176535 markings, 635361 edges, 1032 markings/sec, 170 secs
lola: 181694 markings, 653321 edges, 1032 markings/sec, 175 secs
lola: 186858 markings, 671155 edges, 1033 markings/sec, 180 secs
lola: 192026 markings, 688940 edges, 1034 markings/sec, 185 secs
lola: 197184 markings, 707209 edges, 1032 markings/sec, 190 secs
lola: 202328 markings, 725387 edges, 1029 markings/sec, 195 secs
lola: 207482 markings, 743737 edges, 1031 markings/sec, 200 secs
lola: 212657 markings, 761165 edges, 1035 markings/sec, 205 secs
lola: 217801 markings, 779619 edges, 1029 markings/sec, 210 secs
lola: 222941 markings, 798168 edges, 1028 markings/sec, 215 secs
lola: 228063 markings, 816620 edges, 1024 markings/sec, 220 secs
lola: 233231 markings, 834612 edges, 1034 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 10 unknown unknown 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 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 204412 KB
lola: time consumption: 2627 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 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__12_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__12_11_)
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: 10
lola: 2479 markings, 8933 edges, 496 markings/sec, 0 secs
lola: 7613 markings, 28138 edges, 1027 markings/sec, 5 secs
lola: 12636 markings, 47431 edges, 1005 markings/sec, 10 secs
lola: 17784 markings, 65746 edges, 1030 markings/sec, 15 secs
lola: 22885 markings, 84458 edges, 1020 markings/sec, 20 secs
lola: 28012 markings, 103916 edges, 1025 markings/sec, 25 secs
lola: 33153 markings, 122539 edges, 1028 markings/sec, 30 secs
lola: 38288 markings, 141573 edges, 1027 markings/sec, 35 secs
lola: 43417 markings, 160982 edges, 1026 markings/sec, 40 secs
lola: 48554 markings, 180002 edges, 1027 markings/sec, 45 secs
lola: 53682 markings, 199536 edges, 1026 markings/sec, 50 secs
lola: 58835 markings, 217906 edges, 1031 markings/sec, 55 secs
lola: 63895 markings, 237222 edges, 1012 markings/sec, 60 secs
lola: 68924 markings, 256103 edges, 1006 markings/sec, 65 secs
lola: 74058 markings, 275366 edges, 1027 markings/sec, 70 secs
lola: 79169 markings, 294452 edges, 1022 markings/sec, 75 secs
lola: 84121 markings, 313019 edges, 990 markings/sec, 80 secs
lola: 89213 markings, 333491 edges, 1018 markings/sec, 85 secs
lola: 94264 markings, 352274 edges, 1010 markings/sec, 90 secs
lola: 99381 markings, 372168 edges, 1023 markings/sec, 95 secs
lola: 104512 markings, 391340 edges, 1026 markings/sec, 100 secs
lola: 109653 markings, 409772 edges, 1028 markings/sec, 105 secs
lola: 114760 markings, 429364 edges, 1021 markings/sec, 110 secs
lola: 119896 markings, 447957 edges, 1027 markings/sec, 115 secs
lola: 125025 markings, 467338 edges, 1026 markings/sec, 120 secs
lola: 130153 markings, 486519 edges, 1026 markings/sec, 125 secs
lola: 135295 markings, 505427 edges, 1028 markings/sec, 130 secs
lola: 140439 markings, 523770 edges, 1029 markings/sec, 135 secs
lola: 145570 markings, 542880 edges, 1026 markings/sec, 140 secs
lola: 150700 markings, 561728 edges, 1026 markings/sec, 145 secs
lola: 155783 markings, 580475 edges, 1017 markings/sec, 150 secs
lola: 160901 markings, 598749 edges, 1024 markings/sec, 155 secs
lola: 166014 markings, 617358 edges, 1023 markings/sec, 160 secs
lola: 171104 markings, 637317 edges, 1018 markings/sec, 165 secs
lola: 176227 markings, 656071 edges, 1025 markings/sec, 170 secs
lola: 181311 markings, 674166 edges, 1017 markings/sec, 175 secs
lola: 186394 markings, 693352 edges, 1017 markings/sec, 180 secs
lola: 191505 markings, 712256 edges, 1022 markings/sec, 185 secs
lola: 196557 markings, 731448 edges, 1010 markings/sec, 190 secs
lola: 201655 markings, 750375 edges, 1020 markings/sec, 195 secs
lola: 206775 markings, 769987 edges, 1024 markings/sec, 200 secs
lola: 211840 markings, 789262 edges, 1013 markings/sec, 205 secs
lola: 216935 markings, 807720 edges, 1019 markings/sec, 210 secs
lola: 221981 markings, 826750 edges, 1009 markings/sec, 215 secs
lola: 227020 markings, 845339 edges, 1008 markings/sec, 220 secs
lola: 232055 markings, 863982 edges, 1007 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 10 unknown unknown 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 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 213836 KB
lola: time consumption: 2862 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 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__33_21_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__33_21_)
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: 10
lola: 2480 markings, 8471 edges, 496 markings/sec, 0 secs
lola: 7650 markings, 27082 edges, 1034 markings/sec, 5 secs
lola: 12777 markings, 45453 edges, 1025 markings/sec, 10 secs
lola: 17982 markings, 63618 edges, 1041 markings/sec, 15 secs
lola: 23179 markings, 82196 edges, 1039 markings/sec, 20 secs
lola: 28410 markings, 99712 edges, 1046 markings/sec, 25 secs
lola: 33592 markings, 118718 edges, 1036 markings/sec, 30 secs
lola: 38752 markings, 136597 edges, 1032 markings/sec, 35 secs
lola: 43945 markings, 155296 edges, 1039 markings/sec, 40 secs
lola: 49150 markings, 173714 edges, 1041 markings/sec, 45 secs
lola: 54316 markings, 191352 edges, 1033 markings/sec, 50 secs
lola: 59533 markings, 209152 edges, 1043 markings/sec, 55 secs
lola: 64725 markings, 228113 edges, 1038 markings/sec, 60 secs
lola: 69888 markings, 248298 edges, 1033 markings/sec, 65 secs
lola: 75135 markings, 265798 edges, 1049 markings/sec, 70 secs
lola: 80364 markings, 283997 edges, 1046 markings/sec, 75 secs
lola: 85571 markings, 301494 edges, 1041 markings/sec, 80 secs
lola: 90762 markings, 319312 edges, 1038 markings/sec, 85 secs
lola: 95946 markings, 337261 edges, 1037 markings/sec, 90 secs
lola: 101144 markings, 355167 edges, 1040 markings/sec, 95 secs
lola: 106343 markings, 373486 edges, 1040 markings/sec, 100 secs
lola: 111540 markings, 391848 edges, 1039 markings/sec, 105 secs
lola: 116745 markings, 409973 edges, 1041 markings/sec, 110 secs
lola: 121966 markings, 427531 edges, 1044 markings/sec, 115 secs
lola: 127167 markings, 445973 edges, 1040 markings/sec, 120 secs
lola: 132367 markings, 463430 edges, 1040 markings/sec, 125 secs
lola: 137553 markings, 482138 edges, 1037 markings/sec, 130 secs
lola: 142766 markings, 500024 edges, 1043 markings/sec, 135 secs
lola: 147942 markings, 519201 edges, 1035 markings/sec, 140 secs
lola: 153162 markings, 536806 edges, 1044 markings/sec, 145 secs
lola: 158354 markings, 555041 edges, 1038 markings/sec, 150 secs
lola: 163544 markings, 573376 edges, 1038 markings/sec, 155 secs
lola: 168732 markings, 591703 edges, 1038 markings/sec, 160 secs
lola: 173925 markings, 610434 edges, 1039 markings/sec, 165 secs
lola: 179143 markings, 628123 edges, 1044 markings/sec, 170 secs
lola: 184347 markings, 646603 edges, 1041 markings/sec, 175 secs
lola: 189572 markings, 664307 edges, 1045 markings/sec, 180 secs
lola: 194775 markings, 683106 edges, 1041 markings/sec, 185 secs
lola: 199983 markings, 701324 edges, 1042 markings/sec, 190 secs
lola: 205154 markings, 721306 edges, 1034 markings/sec, 195 secs
lola: 210367 markings, 739174 edges, 1043 markings/sec, 200 secs
lola: 215597 markings, 756576 edges, 1046 markings/sec, 205 secs
lola: 220794 markings, 775582 edges, 1039 markings/sec, 210 secs
lola: 226008 markings, 793676 edges, 1043 markings/sec, 215 secs
lola: 231221 markings, 811665 edges, 1043 markings/sec, 220 secs
lola: 236426 markings, 829820 edges, 1041 markings/sec, 225 secs
lola: 241623 markings, 848435 edges, 1039 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 210848 KB
lola: time consumption: 3098 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 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_35_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_35_)
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: 10
lola: 2256 markings, 7532 edges, 451 markings/sec, 0 secs
lola: 7421 markings, 26536 edges, 1033 markings/sec, 5 secs
lola: 12612 markings, 44724 edges, 1038 markings/sec, 10 secs
lola: 17658 markings, 61884 edges, 1009 markings/sec, 15 secs
lola: 22705 markings, 78877 edges, 1009 markings/sec, 20 secs
lola: 27867 markings, 97132 edges, 1032 markings/sec, 25 secs
lola: 33038 markings, 115395 edges, 1034 markings/sec, 30 secs
lola: 38206 markings, 133271 edges, 1034 markings/sec, 35 secs
lola: 43389 markings, 151694 edges, 1037 markings/sec, 40 secs
lola: 48571 markings, 169457 edges, 1036 markings/sec, 45 secs
lola: 53687 markings, 186776 edges, 1023 markings/sec, 50 secs
lola: 58884 markings, 204769 edges, 1039 markings/sec, 55 secs
lola: 64086 markings, 223061 edges, 1040 markings/sec, 60 secs
lola: 69262 markings, 241365 edges, 1035 markings/sec, 65 secs
lola: 74441 markings, 259653 edges, 1036 markings/sec, 70 secs
lola: 79622 markings, 277808 edges, 1036 markings/sec, 75 secs
lola: 84806 markings, 295565 edges, 1037 markings/sec, 80 secs
lola: 89967 markings, 313193 edges, 1032 markings/sec, 85 secs
lola: 95086 markings, 332298 edges, 1024 markings/sec, 90 secs
lola: 100216 markings, 350693 edges, 1026 markings/sec, 95 secs
lola: 105362 markings, 368558 edges, 1029 markings/sec, 100 secs
lola: 110492 markings, 387277 edges, 1026 markings/sec, 105 secs
lola: 115633 markings, 405112 edges, 1028 markings/sec, 110 secs
lola: 120759 markings, 423465 edges, 1025 markings/sec, 115 secs
lola: 125874 markings, 442157 edges, 1023 markings/sec, 120 secs
lola: 131017 markings, 460094 edges, 1029 markings/sec, 125 secs
lola: 136182 markings, 478395 edges, 1033 markings/sec, 130 secs
lola: 141348 markings, 496542 edges, 1033 markings/sec, 135 secs
lola: 146511 markings, 514624 edges, 1033 markings/sec, 140 secs
lola: 151699 markings, 531963 edges, 1038 markings/sec, 145 secs
lola: 156890 markings, 550031 edges, 1038 markings/sec, 150 secs
lola: 162055 markings, 569177 edges, 1033 markings/sec, 155 secs
lola: 167234 markings, 587377 edges, 1036 markings/sec, 160 secs
lola: 172401 markings, 605707 edges, 1033 markings/sec, 165 secs
lola: 177577 markings, 622752 edges, 1035 markings/sec, 170 secs
lola: 182705 markings, 641608 edges, 1026 markings/sec, 175 secs
lola: 187853 markings, 659321 edges, 1030 markings/sec, 180 secs
lola: 193049 markings, 677526 edges, 1039 markings/sec, 185 secs
lola: 198259 markings, 694840 edges, 1042 markings/sec, 190 secs
lola: 203452 markings, 712222 edges, 1039 markings/sec, 195 secs
lola: 208619 markings, 729531 edges, 1033 markings/sec, 200 secs
lola: 213786 markings, 747122 edges, 1033 markings/sec, 205 secs
lola: 218959 markings, 764553 edges, 1035 markings/sec, 210 secs
lola: 224112 markings, 783555 edges, 1031 markings/sec, 215 secs
lola: 229284 markings, 801231 edges, 1034 markings/sec, 220 secs
lola: 234429 markings, 819686 edges, 1029 markings/sec, 225 secs
lola: 239572 markings, 839036 edges, 1029 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 213700 KB
lola: time consumption: 3334 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 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__27_31_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__27_31_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2315 markings, 8090 edges, 463 markings/sec, 0 secs
lola: 7405 markings, 26891 edges, 1018 markings/sec, 5 secs
lola: 12392 markings, 44333 edges, 997 markings/sec, 10 secs
lola: 17464 markings, 63138 edges, 1014 markings/sec, 15 secs
lola: 22525 markings, 82002 edges, 1012 markings/sec, 20 secs
lola: 27621 markings, 100169 edges, 1019 markings/sec, 25 secs
lola: 32711 markings, 118690 edges, 1018 markings/sec, 30 secs
lola: 37817 markings, 137222 edges, 1021 markings/sec, 35 secs
lola: 42919 markings, 155709 edges, 1020 markings/sec, 40 secs
lola: 48018 markings, 173860 edges, 1020 markings/sec, 45 secs
lola: 53123 markings, 192034 edges, 1021 markings/sec, 50 secs
lola: 58220 markings, 210160 edges, 1019 markings/sec, 55 secs
lola: 63290 markings, 229094 edges, 1014 markings/sec, 60 secs
lola: 68387 markings, 246676 edges, 1019 markings/sec, 65 secs
lola: 73459 markings, 265591 edges, 1014 markings/sec, 70 secs
lola: 78536 markings, 284766 edges, 1015 markings/sec, 75 secs
lola: 83642 markings, 303437 edges, 1021 markings/sec, 80 secs
lola: 88791 markings, 321346 edges, 1030 markings/sec, 85 secs
lola: 93914 markings, 340299 edges, 1025 markings/sec, 90 secs
lola: 99028 markings, 360117 edges, 1023 markings/sec, 95 secs
lola: 104193 markings, 377304 edges, 1033 markings/sec, 100 secs
lola: 109352 markings, 394475 edges, 1032 markings/sec, 105 secs
lola: 114516 markings, 411747 edges, 1033 markings/sec, 110 secs
lola: 119663 markings, 429954 edges, 1029 markings/sec, 115 secs
lola: 124774 markings, 446873 edges, 1022 markings/sec, 120 secs
lola: 129877 markings, 464746 edges, 1021 markings/sec, 125 secs
lola: 135026 markings, 482659 edges, 1030 markings/sec, 130 secs
lola: 140177 markings, 500755 edges, 1030 markings/sec, 135 secs
lola: 145321 markings, 519393 edges, 1029 markings/sec, 140 secs
lola: 150451 markings, 538855 edges, 1026 markings/sec, 145 secs
lola: 155577 markings, 557405 edges, 1025 markings/sec, 150 secs
lola: 160706 markings, 576123 edges, 1026 markings/sec, 155 secs
lola: 165835 markings, 594963 edges, 1026 markings/sec, 160 secs
lola: 170904 markings, 614205 edges, 1014 markings/sec, 165 secs
lola: 176050 markings, 632007 edges, 1029 markings/sec, 170 secs
lola: 181211 markings, 649979 edges, 1032 markings/sec, 175 secs
lola: 186283 markings, 667992 edges, 1014 markings/sec, 180 secs
lola: 191423 markings, 686365 edges, 1028 markings/sec, 185 secs
lola: 196569 markings, 704069 edges, 1029 markings/sec, 190 secs
lola: 201735 markings, 721934 edges, 1033 markings/sec, 195 secs
lola: 206884 markings, 740133 edges, 1030 markings/sec, 200 secs
lola: 212013 markings, 758599 edges, 1026 markings/sec, 205 secs
lola: 217137 markings, 777277 edges, 1025 markings/sec, 210 secs
lola: 222277 markings, 795492 edges, 1028 markings/sec, 215 secs
lola: 227419 markings, 814032 edges, 1028 markings/sec, 220 secs
lola: 232590 markings, 830966 edges, 1034 markings/sec, 225 secs
lola: 237731 markings, 849069 edges, 1028 markings/sec, 230 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown

preliminary result: unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 211448 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: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 211448 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 1552586348210

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

tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D40N010.tgz
mv Diffusion2D-PT-D40N010 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;