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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 4.3K Feb 10 21:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 10 21:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 6 17:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 6 17:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Feb 4 23:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Jan 30 23:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 30 23:45 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 1.2M 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-D20N150-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552916659100

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D20N150 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D20N150 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D20N150 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3364/65536 symbol table entries, 222 collisions
lola: preprocessing...
lola: Size of bit vector: 12800
lola: finding significant places
lola: 400 places, 2964 transitions, 399 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 400 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D20N150-UpperBounds.task
lola: MAX(cAMP__16_9_) : MAX(cAMP__11_3_) : MAX(cAMP__9_3_) : MAX(cAMP__17_19_) : MAX(cAMP__12_19_) : MAX(cAMP__17_16_) : MAX(cAMP__2_17_) : MAX(cAMP__19_16_) : MAX(cAMP__13_14_) : MAX(cAMP__3_20_) : MAX(cAMP__1_9_) : MAX(cAMP__14_16_) : MAX(cAMP__8_19_) : MAX(cAMP__5_7_) : MAX(cAMP__2_16_) : MAX(cAMP__2_15_)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__16_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__16_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 24795 markings, 67292 edges, 4959 markings/sec, 0 secs
lola: 50254 markings, 148486 edges, 5092 markings/sec, 5 secs
lola: 75887 markings, 225273 edges, 5127 markings/sec, 10 secs
lola: 101344 markings, 306359 edges, 5091 markings/sec, 15 secs
lola: 126985 markings, 383168 edges, 5128 markings/sec, 20 secs
lola: 152443 markings, 464299 edges, 5092 markings/sec, 25 secs
lola: 178065 markings, 541100 edges, 5124 markings/sec, 30 secs
lola: 203642 markings, 619446 edges, 5115 markings/sec, 35 secs
lola: 228917 markings, 698334 edges, 5055 markings/sec, 40 secs
lola: 254545 markings, 775106 edges, 5126 markings/sec, 45 secs
lola: 279980 markings, 856228 edges, 5087 markings/sec, 50 secs
lola: 305148 markings, 931682 edges, 5034 markings/sec, 55 secs
lola: 330568 markings, 1012710 edges, 5084 markings/sec, 60 secs
lola: 356160 markings, 1089517 edges, 5118 markings/sec, 65 secs
lola: 381639 markings, 1168627 edges, 5096 markings/sec, 70 secs
lola: 407157 markings, 1247356 edges, 5104 markings/sec, 75 secs
lola: 432713 markings, 1324088 edges, 5111 markings/sec, 80 secs
lola: 458141 markings, 1405170 edges, 5086 markings/sec, 85 secs
lola: 483728 markings, 1482114 edges, 5117 markings/sec, 90 secs
lola: 509156 markings, 1563271 edges, 5086 markings/sec, 95 secs
lola: 534714 markings, 1640028 edges, 5112 markings/sec, 100 secs
lola: 560200 markings, 1717450 edges, 5097 markings/sec, 105 secs
lola: 585672 markings, 1797885 edges, 5094 markings/sec, 110 secs
lola: 611230 markings, 1874876 edges, 5112 markings/sec, 115 secs
lola: 636654 markings, 1955829 edges, 5085 markings/sec, 120 secs
lola: 662224 markings, 2032873 edges, 5114 markings/sec, 125 secs
lola: 687628 markings, 2110833 edges, 5081 markings/sec, 130 secs
lola: 713024 markings, 2190366 edges, 5079 markings/sec, 135 secs
lola: 738520 markings, 2267215 edges, 5099 markings/sec, 140 secs
lola: 763815 markings, 2347814 edges, 5059 markings/sec, 145 secs
lola: 789300 markings, 2424712 edges, 5097 markings/sec, 150 secs
lola: 814697 markings, 2502241 edges, 5079 markings/sec, 155 secs
lola: 840065 markings, 2582179 edges, 5074 markings/sec, 160 secs
lola: 865530 markings, 2659041 edges, 5093 markings/sec, 165 secs
lola: 890826 markings, 2739826 edges, 5059 markings/sec, 170 secs
lola: 916296 markings, 2816619 edges, 5094 markings/sec, 175 secs
lola: 941696 markings, 2893165 edges, 5080 markings/sec, 180 secs
lola: 966994 markings, 2973927 edges, 5060 markings/sec, 185 secs
lola: 992420 markings, 3050800 edges, 5085 markings/sec, 190 secs
lola: 1017767 markings, 3129443 edges, 5069 markings/sec, 195 secs
lola: 1043128 markings, 3208324 edges, 5072 markings/sec, 200 secs
lola: 1068562 markings, 3285252 edges, 5087 markings/sec, 205 secs
lola: 1093841 markings, 3366004 edges, 5056 markings/sec, 210 secs
lola: 1119306 markings, 3442917 edges, 5093 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: 362640 KB
lola: time consumption: 224 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__11_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_3_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 23995 markings, 82095 edges, 4799 markings/sec, 0 secs
lola: 48722 markings, 165406 edges, 4945 markings/sec, 5 secs
lola: 73152 markings, 248757 edges, 4886 markings/sec, 10 secs
lola: 97982 markings, 332970 edges, 4966 markings/sec, 15 secs
lola: 122788 markings, 417412 edges, 4961 markings/sec, 20 secs
lola: 147652 markings, 501662 edges, 4973 markings/sec, 25 secs
lola: 172028 markings, 584057 edges, 4875 markings/sec, 30 secs
lola: 196539 markings, 669611 edges, 4902 markings/sec, 35 secs
lola: 221251 markings, 756872 edges, 4942 markings/sec, 40 secs
lola: 245920 markings, 844593 edges, 4934 markings/sec, 45 secs
lola: 270471 markings, 926343 edges, 4910 markings/sec, 50 secs
lola: 294999 markings, 1007873 edges, 4906 markings/sec, 55 secs
lola: 319723 markings, 1093741 edges, 4945 markings/sec, 60 secs
lola: 344360 markings, 1180049 edges, 4927 markings/sec, 65 secs
lola: 368590 markings, 1263317 edges, 4846 markings/sec, 70 secs
lola: 392991 markings, 1348731 edges, 4880 markings/sec, 75 secs
lola: 417722 markings, 1433434 edges, 4946 markings/sec, 80 secs
lola: 442476 markings, 1516117 edges, 4951 markings/sec, 85 secs
lola: 467295 markings, 1599887 edges, 4964 markings/sec, 90 secs
lola: 492069 markings, 1683911 edges, 4955 markings/sec, 95 secs
lola: 516623 markings, 1768219 edges, 4911 markings/sec, 100 secs
lola: 541024 markings, 1851197 edges, 4880 markings/sec, 105 secs
lola: 565729 markings, 1935383 edges, 4941 markings/sec, 110 secs
lola: 590436 markings, 2022657 edges, 4941 markings/sec, 115 secs
lola: 615127 markings, 2108083 edges, 4938 markings/sec, 120 secs
lola: 639638 markings, 2195131 edges, 4902 markings/sec, 125 secs
lola: 664401 markings, 2280923 edges, 4953 markings/sec, 130 secs
lola: 688754 markings, 2366548 edges, 4871 markings/sec, 135 secs
lola: 713634 markings, 2450975 edges, 4976 markings/sec, 140 secs
lola: 738388 markings, 2538629 edges, 4951 markings/sec, 145 secs
lola: 763161 markings, 2623661 edges, 4955 markings/sec, 150 secs
lola: 787959 markings, 2708535 edges, 4960 markings/sec, 155 secs
lola: 812656 markings, 2796861 edges, 4939 markings/sec, 160 secs
lola: 837551 markings, 2880583 edges, 4979 markings/sec, 165 secs
lola: 862315 markings, 2965706 edges, 4953 markings/sec, 170 secs
lola: 887081 markings, 3050532 edges, 4953 markings/sec, 175 secs
lola: 911792 markings, 3138309 edges, 4942 markings/sec, 180 secs
lola: 936658 markings, 3221856 edges, 4973 markings/sec, 185 secs
lola: 961388 markings, 3305635 edges, 4946 markings/sec, 190 secs
lola: 986127 markings, 3391682 edges, 4948 markings/sec, 195 secs
lola: 1010838 markings, 3478590 edges, 4942 markings/sec, 200 secs
lola: 1035309 markings, 3569926 edges, 4894 markings/sec, 205 secs
lola: 1059882 markings, 3659525 edges, 4915 markings/sec, 210 secs
lola: 1084777 markings, 3742765 edges, 4979 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: 314808 KB
lola: time consumption: 448 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 23414 markings, 83803 edges, 4683 markings/sec, 0 secs
lola: 48048 markings, 168632 edges, 4927 markings/sec, 5 secs
lola: 72748 markings, 254599 edges, 4940 markings/sec, 10 secs
lola: 97396 markings, 340233 edges, 4930 markings/sec, 15 secs
lola: 122055 markings, 425136 edges, 4932 markings/sec, 20 secs
lola: 146671 markings, 507515 edges, 4923 markings/sec, 25 secs
lola: 171452 markings, 587709 edges, 4956 markings/sec, 30 secs
lola: 196228 markings, 667433 edges, 4955 markings/sec, 35 secs
lola: 221008 markings, 747223 edges, 4956 markings/sec, 40 secs
lola: 245629 markings, 830500 edges, 4924 markings/sec, 45 secs
lola: 270150 markings, 914931 edges, 4904 markings/sec, 50 secs
lola: 294605 markings, 998784 edges, 4891 markings/sec, 55 secs
lola: 318984 markings, 1085657 edges, 4876 markings/sec, 60 secs
lola: 343596 markings, 1165157 edges, 4922 markings/sec, 65 secs
lola: 368094 markings, 1249188 edges, 4900 markings/sec, 70 secs
lola: 392598 markings, 1330534 edges, 4901 markings/sec, 75 secs
lola: 417001 markings, 1410026 edges, 4881 markings/sec, 80 secs
lola: 441286 markings, 1490132 edges, 4857 markings/sec, 85 secs
lola: 465626 markings, 1563599 edges, 4868 markings/sec, 90 secs
lola: 490214 markings, 1642356 edges, 4918 markings/sec, 95 secs
lola: 514712 markings, 1724780 edges, 4900 markings/sec, 100 secs
lola: 539205 markings, 1809802 edges, 4899 markings/sec, 105 secs
lola: 563859 markings, 1888907 edges, 4931 markings/sec, 110 secs
lola: 588341 markings, 1972293 edges, 4896 markings/sec, 115 secs
lola: 612857 markings, 2052047 edges, 4903 markings/sec, 120 secs
lola: 637324 markings, 2133852 edges, 4893 markings/sec, 125 secs
lola: 661744 markings, 2217680 edges, 4884 markings/sec, 130 secs
lola: 686262 markings, 2296046 edges, 4904 markings/sec, 135 secs
lola: 710741 markings, 2374951 edges, 4896 markings/sec, 140 secs
lola: 735156 markings, 2455616 edges, 4883 markings/sec, 145 secs
lola: 759851 markings, 2532003 edges, 4939 markings/sec, 150 secs
lola: 784596 markings, 2608271 edges, 4949 markings/sec, 155 secs
lola: 809304 markings, 2685764 edges, 4942 markings/sec, 160 secs
lola: 833892 markings, 2766339 edges, 4918 markings/sec, 165 secs
lola: 858571 markings, 2846501 edges, 4936 markings/sec, 170 secs
lola: 883083 markings, 2928726 edges, 4902 markings/sec, 175 secs
lola: 907700 markings, 3009073 edges, 4923 markings/sec, 180 secs
lola: 932259 markings, 3091518 edges, 4912 markings/sec, 185 secs
lola: 956481 markings, 3170121 edges, 4844 markings/sec, 190 secs
lola: 980573 markings, 3251982 edges, 4818 markings/sec, 195 secs
lola: 1004738 markings, 3332065 edges, 4833 markings/sec, 200 secs
lola: 1028897 markings, 3413696 edges, 4832 markings/sec, 205 secs
lola: 1053040 markings, 3495346 edges, 4829 markings/sec, 210 secs
lola: 1077315 markings, 3576295 edges, 4855 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: 304900 KB
lola: time consumption: 671 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__17_19_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_19_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 23990 markings, 80293 edges, 4798 markings/sec, 0 secs
lola: 48741 markings, 162538 edges, 4950 markings/sec, 5 secs
lola: 73446 markings, 244316 edges, 4941 markings/sec, 10 secs
lola: 98519 markings, 327067 edges, 5015 markings/sec, 15 secs
lola: 123459 markings, 412517 edges, 4988 markings/sec, 20 secs
lola: 148464 markings, 495057 edges, 5001 markings/sec, 25 secs
lola: 173332 markings, 577549 edges, 4974 markings/sec, 30 secs
lola: 198436 markings, 658608 edges, 5021 markings/sec, 35 secs
lola: 223313 markings, 742477 edges, 4975 markings/sec, 40 secs
lola: 247856 markings, 827442 edges, 4909 markings/sec, 45 secs
lola: 272365 markings, 911824 edges, 4902 markings/sec, 50 secs
lola: 296995 markings, 992184 edges, 4926 markings/sec, 55 secs
lola: 321958 markings, 1076870 edges, 4993 markings/sec, 60 secs
lola: 346988 markings, 1163003 edges, 5006 markings/sec, 65 secs
lola: 372075 markings, 1246742 edges, 5017 markings/sec, 70 secs
lola: 397118 markings, 1329375 edges, 5009 markings/sec, 75 secs
lola: 421899 markings, 1413297 edges, 4956 markings/sec, 80 secs
lola: 446842 markings, 1496729 edges, 4989 markings/sec, 85 secs
lola: 471833 markings, 1580845 edges, 4998 markings/sec, 90 secs
lola: 497134 markings, 1665112 edges, 5060 markings/sec, 95 secs
lola: 522444 markings, 1749301 edges, 5062 markings/sec, 100 secs
lola: 547355 markings, 1833156 edges, 4982 markings/sec, 105 secs
lola: 572555 markings, 1917205 edges, 5040 markings/sec, 110 secs
lola: 597405 markings, 2000632 edges, 4970 markings/sec, 115 secs
lola: 622413 markings, 2082826 edges, 5002 markings/sec, 120 secs
lola: 647783 markings, 2165062 edges, 5074 markings/sec, 125 secs
lola: 673151 markings, 2248113 edges, 5074 markings/sec, 130 secs
lola: 698318 markings, 2336073 edges, 5033 markings/sec, 135 secs
lola: 723100 markings, 2419212 edges, 4956 markings/sec, 140 secs
lola: 747952 markings, 2500497 edges, 4970 markings/sec, 145 secs
lola: 772888 markings, 2591722 edges, 4987 markings/sec, 150 secs
lola: 797827 markings, 2684079 edges, 4988 markings/sec, 155 secs
lola: 822884 markings, 2773399 edges, 5011 markings/sec, 160 secs
lola: 848007 markings, 2859405 edges, 5025 markings/sec, 165 secs
lola: 872759 markings, 2945483 edges, 4950 markings/sec, 170 secs
lola: 897812 markings, 3027933 edges, 5011 markings/sec, 175 secs
lola: 923011 markings, 3113881 edges, 5040 markings/sec, 180 secs
lola: 948285 markings, 3197989 edges, 5055 markings/sec, 185 secs
lola: 973644 markings, 3281021 edges, 5072 markings/sec, 190 secs
lola: 998947 markings, 3364839 edges, 5061 markings/sec, 195 secs
lola: 1024212 markings, 3447112 edges, 5053 markings/sec, 200 secs
lola: 1049480 markings, 3531142 edges, 5054 markings/sec, 205 secs
lola: 1074743 markings, 3614774 edges, 5053 markings/sec, 210 secs
lola: 1099758 markings, 3701654 edges, 5003 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: 316972 KB
lola: time consumption: 894 seconds
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__12_19_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__12_19_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 24233 markings, 77703 edges, 4847 markings/sec, 0 secs
lola: 48991 markings, 156768 edges, 4952 markings/sec, 5 secs
lola: 74025 markings, 234340 edges, 5007 markings/sec, 10 secs
lola: 98713 markings, 313830 edges, 4938 markings/sec, 15 secs
lola: 123679 markings, 394424 edges, 4993 markings/sec, 20 secs
lola: 148181 markings, 472851 edges, 4900 markings/sec, 25 secs
lola: 173054 markings, 550478 edges, 4975 markings/sec, 30 secs
lola: 197737 markings, 634060 edges, 4937 markings/sec, 35 secs
lola: 222625 markings, 710916 edges, 4978 markings/sec, 40 secs
lola: 247285 markings, 790822 edges, 4932 markings/sec, 45 secs
lola: 272099 markings, 872233 edges, 4963 markings/sec, 50 secs
lola: 296899 markings, 952412 edges, 4960 markings/sec, 55 secs
lola: 321799 markings, 1029873 edges, 4980 markings/sec, 60 secs
lola: 346625 markings, 1108117 edges, 4965 markings/sec, 65 secs
lola: 371574 markings, 1185412 edges, 4990 markings/sec, 70 secs
lola: 396430 markings, 1265691 edges, 4971 markings/sec, 75 secs
lola: 421221 markings, 1346876 edges, 4958 markings/sec, 80 secs
lola: 446008 markings, 1425713 edges, 4957 markings/sec, 85 secs
lola: 470883 markings, 1502449 edges, 4975 markings/sec, 90 secs
lola: 495659 markings, 1579794 edges, 4955 markings/sec, 95 secs
lola: 520435 markings, 1657373 edges, 4955 markings/sec, 100 secs
lola: 545120 markings, 1736525 edges, 4937 markings/sec, 105 secs
lola: 570015 markings, 1815141 edges, 4979 markings/sec, 110 secs
lola: 594645 markings, 1895087 edges, 4926 markings/sec, 115 secs
lola: 619199 markings, 1978981 edges, 4911 markings/sec, 120 secs
lola: 643878 markings, 2058694 edges, 4936 markings/sec, 125 secs
lola: 668545 markings, 2139158 edges, 4933 markings/sec, 130 secs
lola: 693151 markings, 2220093 edges, 4921 markings/sec, 135 secs
lola: 717799 markings, 2297064 edges, 4930 markings/sec, 140 secs
lola: 742302 markings, 2375445 edges, 4901 markings/sec, 145 secs
lola: 767075 markings, 2455521 edges, 4955 markings/sec, 150 secs
lola: 791922 markings, 2535033 edges, 4969 markings/sec, 155 secs
lola: 816636 markings, 2616379 edges, 4943 markings/sec, 160 secs
lola: 841399 markings, 2698191 edges, 4953 markings/sec, 165 secs
lola: 866174 markings, 2777637 edges, 4955 markings/sec, 170 secs
lola: 890699 markings, 2855996 edges, 4905 markings/sec, 175 secs
lola: 915540 markings, 2934642 edges, 4968 markings/sec, 180 secs
lola: 940446 markings, 3013220 edges, 4981 markings/sec, 185 secs
lola: 965267 markings, 3094715 edges, 4964 markings/sec, 190 secs
lola: 990050 markings, 3177274 edges, 4957 markings/sec, 195 secs
lola: 1014868 markings, 3257076 edges, 4964 markings/sec, 200 secs
lola: 1039693 markings, 3335953 edges, 4965 markings/sec, 205 secs
lola: 1064400 markings, 3420101 edges, 4941 markings/sec, 210 secs
lola: 1089136 markings, 3499779 edges, 4947 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: 314152 KB
lola: time consumption: 1117 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__17_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_16_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 24823 markings, 80679 edges, 4965 markings/sec, 0 secs
lola: 50488 markings, 159272 edges, 5133 markings/sec, 5 secs
lola: 76258 markings, 238407 edges, 5154 markings/sec, 10 secs
lola: 101886 markings, 318405 edges, 5126 markings/sec, 15 secs
lola: 127443 markings, 400351 edges, 5111 markings/sec, 20 secs
lola: 152915 markings, 484915 edges, 5094 markings/sec, 25 secs
lola: 178451 markings, 566502 edges, 5107 markings/sec, 30 secs
lola: 203952 markings, 647968 edges, 5100 markings/sec, 35 secs
lola: 229442 markings, 729565 edges, 5098 markings/sec, 40 secs
lola: 254967 markings, 808650 edges, 5105 markings/sec, 45 secs
lola: 280623 markings, 886788 edges, 5131 markings/sec, 50 secs
lola: 306030 markings, 968571 edges, 5081 markings/sec, 55 secs
lola: 331518 markings, 1053044 edges, 5098 markings/sec, 60 secs
lola: 356970 markings, 1137327 edges, 5090 markings/sec, 65 secs
lola: 382607 markings, 1216584 edges, 5127 markings/sec, 70 secs
lola: 408185 markings, 1297351 edges, 5116 markings/sec, 75 secs
lola: 433773 markings, 1377758 edges, 5118 markings/sec, 80 secs
lola: 459308 markings, 1458430 edges, 5107 markings/sec, 85 secs
lola: 484793 markings, 1541859 edges, 5097 markings/sec, 90 secs
lola: 510331 markings, 1623321 edges, 5108 markings/sec, 95 secs
lola: 535966 markings, 1701411 edges, 5127 markings/sec, 100 secs
lola: 561342 markings, 1782763 edges, 5075 markings/sec, 105 secs
lola: 586579 markings, 1861503 edges, 5047 markings/sec, 110 secs
lola: 611706 markings, 1940238 edges, 5025 markings/sec, 115 secs
lola: 637027 markings, 2020596 edges, 5064 markings/sec, 120 secs
lola: 662192 markings, 2106912 edges, 5033 markings/sec, 125 secs
lola: 687587 markings, 2186078 edges, 5079 markings/sec, 130 secs
lola: 712803 markings, 2272683 edges, 5043 markings/sec, 135 secs
lola: 737853 markings, 2362744 edges, 5010 markings/sec, 140 secs
lola: 762597 markings, 2458900 edges, 4949 markings/sec, 145 secs
lola: 787513 markings, 2553856 edges, 4983 markings/sec, 150 secs
lola: 812899 markings, 2637643 edges, 5077 markings/sec, 155 secs
lola: 838236 markings, 2722054 edges, 5067 markings/sec, 160 secs
lola: 863383 markings, 2807934 edges, 5029 markings/sec, 165 secs
lola: 888393 markings, 2896749 edges, 5002 markings/sec, 170 secs
lola: 913461 markings, 2986622 edges, 5014 markings/sec, 175 secs
lola: 938727 markings, 3068480 edges, 5053 markings/sec, 180 secs
lola: 963947 markings, 3150640 edges, 5044 markings/sec, 185 secs
lola: 989038 markings, 3230907 edges, 5018 markings/sec, 190 secs
lola: 1013919 markings, 3317120 edges, 4976 markings/sec, 195 secs
lola: 1038778 markings, 3403786 edges, 4972 markings/sec, 200 secs
lola: 1063716 markings, 3487891 edges, 4988 markings/sec, 205 secs
lola: 1088641 markings, 3572356 edges, 4985 markings/sec, 210 secs
lola: 1113361 markings, 3660018 edges, 4944 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: 334324 KB
lola: time consumption: 1340 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_17_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 24567 markings, 81546 edges, 4913 markings/sec, 0 secs
lola: 50121 markings, 165851 edges, 5111 markings/sec, 5 secs
lola: 75837 markings, 250684 edges, 5143 markings/sec, 10 secs
lola: 101558 markings, 335813 edges, 5144 markings/sec, 15 secs
lola: 127285 markings, 420493 edges, 5145 markings/sec, 20 secs
lola: 152996 markings, 504623 edges, 5142 markings/sec, 25 secs
lola: 178431 markings, 589643 edges, 5087 markings/sec, 30 secs
lola: 204158 markings, 674721 edges, 5145 markings/sec, 35 secs
lola: 229386 markings, 761866 edges, 5046 markings/sec, 40 secs
lola: 254987 markings, 846869 edges, 5120 markings/sec, 45 secs
lola: 280637 markings, 931453 edges, 5130 markings/sec, 50 secs
lola: 306229 markings, 1018110 edges, 5118 markings/sec, 55 secs
lola: 331835 markings, 1102699 edges, 5121 markings/sec, 60 secs
lola: 357404 markings, 1187383 edges, 5114 markings/sec, 65 secs
lola: 382987 markings, 1274957 edges, 5117 markings/sec, 70 secs
lola: 408606 markings, 1359541 edges, 5124 markings/sec, 75 secs
lola: 434181 markings, 1446234 edges, 5115 markings/sec, 80 secs
lola: 459850 markings, 1530533 edges, 5134 markings/sec, 85 secs
lola: 485451 markings, 1616922 edges, 5120 markings/sec, 90 secs
lola: 511026 markings, 1703029 edges, 5115 markings/sec, 95 secs
lola: 536629 markings, 1790242 edges, 5121 markings/sec, 100 secs
lola: 562092 markings, 1876882 edges, 5093 markings/sec, 105 secs
lola: 587616 markings, 1961320 edges, 5105 markings/sec, 110 secs
lola: 613187 markings, 2045208 edges, 5114 markings/sec, 115 secs
lola: 638571 markings, 2133113 edges, 5077 markings/sec, 120 secs
lola: 663868 markings, 2217111 edges, 5059 markings/sec, 125 secs
lola: 689160 markings, 2300563 edges, 5058 markings/sec, 130 secs
lola: 714363 markings, 2383335 edges, 5041 markings/sec, 135 secs
lola: 739439 markings, 2466527 edges, 5015 markings/sec, 140 secs
lola: 764571 markings, 2549853 edges, 5026 markings/sec, 145 secs
lola: 789894 markings, 2632771 edges, 5065 markings/sec, 150 secs
lola: 815137 markings, 2718212 edges, 5049 markings/sec, 155 secs
lola: 840579 markings, 2801847 edges, 5088 markings/sec, 160 secs
lola: 865886 markings, 2885929 edges, 5061 markings/sec, 165 secs
lola: 891139 markings, 2972094 edges, 5051 markings/sec, 170 secs
lola: 916808 markings, 3058221 edges, 5134 markings/sec, 175 secs
lola: 942404 markings, 3143905 edges, 5119 markings/sec, 180 secs
lola: 967976 markings, 3229854 edges, 5114 markings/sec, 185 secs
lola: 992624 markings, 3313474 edges, 4930 markings/sec, 190 secs
lola: 1018121 markings, 3397813 edges, 5099 markings/sec, 195 secs
lola: 1043573 markings, 3483362 edges, 5090 markings/sec, 200 secs
lola: 1069099 markings, 3568283 edges, 5105 markings/sec, 205 secs
lola: 1094212 markings, 3655273 edges, 5023 markings/sec, 210 secs
lola: 1119783 markings, 3740490 edges, 5114 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: 322948 KB
lola: time consumption: 1563 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__19_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__19_16_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 24772 markings, 89442 edges, 4954 markings/sec, 0 secs
lola: 50012 markings, 183895 edges, 5048 markings/sec, 5 secs
lola: 75404 markings, 276846 edges, 5078 markings/sec, 10 secs
lola: 100765 markings, 373080 edges, 5072 markings/sec, 15 secs
lola: 126215 markings, 468277 edges, 5090 markings/sec, 20 secs
lola: 151579 markings, 562290 edges, 5073 markings/sec, 25 secs
lola: 177137 markings, 652843 edges, 5112 markings/sec, 30 secs
lola: 201106 markings, 748519 edges, 4794 markings/sec, 35 secs
lola: 226113 markings, 843823 edges, 5001 markings/sec, 40 secs
lola: 251195 markings, 937154 edges, 5016 markings/sec, 45 secs
lola: 276325 markings, 1030769 edges, 5026 markings/sec, 50 secs
lola: 301768 markings, 1126748 edges, 5089 markings/sec, 55 secs
lola: 326990 markings, 1223240 edges, 5044 markings/sec, 60 secs
lola: 351487 markings, 1315469 edges, 4899 markings/sec, 65 secs
lola: 376802 markings, 1414135 edges, 5063 markings/sec, 70 secs
lola: 402404 markings, 1508605 edges, 5120 markings/sec, 75 secs
lola: 427705 markings, 1603874 edges, 5060 markings/sec, 80 secs
lola: 452910 markings, 1701595 edges, 5041 markings/sec, 85 secs
lola: 478094 markings, 1798598 edges, 5037 markings/sec, 90 secs
lola: 503489 markings, 1894367 edges, 5079 markings/sec, 95 secs
lola: 528807 markings, 1993582 edges, 5064 markings/sec, 100 secs
lola: 554129 markings, 2089026 edges, 5064 markings/sec, 105 secs
lola: 579561 markings, 2186095 edges, 5086 markings/sec, 110 secs
lola: 604953 markings, 2279829 edges, 5078 markings/sec, 115 secs
lola: 630101 markings, 2376464 edges, 5030 markings/sec, 120 secs
lola: 655317 markings, 2469972 edges, 5043 markings/sec, 125 secs
lola: 680513 markings, 2566855 edges, 5039 markings/sec, 130 secs
lola: 705703 markings, 2660276 edges, 5038 markings/sec, 135 secs
lola: 730778 markings, 2756927 edges, 5015 markings/sec, 140 secs
lola: 755968 markings, 2849930 edges, 5038 markings/sec, 145 secs
lola: 781293 markings, 2944514 edges, 5065 markings/sec, 150 secs
lola: 806767 markings, 3039852 edges, 5095 markings/sec, 155 secs
lola: 832261 markings, 3132826 edges, 5099 markings/sec, 160 secs
lola: 857683 markings, 3227972 edges, 5084 markings/sec, 165 secs
lola: 883124 markings, 3322225 edges, 5088 markings/sec, 170 secs
lola: 908130 markings, 3421258 edges, 5001 markings/sec, 175 secs
lola: 933644 markings, 3512112 edges, 5103 markings/sec, 180 secs
lola: 958990 markings, 3606465 edges, 5069 markings/sec, 185 secs
lola: 984315 markings, 3701340 edges, 5065 markings/sec, 190 secs
lola: 1009878 markings, 3793851 edges, 5113 markings/sec, 195 secs
lola: 1035111 markings, 3885932 edges, 5047 markings/sec, 200 secs
lola: 1059966 markings, 3987697 edges, 4971 markings/sec, 205 secs
lola: 1084685 markings, 4085177 edges, 4944 markings/sec, 210 secs
lola: 1109943 markings, 4174728 edges, 5052 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: 338888 KB
lola: time consumption: 1786 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__13_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__13_14_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 25008 markings, 65475 edges, 5002 markings/sec, 0 secs
lola: 50872 markings, 140239 edges, 5173 markings/sec, 5 secs
lola: 75698 markings, 213742 edges, 4965 markings/sec, 10 secs
lola: 101154 markings, 289036 edges, 5091 markings/sec, 15 secs
lola: 126869 markings, 365285 edges, 5143 markings/sec, 20 secs
lola: 152579 markings, 437982 edges, 5142 markings/sec, 25 secs
lola: 178277 markings, 514858 edges, 5140 markings/sec, 30 secs
lola: 203911 markings, 596371 edges, 5127 markings/sec, 35 secs
lola: 229528 markings, 678344 edges, 5123 markings/sec, 40 secs
lola: 255162 markings, 757619 edges, 5127 markings/sec, 45 secs
lola: 280625 markings, 835859 edges, 5093 markings/sec, 50 secs
lola: 306425 markings, 899604 edges, 5160 markings/sec, 55 secs
lola: 332026 markings, 962952 edges, 5120 markings/sec, 60 secs
lola: 358016 markings, 1027200 edges, 5198 markings/sec, 65 secs
lola: 383984 markings, 1091505 edges, 5194 markings/sec, 70 secs
lola: 409968 markings, 1155798 edges, 5197 markings/sec, 75 secs
lola: 435973 markings, 1220109 edges, 5201 markings/sec, 80 secs
lola: 461934 markings, 1284325 edges, 5192 markings/sec, 85 secs
lola: 487874 markings, 1348511 edges, 5188 markings/sec, 90 secs
lola: 513840 markings, 1412762 edges, 5193 markings/sec, 95 secs
lola: 539838 markings, 1477086 edges, 5200 markings/sec, 100 secs
lola: 565843 markings, 1541426 edges, 5201 markings/sec, 105 secs
lola: 591849 markings, 1605793 edges, 5201 markings/sec, 110 secs
lola: 617823 markings, 1670085 edges, 5195 markings/sec, 115 secs
lola: 643801 markings, 1734349 edges, 5196 markings/sec, 120 secs
lola: 669837 markings, 1798781 edges, 5207 markings/sec, 125 secs
lola: 695830 markings, 1863077 edges, 5199 markings/sec, 130 secs
lola: 721184 markings, 1925844 edges, 5071 markings/sec, 135 secs
lola: 747215 markings, 1990267 edges, 5206 markings/sec, 140 secs
lola: 773253 markings, 2054698 edges, 5208 markings/sec, 145 secs
lola: 799291 markings, 2119156 edges, 5208 markings/sec, 150 secs
lola: 825339 markings, 2183636 edges, 5210 markings/sec, 155 secs
lola: 851397 markings, 2248150 edges, 5212 markings/sec, 160 secs
lola: 877443 markings, 2312667 edges, 5209 markings/sec, 165 secs
lola: 903519 markings, 2376977 edges, 5215 markings/sec, 170 secs
lola: 929090 markings, 2461017 edges, 5114 markings/sec, 175 secs
lola: 954684 markings, 2543556 edges, 5119 markings/sec, 180 secs
lola: 980301 markings, 2622365 edges, 5123 markings/sec, 185 secs
lola: 1005976 markings, 2701027 edges, 5135 markings/sec, 190 secs
lola: 1031693 markings, 2780133 edges, 5143 markings/sec, 195 secs
lola: 1057194 markings, 2860481 edges, 5100 markings/sec, 200 secs
lola: 1083076 markings, 2924493 edges, 5176 markings/sec, 205 secs
lola: 1108984 markings, 2988580 edges, 5182 markings/sec, 210 secs
lola: 1134900 markings, 3052741 edges, 5183 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: 314344 KB
lola: time consumption: 2009 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_20_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 24651 markings, 80193 edges, 4930 markings/sec, 0 secs
lola: 50136 markings, 166000 edges, 5097 markings/sec, 5 secs
lola: 75673 markings, 251606 edges, 5107 markings/sec, 10 secs
lola: 100924 markings, 336576 edges, 5050 markings/sec, 15 secs
lola: 126507 markings, 420585 edges, 5117 markings/sec, 20 secs
lola: 151993 markings, 505453 edges, 5097 markings/sec, 25 secs
lola: 177553 markings, 586634 edges, 5112 markings/sec, 30 secs
lola: 203081 markings, 668940 edges, 5106 markings/sec, 35 secs
lola: 228523 markings, 751234 edges, 5088 markings/sec, 40 secs
lola: 253721 markings, 834215 edges, 5040 markings/sec, 45 secs
lola: 279255 markings, 916555 edges, 5107 markings/sec, 50 secs
lola: 304814 markings, 1000534 edges, 5112 markings/sec, 55 secs
lola: 330214 markings, 1083505 edges, 5080 markings/sec, 60 secs
lola: 355751 markings, 1165796 edges, 5107 markings/sec, 65 secs
lola: 381196 markings, 1249123 edges, 5089 markings/sec, 70 secs
lola: 406509 markings, 1334326 edges, 5063 markings/sec, 75 secs
lola: 431721 markings, 1421250 edges, 5042 markings/sec, 80 secs
lola: 457247 markings, 1503751 edges, 5105 markings/sec, 85 secs
lola: 482621 markings, 1581659 edges, 5075 markings/sec, 90 secs
lola: 508116 markings, 1663870 edges, 5099 markings/sec, 95 secs
lola: 532926 markings, 1745276 edges, 4962 markings/sec, 100 secs
lola: 558063 markings, 1830249 edges, 5027 markings/sec, 105 secs
lola: 583409 markings, 1915836 edges, 5069 markings/sec, 110 secs
lola: 608942 markings, 1996802 edges, 5107 markings/sec, 115 secs
lola: 634299 markings, 2077914 edges, 5071 markings/sec, 120 secs
lola: 659282 markings, 2160125 edges, 4997 markings/sec, 125 secs
lola: 684750 markings, 2241576 edges, 5094 markings/sec, 130 secs
lola: 709969 markings, 2320688 edges, 5044 markings/sec, 135 secs
lola: 735041 markings, 2400768 edges, 5014 markings/sec, 140 secs
lola: 760070 markings, 2482406 edges, 5006 markings/sec, 145 secs
lola: 785693 markings, 2564328 edges, 5125 markings/sec, 150 secs
lola: 811073 markings, 2648850 edges, 5076 markings/sec, 155 secs
lola: 836352 markings, 2732508 edges, 5056 markings/sec, 160 secs
lola: 861415 markings, 2815081 edges, 5013 markings/sec, 165 secs
lola: 886746 markings, 2900271 edges, 5066 markings/sec, 170 secs
lola: 911428 markings, 2981187 edges, 4936 markings/sec, 175 secs
lola: 936601 markings, 3069762 edges, 5035 markings/sec, 180 secs
lola: 961875 markings, 3155869 edges, 5055 markings/sec, 185 secs
lola: 987100 markings, 3237688 edges, 5045 markings/sec, 190 secs
lola: 1012276 markings, 3315788 edges, 5035 markings/sec, 195 secs
lola: 1037546 markings, 3396090 edges, 5054 markings/sec, 200 secs
lola: 1063027 markings, 3479580 edges, 5096 markings/sec, 205 secs
lola: 1088495 markings, 3561047 edges, 5094 markings/sec, 210 secs
lola: 1113755 markings, 3642192 edges, 5052 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: 309816 KB
lola: time consumption: 2232 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_9_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 24892 markings, 78328 edges, 4978 markings/sec, 0 secs
lola: 50439 markings, 155305 edges, 5109 markings/sec, 5 secs
lola: 76031 markings, 232241 edges, 5118 markings/sec, 10 secs
lola: 101661 markings, 309830 edges, 5126 markings/sec, 15 secs
lola: 127483 markings, 387244 edges, 5164 markings/sec, 20 secs
lola: 153488 markings, 466327 edges, 5201 markings/sec, 25 secs
lola: 179501 markings, 547577 edges, 5203 markings/sec, 30 secs
lola: 205336 markings, 626019 edges, 5167 markings/sec, 35 secs
lola: 231055 markings, 705919 edges, 5144 markings/sec, 40 secs
lola: 256939 markings, 784089 edges, 5177 markings/sec, 45 secs
lola: 282840 markings, 860381 edges, 5180 markings/sec, 50 secs
lola: 308577 markings, 936565 edges, 5147 markings/sec, 55 secs
lola: 334572 markings, 1013636 edges, 5199 markings/sec, 60 secs
lola: 360015 markings, 1090418 edges, 5089 markings/sec, 65 secs
lola: 385832 markings, 1169912 edges, 5163 markings/sec, 70 secs
lola: 411650 markings, 1246378 edges, 5164 markings/sec, 75 secs
lola: 437412 markings, 1323791 edges, 5152 markings/sec, 80 secs
lola: 463303 markings, 1400879 edges, 5178 markings/sec, 85 secs
lola: 488948 markings, 1485218 edges, 5129 markings/sec, 90 secs
lola: 514812 markings, 1562989 edges, 5173 markings/sec, 95 secs
lola: 540722 markings, 1637757 edges, 5182 markings/sec, 100 secs
lola: 566568 markings, 1712972 edges, 5169 markings/sec, 105 secs
lola: 592538 markings, 1789303 edges, 5194 markings/sec, 110 secs
lola: 618540 markings, 1864978 edges, 5200 markings/sec, 115 secs
lola: 644273 markings, 1941211 edges, 5147 markings/sec, 120 secs
lola: 670230 markings, 2016039 edges, 5191 markings/sec, 125 secs
lola: 696100 markings, 2093587 edges, 5174 markings/sec, 130 secs
lola: 722039 markings, 2168256 edges, 5188 markings/sec, 135 secs
lola: 747769 markings, 2244616 edges, 5146 markings/sec, 140 secs
lola: 773538 markings, 2318346 edges, 5154 markings/sec, 145 secs
lola: 799346 markings, 2394106 edges, 5162 markings/sec, 150 secs
lola: 825067 markings, 2471701 edges, 5144 markings/sec, 155 secs
lola: 850779 markings, 2547030 edges, 5142 markings/sec, 160 secs
lola: 876530 markings, 2621002 edges, 5150 markings/sec, 165 secs
lola: 902434 markings, 2695737 edges, 5181 markings/sec, 170 secs
lola: 928233 markings, 2773085 edges, 5160 markings/sec, 175 secs
lola: 954042 markings, 2847935 edges, 5162 markings/sec, 180 secs
lola: 979914 markings, 2923170 edges, 5174 markings/sec, 185 secs
lola: 1005647 markings, 3001337 edges, 5147 markings/sec, 190 secs
lola: 1031366 markings, 3077987 edges, 5144 markings/sec, 195 secs
lola: 1056999 markings, 3156596 edges, 5127 markings/sec, 200 secs
lola: 1082622 markings, 3233702 edges, 5125 markings/sec, 205 secs
lola: 1108479 markings, 3309070 edges, 5171 markings/sec, 210 secs
lola: 1134394 markings, 3384139 edges, 5183 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: 322388 KB
lola: time consumption: 2455 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__14_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_16_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 24528 markings, 83273 edges, 4906 markings/sec, 0 secs
lola: 49485 markings, 166837 edges, 4991 markings/sec, 5 secs
lola: 73993 markings, 253829 edges, 4902 markings/sec, 10 secs
lola: 99378 markings, 340584 edges, 5077 markings/sec, 15 secs
lola: 123635 markings, 428002 edges, 4851 markings/sec, 20 secs
lola: 148470 markings, 513803 edges, 4967 markings/sec, 25 secs
lola: 173778 markings, 594061 edges, 5062 markings/sec, 30 secs
lola: 198120 markings, 678871 edges, 4868 markings/sec, 35 secs
lola: 223316 markings, 766249 edges, 5039 markings/sec, 40 secs
lola: 248454 markings, 853557 edges, 5028 markings/sec, 45 secs
lola: 273647 markings, 940439 edges, 5039 markings/sec, 50 secs
lola: 298860 markings, 1030884 edges, 5043 markings/sec, 55 secs
lola: 323709 markings, 1126238 edges, 4970 markings/sec, 60 secs
lola: 348693 markings, 1213899 edges, 4997 markings/sec, 65 secs
lola: 373806 markings, 1300446 edges, 5023 markings/sec, 70 secs
lola: 398957 markings, 1385979 edges, 5030 markings/sec, 75 secs
lola: 423952 markings, 1474875 edges, 4999 markings/sec, 80 secs
lola: 448679 markings, 1563592 edges, 4945 markings/sec, 85 secs
lola: 474042 markings, 1652086 edges, 5073 markings/sec, 90 secs
lola: 499304 markings, 1741538 edges, 5052 markings/sec, 95 secs
lola: 524230 markings, 1828205 edges, 4985 markings/sec, 100 secs
lola: 549080 markings, 1919883 edges, 4970 markings/sec, 105 secs
lola: 573976 markings, 2005725 edges, 4979 markings/sec, 110 secs
lola: 599246 markings, 2095616 edges, 5054 markings/sec, 115 secs
lola: 624235 markings, 2185799 edges, 4998 markings/sec, 120 secs
lola: 649322 markings, 2276202 edges, 5017 markings/sec, 125 secs
lola: 674710 markings, 2362130 edges, 5078 markings/sec, 130 secs
lola: 699764 markings, 2452126 edges, 5011 markings/sec, 135 secs
lola: 724936 markings, 2538360 edges, 5034 markings/sec, 140 secs
lola: 749900 markings, 2628527 edges, 4993 markings/sec, 145 secs
lola: 775207 markings, 2717994 edges, 5061 markings/sec, 150 secs
lola: 800429 markings, 2807046 edges, 5044 markings/sec, 155 secs
lola: 825227 markings, 2895715 edges, 4960 markings/sec, 160 secs
lola: 850263 markings, 2984124 edges, 5007 markings/sec, 165 secs
lola: 875564 markings, 3070147 edges, 5060 markings/sec, 170 secs
lola: 900688 markings, 3159652 edges, 5025 markings/sec, 175 secs
lola: 926127 markings, 3240553 edges, 5088 markings/sec, 180 secs
lola: 951370 markings, 3325885 edges, 5049 markings/sec, 185 secs
lola: 976531 markings, 3412505 edges, 5032 markings/sec, 190 secs
lola: 1001322 markings, 3501906 edges, 4958 markings/sec, 195 secs
lola: 1026436 markings, 3591087 edges, 5023 markings/sec, 200 secs
lola: 1051590 markings, 3679578 edges, 5031 markings/sec, 205 secs
lola: 1076730 markings, 3769091 edges, 5028 markings/sec, 210 secs
lola: 1101937 markings, 3857647 edges, 5041 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: 316100 KB
lola: time consumption: 2678 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_19_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_19_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 24355 markings, 82389 edges, 4871 markings/sec, 0 secs
lola: 49258 markings, 167546 edges, 4981 markings/sec, 5 secs
lola: 74055 markings, 254401 edges, 4959 markings/sec, 10 secs
lola: 98885 markings, 340682 edges, 4966 markings/sec, 15 secs
lola: 123615 markings, 429843 edges, 4946 markings/sec, 20 secs
lola: 148110 markings, 513508 edges, 4899 markings/sec, 25 secs
lola: 172913 markings, 600002 edges, 4961 markings/sec, 30 secs
lola: 197382 markings, 684534 edges, 4894 markings/sec, 35 secs
lola: 222158 markings, 770556 edges, 4955 markings/sec, 40 secs
lola: 246945 markings, 855176 edges, 4957 markings/sec, 45 secs
lola: 271263 markings, 942541 edges, 4864 markings/sec, 50 secs
lola: 295888 markings, 1026008 edges, 4925 markings/sec, 55 secs
lola: 320405 markings, 1111379 edges, 4903 markings/sec, 60 secs
lola: 344913 markings, 1195534 edges, 4902 markings/sec, 65 secs
lola: 369210 markings, 1279150 edges, 4859 markings/sec, 70 secs
lola: 393764 markings, 1364206 edges, 4911 markings/sec, 75 secs
lola: 418430 markings, 1449398 edges, 4933 markings/sec, 80 secs
lola: 442649 markings, 1532679 edges, 4844 markings/sec, 85 secs
lola: 466525 markings, 1616862 edges, 4775 markings/sec, 90 secs
lola: 490669 markings, 1702892 edges, 4829 markings/sec, 95 secs
lola: 515264 markings, 1788563 edges, 4919 markings/sec, 100 secs
lola: 540027 markings, 1873626 edges, 4953 markings/sec, 105 secs
lola: 564409 markings, 1957128 edges, 4876 markings/sec, 110 secs
lola: 588857 markings, 2042029 edges, 4890 markings/sec, 115 secs
lola: 613621 markings, 2127485 edges, 4953 markings/sec, 120 secs
lola: 638344 markings, 2214948 edges, 4945 markings/sec, 125 secs
lola: 662349 markings, 2301411 edges, 4801 markings/sec, 130 secs
lola: 686723 markings, 2383819 edges, 4875 markings/sec, 135 secs
lola: 711557 markings, 2471097 edges, 4967 markings/sec, 140 secs
lola: 736064 markings, 2554935 edges, 4901 markings/sec, 145 secs
lola: 760584 markings, 2641434 edges, 4904 markings/sec, 150 secs
lola: 785329 markings, 2728596 edges, 4949 markings/sec, 155 secs
lola: 810183 markings, 2814340 edges, 4971 markings/sec, 160 secs
lola: 834910 markings, 2900211 edges, 4945 markings/sec, 165 secs
lola: 859672 markings, 2984171 edges, 4952 markings/sec, 170 secs
lola: 884323 markings, 3069954 edges, 4930 markings/sec, 175 secs
lola: 908728 markings, 3156487 edges, 4881 markings/sec, 180 secs
lola: 933190 markings, 3241804 edges, 4892 markings/sec, 185 secs
lola: 957896 markings, 3330811 edges, 4941 markings/sec, 190 secs
lola: 982458 markings, 3418967 edges, 4912 markings/sec, 195 secs
lola: 1007011 markings, 3507529 edges, 4911 markings/sec, 200 secs
lola: 1031749 markings, 3594050 edges, 4948 markings/sec, 205 secs
lola: 1056480 markings, 3680988 edges, 4946 markings/sec, 210 secs
lola: 1081375 markings, 3767018 edges, 4979 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: 305608 KB
lola: time consumption: 2901 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__5_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_7_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 23714 markings, 78556 edges, 4743 markings/sec, 0 secs
lola: 48414 markings, 164632 edges, 4940 markings/sec, 5 secs
lola: 73273 markings, 251455 edges, 4972 markings/sec, 10 secs
lola: 98078 markings, 337415 edges, 4961 markings/sec, 15 secs
lola: 122907 markings, 422515 edges, 4966 markings/sec, 20 secs
lola: 147961 markings, 511528 edges, 5011 markings/sec, 25 secs
lola: 172706 markings, 599225 edges, 4949 markings/sec, 30 secs
lola: 197527 markings, 686707 edges, 4964 markings/sec, 35 secs
lola: 222150 markings, 773830 edges, 4925 markings/sec, 40 secs
lola: 247067 markings, 858755 edges, 4983 markings/sec, 45 secs
lola: 271806 markings, 949461 edges, 4948 markings/sec, 50 secs
lola: 296407 markings, 1037087 edges, 4920 markings/sec, 55 secs
lola: 321117 markings, 1129665 edges, 4942 markings/sec, 60 secs
lola: 345951 markings, 1218304 edges, 4967 markings/sec, 65 secs
lola: 370856 markings, 1305765 edges, 4981 markings/sec, 70 secs
lola: 395723 markings, 1397417 edges, 4973 markings/sec, 75 secs
lola: 420887 markings, 1485180 edges, 5033 markings/sec, 80 secs
lola: 445910 markings, 1573136 edges, 5005 markings/sec, 85 secs
lola: 470174 markings, 1657914 edges, 4853 markings/sec, 90 secs
lola: 494710 markings, 1744322 edges, 4907 markings/sec, 95 secs
lola: 519486 markings, 1829928 edges, 4955 markings/sec, 100 secs
lola: 544045 markings, 1918913 edges, 4912 markings/sec, 105 secs
lola: 569006 markings, 2007492 edges, 4992 markings/sec, 110 secs
lola: 594106 markings, 2094247 edges, 5020 markings/sec, 115 secs
lola: 618397 markings, 2183219 edges, 4858 markings/sec, 120 secs
lola: 643177 markings, 2275433 edges, 4956 markings/sec, 125 secs
lola: 668039 markings, 2366318 edges, 4972 markings/sec, 130 secs
lola: 692410 markings, 2450759 edges, 4874 markings/sec, 135 secs
lola: 717127 markings, 2538744 edges, 4943 markings/sec, 140 secs
lola: 742114 markings, 2626692 edges, 4997 markings/sec, 145 secs
lola: 766525 markings, 2718085 edges, 4882 markings/sec, 150 secs
lola: 791367 markings, 2804622 edges, 4968 markings/sec, 155 secs
lola: 816071 markings, 2892355 edges, 4941 markings/sec, 160 secs
lola: 840931 markings, 2981721 edges, 4972 markings/sec, 165 secs
lola: 865800 markings, 3071139 edges, 4974 markings/sec, 170 secs
lola: 890427 markings, 3160245 edges, 4925 markings/sec, 175 secs
lola: 914873 markings, 3250407 edges, 4889 markings/sec, 180 secs
lola: 939542 markings, 3343549 edges, 4934 markings/sec, 185 secs
lola: 964147 markings, 3436942 edges, 4921 markings/sec, 190 secs
lola: 988628 markings, 3528948 edges, 4896 markings/sec, 195 secs
lola: 1013437 markings, 3620922 edges, 4962 markings/sec, 200 secs
lola: 1038334 markings, 3711438 edges, 4979 markings/sec, 205 secs
lola: 1063296 markings, 3798257 edges, 4992 markings/sec, 210 secs
lola: 1088175 markings, 3887713 edges, 4976 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: 318480 KB
lola: time consumption: 3124 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_16_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 24268 markings, 86725 edges, 4854 markings/sec, 0 secs
lola: 49728 markings, 177864 edges, 5092 markings/sec, 5 secs
lola: 75236 markings, 268259 edges, 5102 markings/sec, 10 secs
lola: 100702 markings, 360095 edges, 5093 markings/sec, 15 secs
lola: 126135 markings, 451652 edges, 5087 markings/sec, 20 secs
lola: 151553 markings, 542726 edges, 5084 markings/sec, 25 secs
lola: 176971 markings, 635955 edges, 5084 markings/sec, 30 secs
lola: 202315 markings, 724529 edges, 5069 markings/sec, 35 secs
lola: 227598 markings, 815941 edges, 5057 markings/sec, 40 secs
lola: 253054 markings, 907753 edges, 5091 markings/sec, 45 secs
lola: 278576 markings, 995985 edges, 5104 markings/sec, 50 secs
lola: 304038 markings, 1084374 edges, 5092 markings/sec, 55 secs
lola: 329323 markings, 1178434 edges, 5057 markings/sec, 60 secs
lola: 354649 markings, 1268812 edges, 5065 markings/sec, 65 secs
lola: 380130 markings, 1360757 edges, 5096 markings/sec, 70 secs
lola: 405668 markings, 1451775 edges, 5108 markings/sec, 75 secs
lola: 431156 markings, 1543868 edges, 5098 markings/sec, 80 secs
lola: 456534 markings, 1635371 edges, 5076 markings/sec, 85 secs
lola: 481998 markings, 1726955 edges, 5093 markings/sec, 90 secs
lola: 507499 markings, 1817370 edges, 5100 markings/sec, 95 secs
lola: 532920 markings, 1909766 edges, 5084 markings/sec, 100 secs
lola: 558354 markings, 2001663 edges, 5087 markings/sec, 105 secs
lola: 583821 markings, 2092181 edges, 5093 markings/sec, 110 secs
lola: 609356 markings, 2183166 edges, 5107 markings/sec, 115 secs
lola: 634842 markings, 2275162 edges, 5097 markings/sec, 120 secs
lola: 660125 markings, 2369067 edges, 5057 markings/sec, 125 secs
lola: 685473 markings, 2465904 edges, 5070 markings/sec, 130 secs
lola: 710912 markings, 2557633 edges, 5088 markings/sec, 135 secs
lola: 736226 markings, 2648717 edges, 5063 markings/sec, 140 secs
lola: 761524 markings, 2740491 edges, 5060 markings/sec, 145 secs
lola: 786746 markings, 2835972 edges, 5044 markings/sec, 150 secs
lola: 811968 markings, 2927567 edges, 5044 markings/sec, 155 secs
lola: 836681 markings, 3023231 edges, 4943 markings/sec, 160 secs
lola: 862014 markings, 3115902 edges, 5067 markings/sec, 165 secs
lola: 887256 markings, 3207084 edges, 5048 markings/sec, 170 secs
lola: 912643 markings, 3297667 edges, 5077 markings/sec, 175 secs
lola: 937716 markings, 3393033 edges, 5015 markings/sec, 180 secs
lola: 962902 markings, 3484777 edges, 5037 markings/sec, 185 secs
lola: 988116 markings, 3575571 edges, 5043 markings/sec, 190 secs
lola: 1013276 markings, 3667952 edges, 5032 markings/sec, 195 secs
lola: 1038588 markings, 3757213 edges, 5062 markings/sec, 200 secs
lola: 1063803 markings, 3848002 edges, 5043 markings/sec, 205 secs
lola: 1088865 markings, 3940239 edges, 5012 markings/sec, 210 secs
lola: 1114083 markings, 4028705 edges, 5044 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: 316456 KB
lola: time consumption: 3347 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_15_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 25012 markings, 84480 edges, 5002 markings/sec, 0 secs
lola: 50918 markings, 168488 edges, 5181 markings/sec, 5 secs
lola: 76689 markings, 252458 edges, 5154 markings/sec, 10 secs
lola: 102293 markings, 338847 edges, 5121 markings/sec, 15 secs
lola: 128231 markings, 421927 edges, 5188 markings/sec, 20 secs
lola: 153893 markings, 511967 edges, 5132 markings/sec, 25 secs
lola: 179834 markings, 595812 edges, 5188 markings/sec, 30 secs
lola: 205676 markings, 679780 edges, 5168 markings/sec, 35 secs
lola: 231473 markings, 764983 edges, 5159 markings/sec, 40 secs
lola: 257136 markings, 854375 edges, 5133 markings/sec, 45 secs
lola: 282694 markings, 942687 edges, 5112 markings/sec, 50 secs
lola: 308340 markings, 1032321 edges, 5129 markings/sec, 55 secs
lola: 333900 markings, 1117177 edges, 5112 markings/sec, 60 secs
lola: 359562 markings, 1204444 edges, 5132 markings/sec, 65 secs
lola: 385280 markings, 1287707 edges, 5144 markings/sec, 70 secs
lola: 411018 markings, 1370823 edges, 5148 markings/sec, 75 secs
lola: 436822 markings, 1452672 edges, 5161 markings/sec, 80 secs
lola: 462539 markings, 1536619 edges, 5143 markings/sec, 85 secs
lola: 488340 markings, 1620690 edges, 5160 markings/sec, 90 secs
lola: 514018 markings, 1704577 edges, 5136 markings/sec, 95 secs
lola: 539858 markings, 1787386 edges, 5168 markings/sec, 100 secs
lola: 565527 markings, 1872701 edges, 5134 markings/sec, 105 secs
lola: 591256 markings, 1957364 edges, 5146 markings/sec, 110 secs
lola: 616974 markings, 2041497 edges, 5144 markings/sec, 115 secs
lola: 642529 markings, 2129115 edges, 5111 markings/sec, 120 secs
lola: 668000 markings, 2218819 edges, 5094 markings/sec, 125 secs
lola: 693613 markings, 2304635 edges, 5123 markings/sec, 130 secs
lola: 719335 markings, 2387077 edges, 5144 markings/sec, 135 secs
lola: 745073 markings, 2470211 edges, 5148 markings/sec, 140 secs
lola: 770686 markings, 2557140 edges, 5123 markings/sec, 145 secs
lola: 796307 markings, 2646023 edges, 5124 markings/sec, 150 secs
lola: 822102 markings, 2731152 edges, 5159 markings/sec, 155 secs
lola: 848061 markings, 2813429 edges, 5192 markings/sec, 160 secs
lola: 873813 markings, 2898515 edges, 5150 markings/sec, 165 secs
lola: 899568 markings, 2984414 edges, 5151 markings/sec, 170 secs
lola: 925452 markings, 3067337 edges, 5177 markings/sec, 175 secs
lola: 951264 markings, 3152476 edges, 5162 markings/sec, 180 secs
lola: 977042 markings, 3238768 edges, 5156 markings/sec, 185 secs
lola: 1002741 markings, 3324761 edges, 5140 markings/sec, 190 secs
lola: 1028780 markings, 3406449 edges, 5208 markings/sec, 195 secs
lola: 1054607 markings, 3491314 edges, 5165 markings/sec, 200 secs
lola: 1080475 markings, 3574002 edges, 5174 markings/sec, 205 secs
lola: 1106166 markings, 3655746 edges, 5138 markings/sec, 210 secs
lola: 1131482 markings, 3743565 edges, 5063 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: 321200 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__16_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__16_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
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: lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown

lola: memory consumption: 22112 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 22112 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process

BK_STOP 1552920229558

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

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