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)
...............
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is PhaseVariation-PT-D20CS100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869600128
=====================================================================

--------------------
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 PhaseVariation-PT-D20CS100-UpperBounds-0
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-1
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-10
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-11
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-12
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-13
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-14
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-15
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-2
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-3
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-4
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-5
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-6
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-7
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-8
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494531877825


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PhaseVariation-PT-D20CS100 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 14659/65536 symbol table entries, 2626 collisions
lola: preprocessing...
lola: finding significant places
lola: 1202 places, 13457 transitions, 801 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2 transition conflict sets
lola: TASK
lola: reading formula from PhaseVariation-PT-D20CS100-UpperBounds.task
lola: MAX(cell___18_7__B_) : MAX(cell___8_14__B_) : MAX(cell___3_10__B_) : MAX(pool__19_7_) : MAX(cell___1_11__B_) : MAX(cell___9_7__A_) : MAX(pool__2_11_) : MAX(pool__15_10_) : MAX(cell___19_16__A_) : MAX(cell___1_11__A_) : MAX(pool__11_17_) : MAX(cell___4_3__A_) : MAX(pool__6_14_) : MAX(cell___18_11__A_) : MAX(cell___5_3__B_) : MAX(cell___19_2__B_)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___18_7__B_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
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: 2698 markings, 18740 edges, 540 markings/sec, 0 secs
lola: 8829 markings, 87375 edges, 1226 markings/sec, 5 secs
lola: 15026 markings, 153842 edges, 1239 markings/sec, 10 secs
lola: 20918 markings, 230992 edges, 1178 markings/sec, 15 secs
lola: 26539 markings, 317819 edges, 1124 markings/sec, 20 secs
lola: 32696 markings, 385982 edges, 1231 markings/sec, 25 secs
lola: 38572 markings, 463764 edges, 1175 markings/sec, 30 secs
lola: 44193 markings, 550647 edges, 1124 markings/sec, 35 secs
lola: 50352 markings, 618070 edges, 1232 markings/sec, 40 secs
lola: 56213 markings, 696096 edges, 1172 markings/sec, 45 secs
lola: 61815 markings, 782990 edges, 1120 markings/sec, 50 secs
lola: 67538 markings, 865539 edges, 1145 markings/sec, 55 secs
lola: 72974 markings, 958085 edges, 1087 markings/sec, 60 secs
lola: 78213 markings, 1057853 edges, 1048 markings/sec, 65 secs
lola: 84092 markings, 1135654 edges, 1176 markings/sec, 70 secs
lola: 90028 markings, 1211177 edges, 1187 markings/sec, 75 secs
lola: 96052 markings, 1283034 edges, 1205 markings/sec, 80 secs
lola: 102028 markings, 1356905 edges, 1195 markings/sec, 85 secs
lola: 107768 markings, 1439924 edges, 1148 markings/sec, 90 secs
lola: 113543 markings, 1521251 edges, 1155 markings/sec, 95 secs
lola: 119324 markings, 1601670 edges, 1156 markings/sec, 100 secs
lola: 124900 markings, 1689021 edges, 1115 markings/sec, 105 secs
lola: 130262 markings, 1784392 edges, 1072 markings/sec, 110 secs
lola: 135984 markings, 1867263 edges, 1144 markings/sec, 115 secs
lola: 141922 markings, 1942685 edges, 1188 markings/sec, 120 secs
lola: 147540 markings, 2029107 edges, 1124 markings/sec, 125 secs
lola: 153300 markings, 2110482 edges, 1152 markings/sec, 130 secs
lola: 159208 markings, 2186043 edges, 1182 markings/sec, 135 secs
lola: 164828 markings, 2271521 edges, 1124 markings/sec, 140 secs
lola: 170481 markings, 2356653 edges, 1131 markings/sec, 145 secs
lola: 176259 markings, 2436997 edges, 1156 markings/sec, 150 secs
lola: 181792 markings, 2526377 edges, 1107 markings/sec, 155 secs
lola: 187308 markings, 2616652 edges, 1103 markings/sec, 160 secs
lola: 193016 markings, 2699609 edges, 1142 markings/sec, 165 secs
lola: 198435 markings, 2792975 edges, 1084 markings/sec, 170 secs
lola: 203845 markings, 2886132 edges, 1082 markings/sec, 175 secs
lola: 209600 markings, 2966750 edges, 1151 markings/sec, 180 secs
lola: 215044 markings, 3058967 edges, 1089 markings/sec, 185 secs
lola: 220283 markings, 3157768 edges, 1048 markings/sec, 190 secs
lola: 225628 markings, 3252748 edges, 1069 markings/sec, 195 secs
lola: 230764 markings, 3355331 edges, 1027 markings/sec, 200 secs
lola: 235700 markings, 3464726 edges, 987 markings/sec, 205 secs
lola: 241542 markings, 3543111 edges, 1168 markings/sec, 210 secs
lola: 247624 markings, 3613045 edges, 1216 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___8_14__B_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
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: 2804 markings, 19225 edges, 561 markings/sec, 0 secs
lola: 8911 markings, 87642 edges, 1221 markings/sec, 5 secs
lola: 15077 markings, 153701 edges, 1233 markings/sec, 10 secs
lola: 20942 markings, 230520 edges, 1173 markings/sec, 15 secs
lola: 26534 markings, 316657 edges, 1118 markings/sec, 20 secs
lola: 32651 markings, 384625 edges, 1223 markings/sec, 25 secs
lola: 38510 markings, 461407 edges, 1172 markings/sec, 30 secs
lola: 44096 markings, 547609 edges, 1117 markings/sec, 35 secs
lola: 50202 markings, 615404 edges, 1221 markings/sec, 40 secs
lola: 56051 markings, 691996 edges, 1170 markings/sec, 45 secs
lola: 61634 markings, 778211 edges, 1117 markings/sec, 50 secs
lola: 67297 markings, 861252 edges, 1133 markings/sec, 55 secs
lola: 72724 markings, 952475 edges, 1085 markings/sec, 60 secs
lola: 77948 markings, 1050915 edges, 1045 markings/sec, 65 secs
lola: 83706 markings, 1131085 edges, 1152 markings/sec, 70 secs
lola: 89630 markings, 1206062 edges, 1185 markings/sec, 75 secs
lola: 95654 markings, 1276358 edges, 1205 markings/sec, 80 secs
lola: 101561 markings, 1351063 edges, 1181 markings/sec, 85 secs
lola: 107289 markings, 1432662 edges, 1146 markings/sec, 90 secs
lola: 113058 markings, 1512554 edges, 1154 markings/sec, 95 secs
lola: 118801 markings, 1592916 edges, 1149 markings/sec, 100 secs
lola: 124374 markings, 1679061 edges, 1115 markings/sec, 105 secs
lola: 129699 markings, 1774193 edges, 1065 markings/sec, 110 secs
lola: 135364 markings, 1857454 edges, 1133 markings/sec, 115 secs
lola: 141303 markings, 1933222 edges, 1188 markings/sec, 120 secs
lola: 146988 markings, 2018221 edges, 1137 markings/sec, 125 secs
lola: 152706 markings, 2102093 edges, 1144 markings/sec, 130 secs
lola: 158633 markings, 2177443 edges, 1185 markings/sec, 135 secs
lola: 164299 markings, 2261841 edges, 1133 markings/sec, 140 secs
lola: 169937 markings, 2347854 edges, 1128 markings/sec, 145 secs
lola: 175730 markings, 2428397 edges, 1159 markings/sec, 150 secs
lola: 181324 markings, 2516153 edges, 1119 markings/sec, 155 secs
lola: 186802 markings, 2608650 edges, 1096 markings/sec, 160 secs
lola: 192559 markings, 2690839 edges, 1151 markings/sec, 165 secs
lola: 198009 markings, 2783936 edges, 1090 markings/sec, 170 secs
lola: 203380 markings, 2879121 edges, 1074 markings/sec, 175 secs
lola: 209186 markings, 2959195 edges, 1161 markings/sec, 180 secs
lola: 214642 markings, 3051479 edges, 1091 markings/sec, 185 secs
lola: 219889 markings, 3150802 edges, 1049 markings/sec, 190 secs
lola: 225298 markings, 3244247 edges, 1082 markings/sec, 195 secs
lola: 230433 markings, 3347289 edges, 1027 markings/sec, 200 secs
lola: 235401 markings, 3455887 edges, 994 markings/sec, 205 secs
lola: 241134 markings, 3538184 edges, 1147 markings/sec, 210 secs
lola: 247218 markings, 3608259 edges, 1217 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___3_10__B_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
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: 2790 markings, 20795 edges, 558 markings/sec, 0 secs
lola: 8923 markings, 89854 edges, 1227 markings/sec, 5 secs
lola: 15130 markings, 156481 edges, 1241 markings/sec, 10 secs
lola: 21015 markings, 234050 edges, 1177 markings/sec, 15 secs
lola: 26622 markings, 320781 edges, 1121 markings/sec, 20 secs
lola: 32798 markings, 388590 edges, 1235 markings/sec, 25 secs
lola: 38641 markings, 466173 edges, 1169 markings/sec, 30 secs
lola: 44255 markings, 553228 edges, 1123 markings/sec, 35 secs
lola: 50410 markings, 619796 edges, 1231 markings/sec, 40 secs
lola: 56262 markings, 698327 edges, 1170 markings/sec, 45 secs
lola: 61854 markings, 785520 edges, 1118 markings/sec, 50 secs
lola: 67586 markings, 867937 edges, 1146 markings/sec, 55 secs
lola: 73026 markings, 960351 edges, 1088 markings/sec, 60 secs
lola: 78252 markings, 1060332 edges, 1045 markings/sec, 65 secs
lola: 84154 markings, 1137510 edges, 1180 markings/sec, 70 secs
lola: 90115 markings, 1212935 edges, 1192 markings/sec, 75 secs
lola: 96141 markings, 1285223 edges, 1205 markings/sec, 80 secs
lola: 102126 markings, 1359253 edges, 1197 markings/sec, 85 secs
lola: 107863 markings, 1442535 edges, 1147 markings/sec, 90 secs
lola: 113626 markings, 1524175 edges, 1153 markings/sec, 95 secs
lola: 119406 markings, 1604443 edges, 1156 markings/sec, 100 secs
lola: 124977 markings, 1691831 edges, 1114 markings/sec, 105 secs
lola: 130329 markings, 1787015 edges, 1070 markings/sec, 110 secs
lola: 136066 markings, 1869232 edges, 1147 markings/sec, 115 secs
lola: 141998 markings, 1944625 edges, 1186 markings/sec, 120 secs
lola: 147598 markings, 2031892 edges, 1120 markings/sec, 125 secs
lola: 153359 markings, 2112679 edges, 1152 markings/sec, 130 secs
lola: 159252 markings, 2188163 edges, 1179 markings/sec, 135 secs
lola: 164862 markings, 2273544 edges, 1122 markings/sec, 140 secs
lola: 170503 markings, 2358330 edges, 1128 markings/sec, 145 secs
lola: 176279 markings, 2438576 edges, 1155 markings/sec, 150 secs
lola: 181804 markings, 2527776 edges, 1105 markings/sec, 155 secs
lola: 187318 markings, 2617992 edges, 1103 markings/sec, 160 secs
lola: 193018 markings, 2701100 edges, 1140 markings/sec, 165 secs
lola: 198437 markings, 2794156 edges, 1084 markings/sec, 170 secs
lola: 203842 markings, 2887206 edges, 1081 markings/sec, 175 secs
lola: 209597 markings, 2967925 edges, 1151 markings/sec, 180 secs
lola: 215026 markings, 3059961 edges, 1086 markings/sec, 185 secs
lola: 220258 markings, 3158688 edges, 1046 markings/sec, 190 secs
lola: 225598 markings, 3253548 edges, 1068 markings/sec, 195 secs
lola: 230722 markings, 3355811 edges, 1025 markings/sec, 200 secs
lola: 235647 markings, 3464898 edges, 985 markings/sec, 205 secs
lola: 241450 markings, 3543273 edges, 1161 markings/sec, 210 secs
lola: 247510 markings, 3613176 edges, 1212 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__19_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 4 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___1_11__B_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
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: 2961 markings, 18296 edges, 592 markings/sec, 0 secs
lola: 9279 markings, 81734 edges, 1264 markings/sec, 5 secs
lola: 15695 markings, 141436 edges, 1283 markings/sec, 10 secs
lola: 21767 markings, 212999 edges, 1214 markings/sec, 15 secs
lola: 27585 markings, 293353 edges, 1164 markings/sec, 20 secs
lola: 34037 markings, 351751 edges, 1290 markings/sec, 25 secs
lola: 40037 markings, 425890 edges, 1200 markings/sec, 30 secs
lola: 45942 markings, 503440 edges, 1181 markings/sec, 35 secs
lola: 52318 markings, 564377 edges, 1275 markings/sec, 40 secs
lola: 58265 markings, 640132 edges, 1189 markings/sec, 45 secs
lola: 64071 markings, 720841 edges, 1161 markings/sec, 50 secs
lola: 69892 markings, 800600 edges, 1164 markings/sec, 55 secs
lola: 75389 markings, 891717 edges, 1099 markings/sec, 60 secs
lola: 80929 markings, 981547 edges, 1108 markings/sec, 65 secs
lola: 87198 markings, 1046828 edges, 1254 markings/sec, 70 secs
lola: 93512 markings, 1109596 edges, 1263 markings/sec, 75 secs
lola: 99583 markings, 1180830 edges, 1214 markings/sec, 80 secs
lola: 105591 markings, 1254883 edges, 1202 markings/sec, 85 secs
lola: 111163 markings, 1320772 edges, 1114 markings/sec, 90 secs
lola: 117074 markings, 1396753 edges, 1182 markings/sec, 95 secs
lola: 122945 markings, 1473558 edges, 1174 markings/sec, 100 secs
lola: 128531 markings, 1561304 edges, 1117 markings/sec, 105 secs
lola: 134253 markings, 1643674 edges, 1144 markings/sec, 110 secs
lola: 140376 markings, 1712638 edges, 1225 markings/sec, 115 secs
lola: 146274 markings, 1789208 edges, 1180 markings/sec, 120 secs
lola: 152106 markings, 1867818 edges, 1166 markings/sec, 125 secs
lola: 158198 markings, 1936976 edges, 1218 markings/sec, 130 secs
lola: 164044 markings, 2014311 edges, 1169 markings/sec, 135 secs
lola: 169822 markings, 2094192 edges, 1156 markings/sec, 140 secs
lola: 175761 markings, 2168677 edges, 1188 markings/sec, 145 secs
lola: 181497 markings, 2250513 edges, 1147 markings/sec, 150 secs
lola: 187163 markings, 2335311 edges, 1133 markings/sec, 155 secs
lola: 193034 markings, 2412720 edges, 1174 markings/sec, 160 secs
lola: 198617 markings, 2499996 edges, 1117 markings/sec, 165 secs
lola: 204223 markings, 2586107 edges, 1121 markings/sec, 170 secs
lola: 210115 markings, 2661964 edges, 1178 markings/sec, 175 secs
lola: 215671 markings, 2749429 edges, 1111 markings/sec, 180 secs
lola: 221091 markings, 2841873 edges, 1084 markings/sec, 185 secs
lola: 226583 markings, 2931164 edges, 1098 markings/sec, 190 secs
lola: 231751 markings, 3031819 edges, 1034 markings/sec, 195 secs
lola: 236751 markings, 3138198 edges, 1000 markings/sec, 200 secs
lola: 243088 markings, 3198928 edges, 1267 markings/sec, 205 secs
lola: 249435 markings, 3259528 edges, 1269 markings/sec, 210 secs
lola: 255610 markings, 3325441 edges, 1235 markings/sec, 215 secs
lola: 261458 markings, 3402740 edges, 1170 markings/sec, 220 secs
lola: 267317 markings, 3480746 edges, 1172 markings/sec, 225 secs
lola: 273116 markings, 3560935 edges, 1160 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___9_7__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
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: 2767 markings, 19371 edges, 553 markings/sec, 0 secs
lola: 8906 markings, 87429 edges, 1228 markings/sec, 5 secs
lola: 15074 markings, 153798 edges, 1234 markings/sec, 10 secs
lola: 20955 markings, 230207 edges, 1176 markings/sec, 15 secs
lola: 26566 markings, 316382 edges, 1122 markings/sec, 20 secs
lola: 32682 markings, 384863 edges, 1223 markings/sec, 25 secs
lola: 38558 markings, 461794 edges, 1175 markings/sec, 30 secs
lola: 44163 markings, 548120 edges, 1121 markings/sec, 35 secs
lola: 50286 markings, 616168 edges, 1225 markings/sec, 40 secs
lola: 56153 markings, 693069 edges, 1173 markings/sec, 45 secs
lola: 61746 markings, 779442 edges, 1119 markings/sec, 50 secs
lola: 67422 markings, 862693 edges, 1135 markings/sec, 55 secs
lola: 72863 markings, 954137 edges, 1088 markings/sec, 60 secs
lola: 78100 markings, 1052796 edges, 1047 markings/sec, 65 secs
lola: 83890 markings, 1132862 edges, 1158 markings/sec, 70 secs
lola: 89814 markings, 1208061 edges, 1185 markings/sec, 75 secs
lola: 95846 markings, 1278747 edges, 1206 markings/sec, 80 secs
lola: 101768 markings, 1353621 edges, 1184 markings/sec, 85 secs
lola: 107510 markings, 1435481 edges, 1148 markings/sec, 90 secs
lola: 113273 markings, 1515596 edges, 1153 markings/sec, 95 secs
lola: 119034 markings, 1595859 edges, 1152 markings/sec, 100 secs
lola: 124616 markings, 1682151 edges, 1116 markings/sec, 105 secs
lola: 129950 markings, 1777509 edges, 1067 markings/sec, 110 secs
lola: 135637 markings, 1860762 edges, 1137 markings/sec, 115 secs
lola: 141550 markings, 1936230 edges, 1183 markings/sec, 120 secs
lola: 147190 markings, 2021161 edges, 1128 markings/sec, 125 secs
lola: 152877 markings, 2103961 edges, 1137 markings/sec, 130 secs
lola: 158766 markings, 2179027 edges, 1178 markings/sec, 135 secs
lola: 164401 markings, 2262940 edges, 1127 markings/sec, 140 secs
lola: 170007 markings, 2348406 edges, 1121 markings/sec, 145 secs
lola: 175767 markings, 2428405 edges, 1152 markings/sec, 150 secs
lola: 181138 markings, 2511865 edges, 1074 markings/sec, 155 secs
lola: 186279 markings, 2601679 edges, 1028 markings/sec, 160 secs
lola: 191951 markings, 2680274 edges, 1134 markings/sec, 165 secs
lola: 197387 markings, 2772110 edges, 1087 markings/sec, 170 secs
lola: 202620 markings, 2870314 edges, 1047 markings/sec, 175 secs
lola: 208394 markings, 2948986 edges, 1155 markings/sec, 180 secs
lola: 213894 markings, 3038107 edges, 1100 markings/sec, 185 secs
lola: 219162 markings, 3134669 edges, 1054 markings/sec, 190 secs
lola: 224494 markings, 3228843 edges, 1066 markings/sec, 195 secs
lola: 229648 markings, 3329339 edges, 1031 markings/sec, 200 secs
lola: 234578 markings, 3437335 edges, 986 markings/sec, 205 secs
lola: 240050 markings, 3527630 edges, 1094 markings/sec, 210 secs
lola: 246061 markings, 3598880 edges, 1202 markings/sec, 215 secs
lola: 252251 markings, 3663698 edges, 1238 markings/sec, 220 secs
lola: 258070 markings, 3741062 edges, 1164 markings/sec, 225 secs
lola: 263606 markings, 3829371 edges, 1107 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__2_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__15_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 8 will run for 299 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___19_16__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
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: 1922 markings, 10584 edges, 384 markings/sec, 0 secs
lola: 8130 markings, 77191 edges, 1242 markings/sec, 5 secs
lola: 14186 markings, 149498 edges, 1211 markings/sec, 10 secs
lola: 20252 markings, 221015 edges, 1213 markings/sec, 15 secs
lola: 25909 markings, 306606 edges, 1131 markings/sec, 20 secs
lola: 31961 markings, 378738 edges, 1210 markings/sec, 25 secs
lola: 37985 markings, 452070 edges, 1205 markings/sec, 30 secs
lola: 43727 markings, 534112 edges, 1148 markings/sec, 35 secs
lola: 49653 markings, 610718 edges, 1185 markings/sec, 40 secs
lola: 55570 markings, 686620 edges, 1183 markings/sec, 45 secs
lola: 61384 markings, 766636 edges, 1163 markings/sec, 50 secs
lola: 67095 markings, 850906 edges, 1142 markings/sec, 55 secs
lola: 72788 markings, 934904 edges, 1139 markings/sec, 60 secs
lola: 78130 markings, 1030926 edges, 1068 markings/sec, 65 secs
lola: 84102 markings, 1105598 edges, 1194 markings/sec, 70 secs
lola: 90032 markings, 1181951 edges, 1186 markings/sec, 75 secs
lola: 95726 markings, 1267015 edges, 1139 markings/sec, 80 secs
lola: 101666 markings, 1342631 edges, 1188 markings/sec, 85 secs
lola: 107723 markings, 1414022 edges, 1211 markings/sec, 90 secs
lola: 113372 markings, 1499422 edges, 1130 markings/sec, 95 secs
lola: 118976 markings, 1587339 edges, 1121 markings/sec, 100 secs
lola: 124580 markings, 1675192 edges, 1121 markings/sec, 105 secs
lola: 129889 markings, 1773374 edges, 1062 markings/sec, 110 secs
lola: 135573 markings, 1857894 edges, 1137 markings/sec, 115 secs
lola: 141642 markings, 1928699 edges, 1214 markings/sec, 120 secs
lola: 147478 markings, 2006828 edges, 1167 markings/sec, 125 secs
lola: 153109 markings, 2093677 edges, 1126 markings/sec, 130 secs
lola: 158706 markings, 2181589 edges, 1119 markings/sec, 135 secs
lola: 164164 markings, 2274021 edges, 1092 markings/sec, 140 secs
lola: 169733 markings, 2362541 edges, 1114 markings/sec, 145 secs
lola: 175662 markings, 2437925 edges, 1186 markings/sec, 150 secs
lola: 181514 markings, 2515823 edges, 1170 markings/sec, 155 secs
lola: 187250 markings, 2597971 edges, 1147 markings/sec, 160 secs
lola: 192924 markings, 2681569 edges, 1135 markings/sec, 165 secs
lola: 198410 markings, 2771918 edges, 1097 markings/sec, 170 secs
lola: 203682 markings, 2870211 edges, 1054 markings/sec, 175 secs
lola: 209166 markings, 2962373 edges, 1097 markings/sec, 180 secs
lola: 214609 markings, 3054598 edges, 1089 markings/sec, 185 secs
lola: 219937 markings, 3152261 edges, 1066 markings/sec, 190 secs
lola: 225197 markings, 3251819 edges, 1052 markings/sec, 195 secs
lola: 230498 markings, 3349305 edges, 1060 markings/sec, 200 secs
lola: 235472 markings, 3458304 edges, 995 markings/sec, 205 secs
lola: 241302 markings, 3537307 edges, 1166 markings/sec, 210 secs
lola: 247394 markings, 3606897 edges, 1218 markings/sec, 215 secs
lola: 253588 markings, 3672690 edges, 1239 markings/sec, 220 secs
lola: 259417 markings, 3751237 edges, 1166 markings/sec, 225 secs
lola: 265158 markings, 3832829 edges, 1148 markings/sec, 230 secs
lola: 271292 markings, 3899863 edges, 1227 markings/sec, 235 secs
lola: 277114 markings, 3978300 edges, 1164 markings/sec, 240 secs
lola: 282867 markings, 4058921 edges, 1151 markings/sec, 245 secs
lola: 288986 markings, 4126912 edges, 1224 markings/sec, 250 secs
lola: 294813 markings, 4205430 edges, 1165 markings/sec, 255 secs
lola: 300380 markings, 4291582 edges, 1113 markings/sec, 260 secs
lola: 306038 markings, 4375480 edges, 1132 markings/sec, 265 secs
lola: 311408 markings, 4469875 edges, 1074 markings/sec, 270 secs
lola: 316689 markings, 4566900 edges, 1056 markings/sec, 275 secs
lola: 322938 markings, 4630887 edges, 1250 markings/sec, 280 secs
lola: 329151 markings, 4695950 edges, 1243 markings/sec, 285 secs
lola: 335078 markings, 4770741 edges, 1185 markings/sec, 290 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 299 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___1_11__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
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: 2912 markings, 16577 edges, 582 markings/sec, 0 secs
lola: 9261 markings, 78093 edges, 1270 markings/sec, 5 secs
lola: 15655 markings, 137561 edges, 1279 markings/sec, 10 secs
lola: 21699 markings, 209106 edges, 1209 markings/sec, 15 secs
lola: 27425 markings, 291708 edges, 1145 markings/sec, 20 secs
lola: 33881 markings, 348917 edges, 1291 markings/sec, 25 secs
lola: 39901 markings, 421517 edges, 1204 markings/sec, 30 secs
lola: 45721 markings, 500497 edges, 1164 markings/sec, 35 secs
lola: 52121 markings, 559186 edges, 1280 markings/sec, 40 secs
lola: 58117 markings, 634033 edges, 1199 markings/sec, 45 secs
lola: 63941 markings, 715986 edges, 1165 markings/sec, 50 secs
lola: 69838 markings, 795272 edges, 1179 markings/sec, 55 secs
lola: 75393 markings, 886524 edges, 1111 markings/sec, 60 secs
lola: 80881 markings, 980019 edges, 1098 markings/sec, 65 secs
lola: 87237 markings, 1043960 edges, 1271 markings/sec, 70 secs
lola: 93580 markings, 1107925 edges, 1269 markings/sec, 75 secs
lola: 99705 markings, 1179385 edges, 1225 markings/sec, 80 secs
lola: 105769 markings, 1253079 edges, 1213 markings/sec, 85 secs
lola: 111841 markings, 1326777 edges, 1214 markings/sec, 90 secs
lola: 117805 markings, 1403716 edges, 1193 markings/sec, 95 secs
lola: 123477 markings, 1478174 edges, 1134 markings/sec, 100 secs
lola: 129121 markings, 1566671 edges, 1129 markings/sec, 105 secs
lola: 134940 markings, 1648815 edges, 1164 markings/sec, 110 secs
lola: 141117 markings, 1719005 edges, 1235 markings/sec, 115 secs
lola: 147047 markings, 1797718 edges, 1186 markings/sec, 120 secs
lola: 152992 markings, 1875820 edges, 1189 markings/sec, 125 secs
lola: 159157 markings, 1945229 edges, 1233 markings/sec, 130 secs
lola: 165017 markings, 2025107 edges, 1172 markings/sec, 135 secs
lola: 170896 markings, 2104749 edges, 1176 markings/sec, 140 secs
lola: 176918 markings, 2179645 edges, 1204 markings/sec, 145 secs
lola: 182646 markings, 2264924 edges, 1146 markings/sec, 150 secs
lola: 188441 markings, 2348457 edges, 1159 markings/sec, 155 secs
lola: 194281 markings, 2427089 edges, 1168 markings/sec, 160 secs
lola: 199705 markings, 2515305 edges, 1085 markings/sec, 165 secs
lola: 205355 markings, 2597541 edges, 1130 markings/sec, 170 secs
lola: 211089 markings, 2673794 edges, 1147 markings/sec, 175 secs
lola: 216624 markings, 2760318 edges, 1107 markings/sec, 180 secs
lola: 222014 markings, 2851428 edges, 1078 markings/sec, 185 secs
lola: 227429 markings, 2941462 edges, 1083 markings/sec, 190 secs
lola: 232598 markings, 3042053 edges, 1034 markings/sec, 195 secs
lola: 237390 markings, 3146511 edges, 958 markings/sec, 200 secs
lola: 243897 markings, 3204382 edges, 1301 markings/sec, 205 secs
lola: 250316 markings, 3264846 edges, 1284 markings/sec, 210 secs
lola: 256497 markings, 3333846 edges, 1236 markings/sec, 215 secs
lola: 262383 markings, 3412747 edges, 1177 markings/sec, 220 secs
lola: 268328 markings, 3491178 edges, 1189 markings/sec, 225 secs
lola: 274227 markings, 3571259 edges, 1180 markings/sec, 230 secs
lola: 280149 markings, 3650079 edges, 1184 markings/sec, 235 secs
lola: 285732 markings, 3741049 edges, 1117 markings/sec, 240 secs
lola: 291381 markings, 3829414 edges, 1130 markings/sec, 245 secs
lola: 297774 markings, 3891080 edges, 1279 markings/sec, 250 secs
lola: 303759 markings, 3966925 edges, 1197 markings/sec, 255 secs
lola: 309797 markings, 4040695 edges, 1208 markings/sec, 260 secs
lola: 316081 markings, 4105926 edges, 1257 markings/sec, 265 secs
lola: 322044 markings, 4182180 edges, 1193 markings/sec, 270 secs
lola: 327885 markings, 4262667 edges, 1168 markings/sec, 275 secs
lola: 333645 markings, 4345546 edges, 1152 markings/sec, 280 secs
lola: 339161 markings, 4437148 edges, 1103 markings/sec, 285 secs
lola: 344755 markings, 4526376 edges, 1119 markings/sec, 290 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__11_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 11 will run for 360 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___4_3__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
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: 2637 markings, 17970 edges, 527 markings/sec, 0 secs
lola: 8838 markings, 87397 edges, 1240 markings/sec, 5 secs
lola: 15086 markings, 154768 edges, 1250 markings/sec, 10 secs
lola: 21022 markings, 233079 edges, 1187 markings/sec, 15 secs
lola: 26690 markings, 320811 edges, 1134 markings/sec, 20 secs
lola: 32936 markings, 388930 edges, 1249 markings/sec, 25 secs
lola: 38860 markings, 468188 edges, 1185 markings/sec, 30 secs
lola: 44493 markings, 557382 edges, 1127 markings/sec, 35 secs
lola: 50756 markings, 623889 edges, 1253 markings/sec, 40 secs
lola: 56676 markings, 702403 edges, 1184 markings/sec, 45 secs
lola: 62304 markings, 791501 edges, 1126 markings/sec, 50 secs
lola: 68085 markings, 875154 edges, 1156 markings/sec, 55 secs
lola: 73552 markings, 969367 edges, 1093 markings/sec, 60 secs
lola: 78813 markings, 1070868 edges, 1052 markings/sec, 65 secs
lola: 84901 markings, 1144174 edges, 1218 markings/sec, 70 secs
lola: 90902 markings, 1220617 edges, 1200 markings/sec, 75 secs
lola: 96894 markings, 1296626 edges, 1198 markings/sec, 80 secs
lola: 102961 markings, 1370537 edges, 1213 markings/sec, 85 secs
lola: 108768 markings, 1453929 edges, 1161 markings/sec, 90 secs
lola: 114513 markings, 1539076 edges, 1149 markings/sec, 95 secs
lola: 120425 markings, 1617768 edges, 1182 markings/sec, 100 secs
lola: 126005 markings, 1708270 edges, 1116 markings/sec, 105 secs
lola: 131362 markings, 1806507 edges, 1071 markings/sec, 110 secs
lola: 137285 markings, 1885501 edges, 1185 markings/sec, 115 secs
lola: 143261 markings, 1962410 edges, 1195 markings/sec, 120 secs
lola: 148845 markings, 2053025 edges, 1117 markings/sec, 125 secs
lola: 154748 markings, 2131413 edges, 1181 markings/sec, 130 secs
lola: 160688 markings, 2207513 edges, 1188 markings/sec, 135 secs
lola: 166237 markings, 2297225 edges, 1110 markings/sec, 140 secs
lola: 171590 markings, 2373943 edges, 1071 markings/sec, 145 secs
lola: 177397 markings, 2454786 edges, 1161 markings/sec, 150 secs
lola: 182893 markings, 2546965 edges, 1099 markings/sec, 155 secs
lola: 188577 markings, 2633121 edges, 1137 markings/sec, 160 secs
lola: 194236 markings, 2720172 edges, 1132 markings/sec, 165 secs
lola: 199633 markings, 2816366 edges, 1079 markings/sec, 170 secs
lola: 205235 markings, 2904599 edges, 1120 markings/sec, 175 secs
lola: 210925 markings, 2989853 edges, 1138 markings/sec, 180 secs
lola: 216381 markings, 3083790 edges, 1091 markings/sec, 185 secs
lola: 221722 markings, 3181908 edges, 1068 markings/sec, 190 secs
lola: 227080 markings, 3279134 edges, 1072 markings/sec, 195 secs
lola: 232185 markings, 3386100 edges, 1021 markings/sec, 200 secs
lola: 237097 markings, 3499326 edges, 982 markings/sec, 205 secs
lola: 243390 markings, 3565010 edges, 1259 markings/sec, 210 secs
lola: 249600 markings, 3633330 edges, 1242 markings/sec, 215 secs
lola: 255633 markings, 3707470 edges, 1207 markings/sec, 220 secs
lola: 261372 markings, 3792063 edges, 1148 markings/sec, 225 secs
lola: 267115 markings, 3877398 edges, 1149 markings/sec, 230 secs
lola: 272804 markings, 3964907 edges, 1138 markings/sec, 235 secs
lola: 278596 markings, 4048369 edges, 1158 markings/sec, 240 secs
lola: 284081 markings, 4142691 edges, 1097 markings/sec, 245 secs
lola: 289330 markings, 4245128 edges, 1050 markings/sec, 250 secs
lola: 295565 markings, 4312423 edges, 1247 markings/sec, 255 secs
lola: 301477 markings, 4390937 edges, 1182 markings/sec, 260 secs
lola: 307073 markings, 4480032 edges, 1119 markings/sec, 265 secs
lola: 313349 markings, 4545553 edges, 1255 markings/sec, 270 secs
lola: 319233 markings, 4624779 edges, 1177 markings/sec, 275 secs
lola: 324837 markings, 4713530 edges, 1121 markings/sec, 280 secs
lola: 330586 markings, 4797016 edges, 1150 markings/sec, 285 secs
lola: 336041 markings, 4890929 edges, 1091 markings/sec, 290 secs
lola: 341281 markings, 4992120 edges, 1048 markings/sec, 295 secs
lola: 347009 markings, 5077787 edges, 1146 markings/sec, 300 secs
lola: 352580 markings, 5169221 edges, 1114 markings/sec, 305 secs
lola: 357924 markings, 5268347 edges, 1069 markings/sec, 310 secs
lola: 363554 markings, 5357335 edges, 1126 markings/sec, 315 secs
lola: 369156 markings, 5447439 edges, 1120 markings/sec, 320 secs
lola: 374509 markings, 5546300 edges, 1071 markings/sec, 325 secs
lola: 379820 markings, 5646365 edges, 1062 markings/sec, 330 secs
lola: 385105 markings, 5746754 edges, 1057 markings/sec, 335 secs
lola: 390144 markings, 5856310 edges, 1008 markings/sec, 340 secs
lola: 395146 markings, 5966745 edges, 1000 markings/sec, 345 secs
lola: 401292 markings, 6037194 edges, 1229 markings/sec, 350 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 360 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__6_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 13 will run for 480 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___18_11__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
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: 1981 markings, 11078 edges, 396 markings/sec, 0 secs
lola: 8376 markings, 73865 edges, 1279 markings/sec, 5 secs
lola: 14664 markings, 140336 edges, 1258 markings/sec, 10 secs
lola: 20803 markings, 211943 edges, 1228 markings/sec, 15 secs
lola: 26588 markings, 295641 edges, 1157 markings/sec, 20 secs
lola: 32892 markings, 361495 edges, 1261 markings/sec, 25 secs
lola: 38940 markings, 436485 edges, 1210 markings/sec, 30 secs
lola: 44680 markings, 521868 edges, 1148 markings/sec, 35 secs
lola: 51059 markings, 584326 edges, 1276 markings/sec, 40 secs
lola: 57060 markings, 659917 edges, 1200 markings/sec, 45 secs
lola: 62793 markings, 744914 edges, 1147 markings/sec, 50 secs
lola: 68649 markings, 825672 edges, 1171 markings/sec, 55 secs
lola: 74184 markings, 917485 edges, 1107 markings/sec, 60 secs
lola: 79486 markings, 1017436 edges, 1060 markings/sec, 65 secs
lola: 85765 markings, 1084025 edges, 1256 markings/sec, 70 secs
lola: 91908 markings, 1155239 edges, 1229 markings/sec, 75 secs
lola: 98005 markings, 1227834 edges, 1219 markings/sec, 80 secs
lola: 104118 markings, 1299886 edges, 1223 markings/sec, 85 secs
lola: 110059 markings, 1378588 edges, 1188 markings/sec, 90 secs
lola: 115918 markings, 1459793 edges, 1172 markings/sec, 95 secs
lola: 121888 markings, 1536412 edges, 1194 markings/sec, 100 secs
lola: 127484 markings, 1626262 edges, 1119 markings/sec, 105 secs
lola: 132980 markings, 1719571 edges, 1099 markings/sec, 110 secs
lola: 139083 markings, 1792262 edges, 1221 markings/sec, 115 secs
lola: 145101 markings, 1867527 edges, 1204 markings/sec, 120 secs
lola: 150785 markings, 1954757 edges, 1137 markings/sec, 125 secs
lola: 156896 markings, 2026329 edges, 1222 markings/sec, 130 secs
lola: 162864 markings, 2102902 edges, 1194 markings/sec, 135 secs
lola: 168529 markings, 2189858 edges, 1133 markings/sec, 140 secs
lola: 174477 markings, 2267464 edges, 1190 markings/sec, 145 secs
lola: 180304 markings, 2349240 edges, 1165 markings/sec, 150 secs
lola: 185811 markings, 2442522 edges, 1101 markings/sec, 155 secs
lola: 191792 markings, 2519132 edges, 1196 markings/sec, 160 secs
lola: 197398 markings, 2608744 edges, 1121 markings/sec, 165 secs
lola: 202838 markings, 2704057 edges, 1088 markings/sec, 170 secs
lola: 208800 markings, 2780642 edges, 1192 markings/sec, 175 secs
lola: 214426 markings, 2868932 edges, 1125 markings/sec, 180 secs
lola: 219796 markings, 2966397 edges, 1074 markings/sec, 185 secs
lola: 225330 markings, 3057882 edges, 1107 markings/sec, 190 secs
lola: 230608 markings, 3158282 edges, 1056 markings/sec, 195 secs
lola: 235683 markings, 3265524 edges, 1015 markings/sec, 200 secs
lola: 241612 markings, 3343265 edges, 1186 markings/sec, 205 secs
lola: 247896 markings, 3409065 edges, 1257 markings/sec, 210 secs
lola: 254156 markings, 3475190 edges, 1252 markings/sec, 215 secs
lola: 260032 markings, 3554912 edges, 1175 markings/sec, 220 secs
lola: 265833 markings, 3637523 edges, 1160 markings/sec, 225 secs
lola: 271655 markings, 3720487 edges, 1164 markings/sec, 230 secs
lola: 277536 markings, 3800669 edges, 1176 markings/sec, 235 secs
lola: 283184 markings, 3888891 edges, 1130 markings/sec, 240 secs
lola: 288592 markings, 3985600 edges, 1082 markings/sec, 245 secs
lola: 294684 markings, 4057975 edges, 1218 markings/sec, 250 secs
lola: 300781 markings, 4129622 edges, 1219 markings/sec, 255 secs
lola: 306536 markings, 4213063 edges, 1151 markings/sec, 260 secs
lola: 312808 markings, 4278423 edges, 1254 markings/sec, 265 secs
lola: 318824 markings, 4352772 edges, 1203 markings/sec, 270 secs
lola: 324538 markings, 4437335 edges, 1143 markings/sec, 275 secs
lola: 330387 markings, 4517273 edges, 1170 markings/sec, 280 secs
lola: 335947 markings, 4607264 edges, 1112 markings/sec, 285 secs
lola: 341275 markings, 4704971 edges, 1066 markings/sec, 290 secs
lola: 347024 markings, 4789897 edges, 1150 markings/sec, 295 secs
lola: 352729 markings, 4876534 edges, 1141 markings/sec, 300 secs
lola: 358156 markings, 4972737 edges, 1085 markings/sec, 305 secs
lola: 363875 markings, 5058661 edges, 1144 markings/sec, 310 secs
lola: 369551 markings, 5145691 edges, 1135 markings/sec, 315 secs
lola: 374992 markings, 5240541 edges, 1088 markings/sec, 320 secs
lola: 380380 markings, 5337580 edges, 1078 markings/sec, 325 secs
lola: 385704 markings, 5436481 edges, 1065 markings/sec, 330 secs
lola: 390763 markings, 5544539 edges, 1012 markings/sec, 335 secs
lola: 396015 markings, 5645627 edges, 1050 markings/sec, 340 secs
lola: 402209 markings, 5713961 edges, 1239 markings/sec, 345 secs
lola: 408460 markings, 5780302 edges, 1250 markings/sec, 350 secs
lola: 414475 markings, 5854738 edges, 1203 markings/sec, 355 secs
lola: 420447 markings, 5930625 edges, 1194 markings/sec, 360 secs
lola: 426376 markings, 6008218 edges, 1186 markings/sec, 365 secs
lola: 432272 markings, 6086627 edges, 1179 markings/sec, 370 secs
lola: 438108 markings, 6166815 edges, 1167 markings/sec, 375 secs
lola: 443610 markings, 6258861 edges, 1100 markings/sec, 380 secs
lola: 449181 markings, 6348787 edges, 1114 markings/sec, 385 secs
lola: 454917 markings, 6434304 edges, 1147 markings/sec, 390 secs
lola: 460709 markings, 6517192 edges, 1158 markings/sec, 395 secs
lola: 466292 markings, 6607338 edges, 1117 markings/sec, 400 secs
lola: 471935 markings, 6695901 edges, 1129 markings/sec, 405 secs
lola: 477452 markings, 6789076 edges, 1103 markings/sec, 410 secs
lola: 482884 markings, 6884689 edges, 1086 markings/sec, 415 secs
lola: 488412 markings, 6976481 edges, 1106 markings/sec, 420 secs
lola: 493695 markings, 7076781 edges, 1057 markings/sec, 425 secs
lola: 498773 markings, 7183860 edges, 1016 markings/sec, 430 secs
lola: 504688 markings, 7261923 edges, 1183 markings/sec, 435 secs
lola: 510737 markings, 7334815 edges, 1210 markings/sec, 440 secs
lola: 516385 markings, 7421517 edges, 1130 markings/sec, 445 secs
lola: 522367 markings, 7496792 edges, 1196 markings/sec, 450 secs
lola: 528419 markings, 7569435 edges, 1210 markings/sec, 455 secs
lola: 534043 markings, 7656666 edges, 1125 markings/sec, 460 secs
lola: 539925 markings, 7735537 edges, 1176 markings/sec, 465 secs
lola: 545839 markings, 7813220 edges, 1183 markings/sec, 470 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 480 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___5_3__B_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
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: 2911 markings, 20310 edges, 582 markings/sec, 0 secs
lola: 9083 markings, 89183 edges, 1234 markings/sec, 5 secs
lola: 15310 markings, 155792 edges, 1245 markings/sec, 10 secs
lola: 21226 markings, 233278 edges, 1183 markings/sec, 15 secs
lola: 26859 markings, 320243 edges, 1127 markings/sec, 20 secs
lola: 33039 markings, 388680 edges, 1236 markings/sec, 25 secs
lola: 38932 markings, 466764 edges, 1179 markings/sec, 30 secs
lola: 44559 markings, 553906 edges, 1125 markings/sec, 35 secs
lola: 50744 markings, 621210 edges, 1237 markings/sec, 40 secs
lola: 56605 markings, 699905 edges, 1172 markings/sec, 45 secs
lola: 62215 markings, 787360 edges, 1122 markings/sec, 50 secs
lola: 67965 markings, 869837 edges, 1150 markings/sec, 55 secs
lola: 73412 markings, 962624 edges, 1089 markings/sec, 60 secs
lola: 78651 markings, 1062864 edges, 1048 markings/sec, 65 secs
lola: 84579 markings, 1139705 edges, 1186 markings/sec, 70 secs
lola: 90550 markings, 1215374 edges, 1194 markings/sec, 75 secs
lola: 96579 markings, 1288199 edges, 1206 markings/sec, 80 secs
lola: 102579 markings, 1362445 edges, 1200 markings/sec, 85 secs
lola: 108344 markings, 1445523 edges, 1153 markings/sec, 90 secs
lola: 114114 markings, 1527964 edges, 1154 markings/sec, 95 secs
lola: 119929 markings, 1608067 edges, 1163 markings/sec, 100 secs
lola: 125516 markings, 1696184 edges, 1117 markings/sec, 105 secs
lola: 130884 markings, 1792696 edges, 1074 markings/sec, 110 secs
lola: 136726 markings, 1874934 edges, 1168 markings/sec, 115 secs
lola: 142722 markings, 1951930 edges, 1199 markings/sec, 120 secs
lola: 148371 markings, 2040602 edges, 1130 markings/sec, 125 secs
lola: 154230 markings, 2121581 edges, 1172 markings/sec, 130 secs
lola: 160201 markings, 2198004 edges, 1194 markings/sec, 135 secs
lola: 165835 markings, 2286366 edges, 1127 markings/sec, 140 secs
lola: 171595 markings, 2370913 edges, 1152 markings/sec, 145 secs
lola: 177439 markings, 2452278 edges, 1169 markings/sec, 150 secs
lola: 182967 markings, 2544993 edges, 1106 markings/sec, 155 secs
lola: 188651 markings, 2632786 edges, 1137 markings/sec, 160 secs
lola: 194358 markings, 2719186 edges, 1141 markings/sec, 165 secs
lola: 199772 markings, 2815922 edges, 1083 markings/sec, 170 secs
lola: 205383 markings, 2905218 edges, 1122 markings/sec, 175 secs
lola: 211107 markings, 2990187 edges, 1145 markings/sec, 180 secs
lola: 216595 markings, 3083912 edges, 1098 markings/sec, 185 secs
lola: 221931 markings, 3182696 edges, 1067 markings/sec, 190 secs
lola: 227306 markings, 3279649 edges, 1075 markings/sec, 195 secs
lola: 232402 markings, 3386477 edges, 1019 markings/sec, 200 secs
lola: 237311 markings, 3499884 edges, 982 markings/sec, 205 secs
lola: 243571 markings, 3566702 edges, 1252 markings/sec, 210 secs
lola: 249787 markings, 3635037 edges, 1243 markings/sec, 215 secs
lola: 255839 markings, 3708645 edges, 1210 markings/sec, 220 secs
lola: 261583 markings, 3792983 edges, 1149 markings/sec, 225 secs
lola: 267320 markings, 3878723 edges, 1147 markings/sec, 230 secs
lola: 273016 markings, 3965894 edges, 1139 markings/sec, 235 secs
lola: 278815 markings, 4049132 edges, 1160 markings/sec, 240 secs
lola: 284310 markings, 4143169 edges, 1099 markings/sec, 245 secs
lola: 289572 markings, 4245022 edges, 1052 markings/sec, 250 secs
lola: 295787 markings, 4313294 edges, 1243 markings/sec, 255 secs
lola: 301690 markings, 4392036 edges, 1181 markings/sec, 260 secs
lola: 307295 markings, 4480964 edges, 1121 markings/sec, 265 secs
lola: 313549 markings, 4547426 edges, 1251 markings/sec, 270 secs
lola: 319459 markings, 4625721 edges, 1182 markings/sec, 275 secs
lola: 325059 markings, 4714538 edges, 1120 markings/sec, 280 secs
lola: 330825 markings, 4797539 edges, 1153 markings/sec, 285 secs
lola: 336279 markings, 4891377 edges, 1091 markings/sec, 290 secs
lola: 341517 markings, 4992515 edges, 1048 markings/sec, 295 secs
lola: 347215 markings, 5079085 edges, 1140 markings/sec, 300 secs
lola: 352797 markings, 5169951 edges, 1116 markings/sec, 305 secs
lola: 358150 markings, 5268687 edges, 1071 markings/sec, 310 secs
lola: 363763 markings, 5358299 edges, 1123 markings/sec, 315 secs
lola: 369365 markings, 5447914 edges, 1120 markings/sec, 320 secs
lola: 374715 markings, 5546507 edges, 1070 markings/sec, 325 secs
lola: 380030 markings, 5646142 edges, 1063 markings/sec, 330 secs
lola: 385319 markings, 5746543 edges, 1058 markings/sec, 335 secs
lola: 390356 markings, 5855781 edges, 1007 markings/sec, 340 secs
lola: 395305 markings, 5967982 edges, 990 markings/sec, 345 secs
lola: 401485 markings, 6037201 edges, 1236 markings/sec, 350 secs
lola: 407536 markings, 6110976 edges, 1210 markings/sec, 355 secs
lola: 413495 markings, 6187540 edges, 1192 markings/sec, 360 secs
lola: 419471 markings, 6263807 edges, 1195 markings/sec, 365 secs
lola: 425303 markings, 6345246 edges, 1166 markings/sec, 370 secs
lola: 431039 markings, 6429343 edges, 1147 markings/sec, 375 secs
lola: 436877 markings, 6509664 edges, 1168 markings/sec, 380 secs
lola: 442365 markings, 6602439 edges, 1098 markings/sec, 385 secs
lola: 447659 markings, 6701555 edges, 1059 markings/sec, 390 secs
lola: 453439 markings, 6785907 edges, 1156 markings/sec, 395 secs
lola: 458998 markings, 6877624 edges, 1112 markings/sec, 400 secs
lola: 464587 markings, 6967424 edges, 1118 markings/sec, 405 secs
lola: 470230 markings, 7055839 edges, 1129 markings/sec, 410 secs
lola: 475623 markings, 7153861 edges, 1079 markings/sec, 415 secs
lola: 481047 markings, 7249933 edges, 1085 markings/sec, 420 secs
lola: 486489 markings, 7345133 edges, 1088 markings/sec, 425 secs
lola: 491771 markings, 7445844 edges, 1056 markings/sec, 430 secs
lola: 496852 markings, 7553576 edges, 1016 markings/sec, 435 secs
lola: 502299 markings, 7648399 edges, 1089 markings/sec, 440 secs
lola: 508271 markings, 7724386 edges, 1194 markings/sec, 445 secs
lola: 514020 markings, 7807909 edges, 1150 markings/sec, 450 secs
lola: 519713 markings, 7893598 edges, 1139 markings/sec, 455 secs
lola: 525676 markings, 7969731 edges, 1193 markings/sec, 460 secs
lola: 531434 markings, 8052880 edges, 1152 markings/sec, 465 secs
lola: 537052 markings, 8140727 edges, 1124 markings/sec, 470 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 480 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___19_2__B_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
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: 2580 markings, 18053 edges, 516 markings/sec, 0 secs
lola: 8707 markings, 86530 edges, 1225 markings/sec, 5 secs
lola: 14887 markings, 152742 edges, 1236 markings/sec, 10 secs
lola: 20768 markings, 229567 edges, 1176 markings/sec, 15 secs
lola: 26368 markings, 315801 edges, 1120 markings/sec, 20 secs
lola: 32496 markings, 384013 edges, 1226 markings/sec, 25 secs
lola: 38370 markings, 460941 edges, 1175 markings/sec, 30 secs
lola: 43971 markings, 547423 edges, 1120 markings/sec, 35 secs
lola: 50091 markings, 615211 edges, 1224 markings/sec, 40 secs
lola: 55950 markings, 692321 edges, 1172 markings/sec, 45 secs
lola: 61585 markings, 779637 edges, 1127 markings/sec, 50 secs
lola: 67327 markings, 863038 edges, 1148 markings/sec, 55 secs
lola: 72798 markings, 956021 edges, 1094 markings/sec, 60 secs
lola: 78069 markings, 1055897 edges, 1054 markings/sec, 65 secs
lola: 83969 markings, 1134578 edges, 1180 markings/sec, 70 secs
lola: 89941 markings, 1210727 edges, 1194 markings/sec, 75 secs
lola: 96003 markings, 1282932 edges, 1212 markings/sec, 80 secs
lola: 102018 markings, 1357312 edges, 1203 markings/sec, 85 secs
lola: 107784 markings, 1440831 edges, 1153 markings/sec, 90 secs
lola: 113580 markings, 1522909 edges, 1159 markings/sec, 95 secs
lola: 119389 markings, 1603729 edges, 1162 markings/sec, 100 secs
lola: 125000 markings, 1691592 edges, 1122 markings/sec, 105 secs
lola: 130384 markings, 1787539 edges, 1077 markings/sec, 110 secs
lola: 136176 markings, 1869825 edges, 1158 markings/sec, 115 secs
lola: 142140 markings, 1946108 edges, 1193 markings/sec, 120 secs
lola: 147767 markings, 2033906 edges, 1125 markings/sec, 125 secs
lola: 153575 markings, 2114986 edges, 1162 markings/sec, 130 secs
lola: 159518 markings, 2190767 edges, 1189 markings/sec, 135 secs
lola: 165120 markings, 2278190 edges, 1120 markings/sec, 140 secs
lola: 170829 markings, 2362721 edges, 1142 markings/sec, 145 secs
lola: 176648 markings, 2443600 edges, 1164 markings/sec, 150 secs
lola: 182184 markings, 2534232 edges, 1107 markings/sec, 155 secs
lola: 187776 markings, 2623448 edges, 1118 markings/sec, 160 secs
lola: 193467 markings, 2708717 edges, 1138 markings/sec, 165 secs
lola: 198909 markings, 2802746 edges, 1088 markings/sec, 170 secs
lola: 204423 markings, 2893868 edges, 1103 markings/sec, 175 secs
lola: 210162 markings, 2976705 edges, 1148 markings/sec, 180 secs
lola: 215594 markings, 3070742 edges, 1086 markings/sec, 185 secs
lola: 220903 markings, 3168734 edges, 1062 markings/sec, 190 secs
lola: 226264 markings, 3264615 edges, 1072 markings/sec, 195 secs
lola: 231366 markings, 3369781 edges, 1020 markings/sec, 200 secs
lola: 236303 markings, 3480559 edges, 987 markings/sec, 205 secs
lola: 242361 markings, 3552572 edges, 1212 markings/sec, 210 secs
lola: 248467 markings, 3622414 edges, 1221 markings/sec, 215 secs
lola: 254514 markings, 3694244 edges, 1209 markings/sec, 220 secs
lola: 260283 markings, 3776060 edges, 1154 markings/sec, 225 secs
lola: 265950 markings, 3862103 edges, 1133 markings/sec, 230 secs
lola: 271633 markings, 3948221 edges, 1137 markings/sec, 235 secs
lola: 277427 markings, 4030257 edges, 1159 markings/sec, 240 secs
lola: 282936 markings, 4122275 edges, 1102 markings/sec, 245 secs
lola: 288231 markings, 4221808 edges, 1059 markings/sec, 250 secs
lola: 294199 markings, 4296768 edges, 1194 markings/sec, 255 secs
lola: 300150 markings, 4372231 edges, 1190 markings/sec, 260 secs
lola: 305808 markings, 4457518 edges, 1132 markings/sec, 265 secs
lola: 311847 markings, 4528970 edges, 1208 markings/sec, 270 secs
lola: 317787 markings, 4604482 edges, 1188 markings/sec, 275 secs
lola: 323445 markings, 4689730 edges, 1132 markings/sec, 280 secs
lola: 329119 markings, 4774246 edges, 1135 markings/sec, 285 secs
lola: 334607 markings, 4864955 edges, 1098 markings/sec, 290 secs
lola: 339857 markings, 4964150 edges, 1050 markings/sec, 295 secs
lola: 345378 markings, 5055045 edges, 1104 markings/sec, 300 secs
lola: 351000 markings, 5143331 edges, 1124 markings/sec, 305 secs
lola: 356385 markings, 5239871 edges, 1077 markings/sec, 310 secs
lola: 361835 markings, 5333817 edges, 1090 markings/sec, 315 secs
lola: 367509 markings, 5419148 edges, 1135 markings/sec, 320 secs
lola: 372889 markings, 5515304 edges, 1076 markings/sec, 325 secs
lola: 378124 markings, 5616374 edges, 1047 markings/sec, 330 secs
lola: 383435 markings, 5714562 edges, 1062 markings/sec, 335 secs
lola: 388496 markings, 5821280 edges, 1012 markings/sec, 340 secs
lola: 393410 markings, 5933319 edges, 983 markings/sec, 345 secs
lola: 399298 markings, 6011175 edges, 1178 markings/sec, 350 secs
lola: 405249 markings, 6086678 edges, 1190 markings/sec, 355 secs
lola: 411251 markings, 6160220 edges, 1200 markings/sec, 360 secs
lola: 417249 markings, 6234025 edges, 1200 markings/sec, 365 secs
lola: 422994 markings, 6316987 edges, 1149 markings/sec, 370 secs
lola: 428736 markings, 6399216 edges, 1148 markings/sec, 375 secs
lola: 434539 markings, 6479008 edges, 1161 markings/sec, 380 secs
lola: 440104 markings, 6566971 edges, 1113 markings/sec, 385 secs
lola: 445448 markings, 6663060 edges, 1069 markings/sec, 390 secs
lola: 451039 markings, 6751901 edges, 1118 markings/sec, 395 secs
lola: 456566 markings, 6843722 edges, 1105 markings/sec, 400 secs
lola: 462255 markings, 6928525 edges, 1138 markings/sec, 405 secs
lola: 467743 markings, 7020929 edges, 1098 markings/sec, 410 secs
lola: 473138 markings, 7117137 edges, 1079 markings/sec, 415 secs
lola: 478633 markings, 7209608 edges, 1099 markings/sec, 420 secs
lola: 483981 markings, 7306878 edges, 1070 markings/sec, 425 secs
lola: 489366 markings, 7402210 edges, 1077 markings/sec, 430 secs
lola: 494477 markings, 7507547 edges, 1022 markings/sec, 435 secs
lola: 499392 markings, 7619753 edges, 983 markings/sec, 440 secs
lola: 505313 markings, 7695564 edges, 1184 markings/sec, 445 secs
lola: 511249 markings, 7771144 edges, 1187 markings/sec, 450 secs
lola: 516729 markings, 7862192 edges, 1096 markings/sec, 455 secs
lola: 522636 markings, 7938765 edges, 1181 markings/sec, 460 secs
lola: 528549 markings, 8014832 edges, 1183 markings/sec, 465 secs
lola: 534055 markings, 8104850 edges, 1101 markings/sec, 470 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown 1 unknown unknown 1 1 unknown unknown 1 unknown 1 unknown unknown unknown
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494535417809

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished 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="PhaseVariation-PT-D20CS100"
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/PhaseVariation-PT-D20CS100.tgz
mv PhaseVariation-PT-D20CS100 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is PhaseVariation-PT-D20CS100, 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 r048-smll-149440869600128"
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 ;