Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2019-input.r066-ebro-155234666500070.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is Diffusion2D-PT-D40N100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r066-ebro-155234666500070
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.8M
-rw-r--r-- 1 mcc users 4.4K Feb 10 21:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 10 21:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 6 17:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 6 17:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K Feb 4 23:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.9K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 3 07:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 3 07:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Jan 30 23:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 30 23:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 4.7M Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552921472763

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D40N100 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D40N100 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D40N100 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 13924/65536 symbol table entries, 3777 collisions
lola: preprocessing...
lola: Size of bit vector: 51200
lola: finding significant places
lola: 1600 places, 12324 transitions, 1599 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1600 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D40N100-UpperBounds.task
lola: MAX(cAMP__14_1_) : MAX(cAMP__27_32_) : MAX(cAMP__21_25_) : MAX(cAMP__37_14_) : MAX(cAMP__18_25_) : MAX(cAMP__26_23_) : MAX(cAMP__13_16_) : MAX(cAMP__24_29_) : MAX(cAMP__27_5_) : MAX(cAMP__11_24_) : MAX(cAMP__2_13_) : MAX(cAMP__11_19_) : MAX(cAMP__1_4_) : MAX(cAMP__23_9_) : MAX(cAMP__14_24_) : MAX(cAMP__19_31_)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__14_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_1_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 2119 markings, 7736 edges, 424 markings/sec, 0 secs
lola: 6355 markings, 22610 edges, 847 markings/sec, 5 secs
lola: 10571 markings, 37733 edges, 843 markings/sec, 10 secs
lola: 14818 markings, 52993 edges, 849 markings/sec, 15 secs
lola: 19032 markings, 67774 edges, 843 markings/sec, 20 secs
lola: 23370 markings, 80942 edges, 868 markings/sec, 25 secs
lola: 27655 markings, 94542 edges, 857 markings/sec, 30 secs
lola: 31933 markings, 108960 edges, 856 markings/sec, 35 secs
lola: 36183 markings, 124473 edges, 850 markings/sec, 40 secs
lola: 40447 markings, 139359 edges, 853 markings/sec, 45 secs
lola: 44765 markings, 153484 edges, 864 markings/sec, 50 secs
lola: 49069 markings, 167259 edges, 861 markings/sec, 55 secs
lola: 53289 markings, 182106 edges, 844 markings/sec, 60 secs
lola: 57527 markings, 197223 edges, 848 markings/sec, 65 secs
lola: 61795 markings, 211472 edges, 854 markings/sec, 70 secs
lola: 66076 markings, 225837 edges, 856 markings/sec, 75 secs
lola: 70364 markings, 239413 edges, 858 markings/sec, 80 secs
lola: 74603 markings, 254501 edges, 848 markings/sec, 85 secs
lola: 78845 markings, 269959 edges, 848 markings/sec, 90 secs
lola: 83116 markings, 283953 edges, 854 markings/sec, 95 secs
lola: 87386 markings, 297966 edges, 854 markings/sec, 100 secs
lola: 91638 markings, 311875 edges, 850 markings/sec, 105 secs
lola: 95829 markings, 327057 edges, 838 markings/sec, 110 secs
lola: 100002 markings, 341930 edges, 835 markings/sec, 115 secs
lola: 104282 markings, 355986 edges, 856 markings/sec, 120 secs
lola: 108571 markings, 369658 edges, 858 markings/sec, 125 secs
lola: 112839 markings, 383366 edges, 854 markings/sec, 130 secs
lola: 117142 markings, 396062 edges, 861 markings/sec, 135 secs
lola: 121422 markings, 408241 edges, 856 markings/sec, 140 secs
lola: 125661 markings, 421779 edges, 848 markings/sec, 145 secs
lola: 129910 markings, 435539 edges, 850 markings/sec, 150 secs
lola: 134152 markings, 449020 edges, 848 markings/sec, 155 secs
lola: 138389 markings, 463492 edges, 847 markings/sec, 160 secs
lola: 142651 markings, 476707 edges, 852 markings/sec, 165 secs
lola: 146902 markings, 490213 edges, 850 markings/sec, 170 secs
lola: 151021 markings, 503342 edges, 824 markings/sec, 175 secs
lola: 155254 markings, 515311 edges, 847 markings/sec, 180 secs
lola: 159510 markings, 527253 edges, 851 markings/sec, 185 secs
lola: 163735 markings, 540532 edges, 845 markings/sec, 190 secs
lola: 167937 markings, 553624 edges, 840 markings/sec, 195 secs
lola: 172181 markings, 566540 edges, 849 markings/sec, 200 secs
lola: 176234 markings, 578278 edges, 811 markings/sec, 205 secs
lola: 180270 markings, 590638 edges, 807 markings/sec, 210 secs
lola: 184402 markings, 603698 edges, 826 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: 93680 KB
lola: time consumption: 239 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__27_32_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__27_32_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 2088 markings, 7060 edges, 418 markings/sec, 0 secs
lola: 6365 markings, 22263 edges, 855 markings/sec, 5 secs
lola: 10586 markings, 37246 edges, 844 markings/sec, 10 secs
lola: 14773 markings, 51090 edges, 837 markings/sec, 15 secs
lola: 18999 markings, 65773 edges, 845 markings/sec, 20 secs
lola: 23219 markings, 80810 edges, 844 markings/sec, 25 secs
lola: 27340 markings, 96505 edges, 824 markings/sec, 30 secs
lola: 31655 markings, 112315 edges, 863 markings/sec, 35 secs
lola: 35944 markings, 127466 edges, 858 markings/sec, 40 secs
lola: 40193 markings, 143928 edges, 850 markings/sec, 45 secs
lola: 44455 markings, 159153 edges, 852 markings/sec, 50 secs
lola: 48723 markings, 174792 edges, 854 markings/sec, 55 secs
lola: 52828 markings, 189273 edges, 821 markings/sec, 60 secs
lola: 57086 markings, 204493 edges, 852 markings/sec, 65 secs
lola: 61402 markings, 220100 edges, 863 markings/sec, 70 secs
lola: 65668 markings, 234772 edges, 853 markings/sec, 75 secs
lola: 69905 markings, 248786 edges, 847 markings/sec, 80 secs
lola: 74133 markings, 263997 edges, 846 markings/sec, 85 secs
lola: 78379 markings, 279870 edges, 849 markings/sec, 90 secs
lola: 82606 markings, 296053 edges, 845 markings/sec, 95 secs
lola: 86873 markings, 312208 edges, 853 markings/sec, 100 secs
lola: 91072 markings, 327772 edges, 840 markings/sec, 105 secs
lola: 95334 markings, 344811 edges, 852 markings/sec, 110 secs
lola: 99619 markings, 360417 edges, 857 markings/sec, 115 secs
lola: 103842 markings, 375411 edges, 845 markings/sec, 120 secs
lola: 108053 markings, 391698 edges, 842 markings/sec, 125 secs
lola: 112254 markings, 406101 edges, 840 markings/sec, 130 secs
lola: 116418 markings, 420440 edges, 833 markings/sec, 135 secs
lola: 120674 markings, 435737 edges, 851 markings/sec, 140 secs
lola: 124924 markings, 451905 edges, 850 markings/sec, 145 secs
lola: 129181 markings, 467492 edges, 851 markings/sec, 150 secs
lola: 133467 markings, 482502 edges, 857 markings/sec, 155 secs
lola: 137726 markings, 499019 edges, 852 markings/sec, 160 secs
lola: 141997 markings, 514214 edges, 854 markings/sec, 165 secs
lola: 146160 markings, 529585 edges, 833 markings/sec, 170 secs
lola: 150427 markings, 544635 edges, 853 markings/sec, 175 secs
lola: 154657 markings, 559957 edges, 846 markings/sec, 180 secs
lola: 158985 markings, 575200 edges, 866 markings/sec, 185 secs
lola: 163357 markings, 590156 edges, 874 markings/sec, 190 secs
lola: 167611 markings, 604628 edges, 851 markings/sec, 195 secs
lola: 171855 markings, 619125 edges, 849 markings/sec, 200 secs
lola: 176220 markings, 634243 edges, 873 markings/sec, 205 secs
lola: 180554 markings, 647969 edges, 867 markings/sec, 210 secs
lola: 184882 markings, 660738 edges, 866 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: 90896 KB
lola: time consumption: 461 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__21_25_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__21_25_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 2109 markings, 5821 edges, 422 markings/sec, 0 secs
lola: 6346 markings, 19168 edges, 847 markings/sec, 5 secs
lola: 10616 markings, 33124 edges, 854 markings/sec, 10 secs
lola: 14918 markings, 46941 edges, 860 markings/sec, 15 secs
lola: 19202 markings, 60482 edges, 857 markings/sec, 20 secs
lola: 23568 markings, 74608 edges, 873 markings/sec, 25 secs
lola: 27937 markings, 88003 edges, 874 markings/sec, 30 secs
lola: 32288 markings, 102240 edges, 870 markings/sec, 35 secs
lola: 36602 markings, 115937 edges, 863 markings/sec, 40 secs
lola: 40936 markings, 130090 edges, 867 markings/sec, 45 secs
lola: 45262 markings, 144633 edges, 865 markings/sec, 50 secs
lola: 49597 markings, 158214 edges, 867 markings/sec, 55 secs
lola: 53959 markings, 171435 edges, 872 markings/sec, 60 secs
lola: 58310 markings, 185714 edges, 870 markings/sec, 65 secs
lola: 62674 markings, 199469 edges, 873 markings/sec, 70 secs
lola: 67039 markings, 213186 edges, 873 markings/sec, 75 secs
lola: 71423 markings, 226826 edges, 877 markings/sec, 80 secs
lola: 75807 markings, 240944 edges, 877 markings/sec, 85 secs
lola: 80121 markings, 254190 edges, 863 markings/sec, 90 secs
lola: 84424 markings, 269145 edges, 861 markings/sec, 95 secs
lola: 88744 markings, 284858 edges, 864 markings/sec, 100 secs
lola: 93083 markings, 299557 edges, 868 markings/sec, 105 secs
lola: 97347 markings, 315027 edges, 853 markings/sec, 110 secs
lola: 101702 markings, 328953 edges, 871 markings/sec, 115 secs
lola: 106049 markings, 343309 edges, 869 markings/sec, 120 secs
lola: 110419 markings, 357417 edges, 874 markings/sec, 125 secs
lola: 114738 markings, 371457 edges, 864 markings/sec, 130 secs
lola: 119105 markings, 385272 edges, 873 markings/sec, 135 secs
lola: 123410 markings, 399597 edges, 861 markings/sec, 140 secs
lola: 127746 markings, 414640 edges, 867 markings/sec, 145 secs
lola: 132079 markings, 429965 edges, 867 markings/sec, 150 secs
lola: 136437 markings, 444334 edges, 872 markings/sec, 155 secs
lola: 140789 markings, 458285 edges, 870 markings/sec, 160 secs
lola: 145093 markings, 472624 edges, 861 markings/sec, 165 secs
lola: 149463 markings, 486558 edges, 874 markings/sec, 170 secs
lola: 153791 markings, 500575 edges, 866 markings/sec, 175 secs
lola: 158152 markings, 514516 edges, 872 markings/sec, 180 secs
lola: 162516 markings, 528063 edges, 873 markings/sec, 185 secs
lola: 166814 markings, 542092 edges, 860 markings/sec, 190 secs
lola: 171145 markings, 556162 edges, 866 markings/sec, 195 secs
lola: 175480 markings, 570292 edges, 867 markings/sec, 200 secs
lola: 179826 markings, 584478 edges, 869 markings/sec, 205 secs
lola: 184151 markings, 598384 edges, 865 markings/sec, 210 secs
lola: 188483 markings, 612007 edges, 866 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: 96848 KB
lola: time consumption: 683 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__37_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__37_14_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 2197 markings, 7643 edges, 439 markings/sec, 0 secs
lola: 6527 markings, 23581 edges, 866 markings/sec, 5 secs
lola: 10825 markings, 40027 edges, 860 markings/sec, 10 secs
lola: 15104 markings, 56161 edges, 856 markings/sec, 15 secs
lola: 19416 markings, 71151 edges, 862 markings/sec, 20 secs
lola: 23705 markings, 86678 edges, 858 markings/sec, 25 secs
lola: 27974 markings, 103017 edges, 854 markings/sec, 30 secs
lola: 32277 markings, 118548 edges, 861 markings/sec, 35 secs
lola: 36526 markings, 134936 edges, 850 markings/sec, 40 secs
lola: 40844 markings, 149979 edges, 864 markings/sec, 45 secs
lola: 45133 markings, 166430 edges, 858 markings/sec, 50 secs
lola: 49414 markings, 182405 edges, 856 markings/sec, 55 secs
lola: 53673 markings, 199042 edges, 852 markings/sec, 60 secs
lola: 57963 markings, 215967 edges, 858 markings/sec, 65 secs
lola: 62255 markings, 231353 edges, 858 markings/sec, 70 secs
lola: 66506 markings, 247728 edges, 850 markings/sec, 75 secs
lola: 70773 markings, 262987 edges, 853 markings/sec, 80 secs
lola: 75098 markings, 278854 edges, 865 markings/sec, 85 secs
lola: 79463 markings, 294290 edges, 873 markings/sec, 90 secs
lola: 83802 markings, 310271 edges, 868 markings/sec, 95 secs
lola: 88116 markings, 326599 edges, 863 markings/sec, 100 secs
lola: 92403 markings, 341577 edges, 857 markings/sec, 105 secs
lola: 96597 markings, 357693 edges, 839 markings/sec, 110 secs
lola: 100878 markings, 373648 edges, 856 markings/sec, 115 secs
lola: 105184 markings, 390502 edges, 861 markings/sec, 120 secs
lola: 109480 markings, 407440 edges, 859 markings/sec, 125 secs
lola: 113854 markings, 423101 edges, 875 markings/sec, 130 secs
lola: 118148 markings, 439603 edges, 859 markings/sec, 135 secs
lola: 122454 markings, 455013 edges, 861 markings/sec, 140 secs
lola: 126701 markings, 470639 edges, 849 markings/sec, 145 secs
lola: 130999 markings, 485829 edges, 860 markings/sec, 150 secs
lola: 135276 markings, 501593 edges, 855 markings/sec, 155 secs
lola: 139463 markings, 517494 edges, 837 markings/sec, 160 secs
lola: 143745 markings, 532523 edges, 856 markings/sec, 165 secs
lola: 148005 markings, 548666 edges, 852 markings/sec, 170 secs
lola: 152291 markings, 564719 edges, 857 markings/sec, 175 secs
lola: 156556 markings, 581347 edges, 853 markings/sec, 180 secs
lola: 160827 markings, 598394 edges, 854 markings/sec, 185 secs
lola: 165168 markings, 613905 edges, 868 markings/sec, 190 secs
lola: 169502 markings, 630491 edges, 867 markings/sec, 195 secs
lola: 173873 markings, 646144 edges, 874 markings/sec, 200 secs
lola: 178200 markings, 662038 edges, 865 markings/sec, 205 secs
lola: 182564 markings, 677429 edges, 873 markings/sec, 210 secs
lola: 186886 markings, 693425 edges, 864 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: 97376 KB
lola: time consumption: 905 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_25_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_25_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 2184 markings, 6538 edges, 437 markings/sec, 0 secs
lola: 6588 markings, 21416 edges, 881 markings/sec, 5 secs
lola: 10974 markings, 36535 edges, 877 markings/sec, 10 secs
lola: 15361 markings, 51603 edges, 877 markings/sec, 15 secs
lola: 19745 markings, 66808 edges, 877 markings/sec, 20 secs
lola: 24101 markings, 82526 edges, 871 markings/sec, 25 secs
lola: 28478 markings, 97770 edges, 875 markings/sec, 30 secs
lola: 32838 markings, 114263 edges, 872 markings/sec, 35 secs
lola: 37199 markings, 130496 edges, 872 markings/sec, 40 secs
lola: 41530 markings, 147023 edges, 866 markings/sec, 45 secs
lola: 45928 markings, 161358 edges, 880 markings/sec, 50 secs
lola: 50244 markings, 176463 edges, 863 markings/sec, 55 secs
lola: 54531 markings, 191776 edges, 857 markings/sec, 60 secs
lola: 58838 markings, 205213 edges, 861 markings/sec, 65 secs
lola: 63210 markings, 219272 edges, 874 markings/sec, 70 secs
lola: 67581 markings, 233252 edges, 874 markings/sec, 75 secs
lola: 71939 markings, 248246 edges, 872 markings/sec, 80 secs
lola: 76218 markings, 263775 edges, 856 markings/sec, 85 secs
lola: 80549 markings, 279173 edges, 866 markings/sec, 90 secs
lola: 84805 markings, 294060 edges, 851 markings/sec, 95 secs
lola: 89147 markings, 308318 edges, 868 markings/sec, 100 secs
lola: 93441 markings, 322917 edges, 859 markings/sec, 105 secs
lola: 97776 markings, 338153 edges, 867 markings/sec, 110 secs
lola: 102143 markings, 351955 edges, 873 markings/sec, 115 secs
lola: 106484 markings, 366667 edges, 868 markings/sec, 120 secs
lola: 110851 markings, 381111 edges, 873 markings/sec, 125 secs
lola: 115167 markings, 397108 edges, 863 markings/sec, 130 secs
lola: 119480 markings, 411862 edges, 863 markings/sec, 135 secs
lola: 123786 markings, 425536 edges, 861 markings/sec, 140 secs
lola: 128158 markings, 439972 edges, 874 markings/sec, 145 secs
lola: 132538 markings, 454006 edges, 876 markings/sec, 150 secs
lola: 136922 markings, 468692 edges, 877 markings/sec, 155 secs
lola: 141314 markings, 482922 edges, 878 markings/sec, 160 secs
lola: 145664 markings, 498242 edges, 870 markings/sec, 165 secs
lola: 150026 markings, 512581 edges, 872 markings/sec, 170 secs
lola: 154357 markings, 527393 edges, 866 markings/sec, 175 secs
lola: 158748 markings, 541803 edges, 878 markings/sec, 180 secs
lola: 163139 markings, 556080 edges, 878 markings/sec, 185 secs
lola: 167515 markings, 570800 edges, 875 markings/sec, 190 secs
lola: 171918 markings, 585281 edges, 881 markings/sec, 195 secs
lola: 176191 markings, 600459 edges, 855 markings/sec, 200 secs
lola: 180495 markings, 614898 edges, 861 markings/sec, 205 secs
lola: 184821 markings, 629117 edges, 865 markings/sec, 210 secs
lola: 189175 markings, 643572 edges, 871 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: 110704 KB
lola: time consumption: 1127 seconds
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__26_23_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__26_23_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 2133 markings, 7476 edges, 427 markings/sec, 0 secs
lola: 6505 markings, 22447 edges, 874 markings/sec, 5 secs
lola: 10857 markings, 38061 edges, 870 markings/sec, 10 secs
lola: 15185 markings, 54307 edges, 866 markings/sec, 15 secs
lola: 19407 markings, 69735 edges, 844 markings/sec, 20 secs
lola: 23762 markings, 85131 edges, 871 markings/sec, 25 secs
lola: 28090 markings, 100769 edges, 866 markings/sec, 30 secs
lola: 32424 markings, 116327 edges, 867 markings/sec, 35 secs
lola: 36742 markings, 131828 edges, 864 markings/sec, 40 secs
lola: 41043 markings, 148556 edges, 860 markings/sec, 45 secs
lola: 45330 markings, 163533 edges, 857 markings/sec, 50 secs
lola: 49686 markings, 177281 edges, 871 markings/sec, 55 secs
lola: 54002 markings, 191572 edges, 863 markings/sec, 60 secs
lola: 58330 markings, 205883 edges, 866 markings/sec, 65 secs
lola: 62645 markings, 220549 edges, 863 markings/sec, 70 secs
lola: 66932 markings, 236256 edges, 857 markings/sec, 75 secs
lola: 71232 markings, 251874 edges, 860 markings/sec, 80 secs
lola: 75547 markings, 267153 edges, 863 markings/sec, 85 secs
lola: 79873 markings, 282348 edges, 865 markings/sec, 90 secs
lola: 84159 markings, 297706 edges, 857 markings/sec, 95 secs
lola: 88474 markings, 313894 edges, 863 markings/sec, 100 secs
lola: 92789 markings, 328767 edges, 863 markings/sec, 105 secs
lola: 97084 markings, 343212 edges, 859 markings/sec, 110 secs
lola: 101402 markings, 358632 edges, 864 markings/sec, 115 secs
lola: 105712 markings, 374763 edges, 862 markings/sec, 120 secs
lola: 110014 markings, 389604 edges, 860 markings/sec, 125 secs
lola: 114315 markings, 404859 edges, 860 markings/sec, 130 secs
lola: 118626 markings, 419450 edges, 862 markings/sec, 135 secs
lola: 122921 markings, 435044 edges, 859 markings/sec, 140 secs
lola: 127265 markings, 449176 edges, 869 markings/sec, 145 secs
lola: 131602 markings, 463164 edges, 867 markings/sec, 150 secs
lola: 135923 markings, 478054 edges, 864 markings/sec, 155 secs
lola: 140235 markings, 493422 edges, 862 markings/sec, 160 secs
lola: 144520 markings, 509487 edges, 857 markings/sec, 165 secs
lola: 148810 markings, 526219 edges, 858 markings/sec, 170 secs
lola: 153078 markings, 540931 edges, 854 markings/sec, 175 secs
lola: 157350 markings, 555768 edges, 854 markings/sec, 180 secs
lola: 161678 markings, 570543 edges, 866 markings/sec, 185 secs
lola: 165965 markings, 585530 edges, 857 markings/sec, 190 secs
lola: 170295 markings, 600511 edges, 866 markings/sec, 195 secs
lola: 174621 markings, 615635 edges, 865 markings/sec, 200 secs
lola: 178948 markings, 630284 edges, 865 markings/sec, 205 secs
lola: 183281 markings, 645075 edges, 867 markings/sec, 210 secs
lola: 187626 markings, 659877 edges, 869 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: 95368 KB
lola: time consumption: 1349 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__13_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__13_16_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 2157 markings, 7422 edges, 431 markings/sec, 0 secs
lola: 6458 markings, 21999 edges, 860 markings/sec, 5 secs
lola: 10684 markings, 36310 edges, 845 markings/sec, 10 secs
lola: 14950 markings, 51951 edges, 853 markings/sec, 15 secs
lola: 19228 markings, 67094 edges, 856 markings/sec, 20 secs
lola: 23521 markings, 82279 edges, 859 markings/sec, 25 secs
lola: 27821 markings, 97359 edges, 860 markings/sec, 30 secs
lola: 32109 markings, 112909 edges, 858 markings/sec, 35 secs
lola: 36331 markings, 127671 edges, 844 markings/sec, 40 secs
lola: 40589 markings, 143021 edges, 852 markings/sec, 45 secs
lola: 44839 markings, 157979 edges, 850 markings/sec, 50 secs
lola: 49085 markings, 173630 edges, 849 markings/sec, 55 secs
lola: 53342 markings, 188720 edges, 851 markings/sec, 60 secs
lola: 57596 markings, 204305 edges, 851 markings/sec, 65 secs
lola: 61856 markings, 219389 edges, 852 markings/sec, 70 secs
lola: 66133 markings, 233667 edges, 855 markings/sec, 75 secs
lola: 70396 markings, 248637 edges, 853 markings/sec, 80 secs
lola: 74714 markings, 264110 edges, 864 markings/sec, 85 secs
lola: 79018 markings, 279813 edges, 861 markings/sec, 90 secs
lola: 83316 markings, 294818 edges, 860 markings/sec, 95 secs
lola: 87599 markings, 310123 edges, 857 markings/sec, 100 secs
lola: 91887 markings, 325158 edges, 858 markings/sec, 105 secs
lola: 96153 markings, 340117 edges, 853 markings/sec, 110 secs
lola: 100431 markings, 354344 edges, 856 markings/sec, 115 secs
lola: 104751 markings, 368654 edges, 864 markings/sec, 120 secs
lola: 108982 markings, 384110 edges, 846 markings/sec, 125 secs
lola: 113262 markings, 399406 edges, 856 markings/sec, 130 secs
lola: 117527 markings, 414428 edges, 853 markings/sec, 135 secs
lola: 121794 markings, 430142 edges, 853 markings/sec, 140 secs
lola: 126036 markings, 445703 edges, 848 markings/sec, 145 secs
lola: 130244 markings, 462265 edges, 842 markings/sec, 150 secs
lola: 134473 markings, 478565 edges, 846 markings/sec, 155 secs
lola: 138718 markings, 494286 edges, 849 markings/sec, 160 secs
lola: 142944 markings, 511101 edges, 845 markings/sec, 165 secs
lola: 147150 markings, 528848 edges, 841 markings/sec, 170 secs
lola: 151367 markings, 546810 edges, 843 markings/sec, 175 secs
lola: 155538 markings, 563321 edges, 834 markings/sec, 180 secs
lola: 159779 markings, 578658 edges, 848 markings/sec, 185 secs
lola: 163970 markings, 593844 edges, 838 markings/sec, 190 secs
lola: 168261 markings, 608075 edges, 858 markings/sec, 195 secs
lola: 172558 markings, 623311 edges, 859 markings/sec, 200 secs
lola: 176882 markings, 637950 edges, 865 markings/sec, 205 secs
lola: 181148 markings, 653252 edges, 853 markings/sec, 210 secs
lola: 185436 markings, 668415 edges, 858 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: 92464 KB
lola: time consumption: 1571 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__24_29_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_29_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 2148 markings, 6775 edges, 430 markings/sec, 0 secs
lola: 6530 markings, 20922 edges, 876 markings/sec, 5 secs
lola: 10881 markings, 35565 edges, 870 markings/sec, 10 secs
lola: 15229 markings, 50047 edges, 870 markings/sec, 15 secs
lola: 19579 markings, 65097 edges, 870 markings/sec, 20 secs
lola: 23845 markings, 80907 edges, 853 markings/sec, 25 secs
lola: 28213 markings, 95242 edges, 874 markings/sec, 30 secs
lola: 32559 markings, 109856 edges, 869 markings/sec, 35 secs
lola: 36892 markings, 124503 edges, 867 markings/sec, 40 secs
lola: 41226 markings, 138660 edges, 867 markings/sec, 45 secs
lola: 45554 markings, 152880 edges, 866 markings/sec, 50 secs
lola: 49907 markings, 166995 edges, 871 markings/sec, 55 secs
lola: 54266 markings, 181291 edges, 872 markings/sec, 60 secs
lola: 58613 markings, 195417 edges, 869 markings/sec, 65 secs
lola: 62981 markings, 209383 edges, 874 markings/sec, 70 secs
lola: 67312 markings, 223811 edges, 866 markings/sec, 75 secs
lola: 71628 markings, 238268 edges, 863 markings/sec, 80 secs
lola: 75926 markings, 252216 edges, 860 markings/sec, 85 secs
lola: 80227 markings, 266522 edges, 860 markings/sec, 90 secs
lola: 84543 markings, 281012 edges, 863 markings/sec, 95 secs
lola: 88908 markings, 295225 edges, 873 markings/sec, 100 secs
lola: 93246 markings, 310294 edges, 868 markings/sec, 105 secs
lola: 97568 markings, 325950 edges, 864 markings/sec, 110 secs
lola: 101929 markings, 340450 edges, 872 markings/sec, 115 secs
lola: 106266 markings, 355260 edges, 867 markings/sec, 120 secs
lola: 110619 markings, 369527 edges, 871 markings/sec, 125 secs
lola: 115002 markings, 383707 edges, 877 markings/sec, 130 secs
lola: 119388 markings, 397525 edges, 877 markings/sec, 135 secs
lola: 123705 markings, 411608 edges, 863 markings/sec, 140 secs
lola: 128017 markings, 426296 edges, 862 markings/sec, 145 secs
lola: 132338 markings, 440152 edges, 864 markings/sec, 150 secs
lola: 136647 markings, 454105 edges, 862 markings/sec, 155 secs
lola: 140932 markings, 468513 edges, 857 markings/sec, 160 secs
lola: 145223 markings, 482430 edges, 858 markings/sec, 165 secs
lola: 149550 markings, 496670 edges, 865 markings/sec, 170 secs
lola: 153860 markings, 510957 edges, 862 markings/sec, 175 secs
lola: 158176 markings, 524863 edges, 863 markings/sec, 180 secs
lola: 162481 markings, 538947 edges, 861 markings/sec, 185 secs
lola: 166765 markings, 553523 edges, 857 markings/sec, 190 secs
lola: 171048 markings, 567474 edges, 857 markings/sec, 195 secs
lola: 175324 markings, 583293 edges, 855 markings/sec, 200 secs
lola: 179615 markings, 598403 edges, 858 markings/sec, 205 secs
lola: 183911 markings, 613250 edges, 859 markings/sec, 210 secs
lola: 188199 markings, 627281 edges, 858 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: 98892 KB
lola: time consumption: 1793 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__27_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__27_5_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 2142 markings, 7238 edges, 428 markings/sec, 0 secs
lola: 6449 markings, 22257 edges, 861 markings/sec, 5 secs
lola: 10716 markings, 37133 edges, 853 markings/sec, 10 secs
lola: 14971 markings, 50838 edges, 851 markings/sec, 15 secs
lola: 19234 markings, 65180 edges, 853 markings/sec, 20 secs
lola: 23516 markings, 78627 edges, 856 markings/sec, 25 secs
lola: 27838 markings, 93632 edges, 864 markings/sec, 30 secs
lola: 32105 markings, 107778 edges, 853 markings/sec, 35 secs
lola: 36387 markings, 122418 edges, 856 markings/sec, 40 secs
lola: 40676 markings, 137351 edges, 858 markings/sec, 45 secs
lola: 44956 markings, 152351 edges, 856 markings/sec, 50 secs
lola: 49187 markings, 166917 edges, 846 markings/sec, 55 secs
lola: 53400 markings, 182682 edges, 843 markings/sec, 60 secs
lola: 57700 markings, 196178 edges, 860 markings/sec, 65 secs
lola: 61988 markings, 210721 edges, 858 markings/sec, 70 secs
lola: 66289 markings, 224716 edges, 860 markings/sec, 75 secs
lola: 70591 markings, 239202 edges, 860 markings/sec, 80 secs
lola: 74887 markings, 253915 edges, 859 markings/sec, 85 secs
lola: 79153 markings, 269165 edges, 853 markings/sec, 90 secs
lola: 83436 markings, 283656 edges, 857 markings/sec, 95 secs
lola: 87713 markings, 298027 edges, 855 markings/sec, 100 secs
lola: 92009 markings, 312576 edges, 859 markings/sec, 105 secs
lola: 96300 markings, 327430 edges, 858 markings/sec, 110 secs
lola: 100622 markings, 341902 edges, 864 markings/sec, 115 secs
lola: 104928 markings, 357205 edges, 861 markings/sec, 120 secs
lola: 109165 markings, 372008 edges, 847 markings/sec, 125 secs
lola: 113450 markings, 387062 edges, 857 markings/sec, 130 secs
lola: 117739 markings, 400941 edges, 858 markings/sec, 135 secs
lola: 122028 markings, 415707 edges, 858 markings/sec, 140 secs
lola: 126316 markings, 429666 edges, 858 markings/sec, 145 secs
lola: 130626 markings, 444264 edges, 862 markings/sec, 150 secs
lola: 134905 markings, 460044 edges, 856 markings/sec, 155 secs
lola: 139204 markings, 475098 edges, 860 markings/sec, 160 secs
lola: 143507 markings, 489486 edges, 861 markings/sec, 165 secs
lola: 147736 markings, 503978 edges, 846 markings/sec, 170 secs
lola: 152019 markings, 518639 edges, 857 markings/sec, 175 secs
lola: 156270 markings, 532208 edges, 850 markings/sec, 180 secs
lola: 160591 markings, 545752 edges, 864 markings/sec, 185 secs
lola: 164908 markings, 559402 edges, 863 markings/sec, 190 secs
lola: 169250 markings, 572052 edges, 868 markings/sec, 195 secs
lola: 173566 markings, 585240 edges, 863 markings/sec, 200 secs
lola: 177870 markings, 599208 edges, 861 markings/sec, 205 secs
lola: 182173 markings, 612991 edges, 861 markings/sec, 210 secs
lola: 186503 markings, 626277 edges, 866 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: 95232 KB
lola: time consumption: 2015 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__11_24_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_24_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 2144 markings, 7254 edges, 429 markings/sec, 0 secs
lola: 6458 markings, 22566 edges, 863 markings/sec, 5 secs
lola: 10756 markings, 37599 edges, 860 markings/sec, 10 secs
lola: 15010 markings, 51694 edges, 851 markings/sec, 15 secs
lola: 19220 markings, 65908 edges, 842 markings/sec, 20 secs
lola: 23545 markings, 81062 edges, 865 markings/sec, 25 secs
lola: 27873 markings, 96488 edges, 866 markings/sec, 30 secs
lola: 32210 markings, 111921 edges, 867 markings/sec, 35 secs
lola: 36580 markings, 126829 edges, 874 markings/sec, 40 secs
lola: 40898 markings, 142325 edges, 864 markings/sec, 45 secs
lola: 45214 markings, 157478 edges, 863 markings/sec, 50 secs
lola: 49527 markings, 172658 edges, 863 markings/sec, 55 secs
lola: 53863 markings, 187985 edges, 867 markings/sec, 60 secs
lola: 58196 markings, 203109 edges, 867 markings/sec, 65 secs
lola: 62523 markings, 217700 edges, 865 markings/sec, 70 secs
lola: 66853 markings, 232868 edges, 866 markings/sec, 75 secs
lola: 71203 markings, 247500 edges, 870 markings/sec, 80 secs
lola: 75542 markings, 262693 edges, 868 markings/sec, 85 secs
lola: 79848 markings, 277220 edges, 861 markings/sec, 90 secs
lola: 84173 markings, 291838 edges, 865 markings/sec, 95 secs
lola: 88489 markings, 306795 edges, 863 markings/sec, 100 secs
lola: 92813 markings, 321274 edges, 865 markings/sec, 105 secs
lola: 97134 markings, 336199 edges, 864 markings/sec, 110 secs
lola: 101441 markings, 351133 edges, 861 markings/sec, 115 secs
lola: 105774 markings, 366010 edges, 867 markings/sec, 120 secs
lola: 110096 markings, 379308 edges, 864 markings/sec, 125 secs
lola: 114381 markings, 393864 edges, 857 markings/sec, 130 secs
lola: 118675 markings, 408585 edges, 859 markings/sec, 135 secs
lola: 122987 markings, 423005 edges, 862 markings/sec, 140 secs
lola: 127272 markings, 437515 edges, 857 markings/sec, 145 secs
lola: 131566 markings, 451574 edges, 859 markings/sec, 150 secs
lola: 135849 markings, 466354 edges, 857 markings/sec, 155 secs
lola: 140123 markings, 481851 edges, 855 markings/sec, 160 secs
lola: 144416 markings, 497050 edges, 859 markings/sec, 165 secs
lola: 148724 markings, 511454 edges, 862 markings/sec, 170 secs
lola: 153015 markings, 525797 edges, 858 markings/sec, 175 secs
lola: 157335 markings, 540980 edges, 864 markings/sec, 180 secs
lola: 161628 markings, 555572 edges, 859 markings/sec, 185 secs
lola: 165888 markings, 571099 edges, 852 markings/sec, 190 secs
lola: 170162 markings, 586621 edges, 855 markings/sec, 195 secs
lola: 174442 markings, 602906 edges, 856 markings/sec, 200 secs
lola: 178764 markings, 618125 edges, 864 markings/sec, 205 secs
lola: 183075 markings, 632834 edges, 862 markings/sec, 210 secs
lola: 187366 markings, 647669 edges, 858 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: 95360 KB
lola: time consumption: 2237 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_13_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 2160 markings, 7245 edges, 432 markings/sec, 0 secs
lola: 6415 markings, 22119 edges, 851 markings/sec, 5 secs
lola: 10723 markings, 37188 edges, 862 markings/sec, 10 secs
lola: 14937 markings, 51624 edges, 843 markings/sec, 15 secs
lola: 19223 markings, 66389 edges, 857 markings/sec, 20 secs
lola: 23577 markings, 80145 edges, 871 markings/sec, 25 secs
lola: 27877 markings, 95841 edges, 860 markings/sec, 30 secs
lola: 32218 markings, 110253 edges, 868 markings/sec, 35 secs
lola: 36528 markings, 125520 edges, 862 markings/sec, 40 secs
lola: 40817 markings, 141862 edges, 858 markings/sec, 45 secs
lola: 45038 markings, 157186 edges, 844 markings/sec, 50 secs
lola: 49347 markings, 171643 edges, 862 markings/sec, 55 secs
lola: 53626 markings, 185756 edges, 856 markings/sec, 60 secs
lola: 58033 markings, 200421 edges, 881 markings/sec, 65 secs
lola: 62286 markings, 214076 edges, 851 markings/sec, 70 secs
lola: 66521 markings, 229392 edges, 847 markings/sec, 75 secs
lola: 70805 markings, 245106 edges, 857 markings/sec, 80 secs
lola: 75141 markings, 259574 edges, 867 markings/sec, 85 secs
lola: 79458 markings, 274794 edges, 863 markings/sec, 90 secs
lola: 83757 markings, 289878 edges, 860 markings/sec, 95 secs
lola: 88061 markings, 304149 edges, 861 markings/sec, 100 secs
lola: 92384 markings, 317746 edges, 865 markings/sec, 105 secs
lola: 96588 markings, 331697 edges, 841 markings/sec, 110 secs
lola: 100856 markings, 346311 edges, 854 markings/sec, 115 secs
lola: 105132 markings, 361591 edges, 855 markings/sec, 120 secs
lola: 109352 markings, 377257 edges, 844 markings/sec, 125 secs
lola: 113650 markings, 393090 edges, 860 markings/sec, 130 secs
lola: 118038 markings, 407359 edges, 878 markings/sec, 135 secs
lola: 122346 markings, 423384 edges, 862 markings/sec, 140 secs
lola: 126607 markings, 439758 edges, 852 markings/sec, 145 secs
lola: 130900 markings, 454822 edges, 859 markings/sec, 150 secs
lola: 135192 markings, 468949 edges, 858 markings/sec, 155 secs
lola: 139472 markings, 483938 edges, 856 markings/sec, 160 secs
lola: 143786 markings, 498499 edges, 863 markings/sec, 165 secs
lola: 148088 markings, 513414 edges, 860 markings/sec, 170 secs
lola: 152378 markings, 528208 edges, 858 markings/sec, 175 secs
lola: 156666 markings, 542410 edges, 858 markings/sec, 180 secs
lola: 160983 markings, 556300 edges, 863 markings/sec, 185 secs
lola: 165315 markings, 570243 edges, 866 markings/sec, 190 secs
lola: 169620 markings, 583868 edges, 861 markings/sec, 195 secs
lola: 173952 markings, 598053 edges, 866 markings/sec, 200 secs
lola: 178261 markings, 612106 edges, 862 markings/sec, 205 secs
lola: 182577 markings, 626066 edges, 863 markings/sec, 210 secs
lola: 186890 markings, 640318 edges, 863 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: 93680 KB
lola: time consumption: 2459 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__11_19_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_19_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 2158 markings, 7210 edges, 432 markings/sec, 0 secs
lola: 6475 markings, 22806 edges, 863 markings/sec, 5 secs
lola: 10760 markings, 38108 edges, 857 markings/sec, 10 secs
lola: 15057 markings, 51844 edges, 859 markings/sec, 15 secs
lola: 19394 markings, 65451 edges, 867 markings/sec, 20 secs
lola: 23732 markings, 79387 edges, 868 markings/sec, 25 secs
lola: 28056 markings, 93184 edges, 865 markings/sec, 30 secs
lola: 32373 markings, 108037 edges, 863 markings/sec, 35 secs
lola: 36710 markings, 121928 edges, 867 markings/sec, 40 secs
lola: 40962 markings, 135719 edges, 850 markings/sec, 45 secs
lola: 45249 markings, 149344 edges, 857 markings/sec, 50 secs
lola: 49533 markings, 163752 edges, 857 markings/sec, 55 secs
lola: 53710 markings, 177657 edges, 835 markings/sec, 60 secs
lola: 58005 markings, 191653 edges, 859 markings/sec, 65 secs
lola: 62227 markings, 204629 edges, 844 markings/sec, 70 secs
lola: 66426 markings, 217716 edges, 840 markings/sec, 75 secs
lola: 70652 markings, 231756 edges, 845 markings/sec, 80 secs
lola: 74970 markings, 244837 edges, 864 markings/sec, 85 secs
lola: 79220 markings, 258117 edges, 850 markings/sec, 90 secs
lola: 83499 markings, 271771 edges, 856 markings/sec, 95 secs
lola: 87730 markings, 285501 edges, 846 markings/sec, 100 secs
lola: 91970 markings, 299059 edges, 848 markings/sec, 105 secs
lola: 96228 markings, 312250 edges, 852 markings/sec, 110 secs
lola: 100456 markings, 325578 edges, 846 markings/sec, 115 secs
lola: 104641 markings, 339955 edges, 837 markings/sec, 120 secs
lola: 108855 markings, 354324 edges, 843 markings/sec, 125 secs
lola: 113030 markings, 368593 edges, 835 markings/sec, 130 secs
lola: 117303 markings, 383456 edges, 855 markings/sec, 135 secs
lola: 121609 markings, 397038 edges, 861 markings/sec, 140 secs
lola: 125854 markings, 411286 edges, 849 markings/sec, 145 secs
lola: 130141 markings, 424983 edges, 857 markings/sec, 150 secs
lola: 134431 markings, 438545 edges, 858 markings/sec, 155 secs
lola: 138716 markings, 452747 edges, 857 markings/sec, 160 secs
lola: 143056 markings, 465821 edges, 868 markings/sec, 165 secs
lola: 147361 markings, 479650 edges, 861 markings/sec, 170 secs
lola: 151613 markings, 493423 edges, 850 markings/sec, 175 secs
lola: 155893 markings, 507471 edges, 856 markings/sec, 180 secs
lola: 160168 markings, 521762 edges, 855 markings/sec, 185 secs
lola: 164398 markings, 535819 edges, 846 markings/sec, 190 secs
lola: 168690 markings, 548905 edges, 858 markings/sec, 195 secs
lola: 172991 markings, 562885 edges, 860 markings/sec, 200 secs
lola: 177294 markings, 576532 edges, 861 markings/sec, 205 secs
lola: 181612 markings, 590015 edges, 864 markings/sec, 210 secs
lola: 185929 markings, 604376 edges, 863 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: 95736 KB
lola: time consumption: 2681 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 2061 markings, 7603 edges, 412 markings/sec, 0 secs
lola: 6386 markings, 21007 edges, 865 markings/sec, 5 secs
lola: 10686 markings, 35744 edges, 860 markings/sec, 10 secs
lola: 14979 markings, 49781 edges, 859 markings/sec, 15 secs
lola: 19337 markings, 64206 edges, 872 markings/sec, 20 secs
lola: 23703 markings, 78575 edges, 873 markings/sec, 25 secs
lola: 28073 markings, 93103 edges, 874 markings/sec, 30 secs
lola: 32437 markings, 107571 edges, 873 markings/sec, 35 secs
lola: 36739 markings, 121777 edges, 860 markings/sec, 40 secs
lola: 41055 markings, 136117 edges, 863 markings/sec, 45 secs
lola: 45359 markings, 150659 edges, 861 markings/sec, 50 secs
lola: 49637 markings, 165545 edges, 856 markings/sec, 55 secs
lola: 53945 markings, 179444 edges, 862 markings/sec, 60 secs
lola: 58248 markings, 194445 edges, 861 markings/sec, 65 secs
lola: 62553 markings, 208625 edges, 861 markings/sec, 70 secs
lola: 66914 markings, 222819 edges, 872 markings/sec, 75 secs
lola: 71257 markings, 237865 edges, 869 markings/sec, 80 secs
lola: 75604 markings, 252432 edges, 869 markings/sec, 85 secs
lola: 79997 markings, 266677 edges, 879 markings/sec, 90 secs
lola: 84366 markings, 281731 edges, 874 markings/sec, 95 secs
lola: 88683 markings, 296346 edges, 863 markings/sec, 100 secs
lola: 93050 markings, 311364 edges, 873 markings/sec, 105 secs
lola: 97418 markings, 326215 edges, 874 markings/sec, 110 secs
lola: 101786 markings, 340588 edges, 874 markings/sec, 115 secs
lola: 106145 markings, 355254 edges, 872 markings/sec, 120 secs
lola: 110493 markings, 370077 edges, 870 markings/sec, 125 secs
lola: 114849 markings, 385324 edges, 871 markings/sec, 130 secs
lola: 119211 markings, 399771 edges, 872 markings/sec, 135 secs
lola: 123566 markings, 414490 edges, 871 markings/sec, 140 secs
lola: 127918 markings, 429154 edges, 870 markings/sec, 145 secs
lola: 132272 markings, 443566 edges, 871 markings/sec, 150 secs
lola: 136624 markings, 458116 edges, 870 markings/sec, 155 secs
lola: 140995 markings, 472779 edges, 874 markings/sec, 160 secs
lola: 145356 markings, 487507 edges, 872 markings/sec, 165 secs
lola: 149707 markings, 502196 edges, 870 markings/sec, 170 secs
lola: 154032 markings, 516415 edges, 865 markings/sec, 175 secs
lola: 158333 markings, 531329 edges, 860 markings/sec, 180 secs
lola: 162579 markings, 545699 edges, 849 markings/sec, 185 secs
lola: 166909 markings, 560326 edges, 866 markings/sec, 190 secs
lola: 171044 markings, 574919 edges, 827 markings/sec, 195 secs
lola: 175371 markings, 589080 edges, 865 markings/sec, 200 secs
lola: 179726 markings, 603349 edges, 871 markings/sec, 205 secs
lola: 184072 markings, 618487 edges, 869 markings/sec, 210 secs
lola: 188363 markings, 632773 edges, 858 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: 103508 KB
lola: time consumption: 2903 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__23_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__23_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 2020 markings, 6864 edges, 404 markings/sec, 0 secs
lola: 6179 markings, 21004 edges, 832 markings/sec, 5 secs
lola: 10428 markings, 35274 edges, 850 markings/sec, 10 secs
lola: 14712 markings, 49086 edges, 857 markings/sec, 15 secs
lola: 18953 markings, 63715 edges, 848 markings/sec, 20 secs
lola: 23203 markings, 78285 edges, 850 markings/sec, 25 secs
lola: 27445 markings, 92907 edges, 848 markings/sec, 30 secs
lola: 31715 markings, 106527 edges, 854 markings/sec, 35 secs
lola: 35961 markings, 120552 edges, 849 markings/sec, 40 secs
lola: 40213 markings, 135213 edges, 850 markings/sec, 45 secs
lola: 44465 markings, 149971 edges, 850 markings/sec, 50 secs
lola: 48713 markings, 164186 edges, 850 markings/sec, 55 secs
lola: 52982 markings, 178058 edges, 854 markings/sec, 60 secs
lola: 57280 markings, 191996 edges, 860 markings/sec, 65 secs
lola: 61542 markings, 207348 edges, 852 markings/sec, 70 secs
lola: 65736 markings, 221489 edges, 839 markings/sec, 75 secs
lola: 70005 markings, 236099 edges, 854 markings/sec, 80 secs
lola: 74299 markings, 250316 edges, 859 markings/sec, 85 secs
lola: 78558 markings, 264899 edges, 852 markings/sec, 90 secs
lola: 82829 markings, 279267 edges, 854 markings/sec, 95 secs
lola: 87081 markings, 293878 edges, 850 markings/sec, 100 secs
lola: 91336 markings, 308016 edges, 851 markings/sec, 105 secs
lola: 95570 markings, 322504 edges, 847 markings/sec, 110 secs
lola: 99825 markings, 336775 edges, 851 markings/sec, 115 secs
lola: 104099 markings, 350864 edges, 855 markings/sec, 120 secs
lola: 108318 markings, 364868 edges, 844 markings/sec, 125 secs
lola: 112520 markings, 378840 edges, 840 markings/sec, 130 secs
lola: 116725 markings, 393792 edges, 841 markings/sec, 135 secs
lola: 120971 markings, 407752 edges, 849 markings/sec, 140 secs
lola: 125247 markings, 421856 edges, 855 markings/sec, 145 secs
lola: 129477 markings, 436196 edges, 846 markings/sec, 150 secs
lola: 133720 markings, 451146 edges, 849 markings/sec, 155 secs
lola: 137981 markings, 465478 edges, 852 markings/sec, 160 secs
lola: 142240 markings, 479880 edges, 852 markings/sec, 165 secs
lola: 146542 markings, 493812 edges, 860 markings/sec, 170 secs
lola: 150764 markings, 509047 edges, 844 markings/sec, 175 secs
lola: 155073 markings, 523706 edges, 862 markings/sec, 180 secs
lola: 159396 markings, 537961 edges, 865 markings/sec, 185 secs
lola: 163715 markings, 552360 edges, 864 markings/sec, 190 secs
lola: 168010 markings, 566924 edges, 859 markings/sec, 195 secs
lola: 172289 markings, 581417 edges, 856 markings/sec, 200 secs
lola: 176557 markings, 596262 edges, 854 markings/sec, 205 secs
lola: 180851 markings, 609747 edges, 859 markings/sec, 210 secs
lola: 185135 markings, 623945 edges, 857 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: 92016 KB
lola: time consumption: 3125 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__14_24_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_24_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 2203 markings, 6313 edges, 441 markings/sec, 0 secs
lola: 6610 markings, 19896 edges, 881 markings/sec, 5 secs
lola: 11007 markings, 33684 edges, 879 markings/sec, 10 secs
lola: 15408 markings, 47032 edges, 880 markings/sec, 15 secs
lola: 19801 markings, 60400 edges, 879 markings/sec, 20 secs
lola: 24170 markings, 74621 edges, 874 markings/sec, 25 secs
lola: 28530 markings, 89425 edges, 872 markings/sec, 30 secs
lola: 32936 markings, 102419 edges, 881 markings/sec, 35 secs
lola: 37321 markings, 116012 edges, 877 markings/sec, 40 secs
lola: 41684 markings, 130434 edges, 873 markings/sec, 45 secs
lola: 46059 markings, 144358 edges, 875 markings/sec, 50 secs
lola: 50423 markings, 158316 edges, 873 markings/sec, 55 secs
lola: 54813 markings, 171448 edges, 878 markings/sec, 60 secs
lola: 59184 markings, 185229 edges, 874 markings/sec, 65 secs
lola: 63591 markings, 198571 edges, 881 markings/sec, 70 secs
lola: 67991 markings, 211937 edges, 880 markings/sec, 75 secs
lola: 72373 markings, 225630 edges, 876 markings/sec, 80 secs
lola: 76770 markings, 238983 edges, 879 markings/sec, 85 secs
lola: 81140 markings, 253138 edges, 874 markings/sec, 90 secs
lola: 85516 markings, 266926 edges, 875 markings/sec, 95 secs
lola: 89847 markings, 281010 edges, 866 markings/sec, 100 secs
lola: 94236 markings, 294656 edges, 878 markings/sec, 105 secs
lola: 98603 markings, 308482 edges, 873 markings/sec, 110 secs
lola: 102988 markings, 321845 edges, 877 markings/sec, 115 secs
lola: 107344 markings, 335743 edges, 871 markings/sec, 120 secs
lola: 111760 markings, 349200 edges, 883 markings/sec, 125 secs
lola: 116153 markings, 362887 edges, 879 markings/sec, 130 secs
lola: 120526 markings, 376414 edges, 875 markings/sec, 135 secs
lola: 124911 markings, 390022 edges, 877 markings/sec, 140 secs
lola: 129315 markings, 403964 edges, 881 markings/sec, 145 secs
lola: 133744 markings, 417360 edges, 886 markings/sec, 150 secs
lola: 138145 markings, 431470 edges, 880 markings/sec, 155 secs
lola: 142505 markings, 444851 edges, 872 markings/sec, 160 secs
lola: 146881 markings, 459194 edges, 875 markings/sec, 165 secs
lola: 151266 markings, 473152 edges, 877 markings/sec, 170 secs
lola: 155629 markings, 486729 edges, 873 markings/sec, 175 secs
lola: 160025 markings, 500251 edges, 879 markings/sec, 180 secs
lola: 164371 markings, 515218 edges, 869 markings/sec, 185 secs
lola: 168738 markings, 529235 edges, 873 markings/sec, 190 secs
lola: 173109 markings, 543174 edges, 874 markings/sec, 195 secs
lola: 177454 markings, 557110 edges, 869 markings/sec, 200 secs
lola: 181759 markings, 571226 edges, 861 markings/sec, 205 secs
lola: 186138 markings, 584802 edges, 876 markings/sec, 210 secs
lola: 190512 markings, 598564 edges, 875 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: 102756 KB
lola: time consumption: 3347 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__19_31_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__19_31_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 2083 markings, 6879 edges, 417 markings/sec, 0 secs
lola: 6387 markings, 21701 edges, 861 markings/sec, 5 secs
lola: 10700 markings, 36545 edges, 863 markings/sec, 10 secs
lola: 14981 markings, 50772 edges, 856 markings/sec, 15 secs
lola: 19195 markings, 65012 edges, 843 markings/sec, 20 secs
lola: 23451 markings, 80034 edges, 851 markings/sec, 25 secs
lola: 27784 markings, 95398 edges, 867 markings/sec, 30 secs
lola: 32140 markings, 109712 edges, 871 markings/sec, 35 secs
lola: 36478 markings, 124960 edges, 868 markings/sec, 40 secs
lola: 40816 markings, 139442 edges, 868 markings/sec, 45 secs
lola: 45133 markings, 155261 edges, 863 markings/sec, 50 secs
lola: 49456 markings, 170993 edges, 865 markings/sec, 55 secs
lola: 53759 markings, 187396 edges, 861 markings/sec, 60 secs
lola: 58090 markings, 203195 edges, 866 markings/sec, 65 secs
lola: 62421 markings, 218116 edges, 866 markings/sec, 70 secs
lola: 66715 markings, 233333 edges, 859 markings/sec, 75 secs
lola: 71002 markings, 248173 edges, 857 markings/sec, 80 secs
lola: 75306 markings, 262467 edges, 861 markings/sec, 85 secs
lola: 79580 markings, 277697 edges, 855 markings/sec, 90 secs
lola: 83879 markings, 292446 edges, 860 markings/sec, 95 secs
lola: 88183 markings, 307101 edges, 861 markings/sec, 100 secs
lola: 92459 markings, 322310 edges, 855 markings/sec, 105 secs
lola: 96750 markings, 337147 edges, 858 markings/sec, 110 secs
lola: 101037 markings, 351248 edges, 857 markings/sec, 115 secs
lola: 105308 markings, 366171 edges, 854 markings/sec, 120 secs
lola: 109558 markings, 381990 edges, 850 markings/sec, 125 secs
lola: 113853 markings, 396384 edges, 859 markings/sec, 130 secs
lola: 118148 markings, 411034 edges, 859 markings/sec, 135 secs
lola: 122441 markings, 424710 edges, 859 markings/sec, 140 secs
lola: 126716 markings, 439330 edges, 855 markings/sec, 145 secs
lola: 130995 markings, 453977 edges, 856 markings/sec, 150 secs
lola: 135274 markings, 468412 edges, 856 markings/sec, 155 secs
lola: 139562 markings, 483013 edges, 858 markings/sec, 160 secs
lola: 143851 markings, 497888 edges, 858 markings/sec, 165 secs
lola: 148133 markings, 512008 edges, 856 markings/sec, 170 secs
lola: 152406 markings, 526409 edges, 855 markings/sec, 175 secs
lola: 156681 markings, 540817 edges, 855 markings/sec, 180 secs
lola: 160961 markings, 555002 edges, 856 markings/sec, 185 secs
lola: 165253 markings, 569461 edges, 858 markings/sec, 190 secs
lola: 169545 markings, 583999 edges, 858 markings/sec, 195 secs
lola: 173780 markings, 598259 edges, 847 markings/sec, 200 secs
lola: 178037 markings, 613785 edges, 851 markings/sec, 205 secs
lola: 182260 markings, 628640 edges, 845 markings/sec, 210 secs
lola: 186389 markings, 643456 edges, 826 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 92360 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 92360 KB
lola: time consumption: 3569 seconds

BK_STOP 1552925042456

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

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Diffusion2D-PT-D40N100"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is Diffusion2D-PT-D40N100, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r066-ebro-155234666500070"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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