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.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K 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.7K 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.2K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K 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.0K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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-D50N010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649937000289
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526705701045

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D50N010 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D50N010 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D50N010 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 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-D50N010-UpperBounds.task
lola: MAX(cAMP__9_11_) : MAX(cAMP__43_37_) : MAX(cAMP__36_9_) : MAX(cAMP__33_20_) : MAX(cAMP__16_49_) : MAX(cAMP__3_35_) : MAX(cAMP__43_48_) : MAX(cAMP__46_15_) : MAX(cAMP__19_29_) : MAX(cAMP__37_9_) : MAX(cAMP__8_43_) : MAX(cAMP__32_22_) : MAX(cAMP__48_1_) : MAX(cAMP__44_18_) : MAX(cAMP__37_35_) : MAX(cAMP__45_34_)
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__9_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_11_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 10
lola: 2091 markings, 7362 edges, 418 markings/sec, 0 secs
lola: 7650 markings, 27872 edges, 1112 markings/sec, 5 secs
lola: 13207 markings, 48625 edges, 1111 markings/sec, 10 secs
lola: 18756 markings, 69351 edges, 1110 markings/sec, 15 secs
lola: 24317 markings, 90175 edges, 1112 markings/sec, 20 secs
lola: 29845 markings, 110936 edges, 1106 markings/sec, 25 secs
lola: 35380 markings, 131572 edges, 1107 markings/sec, 30 secs
lola: 40910 markings, 153235 edges, 1106 markings/sec, 35 secs
lola: 46440 markings, 174655 edges, 1106 markings/sec, 40 secs
lola: 51964 markings, 196217 edges, 1105 markings/sec, 45 secs
lola: 57490 markings, 218104 edges, 1105 markings/sec, 50 secs
lola: 62989 markings, 240623 edges, 1100 markings/sec, 55 secs
lola: 68528 markings, 261898 edges, 1108 markings/sec, 60 secs
lola: 74054 markings, 282874 edges, 1105 markings/sec, 65 secs
lola: 79586 markings, 304251 edges, 1106 markings/sec, 70 secs
lola: 85101 markings, 326361 edges, 1103 markings/sec, 75 secs
lola: 90656 markings, 347807 edges, 1111 markings/sec, 80 secs
lola: 96206 markings, 369463 edges, 1110 markings/sec, 85 secs
lola: 101736 markings, 391371 edges, 1106 markings/sec, 90 secs
lola: 107274 markings, 412683 edges, 1108 markings/sec, 95 secs
lola: 112818 markings, 433900 edges, 1109 markings/sec, 100 secs
lola: 118353 markings, 455513 edges, 1107 markings/sec, 105 secs
lola: 123897 markings, 476706 edges, 1109 markings/sec, 110 secs
lola: 129437 markings, 497748 edges, 1108 markings/sec, 115 secs
lola: 134951 markings, 519463 edges, 1103 markings/sec, 120 secs
lola: 140483 markings, 540468 edges, 1106 markings/sec, 125 secs
lola: 145999 markings, 562191 edges, 1103 markings/sec, 130 secs
lola: 151523 markings, 583901 edges, 1105 markings/sec, 135 secs
lola: 157052 markings, 605097 edges, 1106 markings/sec, 140 secs
lola: 162587 markings, 626302 edges, 1107 markings/sec, 145 secs
lola: 168114 markings, 647784 edges, 1105 markings/sec, 150 secs
lola: 173642 markings, 669223 edges, 1106 markings/sec, 155 secs
lola: 179183 markings, 690149 edges, 1108 markings/sec, 160 secs
lola: 184668 markings, 713050 edges, 1097 markings/sec, 165 secs
lola: 190174 markings, 735297 edges, 1101 markings/sec, 170 secs
lola: 195685 markings, 757121 edges, 1102 markings/sec, 175 secs
lola: 201195 markings, 779025 edges, 1102 markings/sec, 180 secs
lola: 206731 markings, 800096 edges, 1107 markings/sec, 185 secs
lola: 212277 markings, 821180 edges, 1109 markings/sec, 190 secs
lola: 217835 markings, 842665 edges, 1112 markings/sec, 195 secs
lola: 223384 markings, 864273 edges, 1110 markings/sec, 200 secs
lola: 228924 markings, 886198 edges, 1108 markings/sec, 205 secs
lola: 234469 markings, 907795 edges, 1109 markings/sec, 210 secs
lola: 240028 markings, 928546 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: 134076 KB
lola: time consumption: 230 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__43_37_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__43_37_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 10
lola: 2133 markings, 7246 edges, 427 markings/sec, 0 secs
lola: 7791 markings, 27582 edges, 1132 markings/sec, 5 secs
lola: 13444 markings, 47631 edges, 1131 markings/sec, 10 secs
lola: 19101 markings, 67813 edges, 1131 markings/sec, 15 secs
lola: 24790 markings, 86978 edges, 1138 markings/sec, 20 secs
lola: 30425 markings, 108023 edges, 1127 markings/sec, 25 secs
lola: 36061 markings, 128752 edges, 1127 markings/sec, 30 secs
lola: 41726 markings, 148869 edges, 1133 markings/sec, 35 secs
lola: 47375 markings, 169751 edges, 1130 markings/sec, 40 secs
lola: 53025 markings, 190404 edges, 1130 markings/sec, 45 secs
lola: 58684 markings, 211178 edges, 1132 markings/sec, 50 secs
lola: 64343 markings, 231814 edges, 1132 markings/sec, 55 secs
lola: 69650 markings, 251250 edges, 1061 markings/sec, 60 secs
lola: 74760 markings, 270251 edges, 1022 markings/sec, 65 secs
lola: 79900 markings, 288236 edges, 1028 markings/sec, 70 secs
lola: 85032 markings, 306558 edges, 1026 markings/sec, 75 secs
lola: 90132 markings, 325827 edges, 1020 markings/sec, 80 secs
lola: 95475 markings, 345349 edges, 1069 markings/sec, 85 secs
lola: 100857 markings, 364893 edges, 1076 markings/sec, 90 secs
lola: 106475 markings, 385399 edges, 1124 markings/sec, 95 secs
lola: 112103 markings, 406178 edges, 1126 markings/sec, 100 secs
lola: 117754 markings, 425943 edges, 1130 markings/sec, 105 secs
lola: 123401 markings, 446620 edges, 1129 markings/sec, 110 secs
lola: 129026 markings, 467477 edges, 1125 markings/sec, 115 secs
lola: 134673 markings, 488301 edges, 1129 markings/sec, 120 secs
lola: 140316 markings, 508277 edges, 1129 markings/sec, 125 secs
lola: 145937 markings, 529236 edges, 1124 markings/sec, 130 secs
lola: 151564 markings, 549528 edges, 1125 markings/sec, 135 secs
lola: 157213 markings, 569476 edges, 1130 markings/sec, 140 secs
lola: 162820 markings, 590438 edges, 1121 markings/sec, 145 secs
lola: 168459 markings, 611210 edges, 1128 markings/sec, 150 secs
lola: 174107 markings, 631665 edges, 1130 markings/sec, 155 secs
lola: 179739 markings, 652240 edges, 1126 markings/sec, 160 secs
lola: 185352 markings, 673100 edges, 1123 markings/sec, 165 secs
lola: 190988 markings, 692797 edges, 1127 markings/sec, 170 secs
lola: 196640 markings, 713368 edges, 1130 markings/sec, 175 secs
lola: 202275 markings, 733734 edges, 1127 markings/sec, 180 secs
lola: 207901 markings, 753480 edges, 1125 markings/sec, 185 secs
lola: 213559 markings, 772876 edges, 1132 markings/sec, 190 secs
lola: 219238 markings, 791473 edges, 1136 markings/sec, 195 secs
lola: 224880 markings, 811543 edges, 1128 markings/sec, 200 secs
lola: 230544 markings, 830624 edges, 1133 markings/sec, 205 secs
lola: 236176 markings, 851018 edges, 1126 markings/sec, 210 secs
lola: 241816 markings, 870957 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: 132512 KB
lola: time consumption: 452 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__36_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__36_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 10
lola: 2058 markings, 7415 edges, 412 markings/sec, 0 secs
lola: 7571 markings, 25875 edges, 1103 markings/sec, 5 secs
lola: 13061 markings, 44963 edges, 1098 markings/sec, 10 secs
lola: 18537 markings, 64543 edges, 1095 markings/sec, 15 secs
lola: 24012 markings, 83581 edges, 1095 markings/sec, 20 secs
lola: 29478 markings, 102739 edges, 1093 markings/sec, 25 secs
lola: 34952 markings, 122633 edges, 1095 markings/sec, 30 secs
lola: 40202 markings, 141409 edges, 1050 markings/sec, 35 secs
lola: 45701 markings, 159577 edges, 1100 markings/sec, 40 secs
lola: 51179 markings, 176974 edges, 1096 markings/sec, 45 secs
lola: 56588 markings, 195457 edges, 1082 markings/sec, 50 secs
lola: 62014 markings, 214503 edges, 1085 markings/sec, 55 secs
lola: 67518 markings, 233581 edges, 1101 markings/sec, 60 secs
lola: 72725 markings, 252711 edges, 1041 markings/sec, 65 secs
lola: 77752 markings, 271375 edges, 1005 markings/sec, 70 secs
lola: 83017 markings, 289044 edges, 1053 markings/sec, 75 secs
lola: 88494 markings, 308147 edges, 1095 markings/sec, 80 secs
lola: 93919 markings, 326730 edges, 1085 markings/sec, 85 secs
lola: 99248 markings, 344429 edges, 1066 markings/sec, 90 secs
lola: 104602 markings, 362416 edges, 1071 markings/sec, 95 secs
lola: 110061 markings, 382345 edges, 1092 markings/sec, 100 secs
lola: 115511 markings, 400291 edges, 1090 markings/sec, 105 secs
lola: 120976 markings, 419156 edges, 1093 markings/sec, 110 secs
lola: 126380 markings, 437323 edges, 1081 markings/sec, 115 secs
lola: 131738 markings, 455800 edges, 1072 markings/sec, 120 secs
lola: 137198 markings, 476023 edges, 1092 markings/sec, 125 secs
lola: 142642 markings, 494457 edges, 1089 markings/sec, 130 secs
lola: 148034 markings, 513109 edges, 1078 markings/sec, 135 secs
lola: 153530 markings, 531563 edges, 1099 markings/sec, 140 secs
lola: 159093 markings, 549545 edges, 1113 markings/sec, 145 secs
lola: 164553 markings, 568182 edges, 1092 markings/sec, 150 secs
lola: 170003 markings, 587614 edges, 1090 markings/sec, 155 secs
lola: 175420 markings, 606722 edges, 1083 markings/sec, 160 secs
lola: 180880 markings, 625915 edges, 1092 markings/sec, 165 secs
lola: 186354 markings, 644280 edges, 1095 markings/sec, 170 secs
lola: 191727 markings, 662646 edges, 1075 markings/sec, 175 secs
lola: 197203 markings, 680593 edges, 1095 markings/sec, 180 secs
lola: 202643 markings, 698153 edges, 1088 markings/sec, 185 secs
lola: 208161 markings, 715744 edges, 1104 markings/sec, 190 secs
lola: 213558 markings, 733979 edges, 1079 markings/sec, 195 secs
lola: 218981 markings, 753734 edges, 1085 markings/sec, 200 secs
lola: 224376 markings, 772172 edges, 1079 markings/sec, 205 secs
lola: 229840 markings, 791193 edges, 1093 markings/sec, 210 secs
lola: 235232 markings, 811036 edges, 1078 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: 140408 KB
lola: time consumption: 674 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__33_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__33_20_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 10
lola: 1997 markings, 6683 edges, 399 markings/sec, 0 secs
lola: 7365 markings, 24708 edges, 1074 markings/sec, 5 secs
lola: 12809 markings, 42832 edges, 1089 markings/sec, 10 secs
lola: 18122 markings, 61976 edges, 1063 markings/sec, 15 secs
lola: 23543 markings, 82360 edges, 1084 markings/sec, 20 secs
lola: 28942 markings, 100915 edges, 1080 markings/sec, 25 secs
lola: 34397 markings, 119561 edges, 1091 markings/sec, 30 secs
lola: 39833 markings, 138819 edges, 1087 markings/sec, 35 secs
lola: 45282 markings, 157615 edges, 1090 markings/sec, 40 secs
lola: 50740 markings, 175757 edges, 1092 markings/sec, 45 secs
lola: 56193 markings, 192647 edges, 1091 markings/sec, 50 secs
lola: 61575 markings, 209124 edges, 1076 markings/sec, 55 secs
lola: 66934 markings, 226874 edges, 1072 markings/sec, 60 secs
lola: 72395 markings, 244593 edges, 1092 markings/sec, 65 secs
lola: 77792 markings, 261840 edges, 1079 markings/sec, 70 secs
lola: 83106 markings, 279004 edges, 1063 markings/sec, 75 secs
lola: 88554 markings, 295791 edges, 1090 markings/sec, 80 secs
lola: 94052 markings, 312292 edges, 1100 markings/sec, 85 secs
lola: 99517 markings, 329668 edges, 1093 markings/sec, 90 secs
lola: 105000 markings, 346770 edges, 1097 markings/sec, 95 secs
lola: 110467 markings, 364586 edges, 1093 markings/sec, 100 secs
lola: 115920 markings, 381917 edges, 1091 markings/sec, 105 secs
lola: 121142 markings, 398076 edges, 1044 markings/sec, 110 secs
lola: 126539 markings, 414848 edges, 1079 markings/sec, 115 secs
lola: 131981 markings, 431566 edges, 1088 markings/sec, 120 secs
lola: 137443 markings, 449115 edges, 1092 markings/sec, 125 secs
lola: 142900 markings, 466737 edges, 1091 markings/sec, 130 secs
lola: 148368 markings, 484255 edges, 1094 markings/sec, 135 secs
lola: 153838 markings, 501784 edges, 1094 markings/sec, 140 secs
lola: 159303 markings, 518502 edges, 1093 markings/sec, 145 secs
lola: 164773 markings, 535056 edges, 1094 markings/sec, 150 secs
lola: 170233 markings, 551711 edges, 1092 markings/sec, 155 secs
lola: 175708 markings, 568539 edges, 1095 markings/sec, 160 secs
lola: 181181 markings, 585289 edges, 1095 markings/sec, 165 secs
lola: 186622 markings, 603589 edges, 1088 markings/sec, 170 secs
lola: 192052 markings, 621807 edges, 1086 markings/sec, 175 secs
lola: 197496 markings, 640072 edges, 1089 markings/sec, 180 secs
lola: 202965 markings, 656844 edges, 1094 markings/sec, 185 secs
lola: 208428 markings, 674209 edges, 1093 markings/sec, 190 secs
lola: 213906 markings, 691012 edges, 1096 markings/sec, 195 secs
lola: 219386 markings, 708362 edges, 1096 markings/sec, 200 secs
lola: 224873 markings, 725111 edges, 1097 markings/sec, 205 secs
lola: 230323 markings, 743006 edges, 1090 markings/sec, 210 secs
lola: 235785 markings, 760480 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: 142880 KB
lola: time consumption: 896 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__16_49_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__16_49_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 10
lola: 2025 markings, 7298 edges, 405 markings/sec, 0 secs
lola: 7486 markings, 26040 edges, 1092 markings/sec, 5 secs
lola: 12970 markings, 44343 edges, 1097 markings/sec, 10 secs
lola: 18447 markings, 62666 edges, 1095 markings/sec, 15 secs
lola: 23932 markings, 80996 edges, 1097 markings/sec, 20 secs
lola: 29420 markings, 98746 edges, 1098 markings/sec, 25 secs
lola: 34913 markings, 116841 edges, 1099 markings/sec, 30 secs
lola: 40401 markings, 135124 edges, 1098 markings/sec, 35 secs
lola: 45889 markings, 153790 edges, 1098 markings/sec, 40 secs
lola: 51372 markings, 171891 edges, 1097 markings/sec, 45 secs
lola: 56853 markings, 190791 edges, 1096 markings/sec, 50 secs
lola: 62326 markings, 209989 edges, 1095 markings/sec, 55 secs
lola: 67827 markings, 228268 edges, 1100 markings/sec, 60 secs
lola: 73310 markings, 246675 edges, 1097 markings/sec, 65 secs
lola: 78790 markings, 265453 edges, 1096 markings/sec, 70 secs
lola: 84254 markings, 283752 edges, 1093 markings/sec, 75 secs
lola: 89732 markings, 301549 edges, 1096 markings/sec, 80 secs
lola: 95147 markings, 320371 edges, 1083 markings/sec, 85 secs
lola: 100509 markings, 338291 edges, 1072 markings/sec, 90 secs
lola: 105970 markings, 356583 edges, 1092 markings/sec, 95 secs
lola: 111438 markings, 375580 edges, 1094 markings/sec, 100 secs
lola: 116919 markings, 394129 edges, 1096 markings/sec, 105 secs
lola: 122348 markings, 411950 edges, 1086 markings/sec, 110 secs
lola: 127785 markings, 430335 edges, 1087 markings/sec, 115 secs
lola: 133247 markings, 449283 edges, 1092 markings/sec, 120 secs
lola: 138710 markings, 467801 edges, 1093 markings/sec, 125 secs
lola: 144140 markings, 485900 edges, 1086 markings/sec, 130 secs
lola: 149568 markings, 504057 edges, 1086 markings/sec, 135 secs
lola: 154984 markings, 521811 edges, 1083 markings/sec, 140 secs
lola: 160396 markings, 540417 edges, 1082 markings/sec, 145 secs
lola: 165830 markings, 558135 edges, 1087 markings/sec, 150 secs
lola: 171310 markings, 576956 edges, 1096 markings/sec, 155 secs
lola: 176827 markings, 595975 edges, 1103 markings/sec, 160 secs
lola: 182256 markings, 613916 edges, 1086 markings/sec, 165 secs
lola: 187711 markings, 632252 edges, 1091 markings/sec, 170 secs
lola: 193013 markings, 650727 edges, 1060 markings/sec, 175 secs
lola: 198417 markings, 669024 edges, 1081 markings/sec, 180 secs
lola: 203865 markings, 687131 edges, 1090 markings/sec, 185 secs
lola: 209257 markings, 705004 edges, 1078 markings/sec, 190 secs
lola: 214691 markings, 723684 edges, 1087 markings/sec, 195 secs
lola: 220168 markings, 741681 edges, 1095 markings/sec, 200 secs
lola: 225632 markings, 759728 edges, 1093 markings/sec, 205 secs
lola: 231084 markings, 778782 edges, 1090 markings/sec, 210 secs
lola: 236584 markings, 796565 edges, 1100 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: 131380 KB
lola: time consumption: 1118 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__3_35_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_35_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 10
lola: 2126 markings, 7702 edges, 425 markings/sec, 0 secs
lola: 7810 markings, 27933 edges, 1137 markings/sec, 5 secs
lola: 13471 markings, 48359 edges, 1132 markings/sec, 10 secs
lola: 19164 markings, 68372 edges, 1139 markings/sec, 15 secs
lola: 24846 markings, 87688 edges, 1136 markings/sec, 20 secs
lola: 30516 markings, 106899 edges, 1134 markings/sec, 25 secs
lola: 36213 markings, 126878 edges, 1139 markings/sec, 30 secs
lola: 41919 markings, 147238 edges, 1141 markings/sec, 35 secs
lola: 47572 markings, 168737 edges, 1131 markings/sec, 40 secs
lola: 53264 markings, 188493 edges, 1138 markings/sec, 45 secs
lola: 58912 markings, 210095 edges, 1130 markings/sec, 50 secs
lola: 64572 markings, 230782 edges, 1132 markings/sec, 55 secs
lola: 70256 markings, 249865 edges, 1137 markings/sec, 60 secs
lola: 75948 markings, 269187 edges, 1138 markings/sec, 65 secs
lola: 81627 markings, 289863 edges, 1136 markings/sec, 70 secs
lola: 87289 markings, 310475 edges, 1132 markings/sec, 75 secs
lola: 92959 markings, 331043 edges, 1134 markings/sec, 80 secs
lola: 98629 markings, 351914 edges, 1134 markings/sec, 85 secs
lola: 104169 markings, 372344 edges, 1108 markings/sec, 90 secs
lola: 109857 markings, 392310 edges, 1138 markings/sec, 95 secs
lola: 115505 markings, 411278 edges, 1130 markings/sec, 100 secs
lola: 121123 markings, 431396 edges, 1124 markings/sec, 105 secs
lola: 126741 markings, 452009 edges, 1124 markings/sec, 110 secs
lola: 132407 markings, 472847 edges, 1133 markings/sec, 115 secs
lola: 138124 markings, 493844 edges, 1143 markings/sec, 120 secs
lola: 143770 markings, 514913 edges, 1129 markings/sec, 125 secs
lola: 149500 markings, 535168 edges, 1146 markings/sec, 130 secs
lola: 155150 markings, 554265 edges, 1130 markings/sec, 135 secs
lola: 160761 markings, 573953 edges, 1122 markings/sec, 140 secs
lola: 166414 markings, 594188 edges, 1131 markings/sec, 145 secs
lola: 172097 markings, 615384 edges, 1137 markings/sec, 150 secs
lola: 177673 markings, 634909 edges, 1115 markings/sec, 155 secs
lola: 183268 markings, 656455 edges, 1119 markings/sec, 160 secs
lola: 188931 markings, 676719 edges, 1133 markings/sec, 165 secs
lola: 194548 markings, 695902 edges, 1123 markings/sec, 170 secs
lola: 200218 markings, 715207 edges, 1134 markings/sec, 175 secs
lola: 205891 markings, 735359 edges, 1135 markings/sec, 180 secs
lola: 211594 markings, 753905 edges, 1141 markings/sec, 185 secs
lola: 217260 markings, 773333 edges, 1133 markings/sec, 190 secs
lola: 222944 markings, 792333 edges, 1137 markings/sec, 195 secs
lola: 228584 markings, 812567 edges, 1128 markings/sec, 200 secs
lola: 234260 markings, 832086 edges, 1135 markings/sec, 205 secs
lola: 239922 markings, 852127 edges, 1132 markings/sec, 210 secs
lola: 245582 markings, 872351 edges, 1132 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: 123000 KB
lola: time consumption: 1340 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__43_48_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__43_48_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 10
lola: 2002 markings, 7401 edges, 400 markings/sec, 0 secs
lola: 7575 markings, 26669 edges, 1115 markings/sec, 5 secs
lola: 13142 markings, 45476 edges, 1113 markings/sec, 10 secs
lola: 18751 markings, 64391 edges, 1122 markings/sec, 15 secs
lola: 24361 markings, 83366 edges, 1122 markings/sec, 20 secs
lola: 29957 markings, 101780 edges, 1119 markings/sec, 25 secs
lola: 35542 markings, 121779 edges, 1117 markings/sec, 30 secs
lola: 41119 markings, 141637 edges, 1115 markings/sec, 35 secs
lola: 46733 markings, 160971 edges, 1123 markings/sec, 40 secs
lola: 52325 markings, 181378 edges, 1118 markings/sec, 45 secs
lola: 57928 markings, 201577 edges, 1121 markings/sec, 50 secs
lola: 63535 markings, 220620 edges, 1121 markings/sec, 55 secs
lola: 69143 markings, 239462 edges, 1122 markings/sec, 60 secs
lola: 74719 markings, 257986 edges, 1115 markings/sec, 65 secs
lola: 80314 markings, 276714 edges, 1119 markings/sec, 70 secs
lola: 85834 markings, 296977 edges, 1104 markings/sec, 75 secs
lola: 91296 markings, 316852 edges, 1092 markings/sec, 80 secs
lola: 96895 markings, 335351 edges, 1120 markings/sec, 85 secs
lola: 102487 markings, 354436 edges, 1118 markings/sec, 90 secs
lola: 108101 markings, 373294 edges, 1123 markings/sec, 95 secs
lola: 113713 markings, 392267 edges, 1122 markings/sec, 100 secs
lola: 119307 markings, 411393 edges, 1119 markings/sec, 105 secs
lola: 124885 markings, 430477 edges, 1116 markings/sec, 110 secs
lola: 130437 markings, 450102 edges, 1110 markings/sec, 115 secs
lola: 136009 markings, 469977 edges, 1114 markings/sec, 120 secs
lola: 141630 markings, 489042 edges, 1124 markings/sec, 125 secs
lola: 147228 markings, 509001 edges, 1120 markings/sec, 130 secs
lola: 152823 markings, 529174 edges, 1119 markings/sec, 135 secs
lola: 158430 markings, 548097 edges, 1121 markings/sec, 140 secs
lola: 163998 markings, 568479 edges, 1114 markings/sec, 145 secs
lola: 169586 markings, 588045 edges, 1118 markings/sec, 150 secs
lola: 175169 markings, 607374 edges, 1117 markings/sec, 155 secs
lola: 180739 markings, 628056 edges, 1114 markings/sec, 160 secs
lola: 186325 markings, 647428 edges, 1117 markings/sec, 165 secs
lola: 191907 markings, 666014 edges, 1116 markings/sec, 170 secs
lola: 197364 markings, 685494 edges, 1091 markings/sec, 175 secs
lola: 202939 markings, 704686 edges, 1115 markings/sec, 180 secs
lola: 208527 markings, 724082 edges, 1118 markings/sec, 185 secs
lola: 214092 markings, 744378 edges, 1113 markings/sec, 190 secs
lola: 219698 markings, 764057 edges, 1121 markings/sec, 195 secs
lola: 225292 markings, 783661 edges, 1119 markings/sec, 200 secs
lola: 230902 markings, 802888 edges, 1122 markings/sec, 205 secs
lola: 236415 markings, 822872 edges, 1103 markings/sec, 210 secs
lola: 241948 markings, 841117 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: 135380 KB
lola: time consumption: 1563 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__46_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__46_15_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 10
lola: 1964 markings, 7278 edges, 393 markings/sec, 0 secs
lola: 7447 markings, 26872 edges, 1097 markings/sec, 5 secs
lola: 12969 markings, 46812 edges, 1104 markings/sec, 10 secs
lola: 18524 markings, 66513 edges, 1111 markings/sec, 15 secs
lola: 24085 markings, 86916 edges, 1112 markings/sec, 20 secs
lola: 29696 markings, 104544 edges, 1122 markings/sec, 25 secs
lola: 35228 markings, 123206 edges, 1106 markings/sec, 30 secs
lola: 40610 markings, 142030 edges, 1076 markings/sec, 35 secs
lola: 45970 markings, 162039 edges, 1072 markings/sec, 40 secs
lola: 51603 markings, 182157 edges, 1127 markings/sec, 45 secs
lola: 57293 markings, 202326 edges, 1138 markings/sec, 50 secs
lola: 62948 markings, 223872 edges, 1131 markings/sec, 55 secs
lola: 68669 markings, 244219 edges, 1144 markings/sec, 60 secs
lola: 74310 markings, 262527 edges, 1128 markings/sec, 65 secs
lola: 79811 markings, 281011 edges, 1100 markings/sec, 70 secs
lola: 85288 markings, 300646 edges, 1095 markings/sec, 75 secs
lola: 90829 markings, 319621 edges, 1108 markings/sec, 80 secs
lola: 96500 markings, 338127 edges, 1134 markings/sec, 85 secs
lola: 102125 markings, 357787 edges, 1125 markings/sec, 90 secs
lola: 107729 markings, 378054 edges, 1121 markings/sec, 95 secs
lola: 113359 markings, 398329 edges, 1126 markings/sec, 100 secs
lola: 119003 markings, 417168 edges, 1129 markings/sec, 105 secs
lola: 124668 markings, 435140 edges, 1133 markings/sec, 110 secs
lola: 130342 markings, 452903 edges, 1135 markings/sec, 115 secs
lola: 135994 markings, 471579 edges, 1130 markings/sec, 120 secs
lola: 141635 markings, 490336 edges, 1128 markings/sec, 125 secs
lola: 147329 markings, 507633 edges, 1139 markings/sec, 130 secs
lola: 152985 markings, 526954 edges, 1131 markings/sec, 135 secs
lola: 158592 markings, 545931 edges, 1121 markings/sec, 140 secs
lola: 164239 markings, 564840 edges, 1129 markings/sec, 145 secs
lola: 169870 markings, 584338 edges, 1126 markings/sec, 150 secs
lola: 175491 markings, 604648 edges, 1124 markings/sec, 155 secs
lola: 181099 markings, 624832 edges, 1122 markings/sec, 160 secs
lola: 186666 markings, 645170 edges, 1113 markings/sec, 165 secs
lola: 192270 markings, 665663 edges, 1121 markings/sec, 170 secs
lola: 197864 markings, 686567 edges, 1119 markings/sec, 175 secs
lola: 203527 markings, 704159 edges, 1133 markings/sec, 180 secs
lola: 209200 markings, 722837 edges, 1135 markings/sec, 185 secs
lola: 214863 markings, 742173 edges, 1133 markings/sec, 190 secs
lola: 220498 markings, 761485 edges, 1127 markings/sec, 195 secs
lola: 226164 markings, 779250 edges, 1133 markings/sec, 200 secs
lola: 231867 markings, 796971 edges, 1141 markings/sec, 205 secs
lola: 237531 markings, 816274 edges, 1133 markings/sec, 210 secs
lola: 243173 markings, 836781 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: 140960 KB
lola: time consumption: 1786 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__19_29_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__19_29_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 10
lola: 2014 markings, 7106 edges, 403 markings/sec, 0 secs
lola: 7476 markings, 24915 edges, 1092 markings/sec, 5 secs
lola: 12906 markings, 44272 edges, 1086 markings/sec, 10 secs
lola: 18354 markings, 62806 edges, 1090 markings/sec, 15 secs
lola: 23800 markings, 81581 edges, 1089 markings/sec, 20 secs
lola: 29251 markings, 99367 edges, 1090 markings/sec, 25 secs
lola: 34703 markings, 118263 edges, 1090 markings/sec, 30 secs
lola: 40170 markings, 136334 edges, 1093 markings/sec, 35 secs
lola: 45652 markings, 153619 edges, 1096 markings/sec, 40 secs
lola: 51142 markings, 169585 edges, 1098 markings/sec, 45 secs
lola: 56633 markings, 186384 edges, 1098 markings/sec, 50 secs
lola: 62116 markings, 203696 edges, 1097 markings/sec, 55 secs
lola: 67592 markings, 221561 edges, 1095 markings/sec, 60 secs
lola: 73067 markings, 239317 edges, 1095 markings/sec, 65 secs
lola: 78503 markings, 258169 edges, 1087 markings/sec, 70 secs
lola: 83990 markings, 275738 edges, 1097 markings/sec, 75 secs
lola: 89458 markings, 293546 edges, 1094 markings/sec, 80 secs
lola: 94872 markings, 310617 edges, 1083 markings/sec, 85 secs
lola: 100310 markings, 329450 edges, 1088 markings/sec, 90 secs
lola: 105776 markings, 347114 edges, 1093 markings/sec, 95 secs
lola: 111233 markings, 365272 edges, 1091 markings/sec, 100 secs
lola: 116676 markings, 383893 edges, 1089 markings/sec, 105 secs
lola: 122165 markings, 400205 edges, 1098 markings/sec, 110 secs
lola: 127636 markings, 416311 edges, 1094 markings/sec, 115 secs
lola: 133089 markings, 432800 edges, 1091 markings/sec, 120 secs
lola: 138457 markings, 450424 edges, 1074 markings/sec, 125 secs
lola: 143811 markings, 468728 edges, 1071 markings/sec, 130 secs
lola: 149198 markings, 485683 edges, 1077 markings/sec, 135 secs
lola: 154556 markings, 504230 edges, 1072 markings/sec, 140 secs
lola: 159942 markings, 521018 edges, 1077 markings/sec, 145 secs
lola: 165294 markings, 539631 edges, 1070 markings/sec, 150 secs
lola: 170748 markings, 557041 edges, 1091 markings/sec, 155 secs
lola: 176166 markings, 576366 edges, 1084 markings/sec, 160 secs
lola: 181573 markings, 595573 edges, 1081 markings/sec, 165 secs
lola: 186992 markings, 614527 edges, 1084 markings/sec, 170 secs
lola: 192445 markings, 631975 edges, 1091 markings/sec, 175 secs
lola: 197907 markings, 649259 edges, 1092 markings/sec, 180 secs
lola: 203306 markings, 668754 edges, 1080 markings/sec, 185 secs
lola: 208763 markings, 686163 edges, 1091 markings/sec, 190 secs
lola: 214191 markings, 705270 edges, 1086 markings/sec, 195 secs
lola: 219639 markings, 723440 edges, 1090 markings/sec, 200 secs
lola: 225069 markings, 742512 edges, 1086 markings/sec, 205 secs
lola: 230543 markings, 759665 edges, 1095 markings/sec, 210 secs
lola: 236004 markings, 776926 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: 134304 KB
lola: time consumption: 2009 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__37_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__37_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 10
lola: 2046 markings, 6881 edges, 409 markings/sec, 0 secs
lola: 7541 markings, 26231 edges, 1099 markings/sec, 5 secs
lola: 12982 markings, 45639 edges, 1088 markings/sec, 10 secs
lola: 18477 markings, 64174 edges, 1099 markings/sec, 15 secs
lola: 23966 markings, 83673 edges, 1098 markings/sec, 20 secs
lola: 29457 markings, 102980 edges, 1098 markings/sec, 25 secs
lola: 34931 markings, 122423 edges, 1095 markings/sec, 30 secs
lola: 40399 markings, 141993 edges, 1094 markings/sec, 35 secs
lola: 45903 markings, 160138 edges, 1101 markings/sec, 40 secs
lola: 51396 markings, 177893 edges, 1099 markings/sec, 45 secs
lola: 56894 markings, 196182 edges, 1100 markings/sec, 50 secs
lola: 62388 markings, 214490 edges, 1099 markings/sec, 55 secs
lola: 67890 markings, 232889 edges, 1100 markings/sec, 60 secs
lola: 73394 markings, 251004 edges, 1101 markings/sec, 65 secs
lola: 78892 markings, 269358 edges, 1100 markings/sec, 70 secs
lola: 84376 markings, 288514 edges, 1097 markings/sec, 75 secs
lola: 89829 markings, 308352 edges, 1091 markings/sec, 80 secs
lola: 95300 markings, 328056 edges, 1094 markings/sec, 85 secs
lola: 100792 markings, 346896 edges, 1098 markings/sec, 90 secs
lola: 106242 markings, 367804 edges, 1090 markings/sec, 95 secs
lola: 111717 markings, 387021 edges, 1095 markings/sec, 100 secs
lola: 117193 markings, 405485 edges, 1095 markings/sec, 105 secs
lola: 122672 markings, 424614 edges, 1096 markings/sec, 110 secs
lola: 128157 markings, 443321 edges, 1097 markings/sec, 115 secs
lola: 133658 markings, 461690 edges, 1100 markings/sec, 120 secs
lola: 139158 markings, 480386 edges, 1100 markings/sec, 125 secs
lola: 144657 markings, 498766 edges, 1100 markings/sec, 130 secs
lola: 150161 markings, 516913 edges, 1101 markings/sec, 135 secs
lola: 155658 markings, 535257 edges, 1099 markings/sec, 140 secs
lola: 161149 markings, 553720 edges, 1098 markings/sec, 145 secs
lola: 166635 markings, 572464 edges, 1097 markings/sec, 150 secs
lola: 172115 markings, 591127 edges, 1096 markings/sec, 155 secs
lola: 177562 markings, 610843 edges, 1089 markings/sec, 160 secs
lola: 183018 markings, 629750 edges, 1091 markings/sec, 165 secs
lola: 188515 markings, 647923 edges, 1099 markings/sec, 170 secs
lola: 194027 markings, 665896 edges, 1102 markings/sec, 175 secs
lola: 199516 markings, 685029 edges, 1098 markings/sec, 180 secs
lola: 205013 markings, 703067 edges, 1099 markings/sec, 185 secs
lola: 210541 markings, 720985 edges, 1106 markings/sec, 190 secs
lola: 216060 markings, 739619 edges, 1104 markings/sec, 195 secs
lola: 221569 markings, 758059 edges, 1102 markings/sec, 200 secs
lola: 227069 markings, 776640 edges, 1100 markings/sec, 205 secs
lola: 232563 markings, 795671 edges, 1099 markings/sec, 210 secs
lola: 238073 markings, 813851 edges, 1102 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: 144544 KB
lola: time consumption: 2232 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_43_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_43_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 10
lola: 2090 markings, 7129 edges, 418 markings/sec, 0 secs
lola: 7576 markings, 26984 edges, 1097 markings/sec, 5 secs
lola: 13151 markings, 47463 edges, 1115 markings/sec, 10 secs
lola: 18705 markings, 68324 edges, 1111 markings/sec, 15 secs
lola: 24247 markings, 88780 edges, 1108 markings/sec, 20 secs
lola: 29824 markings, 108550 edges, 1115 markings/sec, 25 secs
lola: 35401 markings, 128067 edges, 1115 markings/sec, 30 secs
lola: 40945 markings, 146377 edges, 1109 markings/sec, 35 secs
lola: 46533 markings, 165467 edges, 1118 markings/sec, 40 secs
lola: 52133 markings, 184948 edges, 1120 markings/sec, 45 secs
lola: 57683 markings, 205660 edges, 1110 markings/sec, 50 secs
lola: 63228 markings, 226463 edges, 1109 markings/sec, 55 secs
lola: 68781 markings, 246611 edges, 1111 markings/sec, 60 secs
lola: 74350 markings, 266578 edges, 1114 markings/sec, 65 secs
lola: 79910 markings, 287265 edges, 1112 markings/sec, 70 secs
lola: 85410 markings, 307273 edges, 1100 markings/sec, 75 secs
lola: 90967 markings, 327718 edges, 1111 markings/sec, 80 secs
lola: 96512 markings, 348521 edges, 1109 markings/sec, 85 secs
lola: 102090 markings, 366914 edges, 1116 markings/sec, 90 secs
lola: 107655 markings, 385826 edges, 1113 markings/sec, 95 secs
lola: 113177 markings, 406033 edges, 1104 markings/sec, 100 secs
lola: 118759 markings, 425239 edges, 1116 markings/sec, 105 secs
lola: 124286 markings, 445565 edges, 1105 markings/sec, 110 secs
lola: 129835 markings, 466259 edges, 1110 markings/sec, 115 secs
lola: 135421 markings, 485987 edges, 1117 markings/sec, 120 secs
lola: 140986 markings, 505903 edges, 1113 markings/sec, 125 secs
lola: 146559 markings, 526261 edges, 1115 markings/sec, 130 secs
lola: 152099 markings, 546649 edges, 1108 markings/sec, 135 secs
lola: 157666 markings, 567642 edges, 1113 markings/sec, 140 secs
lola: 163233 markings, 588532 edges, 1113 markings/sec, 145 secs
lola: 168788 markings, 608113 edges, 1111 markings/sec, 150 secs
lola: 174374 markings, 626716 edges, 1117 markings/sec, 155 secs
lola: 179915 markings, 647151 edges, 1108 markings/sec, 160 secs
lola: 185459 markings, 667992 edges, 1109 markings/sec, 165 secs
lola: 191004 markings, 688849 edges, 1109 markings/sec, 170 secs
lola: 196609 markings, 708189 edges, 1121 markings/sec, 175 secs
lola: 202186 markings, 728288 edges, 1115 markings/sec, 180 secs
lola: 207756 markings, 748928 edges, 1114 markings/sec, 185 secs
lola: 213296 markings, 768110 edges, 1108 markings/sec, 190 secs
lola: 218833 markings, 788541 edges, 1107 markings/sec, 195 secs
lola: 224362 markings, 809630 edges, 1106 markings/sec, 200 secs
lola: 229919 markings, 829433 edges, 1111 markings/sec, 205 secs
lola: 235520 markings, 848341 edges, 1120 markings/sec, 210 secs
lola: 241077 markings, 868871 edges, 1111 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: 141300 KB
lola: time consumption: 2455 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__32_22_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__32_22_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 10
lola: 2031 markings, 7202 edges, 406 markings/sec, 0 secs
lola: 7525 markings, 26393 edges, 1099 markings/sec, 5 secs
lola: 13006 markings, 45198 edges, 1096 markings/sec, 10 secs
lola: 18489 markings, 64290 edges, 1097 markings/sec, 15 secs
lola: 23960 markings, 84277 edges, 1094 markings/sec, 20 secs
lola: 29443 markings, 103257 edges, 1097 markings/sec, 25 secs
lola: 34890 markings, 123074 edges, 1089 markings/sec, 30 secs
lola: 40297 markings, 141669 edges, 1081 markings/sec, 35 secs
lola: 45729 markings, 159252 edges, 1086 markings/sec, 40 secs
lola: 51143 markings, 177419 edges, 1083 markings/sec, 45 secs
lola: 56540 markings, 196093 edges, 1079 markings/sec, 50 secs
lola: 61910 markings, 215904 edges, 1074 markings/sec, 55 secs
lola: 67315 markings, 234240 edges, 1081 markings/sec, 60 secs
lola: 72717 markings, 253141 edges, 1080 markings/sec, 65 secs
lola: 78135 markings, 271755 edges, 1084 markings/sec, 70 secs
lola: 83562 markings, 290203 edges, 1085 markings/sec, 75 secs
lola: 88990 markings, 308567 edges, 1086 markings/sec, 80 secs
lola: 94417 markings, 326921 edges, 1085 markings/sec, 85 secs
lola: 99840 markings, 345270 edges, 1085 markings/sec, 90 secs
lola: 105266 markings, 363522 edges, 1085 markings/sec, 95 secs
lola: 110616 markings, 384434 edges, 1070 markings/sec, 100 secs
lola: 116009 markings, 404167 edges, 1079 markings/sec, 105 secs
lola: 121427 markings, 422509 edges, 1084 markings/sec, 110 secs
lola: 126825 markings, 441745 edges, 1080 markings/sec, 115 secs
lola: 132204 markings, 461497 edges, 1076 markings/sec, 120 secs
lola: 137601 markings, 481178 edges, 1079 markings/sec, 125 secs
lola: 143091 markings, 499169 edges, 1098 markings/sec, 130 secs
lola: 148562 markings, 518512 edges, 1094 markings/sec, 135 secs
lola: 154036 markings, 537840 edges, 1095 markings/sec, 140 secs
lola: 159484 markings, 557885 edges, 1090 markings/sec, 145 secs
lola: 164897 markings, 579070 edges, 1083 markings/sec, 150 secs
lola: 170402 markings, 597017 edges, 1101 markings/sec, 155 secs
lola: 175898 markings, 615123 edges, 1099 markings/sec, 160 secs
lola: 181372 markings, 632875 edges, 1095 markings/sec, 165 secs
lola: 186853 markings, 651178 edges, 1096 markings/sec, 170 secs
lola: 192331 markings, 669712 edges, 1096 markings/sec, 175 secs
lola: 197795 markings, 688912 edges, 1093 markings/sec, 180 secs
lola: 203216 markings, 709761 edges, 1084 markings/sec, 185 secs
lola: 208719 markings, 727866 edges, 1101 markings/sec, 190 secs
lola: 214131 markings, 747144 edges, 1082 markings/sec, 195 secs
lola: 219576 markings, 766550 edges, 1089 markings/sec, 200 secs
lola: 225054 markings, 784978 edges, 1096 markings/sec, 205 secs
lola: 230546 markings, 803896 edges, 1098 markings/sec, 210 secs
lola: 236010 markings, 823549 edges, 1093 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: 143864 KB
lola: time consumption: 2678 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__48_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__48_1_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 10
lola: 2072 markings, 7576 edges, 414 markings/sec, 0 secs
lola: 7662 markings, 26230 edges, 1118 markings/sec, 5 secs
lola: 13245 markings, 44984 edges, 1117 markings/sec, 10 secs
lola: 18855 markings, 62735 edges, 1122 markings/sec, 15 secs
lola: 24437 markings, 81150 edges, 1116 markings/sec, 20 secs
lola: 30024 markings, 99632 edges, 1117 markings/sec, 25 secs
lola: 35606 markings, 118052 edges, 1116 markings/sec, 30 secs
lola: 41186 markings, 136175 edges, 1116 markings/sec, 35 secs
lola: 46792 markings, 154528 edges, 1121 markings/sec, 40 secs
lola: 52385 markings, 173287 edges, 1119 markings/sec, 45 secs
lola: 57973 markings, 191439 edges, 1118 markings/sec, 50 secs
lola: 63556 markings, 209495 edges, 1117 markings/sec, 55 secs
lola: 69138 markings, 228385 edges, 1116 markings/sec, 60 secs
lola: 74733 markings, 246495 edges, 1119 markings/sec, 65 secs
lola: 80344 markings, 264405 edges, 1122 markings/sec, 70 secs
lola: 85939 markings, 282267 edges, 1119 markings/sec, 75 secs
lola: 91418 markings, 299089 edges, 1096 markings/sec, 80 secs
lola: 97025 markings, 317456 edges, 1121 markings/sec, 85 secs
lola: 102631 markings, 336060 edges, 1121 markings/sec, 90 secs
lola: 108206 markings, 355032 edges, 1115 markings/sec, 95 secs
lola: 113809 markings, 372523 edges, 1121 markings/sec, 100 secs
lola: 119400 markings, 389943 edges, 1118 markings/sec, 105 secs
lola: 124994 markings, 407608 edges, 1119 markings/sec, 110 secs
lola: 130585 markings, 425772 edges, 1118 markings/sec, 115 secs
lola: 136188 markings, 443492 edges, 1121 markings/sec, 120 secs
lola: 141777 markings, 460729 edges, 1118 markings/sec, 125 secs
lola: 147350 markings, 478848 edges, 1115 markings/sec, 130 secs
lola: 152926 markings, 496789 edges, 1115 markings/sec, 135 secs
lola: 158504 markings, 514940 edges, 1116 markings/sec, 140 secs
lola: 164091 markings, 532772 edges, 1117 markings/sec, 145 secs
lola: 169667 markings, 550876 edges, 1115 markings/sec, 150 secs
lola: 175267 markings, 568900 edges, 1120 markings/sec, 155 secs
lola: 180860 markings, 586298 edges, 1119 markings/sec, 160 secs
lola: 186454 markings, 603899 edges, 1119 markings/sec, 165 secs
lola: 192053 markings, 621765 edges, 1120 markings/sec, 170 secs
lola: 197644 markings, 639996 edges, 1118 markings/sec, 175 secs
lola: 203260 markings, 658049 edges, 1123 markings/sec, 180 secs
lola: 208880 markings, 675728 edges, 1124 markings/sec, 185 secs
lola: 214483 markings, 694067 edges, 1121 markings/sec, 190 secs
lola: 220097 markings, 711507 edges, 1123 markings/sec, 195 secs
lola: 225680 markings, 729062 edges, 1117 markings/sec, 200 secs
lola: 231158 markings, 746278 edges, 1096 markings/sec, 205 secs
lola: 236728 markings, 764291 edges, 1114 markings/sec, 210 secs
lola: 242330 markings, 782219 edges, 1120 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: 135056 KB
lola: time consumption: 2901 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__44_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__44_18_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 10
lola: 2129 markings, 7116 edges, 426 markings/sec, 0 secs
lola: 7770 markings, 27191 edges, 1128 markings/sec, 5 secs
lola: 13367 markings, 46940 edges, 1119 markings/sec, 10 secs
lola: 18991 markings, 66631 edges, 1125 markings/sec, 15 secs
lola: 24610 markings, 86569 edges, 1124 markings/sec, 20 secs
lola: 30166 markings, 106020 edges, 1111 markings/sec, 25 secs
lola: 35744 markings, 125219 edges, 1116 markings/sec, 30 secs
lola: 41193 markings, 144768 edges, 1090 markings/sec, 35 secs
lola: 46675 markings, 164971 edges, 1096 markings/sec, 40 secs
lola: 52295 markings, 185342 edges, 1124 markings/sec, 45 secs
lola: 57895 markings, 205296 edges, 1120 markings/sec, 50 secs
lola: 63489 markings, 226034 edges, 1119 markings/sec, 55 secs
lola: 69082 markings, 246402 edges, 1119 markings/sec, 60 secs
lola: 74619 markings, 267646 edges, 1107 markings/sec, 65 secs
lola: 80213 markings, 288498 edges, 1119 markings/sec, 70 secs
lola: 85737 markings, 307506 edges, 1105 markings/sec, 75 secs
lola: 91162 markings, 327959 edges, 1085 markings/sec, 80 secs
lola: 96752 markings, 349016 edges, 1118 markings/sec, 85 secs
lola: 102418 markings, 369752 edges, 1133 markings/sec, 90 secs
lola: 108030 markings, 390939 edges, 1122 markings/sec, 95 secs
lola: 113721 markings, 411674 edges, 1138 markings/sec, 100 secs
lola: 119118 markings, 431176 edges, 1079 markings/sec, 105 secs
lola: 124280 markings, 449004 edges, 1032 markings/sec, 110 secs
lola: 129338 markings, 467837 edges, 1012 markings/sec, 115 secs
lola: 134951 markings, 488459 edges, 1123 markings/sec, 120 secs
lola: 140552 markings, 509616 edges, 1120 markings/sec, 125 secs
lola: 146174 markings, 528957 edges, 1124 markings/sec, 130 secs
lola: 151739 markings, 550330 edges, 1113 markings/sec, 135 secs
lola: 157344 markings, 570321 edges, 1121 markings/sec, 140 secs
lola: 162951 markings, 590899 edges, 1121 markings/sec, 145 secs
lola: 168562 markings, 611765 edges, 1122 markings/sec, 150 secs
lola: 174175 markings, 632550 edges, 1123 markings/sec, 155 secs
lola: 179816 markings, 651991 edges, 1128 markings/sec, 160 secs
lola: 185437 markings, 672617 edges, 1124 markings/sec, 165 secs
lola: 190999 markings, 692751 edges, 1112 markings/sec, 170 secs
lola: 196589 markings, 713329 edges, 1118 markings/sec, 175 secs
lola: 202201 markings, 733023 edges, 1122 markings/sec, 180 secs
lola: 207799 markings, 753733 edges, 1120 markings/sec, 185 secs
lola: 213373 markings, 774702 edges, 1115 markings/sec, 190 secs
lola: 218982 markings, 795235 edges, 1122 markings/sec, 195 secs
lola: 224587 markings, 815514 edges, 1121 markings/sec, 200 secs
lola: 230199 markings, 835912 edges, 1122 markings/sec, 205 secs
lola: 235809 markings, 857087 edges, 1122 markings/sec, 210 secs
lola: 241465 markings, 876832 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: 133356 KB
lola: time consumption: 3124 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__37_35_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__37_35_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 10
lola: 2095 markings, 7023 edges, 419 markings/sec, 0 secs
lola: 7684 markings, 26673 edges, 1118 markings/sec, 5 secs
lola: 13256 markings, 45362 edges, 1114 markings/sec, 10 secs
lola: 18839 markings, 65332 edges, 1117 markings/sec, 15 secs
lola: 24430 markings, 85035 edges, 1118 markings/sec, 20 secs
lola: 30015 markings, 104853 edges, 1117 markings/sec, 25 secs
lola: 35606 markings, 125088 edges, 1118 markings/sec, 30 secs
lola: 41208 markings, 144598 edges, 1120 markings/sec, 35 secs
lola: 46816 markings, 163370 edges, 1122 markings/sec, 40 secs
lola: 52422 markings, 182053 edges, 1121 markings/sec, 45 secs
lola: 58017 markings, 200862 edges, 1119 markings/sec, 50 secs
lola: 63577 markings, 221579 edges, 1112 markings/sec, 55 secs
lola: 69156 markings, 241410 edges, 1116 markings/sec, 60 secs
lola: 74764 markings, 260509 edges, 1122 markings/sec, 65 secs
lola: 80355 markings, 280291 edges, 1118 markings/sec, 70 secs
lola: 85937 markings, 300352 edges, 1116 markings/sec, 75 secs
lola: 91483 markings, 320889 edges, 1109 markings/sec, 80 secs
lola: 97085 markings, 339561 edges, 1120 markings/sec, 85 secs
lola: 102706 markings, 358252 edges, 1124 markings/sec, 90 secs
lola: 108321 markings, 376818 edges, 1123 markings/sec, 95 secs
lola: 113923 markings, 395192 edges, 1120 markings/sec, 100 secs
lola: 119534 markings, 413004 edges, 1122 markings/sec, 105 secs
lola: 125150 markings, 430861 edges, 1123 markings/sec, 110 secs
lola: 130732 markings, 450336 edges, 1116 markings/sec, 115 secs
lola: 136310 markings, 469033 edges, 1116 markings/sec, 120 secs
lola: 141903 markings, 487902 edges, 1119 markings/sec, 125 secs
lola: 147477 markings, 507922 edges, 1115 markings/sec, 130 secs
lola: 153063 markings, 527123 edges, 1117 markings/sec, 135 secs
lola: 158643 markings, 546325 edges, 1116 markings/sec, 140 secs
lola: 164212 markings, 566525 edges, 1114 markings/sec, 145 secs
lola: 169773 markings, 585869 edges, 1112 markings/sec, 150 secs
lola: 175345 markings, 605029 edges, 1114 markings/sec, 155 secs
lola: 180908 markings, 624773 edges, 1113 markings/sec, 160 secs
lola: 186480 markings, 644134 edges, 1114 markings/sec, 165 secs
lola: 192014 markings, 664557 edges, 1107 markings/sec, 170 secs
lola: 197602 markings, 683226 edges, 1118 markings/sec, 175 secs
lola: 203169 markings, 702613 edges, 1113 markings/sec, 180 secs
lola: 208739 markings, 721800 edges, 1114 markings/sec, 185 secs
lola: 214328 markings, 740078 edges, 1118 markings/sec, 190 secs
lola: 219948 markings, 758238 edges, 1124 markings/sec, 195 secs
lola: 225571 markings, 775700 edges, 1125 markings/sec, 200 secs
lola: 231119 markings, 794452 edges, 1110 markings/sec, 205 secs
lola: 236143 markings, 811762 edges, 1005 markings/sec, 210 secs
lola: 241134 markings, 830326 edges, 998 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: 128180 KB
lola: time consumption: 3347 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__45_34_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__45_34_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 10
lola: 1776 markings, 5883 edges, 355 markings/sec, 0 secs
lola: 7248 markings, 25781 edges, 1094 markings/sec, 5 secs
lola: 12641 markings, 44672 edges, 1079 markings/sec, 10 secs
lola: 18054 markings, 64196 edges, 1083 markings/sec, 15 secs
lola: 23335 markings, 83046 edges, 1056 markings/sec, 20 secs
lola: 28519 markings, 100209 edges, 1037 markings/sec, 25 secs
lola: 33826 markings, 116517 edges, 1061 markings/sec, 30 secs
lola: 39528 markings, 133826 edges, 1140 markings/sec, 35 secs
lola: 45304 markings, 151811 edges, 1155 markings/sec, 40 secs
lola: 51025 markings, 172073 edges, 1144 markings/sec, 45 secs
lola: 56745 markings, 192866 edges, 1144 markings/sec, 50 secs
lola: 62445 markings, 214114 edges, 1140 markings/sec, 55 secs
lola: 68161 markings, 234735 edges, 1143 markings/sec, 60 secs
lola: 73892 markings, 253696 edges, 1146 markings/sec, 65 secs
lola: 79644 markings, 272083 edges, 1150 markings/sec, 70 secs
lola: 85390 markings, 291472 edges, 1149 markings/sec, 75 secs
lola: 91110 markings, 311821 edges, 1144 markings/sec, 80 secs
lola: 96841 markings, 331245 edges, 1146 markings/sec, 85 secs
lola: 102574 markings, 350806 edges, 1147 markings/sec, 90 secs
lola: 108303 markings, 370383 edges, 1146 markings/sec, 95 secs
lola: 114099 markings, 388300 edges, 1159 markings/sec, 100 secs
lola: 119829 markings, 407993 edges, 1146 markings/sec, 105 secs
lola: 125614 markings, 425851 edges, 1157 markings/sec, 110 secs
lola: 131332 markings, 446152 edges, 1144 markings/sec, 115 secs
lola: 137049 markings, 466802 edges, 1143 markings/sec, 120 secs
lola: 142832 markings, 484766 edges, 1157 markings/sec, 125 secs
lola: 148626 markings, 502576 edges, 1159 markings/sec, 130 secs
lola: 154375 markings, 521755 edges, 1150 markings/sec, 135 secs
lola: 160101 markings, 542069 edges, 1145 markings/sec, 140 secs
lola: 165793 markings, 563744 edges, 1138 markings/sec, 145 secs
lola: 171510 markings, 584253 edges, 1143 markings/sec, 150 secs
lola: 177240 markings, 603850 edges, 1146 markings/sec, 155 secs
lola: 182911 markings, 622553 edges, 1134 markings/sec, 160 secs
lola: 188513 markings, 640818 edges, 1120 markings/sec, 165 secs
lola: 194081 markings, 661086 edges, 1114 markings/sec, 170 secs
lola: 199747 markings, 681057 edges, 1133 markings/sec, 175 secs
lola: 205525 markings, 699462 edges, 1156 markings/sec, 180 secs
lola: 211269 markings, 719433 edges, 1149 markings/sec, 185 secs
lola: 217039 markings, 737923 edges, 1154 markings/sec, 190 secs
lola: 222797 markings, 756832 edges, 1152 markings/sec, 195 secs
lola: 228574 markings, 774888 edges, 1155 markings/sec, 200 secs
lola: 234396 markings, 791085 edges, 1164 markings/sec, 205 secs
lola: 240194 markings, 807115 edges, 1160 markings/sec, 210 secs
lola: 245985 markings, 824474 edges, 1158 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: 131172 KB
lola: time consumption: 3570 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: 131172 KB
lola: time consumption: 3570 seconds

BK_STOP 1526709271399

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