Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.................
/home/mcc/execution
total 7.5M
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.9K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 8 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 7.3M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Diffusion2D-PT-D50N050, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649937000296
=====================================================================

--------------------
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-D50N050-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1526709076900

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D50N050 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D50N050 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D50N050 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 21904/65536 symbol table entries, 8280 collisions
lola: preprocessing...
lola: Size of bit vector: 80000
lola: finding significant places
lola: 2500 places, 19404 transitions, 2499 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2500 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D50N050-UpperBounds.task
lola: MAX(cAMP__41_49_) : MAX(cAMP__28_2_) : MAX(cAMP__40_6_) : MAX(cAMP__5_3_) : MAX(cAMP__19_45_) : MAX(cAMP__50_42_) : MAX(cAMP__15_25_) : MAX(cAMP__24_14_) : MAX(cAMP__40_44_) : MAX(cAMP__20_4_) : MAX(cAMP__46_18_) : MAX(cAMP__18_34_) : MAX(cAMP__12_31_) : MAX(cAMP__16_11_) : MAX(cAMP__6_3_) : MAX(cAMP__40_12_)
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__41_49_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__41_49_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 2058 markings, 7507 edges, 412 markings/sec, 0 secs
lola: 7629 markings, 27444 edges, 1114 markings/sec, 5 secs
lola: 13252 markings, 45949 edges, 1125 markings/sec, 10 secs
lola: 18859 markings, 64749 edges, 1121 markings/sec, 15 secs
lola: 24400 markings, 83604 edges, 1108 markings/sec, 20 secs
lola: 29995 markings, 102617 edges, 1119 markings/sec, 25 secs
lola: 35601 markings, 121387 edges, 1121 markings/sec, 30 secs
lola: 41208 markings, 140230 edges, 1121 markings/sec, 35 secs
lola: 46818 markings, 158944 edges, 1122 markings/sec, 40 secs
lola: 52417 markings, 177975 edges, 1120 markings/sec, 45 secs
lola: 58028 markings, 196593 edges, 1122 markings/sec, 50 secs
lola: 63627 markings, 215350 edges, 1120 markings/sec, 55 secs
lola: 69192 markings, 234349 edges, 1113 markings/sec, 60 secs
lola: 74800 markings, 252918 edges, 1122 markings/sec, 65 secs
lola: 80417 markings, 271681 edges, 1123 markings/sec, 70 secs
lola: 85997 markings, 291568 edges, 1116 markings/sec, 75 secs
lola: 91575 markings, 311440 edges, 1116 markings/sec, 80 secs
lola: 97149 markings, 330927 edges, 1115 markings/sec, 85 secs
lola: 102759 markings, 349845 edges, 1122 markings/sec, 90 secs
lola: 108347 markings, 368705 edges, 1118 markings/sec, 95 secs
lola: 113939 markings, 387750 edges, 1118 markings/sec, 100 secs
lola: 119531 markings, 407087 edges, 1118 markings/sec, 105 secs
lola: 125145 markings, 425847 edges, 1123 markings/sec, 110 secs
lola: 130738 markings, 444411 edges, 1119 markings/sec, 115 secs
lola: 136339 markings, 464452 edges, 1120 markings/sec, 120 secs
lola: 142037 markings, 484692 edges, 1140 markings/sec, 125 secs
lola: 147805 markings, 504417 edges, 1154 markings/sec, 130 secs
lola: 153525 markings, 525086 edges, 1144 markings/sec, 135 secs
lola: 159111 markings, 544288 edges, 1117 markings/sec, 140 secs
lola: 164701 markings, 562928 edges, 1118 markings/sec, 145 secs
lola: 170294 markings, 582204 edges, 1119 markings/sec, 150 secs
lola: 175879 markings, 601281 edges, 1117 markings/sec, 155 secs
lola: 181443 markings, 621339 edges, 1113 markings/sec, 160 secs
lola: 187008 markings, 641322 edges, 1113 markings/sec, 165 secs
lola: 192580 markings, 660951 edges, 1114 markings/sec, 170 secs
lola: 198169 markings, 679758 edges, 1118 markings/sec, 175 secs
lola: 203766 markings, 698329 edges, 1119 markings/sec, 180 secs
lola: 209359 markings, 717023 edges, 1119 markings/sec, 185 secs
lola: 214958 markings, 736085 edges, 1120 markings/sec, 190 secs
lola: 220471 markings, 755675 edges, 1103 markings/sec, 195 secs
lola: 226049 markings, 775475 edges, 1116 markings/sec, 200 secs
lola: 231628 markings, 795020 edges, 1116 markings/sec, 205 secs
lola: 237077 markings, 813090 edges, 1090 markings/sec, 210 secs
lola: 242014 markings, 830584 edges, 987 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: 137216 KB
lola: time consumption: 231 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__28_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__28_2_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 1678 markings, 6491 edges, 336 markings/sec, 0 secs
lola: 6837 markings, 26138 edges, 1032 markings/sec, 5 secs
lola: 12135 markings, 44892 edges, 1060 markings/sec, 10 secs
lola: 17531 markings, 64186 edges, 1079 markings/sec, 15 secs
lola: 22888 markings, 83090 edges, 1071 markings/sec, 20 secs
lola: 28106 markings, 101790 edges, 1044 markings/sec, 25 secs
lola: 33375 markings, 119901 edges, 1054 markings/sec, 30 secs
lola: 38557 markings, 137756 edges, 1036 markings/sec, 35 secs
lola: 43773 markings, 155817 edges, 1043 markings/sec, 40 secs
lola: 49027 markings, 173954 edges, 1051 markings/sec, 45 secs
lola: 54271 markings, 192515 edges, 1049 markings/sec, 50 secs
lola: 59505 markings, 211190 edges, 1047 markings/sec, 55 secs
lola: 64864 markings, 230372 edges, 1072 markings/sec, 60 secs
lola: 70269 markings, 249099 edges, 1081 markings/sec, 65 secs
lola: 75684 markings, 268118 edges, 1083 markings/sec, 70 secs
lola: 81098 markings, 286907 edges, 1083 markings/sec, 75 secs
lola: 86491 markings, 306470 edges, 1079 markings/sec, 80 secs
lola: 91897 markings, 325345 edges, 1081 markings/sec, 85 secs
lola: 97294 markings, 343911 edges, 1079 markings/sec, 90 secs
lola: 102678 markings, 362992 edges, 1077 markings/sec, 95 secs
lola: 108086 markings, 381274 edges, 1082 markings/sec, 100 secs
lola: 113560 markings, 399966 edges, 1095 markings/sec, 105 secs
lola: 118983 markings, 418878 edges, 1085 markings/sec, 110 secs
lola: 124385 markings, 438666 edges, 1080 markings/sec, 115 secs
lola: 129818 markings, 457820 edges, 1087 markings/sec, 120 secs
lola: 135217 markings, 476771 edges, 1080 markings/sec, 125 secs
lola: 140637 markings, 495639 edges, 1084 markings/sec, 130 secs
lola: 146046 markings, 515105 edges, 1082 markings/sec, 135 secs
lola: 151460 markings, 534090 edges, 1083 markings/sec, 140 secs
lola: 156887 markings, 552570 edges, 1085 markings/sec, 145 secs
lola: 162319 markings, 571363 edges, 1086 markings/sec, 150 secs
lola: 167728 markings, 590689 edges, 1082 markings/sec, 155 secs
lola: 173130 markings, 610188 edges, 1080 markings/sec, 160 secs
lola: 178549 markings, 629254 edges, 1084 markings/sec, 165 secs
lola: 183934 markings, 648877 edges, 1077 markings/sec, 170 secs
lola: 189366 markings, 667831 edges, 1086 markings/sec, 175 secs
lola: 194783 markings, 687055 edges, 1083 markings/sec, 180 secs
lola: 200213 markings, 705487 edges, 1086 markings/sec, 185 secs
lola: 205643 markings, 724330 edges, 1086 markings/sec, 190 secs
lola: 211034 markings, 743432 edges, 1078 markings/sec, 195 secs
lola: 216477 markings, 762126 edges, 1089 markings/sec, 200 secs
lola: 221881 markings, 780958 edges, 1081 markings/sec, 205 secs
lola: 227271 markings, 800437 edges, 1078 markings/sec, 210 secs
lola: 232696 markings, 818819 edges, 1085 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: 123176 KB
lola: time consumption: 453 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__40_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__40_6_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 2109 markings, 7697 edges, 422 markings/sec, 0 secs
lola: 7675 markings, 26762 edges, 1113 markings/sec, 5 secs
lola: 13234 markings, 45868 edges, 1112 markings/sec, 10 secs
lola: 18789 markings, 65135 edges, 1111 markings/sec, 15 secs
lola: 24333 markings, 84580 edges, 1109 markings/sec, 20 secs
lola: 29911 markings, 103377 edges, 1116 markings/sec, 25 secs
lola: 35477 markings, 122124 edges, 1113 markings/sec, 30 secs
lola: 41022 markings, 141452 edges, 1109 markings/sec, 35 secs
lola: 46571 markings, 160971 edges, 1110 markings/sec, 40 secs
lola: 52098 markings, 180509 edges, 1105 markings/sec, 45 secs
lola: 57613 markings, 200780 edges, 1103 markings/sec, 50 secs
lola: 63178 markings, 219939 edges, 1113 markings/sec, 55 secs
lola: 68751 markings, 238828 edges, 1115 markings/sec, 60 secs
lola: 74305 markings, 258151 edges, 1111 markings/sec, 65 secs
lola: 79861 markings, 276935 edges, 1111 markings/sec, 70 secs
lola: 85401 markings, 296520 edges, 1108 markings/sec, 75 secs
lola: 90934 markings, 315461 edges, 1107 markings/sec, 80 secs
lola: 96440 markings, 335105 edges, 1101 markings/sec, 85 secs
lola: 101846 markings, 353395 edges, 1081 markings/sec, 90 secs
lola: 106776 markings, 370340 edges, 986 markings/sec, 95 secs
lola: 112029 markings, 388815 edges, 1051 markings/sec, 100 secs
lola: 117573 markings, 407499 edges, 1109 markings/sec, 105 secs
lola: 123113 markings, 426312 edges, 1108 markings/sec, 110 secs
lola: 128631 markings, 445685 edges, 1104 markings/sec, 115 secs
lola: 134180 markings, 464601 edges, 1110 markings/sec, 120 secs
lola: 139728 markings, 483299 edges, 1110 markings/sec, 125 secs
lola: 145293 markings, 501687 edges, 1113 markings/sec, 130 secs
lola: 150846 markings, 520356 edges, 1111 markings/sec, 135 secs
lola: 156390 markings, 539745 edges, 1109 markings/sec, 140 secs
lola: 161912 markings, 559390 edges, 1104 markings/sec, 145 secs
lola: 167448 markings, 578368 edges, 1107 markings/sec, 150 secs
lola: 173015 markings, 597455 edges, 1113 markings/sec, 155 secs
lola: 178555 markings, 616039 edges, 1108 markings/sec, 160 secs
lola: 184081 markings, 635596 edges, 1105 markings/sec, 165 secs
lola: 189635 markings, 654189 edges, 1111 markings/sec, 170 secs
lola: 195200 markings, 672724 edges, 1113 markings/sec, 175 secs
lola: 200746 markings, 691553 edges, 1109 markings/sec, 180 secs
lola: 206272 markings, 710654 edges, 1105 markings/sec, 185 secs
lola: 211814 markings, 729699 edges, 1108 markings/sec, 190 secs
lola: 217399 markings, 748376 edges, 1117 markings/sec, 195 secs
lola: 222965 markings, 766992 edges, 1113 markings/sec, 200 secs
lola: 228513 markings, 785743 edges, 1110 markings/sec, 205 secs
lola: 234015 markings, 804379 edges, 1100 markings/sec, 210 secs
lola: 239535 markings, 823607 edges, 1104 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: 134164 KB
lola: time consumption: 675 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__5_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 2079 markings, 7969 edges, 416 markings/sec, 0 secs
lola: 7646 markings, 28175 edges, 1113 markings/sec, 5 secs
lola: 13222 markings, 47826 edges, 1115 markings/sec, 10 secs
lola: 18786 markings, 67510 edges, 1113 markings/sec, 15 secs
lola: 24381 markings, 86101 edges, 1119 markings/sec, 20 secs
lola: 29967 markings, 104565 edges, 1117 markings/sec, 25 secs
lola: 35545 markings, 124338 edges, 1116 markings/sec, 30 secs
lola: 41175 markings, 142416 edges, 1126 markings/sec, 35 secs
lola: 46648 markings, 160800 edges, 1095 markings/sec, 40 secs
lola: 52086 markings, 178505 edges, 1088 markings/sec, 45 secs
lola: 57724 markings, 196251 edges, 1128 markings/sec, 50 secs
lola: 63310 markings, 214936 edges, 1117 markings/sec, 55 secs
lola: 68916 markings, 232821 edges, 1121 markings/sec, 60 secs
lola: 74526 markings, 250855 edges, 1122 markings/sec, 65 secs
lola: 79833 markings, 268224 edges, 1061 markings/sec, 70 secs
lola: 84817 markings, 284298 edges, 997 markings/sec, 75 secs
lola: 90311 markings, 301869 edges, 1099 markings/sec, 80 secs
lola: 95808 markings, 318484 edges, 1099 markings/sec, 85 secs
lola: 101353 markings, 336011 edges, 1109 markings/sec, 90 secs
lola: 106916 markings, 353551 edges, 1113 markings/sec, 95 secs
lola: 112484 markings, 371264 edges, 1114 markings/sec, 100 secs
lola: 118084 markings, 388471 edges, 1120 markings/sec, 105 secs
lola: 123672 markings, 406039 edges, 1118 markings/sec, 110 secs
lola: 129184 markings, 423754 edges, 1102 markings/sec, 115 secs
lola: 134734 markings, 442611 edges, 1110 markings/sec, 120 secs
lola: 140384 markings, 460418 edges, 1130 markings/sec, 125 secs
lola: 146038 markings, 478065 edges, 1131 markings/sec, 130 secs
lola: 151690 markings, 495570 edges, 1130 markings/sec, 135 secs
lola: 157345 markings, 512014 edges, 1131 markings/sec, 140 secs
lola: 162993 markings, 529148 edges, 1130 markings/sec, 145 secs
lola: 168638 markings, 546542 edges, 1129 markings/sec, 150 secs
lola: 174244 markings, 565526 edges, 1121 markings/sec, 155 secs
lola: 179804 markings, 584604 edges, 1112 markings/sec, 160 secs
lola: 185298 markings, 603354 edges, 1099 markings/sec, 165 secs
lola: 190924 markings, 620905 edges, 1125 markings/sec, 170 secs
lola: 196538 markings, 638644 edges, 1123 markings/sec, 175 secs
lola: 202154 markings, 656927 edges, 1123 markings/sec, 180 secs
lola: 207761 markings, 675572 edges, 1121 markings/sec, 185 secs
lola: 213388 markings, 692912 edges, 1125 markings/sec, 190 secs
lola: 219014 markings, 710512 edges, 1125 markings/sec, 195 secs
lola: 224563 markings, 728783 edges, 1110 markings/sec, 200 secs
lola: 230077 markings, 745665 edges, 1103 markings/sec, 205 secs
lola: 235681 markings, 763720 edges, 1121 markings/sec, 210 secs
lola: 241249 markings, 781345 edges, 1114 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: 134820 KB
lola: time consumption: 897 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__19_45_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__19_45_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 2068 markings, 6992 edges, 414 markings/sec, 0 secs
lola: 7625 markings, 26873 edges, 1111 markings/sec, 5 secs
lola: 13179 markings, 46897 edges, 1111 markings/sec, 10 secs
lola: 18735 markings, 66688 edges, 1111 markings/sec, 15 secs
lola: 24277 markings, 86231 edges, 1108 markings/sec, 20 secs
lola: 29817 markings, 106232 edges, 1108 markings/sec, 25 secs
lola: 35304 markings, 125678 edges, 1097 markings/sec, 30 secs
lola: 40836 markings, 145917 edges, 1106 markings/sec, 35 secs
lola: 46373 markings, 166102 edges, 1107 markings/sec, 40 secs
lola: 51921 markings, 185926 edges, 1110 markings/sec, 45 secs
lola: 57442 markings, 206693 edges, 1104 markings/sec, 50 secs
lola: 62976 markings, 226738 edges, 1107 markings/sec, 55 secs
lola: 68488 markings, 247458 edges, 1102 markings/sec, 60 secs
lola: 73928 markings, 270267 edges, 1088 markings/sec, 65 secs
lola: 79389 markings, 290588 edges, 1092 markings/sec, 70 secs
lola: 84941 markings, 310463 edges, 1110 markings/sec, 75 secs
lola: 90493 markings, 330085 edges, 1110 markings/sec, 80 secs
lola: 95996 markings, 351422 edges, 1101 markings/sec, 85 secs
lola: 101440 markings, 371268 edges, 1089 markings/sec, 90 secs
lola: 106955 markings, 390878 edges, 1103 markings/sec, 95 secs
lola: 112359 markings, 410065 edges, 1081 markings/sec, 100 secs
lola: 117771 markings, 429762 edges, 1082 markings/sec, 105 secs
lola: 123207 markings, 449068 edges, 1087 markings/sec, 110 secs
lola: 128584 markings, 469381 edges, 1075 markings/sec, 115 secs
lola: 134021 markings, 489424 edges, 1087 markings/sec, 120 secs
lola: 139458 markings, 509390 edges, 1087 markings/sec, 125 secs
lola: 144831 markings, 529394 edges, 1075 markings/sec, 130 secs
lola: 150223 markings, 549927 edges, 1078 markings/sec, 135 secs
lola: 155657 markings, 569375 edges, 1087 markings/sec, 140 secs
lola: 161148 markings, 590062 edges, 1098 markings/sec, 145 secs
lola: 166554 markings, 609797 edges, 1081 markings/sec, 150 secs
lola: 172067 markings, 629311 edges, 1103 markings/sec, 155 secs
lola: 177502 markings, 649073 edges, 1087 markings/sec, 160 secs
lola: 182969 markings, 669432 edges, 1093 markings/sec, 165 secs
lola: 188484 markings, 689885 edges, 1103 markings/sec, 170 secs
lola: 193952 markings, 711555 edges, 1094 markings/sec, 175 secs
lola: 199497 markings, 731443 edges, 1109 markings/sec, 180 secs
lola: 205030 markings, 751111 edges, 1107 markings/sec, 185 secs
lola: 210506 markings, 770978 edges, 1095 markings/sec, 190 secs
lola: 215862 markings, 791416 edges, 1071 markings/sec, 195 secs
lola: 221246 markings, 810840 edges, 1077 markings/sec, 200 secs
lola: 226629 markings, 830331 edges, 1077 markings/sec, 205 secs
lola: 232043 markings, 849586 edges, 1083 markings/sec, 210 secs
lola: 237501 markings, 869684 edges, 1092 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: 141244 KB
lola: time consumption: 1119 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__50_42_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__50_42_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 1791 markings, 6165 edges, 358 markings/sec, 0 secs
lola: 7382 markings, 24917 edges, 1118 markings/sec, 5 secs
lola: 12934 markings, 43570 edges, 1110 markings/sec, 10 secs
lola: 18523 markings, 61821 edges, 1118 markings/sec, 15 secs
lola: 24093 markings, 80430 edges, 1114 markings/sec, 20 secs
lola: 29783 markings, 99617 edges, 1138 markings/sec, 25 secs
lola: 35463 markings, 120130 edges, 1136 markings/sec, 30 secs
lola: 41123 markings, 138232 edges, 1132 markings/sec, 35 secs
lola: 46844 markings, 158017 edges, 1144 markings/sec, 40 secs
lola: 52687 markings, 177371 edges, 1169 markings/sec, 45 secs
lola: 58489 markings, 197658 edges, 1160 markings/sec, 50 secs
lola: 64283 markings, 216997 edges, 1159 markings/sec, 55 secs
lola: 70045 markings, 236438 edges, 1152 markings/sec, 60 secs
lola: 75257 markings, 254547 edges, 1042 markings/sec, 65 secs
lola: 80555 markings, 272090 edges, 1060 markings/sec, 70 secs
lola: 85905 markings, 291104 edges, 1070 markings/sec, 75 secs
lola: 91130 markings, 308300 edges, 1045 markings/sec, 80 secs
lola: 96344 markings, 326324 edges, 1043 markings/sec, 85 secs
lola: 101577 markings, 343690 edges, 1047 markings/sec, 90 secs
lola: 106929 markings, 361991 edges, 1070 markings/sec, 95 secs
lola: 112175 markings, 378726 edges, 1049 markings/sec, 100 secs
lola: 117406 markings, 395298 edges, 1046 markings/sec, 105 secs
lola: 122675 markings, 412274 edges, 1054 markings/sec, 110 secs
lola: 128359 markings, 431458 edges, 1137 markings/sec, 115 secs
lola: 134171 markings, 450353 edges, 1162 markings/sec, 120 secs
lola: 139905 markings, 468789 edges, 1147 markings/sec, 125 secs
lola: 145672 markings, 487474 edges, 1153 markings/sec, 130 secs
lola: 151567 markings, 507000 edges, 1179 markings/sec, 135 secs
lola: 157458 markings, 526785 edges, 1178 markings/sec, 140 secs
lola: 163362 markings, 545863 edges, 1181 markings/sec, 145 secs
lola: 169258 markings, 564898 edges, 1179 markings/sec, 150 secs
lola: 175145 markings, 584328 edges, 1177 markings/sec, 155 secs
lola: 181033 markings, 603703 edges, 1178 markings/sec, 160 secs
lola: 186893 markings, 624624 edges, 1172 markings/sec, 165 secs
lola: 192790 markings, 643773 edges, 1179 markings/sec, 170 secs
lola: 198685 markings, 662754 edges, 1179 markings/sec, 175 secs
lola: 204567 markings, 682395 edges, 1176 markings/sec, 180 secs
lola: 210464 markings, 701285 edges, 1179 markings/sec, 185 secs
lola: 216349 markings, 720433 edges, 1177 markings/sec, 190 secs
lola: 222238 markings, 739429 edges, 1178 markings/sec, 195 secs
lola: 228111 markings, 759204 edges, 1175 markings/sec, 200 secs
lola: 233990 markings, 779102 edges, 1176 markings/sec, 205 secs
lola: 239884 markings, 798415 edges, 1179 markings/sec, 210 secs
lola: 245762 markings, 818389 edges, 1176 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: 135936 KB
lola: time consumption: 1341 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__15_25_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__15_25_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 2121 markings, 7298 edges, 424 markings/sec, 0 secs
lola: 7684 markings, 27741 edges, 1113 markings/sec, 5 secs
lola: 13255 markings, 46789 edges, 1114 markings/sec, 10 secs
lola: 18811 markings, 66815 edges, 1111 markings/sec, 15 secs
lola: 24370 markings, 86675 edges, 1112 markings/sec, 20 secs
lola: 29945 markings, 105742 edges, 1115 markings/sec, 25 secs
lola: 35495 markings, 125579 edges, 1110 markings/sec, 30 secs
lola: 41065 markings, 145336 edges, 1114 markings/sec, 35 secs
lola: 46618 markings, 165745 edges, 1111 markings/sec, 40 secs
lola: 52153 markings, 186659 edges, 1107 markings/sec, 45 secs
lola: 57723 markings, 206313 edges, 1114 markings/sec, 50 secs
lola: 63306 markings, 226379 edges, 1117 markings/sec, 55 secs
lola: 68878 markings, 246948 edges, 1114 markings/sec, 60 secs
lola: 74473 markings, 266263 edges, 1119 markings/sec, 65 secs
lola: 80046 markings, 286406 edges, 1115 markings/sec, 70 secs
lola: 85635 markings, 305972 edges, 1118 markings/sec, 75 secs
lola: 91213 markings, 325034 edges, 1116 markings/sec, 80 secs
lola: 96752 markings, 345662 edges, 1108 markings/sec, 85 secs
lola: 102327 markings, 364293 edges, 1115 markings/sec, 90 secs
lola: 107857 markings, 384737 edges, 1106 markings/sec, 95 secs
lola: 113411 markings, 404357 edges, 1111 markings/sec, 100 secs
lola: 118954 markings, 424417 edges, 1109 markings/sec, 105 secs
lola: 124458 markings, 443720 edges, 1101 markings/sec, 110 secs
lola: 129864 markings, 463686 edges, 1081 markings/sec, 115 secs
lola: 135390 markings, 483467 edges, 1105 markings/sec, 120 secs
lola: 140798 markings, 501192 edges, 1082 markings/sec, 125 secs
lola: 146229 markings, 519172 edges, 1086 markings/sec, 130 secs
lola: 151723 markings, 537993 edges, 1099 markings/sec, 135 secs
lola: 157259 markings, 556414 edges, 1107 markings/sec, 140 secs
lola: 162802 markings, 576433 edges, 1109 markings/sec, 145 secs
lola: 168352 markings, 595985 edges, 1110 markings/sec, 150 secs
lola: 173913 markings, 615546 edges, 1112 markings/sec, 155 secs
lola: 179424 markings, 637301 edges, 1102 markings/sec, 160 secs
lola: 184979 markings, 657411 edges, 1111 markings/sec, 165 secs
lola: 190511 markings, 678338 edges, 1106 markings/sec, 170 secs
lola: 196079 markings, 697744 edges, 1114 markings/sec, 175 secs
lola: 201630 markings, 717606 edges, 1110 markings/sec, 180 secs
lola: 207188 markings, 737265 edges, 1112 markings/sec, 185 secs
lola: 212734 markings, 757211 edges, 1109 markings/sec, 190 secs
lola: 218194 markings, 777514 edges, 1092 markings/sec, 195 secs
lola: 223530 markings, 799091 edges, 1067 markings/sec, 200 secs
lola: 228894 markings, 819790 edges, 1073 markings/sec, 205 secs
lola: 234342 markings, 836983 edges, 1090 markings/sec, 210 secs
lola: 239762 markings, 855595 edges, 1084 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: 155004 KB
lola: time consumption: 1563 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__24_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_14_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 2004 markings, 7047 edges, 401 markings/sec, 0 secs
lola: 7516 markings, 26610 edges, 1102 markings/sec, 5 secs
lola: 13042 markings, 45271 edges, 1105 markings/sec, 10 secs
lola: 18545 markings, 64973 edges, 1101 markings/sec, 15 secs
lola: 24031 markings, 85120 edges, 1097 markings/sec, 20 secs
lola: 29517 markings, 105409 edges, 1097 markings/sec, 25 secs
lola: 35025 markings, 124533 edges, 1102 markings/sec, 30 secs
lola: 40521 markings, 144224 edges, 1099 markings/sec, 35 secs
lola: 45992 markings, 164996 edges, 1094 markings/sec, 40 secs
lola: 51488 markings, 184810 edges, 1099 markings/sec, 45 secs
lola: 56992 markings, 204559 edges, 1101 markings/sec, 50 secs
lola: 62492 markings, 224128 edges, 1100 markings/sec, 55 secs
lola: 67982 markings, 244367 edges, 1098 markings/sec, 60 secs
lola: 73455 markings, 264903 edges, 1095 markings/sec, 65 secs
lola: 78948 markings, 284380 edges, 1099 markings/sec, 70 secs
lola: 84474 markings, 303625 edges, 1105 markings/sec, 75 secs
lola: 89980 markings, 323553 edges, 1101 markings/sec, 80 secs
lola: 95511 markings, 342651 edges, 1106 markings/sec, 85 secs
lola: 101000 markings, 362732 edges, 1098 markings/sec, 90 secs
lola: 106505 markings, 382478 edges, 1101 markings/sec, 95 secs
lola: 111992 markings, 403358 edges, 1097 markings/sec, 100 secs
lola: 117500 markings, 423449 edges, 1102 markings/sec, 105 secs
lola: 123022 markings, 442843 edges, 1104 markings/sec, 110 secs
lola: 128541 markings, 461389 edges, 1104 markings/sec, 115 secs
lola: 134037 markings, 480505 edges, 1099 markings/sec, 120 secs
lola: 139552 markings, 497971 edges, 1103 markings/sec, 125 secs
lola: 145066 markings, 516175 edges, 1103 markings/sec, 130 secs
lola: 150556 markings, 535723 edges, 1098 markings/sec, 135 secs
lola: 156059 markings, 554738 edges, 1101 markings/sec, 140 secs
lola: 161555 markings, 573954 edges, 1099 markings/sec, 145 secs
lola: 167055 markings, 593005 edges, 1100 markings/sec, 150 secs
lola: 172555 markings, 612213 edges, 1100 markings/sec, 155 secs
lola: 178031 markings, 632197 edges, 1095 markings/sec, 160 secs
lola: 183478 markings, 654068 edges, 1089 markings/sec, 165 secs
lola: 188892 markings, 676761 edges, 1083 markings/sec, 170 secs
lola: 194380 markings, 696560 edges, 1098 markings/sec, 175 secs
lola: 199922 markings, 714198 edges, 1108 markings/sec, 180 secs
lola: 205432 markings, 733140 edges, 1102 markings/sec, 185 secs
lola: 210953 markings, 751495 edges, 1104 markings/sec, 190 secs
lola: 216476 markings, 770073 edges, 1105 markings/sec, 195 secs
lola: 222034 markings, 787774 edges, 1112 markings/sec, 200 secs
lola: 227575 markings, 806423 edges, 1108 markings/sec, 205 secs
lola: 233089 markings, 826130 edges, 1103 markings/sec, 210 secs
lola: 238583 markings, 846462 edges, 1099 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: 133368 KB
lola: time consumption: 1785 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__40_44_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__40_44_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 2195 markings, 7312 edges, 439 markings/sec, 0 secs
lola: 7885 markings, 27432 edges, 1138 markings/sec, 5 secs
lola: 13566 markings, 47609 edges, 1136 markings/sec, 10 secs
lola: 19253 markings, 67739 edges, 1137 markings/sec, 15 secs
lola: 24932 markings, 87850 edges, 1136 markings/sec, 20 secs
lola: 30588 markings, 108761 edges, 1131 markings/sec, 25 secs
lola: 36258 markings, 128942 edges, 1134 markings/sec, 30 secs
lola: 41925 markings, 149240 edges, 1133 markings/sec, 35 secs
lola: 47585 markings, 169636 edges, 1132 markings/sec, 40 secs
lola: 53235 markings, 190687 edges, 1130 markings/sec, 45 secs
lola: 58914 markings, 211427 edges, 1136 markings/sec, 50 secs
lola: 64581 markings, 232438 edges, 1133 markings/sec, 55 secs
lola: 70265 markings, 252533 edges, 1137 markings/sec, 60 secs
lola: 75932 markings, 273088 edges, 1133 markings/sec, 65 secs
lola: 81584 markings, 294023 edges, 1130 markings/sec, 70 secs
lola: 87239 markings, 314803 edges, 1131 markings/sec, 75 secs
lola: 92916 markings, 335007 edges, 1135 markings/sec, 80 secs
lola: 98591 markings, 355016 edges, 1135 markings/sec, 85 secs
lola: 104252 markings, 375644 edges, 1132 markings/sec, 90 secs
lola: 109910 markings, 396673 edges, 1132 markings/sec, 95 secs
lola: 115534 markings, 417704 edges, 1125 markings/sec, 100 secs
lola: 121179 markings, 438812 edges, 1129 markings/sec, 105 secs
lola: 126818 markings, 458943 edges, 1128 markings/sec, 110 secs
lola: 132465 markings, 479767 edges, 1129 markings/sec, 115 secs
lola: 138116 markings, 500404 edges, 1130 markings/sec, 120 secs
lola: 143767 markings, 521127 edges, 1130 markings/sec, 125 secs
lola: 149289 markings, 540969 edges, 1104 markings/sec, 130 secs
lola: 154846 markings, 561098 edges, 1111 markings/sec, 135 secs
lola: 160334 markings, 582670 edges, 1098 markings/sec, 140 secs
lola: 165824 markings, 602797 edges, 1098 markings/sec, 145 secs
lola: 171324 markings, 623126 edges, 1100 markings/sec, 150 secs
lola: 176880 markings, 643478 edges, 1111 markings/sec, 155 secs
lola: 182550 markings, 663537 edges, 1134 markings/sec, 160 secs
lola: 188184 markings, 684693 edges, 1127 markings/sec, 165 secs
lola: 193817 markings, 704938 edges, 1127 markings/sec, 170 secs
lola: 199481 markings, 725956 edges, 1133 markings/sec, 175 secs
lola: 205165 markings, 746378 edges, 1137 markings/sec, 180 secs
lola: 210834 markings, 767107 edges, 1134 markings/sec, 185 secs
lola: 216504 markings, 787606 edges, 1134 markings/sec, 190 secs
lola: 222158 markings, 808369 edges, 1131 markings/sec, 195 secs
lola: 227812 markings, 829435 edges, 1131 markings/sec, 200 secs
lola: 233487 markings, 849266 edges, 1135 markings/sec, 205 secs
lola: 239137 markings, 870050 edges, 1130 markings/sec, 210 secs
lola: 244779 markings, 890815 edges, 1128 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: 142468 KB
lola: time consumption: 2008 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__20_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__20_4_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 2026 markings, 7788 edges, 405 markings/sec, 0 secs
lola: 7488 markings, 27481 edges, 1092 markings/sec, 5 secs
lola: 12980 markings, 46577 edges, 1098 markings/sec, 10 secs
lola: 18446 markings, 65143 edges, 1093 markings/sec, 15 secs
lola: 23932 markings, 83138 edges, 1097 markings/sec, 20 secs
lola: 29377 markings, 102057 edges, 1089 markings/sec, 25 secs
lola: 34866 markings, 120349 edges, 1098 markings/sec, 30 secs
lola: 40331 markings, 139467 edges, 1093 markings/sec, 35 secs
lola: 45798 markings, 159316 edges, 1093 markings/sec, 40 secs
lola: 51284 markings, 177561 edges, 1097 markings/sec, 45 secs
lola: 56789 markings, 196944 edges, 1101 markings/sec, 50 secs
lola: 62276 markings, 217035 edges, 1097 markings/sec, 55 secs
lola: 67753 markings, 236088 edges, 1095 markings/sec, 60 secs
lola: 73236 markings, 254175 edges, 1097 markings/sec, 65 secs
lola: 78718 markings, 273253 edges, 1096 markings/sec, 70 secs
lola: 84207 markings, 292144 edges, 1098 markings/sec, 75 secs
lola: 89718 markings, 310182 edges, 1102 markings/sec, 80 secs
lola: 95214 markings, 329056 edges, 1099 markings/sec, 85 secs
lola: 100681 markings, 348943 edges, 1093 markings/sec, 90 secs
lola: 106157 markings, 367520 edges, 1095 markings/sec, 95 secs
lola: 111635 markings, 386709 edges, 1096 markings/sec, 100 secs
lola: 117126 markings, 405161 edges, 1098 markings/sec, 105 secs
lola: 122595 markings, 423484 edges, 1094 markings/sec, 110 secs
lola: 128059 markings, 442554 edges, 1093 markings/sec, 115 secs
lola: 133559 markings, 460531 edges, 1100 markings/sec, 120 secs
lola: 139050 markings, 479341 edges, 1098 markings/sec, 125 secs
lola: 144526 markings, 498809 edges, 1095 markings/sec, 130 secs
lola: 150004 markings, 517812 edges, 1096 markings/sec, 135 secs
lola: 155487 markings, 537032 edges, 1097 markings/sec, 140 secs
lola: 160973 markings, 556099 edges, 1097 markings/sec, 145 secs
lola: 166482 markings, 573944 edges, 1102 markings/sec, 150 secs
lola: 171968 markings, 593148 edges, 1097 markings/sec, 155 secs
lola: 177464 markings, 611537 edges, 1099 markings/sec, 160 secs
lola: 182937 markings, 630102 edges, 1095 markings/sec, 165 secs
lola: 188416 markings, 649106 edges, 1096 markings/sec, 170 secs
lola: 193887 markings, 668334 edges, 1094 markings/sec, 175 secs
lola: 199379 markings, 687261 edges, 1098 markings/sec, 180 secs
lola: 204858 markings, 706584 edges, 1096 markings/sec, 185 secs
lola: 210336 markings, 724721 edges, 1096 markings/sec, 190 secs
lola: 215796 markings, 743610 edges, 1092 markings/sec, 195 secs
lola: 221267 markings, 762546 edges, 1094 markings/sec, 200 secs
lola: 226780 markings, 780441 edges, 1103 markings/sec, 205 secs
lola: 232278 markings, 799161 edges, 1100 markings/sec, 210 secs
lola: 237783 markings, 816667 edges, 1101 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: 140840 KB
lola: time consumption: 2231 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__46_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__46_18_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 2181 markings, 7457 edges, 436 markings/sec, 0 secs
lola: 7905 markings, 28038 edges, 1145 markings/sec, 5 secs
lola: 13628 markings, 48160 edges, 1145 markings/sec, 10 secs
lola: 19339 markings, 68556 edges, 1142 markings/sec, 15 secs
lola: 25060 markings, 88882 edges, 1144 markings/sec, 20 secs
lola: 30769 markings, 109135 edges, 1142 markings/sec, 25 secs
lola: 36502 markings, 128498 edges, 1147 markings/sec, 30 secs
lola: 42239 markings, 148247 edges, 1147 markings/sec, 35 secs
lola: 47976 markings, 168161 edges, 1147 markings/sec, 40 secs
lola: 53709 markings, 188059 edges, 1147 markings/sec, 45 secs
lola: 59447 markings, 207463 edges, 1148 markings/sec, 50 secs
lola: 65157 markings, 228127 edges, 1142 markings/sec, 55 secs
lola: 70771 markings, 248158 edges, 1123 markings/sec, 60 secs
lola: 76353 markings, 266818 edges, 1116 markings/sec, 65 secs
lola: 81924 markings, 285441 edges, 1114 markings/sec, 70 secs
lola: 87459 markings, 306071 edges, 1107 markings/sec, 75 secs
lola: 93015 markings, 326213 edges, 1111 markings/sec, 80 secs
lola: 98563 markings, 346011 edges, 1110 markings/sec, 85 secs
lola: 104141 markings, 364949 edges, 1116 markings/sec, 90 secs
lola: 109852 markings, 385014 edges, 1142 markings/sec, 95 secs
lola: 115580 markings, 404597 edges, 1146 markings/sec, 100 secs
lola: 121305 markings, 424573 edges, 1145 markings/sec, 105 secs
lola: 126906 markings, 445052 edges, 1120 markings/sec, 110 secs
lola: 132480 markings, 463538 edges, 1115 markings/sec, 115 secs
lola: 138159 markings, 483419 edges, 1136 markings/sec, 120 secs
lola: 143864 markings, 503678 edges, 1141 markings/sec, 125 secs
lola: 149559 markings, 524579 edges, 1139 markings/sec, 130 secs
lola: 155247 markings, 545616 edges, 1138 markings/sec, 135 secs
lola: 160964 markings, 565503 edges, 1143 markings/sec, 140 secs
lola: 166678 markings, 584906 edges, 1143 markings/sec, 145 secs
lola: 172352 markings, 603927 edges, 1135 markings/sec, 150 secs
lola: 178054 markings, 624704 edges, 1140 markings/sec, 155 secs
lola: 183781 markings, 644719 edges, 1145 markings/sec, 160 secs
lola: 189509 markings, 664401 edges, 1146 markings/sec, 165 secs
lola: 195239 markings, 683920 edges, 1146 markings/sec, 170 secs
lola: 200967 markings, 704129 edges, 1146 markings/sec, 175 secs
lola: 206695 markings, 724097 edges, 1146 markings/sec, 180 secs
lola: 212424 markings, 744003 edges, 1146 markings/sec, 185 secs
lola: 218149 markings, 763776 edges, 1145 markings/sec, 190 secs
lola: 223868 markings, 783246 edges, 1144 markings/sec, 195 secs
lola: 229562 markings, 803608 edges, 1139 markings/sec, 200 secs
lola: 235272 markings, 823474 edges, 1142 markings/sec, 205 secs
lola: 241006 markings, 842867 edges, 1147 markings/sec, 210 secs
lola: 246753 markings, 862212 edges, 1149 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: 141476 KB
lola: time consumption: 2454 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__18_34_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_34_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 2068 markings, 6926 edges, 414 markings/sec, 0 secs
lola: 7691 markings, 26401 edges, 1125 markings/sec, 5 secs
lola: 13336 markings, 44364 edges, 1129 markings/sec, 10 secs
lola: 18951 markings, 63842 edges, 1123 markings/sec, 15 secs
lola: 24553 markings, 83589 edges, 1120 markings/sec, 20 secs
lola: 30181 markings, 102242 edges, 1126 markings/sec, 25 secs
lola: 35801 markings, 121067 edges, 1124 markings/sec, 30 secs
lola: 41439 markings, 139400 edges, 1128 markings/sec, 35 secs
lola: 47065 markings, 156963 edges, 1125 markings/sec, 40 secs
lola: 52661 markings, 176669 edges, 1119 markings/sec, 45 secs
lola: 58258 markings, 196481 edges, 1119 markings/sec, 50 secs
lola: 63842 markings, 216957 edges, 1117 markings/sec, 55 secs
lola: 69456 markings, 236225 edges, 1123 markings/sec, 60 secs
lola: 75083 markings, 254754 edges, 1125 markings/sec, 65 secs
lola: 80719 markings, 272549 edges, 1127 markings/sec, 70 secs
lola: 86356 markings, 290276 edges, 1127 markings/sec, 75 secs
lola: 91996 markings, 307753 edges, 1128 markings/sec, 80 secs
lola: 97630 markings, 325779 edges, 1127 markings/sec, 85 secs
lola: 103257 markings, 343666 edges, 1125 markings/sec, 90 secs
lola: 108896 markings, 361260 edges, 1128 markings/sec, 95 secs
lola: 114513 markings, 379552 edges, 1123 markings/sec, 100 secs
lola: 120135 markings, 397914 edges, 1124 markings/sec, 105 secs
lola: 125644 markings, 416195 edges, 1102 markings/sec, 110 secs
lola: 131195 markings, 433570 edges, 1110 markings/sec, 115 secs
lola: 136676 markings, 450287 edges, 1096 markings/sec, 120 secs
lola: 142325 markings, 468066 edges, 1130 markings/sec, 125 secs
lola: 147961 markings, 486264 edges, 1127 markings/sec, 130 secs
lola: 153556 markings, 506592 edges, 1119 markings/sec, 135 secs
lola: 159184 markings, 525365 edges, 1126 markings/sec, 140 secs
lola: 164806 markings, 543197 edges, 1124 markings/sec, 145 secs
lola: 170439 markings, 560943 edges, 1127 markings/sec, 150 secs
lola: 176056 markings, 579145 edges, 1123 markings/sec, 155 secs
lola: 181667 markings, 597826 edges, 1122 markings/sec, 160 secs
lola: 187288 markings, 615767 edges, 1124 markings/sec, 165 secs
lola: 192916 markings, 634075 edges, 1126 markings/sec, 170 secs
lola: 198532 markings, 652846 edges, 1123 markings/sec, 175 secs
lola: 204146 markings, 671371 edges, 1123 markings/sec, 180 secs
lola: 209776 markings, 689448 edges, 1126 markings/sec, 185 secs
lola: 215410 markings, 707951 edges, 1127 markings/sec, 190 secs
lola: 221057 markings, 726041 edges, 1129 markings/sec, 195 secs
lola: 226714 markings, 743674 edges, 1131 markings/sec, 200 secs
lola: 232371 markings, 761140 edges, 1131 markings/sec, 205 secs
lola: 238007 markings, 779831 edges, 1127 markings/sec, 210 secs
lola: 243382 markings, 797422 edges, 1075 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: 142036 KB
lola: time consumption: 2677 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__12_31_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__12_31_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 1804 markings, 6609 edges, 361 markings/sec, 0 secs
lola: 7151 markings, 25824 edges, 1069 markings/sec, 5 secs
lola: 12627 markings, 45724 edges, 1095 markings/sec, 10 secs
lola: 18056 markings, 65711 edges, 1086 markings/sec, 15 secs
lola: 23641 markings, 86216 edges, 1117 markings/sec, 20 secs
lola: 29259 markings, 105466 edges, 1124 markings/sec, 25 secs
lola: 34868 markings, 125139 edges, 1122 markings/sec, 30 secs
lola: 40452 markings, 146019 edges, 1117 markings/sec, 35 secs
lola: 46024 markings, 166885 edges, 1114 markings/sec, 40 secs
lola: 51589 markings, 188401 edges, 1113 markings/sec, 45 secs
lola: 57158 markings, 208923 edges, 1114 markings/sec, 50 secs
lola: 62766 markings, 229425 edges, 1122 markings/sec, 55 secs
lola: 68362 markings, 249216 edges, 1119 markings/sec, 60 secs
lola: 73976 markings, 268883 edges, 1123 markings/sec, 65 secs
lola: 79572 markings, 288938 edges, 1119 markings/sec, 70 secs
lola: 85183 markings, 308781 edges, 1122 markings/sec, 75 secs
lola: 90822 markings, 328027 edges, 1128 markings/sec, 80 secs
lola: 96461 markings, 347227 edges, 1128 markings/sec, 85 secs
lola: 102052 markings, 366724 edges, 1118 markings/sec, 90 secs
lola: 107646 markings, 386809 edges, 1119 markings/sec, 95 secs
lola: 113260 markings, 406091 edges, 1123 markings/sec, 100 secs
lola: 118872 markings, 425907 edges, 1122 markings/sec, 105 secs
lola: 124471 markings, 446292 edges, 1120 markings/sec, 110 secs
lola: 130045 markings, 467317 edges, 1115 markings/sec, 115 secs
lola: 135632 markings, 487627 edges, 1117 markings/sec, 120 secs
lola: 141244 markings, 506628 edges, 1122 markings/sec, 125 secs
lola: 146809 markings, 527604 edges, 1113 markings/sec, 130 secs
lola: 152384 markings, 547313 edges, 1115 markings/sec, 135 secs
lola: 157994 markings, 566117 edges, 1122 markings/sec, 140 secs
lola: 163607 markings, 585443 edges, 1123 markings/sec, 145 secs
lola: 169219 markings, 604542 edges, 1122 markings/sec, 150 secs
lola: 174834 markings, 624301 edges, 1123 markings/sec, 155 secs
lola: 180438 markings, 644663 edges, 1121 markings/sec, 160 secs
lola: 186050 markings, 664600 edges, 1122 markings/sec, 165 secs
lola: 191663 markings, 683550 edges, 1123 markings/sec, 170 secs
lola: 197258 markings, 703334 edges, 1119 markings/sec, 175 secs
lola: 202817 markings, 724233 edges, 1112 markings/sec, 180 secs
lola: 208473 markings, 741367 edges, 1131 markings/sec, 185 secs
lola: 214120 markings, 759292 edges, 1129 markings/sec, 190 secs
lola: 219733 markings, 778281 edges, 1123 markings/sec, 195 secs
lola: 225380 markings, 796243 edges, 1129 markings/sec, 200 secs
lola: 230998 markings, 815613 edges, 1124 markings/sec, 205 secs
lola: 236563 markings, 833899 edges, 1113 markings/sec, 210 secs
lola: 242187 markings, 853002 edges, 1125 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: 136404 KB
lola: time consumption: 2900 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__16_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__16_11_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 2106 markings, 7617 edges, 421 markings/sec, 0 secs
lola: 7666 markings, 26913 edges, 1112 markings/sec, 5 secs
lola: 13216 markings, 46377 edges, 1110 markings/sec, 10 secs
lola: 18760 markings, 65815 edges, 1109 markings/sec, 15 secs
lola: 24276 markings, 86578 edges, 1103 markings/sec, 20 secs
lola: 29755 markings, 105459 edges, 1096 markings/sec, 25 secs
lola: 35176 markings, 124840 edges, 1084 markings/sec, 30 secs
lola: 40687 markings, 145263 edges, 1102 markings/sec, 35 secs
lola: 46203 markings, 165476 edges, 1103 markings/sec, 40 secs
lola: 51586 markings, 186075 edges, 1077 markings/sec, 45 secs
lola: 56946 markings, 206092 edges, 1072 markings/sec, 50 secs
lola: 62432 markings, 226201 edges, 1097 markings/sec, 55 secs
lola: 68005 markings, 245182 edges, 1115 markings/sec, 60 secs
lola: 73533 markings, 265494 edges, 1106 markings/sec, 65 secs
lola: 79050 markings, 285817 edges, 1103 markings/sec, 70 secs
lola: 84603 markings, 305494 edges, 1111 markings/sec, 75 secs
lola: 90146 markings, 325779 edges, 1109 markings/sec, 80 secs
lola: 95686 markings, 345408 edges, 1108 markings/sec, 85 secs
lola: 101193 markings, 366318 edges, 1101 markings/sec, 90 secs
lola: 106722 markings, 385826 edges, 1106 markings/sec, 95 secs
lola: 112234 markings, 406293 edges, 1102 markings/sec, 100 secs
lola: 117777 markings, 425404 edges, 1109 markings/sec, 105 secs
lola: 123292 markings, 445910 edges, 1103 markings/sec, 110 secs
lola: 128809 markings, 466267 edges, 1103 markings/sec, 115 secs
lola: 134353 markings, 486107 edges, 1109 markings/sec, 120 secs
lola: 139885 markings, 506958 edges, 1106 markings/sec, 125 secs
lola: 145447 markings, 525669 edges, 1112 markings/sec, 130 secs
lola: 150956 markings, 546060 edges, 1102 markings/sec, 135 secs
lola: 156481 markings, 566025 edges, 1105 markings/sec, 140 secs
lola: 162006 markings, 586244 edges, 1105 markings/sec, 145 secs
lola: 167533 markings, 606411 edges, 1105 markings/sec, 150 secs
lola: 173060 markings, 625904 edges, 1105 markings/sec, 155 secs
lola: 178620 markings, 644084 edges, 1112 markings/sec, 160 secs
lola: 184188 markings, 662282 edges, 1114 markings/sec, 165 secs
lola: 189720 markings, 681320 edges, 1106 markings/sec, 170 secs
lola: 195274 markings, 699462 edges, 1111 markings/sec, 175 secs
lola: 200810 markings, 718959 edges, 1107 markings/sec, 180 secs
lola: 206334 markings, 738900 edges, 1105 markings/sec, 185 secs
lola: 211857 markings, 758617 edges, 1105 markings/sec, 190 secs
lola: 217376 markings, 778678 edges, 1104 markings/sec, 195 secs
lola: 222891 markings, 799268 edges, 1103 markings/sec, 200 secs
lola: 228439 markings, 818800 edges, 1110 markings/sec, 205 secs
lola: 233980 markings, 838574 edges, 1108 markings/sec, 210 secs
lola: 239516 markings, 858704 edges, 1107 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: 140716 KB
lola: time consumption: 3123 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__6_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 2129 markings, 8100 edges, 426 markings/sec, 0 secs
lola: 7725 markings, 28256 edges, 1119 markings/sec, 5 secs
lola: 13321 markings, 48416 edges, 1119 markings/sec, 10 secs
lola: 18934 markings, 67305 edges, 1123 markings/sec, 15 secs
lola: 24570 markings, 85864 edges, 1127 markings/sec, 20 secs
lola: 30206 markings, 105218 edges, 1127 markings/sec, 25 secs
lola: 35802 markings, 125769 edges, 1119 markings/sec, 30 secs
lola: 41419 markings, 145086 edges, 1123 markings/sec, 35 secs
lola: 47050 markings, 163329 edges, 1126 markings/sec, 40 secs
lola: 52655 markings, 182871 edges, 1121 markings/sec, 45 secs
lola: 58225 markings, 203132 edges, 1114 markings/sec, 50 secs
lola: 63825 markings, 222350 edges, 1120 markings/sec, 55 secs
lola: 69461 markings, 240654 edges, 1127 markings/sec, 60 secs
lola: 75084 markings, 260201 edges, 1125 markings/sec, 65 secs
lola: 80679 markings, 280548 edges, 1119 markings/sec, 70 secs
lola: 86281 markings, 299776 edges, 1120 markings/sec, 75 secs
lola: 91882 markings, 318088 edges, 1120 markings/sec, 80 secs
lola: 97473 markings, 337568 edges, 1118 markings/sec, 85 secs
lola: 103047 markings, 357852 edges, 1115 markings/sec, 90 secs
lola: 108646 markings, 377031 edges, 1120 markings/sec, 95 secs
lola: 114257 markings, 395168 edges, 1122 markings/sec, 100 secs
lola: 119838 markings, 414632 edges, 1116 markings/sec, 105 secs
lola: 125385 markings, 435100 edges, 1109 markings/sec, 110 secs
lola: 130983 markings, 454057 edges, 1120 markings/sec, 115 secs
lola: 136600 markings, 472212 edges, 1123 markings/sec, 120 secs
lola: 142187 markings, 491832 edges, 1117 markings/sec, 125 secs
lola: 147757 markings, 512318 edges, 1114 markings/sec, 130 secs
lola: 153355 markings, 531192 edges, 1120 markings/sec, 135 secs
lola: 158993 markings, 548257 edges, 1128 markings/sec, 140 secs
lola: 164623 markings, 566078 edges, 1126 markings/sec, 145 secs
lola: 170243 markings, 583874 edges, 1124 markings/sec, 150 secs
lola: 175879 markings, 601724 edges, 1127 markings/sec, 155 secs
lola: 181457 markings, 621879 edges, 1116 markings/sec, 160 secs
lola: 187063 markings, 640930 edges, 1121 markings/sec, 165 secs
lola: 192671 markings, 659467 edges, 1122 markings/sec, 170 secs
lola: 198299 markings, 677224 edges, 1126 markings/sec, 175 secs
lola: 203926 markings, 695587 edges, 1125 markings/sec, 180 secs
lola: 209516 markings, 714499 edges, 1118 markings/sec, 185 secs
lola: 215129 markings, 733540 edges, 1123 markings/sec, 190 secs
lola: 220768 markings, 750926 edges, 1128 markings/sec, 195 secs
lola: 226399 markings, 769005 edges, 1126 markings/sec, 200 secs
lola: 231954 markings, 786509 edges, 1111 markings/sec, 205 secs
lola: 237446 markings, 804353 edges, 1098 markings/sec, 210 secs
lola: 242965 markings, 821322 edges, 1104 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: 129952 KB
lola: time consumption: 3346 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__40_12_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__40_12_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 2047 markings, 7507 edges, 409 markings/sec, 0 secs
lola: 7509 markings, 27459 edges, 1092 markings/sec, 5 secs
lola: 12955 markings, 47640 edges, 1089 markings/sec, 10 secs
lola: 18398 markings, 67437 edges, 1089 markings/sec, 15 secs
lola: 23827 markings, 87270 edges, 1086 markings/sec, 20 secs
lola: 29238 markings, 107817 edges, 1082 markings/sec, 25 secs
lola: 34639 markings, 128587 edges, 1080 markings/sec, 30 secs
lola: 40049 markings, 149167 edges, 1082 markings/sec, 35 secs
lola: 45480 markings, 169466 edges, 1086 markings/sec, 40 secs
lola: 50878 markings, 190384 edges, 1080 markings/sec, 45 secs
lola: 56288 markings, 210981 edges, 1082 markings/sec, 50 secs
lola: 61691 markings, 231454 edges, 1081 markings/sec, 55 secs
lola: 67081 markings, 252013 edges, 1078 markings/sec, 60 secs
lola: 72487 markings, 272499 edges, 1081 markings/sec, 65 secs
lola: 77904 markings, 292339 edges, 1083 markings/sec, 70 secs
lola: 83327 markings, 312393 edges, 1085 markings/sec, 75 secs
lola: 88734 markings, 333579 edges, 1081 markings/sec, 80 secs
lola: 94152 markings, 353788 edges, 1084 markings/sec, 85 secs
lola: 99569 markings, 373788 edges, 1083 markings/sec, 90 secs
lola: 104969 markings, 394433 edges, 1080 markings/sec, 95 secs
lola: 110375 markings, 414804 edges, 1081 markings/sec, 100 secs
lola: 115784 markings, 435470 edges, 1082 markings/sec, 105 secs
lola: 121163 markings, 455773 edges, 1076 markings/sec, 110 secs
lola: 126553 markings, 476155 edges, 1078 markings/sec, 115 secs
lola: 131947 markings, 496387 edges, 1079 markings/sec, 120 secs
lola: 137366 markings, 516441 edges, 1084 markings/sec, 125 secs
lola: 142772 markings, 536879 edges, 1081 markings/sec, 130 secs
lola: 148179 markings, 556812 edges, 1081 markings/sec, 135 secs
lola: 153556 markings, 577852 edges, 1075 markings/sec, 140 secs
lola: 158959 markings, 598050 edges, 1081 markings/sec, 145 secs
lola: 164389 markings, 618052 edges, 1086 markings/sec, 150 secs
lola: 169827 markings, 638285 edges, 1088 markings/sec, 155 secs
lola: 175271 markings, 656956 edges, 1089 markings/sec, 160 secs
lola: 180721 markings, 675577 edges, 1090 markings/sec, 165 secs
lola: 186124 markings, 696012 edges, 1081 markings/sec, 170 secs
lola: 191546 markings, 715753 edges, 1084 markings/sec, 175 secs
lola: 196932 markings, 736897 edges, 1077 markings/sec, 180 secs
lola: 202287 markings, 759383 edges, 1071 markings/sec, 185 secs
lola: 207678 markings, 780105 edges, 1078 markings/sec, 190 secs
lola: 213009 markings, 803014 edges, 1066 markings/sec, 195 secs
lola: 218441 markings, 822743 edges, 1086 markings/sec, 200 secs
lola: 223869 markings, 842053 edges, 1086 markings/sec, 205 secs
lola: 229258 markings, 862828 edges, 1078 markings/sec, 210 secs
lola: 234636 markings, 883951 edges, 1076 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
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: 130364 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 130364 KB
lola: time consumption: 3569 seconds

BK_STOP 1526712646252

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

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-D50N050"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D50N050.tgz
mv Diffusion2D-PT-D50N050 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is Diffusion2D-PT-D50N050, 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 r076-blw3-152649937000296"
echo "====================================================================="
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 ;