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 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K 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.2K 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 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K 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-D50N150, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649937100310
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526713722988

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D50N150 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D50N150 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D50N150 @ 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-D50N150-UpperBounds.task
lola: MAX(cAMP__42_9_) : MAX(cAMP__26_37_) : MAX(cAMP__37_46_) : MAX(cAMP__37_29_) : MAX(cAMP__46_20_) : MAX(cAMP__29_46_) : MAX(cAMP__32_35_) : MAX(cAMP__8_23_) : MAX(cAMP__24_40_) : MAX(cAMP__33_41_) : MAX(cAMP__21_11_) : MAX(cAMP__21_25_) : MAX(cAMP__47_47_) : MAX(cAMP__38_45_) : MAX(cAMP__15_16_) : MAX(cAMP__39_32_)
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__42_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__42_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 2059 markings, 7392 edges, 412 markings/sec, 0 secs
lola: 7578 markings, 25978 edges, 1104 markings/sec, 5 secs
lola: 13120 markings, 44244 edges, 1108 markings/sec, 10 secs
lola: 18670 markings, 62739 edges, 1110 markings/sec, 15 secs
lola: 24161 markings, 81743 edges, 1098 markings/sec, 20 secs
lola: 29686 markings, 100317 edges, 1105 markings/sec, 25 secs
lola: 35207 markings, 119732 edges, 1104 markings/sec, 30 secs
lola: 40742 markings, 138720 edges, 1107 markings/sec, 35 secs
lola: 46274 markings, 157708 edges, 1106 markings/sec, 40 secs
lola: 51809 markings, 176903 edges, 1107 markings/sec, 45 secs
lola: 57325 markings, 196254 edges, 1103 markings/sec, 50 secs
lola: 62847 markings, 215724 edges, 1104 markings/sec, 55 secs
lola: 68384 markings, 234122 edges, 1107 markings/sec, 60 secs
lola: 73906 markings, 253416 edges, 1104 markings/sec, 65 secs
lola: 79426 markings, 272621 edges, 1104 markings/sec, 70 secs
lola: 84948 markings, 291504 edges, 1104 markings/sec, 75 secs
lola: 90474 markings, 310762 edges, 1105 markings/sec, 80 secs
lola: 96012 markings, 329181 edges, 1108 markings/sec, 85 secs
lola: 101542 markings, 348096 edges, 1106 markings/sec, 90 secs
lola: 107069 markings, 366564 edges, 1105 markings/sec, 95 secs
lola: 112565 markings, 386607 edges, 1099 markings/sec, 100 secs
lola: 118092 markings, 405353 edges, 1105 markings/sec, 105 secs
lola: 123624 markings, 424454 edges, 1106 markings/sec, 110 secs
lola: 129117 markings, 444858 edges, 1099 markings/sec, 115 secs
lola: 134617 markings, 465003 edges, 1100 markings/sec, 120 secs
lola: 140149 markings, 484200 edges, 1106 markings/sec, 125 secs
lola: 145679 markings, 503493 edges, 1106 markings/sec, 130 secs
lola: 151227 markings, 522455 edges, 1110 markings/sec, 135 secs
lola: 156558 markings, 541403 edges, 1066 markings/sec, 140 secs
lola: 161572 markings, 559099 edges, 1003 markings/sec, 145 secs
lola: 166593 markings, 576233 edges, 1004 markings/sec, 150 secs
lola: 171606 markings, 593764 edges, 1003 markings/sec, 155 secs
lola: 176641 markings, 610461 edges, 1007 markings/sec, 160 secs
lola: 181900 markings, 628397 edges, 1052 markings/sec, 165 secs
lola: 187460 markings, 647261 edges, 1112 markings/sec, 170 secs
lola: 192944 markings, 666595 edges, 1097 markings/sec, 175 secs
lola: 198663 markings, 686155 edges, 1144 markings/sec, 180 secs
lola: 204347 markings, 706471 edges, 1137 markings/sec, 185 secs
lola: 210056 markings, 725247 edges, 1142 markings/sec, 190 secs
lola: 215736 markings, 744605 edges, 1136 markings/sec, 195 secs
lola: 221442 markings, 764516 edges, 1141 markings/sec, 200 secs
lola: 227092 markings, 783716 edges, 1130 markings/sec, 205 secs
lola: 232789 markings, 803963 edges, 1139 markings/sec, 210 secs
lola: 238474 markings, 824783 edges, 1137 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: 134024 KB
lola: time consumption: 229 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__26_37_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__26_37_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 2226 markings, 7558 edges, 445 markings/sec, 0 secs
lola: 7862 markings, 28220 edges, 1127 markings/sec, 5 secs
lola: 13496 markings, 49056 edges, 1127 markings/sec, 10 secs
lola: 19061 markings, 69122 edges, 1113 markings/sec, 15 secs
lola: 24750 markings, 86523 edges, 1138 markings/sec, 20 secs
lola: 30425 markings, 104865 edges, 1135 markings/sec, 25 secs
lola: 36084 markings, 123900 edges, 1132 markings/sec, 30 secs
lola: 41709 markings, 144363 edges, 1125 markings/sec, 35 secs
lola: 47379 markings, 163321 edges, 1134 markings/sec, 40 secs
lola: 53079 markings, 180772 edges, 1140 markings/sec, 45 secs
lola: 58753 markings, 199221 edges, 1135 markings/sec, 50 secs
lola: 64422 markings, 217519 edges, 1134 markings/sec, 55 secs
lola: 70062 markings, 236817 edges, 1128 markings/sec, 60 secs
lola: 75670 markings, 257662 edges, 1122 markings/sec, 65 secs
lola: 81292 markings, 277567 edges, 1124 markings/sec, 70 secs
lola: 86979 markings, 294884 edges, 1137 markings/sec, 75 secs
lola: 92631 markings, 313106 edges, 1130 markings/sec, 80 secs
lola: 98366 markings, 328264 edges, 1147 markings/sec, 85 secs
lola: 104068 markings, 344635 edges, 1140 markings/sec, 90 secs
lola: 109752 markings, 361796 edges, 1137 markings/sec, 95 secs
lola: 115412 markings, 378324 edges, 1132 markings/sec, 100 secs
lola: 121001 markings, 395058 edges, 1118 markings/sec, 105 secs
lola: 126686 markings, 411741 edges, 1137 markings/sec, 110 secs
lola: 132332 markings, 430244 edges, 1129 markings/sec, 115 secs
lola: 137821 markings, 447096 edges, 1098 markings/sec, 120 secs
lola: 143309 markings, 465129 edges, 1098 markings/sec, 125 secs
lola: 148801 markings, 482863 edges, 1098 markings/sec, 130 secs
lola: 154333 markings, 498392 edges, 1106 markings/sec, 135 secs
lola: 159888 markings, 513563 edges, 1111 markings/sec, 140 secs
lola: 165424 markings, 529400 edges, 1107 markings/sec, 145 secs
lola: 171069 markings, 546554 edges, 1129 markings/sec, 150 secs
lola: 176757 markings, 563604 edges, 1138 markings/sec, 155 secs
lola: 182423 markings, 581344 edges, 1133 markings/sec, 160 secs
lola: 188086 markings, 599414 edges, 1133 markings/sec, 165 secs
lola: 193822 markings, 614510 edges, 1147 markings/sec, 170 secs
lola: 199536 markings, 630141 edges, 1143 markings/sec, 175 secs
lola: 205263 markings, 646173 edges, 1145 markings/sec, 180 secs
lola: 211002 markings, 661846 edges, 1148 markings/sec, 185 secs
lola: 216681 markings, 677982 edges, 1136 markings/sec, 190 secs
lola: 222383 markings, 695236 edges, 1140 markings/sec, 195 secs
lola: 228087 markings, 712434 edges, 1141 markings/sec, 200 secs
lola: 233783 markings, 730301 edges, 1139 markings/sec, 205 secs
lola: 239484 markings, 748035 edges, 1140 markings/sec, 210 secs
lola: 245178 markings, 765521 edges, 1139 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: 131596 KB
lola: time consumption: 451 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__37_46_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__37_46_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 2233 markings, 8093 edges, 447 markings/sec, 0 secs
lola: 7910 markings, 28606 edges, 1135 markings/sec, 5 secs
lola: 13579 markings, 49777 edges, 1134 markings/sec, 10 secs
lola: 19245 markings, 70856 edges, 1133 markings/sec, 15 secs
lola: 24919 markings, 91901 edges, 1135 markings/sec, 20 secs
lola: 30565 markings, 113442 edges, 1129 markings/sec, 25 secs
lola: 36237 markings, 134576 edges, 1134 markings/sec, 30 secs
lola: 41886 markings, 155601 edges, 1130 markings/sec, 35 secs
lola: 47562 markings, 176870 edges, 1135 markings/sec, 40 secs
lola: 53239 markings, 197551 edges, 1135 markings/sec, 45 secs
lola: 58934 markings, 217687 edges, 1139 markings/sec, 50 secs
lola: 64619 markings, 238553 edges, 1137 markings/sec, 55 secs
lola: 70270 markings, 259324 edges, 1130 markings/sec, 60 secs
lola: 75953 markings, 279652 edges, 1137 markings/sec, 65 secs
lola: 81634 markings, 300073 edges, 1136 markings/sec, 70 secs
lola: 87184 markings, 320183 edges, 1110 markings/sec, 75 secs
lola: 92686 markings, 340118 edges, 1100 markings/sec, 80 secs
lola: 98284 markings, 360243 edges, 1120 markings/sec, 85 secs
lola: 103964 markings, 380739 edges, 1136 markings/sec, 90 secs
lola: 109634 markings, 401230 edges, 1134 markings/sec, 95 secs
lola: 115307 markings, 421738 edges, 1135 markings/sec, 100 secs
lola: 121010 markings, 442610 edges, 1141 markings/sec, 105 secs
lola: 126694 markings, 463639 edges, 1137 markings/sec, 110 secs
lola: 132381 markings, 484714 edges, 1137 markings/sec, 115 secs
lola: 138062 markings, 505406 edges, 1136 markings/sec, 120 secs
lola: 143724 markings, 525987 edges, 1132 markings/sec, 125 secs
lola: 149381 markings, 546541 edges, 1131 markings/sec, 130 secs
lola: 155051 markings, 567063 edges, 1134 markings/sec, 135 secs
lola: 160730 markings, 587475 edges, 1136 markings/sec, 140 secs
lola: 166396 markings, 607972 edges, 1133 markings/sec, 145 secs
lola: 172058 markings, 628438 edges, 1132 markings/sec, 150 secs
lola: 177716 markings, 648919 edges, 1132 markings/sec, 155 secs
lola: 183383 markings, 669614 edges, 1133 markings/sec, 160 secs
lola: 189051 markings, 690596 edges, 1134 markings/sec, 165 secs
lola: 194727 markings, 711554 edges, 1135 markings/sec, 170 secs
lola: 200421 markings, 732362 edges, 1139 markings/sec, 175 secs
lola: 206111 markings, 753082 edges, 1138 markings/sec, 180 secs
lola: 211784 markings, 773533 edges, 1135 markings/sec, 185 secs
lola: 217463 markings, 794199 edges, 1136 markings/sec, 190 secs
lola: 223164 markings, 814362 edges, 1140 markings/sec, 195 secs
lola: 228864 markings, 833544 edges, 1140 markings/sec, 200 secs
lola: 234530 markings, 854266 edges, 1133 markings/sec, 205 secs
lola: 240191 markings, 875408 edges, 1132 markings/sec, 210 secs
lola: 245848 markings, 896584 edges, 1131 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: 148160 KB
lola: time consumption: 673 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__37_29_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__37_29_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 2219 markings, 7597 edges, 444 markings/sec, 0 secs
lola: 7865 markings, 27751 edges, 1129 markings/sec, 5 secs
lola: 13543 markings, 46590 edges, 1136 markings/sec, 10 secs
lola: 19236 markings, 64570 edges, 1139 markings/sec, 15 secs
lola: 24897 markings, 83983 edges, 1132 markings/sec, 20 secs
lola: 30580 markings, 102261 edges, 1137 markings/sec, 25 secs
lola: 36252 markings, 120739 edges, 1134 markings/sec, 30 secs
lola: 41876 markings, 139701 edges, 1125 markings/sec, 35 secs
lola: 47489 markings, 160560 edges, 1123 markings/sec, 40 secs
lola: 53136 markings, 179732 edges, 1129 markings/sec, 45 secs
lola: 58781 markings, 199278 edges, 1129 markings/sec, 50 secs
lola: 64410 markings, 219546 edges, 1126 markings/sec, 55 secs
lola: 70014 markings, 240682 edges, 1121 markings/sec, 60 secs
lola: 75608 markings, 262254 edges, 1119 markings/sec, 65 secs
lola: 81222 markings, 283301 edges, 1123 markings/sec, 70 secs
lola: 86855 markings, 303971 edges, 1127 markings/sec, 75 secs
lola: 92480 markings, 324752 edges, 1125 markings/sec, 80 secs
lola: 98164 markings, 342985 edges, 1137 markings/sec, 85 secs
lola: 103803 markings, 362954 edges, 1128 markings/sec, 90 secs
lola: 109397 markings, 385051 edges, 1119 markings/sec, 95 secs
lola: 115052 markings, 403633 edges, 1131 markings/sec, 100 secs
lola: 120701 markings, 422968 edges, 1130 markings/sec, 105 secs
lola: 126335 markings, 442792 edges, 1127 markings/sec, 110 secs
lola: 131895 markings, 463920 edges, 1112 markings/sec, 115 secs
lola: 137362 markings, 484308 edges, 1093 markings/sec, 120 secs
lola: 142855 markings, 503273 edges, 1099 markings/sec, 125 secs
lola: 148390 markings, 520233 edges, 1107 markings/sec, 130 secs
lola: 153910 markings, 538458 edges, 1104 markings/sec, 135 secs
lola: 159413 markings, 554811 edges, 1101 markings/sec, 140 secs
lola: 164954 markings, 571535 edges, 1108 markings/sec, 145 secs
lola: 170474 markings, 588886 edges, 1104 markings/sec, 150 secs
lola: 175997 markings, 606518 edges, 1105 markings/sec, 155 secs
lola: 181498 markings, 624778 edges, 1100 markings/sec, 160 secs
lola: 187010 markings, 642797 edges, 1102 markings/sec, 165 secs
lola: 192519 markings, 660917 edges, 1102 markings/sec, 170 secs
lola: 198034 markings, 679305 edges, 1103 markings/sec, 175 secs
lola: 203550 markings, 697274 edges, 1103 markings/sec, 180 secs
lola: 209119 markings, 714991 edges, 1114 markings/sec, 185 secs
lola: 214792 markings, 733717 edges, 1135 markings/sec, 190 secs
lola: 220437 markings, 753552 edges, 1129 markings/sec, 195 secs
lola: 226124 markings, 771796 edges, 1137 markings/sec, 200 secs
lola: 231851 markings, 789048 edges, 1145 markings/sec, 205 secs
lola: 237444 markings, 806510 edges, 1119 markings/sec, 210 secs
lola: 243143 markings, 824409 edges, 1140 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: 139544 KB
lola: time consumption: 895 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__46_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__46_20_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 2287 markings, 8419 edges, 457 markings/sec, 0 secs
lola: 8095 markings, 28996 edges, 1162 markings/sec, 5 secs
lola: 13909 markings, 49132 edges, 1163 markings/sec, 10 secs
lola: 19700 markings, 69409 edges, 1158 markings/sec, 15 secs
lola: 25506 markings, 90195 edges, 1161 markings/sec, 20 secs
lola: 31310 markings, 111194 edges, 1161 markings/sec, 25 secs
lola: 37143 markings, 130212 edges, 1167 markings/sec, 30 secs
lola: 42952 markings, 150427 edges, 1162 markings/sec, 35 secs
lola: 48775 markings, 170351 edges, 1165 markings/sec, 40 secs
lola: 54584 markings, 190296 edges, 1162 markings/sec, 45 secs
lola: 60373 markings, 210885 edges, 1158 markings/sec, 50 secs
lola: 66191 markings, 230938 edges, 1164 markings/sec, 55 secs
lola: 72002 markings, 251299 edges, 1162 markings/sec, 60 secs
lola: 77833 markings, 271052 edges, 1166 markings/sec, 65 secs
lola: 83671 markings, 289962 edges, 1168 markings/sec, 70 secs
lola: 89501 markings, 309250 edges, 1166 markings/sec, 75 secs
lola: 95258 markings, 328986 edges, 1151 markings/sec, 80 secs
lola: 101075 markings, 349051 edges, 1163 markings/sec, 85 secs
lola: 106868 markings, 369730 edges, 1159 markings/sec, 90 secs
lola: 112637 markings, 389558 edges, 1154 markings/sec, 95 secs
lola: 118385 markings, 409644 edges, 1150 markings/sec, 100 secs
lola: 124143 markings, 429191 edges, 1152 markings/sec, 105 secs
lola: 129995 markings, 448066 edges, 1170 markings/sec, 110 secs
lola: 135744 markings, 467247 edges, 1150 markings/sec, 115 secs
lola: 141547 markings, 487084 edges, 1161 markings/sec, 120 secs
lola: 147342 markings, 507010 edges, 1159 markings/sec, 125 secs
lola: 153129 markings, 527557 edges, 1157 markings/sec, 130 secs
lola: 158852 markings, 547233 edges, 1145 markings/sec, 135 secs
lola: 164660 markings, 567594 edges, 1162 markings/sec, 140 secs
lola: 170487 markings, 587452 edges, 1165 markings/sec, 145 secs
lola: 176329 markings, 606231 edges, 1168 markings/sec, 150 secs
lola: 182148 markings, 625681 edges, 1164 markings/sec, 155 secs
lola: 187971 markings, 645592 edges, 1165 markings/sec, 160 secs
lola: 193790 markings, 665583 edges, 1164 markings/sec, 165 secs
lola: 199588 markings, 686198 edges, 1160 markings/sec, 170 secs
lola: 205397 markings, 706206 edges, 1162 markings/sec, 175 secs
lola: 211034 markings, 725944 edges, 1127 markings/sec, 180 secs
lola: 216688 markings, 745322 edges, 1131 markings/sec, 185 secs
lola: 222366 markings, 762967 edges, 1136 markings/sec, 190 secs
lola: 228104 markings, 781286 edges, 1148 markings/sec, 195 secs
lola: 233750 markings, 800007 edges, 1129 markings/sec, 200 secs
lola: 239405 markings, 818801 edges, 1131 markings/sec, 205 secs
lola: 245070 markings, 836429 edges, 1133 markings/sec, 210 secs
lola: 250678 markings, 856148 edges, 1122 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: 142164 KB
lola: time consumption: 1117 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__29_46_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__29_46_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 2061 markings, 7002 edges, 412 markings/sec, 0 secs
lola: 7556 markings, 26865 edges, 1099 markings/sec, 5 secs
lola: 13035 markings, 46355 edges, 1096 markings/sec, 10 secs
lola: 18627 markings, 66287 edges, 1118 markings/sec, 15 secs
lola: 24274 markings, 86594 edges, 1129 markings/sec, 20 secs
lola: 29915 markings, 106783 edges, 1128 markings/sec, 25 secs
lola: 35570 markings, 126378 edges, 1131 markings/sec, 30 secs
lola: 41187 markings, 146265 edges, 1123 markings/sec, 35 secs
lola: 46733 markings, 166605 edges, 1109 markings/sec, 40 secs
lola: 52361 markings, 186736 edges, 1126 markings/sec, 45 secs
lola: 58039 markings, 206516 edges, 1136 markings/sec, 50 secs
lola: 63697 markings, 227229 edges, 1132 markings/sec, 55 secs
lola: 69352 markings, 247849 edges, 1131 markings/sec, 60 secs
lola: 74985 markings, 268891 edges, 1127 markings/sec, 65 secs
lola: 80633 markings, 289191 edges, 1130 markings/sec, 70 secs
lola: 86257 markings, 310563 edges, 1125 markings/sec, 75 secs
lola: 91917 markings, 330447 edges, 1132 markings/sec, 80 secs
lola: 97565 markings, 350985 edges, 1130 markings/sec, 85 secs
lola: 103208 markings, 372004 edges, 1129 markings/sec, 90 secs
lola: 108856 markings, 391846 edges, 1130 markings/sec, 95 secs
lola: 114492 markings, 412263 edges, 1127 markings/sec, 100 secs
lola: 120121 markings, 433382 edges, 1126 markings/sec, 105 secs
lola: 125762 markings, 453323 edges, 1128 markings/sec, 110 secs
lola: 131383 markings, 474173 edges, 1124 markings/sec, 115 secs
lola: 137029 markings, 494168 edges, 1129 markings/sec, 120 secs
lola: 142676 markings, 514373 edges, 1129 markings/sec, 125 secs
lola: 148316 markings, 534699 edges, 1128 markings/sec, 130 secs
lola: 153943 markings, 555347 edges, 1125 markings/sec, 135 secs
lola: 159557 markings, 576493 edges, 1123 markings/sec, 140 secs
lola: 165207 markings, 596369 edges, 1130 markings/sec, 145 secs
lola: 170858 markings, 615934 edges, 1130 markings/sec, 150 secs
lola: 176484 markings, 636269 edges, 1125 markings/sec, 155 secs
lola: 182146 markings, 656037 edges, 1132 markings/sec, 160 secs
lola: 187795 markings, 676305 edges, 1130 markings/sec, 165 secs
lola: 193430 markings, 696777 edges, 1127 markings/sec, 170 secs
lola: 199062 markings, 717249 edges, 1126 markings/sec, 175 secs
lola: 204705 markings, 737527 edges, 1129 markings/sec, 180 secs
lola: 210333 markings, 758218 edges, 1126 markings/sec, 185 secs
lola: 215960 markings, 778945 edges, 1125 markings/sec, 190 secs
lola: 221604 markings, 799128 edges, 1129 markings/sec, 195 secs
lola: 227234 markings, 819403 edges, 1126 markings/sec, 200 secs
lola: 232863 markings, 839948 edges, 1126 markings/sec, 205 secs
lola: 238499 markings, 859883 edges, 1127 markings/sec, 210 secs
lola: 244145 markings, 880096 edges, 1129 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: 149828 KB
lola: time consumption: 1339 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__32_35_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__32_35_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 2118 markings, 7194 edges, 424 markings/sec, 0 secs
lola: 7831 markings, 25437 edges, 1143 markings/sec, 5 secs
lola: 13523 markings, 44444 edges, 1138 markings/sec, 10 secs
lola: 19199 markings, 64356 edges, 1135 markings/sec, 15 secs
lola: 24921 markings, 82410 edges, 1144 markings/sec, 20 secs
lola: 30611 markings, 102157 edges, 1138 markings/sec, 25 secs
lola: 36324 markings, 120285 edges, 1143 markings/sec, 30 secs
lola: 42011 markings, 139504 edges, 1137 markings/sec, 35 secs
lola: 47661 markings, 160025 edges, 1130 markings/sec, 40 secs
lola: 53357 markings, 178947 edges, 1139 markings/sec, 45 secs
lola: 59049 markings, 197786 edges, 1138 markings/sec, 50 secs
lola: 64736 markings, 216960 edges, 1137 markings/sec, 55 secs
lola: 70442 markings, 235162 edges, 1141 markings/sec, 60 secs
lola: 76119 markings, 254379 edges, 1135 markings/sec, 65 secs
lola: 81849 markings, 272296 edges, 1146 markings/sec, 70 secs
lola: 87613 markings, 287792 edges, 1153 markings/sec, 75 secs
lola: 93344 markings, 304260 edges, 1146 markings/sec, 80 secs
lola: 99063 markings, 321974 edges, 1144 markings/sec, 85 secs
lola: 104750 markings, 341445 edges, 1137 markings/sec, 90 secs
lola: 110446 markings, 359425 edges, 1139 markings/sec, 95 secs
lola: 116145 markings, 377122 edges, 1140 markings/sec, 100 secs
lola: 121841 markings, 394847 edges, 1139 markings/sec, 105 secs
lola: 127460 markings, 412698 edges, 1124 markings/sec, 110 secs
lola: 133075 markings, 428762 edges, 1123 markings/sec, 115 secs
lola: 138829 markings, 445270 edges, 1151 markings/sec, 120 secs
lola: 144575 markings, 462137 edges, 1149 markings/sec, 125 secs
lola: 150306 markings, 479556 edges, 1146 markings/sec, 130 secs
lola: 156020 markings, 497504 edges, 1143 markings/sec, 135 secs
lola: 161727 markings, 515665 edges, 1141 markings/sec, 140 secs
lola: 167424 markings, 534120 edges, 1139 markings/sec, 145 secs
lola: 173114 markings, 553252 edges, 1138 markings/sec, 150 secs
lola: 178807 markings, 571736 edges, 1139 markings/sec, 155 secs
lola: 184502 markings, 589966 edges, 1139 markings/sec, 160 secs
lola: 190239 markings, 607168 edges, 1147 markings/sec, 165 secs
lola: 195950 markings, 624493 edges, 1142 markings/sec, 170 secs
lola: 201631 markings, 642784 edges, 1136 markings/sec, 175 secs
lola: 207355 markings, 660198 edges, 1145 markings/sec, 180 secs
lola: 213040 markings, 678633 edges, 1137 markings/sec, 185 secs
lola: 218719 markings, 697636 edges, 1136 markings/sec, 190 secs
lola: 224439 markings, 715665 edges, 1144 markings/sec, 195 secs
lola: 230165 markings, 733678 edges, 1145 markings/sec, 200 secs
lola: 235846 markings, 753739 edges, 1136 markings/sec, 205 secs
lola: 241507 markings, 773502 edges, 1132 markings/sec, 210 secs
lola: 247177 markings, 793186 edges, 1134 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: 138736 KB
lola: time consumption: 1562 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_23_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_23_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 2172 markings, 7893 edges, 434 markings/sec, 0 secs
lola: 7900 markings, 27995 edges, 1146 markings/sec, 5 secs
lola: 13624 markings, 48546 edges, 1145 markings/sec, 10 secs
lola: 19356 markings, 69577 edges, 1146 markings/sec, 15 secs
lola: 25095 markings, 90651 edges, 1148 markings/sec, 20 secs
lola: 30853 markings, 110773 edges, 1152 markings/sec, 25 secs
lola: 36419 markings, 132084 edges, 1113 markings/sec, 30 secs
lola: 41972 markings, 152783 edges, 1111 markings/sec, 35 secs
lola: 47543 markings, 173059 edges, 1114 markings/sec, 40 secs
lola: 53100 markings, 193645 edges, 1111 markings/sec, 45 secs
lola: 58719 markings, 213675 edges, 1124 markings/sec, 50 secs
lola: 64310 markings, 234465 edges, 1118 markings/sec, 55 secs
lola: 69903 markings, 254932 edges, 1119 markings/sec, 60 secs
lola: 75494 markings, 275329 edges, 1118 markings/sec, 65 secs
lola: 81044 markings, 297866 edges, 1110 markings/sec, 70 secs
lola: 86635 markings, 318533 edges, 1118 markings/sec, 75 secs
lola: 92228 markings, 339052 edges, 1119 markings/sec, 80 secs
lola: 97839 markings, 359086 edges, 1122 markings/sec, 85 secs
lola: 103418 markings, 380568 edges, 1116 markings/sec, 90 secs
lola: 109015 markings, 400878 edges, 1119 markings/sec, 95 secs
lola: 114615 markings, 421116 edges, 1120 markings/sec, 100 secs
lola: 120225 markings, 441681 edges, 1122 markings/sec, 105 secs
lola: 125804 markings, 463094 edges, 1116 markings/sec, 110 secs
lola: 131390 markings, 484172 edges, 1117 markings/sec, 115 secs
lola: 136979 markings, 504567 edges, 1118 markings/sec, 120 secs
lola: 142555 markings, 525498 edges, 1115 markings/sec, 125 secs
lola: 148149 markings, 545364 edges, 1119 markings/sec, 130 secs
lola: 153720 markings, 565289 edges, 1114 markings/sec, 135 secs
lola: 159282 markings, 585139 edges, 1112 markings/sec, 140 secs
lola: 164814 markings, 606896 edges, 1106 markings/sec, 145 secs
lola: 170279 markings, 627086 edges, 1093 markings/sec, 150 secs
lola: 175824 markings, 647794 edges, 1109 markings/sec, 155 secs
lola: 181383 markings, 667646 edges, 1112 markings/sec, 160 secs
lola: 186896 markings, 689668 edges, 1103 markings/sec, 165 secs
lola: 192477 markings, 709336 edges, 1116 markings/sec, 170 secs
lola: 198022 markings, 730495 edges, 1109 markings/sec, 175 secs
lola: 203589 markings, 750114 edges, 1113 markings/sec, 180 secs
lola: 209141 markings, 770896 edges, 1110 markings/sec, 185 secs
lola: 214681 markings, 792332 edges, 1108 markings/sec, 190 secs
lola: 220205 markings, 813667 edges, 1105 markings/sec, 195 secs
lola: 225781 markings, 834164 edges, 1115 markings/sec, 200 secs
lola: 231534 markings, 854801 edges, 1151 markings/sec, 205 secs
lola: 237266 markings, 876489 edges, 1146 markings/sec, 210 secs
lola: 243001 markings, 897575 edges, 1147 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: 144320 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__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-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 2165 markings, 7435 edges, 433 markings/sec, 0 secs
lola: 7751 markings, 27826 edges, 1117 markings/sec, 5 secs
lola: 13310 markings, 49031 edges, 1112 markings/sec, 10 secs
lola: 18872 markings, 70010 edges, 1112 markings/sec, 15 secs
lola: 24473 markings, 90450 edges, 1120 markings/sec, 20 secs
lola: 30049 markings, 111684 edges, 1115 markings/sec, 25 secs
lola: 35604 markings, 132099 edges, 1111 markings/sec, 30 secs
lola: 41156 markings, 153245 edges, 1110 markings/sec, 35 secs
lola: 46723 markings, 174248 edges, 1113 markings/sec, 40 secs
lola: 52276 markings, 194923 edges, 1111 markings/sec, 45 secs
lola: 57851 markings, 215120 edges, 1115 markings/sec, 50 secs
lola: 63386 markings, 234928 edges, 1107 markings/sec, 55 secs
lola: 68854 markings, 253423 edges, 1094 markings/sec, 60 secs
lola: 74302 markings, 272692 edges, 1090 markings/sec, 65 secs
lola: 79726 markings, 292729 edges, 1085 markings/sec, 70 secs
lola: 85162 markings, 312293 edges, 1087 markings/sec, 75 secs
lola: 90598 markings, 332021 edges, 1087 markings/sec, 80 secs
lola: 96046 markings, 351001 edges, 1090 markings/sec, 85 secs
lola: 101471 markings, 370847 edges, 1085 markings/sec, 90 secs
lola: 106870 markings, 391590 edges, 1080 markings/sec, 95 secs
lola: 112323 markings, 410778 edges, 1091 markings/sec, 100 secs
lola: 117758 markings, 430099 edges, 1087 markings/sec, 105 secs
lola: 123220 markings, 448590 edges, 1092 markings/sec, 110 secs
lola: 128695 markings, 467564 edges, 1095 markings/sec, 115 secs
lola: 134165 markings, 486810 edges, 1094 markings/sec, 120 secs
lola: 139593 markings, 507140 edges, 1086 markings/sec, 125 secs
lola: 145047 markings, 526115 edges, 1091 markings/sec, 130 secs
lola: 150478 markings, 545663 edges, 1086 markings/sec, 135 secs
lola: 155918 markings, 564785 edges, 1088 markings/sec, 140 secs
lola: 161469 markings, 585463 edges, 1110 markings/sec, 145 secs
lola: 167050 markings, 605664 edges, 1116 markings/sec, 150 secs
lola: 172656 markings, 624781 edges, 1121 markings/sec, 155 secs
lola: 178222 markings, 645431 edges, 1113 markings/sec, 160 secs
lola: 183803 markings, 665478 edges, 1116 markings/sec, 165 secs
lola: 189391 markings, 685061 edges, 1118 markings/sec, 170 secs
lola: 194976 markings, 704871 edges, 1117 markings/sec, 175 secs
lola: 200563 markings, 724426 edges, 1117 markings/sec, 180 secs
lola: 206176 markings, 744069 edges, 1123 markings/sec, 185 secs
lola: 211751 markings, 763337 edges, 1115 markings/sec, 190 secs
lola: 217231 markings, 781257 edges, 1096 markings/sec, 195 secs
lola: 222679 markings, 800559 edges, 1090 markings/sec, 200 secs
lola: 228119 markings, 819510 edges, 1088 markings/sec, 205 secs
lola: 233620 markings, 836688 edges, 1100 markings/sec, 210 secs
lola: 239114 markings, 854027 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: 133800 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__33_41_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__33_41_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 2054 markings, 7384 edges, 411 markings/sec, 0 secs
lola: 7565 markings, 28007 edges, 1102 markings/sec, 5 secs
lola: 13072 markings, 48446 edges, 1101 markings/sec, 10 secs
lola: 18569 markings, 69452 edges, 1099 markings/sec, 15 secs
lola: 24069 markings, 89777 edges, 1100 markings/sec, 20 secs
lola: 29574 markings, 109879 edges, 1101 markings/sec, 25 secs
lola: 35061 markings, 130148 edges, 1097 markings/sec, 30 secs
lola: 40572 markings, 150314 edges, 1102 markings/sec, 35 secs
lola: 46111 markings, 169315 edges, 1108 markings/sec, 40 secs
lola: 51615 markings, 189059 edges, 1101 markings/sec, 45 secs
lola: 57131 markings, 208731 edges, 1103 markings/sec, 50 secs
lola: 62638 markings, 228690 edges, 1101 markings/sec, 55 secs
lola: 68186 markings, 247776 edges, 1110 markings/sec, 60 secs
lola: 73710 markings, 267225 edges, 1105 markings/sec, 65 secs
lola: 79210 markings, 286898 edges, 1100 markings/sec, 70 secs
lola: 84855 markings, 307668 edges, 1129 markings/sec, 75 secs
lola: 90539 markings, 327182 edges, 1137 markings/sec, 80 secs
lola: 96206 markings, 347394 edges, 1133 markings/sec, 85 secs
lola: 101879 markings, 366873 edges, 1135 markings/sec, 90 secs
lola: 107525 markings, 387616 edges, 1129 markings/sec, 95 secs
lola: 113194 markings, 408050 edges, 1134 markings/sec, 100 secs
lola: 118839 markings, 427800 edges, 1129 markings/sec, 105 secs
lola: 124499 markings, 447905 edges, 1132 markings/sec, 110 secs
lola: 130153 markings, 467898 edges, 1131 markings/sec, 115 secs
lola: 135801 markings, 488307 edges, 1130 markings/sec, 120 secs
lola: 141428 markings, 509224 edges, 1125 markings/sec, 125 secs
lola: 147017 markings, 531351 edges, 1118 markings/sec, 130 secs
lola: 152516 markings, 551189 edges, 1100 markings/sec, 135 secs
lola: 158046 markings, 570396 edges, 1106 markings/sec, 140 secs
lola: 163569 markings, 590411 edges, 1105 markings/sec, 145 secs
lola: 169080 markings, 609955 edges, 1102 markings/sec, 150 secs
lola: 174588 markings, 629174 edges, 1102 markings/sec, 155 secs
lola: 180089 markings, 648901 edges, 1100 markings/sec, 160 secs
lola: 185583 markings, 668860 edges, 1099 markings/sec, 165 secs
lola: 191075 markings, 688602 edges, 1098 markings/sec, 170 secs
lola: 196582 markings, 707866 edges, 1101 markings/sec, 175 secs
lola: 202063 markings, 728084 edges, 1096 markings/sec, 180 secs
lola: 207575 markings, 747399 edges, 1102 markings/sec, 185 secs
lola: 213088 markings, 766630 edges, 1103 markings/sec, 190 secs
lola: 218556 markings, 787524 edges, 1094 markings/sec, 195 secs
lola: 224064 markings, 806757 edges, 1102 markings/sec, 200 secs
lola: 229568 markings, 826168 edges, 1101 markings/sec, 205 secs
lola: 235096 markings, 845495 edges, 1106 markings/sec, 210 secs
lola: 240626 markings, 864816 edges, 1106 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: 135120 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__21_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__21_11_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 2182 markings, 7973 edges, 436 markings/sec, 0 secs
lola: 7764 markings, 28690 edges, 1116 markings/sec, 5 secs
lola: 13341 markings, 49504 edges, 1115 markings/sec, 10 secs
lola: 18932 markings, 70342 edges, 1118 markings/sec, 15 secs
lola: 24505 markings, 91176 edges, 1115 markings/sec, 20 secs
lola: 30088 markings, 111810 edges, 1117 markings/sec, 25 secs
lola: 35631 markings, 130955 edges, 1109 markings/sec, 30 secs
lola: 41209 markings, 151669 edges, 1116 markings/sec, 35 secs
lola: 46774 markings, 173104 edges, 1113 markings/sec, 40 secs
lola: 52367 markings, 193437 edges, 1119 markings/sec, 45 secs
lola: 57949 markings, 213450 edges, 1116 markings/sec, 50 secs
lola: 63529 markings, 233916 edges, 1116 markings/sec, 55 secs
lola: 69150 markings, 253285 edges, 1124 markings/sec, 60 secs
lola: 74759 markings, 274075 edges, 1122 markings/sec, 65 secs
lola: 80352 markings, 294716 edges, 1119 markings/sec, 70 secs
lola: 85959 markings, 314281 edges, 1121 markings/sec, 75 secs
lola: 91545 markings, 333644 edges, 1117 markings/sec, 80 secs
lola: 97142 markings, 353975 edges, 1119 markings/sec, 85 secs
lola: 102724 markings, 374539 edges, 1116 markings/sec, 90 secs
lola: 108333 markings, 393748 edges, 1122 markings/sec, 95 secs
lola: 113902 markings, 414909 edges, 1114 markings/sec, 100 secs
lola: 119502 markings, 434214 edges, 1120 markings/sec, 105 secs
lola: 125096 markings, 454399 edges, 1119 markings/sec, 110 secs
lola: 130678 markings, 475295 edges, 1116 markings/sec, 115 secs
lola: 136288 markings, 494818 edges, 1122 markings/sec, 120 secs
lola: 141867 markings, 515092 edges, 1116 markings/sec, 125 secs
lola: 147446 markings, 535402 edges, 1116 markings/sec, 130 secs
lola: 153059 markings, 554875 edges, 1123 markings/sec, 135 secs
lola: 158650 markings, 574254 edges, 1118 markings/sec, 140 secs
lola: 164237 markings, 593960 edges, 1117 markings/sec, 145 secs
lola: 169847 markings, 612848 edges, 1122 markings/sec, 150 secs
lola: 175461 markings, 631492 edges, 1123 markings/sec, 155 secs
lola: 181053 markings, 650845 edges, 1118 markings/sec, 160 secs
lola: 186640 markings, 671037 edges, 1117 markings/sec, 165 secs
lola: 192230 markings, 690518 edges, 1118 markings/sec, 170 secs
lola: 197797 markings, 710789 edges, 1113 markings/sec, 175 secs
lola: 203395 markings, 729203 edges, 1120 markings/sec, 180 secs
lola: 208991 markings, 748822 edges, 1119 markings/sec, 185 secs
lola: 214574 markings, 769024 edges, 1117 markings/sec, 190 secs
lola: 220164 markings, 788173 edges, 1118 markings/sec, 195 secs
lola: 225718 markings, 809539 edges, 1111 markings/sec, 200 secs
lola: 231297 markings, 830043 edges, 1116 markings/sec, 205 secs
lola: 236885 markings, 849992 edges, 1118 markings/sec, 210 secs
lola: 242481 markings, 869446 edges, 1119 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: 143252 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__21_25_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__21_25_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 2031 markings, 6909 edges, 406 markings/sec, 0 secs
lola: 7481 markings, 25471 edges, 1090 markings/sec, 5 secs
lola: 12927 markings, 44390 edges, 1089 markings/sec, 10 secs
lola: 18517 markings, 62458 edges, 1118 markings/sec, 15 secs
lola: 24121 markings, 81146 edges, 1121 markings/sec, 20 secs
lola: 29732 markings, 99584 edges, 1122 markings/sec, 25 secs
lola: 35304 markings, 119770 edges, 1114 markings/sec, 30 secs
lola: 40888 markings, 138345 edges, 1117 markings/sec, 35 secs
lola: 46352 markings, 159473 edges, 1093 markings/sec, 40 secs
lola: 51959 markings, 178177 edges, 1121 markings/sec, 45 secs
lola: 57535 markings, 197231 edges, 1115 markings/sec, 50 secs
lola: 63120 markings, 217310 edges, 1117 markings/sec, 55 secs
lola: 68730 markings, 235787 edges, 1122 markings/sec, 60 secs
lola: 74328 markings, 255232 edges, 1120 markings/sec, 65 secs
lola: 79888 markings, 275456 edges, 1112 markings/sec, 70 secs
lola: 85485 markings, 295285 edges, 1119 markings/sec, 75 secs
lola: 91096 markings, 314447 edges, 1122 markings/sec, 80 secs
lola: 96688 markings, 334362 edges, 1118 markings/sec, 85 secs
lola: 102254 markings, 355274 edges, 1113 markings/sec, 90 secs
lola: 107870 markings, 374099 edges, 1123 markings/sec, 95 secs
lola: 113350 markings, 393130 edges, 1096 markings/sec, 100 secs
lola: 118415 markings, 412017 edges, 1013 markings/sec, 105 secs
lola: 123349 markings, 429471 edges, 987 markings/sec, 110 secs
lola: 128270 markings, 447326 edges, 984 markings/sec, 115 secs
lola: 133177 markings, 463580 edges, 981 markings/sec, 120 secs
lola: 138135 markings, 479424 edges, 992 markings/sec, 125 secs
lola: 143382 markings, 496541 edges, 1049 markings/sec, 130 secs
lola: 148600 markings, 513924 edges, 1044 markings/sec, 135 secs
lola: 153867 markings, 532215 edges, 1053 markings/sec, 140 secs
lola: 159314 markings, 551475 edges, 1089 markings/sec, 145 secs
lola: 164899 markings, 571057 edges, 1117 markings/sec, 150 secs
lola: 170445 markings, 591420 edges, 1109 markings/sec, 155 secs
lola: 175972 markings, 610931 edges, 1105 markings/sec, 160 secs
lola: 181536 markings, 630816 edges, 1113 markings/sec, 165 secs
lola: 187120 markings, 649352 edges, 1117 markings/sec, 170 secs
lola: 192742 markings, 666689 edges, 1124 markings/sec, 175 secs
lola: 198351 markings, 684348 edges, 1122 markings/sec, 180 secs
lola: 203953 markings, 702413 edges, 1120 markings/sec, 185 secs
lola: 209557 markings, 720546 edges, 1121 markings/sec, 190 secs
lola: 215157 markings, 738684 edges, 1120 markings/sec, 195 secs
lola: 220683 markings, 757844 edges, 1105 markings/sec, 200 secs
lola: 226275 markings, 775883 edges, 1118 markings/sec, 205 secs
lola: 231863 markings, 794223 edges, 1118 markings/sec, 210 secs
lola: 237452 markings, 813208 edges, 1118 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: 136348 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__47_47_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__47_47_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 2288 markings, 8256 edges, 458 markings/sec, 0 secs
lola: 8119 markings, 29212 edges, 1166 markings/sec, 5 secs
lola: 13930 markings, 50878 edges, 1162 markings/sec, 10 secs
lola: 19738 markings, 72549 edges, 1162 markings/sec, 15 secs
lola: 25559 markings, 93722 edges, 1164 markings/sec, 20 secs
lola: 31327 markings, 116872 edges, 1154 markings/sec, 25 secs
lola: 37148 markings, 138231 edges, 1164 markings/sec, 30 secs
lola: 42784 markings, 159624 edges, 1127 markings/sec, 35 secs
lola: 48428 markings, 180660 edges, 1129 markings/sec, 40 secs
lola: 54036 markings, 202940 edges, 1122 markings/sec, 45 secs
lola: 59699 markings, 223109 edges, 1133 markings/sec, 50 secs
lola: 65326 markings, 244834 edges, 1125 markings/sec, 55 secs
lola: 70972 markings, 265549 edges, 1129 markings/sec, 60 secs
lola: 76638 markings, 286853 edges, 1133 markings/sec, 65 secs
lola: 82247 markings, 307555 edges, 1122 markings/sec, 70 secs
lola: 87860 markings, 329382 edges, 1123 markings/sec, 75 secs
lola: 93482 markings, 350748 edges, 1124 markings/sec, 80 secs
lola: 98906 markings, 371237 edges, 1085 markings/sec, 85 secs
lola: 104595 markings, 393496 edges, 1138 markings/sec, 90 secs
lola: 110314 markings, 414637 edges, 1144 markings/sec, 95 secs
lola: 115986 markings, 436460 edges, 1134 markings/sec, 100 secs
lola: 121671 markings, 457310 edges, 1137 markings/sec, 105 secs
lola: 127273 markings, 478610 edges, 1120 markings/sec, 110 secs
lola: 132352 markings, 497489 edges, 1016 markings/sec, 115 secs
lola: 137419 markings, 516608 edges, 1013 markings/sec, 120 secs
lola: 142914 markings, 537086 edges, 1099 markings/sec, 125 secs
lola: 148604 markings, 559087 edges, 1138 markings/sec, 130 secs
lola: 154306 markings, 581006 edges, 1140 markings/sec, 135 secs
lola: 160000 markings, 602748 edges, 1139 markings/sec, 140 secs
lola: 165696 markings, 624264 edges, 1139 markings/sec, 145 secs
lola: 171469 markings, 643106 edges, 1155 markings/sec, 150 secs
lola: 177183 markings, 663415 edges, 1143 markings/sec, 155 secs
lola: 182918 markings, 683705 edges, 1147 markings/sec, 160 secs
lola: 188614 markings, 705448 edges, 1139 markings/sec, 165 secs
lola: 194352 markings, 725799 edges, 1148 markings/sec, 170 secs
lola: 200074 markings, 746107 edges, 1144 markings/sec, 175 secs
lola: 205772 markings, 767371 edges, 1140 markings/sec, 180 secs
lola: 211447 markings, 789330 edges, 1135 markings/sec, 185 secs
lola: 217168 markings, 810293 edges, 1144 markings/sec, 190 secs
lola: 222806 markings, 832862 edges, 1128 markings/sec, 195 secs
lola: 228464 markings, 855429 edges, 1132 markings/sec, 200 secs
lola: 234148 markings, 875207 edges, 1137 markings/sec, 205 secs
lola: 239727 markings, 894474 edges, 1116 markings/sec, 210 secs
lola: 245287 markings, 914186 edges, 1112 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: 140636 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__38_45_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__38_45_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 1971 markings, 6385 edges, 394 markings/sec, 0 secs
lola: 7499 markings, 25179 edges, 1106 markings/sec, 5 secs
lola: 12954 markings, 43612 edges, 1091 markings/sec, 10 secs
lola: 18485 markings, 62356 edges, 1106 markings/sec, 15 secs
lola: 23934 markings, 79948 edges, 1090 markings/sec, 20 secs
lola: 29372 markings, 98737 edges, 1088 markings/sec, 25 secs
lola: 34932 markings, 117782 edges, 1112 markings/sec, 30 secs
lola: 40559 markings, 136573 edges, 1125 markings/sec, 35 secs
lola: 46178 markings, 155183 edges, 1124 markings/sec, 40 secs
lola: 51757 markings, 174996 edges, 1116 markings/sec, 45 secs
lola: 57305 markings, 195810 edges, 1110 markings/sec, 50 secs
lola: 62898 markings, 214428 edges, 1119 markings/sec, 55 secs
lola: 68501 markings, 232860 edges, 1121 markings/sec, 60 secs
lola: 74053 markings, 252961 edges, 1110 markings/sec, 65 secs
lola: 79639 markings, 272080 edges, 1117 markings/sec, 70 secs
lola: 85231 markings, 291195 edges, 1118 markings/sec, 75 secs
lola: 90798 markings, 311310 edges, 1113 markings/sec, 80 secs
lola: 96380 markings, 330577 edges, 1116 markings/sec, 85 secs
lola: 101962 markings, 349675 edges, 1116 markings/sec, 90 secs
lola: 107525 markings, 369832 edges, 1113 markings/sec, 95 secs
lola: 113098 markings, 389302 edges, 1115 markings/sec, 100 secs
lola: 118705 markings, 408225 edges, 1121 markings/sec, 105 secs
lola: 124263 markings, 428939 edges, 1112 markings/sec, 110 secs
lola: 129810 markings, 449244 edges, 1109 markings/sec, 115 secs
lola: 135417 markings, 467670 edges, 1121 markings/sec, 120 secs
lola: 141006 markings, 486006 edges, 1118 markings/sec, 125 secs
lola: 146408 markings, 503152 edges, 1080 markings/sec, 130 secs
lola: 151810 markings, 522223 edges, 1080 markings/sec, 135 secs
lola: 157202 markings, 542064 edges, 1078 markings/sec, 140 secs
lola: 162621 markings, 560239 edges, 1084 markings/sec, 145 secs
lola: 168017 markings, 578245 edges, 1079 markings/sec, 150 secs
lola: 173404 markings, 595201 edges, 1077 markings/sec, 155 secs
lola: 178723 markings, 613298 edges, 1064 markings/sec, 160 secs
lola: 183976 markings, 629932 edges, 1051 markings/sec, 165 secs
lola: 189311 markings, 648476 edges, 1067 markings/sec, 170 secs
lola: 194622 markings, 668028 edges, 1062 markings/sec, 175 secs
lola: 199923 markings, 687963 edges, 1060 markings/sec, 180 secs
lola: 205297 markings, 706211 edges, 1075 markings/sec, 185 secs
lola: 210733 markings, 724375 edges, 1087 markings/sec, 190 secs
lola: 216097 markings, 741302 edges, 1073 markings/sec, 195 secs
lola: 221509 markings, 758500 edges, 1082 markings/sec, 200 secs
lola: 226957 markings, 775703 edges, 1090 markings/sec, 205 secs
lola: 232320 markings, 792714 edges, 1073 markings/sec, 210 secs
lola: 237677 markings, 809864 edges, 1071 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: 150168 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__15_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__15_16_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 1903 markings, 6606 edges, 381 markings/sec, 0 secs
lola: 7105 markings, 25290 edges, 1040 markings/sec, 5 secs
lola: 12352 markings, 42676 edges, 1049 markings/sec, 10 secs
lola: 17612 markings, 61285 edges, 1052 markings/sec, 15 secs
lola: 22823 markings, 79719 edges, 1042 markings/sec, 20 secs
lola: 28151 markings, 99934 edges, 1066 markings/sec, 25 secs
lola: 33463 markings, 120672 edges, 1062 markings/sec, 30 secs
lola: 38793 markings, 140125 edges, 1066 markings/sec, 35 secs
lola: 44031 markings, 160102 edges, 1048 markings/sec, 40 secs
lola: 49201 markings, 179776 edges, 1034 markings/sec, 45 secs
lola: 54517 markings, 199308 edges, 1063 markings/sec, 50 secs
lola: 59874 markings, 217698 edges, 1071 markings/sec, 55 secs
lola: 65138 markings, 236301 edges, 1053 markings/sec, 60 secs
lola: 70328 markings, 255637 edges, 1038 markings/sec, 65 secs
lola: 75399 markings, 274032 edges, 1014 markings/sec, 70 secs
lola: 80545 markings, 293344 edges, 1029 markings/sec, 75 secs
lola: 85709 markings, 311497 edges, 1033 markings/sec, 80 secs
lola: 91036 markings, 330853 edges, 1065 markings/sec, 85 secs
lola: 96103 markings, 348016 edges, 1013 markings/sec, 90 secs
lola: 101129 markings, 366169 edges, 1005 markings/sec, 95 secs
lola: 106346 markings, 384982 edges, 1043 markings/sec, 100 secs
lola: 111508 markings, 402366 edges, 1032 markings/sec, 105 secs
lola: 116484 markings, 419859 edges, 995 markings/sec, 110 secs
lola: 121571 markings, 438563 edges, 1017 markings/sec, 115 secs
lola: 126664 markings, 457555 edges, 1019 markings/sec, 120 secs
lola: 131735 markings, 476405 edges, 1014 markings/sec, 125 secs
lola: 136785 markings, 492533 edges, 1010 markings/sec, 130 secs
lola: 141851 markings, 509460 edges, 1013 markings/sec, 135 secs
lola: 146961 markings, 528560 edges, 1022 markings/sec, 140 secs
lola: 152147 markings, 544852 edges, 1037 markings/sec, 145 secs
lola: 157339 markings, 561303 edges, 1038 markings/sec, 150 secs
lola: 162456 markings, 578452 edges, 1023 markings/sec, 155 secs
lola: 167383 markings, 595228 edges, 985 markings/sec, 160 secs
lola: 172363 markings, 611893 edges, 996 markings/sec, 165 secs
lola: 177336 markings, 628182 edges, 995 markings/sec, 170 secs
lola: 182319 markings, 645525 edges, 997 markings/sec, 175 secs
lola: 187276 markings, 662263 edges, 991 markings/sec, 180 secs
lola: 192365 markings, 680765 edges, 1018 markings/sec, 185 secs
lola: 197463 markings, 698481 edges, 1020 markings/sec, 190 secs
lola: 202713 markings, 717993 edges, 1050 markings/sec, 195 secs
lola: 207886 markings, 733730 edges, 1035 markings/sec, 200 secs
lola: 213066 markings, 750070 edges, 1036 markings/sec, 205 secs
lola: 218101 markings, 766471 edges, 1007 markings/sec, 210 secs
lola: 223129 markings, 782617 edges, 1006 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: 129836 KB
lola: time consumption: 3346 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__39_32_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__39_32_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 1713 markings, 6225 edges, 343 markings/sec, 0 secs
lola: 6880 markings, 25150 edges, 1033 markings/sec, 5 secs
lola: 12182 markings, 44736 edges, 1060 markings/sec, 10 secs
lola: 17341 markings, 63647 edges, 1032 markings/sec, 15 secs
lola: 22126 markings, 81571 edges, 957 markings/sec, 20 secs
lola: 27487 markings, 101192 edges, 1072 markings/sec, 25 secs
lola: 32578 markings, 118897 edges, 1018 markings/sec, 30 secs
lola: 37584 markings, 137606 edges, 1001 markings/sec, 35 secs
lola: 42617 markings, 155566 edges, 1007 markings/sec, 40 secs
lola: 47619 markings, 174898 edges, 1000 markings/sec, 45 secs
lola: 52574 markings, 193777 edges, 991 markings/sec, 50 secs
lola: 57644 markings, 211550 edges, 1014 markings/sec, 55 secs
lola: 62762 markings, 230556 edges, 1024 markings/sec, 60 secs
lola: 67841 markings, 249664 edges, 1016 markings/sec, 65 secs
lola: 72945 markings, 268599 edges, 1021 markings/sec, 70 secs
lola: 77997 markings, 288877 edges, 1010 markings/sec, 75 secs
lola: 83055 markings, 306808 edges, 1012 markings/sec, 80 secs
lola: 88227 markings, 324659 edges, 1034 markings/sec, 85 secs
lola: 93378 markings, 344504 edges, 1030 markings/sec, 90 secs
lola: 98690 markings, 363870 edges, 1062 markings/sec, 95 secs
lola: 103884 markings, 382031 edges, 1039 markings/sec, 100 secs
lola: 109097 markings, 400614 edges, 1043 markings/sec, 105 secs
lola: 114399 markings, 419132 edges, 1060 markings/sec, 110 secs
lola: 119577 markings, 438359 edges, 1036 markings/sec, 115 secs
lola: 124660 markings, 458348 edges, 1017 markings/sec, 120 secs
lola: 129830 markings, 477045 edges, 1034 markings/sec, 125 secs
lola: 135318 markings, 497291 edges, 1098 markings/sec, 130 secs
lola: 140556 markings, 517088 edges, 1048 markings/sec, 135 secs
lola: 145757 markings, 536832 edges, 1040 markings/sec, 140 secs
lola: 150946 markings, 556620 edges, 1038 markings/sec, 145 secs
lola: 156050 markings, 576155 edges, 1021 markings/sec, 150 secs
lola: 161443 markings, 595985 edges, 1079 markings/sec, 155 secs
lola: 166804 markings, 615434 edges, 1072 markings/sec, 160 secs
lola: 171878 markings, 634205 edges, 1015 markings/sec, 165 secs
lola: 176968 markings, 652846 edges, 1018 markings/sec, 170 secs
lola: 182205 markings, 673238 edges, 1047 markings/sec, 175 secs
lola: 187641 markings, 691999 edges, 1087 markings/sec, 180 secs
lola: 192937 markings, 711728 edges, 1059 markings/sec, 185 secs
lola: 198432 markings, 733067 edges, 1099 markings/sec, 190 secs
lola: 203835 markings, 753903 edges, 1081 markings/sec, 195 secs
lola: 208949 markings, 773185 edges, 1023 markings/sec, 200 secs
lola: 214118 markings, 793220 edges, 1034 markings/sec, 205 secs
lola: 219313 markings, 812407 edges, 1039 markings/sec, 210 secs
lola: 224420 markings, 830375 edges, 1021 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 133116 KB
lola: time consumption: 3569 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__42_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__42_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-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: 57992 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: 58056 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 58056 KB
lola: time consumption: 3569 seconds

BK_STOP 1526717292332

--------------------
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-D50N150"
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-D50N150.tgz
mv Diffusion2D-PT-D50N150 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-D50N150, 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-152649937100310"
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 ;