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

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

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1552921310986

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D40N050 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D40N050 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D40N050 @ 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: 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-D40N050-UpperBounds.task
lola: MAX(cAMP__28_13_) : MAX(cAMP__37_9_) : MAX(cAMP__7_3_) : MAX(cAMP__33_13_) : MAX(cAMP__17_6_) : MAX(cAMP__16_36_) : MAX(cAMP__9_26_) : MAX(cAMP__14_7_) : MAX(cAMP__17_5_) : MAX(cAMP__24_40_) : MAX(cAMP__39_34_) : MAX(cAMP__34_37_) : MAX(cAMP__1_17_) : MAX(cAMP__29_36_) : MAX(cAMP__21_24_) : MAX(cAMP__31_13_)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__28_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__28_13_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 2108 markings, 7159 edges, 422 markings/sec, 0 secs
lola: 6397 markings, 21652 edges, 858 markings/sec, 5 secs
lola: 10686 markings, 35792 edges, 858 markings/sec, 10 secs
lola: 14951 markings, 51557 edges, 853 markings/sec, 15 secs
lola: 19232 markings, 66272 edges, 856 markings/sec, 20 secs
lola: 23502 markings, 80993 edges, 854 markings/sec, 25 secs
lola: 27756 markings, 96251 edges, 851 markings/sec, 30 secs
lola: 32002 markings, 110087 edges, 849 markings/sec, 35 secs
lola: 36161 markings, 125384 edges, 832 markings/sec, 40 secs
lola: 40423 markings, 140568 edges, 852 markings/sec, 45 secs
lola: 44691 markings, 155568 edges, 854 markings/sec, 50 secs
lola: 48918 markings, 171257 edges, 845 markings/sec, 55 secs
lola: 53113 markings, 185951 edges, 839 markings/sec, 60 secs
lola: 57366 markings, 200374 edges, 851 markings/sec, 65 secs
lola: 61610 markings, 215742 edges, 849 markings/sec, 70 secs
lola: 65880 markings, 230119 edges, 854 markings/sec, 75 secs
lola: 70097 markings, 244917 edges, 843 markings/sec, 80 secs
lola: 74190 markings, 260330 edges, 819 markings/sec, 85 secs
lola: 78453 markings, 275441 edges, 853 markings/sec, 90 secs
lola: 82726 markings, 290317 edges, 855 markings/sec, 95 secs
lola: 86993 markings, 305742 edges, 853 markings/sec, 100 secs
lola: 91241 markings, 320733 edges, 850 markings/sec, 105 secs
lola: 95522 markings, 335693 edges, 856 markings/sec, 110 secs
lola: 99800 markings, 350849 edges, 856 markings/sec, 115 secs
lola: 104100 markings, 365434 edges, 860 markings/sec, 120 secs
lola: 108434 markings, 380213 edges, 867 markings/sec, 125 secs
lola: 112753 markings, 395724 edges, 864 markings/sec, 130 secs
lola: 117014 markings, 410533 edges, 852 markings/sec, 135 secs
lola: 121279 markings, 425305 edges, 853 markings/sec, 140 secs
lola: 125527 markings, 440459 edges, 850 markings/sec, 145 secs
lola: 129791 markings, 455250 edges, 853 markings/sec, 150 secs
lola: 134075 markings, 468824 edges, 857 markings/sec, 155 secs
lola: 138340 markings, 482900 edges, 853 markings/sec, 160 secs
lola: 142617 markings, 496732 edges, 855 markings/sec, 165 secs
lola: 146883 markings, 510805 edges, 853 markings/sec, 170 secs
lola: 151144 markings, 524477 edges, 852 markings/sec, 175 secs
lola: 155404 markings, 538596 edges, 852 markings/sec, 180 secs
lola: 159657 markings, 553005 edges, 851 markings/sec, 185 secs
lola: 163910 markings, 567446 edges, 851 markings/sec, 190 secs
lola: 168110 markings, 581991 edges, 840 markings/sec, 195 secs
lola: 172356 markings, 596862 edges, 849 markings/sec, 200 secs
lola: 176670 markings, 611757 edges, 863 markings/sec, 205 secs
lola: 180992 markings, 626154 edges, 864 markings/sec, 210 secs
lola: 185311 markings, 640631 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: 93816 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__37_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__37_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 2194 markings, 7261 edges, 439 markings/sec, 0 secs
lola: 6602 markings, 22503 edges, 882 markings/sec, 5 secs
lola: 10989 markings, 38069 edges, 877 markings/sec, 10 secs
lola: 15393 markings, 52840 edges, 881 markings/sec, 15 secs
lola: 19789 markings, 67283 edges, 879 markings/sec, 20 secs
lola: 24208 markings, 81478 edges, 884 markings/sec, 25 secs
lola: 28591 markings, 97030 edges, 877 markings/sec, 30 secs
lola: 32980 markings, 112120 edges, 878 markings/sec, 35 secs
lola: 37331 markings, 128851 edges, 870 markings/sec, 40 secs
lola: 41721 markings, 143562 edges, 878 markings/sec, 45 secs
lola: 46114 markings, 158641 edges, 879 markings/sec, 50 secs
lola: 50468 markings, 175825 edges, 871 markings/sec, 55 secs
lola: 54816 markings, 192047 edges, 870 markings/sec, 60 secs
lola: 59177 markings, 208314 edges, 872 markings/sec, 65 secs
lola: 63566 markings, 223225 edges, 878 markings/sec, 70 secs
lola: 67936 markings, 238114 edges, 874 markings/sec, 75 secs
lola: 72267 markings, 253767 edges, 866 markings/sec, 80 secs
lola: 76555 markings, 267372 edges, 858 markings/sec, 85 secs
lola: 80931 markings, 282472 edges, 875 markings/sec, 90 secs
lola: 85254 markings, 297182 edges, 865 markings/sec, 95 secs
lola: 89609 markings, 312608 edges, 871 markings/sec, 100 secs
lola: 93941 markings, 328548 edges, 866 markings/sec, 105 secs
lola: 98289 markings, 343133 edges, 870 markings/sec, 110 secs
lola: 102642 markings, 357148 edges, 871 markings/sec, 115 secs
lola: 106981 markings, 371587 edges, 868 markings/sec, 120 secs
lola: 111309 markings, 385945 edges, 866 markings/sec, 125 secs
lola: 115632 markings, 400714 edges, 865 markings/sec, 130 secs
lola: 119993 markings, 414836 edges, 872 markings/sec, 135 secs
lola: 124350 markings, 428749 edges, 871 markings/sec, 140 secs
lola: 128707 markings, 442830 edges, 871 markings/sec, 145 secs
lola: 133085 markings, 456793 edges, 876 markings/sec, 150 secs
lola: 137426 markings, 471000 edges, 868 markings/sec, 155 secs
lola: 141737 markings, 486379 edges, 862 markings/sec, 160 secs
lola: 146065 markings, 500981 edges, 866 markings/sec, 165 secs
lola: 150390 markings, 516184 edges, 865 markings/sec, 170 secs
lola: 154724 markings, 530606 edges, 867 markings/sec, 175 secs
lola: 159066 markings, 544765 edges, 868 markings/sec, 180 secs
lola: 163392 markings, 558879 edges, 865 markings/sec, 185 secs
lola: 167705 markings, 573512 edges, 863 markings/sec, 190 secs
lola: 172015 markings, 587783 edges, 862 markings/sec, 195 secs
lola: 176364 markings, 602048 edges, 870 markings/sec, 200 secs
lola: 180756 markings, 616031 edges, 878 markings/sec, 205 secs
lola: 185077 markings, 630142 edges, 864 markings/sec, 210 secs
lola: 189490 markings, 643844 edges, 883 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: 98276 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__7_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 2110 markings, 7178 edges, 422 markings/sec, 0 secs
lola: 6404 markings, 22346 edges, 859 markings/sec, 5 secs
lola: 10671 markings, 37254 edges, 853 markings/sec, 10 secs
lola: 14942 markings, 50791 edges, 854 markings/sec, 15 secs
lola: 19185 markings, 64987 edges, 849 markings/sec, 20 secs
lola: 23416 markings, 80071 edges, 846 markings/sec, 25 secs
lola: 27651 markings, 94260 edges, 847 markings/sec, 30 secs
lola: 31852 markings, 108575 edges, 840 markings/sec, 35 secs
lola: 36072 markings, 122658 edges, 844 markings/sec, 40 secs
lola: 40251 markings, 138016 edges, 836 markings/sec, 45 secs
lola: 44477 markings, 153803 edges, 845 markings/sec, 50 secs
lola: 48658 markings, 169115 edges, 836 markings/sec, 55 secs
lola: 52921 markings, 182965 edges, 853 markings/sec, 60 secs
lola: 57147 markings, 197710 edges, 845 markings/sec, 65 secs
lola: 61370 markings, 211899 edges, 845 markings/sec, 70 secs
lola: 65557 markings, 226581 edges, 837 markings/sec, 75 secs
lola: 69803 markings, 240554 edges, 849 markings/sec, 80 secs
lola: 74043 markings, 255177 edges, 848 markings/sec, 85 secs
lola: 78227 markings, 270915 edges, 837 markings/sec, 90 secs
lola: 82429 markings, 287337 edges, 840 markings/sec, 95 secs
lola: 86677 markings, 301255 edges, 850 markings/sec, 100 secs
lola: 90895 markings, 315579 edges, 844 markings/sec, 105 secs
lola: 95129 markings, 330448 edges, 847 markings/sec, 110 secs
lola: 99383 markings, 344702 edges, 851 markings/sec, 115 secs
lola: 103607 markings, 359018 edges, 845 markings/sec, 120 secs
lola: 107871 markings, 373264 edges, 853 markings/sec, 125 secs
lola: 112139 markings, 389319 edges, 854 markings/sec, 130 secs
lola: 116406 markings, 405372 edges, 853 markings/sec, 135 secs
lola: 120677 markings, 420342 edges, 854 markings/sec, 140 secs
lola: 124960 markings, 434478 edges, 857 markings/sec, 145 secs
lola: 129238 markings, 449639 edges, 856 markings/sec, 150 secs
lola: 133528 markings, 464174 edges, 858 markings/sec, 155 secs
lola: 137819 markings, 477182 edges, 858 markings/sec, 160 secs
lola: 142115 markings, 490394 edges, 859 markings/sec, 165 secs
lola: 146400 markings, 503374 edges, 857 markings/sec, 170 secs
lola: 150704 markings, 517761 edges, 861 markings/sec, 175 secs
lola: 155003 markings, 531409 edges, 860 markings/sec, 180 secs
lola: 159283 markings, 544532 edges, 856 markings/sec, 185 secs
lola: 163572 markings, 558075 edges, 858 markings/sec, 190 secs
lola: 167836 markings, 572446 edges, 853 markings/sec, 195 secs
lola: 172086 markings, 586002 edges, 850 markings/sec, 200 secs
lola: 176296 markings, 599882 edges, 842 markings/sec, 205 secs
lola: 180502 markings, 613648 edges, 841 markings/sec, 210 secs
lola: 184694 markings, 628954 edges, 838 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: 92560 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__33_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__33_13_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 2132 markings, 7270 edges, 426 markings/sec, 0 secs
lola: 6400 markings, 22714 edges, 854 markings/sec, 5 secs
lola: 10748 markings, 38221 edges, 870 markings/sec, 10 secs
lola: 15093 markings, 53599 edges, 869 markings/sec, 15 secs
lola: 19432 markings, 68078 edges, 868 markings/sec, 20 secs
lola: 23776 markings, 82455 edges, 869 markings/sec, 25 secs
lola: 28080 markings, 98580 edges, 861 markings/sec, 30 secs
lola: 32375 markings, 114937 edges, 859 markings/sec, 35 secs
lola: 36623 markings, 131081 edges, 850 markings/sec, 40 secs
lola: 40967 markings, 146324 edges, 869 markings/sec, 45 secs
lola: 45301 markings, 160682 edges, 867 markings/sec, 50 secs
lola: 49644 markings, 176494 edges, 869 markings/sec, 55 secs
lola: 54009 markings, 190740 edges, 873 markings/sec, 60 secs
lola: 58335 markings, 205756 edges, 865 markings/sec, 65 secs
lola: 62587 markings, 221848 edges, 850 markings/sec, 70 secs
lola: 66836 markings, 238041 edges, 850 markings/sec, 75 secs
lola: 71077 markings, 255111 edges, 848 markings/sec, 80 secs
lola: 75382 markings, 270990 edges, 861 markings/sec, 85 secs
lola: 79720 markings, 286418 edges, 868 markings/sec, 90 secs
lola: 84077 markings, 301415 edges, 871 markings/sec, 95 secs
lola: 88409 markings, 317038 edges, 866 markings/sec, 100 secs
lola: 92702 markings, 332789 edges, 859 markings/sec, 105 secs
lola: 97043 markings, 350572 edges, 868 markings/sec, 110 secs
lola: 101408 markings, 366996 edges, 873 markings/sec, 115 secs
lola: 105690 markings, 383098 edges, 856 markings/sec, 120 secs
lola: 110006 markings, 399047 edges, 863 markings/sec, 125 secs
lola: 114357 markings, 414430 edges, 870 markings/sec, 130 secs
lola: 118711 markings, 428486 edges, 871 markings/sec, 135 secs
lola: 123042 markings, 443290 edges, 866 markings/sec, 140 secs
lola: 127348 markings, 458716 edges, 861 markings/sec, 145 secs
lola: 131627 markings, 475144 edges, 856 markings/sec, 150 secs
lola: 135870 markings, 493471 edges, 849 markings/sec, 155 secs
lola: 140170 markings, 509268 edges, 860 markings/sec, 160 secs
lola: 144488 markings, 524811 edges, 864 markings/sec, 165 secs
lola: 148765 markings, 540155 edges, 855 markings/sec, 170 secs
lola: 153090 markings, 555350 edges, 865 markings/sec, 175 secs
lola: 157446 markings, 570346 edges, 871 markings/sec, 180 secs
lola: 161815 markings, 585934 edges, 874 markings/sec, 185 secs
lola: 166171 markings, 602001 edges, 871 markings/sec, 190 secs
lola: 170530 markings, 616429 edges, 872 markings/sec, 195 secs
lola: 174872 markings, 631406 edges, 868 markings/sec, 200 secs
lola: 179197 markings, 646684 edges, 865 markings/sec, 205 secs
lola: 183521 markings, 662093 edges, 865 markings/sec, 210 secs
lola: 187862 markings, 676595 edges, 868 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: 91540 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__17_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_6_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 2151 markings, 7379 edges, 430 markings/sec, 0 secs
lola: 6420 markings, 22775 edges, 854 markings/sec, 5 secs
lola: 10690 markings, 38516 edges, 854 markings/sec, 10 secs
lola: 15003 markings, 53990 edges, 863 markings/sec, 15 secs
lola: 19177 markings, 69425 edges, 835 markings/sec, 20 secs
lola: 23435 markings, 85306 edges, 852 markings/sec, 25 secs
lola: 27627 markings, 100686 edges, 838 markings/sec, 30 secs
lola: 31912 markings, 115775 edges, 857 markings/sec, 35 secs
lola: 36200 markings, 129645 edges, 858 markings/sec, 40 secs
lola: 40466 markings, 144324 edges, 853 markings/sec, 45 secs
lola: 44776 markings, 158131 edges, 862 markings/sec, 50 secs
lola: 49049 markings, 172229 edges, 855 markings/sec, 55 secs
lola: 53287 markings, 187721 edges, 848 markings/sec, 60 secs
lola: 57565 markings, 201556 edges, 856 markings/sec, 65 secs
lola: 61808 markings, 216460 edges, 849 markings/sec, 70 secs
lola: 66085 markings, 230860 edges, 855 markings/sec, 75 secs
lola: 70357 markings, 246915 edges, 854 markings/sec, 80 secs
lola: 74544 markings, 261526 edges, 837 markings/sec, 85 secs
lola: 78820 markings, 276341 edges, 855 markings/sec, 90 secs
lola: 83081 markings, 290995 edges, 852 markings/sec, 95 secs
lola: 87375 markings, 305573 edges, 859 markings/sec, 100 secs
lola: 91619 markings, 320712 edges, 849 markings/sec, 105 secs
lola: 95913 markings, 335073 edges, 859 markings/sec, 110 secs
lola: 100170 markings, 349769 edges, 851 markings/sec, 115 secs
lola: 104458 markings, 365215 edges, 858 markings/sec, 120 secs
lola: 108757 markings, 378934 edges, 860 markings/sec, 125 secs
lola: 113036 markings, 393375 edges, 856 markings/sec, 130 secs
lola: 117278 markings, 408355 edges, 848 markings/sec, 135 secs
lola: 121520 markings, 423792 edges, 848 markings/sec, 140 secs
lola: 125787 markings, 439376 edges, 853 markings/sec, 145 secs
lola: 130048 markings, 455466 edges, 852 markings/sec, 150 secs
lola: 134283 markings, 470056 edges, 847 markings/sec, 155 secs
lola: 138584 markings, 484061 edges, 860 markings/sec, 160 secs
lola: 142878 markings, 498691 edges, 859 markings/sec, 165 secs
lola: 147165 markings, 513782 edges, 857 markings/sec, 170 secs
lola: 151428 markings, 529062 edges, 853 markings/sec, 175 secs
lola: 155688 markings, 543357 edges, 852 markings/sec, 180 secs
lola: 159877 markings, 557467 edges, 838 markings/sec, 185 secs
lola: 164041 markings, 572012 edges, 833 markings/sec, 190 secs
lola: 168254 markings, 587003 edges, 843 markings/sec, 195 secs
lola: 172481 markings, 601533 edges, 845 markings/sec, 200 secs
lola: 176650 markings, 617167 edges, 834 markings/sec, 205 secs
lola: 180879 markings, 632221 edges, 846 markings/sec, 210 secs
lola: 185151 markings, 646117 edges, 854 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: 93792 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__16_36_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__16_36_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 2152 markings, 7221 edges, 430 markings/sec, 0 secs
lola: 6416 markings, 22717 edges, 853 markings/sec, 5 secs
lola: 10703 markings, 37334 edges, 857 markings/sec, 10 secs
lola: 14958 markings, 51957 edges, 851 markings/sec, 15 secs
lola: 19274 markings, 66137 edges, 863 markings/sec, 20 secs
lola: 23568 markings, 80930 edges, 859 markings/sec, 25 secs
lola: 27875 markings, 95125 edges, 861 markings/sec, 30 secs
lola: 32158 markings, 110676 edges, 857 markings/sec, 35 secs
lola: 36442 markings, 125885 edges, 857 markings/sec, 40 secs
lola: 40712 markings, 140932 edges, 854 markings/sec, 45 secs
lola: 44896 markings, 156033 edges, 837 markings/sec, 50 secs
lola: 49168 markings, 171766 edges, 854 markings/sec, 55 secs
lola: 53453 markings, 186266 edges, 857 markings/sec, 60 secs
lola: 57736 markings, 201404 edges, 857 markings/sec, 65 secs
lola: 62025 markings, 216979 edges, 858 markings/sec, 70 secs
lola: 66301 markings, 231957 edges, 855 markings/sec, 75 secs
lola: 70606 markings, 246212 edges, 861 markings/sec, 80 secs
lola: 74884 markings, 261741 edges, 856 markings/sec, 85 secs
lola: 79194 markings, 276653 edges, 862 markings/sec, 90 secs
lola: 83509 markings, 290748 edges, 863 markings/sec, 95 secs
lola: 87810 markings, 306037 edges, 860 markings/sec, 100 secs
lola: 92141 markings, 320657 edges, 866 markings/sec, 105 secs
lola: 96469 markings, 335702 edges, 866 markings/sec, 110 secs
lola: 100790 markings, 351125 edges, 864 markings/sec, 115 secs
lola: 105113 markings, 366462 edges, 865 markings/sec, 120 secs
lola: 109419 markings, 381754 edges, 861 markings/sec, 125 secs
lola: 113724 markings, 397594 edges, 861 markings/sec, 130 secs
lola: 118021 markings, 413133 edges, 859 markings/sec, 135 secs
lola: 122282 markings, 427392 edges, 852 markings/sec, 140 secs
lola: 126585 markings, 442563 edges, 861 markings/sec, 145 secs
lola: 130748 markings, 456489 edges, 833 markings/sec, 150 secs
lola: 135065 markings, 471802 edges, 863 markings/sec, 155 secs
lola: 139316 markings, 487115 edges, 850 markings/sec, 160 secs
lola: 143619 markings, 502736 edges, 861 markings/sec, 165 secs
lola: 147895 markings, 517511 edges, 855 markings/sec, 170 secs
lola: 152178 markings, 531740 edges, 857 markings/sec, 175 secs
lola: 156384 markings, 547798 edges, 841 markings/sec, 180 secs
lola: 160663 markings, 562689 edges, 856 markings/sec, 185 secs
lola: 164909 markings, 578011 edges, 849 markings/sec, 190 secs
lola: 169176 markings, 593163 edges, 853 markings/sec, 195 secs
lola: 173422 markings, 608439 edges, 849 markings/sec, 200 secs
lola: 177692 markings, 623757 edges, 854 markings/sec, 205 secs
lola: 181999 markings, 638501 edges, 861 markings/sec, 210 secs
lola: 186294 markings, 653686 edges, 859 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: 100828 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__9_26_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_26_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 2164 markings, 7390 edges, 433 markings/sec, 0 secs
lola: 6443 markings, 23273 edges, 856 markings/sec, 5 secs
lola: 10747 markings, 38100 edges, 861 markings/sec, 10 secs
lola: 15045 markings, 52943 edges, 860 markings/sec, 15 secs
lola: 19351 markings, 66907 edges, 861 markings/sec, 20 secs
lola: 23613 markings, 82308 edges, 852 markings/sec, 25 secs
lola: 27874 markings, 98192 edges, 852 markings/sec, 30 secs
lola: 32149 markings, 112923 edges, 855 markings/sec, 35 secs
lola: 36408 markings, 128657 edges, 852 markings/sec, 40 secs
lola: 40655 markings, 143775 edges, 849 markings/sec, 45 secs
lola: 44914 markings, 158754 edges, 852 markings/sec, 50 secs
lola: 49153 markings, 173399 edges, 848 markings/sec, 55 secs
lola: 53351 markings, 188642 edges, 840 markings/sec, 60 secs
lola: 57545 markings, 204196 edges, 839 markings/sec, 65 secs
lola: 61794 markings, 219490 edges, 850 markings/sec, 70 secs
lola: 66054 markings, 234851 edges, 852 markings/sec, 75 secs
lola: 70324 markings, 249685 edges, 854 markings/sec, 80 secs
lola: 74554 markings, 265692 edges, 846 markings/sec, 85 secs
lola: 78849 markings, 280291 edges, 859 markings/sec, 90 secs
lola: 83119 markings, 294822 edges, 854 markings/sec, 95 secs
lola: 87376 markings, 309715 edges, 851 markings/sec, 100 secs
lola: 91595 markings, 324578 edges, 844 markings/sec, 105 secs
lola: 95794 markings, 339811 edges, 840 markings/sec, 110 secs
lola: 100036 markings, 355033 edges, 848 markings/sec, 115 secs
lola: 104227 markings, 370551 edges, 838 markings/sec, 120 secs
lola: 108430 markings, 385952 edges, 841 markings/sec, 125 secs
lola: 112692 markings, 400298 edges, 852 markings/sec, 130 secs
lola: 116949 markings, 415547 edges, 851 markings/sec, 135 secs
lola: 121274 markings, 429339 edges, 865 markings/sec, 140 secs
lola: 125552 markings, 445449 edges, 856 markings/sec, 145 secs
lola: 129836 markings, 459862 edges, 857 markings/sec, 150 secs
lola: 134087 markings, 474814 edges, 850 markings/sec, 155 secs
lola: 138325 markings, 489865 edges, 848 markings/sec, 160 secs
lola: 142540 markings, 504229 edges, 843 markings/sec, 165 secs
lola: 146753 markings, 518214 edges, 843 markings/sec, 170 secs
lola: 151073 markings, 531885 edges, 864 markings/sec, 175 secs
lola: 155350 markings, 545816 edges, 855 markings/sec, 180 secs
lola: 159588 markings, 560537 edges, 848 markings/sec, 185 secs
lola: 163885 markings, 575599 edges, 859 markings/sec, 190 secs
lola: 168184 markings, 589128 edges, 860 markings/sec, 195 secs
lola: 172361 markings, 603036 edges, 835 markings/sec, 200 secs
lola: 176594 markings, 617499 edges, 847 markings/sec, 205 secs
lola: 180835 markings, 632634 edges, 848 markings/sec, 210 secs
lola: 185081 markings, 647900 edges, 849 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: 96604 KB
lola: time consumption: 1572 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__14_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_7_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 2199 markings, 7607 edges, 440 markings/sec, 0 secs
lola: 6446 markings, 22286 edges, 849 markings/sec, 5 secs
lola: 10754 markings, 37706 edges, 862 markings/sec, 10 secs
lola: 15067 markings, 53095 edges, 863 markings/sec, 15 secs
lola: 19389 markings, 68693 edges, 864 markings/sec, 20 secs
lola: 23690 markings, 82794 edges, 860 markings/sec, 25 secs
lola: 27984 markings, 97260 edges, 859 markings/sec, 30 secs
lola: 32289 markings, 111762 edges, 861 markings/sec, 35 secs
lola: 36591 markings, 125995 edges, 860 markings/sec, 40 secs
lola: 40915 markings, 141628 edges, 865 markings/sec, 45 secs
lola: 45237 markings, 156862 edges, 864 markings/sec, 50 secs
lola: 49551 markings, 172476 edges, 863 markings/sec, 55 secs
lola: 53857 markings, 188619 edges, 861 markings/sec, 60 secs
lola: 58150 markings, 205259 edges, 859 markings/sec, 65 secs
lola: 62438 markings, 222083 edges, 858 markings/sec, 70 secs
lola: 66762 markings, 237417 edges, 865 markings/sec, 75 secs
lola: 71017 markings, 252403 edges, 851 markings/sec, 80 secs
lola: 75315 markings, 268071 edges, 860 markings/sec, 85 secs
lola: 79637 markings, 283768 edges, 864 markings/sec, 90 secs
lola: 83936 markings, 298803 edges, 860 markings/sec, 95 secs
lola: 88216 markings, 314643 edges, 856 markings/sec, 100 secs
lola: 92496 markings, 331177 edges, 856 markings/sec, 105 secs
lola: 96785 markings, 346643 edges, 858 markings/sec, 110 secs
lola: 101095 markings, 362181 edges, 862 markings/sec, 115 secs
lola: 105420 markings, 376213 edges, 865 markings/sec, 120 secs
lola: 109762 markings, 390410 edges, 868 markings/sec, 125 secs
lola: 114116 markings, 405302 edges, 871 markings/sec, 130 secs
lola: 118451 markings, 420601 edges, 867 markings/sec, 135 secs
lola: 122785 markings, 435170 edges, 867 markings/sec, 140 secs
lola: 127099 markings, 450027 edges, 863 markings/sec, 145 secs
lola: 131389 markings, 465086 edges, 858 markings/sec, 150 secs
lola: 135637 markings, 480007 edges, 850 markings/sec, 155 secs
lola: 139891 markings, 496287 edges, 851 markings/sec, 160 secs
lola: 144147 markings, 512291 edges, 851 markings/sec, 165 secs
lola: 148419 markings, 527755 edges, 854 markings/sec, 170 secs
lola: 152704 markings, 543253 edges, 857 markings/sec, 175 secs
lola: 157014 markings, 557848 edges, 862 markings/sec, 180 secs
lola: 161312 markings, 573295 edges, 860 markings/sec, 185 secs
lola: 165568 markings, 588418 edges, 851 markings/sec, 190 secs
lola: 169835 markings, 603631 edges, 853 markings/sec, 195 secs
lola: 174106 markings, 617852 edges, 854 markings/sec, 200 secs
lola: 178406 markings, 632524 edges, 860 markings/sec, 205 secs
lola: 182664 markings, 647832 edges, 852 markings/sec, 210 secs
lola: 186932 markings, 662450 edges, 854 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: 95480 KB
lola: time consumption: 1794 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__17_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_5_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 2113 markings, 7368 edges, 423 markings/sec, 0 secs
lola: 6366 markings, 21997 edges, 851 markings/sec, 5 secs
lola: 10620 markings, 36418 edges, 851 markings/sec, 10 secs
lola: 14869 markings, 50321 edges, 850 markings/sec, 15 secs
lola: 19125 markings, 63973 edges, 851 markings/sec, 20 secs
lola: 23370 markings, 77649 edges, 849 markings/sec, 25 secs
lola: 27598 markings, 92232 edges, 846 markings/sec, 30 secs
lola: 31856 markings, 106334 edges, 852 markings/sec, 35 secs
lola: 36111 markings, 120556 edges, 851 markings/sec, 40 secs
lola: 40379 markings, 134409 edges, 854 markings/sec, 45 secs
lola: 44630 markings, 149403 edges, 850 markings/sec, 50 secs
lola: 48911 markings, 163758 edges, 856 markings/sec, 55 secs
lola: 53195 markings, 177776 edges, 857 markings/sec, 60 secs
lola: 57458 markings, 192361 edges, 853 markings/sec, 65 secs
lola: 61696 markings, 207481 edges, 848 markings/sec, 70 secs
lola: 65928 markings, 222117 edges, 846 markings/sec, 75 secs
lola: 70210 markings, 236892 edges, 856 markings/sec, 80 secs
lola: 74489 markings, 251163 edges, 856 markings/sec, 85 secs
lola: 78772 markings, 265175 edges, 857 markings/sec, 90 secs
lola: 83038 markings, 280181 edges, 853 markings/sec, 95 secs
lola: 87295 markings, 294735 edges, 851 markings/sec, 100 secs
lola: 91553 markings, 309276 edges, 852 markings/sec, 105 secs
lola: 95790 markings, 322807 edges, 847 markings/sec, 110 secs
lola: 100019 markings, 336544 edges, 846 markings/sec, 115 secs
lola: 104228 markings, 351642 edges, 842 markings/sec, 120 secs
lola: 108403 markings, 366713 edges, 835 markings/sec, 125 secs
lola: 112643 markings, 381408 edges, 848 markings/sec, 130 secs
lola: 116893 markings, 395588 edges, 850 markings/sec, 135 secs
lola: 121194 markings, 409055 edges, 860 markings/sec, 140 secs
lola: 125461 markings, 423733 edges, 853 markings/sec, 145 secs
lola: 129722 markings, 437877 edges, 852 markings/sec, 150 secs
lola: 133975 markings, 451754 edges, 851 markings/sec, 155 secs
lola: 138214 markings, 466151 edges, 848 markings/sec, 160 secs
lola: 142442 markings, 480774 edges, 846 markings/sec, 165 secs
lola: 146657 markings, 496796 edges, 843 markings/sec, 170 secs
lola: 150941 markings, 510524 edges, 857 markings/sec, 175 secs
lola: 155241 markings, 524517 edges, 860 markings/sec, 180 secs
lola: 159542 markings, 538348 edges, 860 markings/sec, 185 secs
lola: 163820 markings, 552878 edges, 856 markings/sec, 190 secs
lola: 168079 markings, 567153 edges, 852 markings/sec, 195 secs
lola: 172303 markings, 580932 edges, 845 markings/sec, 200 secs
lola: 176546 markings, 594490 edges, 849 markings/sec, 205 secs
lola: 180773 markings, 608404 edges, 845 markings/sec, 210 secs
lola: 184972 markings, 622509 edges, 840 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: 92772 KB
lola: time consumption: 2016 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__24_40_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_40_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 2151 markings, 7264 edges, 430 markings/sec, 0 secs
lola: 6472 markings, 21589 edges, 864 markings/sec, 5 secs
lola: 10799 markings, 36052 edges, 865 markings/sec, 10 secs
lola: 15114 markings, 50502 edges, 863 markings/sec, 15 secs
lola: 19418 markings, 64876 edges, 861 markings/sec, 20 secs
lola: 23697 markings, 79209 edges, 856 markings/sec, 25 secs
lola: 27995 markings, 93592 edges, 860 markings/sec, 30 secs
lola: 32324 markings, 107802 edges, 866 markings/sec, 35 secs
lola: 36630 markings, 122380 edges, 861 markings/sec, 40 secs
lola: 40934 markings, 136658 edges, 861 markings/sec, 45 secs
lola: 45275 markings, 150854 edges, 868 markings/sec, 50 secs
lola: 49609 markings, 165668 edges, 867 markings/sec, 55 secs
lola: 53959 markings, 180098 edges, 870 markings/sec, 60 secs
lola: 58265 markings, 194875 edges, 861 markings/sec, 65 secs
lola: 62570 markings, 209082 edges, 861 markings/sec, 70 secs
lola: 66867 markings, 223469 edges, 859 markings/sec, 75 secs
lola: 71162 markings, 237650 edges, 859 markings/sec, 80 secs
lola: 75454 markings, 252574 edges, 858 markings/sec, 85 secs
lola: 79754 markings, 266681 edges, 860 markings/sec, 90 secs
lola: 84053 markings, 280729 edges, 860 markings/sec, 95 secs
lola: 88338 markings, 295239 edges, 857 markings/sec, 100 secs
lola: 92626 markings, 309353 edges, 858 markings/sec, 105 secs
lola: 96889 markings, 324112 edges, 853 markings/sec, 110 secs
lola: 101182 markings, 338278 edges, 859 markings/sec, 115 secs
lola: 105454 markings, 352076 edges, 854 markings/sec, 120 secs
lola: 109707 markings, 366509 edges, 851 markings/sec, 125 secs
lola: 113966 markings, 380685 edges, 852 markings/sec, 130 secs
lola: 118212 markings, 395375 edges, 849 markings/sec, 135 secs
lola: 122473 markings, 409362 edges, 852 markings/sec, 140 secs
lola: 126735 markings, 423261 edges, 852 markings/sec, 145 secs
lola: 130995 markings, 437839 edges, 852 markings/sec, 150 secs
lola: 135280 markings, 452095 edges, 857 markings/sec, 155 secs
lola: 139570 markings, 466800 edges, 858 markings/sec, 160 secs
lola: 143853 markings, 480904 edges, 857 markings/sec, 165 secs
lola: 148165 markings, 495341 edges, 862 markings/sec, 170 secs
lola: 152467 markings, 509614 edges, 860 markings/sec, 175 secs
lola: 156769 markings, 524369 edges, 860 markings/sec, 180 secs
lola: 161052 markings, 538533 edges, 857 markings/sec, 185 secs
lola: 165344 markings, 552336 edges, 858 markings/sec, 190 secs
lola: 169646 markings, 566220 edges, 860 markings/sec, 195 secs
lola: 173860 markings, 579821 edges, 843 markings/sec, 200 secs
lola: 178162 markings, 594333 edges, 860 markings/sec, 205 secs
lola: 182448 markings, 609042 edges, 857 markings/sec, 210 secs
lola: 186730 markings, 623896 edges, 856 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: 92500 KB
lola: time consumption: 2238 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__39_34_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__39_34_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 2255 markings, 7681 edges, 451 markings/sec, 0 secs
lola: 6707 markings, 22940 edges, 890 markings/sec, 5 secs
lola: 11101 markings, 38192 edges, 879 markings/sec, 10 secs
lola: 15529 markings, 53678 edges, 886 markings/sec, 15 secs
lola: 19963 markings, 69086 edges, 887 markings/sec, 20 secs
lola: 24387 markings, 85698 edges, 885 markings/sec, 25 secs
lola: 28749 markings, 101439 edges, 872 markings/sec, 30 secs
lola: 33126 markings, 117259 edges, 875 markings/sec, 35 secs
lola: 37498 markings, 132580 edges, 874 markings/sec, 40 secs
lola: 41859 markings, 148344 edges, 872 markings/sec, 45 secs
lola: 46248 markings, 163926 edges, 878 markings/sec, 50 secs
lola: 50577 markings, 178897 edges, 866 markings/sec, 55 secs
lola: 54978 markings, 194842 edges, 880 markings/sec, 60 secs
lola: 59394 markings, 210093 edges, 883 markings/sec, 65 secs
lola: 63778 markings, 225721 edges, 877 markings/sec, 70 secs
lola: 68167 markings, 241486 edges, 878 markings/sec, 75 secs
lola: 72499 markings, 257682 edges, 866 markings/sec, 80 secs
lola: 76934 markings, 273375 edges, 887 markings/sec, 85 secs
lola: 81373 markings, 289068 edges, 888 markings/sec, 90 secs
lola: 85791 markings, 305175 edges, 884 markings/sec, 95 secs
lola: 90216 markings, 320764 edges, 885 markings/sec, 100 secs
lola: 94645 markings, 335842 edges, 886 markings/sec, 105 secs
lola: 99053 markings, 351199 edges, 882 markings/sec, 110 secs
lola: 103450 markings, 366614 edges, 879 markings/sec, 115 secs
lola: 107902 markings, 381720 edges, 890 markings/sec, 120 secs
lola: 112357 markings, 397661 edges, 891 markings/sec, 125 secs
lola: 116784 markings, 412814 edges, 885 markings/sec, 130 secs
lola: 121202 markings, 427889 edges, 884 markings/sec, 135 secs
lola: 125616 markings, 443892 edges, 883 markings/sec, 140 secs
lola: 130062 markings, 459291 edges, 889 markings/sec, 145 secs
lola: 134526 markings, 474691 edges, 893 markings/sec, 150 secs
lola: 138972 markings, 490290 edges, 889 markings/sec, 155 secs
lola: 143384 markings, 507094 edges, 882 markings/sec, 160 secs
lola: 147822 markings, 522933 edges, 888 markings/sec, 165 secs
lola: 152253 markings, 538372 edges, 886 markings/sec, 170 secs
lola: 156669 markings, 553381 edges, 883 markings/sec, 175 secs
lola: 161061 markings, 569347 edges, 878 markings/sec, 180 secs
lola: 165502 markings, 585138 edges, 888 markings/sec, 185 secs
lola: 169931 markings, 600728 edges, 886 markings/sec, 190 secs
lola: 174367 markings, 615768 edges, 887 markings/sec, 195 secs
lola: 178788 markings, 631232 edges, 884 markings/sec, 200 secs
lola: 183186 markings, 647312 edges, 880 markings/sec, 205 secs
lola: 187560 markings, 663869 edges, 875 markings/sec, 210 secs
lola: 191919 markings, 678924 edges, 872 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: 93888 KB
lola: time consumption: 2460 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__34_37_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__34_37_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 2203 markings, 7302 edges, 441 markings/sec, 0 secs
lola: 6606 markings, 22471 edges, 881 markings/sec, 5 secs
lola: 10913 markings, 37436 edges, 861 markings/sec, 10 secs
lola: 15272 markings, 52578 edges, 872 markings/sec, 15 secs
lola: 19695 markings, 66447 edges, 885 markings/sec, 20 secs
lola: 24071 markings, 82119 edges, 875 markings/sec, 25 secs
lola: 28455 markings, 97477 edges, 877 markings/sec, 30 secs
lola: 32872 markings, 111936 edges, 883 markings/sec, 35 secs
lola: 37216 markings, 127475 edges, 869 markings/sec, 40 secs
lola: 41530 markings, 142154 edges, 863 markings/sec, 45 secs
lola: 45948 markings, 156411 edges, 884 markings/sec, 50 secs
lola: 50344 markings, 171709 edges, 879 markings/sec, 55 secs
lola: 54697 markings, 187550 edges, 871 markings/sec, 60 secs
lola: 59028 markings, 203219 edges, 866 markings/sec, 65 secs
lola: 63358 markings, 219002 edges, 866 markings/sec, 70 secs
lola: 67720 markings, 235493 edges, 872 markings/sec, 75 secs
lola: 72179 markings, 249461 edges, 892 markings/sec, 80 secs
lola: 76544 markings, 264861 edges, 873 markings/sec, 85 secs
lola: 80879 markings, 280783 edges, 867 markings/sec, 90 secs
lola: 85236 markings, 297122 edges, 871 markings/sec, 95 secs
lola: 89595 markings, 312582 edges, 872 markings/sec, 100 secs
lola: 93940 markings, 327611 edges, 869 markings/sec, 105 secs
lola: 98308 markings, 342304 edges, 874 markings/sec, 110 secs
lola: 102630 markings, 357765 edges, 864 markings/sec, 115 secs
lola: 107006 markings, 371537 edges, 875 markings/sec, 120 secs
lola: 111341 markings, 386656 edges, 867 markings/sec, 125 secs
lola: 115675 markings, 401053 edges, 867 markings/sec, 130 secs
lola: 119992 markings, 417551 edges, 863 markings/sec, 135 secs
lola: 124377 markings, 431743 edges, 877 markings/sec, 140 secs
lola: 128752 markings, 447105 edges, 875 markings/sec, 145 secs
lola: 133108 markings, 462606 edges, 871 markings/sec, 150 secs
lola: 137431 markings, 477911 edges, 865 markings/sec, 155 secs
lola: 141793 markings, 492461 edges, 872 markings/sec, 160 secs
lola: 146185 markings, 506810 edges, 878 markings/sec, 165 secs
lola: 150541 markings, 521803 edges, 871 markings/sec, 170 secs
lola: 154866 markings, 537008 edges, 865 markings/sec, 175 secs
lola: 159097 markings, 553293 edges, 846 markings/sec, 180 secs
lola: 163389 markings, 568526 edges, 858 markings/sec, 185 secs
lola: 167705 markings, 584207 edges, 863 markings/sec, 190 secs
lola: 172033 markings, 598617 edges, 866 markings/sec, 195 secs
lola: 176351 markings, 613310 edges, 864 markings/sec, 200 secs
lola: 180644 markings, 628573 edges, 859 markings/sec, 205 secs
lola: 184881 markings, 644174 edges, 847 markings/sec, 210 secs
lola: 189174 markings, 658398 edges, 859 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: 94704 KB
lola: time consumption: 2682 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_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_17_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 2165 markings, 7527 edges, 433 markings/sec, 0 secs
lola: 6515 markings, 21858 edges, 870 markings/sec, 5 secs
lola: 10854 markings, 36166 edges, 868 markings/sec, 10 secs
lola: 15158 markings, 50594 edges, 861 markings/sec, 15 secs
lola: 19431 markings, 64736 edges, 855 markings/sec, 20 secs
lola: 23761 markings, 78350 edges, 866 markings/sec, 25 secs
lola: 28114 markings, 92104 edges, 871 markings/sec, 30 secs
lola: 32476 markings, 106721 edges, 872 markings/sec, 35 secs
lola: 36882 markings, 121163 edges, 881 markings/sec, 40 secs
lola: 41254 markings, 135042 edges, 874 markings/sec, 45 secs
lola: 45648 markings, 149484 edges, 879 markings/sec, 50 secs
lola: 50018 markings, 163627 edges, 874 markings/sec, 55 secs
lola: 54381 markings, 177892 edges, 873 markings/sec, 60 secs
lola: 58762 markings, 191674 edges, 876 markings/sec, 65 secs
lola: 63109 markings, 206075 edges, 869 markings/sec, 70 secs
lola: 67446 markings, 220441 edges, 867 markings/sec, 75 secs
lola: 71749 markings, 234122 edges, 861 markings/sec, 80 secs
lola: 76040 markings, 247997 edges, 858 markings/sec, 85 secs
lola: 80333 markings, 262062 edges, 859 markings/sec, 90 secs
lola: 84676 markings, 276032 edges, 869 markings/sec, 95 secs
lola: 89040 markings, 289780 edges, 873 markings/sec, 100 secs
lola: 93422 markings, 303988 edges, 876 markings/sec, 105 secs
lola: 97804 markings, 318329 edges, 876 markings/sec, 110 secs
lola: 102182 markings, 332849 edges, 876 markings/sec, 115 secs
lola: 106568 markings, 347097 edges, 877 markings/sec, 120 secs
lola: 110957 markings, 361194 edges, 878 markings/sec, 125 secs
lola: 115281 markings, 375990 edges, 865 markings/sec, 130 secs
lola: 119650 markings, 390779 edges, 874 markings/sec, 135 secs
lola: 123997 markings, 405710 edges, 869 markings/sec, 140 secs
lola: 128354 markings, 420574 edges, 871 markings/sec, 145 secs
lola: 132719 markings, 434945 edges, 873 markings/sec, 150 secs
lola: 137074 markings, 449507 edges, 871 markings/sec, 155 secs
lola: 141458 markings, 464409 edges, 877 markings/sec, 160 secs
lola: 145835 markings, 478561 edges, 875 markings/sec, 165 secs
lola: 150202 markings, 493480 edges, 873 markings/sec, 170 secs
lola: 154605 markings, 508229 edges, 881 markings/sec, 175 secs
lola: 159003 markings, 522288 edges, 880 markings/sec, 180 secs
lola: 163400 markings, 536580 edges, 879 markings/sec, 185 secs
lola: 167811 markings, 550699 edges, 882 markings/sec, 190 secs
lola: 172235 markings, 565026 edges, 885 markings/sec, 195 secs
lola: 176667 markings, 579247 edges, 886 markings/sec, 200 secs
lola: 181112 markings, 592999 edges, 889 markings/sec, 205 secs
lola: 185535 markings, 607009 edges, 885 markings/sec, 210 secs
lola: 189964 markings, 621625 edges, 886 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: 93856 KB
lola: time consumption: 2904 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__29_36_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__29_36_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 2220 markings, 7648 edges, 444 markings/sec, 0 secs
lola: 6620 markings, 21816 edges, 880 markings/sec, 5 secs
lola: 11030 markings, 36384 edges, 882 markings/sec, 10 secs
lola: 15393 markings, 51153 edges, 873 markings/sec, 15 secs
lola: 19752 markings, 65559 edges, 872 markings/sec, 20 secs
lola: 24113 markings, 79530 edges, 872 markings/sec, 25 secs
lola: 28472 markings, 93791 edges, 872 markings/sec, 30 secs
lola: 32825 markings, 108594 edges, 871 markings/sec, 35 secs
lola: 37207 markings, 123124 edges, 876 markings/sec, 40 secs
lola: 41588 markings, 137537 edges, 876 markings/sec, 45 secs
lola: 45955 markings, 152253 edges, 873 markings/sec, 50 secs
lola: 50235 markings, 166458 edges, 856 markings/sec, 55 secs
lola: 54533 markings, 180774 edges, 860 markings/sec, 60 secs
lola: 58949 markings, 195426 edges, 883 markings/sec, 65 secs
lola: 63400 markings, 209762 edges, 890 markings/sec, 70 secs
lola: 67820 markings, 224510 edges, 884 markings/sec, 75 secs
lola: 72236 markings, 238867 edges, 883 markings/sec, 80 secs
lola: 76604 markings, 254047 edges, 874 markings/sec, 85 secs
lola: 81018 markings, 269357 edges, 883 markings/sec, 90 secs
lola: 85382 markings, 283832 edges, 873 markings/sec, 95 secs
lola: 89693 markings, 298116 edges, 862 markings/sec, 100 secs
lola: 94014 markings, 312324 edges, 864 markings/sec, 105 secs
lola: 98324 markings, 326532 edges, 862 markings/sec, 110 secs
lola: 102536 markings, 340899 edges, 842 markings/sec, 115 secs
lola: 106883 markings, 356462 edges, 869 markings/sec, 120 secs
lola: 111254 markings, 370875 edges, 874 markings/sec, 125 secs
lola: 115662 markings, 385637 edges, 882 markings/sec, 130 secs
lola: 120027 markings, 399948 edges, 873 markings/sec, 135 secs
lola: 124389 markings, 415073 edges, 872 markings/sec, 140 secs
lola: 128745 markings, 429700 edges, 871 markings/sec, 145 secs
lola: 133070 markings, 444156 edges, 865 markings/sec, 150 secs
lola: 137398 markings, 458448 edges, 866 markings/sec, 155 secs
lola: 141703 markings, 473093 edges, 861 markings/sec, 160 secs
lola: 145990 markings, 487440 edges, 857 markings/sec, 165 secs
lola: 150303 markings, 501578 edges, 863 markings/sec, 170 secs
lola: 154605 markings, 516022 edges, 860 markings/sec, 175 secs
lola: 158896 markings, 530135 edges, 858 markings/sec, 180 secs
lola: 163180 markings, 544730 edges, 857 markings/sec, 185 secs
lola: 167480 markings, 559021 edges, 860 markings/sec, 190 secs
lola: 171798 markings, 573087 edges, 864 markings/sec, 195 secs
lola: 176105 markings, 587920 edges, 861 markings/sec, 200 secs
lola: 180445 markings, 602047 edges, 868 markings/sec, 205 secs
lola: 184778 markings, 616707 edges, 867 markings/sec, 210 secs
lola: 189110 markings, 630925 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: 88092 KB
lola: time consumption: 3126 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__21_24_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__21_24_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 2146 markings, 5888 edges, 429 markings/sec, 0 secs
lola: 6463 markings, 20014 edges, 863 markings/sec, 5 secs
lola: 10778 markings, 34316 edges, 863 markings/sec, 10 secs
lola: 15096 markings, 48009 edges, 864 markings/sec, 15 secs
lola: 19435 markings, 62297 edges, 868 markings/sec, 20 secs
lola: 23778 markings, 77693 edges, 869 markings/sec, 25 secs
lola: 28156 markings, 91673 edges, 876 markings/sec, 30 secs
lola: 32501 markings, 107061 edges, 869 markings/sec, 35 secs
lola: 36869 markings, 121147 edges, 874 markings/sec, 40 secs
lola: 41212 markings, 136220 edges, 869 markings/sec, 45 secs
lola: 45537 markings, 151511 edges, 865 markings/sec, 50 secs
lola: 49884 markings, 165510 edges, 869 markings/sec, 55 secs
lola: 54199 markings, 179242 edges, 863 markings/sec, 60 secs
lola: 58617 markings, 191711 edges, 884 markings/sec, 65 secs
lola: 62967 markings, 206336 edges, 870 markings/sec, 70 secs
lola: 67324 markings, 220038 edges, 871 markings/sec, 75 secs
lola: 71653 markings, 235065 edges, 866 markings/sec, 80 secs
lola: 75999 markings, 249316 edges, 869 markings/sec, 85 secs
lola: 80335 markings, 263470 edges, 867 markings/sec, 90 secs
lola: 84653 markings, 277992 edges, 864 markings/sec, 95 secs
lola: 88985 markings, 291506 edges, 866 markings/sec, 100 secs
lola: 93308 markings, 305342 edges, 865 markings/sec, 105 secs
lola: 97647 markings, 319856 edges, 868 markings/sec, 110 secs
lola: 101988 markings, 333954 edges, 868 markings/sec, 115 secs
lola: 106311 markings, 349025 edges, 865 markings/sec, 120 secs
lola: 110646 markings, 362628 edges, 867 markings/sec, 125 secs
lola: 114964 markings, 377686 edges, 864 markings/sec, 130 secs
lola: 119247 markings, 393709 edges, 857 markings/sec, 135 secs
lola: 123519 markings, 409962 edges, 854 markings/sec, 140 secs
lola: 127847 markings, 424247 edges, 866 markings/sec, 145 secs
lola: 132191 markings, 438299 edges, 869 markings/sec, 150 secs
lola: 136488 markings, 453351 edges, 859 markings/sec, 155 secs
lola: 140795 markings, 467752 edges, 861 markings/sec, 160 secs
lola: 145105 markings, 482149 edges, 862 markings/sec, 165 secs
lola: 149394 markings, 497384 edges, 858 markings/sec, 170 secs
lola: 153715 markings, 511122 edges, 864 markings/sec, 175 secs
lola: 158014 markings, 525948 edges, 860 markings/sec, 180 secs
lola: 162309 markings, 541091 edges, 859 markings/sec, 185 secs
lola: 166626 markings, 555281 edges, 863 markings/sec, 190 secs
lola: 170959 markings, 569395 edges, 867 markings/sec, 195 secs
lola: 175291 markings, 584100 edges, 866 markings/sec, 200 secs
lola: 179646 markings, 598049 edges, 871 markings/sec, 205 secs
lola: 183957 markings, 613597 edges, 862 markings/sec, 210 secs
lola: 188280 markings, 628557 edges, 865 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: 97552 KB
lola: time consumption: 3348 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__31_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__31_13_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 2192 markings, 7367 edges, 438 markings/sec, 0 secs
lola: 6526 markings, 22466 edges, 867 markings/sec, 5 secs
lola: 10866 markings, 36003 edges, 868 markings/sec, 10 secs
lola: 15205 markings, 49392 edges, 868 markings/sec, 15 secs
lola: 19531 markings, 63584 edges, 865 markings/sec, 20 secs
lola: 23861 markings, 77330 edges, 866 markings/sec, 25 secs
lola: 28200 markings, 91021 edges, 868 markings/sec, 30 secs
lola: 32511 markings, 105834 edges, 862 markings/sec, 35 secs
lola: 36810 markings, 120987 edges, 860 markings/sec, 40 secs
lola: 41130 markings, 134943 edges, 864 markings/sec, 45 secs
lola: 45398 markings, 151187 edges, 854 markings/sec, 50 secs
lola: 49742 markings, 165379 edges, 869 markings/sec, 55 secs
lola: 54076 markings, 179180 edges, 867 markings/sec, 60 secs
lola: 58400 markings, 193956 edges, 865 markings/sec, 65 secs
lola: 62759 markings, 207395 edges, 872 markings/sec, 70 secs
lola: 67096 markings, 220735 edges, 867 markings/sec, 75 secs
lola: 71445 markings, 234911 edges, 870 markings/sec, 80 secs
lola: 75830 markings, 247712 edges, 877 markings/sec, 85 secs
lola: 80189 markings, 261133 edges, 872 markings/sec, 90 secs
lola: 84536 markings, 274727 edges, 869 markings/sec, 95 secs
lola: 88872 markings, 288816 edges, 867 markings/sec, 100 secs
lola: 93194 markings, 302801 edges, 864 markings/sec, 105 secs
lola: 97526 markings, 315954 edges, 866 markings/sec, 110 secs
lola: 101872 markings, 330232 edges, 869 markings/sec, 115 secs
lola: 106190 markings, 343917 edges, 864 markings/sec, 120 secs
lola: 110534 markings, 357465 edges, 869 markings/sec, 125 secs
lola: 114894 markings, 371138 edges, 872 markings/sec, 130 secs
lola: 119249 markings, 384027 edges, 871 markings/sec, 135 secs
lola: 123608 markings, 397149 edges, 872 markings/sec, 140 secs
lola: 127936 markings, 411570 edges, 866 markings/sec, 145 secs
lola: 132291 markings, 425004 edges, 871 markings/sec, 150 secs
lola: 136611 markings, 439641 edges, 864 markings/sec, 155 secs
lola: 140946 markings, 453596 edges, 867 markings/sec, 160 secs
lola: 145289 markings, 467496 edges, 869 markings/sec, 165 secs
lola: 149650 markings, 481096 edges, 872 markings/sec, 170 secs
lola: 153980 markings, 495407 edges, 866 markings/sec, 175 secs
lola: 158357 markings, 508817 edges, 875 markings/sec, 180 secs
lola: 162718 markings, 522378 edges, 872 markings/sec, 185 secs
lola: 167066 markings, 536024 edges, 870 markings/sec, 190 secs
lola: 171387 markings, 548988 edges, 864 markings/sec, 195 secs
lola: 175720 markings, 562226 edges, 867 markings/sec, 200 secs
lola: 180050 markings, 575733 edges, 866 markings/sec, 205 secs
lola: 184392 markings, 589236 edges, 868 markings/sec, 210 secs
lola: 188739 markings, 602667 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: 89740 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__28_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__28_13_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 42888 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 28412 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process

BK_STOP 1552924881636

--------------------
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-D40N050"
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-D40N050, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r066-ebro-155234666500067"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' 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 ;