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 S_PhaseVariation-PT-D20CS010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681200119
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496289797655


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PhaseVariation-PT-D20CS010: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_PhaseVariation-PT-D20CS010: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PhaseVariation-PT-D20CS010 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 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-D20CS010-UpperBounds.task
lola: MAX(pool__11_2_) : MAX(cell___11_1__A_) : MAX(cell___18_11__A_) : MAX(cell___6_20__B_) : MAX(cell___11_5__A_) : MAX(cell___4_13__A_) : MAX(cell___5_15__B_) : MAX(cell___15_1__A_) : MAX(pool__4_2_) : MAX(cell___1_14__A_) : MAX(cell___8_2__B_) : MAX(cell___6_11__A_) : MAX(cell___11_4__A_) : MAX(pool__15_4_) : MAX(cell___6_5__B_) : MAX(cell___8_3__A_)
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(pool__11_2_)
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 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___11_1__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: 2905 markings, 16177 edges, 581 markings/sec, 0 secs
lola: 9223 markings, 77271 edges, 1264 markings/sec, 5 secs
lola: 15595 markings, 136372 edges, 1274 markings/sec, 10 secs
lola: 21608 markings, 207987 edges, 1203 markings/sec, 15 secs
lola: 27344 markings, 289436 edges, 1147 markings/sec, 20 secs
lola: 33759 markings, 347660 edges, 1283 markings/sec, 25 secs
lola: 39765 markings, 419829 edges, 1201 markings/sec, 30 secs
lola: 45622 markings, 499259 edges, 1171 markings/sec, 35 secs
lola: 52058 markings, 558061 edges, 1287 markings/sec, 40 secs
lola: 58047 markings, 632660 edges, 1198 markings/sec, 45 secs
lola: 63831 markings, 714155 edges, 1157 markings/sec, 50 secs
lola: 69699 markings, 792669 edges, 1174 markings/sec, 55 secs
lola: 75225 markings, 883279 edges, 1105 markings/sec, 60 secs
lola: 80653 markings, 977185 edges, 1086 markings/sec, 65 secs
lola: 86993 markings, 1040330 edges, 1268 markings/sec, 70 secs
lola: 93265 markings, 1105315 edges, 1254 markings/sec, 75 secs
lola: 99386 markings, 1175268 edges, 1224 markings/sec, 80 secs
lola: 105450 markings, 1247435 edges, 1213 markings/sec, 85 secs
lola: 111479 markings, 1321243 edges, 1206 markings/sec, 90 secs
lola: 117419 markings, 1397614 edges, 1188 markings/sec, 95 secs
lola: 123323 markings, 1474848 edges, 1181 markings/sec, 100 secs
lola: 128928 markings, 1562870 edges, 1121 markings/sec, 105 secs
lola: 134671 markings, 1645497 edges, 1149 markings/sec, 110 secs
lola: 140824 markings, 1714582 edges, 1231 markings/sec, 115 secs
lola: 146738 markings, 1791851 edges, 1183 markings/sec, 120 secs
lola: 152604 markings, 1870665 edges, 1173 markings/sec, 125 secs
lola: 158716 markings, 1940115 edges, 1222 markings/sec, 130 secs
lola: 164582 markings, 2018087 edges, 1173 markings/sec, 135 secs
lola: 170393 markings, 2098292 edges, 1162 markings/sec, 140 secs
lola: 176379 markings, 2172372 edges, 1197 markings/sec, 145 secs
lola: 182106 markings, 2255815 edges, 1145 markings/sec, 150 secs
lola: 187808 markings, 2340752 edges, 1140 markings/sec, 155 secs
lola: 193690 markings, 2418851 edges, 1176 markings/sec, 160 secs
lola: 199297 markings, 2506897 edges, 1121 markings/sec, 165 secs
lola: 204979 markings, 2591774 edges, 1136 markings/sec, 170 secs
lola: 210864 markings, 2669126 edges, 1177 markings/sec, 175 secs
lola: 216460 markings, 2756867 edges, 1119 markings/sec, 180 secs
lola: 221905 markings, 2849692 edges, 1089 markings/sec, 185 secs
lola: 227401 markings, 2940581 edges, 1099 markings/sec, 190 secs
lola: 232604 markings, 3041828 edges, 1041 markings/sec, 195 secs
lola: 237664 markings, 3147728 edges, 1012 markings/sec, 200 secs
lola: 244118 markings, 3205698 edges, 1291 markings/sec, 205 secs
lola: 250492 markings, 3266218 edges, 1275 markings/sec, 210 secs
lola: 256628 markings, 3334742 edges, 1227 markings/sec, 215 secs
lola: 262467 markings, 3413624 edges, 1168 markings/sec, 220 secs
lola: 268368 markings, 3491427 edges, 1180 markings/sec, 225 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 235 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: 2436 markings, 14729 edges, 487 markings/sec, 0 secs
lola: 8743 markings, 78123 edges, 1261 markings/sec, 5 secs
lola: 15010 markings, 142796 edges, 1253 markings/sec, 10 secs
lola: 21050 markings, 214962 edges, 1208 markings/sec, 15 secs
lola: 26760 markings, 298709 edges, 1142 markings/sec, 20 secs
lola: 33038 markings, 363117 edges, 1256 markings/sec, 25 secs
lola: 39029 markings, 437435 edges, 1198 markings/sec, 30 secs
lola: 44711 markings, 522386 edges, 1136 markings/sec, 35 secs
lola: 51040 markings, 584176 edges, 1266 markings/sec, 40 secs
lola: 56999 markings, 658939 edges, 1192 markings/sec, 45 secs
lola: 62672 markings, 743620 edges, 1135 markings/sec, 50 secs
lola: 68479 markings, 823816 edges, 1161 markings/sec, 55 secs
lola: 73979 markings, 914383 edges, 1100 markings/sec, 60 secs
lola: 79259 markings, 1012600 edges, 1056 markings/sec, 65 secs
lola: 85456 markings, 1079852 edges, 1239 markings/sec, 70 secs
lola: 91500 markings, 1152362 edges, 1209 markings/sec, 75 secs
lola: 97557 markings, 1223786 edges, 1211 markings/sec, 80 secs
lola: 103680 markings, 1293116 edges, 1225 markings/sec, 85 secs
lola: 109536 markings, 1372306 edges, 1171 markings/sec, 90 secs
lola: 115350 markings, 1452519 edges, 1163 markings/sec, 95 secs
lola: 121272 markings, 1528541 edges, 1184 markings/sec, 100 secs
lola: 126864 markings, 1616060 edges, 1118 markings/sec, 105 secs
lola: 132196 markings, 1712727 edges, 1066 markings/sec, 110 secs
lola: 138251 markings, 1784751 edges, 1211 markings/sec, 115 secs
lola: 144288 markings, 1857218 edges, 1207 markings/sec, 120 secs
lola: 149840 markings, 1946579 edges, 1110 markings/sec, 125 secs
lola: 155897 markings, 2017697 edges, 1211 markings/sec, 130 secs
lola: 161908 markings, 2090326 edges, 1202 markings/sec, 135 secs
lola: 167447 markings, 2179382 edges, 1108 markings/sec, 140 secs
lola: 173351 markings, 2256326 edges, 1181 markings/sec, 145 secs
lola: 179224 markings, 2334233 edges, 1175 markings/sec, 150 secs
lola: 184652 markings, 2427614 edges, 1086 markings/sec, 155 secs
lola: 190579 markings, 2503628 edges, 1185 markings/sec, 160 secs
lola: 196221 markings, 2589327 edges, 1128 markings/sec, 165 secs
lola: 201580 markings, 2684050 edges, 1072 markings/sec, 170 secs
lola: 207407 markings, 2762990 edges, 1165 markings/sec, 175 secs
lola: 213064 markings, 2846210 edges, 1131 markings/sec, 180 secs
lola: 218480 markings, 2939417 edges, 1083 markings/sec, 185 secs
lola: 223889 markings, 3032401 edges, 1082 markings/sec, 190 secs
lola: 229177 markings, 3129851 edges, 1058 markings/sec, 195 secs
lola: 234042 markings, 3230883 edges, 973 markings/sec, 200 secs
lola: 239534 markings, 3323107 edges, 1098 markings/sec, 205 secs
lola: 245768 markings, 3389926 edges, 1247 markings/sec, 210 secs
lola: 252112 markings, 3452610 edges, 1269 markings/sec, 215 secs
lola: 258112 markings, 3527152 edges, 1200 markings/sec, 220 secs
lola: 263807 markings, 3612417 edges, 1139 markings/sec, 225 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___6_20__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: 2534 markings, 12906 edges, 507 markings/sec, 0 secs
lola: 8862 markings, 73675 edges, 1266 markings/sec, 5 secs
lola: 15222 markings, 132723 edges, 1272 markings/sec, 10 secs
lola: 21251 markings, 203428 edges, 1206 markings/sec, 15 secs
lola: 26991 markings, 284233 edges, 1148 markings/sec, 20 secs
lola: 33342 markings, 343838 edges, 1270 markings/sec, 25 secs
lola: 39361 markings, 414939 edges, 1204 markings/sec, 30 secs
lola: 45093 markings, 495752 edges, 1146 markings/sec, 35 secs
lola: 51482 markings, 553184 edges, 1278 markings/sec, 40 secs
lola: 57449 markings, 625670 edges, 1193 markings/sec, 45 secs
lola: 63164 markings, 706888 edges, 1143 markings/sec, 50 secs
lola: 68995 markings, 783794 edges, 1166 markings/sec, 55 secs
lola: 74478 markings, 872831 edges, 1097 markings/sec, 60 secs
lola: 79726 markings, 970163 edges, 1050 markings/sec, 65 secs
lola: 86072 markings, 1029843 edges, 1269 markings/sec, 70 secs
lola: 92228 markings, 1096131 edges, 1231 markings/sec, 75 secs
lola: 98291 markings, 1165354 edges, 1213 markings/sec, 80 secs
lola: 104390 markings, 1233522 edges, 1220 markings/sec, 85 secs
lola: 110332 markings, 1307496 edges, 1188 markings/sec, 90 secs
lola: 116186 markings, 1384058 edges, 1171 markings/sec, 95 secs
lola: 122113 markings, 1457705 edges, 1185 markings/sec, 100 secs
lola: 127695 markings, 1543792 edges, 1116 markings/sec, 105 secs
lola: 133189 markings, 1632747 edges, 1099 markings/sec, 110 secs
lola: 139309 markings, 1700336 edges, 1224 markings/sec, 115 secs
lola: 145251 markings, 1772284 edges, 1188 markings/sec, 120 secs
lola: 150939 markings, 1854612 edges, 1138 markings/sec, 125 secs
lola: 157018 markings, 1922477 edges, 1216 markings/sec, 130 secs
lola: 162950 markings, 1995239 edges, 1186 markings/sec, 135 secs
lola: 168599 markings, 2077850 edges, 1130 markings/sec, 140 secs
lola: 174526 markings, 2151305 edges, 1185 markings/sec, 145 secs
lola: 180332 markings, 2229094 edges, 1161 markings/sec, 150 secs
lola: 185846 markings, 2317419 edges, 1103 markings/sec, 155 secs
lola: 191798 markings, 2390432 edges, 1190 markings/sec, 160 secs
lola: 197379 markings, 2476150 edges, 1116 markings/sec, 165 secs
lola: 202781 markings, 2567825 edges, 1080 markings/sec, 170 secs
lola: 208725 markings, 2640267 edges, 1189 markings/sec, 175 secs
lola: 214342 markings, 2724305 edges, 1123 markings/sec, 180 secs
lola: 219694 markings, 2818015 edges, 1070 markings/sec, 185 secs
lola: 225228 markings, 2904536 edges, 1107 markings/sec, 190 secs
lola: 230466 markings, 3001458 edges, 1048 markings/sec, 195 secs
lola: 235527 markings, 3104546 edges, 1012 markings/sec, 200 secs
lola: 241419 markings, 3179021 edges, 1178 markings/sec, 205 secs
lola: 247653 markings, 3241822 edges, 1247 markings/sec, 210 secs
lola: 253939 markings, 3302190 edges, 1257 markings/sec, 215 secs
lola: 259817 markings, 3377186 edges, 1176 markings/sec, 220 secs
lola: 265578 markings, 3456509 edges, 1152 markings/sec, 225 secs
lola: 271393 markings, 3534498 edges, 1163 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___11_5__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: 2725 markings, 19917 edges, 545 markings/sec, 0 secs
lola: 8844 markings, 88737 edges, 1224 markings/sec, 5 secs
lola: 15021 markings, 154958 edges, 1235 markings/sec, 10 secs
lola: 20890 markings, 231920 edges, 1174 markings/sec, 15 secs
lola: 26486 markings, 318324 edges, 1119 markings/sec, 20 secs
lola: 32620 markings, 386146 edges, 1227 markings/sec, 25 secs
lola: 38494 markings, 463782 edges, 1175 markings/sec, 30 secs
lola: 44118 markings, 550878 edges, 1125 markings/sec, 35 secs
lola: 50288 markings, 618377 edges, 1234 markings/sec, 40 secs
lola: 56150 markings, 696430 edges, 1172 markings/sec, 45 secs
lola: 61750 markings, 783312 edges, 1120 markings/sec, 50 secs
lola: 67481 markings, 865911 edges, 1146 markings/sec, 55 secs
lola: 72911 markings, 958401 edges, 1086 markings/sec, 60 secs
lola: 78147 markings, 1058066 edges, 1047 markings/sec, 65 secs
lola: 84040 markings, 1136135 edges, 1179 markings/sec, 70 secs
lola: 89998 markings, 1211703 edges, 1192 markings/sec, 75 secs
lola: 96037 markings, 1283843 edges, 1208 markings/sec, 80 secs
lola: 102005 markings, 1357776 edges, 1194 markings/sec, 85 secs
lola: 107759 markings, 1441040 edges, 1151 markings/sec, 90 secs
lola: 113546 markings, 1522800 edges, 1157 markings/sec, 95 secs
lola: 119346 markings, 1603455 edges, 1160 markings/sec, 100 secs
lola: 124936 markings, 1691210 edges, 1118 markings/sec, 105 secs
lola: 130311 markings, 1786720 edges, 1075 markings/sec, 110 secs
lola: 136076 markings, 1869159 edges, 1153 markings/sec, 115 secs
lola: 142034 markings, 1945067 edges, 1192 markings/sec, 120 secs
lola: 147653 markings, 2032720 edges, 1124 markings/sec, 125 secs
lola: 153426 markings, 2114032 edges, 1155 markings/sec, 130 secs
lola: 159355 markings, 2189414 edges, 1186 markings/sec, 135 secs
lola: 164963 markings, 2275593 edges, 1122 markings/sec, 140 secs
lola: 170639 markings, 2360044 edges, 1135 markings/sec, 145 secs
lola: 176435 markings, 2440659 edges, 1159 markings/sec, 150 secs
lola: 181959 markings, 2530765 edges, 1105 markings/sec, 155 secs
lola: 187501 markings, 2620703 edges, 1108 markings/sec, 160 secs
lola: 193182 markings, 2704637 edges, 1136 markings/sec, 165 secs
lola: 198632 markings, 2797624 edges, 1090 markings/sec, 170 secs
lola: 204074 markings, 2890329 edges, 1088 markings/sec, 175 secs
lola: 209826 markings, 2971874 edges, 1150 markings/sec, 180 secs
lola: 215267 markings, 3064472 edges, 1088 markings/sec, 185 secs
lola: 220526 markings, 3163065 edges, 1052 markings/sec, 190 secs
lola: 225871 markings, 3258558 edges, 1069 markings/sec, 195 secs
lola: 230976 markings, 3362049 edges, 1021 markings/sec, 200 secs
lola: 235914 markings, 3471388 edges, 988 markings/sec, 205 secs
lola: 241809 markings, 3547831 edges, 1179 markings/sec, 210 secs
lola: 247923 markings, 3616860 edges, 1223 markings/sec, 215 secs
lola: 254017 markings, 3686368 edges, 1219 markings/sec, 220 secs
lola: 259766 markings, 3768154 edges, 1150 markings/sec, 225 secs
lola: 265389 markings, 3854311 edges, 1125 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___4_13__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: 2707 markings, 19581 edges, 541 markings/sec, 0 secs
lola: 8853 markings, 88567 edges, 1229 markings/sec, 5 secs
lola: 15054 markings, 155170 edges, 1240 markings/sec, 10 secs
lola: 20942 markings, 232500 edges, 1178 markings/sec, 15 secs
lola: 26563 markings, 319379 edges, 1124 markings/sec, 20 secs
lola: 32730 markings, 387311 edges, 1233 markings/sec, 25 secs
lola: 38615 markings, 465477 edges, 1177 markings/sec, 30 secs
lola: 44238 markings, 552707 edges, 1125 markings/sec, 35 secs
lola: 50425 markings, 619723 edges, 1237 markings/sec, 40 secs
lola: 56274 markings, 698150 edges, 1170 markings/sec, 45 secs
lola: 61870 markings, 785616 edges, 1119 markings/sec, 50 secs
lola: 67612 markings, 867930 edges, 1148 markings/sec, 55 secs
lola: 73050 markings, 960521 edges, 1088 markings/sec, 60 secs
lola: 78274 markings, 1060593 edges, 1045 markings/sec, 65 secs
lola: 84191 markings, 1137439 edges, 1183 markings/sec, 70 secs
lola: 90154 markings, 1213141 edges, 1193 markings/sec, 75 secs
lola: 96174 markings, 1285493 edges, 1204 markings/sec, 80 secs
lola: 102164 markings, 1359502 edges, 1198 markings/sec, 85 secs
lola: 107913 markings, 1442758 edges, 1150 markings/sec, 90 secs
lola: 113681 markings, 1524972 edges, 1154 markings/sec, 95 secs
lola: 119482 markings, 1604995 edges, 1160 markings/sec, 100 secs
lola: 125063 markings, 1692818 edges, 1116 markings/sec, 105 secs
lola: 130424 markings, 1788439 edges, 1072 markings/sec, 110 secs
lola: 136195 markings, 1870380 edges, 1154 markings/sec, 115 secs
lola: 142134 markings, 1946344 edges, 1188 markings/sec, 120 secs
lola: 147745 markings, 2033817 edges, 1122 markings/sec, 125 secs
lola: 153520 markings, 2114784 edges, 1155 markings/sec, 130 secs
lola: 159432 markings, 2190045 edges, 1182 markings/sec, 135 secs
lola: 165025 markings, 2276471 edges, 1119 markings/sec, 140 secs
lola: 170698 markings, 2360781 edges, 1135 markings/sec, 145 secs
lola: 176493 markings, 2441267 edges, 1159 markings/sec, 150 secs
lola: 182018 markings, 2531416 edges, 1105 markings/sec, 155 secs
lola: 187570 markings, 2621306 edges, 1110 markings/sec, 160 secs
lola: 193258 markings, 2705947 edges, 1138 markings/sec, 165 secs
lola: 198705 markings, 2798792 edges, 1089 markings/sec, 170 secs
lola: 204162 markings, 2891001 edges, 1091 markings/sec, 175 secs
lola: 209904 markings, 2972909 edges, 1148 markings/sec, 180 secs
lola: 215344 markings, 3065578 edges, 1088 markings/sec, 185 secs
lola: 220612 markings, 3164072 edges, 1054 markings/sec, 190 secs
lola: 225957 markings, 3259614 edges, 1069 markings/sec, 195 secs
lola: 231053 markings, 3363397 edges, 1019 markings/sec, 200 secs
lola: 235990 markings, 3472810 edges, 987 markings/sec, 205 secs
lola: 241895 markings, 3548958 edges, 1181 markings/sec, 210 secs
lola: 248014 markings, 3617601 edges, 1224 markings/sec, 215 secs
lola: 254093 markings, 3687311 edges, 1216 markings/sec, 220 secs
lola: 259838 markings, 3768940 edges, 1149 markings/sec, 225 secs
lola: 265470 markings, 3855134 edges, 1126 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___5_15__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: 2806 markings, 19304 edges, 561 markings/sec, 0 secs
lola: 8973 markings, 88461 edges, 1233 markings/sec, 5 secs
lola: 15181 markings, 155111 edges, 1242 markings/sec, 10 secs
lola: 21081 markings, 232619 edges, 1180 markings/sec, 15 secs
lola: 26708 markings, 319679 edges, 1125 markings/sec, 20 secs
lola: 32897 markings, 387829 edges, 1238 markings/sec, 25 secs
lola: 38790 markings, 466358 edges, 1179 markings/sec, 30 secs
lola: 44411 markings, 553720 edges, 1124 markings/sec, 35 secs
lola: 50608 markings, 620462 edges, 1239 markings/sec, 40 secs
lola: 56473 markings, 698908 edges, 1173 markings/sec, 45 secs
lola: 62058 markings, 786816 edges, 1117 markings/sec, 50 secs
lola: 67810 markings, 869015 edges, 1150 markings/sec, 55 secs
lola: 73252 markings, 961866 edges, 1088 markings/sec, 60 secs
lola: 78486 markings, 1062117 edges, 1047 markings/sec, 65 secs
lola: 84428 markings, 1138459 edges, 1188 markings/sec, 70 secs
lola: 90394 markings, 1213903 edges, 1193 markings/sec, 75 secs
lola: 96402 markings, 1286978 edges, 1202 markings/sec, 80 secs
lola: 102395 markings, 1361078 edges, 1199 markings/sec, 85 secs
lola: 108154 markings, 1444081 edges, 1152 markings/sec, 90 secs
lola: 113919 markings, 1526505 edges, 1153 markings/sec, 95 secs
lola: 119730 markings, 1606511 edges, 1162 markings/sec, 100 secs
lola: 125310 markings, 1694651 edges, 1116 markings/sec, 105 secs
lola: 130656 markings, 1790716 edges, 1069 markings/sec, 110 secs
lola: 136445 markings, 1872136 edges, 1158 markings/sec, 115 secs
lola: 142389 markings, 1948148 edges, 1189 markings/sec, 120 secs
lola: 147998 markings, 2035877 edges, 1122 markings/sec, 125 secs
lola: 153790 markings, 2116396 edges, 1158 markings/sec, 130 secs
lola: 159706 markings, 2191973 edges, 1183 markings/sec, 135 secs
lola: 165290 markings, 2279050 edges, 1117 markings/sec, 140 secs
lola: 170981 markings, 2363379 edges, 1138 markings/sec, 145 secs
lola: 176786 markings, 2444014 edges, 1161 markings/sec, 150 secs
lola: 182308 markings, 2534406 edges, 1104 markings/sec, 155 secs
lola: 187865 markings, 2623126 edges, 1111 markings/sec, 160 secs
lola: 193547 markings, 2708292 edges, 1136 markings/sec, 165 secs
lola: 198986 markings, 2801852 edges, 1088 markings/sec, 170 secs
lola: 204466 markings, 2893220 edges, 1096 markings/sec, 175 secs
lola: 210199 markings, 2975435 edges, 1147 markings/sec, 180 secs
lola: 215625 markings, 3068726 edges, 1085 markings/sec, 185 secs
lola: 220906 markings, 3166825 edges, 1056 markings/sec, 190 secs
lola: 226251 markings, 3262734 edges, 1069 markings/sec, 195 secs
lola: 231346 markings, 3367274 edges, 1019 markings/sec, 200 secs
lola: 236278 markings, 3477273 edges, 986 markings/sec, 205 secs
lola: 242254 markings, 3550853 edges, 1195 markings/sec, 210 secs
lola: 248369 markings, 3619862 edges, 1223 markings/sec, 215 secs
lola: 254418 markings, 3690530 edges, 1210 markings/sec, 220 secs
lola: 260161 markings, 3772342 edges, 1149 markings/sec, 225 secs
lola: 265811 markings, 3857980 edges, 1130 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___15_1__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: 3204 markings, 18105 edges, 641 markings/sec, 0 secs
lola: 9548 markings, 80848 edges, 1269 markings/sec, 5 secs
lola: 15972 markings, 140438 edges, 1285 markings/sec, 10 secs
lola: 22040 markings, 212313 edges, 1214 markings/sec, 15 secs
lola: 27848 markings, 293361 edges, 1162 markings/sec, 20 secs
lola: 34229 markings, 350974 edges, 1276 markings/sec, 25 secs
lola: 40207 markings, 423967 edges, 1196 markings/sec, 30 secs
lola: 46012 markings, 501772 edges, 1161 markings/sec, 35 secs
lola: 52334 markings, 560922 edges, 1264 markings/sec, 40 secs
lola: 58241 markings, 634876 edges, 1181 markings/sec, 45 secs
lola: 64016 markings, 716325 edges, 1155 markings/sec, 50 secs
lola: 69824 markings, 794130 edges, 1162 markings/sec, 55 secs
lola: 75382 markings, 885546 edges, 1112 markings/sec, 60 secs
lola: 80865 markings, 978923 edges, 1097 markings/sec, 65 secs
lola: 87192 markings, 1042465 edges, 1265 markings/sec, 70 secs
lola: 93496 markings, 1106397 edges, 1261 markings/sec, 75 secs
lola: 99601 markings, 1177042 edges, 1221 markings/sec, 80 secs
lola: 105651 markings, 1250122 edges, 1210 markings/sec, 85 secs
lola: 111692 markings, 1323803 edges, 1208 markings/sec, 90 secs
lola: 117636 markings, 1400266 edges, 1189 markings/sec, 95 secs
lola: 123528 markings, 1478189 edges, 1178 markings/sec, 100 secs
lola: 129144 markings, 1566326 edges, 1123 markings/sec, 105 secs
lola: 134941 markings, 1647965 edges, 1159 markings/sec, 110 secs
lola: 141093 markings, 1717733 edges, 1230 markings/sec, 115 secs
lola: 146991 markings, 1796244 edges, 1180 markings/sec, 120 secs
lola: 152900 markings, 1874090 edges, 1182 markings/sec, 125 secs
lola: 159040 markings, 1943006 edges, 1228 markings/sec, 130 secs
lola: 164889 markings, 2022063 edges, 1170 markings/sec, 135 secs
lola: 170731 markings, 2101760 edges, 1168 markings/sec, 140 secs
lola: 176724 markings, 2176266 edges, 1199 markings/sec, 145 secs
lola: 182439 markings, 2260652 edges, 1143 markings/sec, 150 secs
lola: 188196 markings, 2344083 edges, 1151 markings/sec, 155 secs
lola: 194056 markings, 2423346 edges, 1172 markings/sec, 160 secs
lola: 199629 markings, 2512693 edges, 1115 markings/sec, 165 secs
lola: 205346 markings, 2596583 edges, 1143 markings/sec, 170 secs
lola: 211216 markings, 2674797 edges, 1174 markings/sec, 175 secs
lola: 216816 markings, 2762928 edges, 1120 markings/sec, 180 secs
lola: 222298 markings, 2854781 edges, 1096 markings/sec, 185 secs
lola: 227760 markings, 2947053 edges, 1092 markings/sec, 190 secs
lola: 232966 markings, 3048360 edges, 1041 markings/sec, 195 secs
lola: 238144 markings, 3150512 edges, 1036 markings/sec, 200 secs
lola: 244580 markings, 3209492 edges, 1287 markings/sec, 205 secs
lola: 250940 markings, 3270744 edges, 1272 markings/sec, 210 secs
lola: 257077 markings, 3339520 edges, 1227 markings/sec, 215 secs
lola: 262887 markings, 3419705 edges, 1162 markings/sec, 220 secs
lola: 268825 markings, 3496430 edges, 1188 markings/sec, 225 secs
lola: 274687 markings, 3575950 edges, 1172 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__4_2_)
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 9 will run for 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___1_14__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: 2825 markings, 15680 edges, 565 markings/sec, 0 secs
lola: 9203 markings, 76859 edges, 1276 markings/sec, 5 secs
lola: 15612 markings, 136481 edges, 1282 markings/sec, 10 secs
lola: 21654 markings, 208205 edges, 1208 markings/sec, 15 secs
lola: 27411 markings, 290840 edges, 1151 markings/sec, 20 secs
lola: 33888 markings, 348543 edges, 1295 markings/sec, 25 secs
lola: 39932 markings, 421364 edges, 1209 markings/sec, 30 secs
lola: 45768 markings, 500312 edges, 1167 markings/sec, 35 secs
lola: 52184 markings, 559576 edges, 1283 markings/sec, 40 secs
lola: 58156 markings, 634025 edges, 1194 markings/sec, 45 secs
lola: 63931 markings, 715286 edges, 1155 markings/sec, 50 secs
lola: 69560 markings, 790235 edges, 1126 markings/sec, 55 secs
lola: 74744 markings, 876181 edges, 1037 markings/sec, 60 secs
lola: 79748 markings, 967853 edges, 1001 markings/sec, 65 secs
lola: 85788 markings, 1026288 edges, 1208 markings/sec, 70 secs
lola: 91644 markings, 1091921 edges, 1171 markings/sec, 75 secs
lola: 97472 markings, 1157595 edges, 1166 markings/sec, 80 secs
lola: 103414 markings, 1219674 edges, 1188 markings/sec, 85 secs
lola: 109071 markings, 1292851 edges, 1131 markings/sec, 90 secs
lola: 114896 markings, 1370378 edges, 1165 markings/sec, 95 secs
lola: 120939 markings, 1442256 edges, 1209 markings/sec, 100 secs
lola: 126612 markings, 1526213 edges, 1135 markings/sec, 105 secs
lola: 132028 markings, 1618030 edges, 1083 markings/sec, 110 secs
lola: 138084 markings, 1689100 edges, 1211 markings/sec, 115 secs
lola: 144169 markings, 1758779 edges, 1217 markings/sec, 120 secs
lola: 149800 markings, 1844301 edges, 1126 markings/sec, 125 secs
lola: 155870 markings, 1913192 edges, 1214 markings/sec, 130 secs
lola: 161944 markings, 1981953 edges, 1215 markings/sec, 135 secs
lola: 167522 markings, 2067842 edges, 1116 markings/sec, 140 secs
lola: 173488 markings, 2141220 edges, 1193 markings/sec, 145 secs
lola: 179417 markings, 2215936 edges, 1186 markings/sec, 150 secs
lola: 184872 markings, 2307174 edges, 1091 markings/sec, 155 secs
lola: 190889 markings, 2378683 edges, 1203 markings/sec, 160 secs
lola: 196550 markings, 2462705 edges, 1132 markings/sec, 165 secs
lola: 201976 markings, 2554309 edges, 1085 markings/sec, 170 secs
lola: 207922 markings, 2627917 edges, 1189 markings/sec, 175 secs
lola: 213595 markings, 2710446 edges, 1135 markings/sec, 180 secs
lola: 219013 markings, 2801907 edges, 1084 markings/sec, 185 secs
lola: 224500 markings, 2890862 edges, 1097 markings/sec, 190 secs
lola: 229792 markings, 2986278 edges, 1058 markings/sec, 195 secs
lola: 234848 markings, 3089862 edges, 1011 markings/sec, 200 secs
lola: 240552 markings, 3171580 edges, 1141 markings/sec, 205 secs
lola: 246797 markings, 3234351 edges, 1249 markings/sec, 210 secs
lola: 253172 markings, 3292561 edges, 1275 markings/sec, 215 secs
lola: 259115 markings, 3366128 edges, 1189 markings/sec, 220 secs
lola: 264849 markings, 3446854 edges, 1147 markings/sec, 225 secs
lola: 270748 markings, 3523066 edges, 1180 markings/sec, 230 secs
lola: 276604 markings, 3600342 edges, 1171 markings/sec, 235 secs
lola: 282280 markings, 3683603 edges, 1135 markings/sec, 240 secs
lola: 287704 markings, 3775917 edges, 1085 markings/sec, 245 secs
lola: 293660 markings, 3849219 edges, 1191 markings/sec, 250 secs
lola: 299804 markings, 3915402 edges, 1229 markings/sec, 255 secs
lola: 305631 markings, 3992493 edges, 1165 markings/sec, 260 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 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___8_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: 2957 markings, 20956 edges, 591 markings/sec, 0 secs
lola: 9121 markings, 91235 edges, 1233 markings/sec, 5 secs
lola: 15371 markings, 158020 edges, 1250 markings/sec, 10 secs
lola: 21269 markings, 237099 edges, 1180 markings/sec, 15 secs
lola: 26909 markings, 325325 edges, 1128 markings/sec, 20 secs
lola: 33162 markings, 392318 edges, 1251 markings/sec, 25 secs
lola: 39081 markings, 470854 edges, 1184 markings/sec, 30 secs
lola: 44701 markings, 559777 edges, 1124 markings/sec, 35 secs
lola: 50974 markings, 625358 edges, 1255 markings/sec, 40 secs
lola: 56848 markings, 704969 edges, 1175 markings/sec, 45 secs
lola: 62468 markings, 793439 edges, 1124 markings/sec, 50 secs
lola: 68205 markings, 877695 edges, 1147 markings/sec, 55 secs
lola: 73661 markings, 971552 edges, 1091 markings/sec, 60 secs
lola: 78906 markings, 1072858 edges, 1049 markings/sec, 65 secs
lola: 85004 markings, 1145319 edges, 1220 markings/sec, 70 secs
lola: 90985 markings, 1221620 edges, 1196 markings/sec, 75 secs
lola: 96948 markings, 1297640 edges, 1193 markings/sec, 80 secs
lola: 103005 markings, 1370940 edges, 1211 markings/sec, 85 secs
lola: 108809 markings, 1454145 edges, 1161 markings/sec, 90 secs
lola: 114537 markings, 1539392 edges, 1146 markings/sec, 95 secs
lola: 120437 markings, 1617744 edges, 1180 markings/sec, 100 secs
lola: 126002 markings, 1708042 edges, 1113 markings/sec, 105 secs
lola: 131342 markings, 1805872 edges, 1068 markings/sec, 110 secs
lola: 137256 markings, 1884873 edges, 1183 markings/sec, 115 secs
lola: 143227 markings, 1961483 edges, 1194 markings/sec, 120 secs
lola: 148805 markings, 2052003 edges, 1116 markings/sec, 125 secs
lola: 154704 markings, 2130461 edges, 1180 markings/sec, 130 secs
lola: 160657 markings, 2206761 edges, 1191 markings/sec, 135 secs
lola: 166213 markings, 2296643 edges, 1111 markings/sec, 140 secs
lola: 171997 markings, 2379418 edges, 1157 markings/sec, 145 secs
lola: 177826 markings, 2460526 edges, 1166 markings/sec, 150 secs
lola: 183284 markings, 2554760 edges, 1092 markings/sec, 155 secs
lola: 189038 markings, 2639126 edges, 1151 markings/sec, 160 secs
lola: 194676 markings, 2727051 edges, 1128 markings/sec, 165 secs
lola: 200069 markings, 2823557 edges, 1079 markings/sec, 170 secs
lola: 205700 markings, 2911021 edges, 1126 markings/sec, 175 secs
lola: 211380 markings, 2996536 edges, 1136 markings/sec, 180 secs
lola: 216785 markings, 3092018 edges, 1081 markings/sec, 185 secs
lola: 222141 markings, 3189039 edges, 1071 markings/sec, 190 secs
lola: 227468 markings, 3286864 edges, 1065 markings/sec, 195 secs
lola: 232548 markings, 3393482 edges, 1016 markings/sec, 200 secs
lola: 237545 markings, 3502723 edges, 999 markings/sec, 205 secs
lola: 243799 markings, 3568795 edges, 1251 markings/sec, 210 secs
lola: 249988 markings, 3636889 edges, 1238 markings/sec, 215 secs
lola: 255971 markings, 3711843 edges, 1197 markings/sec, 220 secs
lola: 261682 markings, 3796464 edges, 1142 markings/sec, 225 secs
lola: 267418 markings, 3881201 edges, 1147 markings/sec, 230 secs
lola: 273090 markings, 3968344 edges, 1134 markings/sec, 235 secs
lola: 278865 markings, 4051538 edges, 1155 markings/sec, 240 secs
lola: 284298 markings, 4146819 edges, 1087 markings/sec, 245 secs
lola: 289513 markings, 4249624 edges, 1043 markings/sec, 250 secs
lola: 295778 markings, 4314907 edges, 1253 markings/sec, 255 secs
lola: 301661 markings, 4393463 edges, 1177 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 270 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___6_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: 2705 markings, 18703 edges, 541 markings/sec, 0 secs
lola: 8885 markings, 87796 edges, 1236 markings/sec, 5 secs
lola: 15114 markings, 154722 edges, 1246 markings/sec, 10 secs
lola: 21028 markings, 232450 edges, 1183 markings/sec, 15 secs
lola: 26678 markings, 319890 edges, 1130 markings/sec, 20 secs
lola: 32873 markings, 388126 edges, 1239 markings/sec, 25 secs
lola: 38772 markings, 466784 edges, 1180 markings/sec, 30 secs
lola: 44407 markings, 554551 edges, 1127 markings/sec, 35 secs
lola: 50627 markings, 621327 edges, 1244 markings/sec, 40 secs
lola: 56516 markings, 699717 edges, 1178 markings/sec, 45 secs
lola: 62104 markings, 788814 edges, 1118 markings/sec, 50 secs
lola: 67880 markings, 871049 edges, 1155 markings/sec, 55 secs
lola: 73344 markings, 964289 edges, 1093 markings/sec, 60 secs
lola: 78589 markings, 1065035 edges, 1049 markings/sec, 65 secs
lola: 84587 markings, 1140140 edges, 1200 markings/sec, 70 secs
lola: 90552 markings, 1215948 edges, 1193 markings/sec, 75 secs
lola: 96556 markings, 1290192 edges, 1201 markings/sec, 80 secs
lola: 102579 markings, 1364143 edges, 1205 markings/sec, 85 secs
lola: 108360 markings, 1447198 edges, 1156 markings/sec, 90 secs
lola: 114122 markings, 1530472 edges, 1152 markings/sec, 95 secs
lola: 119948 markings, 1609657 edges, 1165 markings/sec, 100 secs
lola: 125497 markings, 1698495 edges, 1110 markings/sec, 105 secs
lola: 130825 markings, 1795063 edges, 1066 markings/sec, 110 secs
lola: 136620 markings, 1875537 edges, 1159 markings/sec, 115 secs
lola: 142550 markings, 1951401 edges, 1186 markings/sec, 120 secs
lola: 148135 markings, 2039268 edges, 1117 markings/sec, 125 secs
lola: 153931 markings, 2118984 edges, 1159 markings/sec, 130 secs
lola: 159837 markings, 2194425 edges, 1181 markings/sec, 135 secs
lola: 165408 markings, 2281452 edges, 1114 markings/sec, 140 secs
lola: 171080 markings, 2365518 edges, 1134 markings/sec, 145 secs
lola: 176860 markings, 2446111 edges, 1156 markings/sec, 150 secs
lola: 182363 markings, 2535941 edges, 1101 markings/sec, 155 secs
lola: 187932 markings, 2624642 edges, 1114 markings/sec, 160 secs
lola: 193588 markings, 2709484 edges, 1131 markings/sec, 165 secs
lola: 199000 markings, 2802942 edges, 1082 markings/sec, 170 secs
lola: 204476 markings, 2893697 edges, 1095 markings/sec, 175 secs
lola: 210184 markings, 2975921 edges, 1142 markings/sec, 180 secs
lola: 215600 markings, 3069082 edges, 1083 markings/sec, 185 secs
lola: 220870 markings, 3166829 edges, 1054 markings/sec, 190 secs
lola: 226192 markings, 3262446 edges, 1064 markings/sec, 195 secs
lola: 231271 markings, 3366785 edges, 1016 markings/sec, 200 secs
lola: 236202 markings, 3476263 edges, 986 markings/sec, 205 secs
lola: 242160 markings, 3550252 edges, 1192 markings/sec, 210 secs
lola: 248184 markings, 3618326 edges, 1205 markings/sec, 215 secs
lola: 254040 markings, 3685103 edges, 1171 markings/sec, 220 secs
lola: 259780 markings, 3766803 edges, 1148 markings/sec, 225 secs
lola: 265398 markings, 3853267 edges, 1124 markings/sec, 230 secs
lola: 271096 markings, 3937441 edges, 1140 markings/sec, 235 secs
lola: 276818 markings, 4020657 edges, 1144 markings/sec, 240 secs
lola: 282346 markings, 4110563 edges, 1106 markings/sec, 245 secs
lola: 287637 markings, 4208488 edges, 1058 markings/sec, 250 secs
lola: 293456 markings, 4287807 edges, 1164 markings/sec, 255 secs
lola: 299422 markings, 4361267 edges, 1193 markings/sec, 260 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 270 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___11_4__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: 2826 markings, 20169 edges, 565 markings/sec, 0 secs
lola: 8978 markings, 87887 edges, 1230 markings/sec, 5 secs
lola: 15152 markings, 154511 edges, 1235 markings/sec, 10 secs
lola: 21033 markings, 230771 edges, 1176 markings/sec, 15 secs
lola: 26659 markings, 317091 edges, 1125 markings/sec, 20 secs
lola: 32783 markings, 385841 edges, 1225 markings/sec, 25 secs
lola: 38670 markings, 462883 edges, 1177 markings/sec, 30 secs
lola: 44286 markings, 549469 edges, 1123 markings/sec, 35 secs
lola: 50416 markings, 617505 edges, 1226 markings/sec, 40 secs
lola: 56288 markings, 694476 edges, 1174 markings/sec, 45 secs
lola: 61890 markings, 781076 edges, 1120 markings/sec, 50 secs
lola: 67587 markings, 864292 edges, 1139 markings/sec, 55 secs
lola: 73035 markings, 956198 edges, 1090 markings/sec, 60 secs
lola: 78268 markings, 1054838 edges, 1047 markings/sec, 65 secs
lola: 84082 markings, 1134682 edges, 1163 markings/sec, 70 secs
lola: 90010 markings, 1210067 edges, 1186 markings/sec, 75 secs
lola: 96038 markings, 1281101 edges, 1206 markings/sec, 80 secs
lola: 101962 markings, 1356049 edges, 1185 markings/sec, 85 secs
lola: 107717 markings, 1438024 edges, 1151 markings/sec, 90 secs
lola: 113502 markings, 1518449 edges, 1157 markings/sec, 95 secs
lola: 119273 markings, 1598715 edges, 1154 markings/sec, 100 secs
lola: 124853 markings, 1685459 edges, 1116 markings/sec, 105 secs
lola: 130191 markings, 1780905 edges, 1068 markings/sec, 110 secs
lola: 135890 markings, 1863788 edges, 1140 markings/sec, 115 secs
lola: 141808 markings, 1939054 edges, 1184 markings/sec, 120 secs
lola: 147441 markings, 2024369 edges, 1127 markings/sec, 125 secs
lola: 153134 markings, 2106978 edges, 1139 markings/sec, 130 secs
lola: 159022 markings, 2182002 edges, 1178 markings/sec, 135 secs
lola: 164650 markings, 2266009 edges, 1126 markings/sec, 140 secs
lola: 170246 markings, 2351653 edges, 1119 markings/sec, 145 secs
lola: 176013 markings, 2431655 edges, 1153 markings/sec, 150 secs
lola: 181577 markings, 2518876 edges, 1113 markings/sec, 155 secs
lola: 187018 markings, 2610942 edges, 1088 markings/sec, 160 secs
lola: 192749 markings, 2692528 edges, 1146 markings/sec, 165 secs
lola: 198173 markings, 2784934 edges, 1085 markings/sec, 170 secs
lola: 203500 markings, 2880071 edges, 1065 markings/sec, 175 secs
lola: 209268 markings, 2959635 edges, 1154 markings/sec, 180 secs
lola: 214693 markings, 3051196 edges, 1085 markings/sec, 185 secs
lola: 219903 markings, 3150076 edges, 1042 markings/sec, 190 secs
lola: 225310 markings, 3242210 edges, 1081 markings/sec, 195 secs
lola: 230422 markings, 3344399 edges, 1022 markings/sec, 200 secs
lola: 235365 markings, 3452669 edges, 989 markings/sec, 205 secs
lola: 240979 markings, 3537598 edges, 1123 markings/sec, 210 secs
lola: 247038 markings, 3607073 edges, 1212 markings/sec, 215 secs
lola: 253201 markings, 3672832 edges, 1233 markings/sec, 220 secs
lola: 258960 markings, 3752656 edges, 1152 markings/sec, 225 secs
lola: 264517 markings, 3839983 edges, 1111 markings/sec, 230 secs
lola: 270246 markings, 3922646 edges, 1146 markings/sec, 235 secs
lola: 275918 markings, 4006780 edges, 1134 markings/sec, 240 secs
lola: 281490 markings, 4094234 edges, 1114 markings/sec, 245 secs
lola: 286826 markings, 4190186 edges, 1067 markings/sec, 250 secs
lola: 292413 markings, 4276501 edges, 1117 markings/sec, 255 secs
lola: 298438 markings, 4347175 edges, 1205 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 270 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__15_4_)
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 14 will run for 405 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___6_5__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: 2841 markings, 20845 edges, 568 markings/sec, 0 secs
lola: 8760 markings, 87140 edges, 1184 markings/sec, 5 secs
lola: 14649 markings, 150730 edges, 1178 markings/sec, 10 secs
lola: 20558 markings, 226702 edges, 1182 markings/sec, 15 secs
lola: 26178 markings, 312761 edges, 1124 markings/sec, 20 secs
lola: 32289 markings, 381707 edges, 1222 markings/sec, 25 secs
lola: 38185 markings, 458247 edges, 1179 markings/sec, 30 secs
lola: 43797 markings, 544506 edges, 1122 markings/sec, 35 secs
lola: 49941 markings, 613265 edges, 1229 markings/sec, 40 secs
lola: 55797 markings, 689902 edges, 1171 markings/sec, 45 secs
lola: 61470 markings, 777444 edges, 1135 markings/sec, 50 secs
lola: 67199 markings, 861275 edges, 1146 markings/sec, 55 secs
lola: 72690 markings, 953905 edges, 1098 markings/sec, 60 secs
lola: 77975 markings, 1053891 edges, 1057 markings/sec, 65 secs
lola: 83872 markings, 1133648 edges, 1179 markings/sec, 70 secs
lola: 89874 markings, 1210013 edges, 1200 markings/sec, 75 secs
lola: 95944 markings, 1282338 edges, 1214 markings/sec, 80 secs
lola: 101977 markings, 1356938 edges, 1207 markings/sec, 85 secs
lola: 107766 markings, 1440662 edges, 1158 markings/sec, 90 secs
lola: 113582 markings, 1522996 edges, 1163 markings/sec, 95 secs
lola: 119418 markings, 1604027 edges, 1167 markings/sec, 100 secs
lola: 125047 markings, 1692346 edges, 1126 markings/sec, 105 secs
lola: 130442 markings, 1788668 edges, 1079 markings/sec, 110 secs
lola: 136258 markings, 1871110 edges, 1163 markings/sec, 115 secs
lola: 142238 markings, 1947624 edges, 1196 markings/sec, 120 secs
lola: 147884 markings, 2036022 edges, 1129 markings/sec, 125 secs
lola: 153725 markings, 2117096 edges, 1168 markings/sec, 130 secs
lola: 159685 markings, 2193402 edges, 1192 markings/sec, 135 secs
lola: 165242 markings, 2280025 edges, 1111 markings/sec, 140 secs
lola: 170977 markings, 2365121 edges, 1147 markings/sec, 145 secs
lola: 176821 markings, 2446474 edges, 1169 markings/sec, 150 secs
lola: 182378 markings, 2537891 edges, 1111 markings/sec, 155 secs
lola: 188015 markings, 2627071 edges, 1127 markings/sec, 160 secs
lola: 193731 markings, 2712923 edges, 1143 markings/sec, 165 secs
lola: 199179 markings, 2808316 edges, 1090 markings/sec, 170 secs
lola: 204746 markings, 2898908 edges, 1113 markings/sec, 175 secs
lola: 210495 markings, 2982780 edges, 1150 markings/sec, 180 secs
lola: 215967 markings, 3076645 edges, 1094 markings/sec, 185 secs
lola: 221291 markings, 3175590 edges, 1065 markings/sec, 190 secs
lola: 226675 markings, 3271927 edges, 1077 markings/sec, 195 secs
lola: 231764 markings, 3378777 edges, 1018 markings/sec, 200 secs
lola: 236696 markings, 3490559 edges, 986 markings/sec, 205 secs
lola: 242896 markings, 3559530 edges, 1240 markings/sec, 210 secs
lola: 249081 markings, 3628868 edges, 1237 markings/sec, 215 secs
lola: 255155 markings, 3701782 edges, 1215 markings/sec, 220 secs
lola: 260900 markings, 3786229 edges, 1149 markings/sec, 225 secs
lola: 266637 markings, 3871810 edges, 1147 markings/sec, 230 secs
lola: 272313 markings, 3959844 edges, 1135 markings/sec, 235 secs
lola: 278126 markings, 4042760 edges, 1163 markings/sec, 240 secs
lola: 283639 markings, 4136214 edges, 1103 markings/sec, 245 secs
lola: 288942 markings, 4236672 edges, 1061 markings/sec, 250 secs
lola: 295104 markings, 4306759 edges, 1232 markings/sec, 255 secs
lola: 301019 markings, 4385263 edges, 1183 markings/sec, 260 secs
lola: 306662 markings, 4472850 edges, 1129 markings/sec, 265 secs
lola: 312885 markings, 4540321 edges, 1245 markings/sec, 270 secs
lola: 318781 markings, 4619122 edges, 1179 markings/sec, 275 secs
lola: 324389 markings, 4707779 edges, 1122 markings/sec, 280 secs
lola: 330170 markings, 4790259 edges, 1156 markings/sec, 285 secs
lola: 335635 markings, 4883482 edges, 1093 markings/sec, 290 secs
lola: 340881 markings, 4984253 edges, 1049 markings/sec, 295 secs
lola: 346558 markings, 5071545 edges, 1135 markings/sec, 300 secs
lola: 352146 markings, 5162291 edges, 1118 markings/sec, 305 secs
lola: 357495 markings, 5261235 edges, 1070 markings/sec, 310 secs
lola: 363063 markings, 5352238 edges, 1114 markings/sec, 315 secs
lola: 368698 markings, 5440679 edges, 1127 markings/sec, 320 secs
lola: 374082 markings, 5538066 edges, 1077 markings/sec, 325 secs
lola: 379380 markings, 5638223 edges, 1060 markings/sec, 330 secs
lola: 384674 markings, 5738222 edges, 1059 markings/sec, 335 secs
lola: 389709 markings, 5847430 edges, 1007 markings/sec, 340 secs
lola: 394566 markings, 5962511 edges, 971 markings/sec, 345 secs
lola: 400789 markings, 6030391 edges, 1245 markings/sec, 350 secs
lola: 406824 markings, 6104587 edges, 1207 markings/sec, 355 secs
lola: 412785 markings, 6181297 edges, 1192 markings/sec, 360 secs
lola: 418773 markings, 6257080 edges, 1198 markings/sec, 365 secs
lola: 424598 markings, 6338501 edges, 1165 markings/sec, 370 secs
lola: 430333 markings, 6422628 edges, 1147 markings/sec, 375 secs
lola: 436170 markings, 6502921 edges, 1167 markings/sec, 380 secs
lola: 441677 markings, 6594722 edges, 1101 markings/sec, 385 secs
lola: 446938 markings, 6694950 edges, 1052 markings/sec, 390 secs
lola: 452741 markings, 6778217 edges, 1161 markings/sec, 395 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 405 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___8_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: 2826 markings, 20715 edges, 565 markings/sec, 0 secs
lola: 8960 markings, 89898 edges, 1227 markings/sec, 5 secs
lola: 15155 markings, 156209 edges, 1239 markings/sec, 10 secs
lola: 21023 markings, 233946 edges, 1174 markings/sec, 15 secs
lola: 26631 markings, 320654 edges, 1122 markings/sec, 20 secs
lola: 32798 markings, 388120 edges, 1233 markings/sec, 25 secs
lola: 38648 markings, 466053 edges, 1170 markings/sec, 30 secs
lola: 44239 markings, 552750 edges, 1118 markings/sec, 35 secs
lola: 50420 markings, 619476 edges, 1236 markings/sec, 40 secs
lola: 56298 markings, 698127 edges, 1176 markings/sec, 45 secs
lola: 61900 markings, 786213 edges, 1120 markings/sec, 50 secs
lola: 67663 markings, 868642 edges, 1153 markings/sec, 55 secs
lola: 73120 markings, 961641 edges, 1091 markings/sec, 60 secs
lola: 78364 markings, 1062226 edges, 1049 markings/sec, 65 secs
lola: 84327 markings, 1138443 edges, 1193 markings/sec, 70 secs
lola: 90312 markings, 1214069 edges, 1197 markings/sec, 75 secs
lola: 96326 markings, 1287773 edges, 1203 markings/sec, 80 secs
lola: 102339 markings, 1361781 edges, 1203 markings/sec, 85 secs
lola: 108115 markings, 1444985 edges, 1155 markings/sec, 90 secs
lola: 113876 markings, 1527950 edges, 1152 markings/sec, 95 secs
lola: 119718 markings, 1607576 edges, 1168 markings/sec, 100 secs
lola: 125295 markings, 1696643 edges, 1115 markings/sec, 105 secs
lola: 130656 markings, 1793279 edges, 1072 markings/sec, 110 secs
lola: 136473 markings, 1874487 edges, 1163 markings/sec, 115 secs
lola: 142427 markings, 1950826 edges, 1191 markings/sec, 120 secs
lola: 148029 markings, 2038824 edges, 1120 markings/sec, 125 secs
lola: 153811 markings, 2118394 edges, 1156 markings/sec, 130 secs
lola: 159702 markings, 2193664 edges, 1178 markings/sec, 135 secs
lola: 165257 markings, 2280303 edges, 1111 markings/sec, 140 secs
lola: 170903 markings, 2364457 edges, 1129 markings/sec, 145 secs
lola: 176673 markings, 2444245 edges, 1154 markings/sec, 150 secs
lola: 182171 markings, 2534117 edges, 1100 markings/sec, 155 secs
lola: 187714 markings, 2622653 edges, 1109 markings/sec, 160 secs
lola: 193356 markings, 2707263 edges, 1128 markings/sec, 165 secs
lola: 198764 markings, 2800155 edges, 1082 markings/sec, 170 secs
lola: 204206 markings, 2891275 edges, 1088 markings/sec, 175 secs
lola: 209908 markings, 2972814 edges, 1140 markings/sec, 180 secs
lola: 215314 markings, 3064972 edges, 1081 markings/sec, 185 secs
lola: 220547 markings, 3162930 edges, 1047 markings/sec, 190 secs
lola: 225863 markings, 3258000 edges, 1063 markings/sec, 195 secs
lola: 230945 markings, 3361027 edges, 1016 markings/sec, 200 secs
lola: 235865 markings, 3469922 edges, 984 markings/sec, 205 secs
lola: 241730 markings, 3546290 edges, 1173 markings/sec, 210 secs
lola: 247798 markings, 3615543 edges, 1214 markings/sec, 215 secs
lola: 253875 markings, 3684032 edges, 1215 markings/sec, 220 secs
lola: 259587 markings, 3765534 edges, 1142 markings/sec, 225 secs
lola: 265190 markings, 3851326 edges, 1121 markings/sec, 230 secs
lola: 270876 markings, 3935043 edges, 1137 markings/sec, 235 secs
lola: 276570 markings, 4017925 edges, 1139 markings/sec, 240 secs
lola: 282079 markings, 4107232 edges, 1102 markings/sec, 245 secs
lola: 287344 markings, 4205054 edges, 1053 markings/sec, 250 secs
lola: 293099 markings, 4285636 edges, 1151 markings/sec, 255 secs
lola: 299079 markings, 4357778 edges, 1196 markings/sec, 260 secs
lola: 304732 markings, 4441136 edges, 1131 markings/sec, 265 secs
lola: 310633 markings, 4515756 edges, 1180 markings/sec, 270 secs
lola: 316594 markings, 4587894 edges, 1192 markings/sec, 275 secs
lola: 322237 markings, 4671168 edges, 1129 markings/sec, 280 secs
lola: 327838 markings, 4755866 edges, 1120 markings/sec, 285 secs
lola: 333331 markings, 4843829 edges, 1099 markings/sec, 290 secs
lola: 338622 markings, 4939337 edges, 1058 markings/sec, 295 secs
lola: 343706 markings, 5031645 edges, 1017 markings/sec, 300 secs
lola: 349470 markings, 5116130 edges, 1153 markings/sec, 305 secs
lola: 354912 markings, 5211919 edges, 1088 markings/sec, 310 secs
lola: 360208 markings, 5312349 edges, 1059 markings/sec, 315 secs
lola: 365992 markings, 5395563 edges, 1157 markings/sec, 320 secs
lola: 371469 markings, 5489577 edges, 1095 markings/sec, 325 secs
lola: 376716 markings, 5591503 edges, 1049 markings/sec, 330 secs
lola: 382100 markings, 5688372 edges, 1077 markings/sec, 335 secs
lola: 387244 markings, 5793697 edges, 1029 markings/sec, 340 secs
lola: 392199 markings, 5905493 edges, 991 markings/sec, 345 secs
lola: 397756 markings, 5996228 edges, 1111 markings/sec, 350 secs
lola: 403741 markings, 6071957 edges, 1197 markings/sec, 355 secs
lola: 409909 markings, 6141300 edges, 1234 markings/sec, 360 secs
lola: 415850 markings, 6218449 edges, 1188 markings/sec, 365 secs
lola: 421666 markings, 6300166 edges, 1163 markings/sec, 370 secs
lola: 427508 markings, 6380518 edges, 1168 markings/sec, 375 secs
lola: 433312 markings, 6461870 edges, 1161 markings/sec, 380 secs
lola: 438964 markings, 6548248 edges, 1130 markings/sec, 385 secs
lola: 444342 markings, 6644297 edges, 1076 markings/sec, 390 secs
lola: 449850 markings, 6736922 edges, 1102 markings/sec, 395 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 1 unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown 1 unknown unknown
lola: time limit reached - aborting
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496293337535

--------------------
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="S_PhaseVariation-PT-D20CS010"
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/S_PhaseVariation-PT-D20CS010.tgz
mv S_PhaseVariation-PT-D20CS010 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 S_PhaseVariation-PT-D20CS010, 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 r128-smll-149441681200119"
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 ;