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 Railroad-PT-100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r068-csrt-149440963100065
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494800921810


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Railroad-PT-100 @ 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: 11524/65536 symbol table entries, 3643 collisions
lola: preprocessing...
lola: finding significant places
lola: 1018 places, 10506 transitions, 407 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 612 transition conflict sets
lola: TASK
lola: reading formula from Railroad-PT-100-UpperBounds.task
lola: MAX(pl_P261_1) : MAX(pl_P448_1) : MAX(pl_P333_1) : MAX(pl_P502_72) : MAX(pl_P165_1) : MAX(pl_P502_88) : MAX(pl_P218_18) : MAX(pl_P29_74) : MAX(pl_P29_74) : MAX(pl_P445_1) : MAX(pl_P29_64) : MAX(pl_P280_1) : MAX(pl_P218_12) : MAX(pl_P181_1) : MAX(pl_P508_1) : MAX(pl_P435_53)
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(pl_P261_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 5157 markings, 6199 edges, 1031 markings/sec, 0 secs
lola: 11329 markings, 13945 edges, 1234 markings/sec, 5 secs
lola: 17250 markings, 21637 edges, 1184 markings/sec, 10 secs
lola: 23721 markings, 29944 edges, 1294 markings/sec, 15 secs
lola: 29604 markings, 37544 edges, 1177 markings/sec, 20 secs
lola: 35561 markings, 45428 edges, 1191 markings/sec, 25 secs
lola: 42114 markings, 53882 edges, 1311 markings/sec, 30 secs
lola: 48736 markings, 62649 edges, 1324 markings/sec, 35 secs
lola: 55322 markings, 71299 edges, 1317 markings/sec, 40 secs
lola: 62075 markings, 80111 edges, 1351 markings/sec, 45 secs
lola: 68812 markings, 88980 edges, 1347 markings/sec, 50 secs
lola: 75405 markings, 97713 edges, 1319 markings/sec, 55 secs
lola: 81848 markings, 106190 edges, 1289 markings/sec, 60 secs
lola: 88167 markings, 114612 edges, 1264 markings/sec, 65 secs
lola: 94799 markings, 123241 edges, 1326 markings/sec, 70 secs
lola: 101410 markings, 131966 edges, 1322 markings/sec, 75 secs
lola: 108028 markings, 140736 edges, 1324 markings/sec, 80 secs
lola: 114182 markings, 149137 edges, 1231 markings/sec, 85 secs
lola: 120195 markings, 157446 edges, 1203 markings/sec, 90 secs
lola: 126685 markings, 165905 edges, 1298 markings/sec, 95 secs
lola: 132763 markings, 173932 edges, 1216 markings/sec, 100 secs
lola: 138532 markings, 181547 edges, 1154 markings/sec, 105 secs
lola: 144435 markings, 189317 edges, 1181 markings/sec, 110 secs
lola: 150891 markings, 197825 edges, 1291 markings/sec, 115 secs
lola: 157540 markings, 206674 edges, 1330 markings/sec, 120 secs
lola: 164204 markings, 215454 edges, 1333 markings/sec, 125 secs
lola: 170814 markings, 224164 edges, 1322 markings/sec, 130 secs
lola: 177171 markings, 232642 edges, 1271 markings/sec, 135 secs
lola: 183428 markings, 241048 edges, 1251 markings/sec, 140 secs
lola: 189751 markings, 249487 edges, 1265 markings/sec, 145 secs
lola: 196255 markings, 258166 edges, 1301 markings/sec, 150 secs
lola: 202933 markings, 266745 edges, 1336 markings/sec, 155 secs
lola: 209164 markings, 275006 edges, 1246 markings/sec, 160 secs
lola: 215727 markings, 283515 edges, 1313 markings/sec, 165 secs
lola: 222258 markings, 292181 edges, 1306 markings/sec, 170 secs
lola: 228726 markings, 300650 edges, 1294 markings/sec, 175 secs
lola: 235141 markings, 309178 edges, 1283 markings/sec, 180 secs
lola: 241682 markings, 317811 edges, 1308 markings/sec, 185 secs
lola: 248264 markings, 326341 edges, 1316 markings/sec, 190 secs
lola: 254574 markings, 334716 edges, 1262 markings/sec, 195 secs
lola: 260976 markings, 343218 edges, 1280 markings/sec, 200 secs
lola: 267266 markings, 351592 edges, 1258 markings/sec, 205 secs
lola: 273634 markings, 360080 edges, 1274 markings/sec, 210 secs
lola: 279966 markings, 368491 edges, 1266 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(pl_P448_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 5463 markings, 6611 edges, 1093 markings/sec, 0 secs
lola: 12157 markings, 14932 edges, 1339 markings/sec, 5 secs
lola: 18705 markings, 23309 edges, 1310 markings/sec, 10 secs
lola: 25451 markings, 32049 edges, 1349 markings/sec, 15 secs
lola: 32276 markings, 41009 edges, 1365 markings/sec, 20 secs
lola: 39105 markings, 49734 edges, 1366 markings/sec, 25 secs
lola: 45665 markings, 58300 edges, 1312 markings/sec, 30 secs
lola: 52235 markings, 66928 edges, 1314 markings/sec, 35 secs
lola: 58914 markings, 75581 edges, 1336 markings/sec, 40 secs
lola: 65471 markings, 84161 edges, 1311 markings/sec, 45 secs
lola: 72043 markings, 92676 edges, 1314 markings/sec, 50 secs
lola: 78808 markings, 101509 edges, 1353 markings/sec, 55 secs
lola: 85304 markings, 110046 edges, 1299 markings/sec, 60 secs
lola: 91679 markings, 118488 edges, 1275 markings/sec, 65 secs
lola: 98419 markings, 127172 edges, 1348 markings/sec, 70 secs
lola: 105008 markings, 135836 edges, 1318 markings/sec, 75 secs
lola: 111621 markings, 144439 edges, 1323 markings/sec, 80 secs
lola: 118155 markings, 152992 edges, 1307 markings/sec, 85 secs
lola: 124738 markings, 161549 edges, 1317 markings/sec, 90 secs
lola: 131241 markings, 169996 edges, 1301 markings/sec, 95 secs
lola: 137695 markings, 178592 edges, 1291 markings/sec, 100 secs
lola: 144292 markings, 187148 edges, 1319 markings/sec, 105 secs
lola: 150986 markings, 195753 edges, 1339 markings/sec, 110 secs
lola: 157697 markings, 204570 edges, 1342 markings/sec, 115 secs
lola: 164258 markings, 213172 edges, 1312 markings/sec, 120 secs
lola: 170720 markings, 221711 edges, 1292 markings/sec, 125 secs
lola: 177200 markings, 230159 edges, 1296 markings/sec, 130 secs
lola: 183698 markings, 238763 edges, 1300 markings/sec, 135 secs
lola: 190293 markings, 247368 edges, 1319 markings/sec, 140 secs
lola: 196812 markings, 255967 edges, 1304 markings/sec, 145 secs
lola: 203352 markings, 264505 edges, 1308 markings/sec, 150 secs
lola: 209604 markings, 272800 edges, 1250 markings/sec, 155 secs
lola: 216003 markings, 281136 edges, 1280 markings/sec, 160 secs
lola: 222423 markings, 289464 edges, 1284 markings/sec, 165 secs
lola: 228748 markings, 297790 edges, 1265 markings/sec, 170 secs
lola: 235044 markings, 306100 edges, 1259 markings/sec, 175 secs
lola: 241433 markings, 314519 edges, 1278 markings/sec, 180 secs
lola: 247744 markings, 322890 edges, 1262 markings/sec, 185 secs
lola: 254115 markings, 331255 edges, 1274 markings/sec, 190 secs
lola: 260312 markings, 339402 edges, 1239 markings/sec, 195 secs
lola: 266164 markings, 347100 edges, 1170 markings/sec, 200 secs
lola: 272113 markings, 354821 edges, 1190 markings/sec, 205 secs
lola: 277880 markings, 362517 edges, 1153 markings/sec, 210 secs
lola: 284373 markings, 371067 edges, 1299 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(pl_P333_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 5388 markings, 6505 edges, 1078 markings/sec, 0 secs
lola: 11752 markings, 14432 edges, 1273 markings/sec, 5 secs
lola: 17998 markings, 22454 edges, 1249 markings/sec, 10 secs
lola: 24160 markings, 30434 edges, 1232 markings/sec, 15 secs
lola: 30858 markings, 39234 edges, 1340 markings/sec, 20 secs
lola: 37768 markings, 48063 edges, 1382 markings/sec, 25 secs
lola: 43939 markings, 56122 edges, 1234 markings/sec, 30 secs
lola: 49832 markings, 63832 edges, 1179 markings/sec, 35 secs
lola: 55927 markings, 71763 edges, 1219 markings/sec, 40 secs
lola: 61870 markings, 79539 edges, 1189 markings/sec, 45 secs
lola: 67691 markings, 87106 edges, 1164 markings/sec, 50 secs
lola: 73695 markings, 94865 edges, 1201 markings/sec, 55 secs
lola: 79854 markings, 102962 edges, 1232 markings/sec, 60 secs
lola: 86501 markings, 111714 edges, 1329 markings/sec, 65 secs
lola: 92529 markings, 119628 edges, 1206 markings/sec, 70 secs
lola: 98774 markings, 127680 edges, 1249 markings/sec, 75 secs
lola: 104774 markings, 135596 edges, 1200 markings/sec, 80 secs
lola: 111416 markings, 144278 edges, 1328 markings/sec, 85 secs
lola: 117467 markings, 152192 edges, 1210 markings/sec, 90 secs
lola: 123859 markings, 160461 edges, 1278 markings/sec, 95 secs
lola: 130596 markings, 169240 edges, 1347 markings/sec, 100 secs
lola: 137273 markings, 178141 edges, 1335 markings/sec, 105 secs
lola: 143907 markings, 186727 edges, 1327 markings/sec, 110 secs
lola: 150407 markings, 195082 edges, 1300 markings/sec, 115 secs
lola: 156489 markings, 203062 edges, 1216 markings/sec, 120 secs
lola: 162409 markings, 210804 edges, 1184 markings/sec, 125 secs
lola: 168443 markings, 218790 edges, 1207 markings/sec, 130 secs
lola: 174855 markings, 227184 edges, 1282 markings/sec, 135 secs
lola: 181255 markings, 235632 edges, 1280 markings/sec, 140 secs
lola: 187820 markings, 244203 edges, 1313 markings/sec, 145 secs
lola: 194325 markings, 252761 edges, 1301 markings/sec, 150 secs
lola: 200926 markings, 261427 edges, 1320 markings/sec, 155 secs
lola: 207448 markings, 270047 edges, 1304 markings/sec, 160 secs
lola: 214299 markings, 278977 edges, 1370 markings/sec, 165 secs
lola: 221119 markings, 287832 edges, 1364 markings/sec, 170 secs
lola: 227724 markings, 296525 edges, 1321 markings/sec, 175 secs
lola: 234305 markings, 305221 edges, 1316 markings/sec, 180 secs
lola: 240558 markings, 313452 edges, 1251 markings/sec, 185 secs
lola: 247171 markings, 322203 edges, 1323 markings/sec, 190 secs
lola: 253820 markings, 330947 edges, 1330 markings/sec, 195 secs
lola: 260370 markings, 339561 edges, 1310 markings/sec, 200 secs
lola: 267068 markings, 348367 edges, 1340 markings/sec, 205 secs
lola: 273756 markings, 357104 edges, 1338 markings/sec, 210 secs
lola: 280091 markings, 365468 edges, 1267 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(pl_P502_72)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 4 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P165_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 5301 markings, 6397 edges, 1060 markings/sec, 0 secs
lola: 11358 markings, 13943 edges, 1211 markings/sec, 5 secs
lola: 17541 markings, 21885 edges, 1237 markings/sec, 10 secs
lola: 23340 markings, 29301 edges, 1160 markings/sec, 15 secs
lola: 29173 markings, 36848 edges, 1167 markings/sec, 20 secs
lola: 35318 markings, 44714 edges, 1229 markings/sec, 25 secs
lola: 41272 markings, 52459 edges, 1191 markings/sec, 30 secs
lola: 47269 markings, 60327 edges, 1199 markings/sec, 35 secs
lola: 53666 markings, 68689 edges, 1279 markings/sec, 40 secs
lola: 59561 markings, 76435 edges, 1179 markings/sec, 45 secs
lola: 65472 markings, 84133 edges, 1182 markings/sec, 50 secs
lola: 72134 markings, 92729 edges, 1332 markings/sec, 55 secs
lola: 78915 markings, 101614 edges, 1356 markings/sec, 60 secs
lola: 85039 markings, 109613 edges, 1225 markings/sec, 65 secs
lola: 90974 markings, 117432 edges, 1187 markings/sec, 70 secs
lola: 96950 markings, 125253 edges, 1195 markings/sec, 75 secs
lola: 102920 markings, 133107 edges, 1194 markings/sec, 80 secs
lola: 109046 markings, 141061 edges, 1225 markings/sec, 85 secs
lola: 115747 markings, 149884 edges, 1340 markings/sec, 90 secs
lola: 122104 markings, 158066 edges, 1271 markings/sec, 95 secs
lola: 128874 markings, 166963 edges, 1354 markings/sec, 100 secs
lola: 134917 markings, 174908 edges, 1209 markings/sec, 105 secs
lola: 141164 markings, 183035 edges, 1249 markings/sec, 110 secs
lola: 147081 markings, 190791 edges, 1183 markings/sec, 115 secs
lola: 152958 markings, 198530 edges, 1175 markings/sec, 120 secs
lola: 158942 markings, 206395 edges, 1197 markings/sec, 125 secs
lola: 164995 markings, 214219 edges, 1211 markings/sec, 130 secs
lola: 171117 markings, 222224 edges, 1224 markings/sec, 135 secs
lola: 176933 markings, 229929 edges, 1163 markings/sec, 140 secs
lola: 182817 markings, 237728 edges, 1177 markings/sec, 145 secs
lola: 188648 markings, 245483 edges, 1166 markings/sec, 150 secs
lola: 194410 markings, 253202 edges, 1152 markings/sec, 155 secs
lola: 200444 markings, 261036 edges, 1207 markings/sec, 160 secs
lola: 206350 markings, 268850 edges, 1181 markings/sec, 165 secs
lola: 212156 markings, 276512 edges, 1161 markings/sec, 170 secs
lola: 217950 markings, 284115 edges, 1159 markings/sec, 175 secs
lola: 223837 markings, 291958 edges, 1177 markings/sec, 180 secs
lola: 229752 markings, 299850 edges, 1183 markings/sec, 185 secs
lola: 236222 markings, 308295 edges, 1294 markings/sec, 190 secs
lola: 242850 markings, 316988 edges, 1326 markings/sec, 195 secs
lola: 249196 markings, 325302 edges, 1269 markings/sec, 200 secs
lola: 255397 markings, 333539 edges, 1240 markings/sec, 205 secs
lola: 261623 markings, 341810 edges, 1245 markings/sec, 210 secs
lola: 268040 markings, 350208 edges, 1283 markings/sec, 215 secs
lola: 274370 markings, 358664 edges, 1266 markings/sec, 220 secs
lola: 280719 markings, 366958 edges, 1270 markings/sec, 225 secs
lola: 286850 markings, 375018 edges, 1226 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(pl_P502_88)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 6 will run for 263 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P218_18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 7 will run for 293 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P29_74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 5561 markings, 6719 edges, 1112 markings/sec, 0 secs
lola: 12157 markings, 14957 edges, 1319 markings/sec, 5 secs
lola: 18688 markings, 23337 edges, 1306 markings/sec, 10 secs
lola: 24906 markings, 31417 edges, 1244 markings/sec, 15 secs
lola: 31008 markings, 39424 edges, 1220 markings/sec, 20 secs
lola: 37013 markings, 47092 edges, 1201 markings/sec, 25 secs
lola: 43106 markings, 55021 edges, 1219 markings/sec, 30 secs
lola: 49722 markings, 63680 edges, 1323 markings/sec, 35 secs
lola: 56623 markings, 72667 edges, 1380 markings/sec, 40 secs
lola: 62862 markings, 80824 edges, 1248 markings/sec, 45 secs
lola: 69463 markings, 89385 edges, 1320 markings/sec, 50 secs
lola: 76190 markings, 98146 edges, 1345 markings/sec, 55 secs
lola: 82703 markings, 106690 edges, 1303 markings/sec, 60 secs
lola: 89226 markings, 115325 edges, 1305 markings/sec, 65 secs
lola: 95924 markings, 123971 edges, 1340 markings/sec, 70 secs
lola: 102473 markings, 132590 edges, 1310 markings/sec, 75 secs
lola: 109066 markings, 141168 edges, 1319 markings/sec, 80 secs
lola: 115623 markings, 149737 edges, 1311 markings/sec, 85 secs
lola: 122318 markings, 158479 edges, 1339 markings/sec, 90 secs
lola: 128976 markings, 167100 edges, 1332 markings/sec, 95 secs
lola: 135458 markings, 175703 edges, 1296 markings/sec, 100 secs
lola: 142145 markings, 184420 edges, 1337 markings/sec, 105 secs
lola: 148896 markings, 193069 edges, 1350 markings/sec, 110 secs
lola: 155651 markings, 201937 edges, 1351 markings/sec, 115 secs
lola: 162179 markings, 210505 edges, 1306 markings/sec, 120 secs
lola: 168439 markings, 218781 edges, 1252 markings/sec, 125 secs
lola: 174894 markings, 227234 edges, 1291 markings/sec, 130 secs
lola: 181065 markings, 235395 edges, 1234 markings/sec, 135 secs
lola: 187455 markings, 243734 edges, 1278 markings/sec, 140 secs
lola: 193986 markings, 252324 edges, 1306 markings/sec, 145 secs
lola: 200540 markings, 260931 edges, 1311 markings/sec, 150 secs
lola: 207037 markings, 269513 edges, 1299 markings/sec, 155 secs
lola: 213691 markings, 278159 edges, 1331 markings/sec, 160 secs
lola: 220238 markings, 286652 edges, 1309 markings/sec, 165 secs
lola: 226750 markings, 295252 edges, 1302 markings/sec, 170 secs
lola: 233151 markings, 303685 edges, 1280 markings/sec, 175 secs
lola: 239841 markings, 312497 edges, 1338 markings/sec, 180 secs
lola: 246275 markings, 321047 edges, 1287 markings/sec, 185 secs
lola: 252639 markings, 329388 edges, 1273 markings/sec, 190 secs
lola: 258648 markings, 337270 edges, 1202 markings/sec, 195 secs
lola: 264540 markings, 345053 edges, 1178 markings/sec, 200 secs
lola: 270574 markings, 352891 edges, 1207 markings/sec, 205 secs
lola: 276802 markings, 361192 edges, 1246 markings/sec, 210 secs
lola: 283369 markings, 369811 edges, 1313 markings/sec, 215 secs
lola: 289815 markings, 378386 edges, 1289 markings/sec, 220 secs
lola: 296374 markings, 387131 edges, 1312 markings/sec, 225 secs
lola: 302794 markings, 395601 edges, 1284 markings/sec, 230 secs
lola: 308954 markings, 403772 edges, 1232 markings/sec, 235 secs
lola: 315228 markings, 411992 edges, 1255 markings/sec, 240 secs
lola: 321617 markings, 420312 edges, 1278 markings/sec, 245 secs
lola: 328332 markings, 429160 edges, 1343 markings/sec, 250 secs
lola: 334964 markings, 437965 edges, 1326 markings/sec, 255 secs
lola: 341607 markings, 446751 edges, 1329 markings/sec, 260 secs
lola: 347973 markings, 455036 edges, 1273 markings/sec, 265 secs
lola: 354229 markings, 463336 edges, 1251 markings/sec, 270 secs
lola: 360378 markings, 471481 edges, 1230 markings/sec, 275 secs
lola: 366578 markings, 479573 edges, 1240 markings/sec, 280 secs
lola: 372707 markings, 487687 edges, 1226 markings/sec, 285 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 293 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P29_74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 5859 markings, 7087 edges, 1172 markings/sec, 0 secs
lola: 12783 markings, 15766 edges, 1385 markings/sec, 5 secs
lola: 19405 markings, 24248 edges, 1324 markings/sec, 10 secs
lola: 25690 markings, 32433 edges, 1257 markings/sec, 15 secs
lola: 32180 markings, 40958 edges, 1298 markings/sec, 20 secs
lola: 38719 markings, 49288 edges, 1308 markings/sec, 25 secs
lola: 45002 markings, 57513 edges, 1257 markings/sec, 30 secs
lola: 51049 markings, 65458 edges, 1209 markings/sec, 35 secs
lola: 57265 markings, 73505 edges, 1243 markings/sec, 40 secs
lola: 63768 markings, 82002 edges, 1301 markings/sec, 45 secs
lola: 70312 markings, 90494 edges, 1309 markings/sec, 50 secs
lola: 76783 markings, 98915 edges, 1294 markings/sec, 55 secs
lola: 82890 markings, 106951 edges, 1221 markings/sec, 60 secs
lola: 89199 markings, 115289 edges, 1262 markings/sec, 65 secs
lola: 95808 markings, 123822 edges, 1322 markings/sec, 70 secs
lola: 102507 markings, 132632 edges, 1340 markings/sec, 75 secs
lola: 109108 markings, 141219 edges, 1320 markings/sec, 80 secs
lola: 115739 markings, 149890 edges, 1326 markings/sec, 85 secs
lola: 122053 markings, 158141 edges, 1263 markings/sec, 90 secs
lola: 128297 markings, 166218 edges, 1249 markings/sec, 95 secs
lola: 134264 markings, 174098 edges, 1193 markings/sec, 100 secs
lola: 140148 markings, 181860 edges, 1177 markings/sec, 105 secs
lola: 146316 markings, 189733 edges, 1234 markings/sec, 110 secs
lola: 152308 markings, 197624 edges, 1198 markings/sec, 115 secs
lola: 158460 markings, 205629 edges, 1230 markings/sec, 120 secs
lola: 164305 markings, 213328 edges, 1169 markings/sec, 125 secs
lola: 170132 markings, 221010 edges, 1165 markings/sec, 130 secs
lola: 175995 markings, 228657 edges, 1173 markings/sec, 135 secs
lola: 181849 markings, 236397 edges, 1171 markings/sec, 140 secs
lola: 187826 markings, 244209 edges, 1195 markings/sec, 145 secs
lola: 193609 markings, 251826 edges, 1157 markings/sec, 150 secs
lola: 199561 markings, 259623 edges, 1190 markings/sec, 155 secs
lola: 205523 markings, 267430 edges, 1192 markings/sec, 160 secs
lola: 211693 markings, 275534 edges, 1234 markings/sec, 165 secs
lola: 218278 markings, 284085 edges, 1317 markings/sec, 170 secs
lola: 224810 markings, 292710 edges, 1306 markings/sec, 175 secs
lola: 231177 markings, 301096 edges, 1273 markings/sec, 180 secs
lola: 237777 markings, 309781 edges, 1320 markings/sec, 185 secs
lola: 243907 markings, 317942 edges, 1226 markings/sec, 190 secs
lola: 249866 markings, 325715 edges, 1192 markings/sec, 195 secs
lola: 255437 markings, 333100 edges, 1114 markings/sec, 200 secs
lola: 261503 markings, 341032 edges, 1213 markings/sec, 205 secs
lola: 267512 markings, 348956 edges, 1202 markings/sec, 210 secs
lola: 273432 markings, 356680 edges, 1184 markings/sec, 215 secs
lola: 279366 markings, 364495 edges, 1187 markings/sec, 220 secs
lola: 285604 markings, 372816 edges, 1248 markings/sec, 225 secs
lola: 292137 markings, 381413 edges, 1307 markings/sec, 230 secs
lola: 298646 markings, 390124 edges, 1302 markings/sec, 235 secs
lola: 305264 markings, 398920 edges, 1324 markings/sec, 240 secs
lola: 311777 markings, 407452 edges, 1303 markings/sec, 245 secs
lola: 317739 markings, 415228 edges, 1192 markings/sec, 250 secs
lola: 323660 markings, 422996 edges, 1184 markings/sec, 255 secs
lola: 329588 markings, 430818 edges, 1186 markings/sec, 260 secs
lola: 335725 markings, 438989 edges, 1227 markings/sec, 265 secs
lola: 341627 markings, 446779 edges, 1180 markings/sec, 270 secs
lola: 347727 markings, 454719 edges, 1220 markings/sec, 275 secs
lola: 353688 markings, 462612 edges, 1192 markings/sec, 280 secs
lola: 359461 markings, 470289 edges, 1155 markings/sec, 285 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 293 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P445_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 5188 markings, 6257 edges, 1038 markings/sec, 0 secs
lola: 11227 markings, 13777 edges, 1208 markings/sec, 5 secs
lola: 17140 markings, 21365 edges, 1183 markings/sec, 10 secs
lola: 22844 markings, 28659 edges, 1141 markings/sec, 15 secs
lola: 28936 markings, 36541 edges, 1218 markings/sec, 20 secs
lola: 35860 markings, 45402 edges, 1385 markings/sec, 25 secs
lola: 42439 markings, 53986 edges, 1316 markings/sec, 30 secs
lola: 49152 markings, 62781 edges, 1343 markings/sec, 35 secs
lola: 55789 markings, 71475 edges, 1327 markings/sec, 40 secs
lola: 62383 markings, 80132 edges, 1319 markings/sec, 45 secs
lola: 69150 markings, 88843 edges, 1353 markings/sec, 50 secs
lola: 75884 markings, 97636 edges, 1347 markings/sec, 55 secs
lola: 82208 markings, 105952 edges, 1265 markings/sec, 60 secs
lola: 88329 markings, 113955 edges, 1224 markings/sec, 65 secs
lola: 94110 markings, 121541 edges, 1156 markings/sec, 70 secs
lola: 100063 markings, 129376 edges, 1191 markings/sec, 75 secs
lola: 105989 markings, 137120 edges, 1185 markings/sec, 80 secs
lola: 112332 markings, 145344 edges, 1269 markings/sec, 85 secs
lola: 118939 markings, 153963 edges, 1321 markings/sec, 90 secs
lola: 125571 markings, 162630 edges, 1326 markings/sec, 95 secs
lola: 132052 markings, 171137 edges, 1296 markings/sec, 100 secs
lola: 138514 markings, 179591 edges, 1292 markings/sec, 105 secs
lola: 145111 markings, 188172 edges, 1319 markings/sec, 110 secs
lola: 151640 markings, 196800 edges, 1306 markings/sec, 115 secs
lola: 157996 markings, 205168 edges, 1271 markings/sec, 120 secs
lola: 164738 markings, 213882 edges, 1348 markings/sec, 125 secs
lola: 171237 markings, 222386 edges, 1300 markings/sec, 130 secs
lola: 177842 markings, 231138 edges, 1321 markings/sec, 135 secs
lola: 184525 markings, 239980 edges, 1337 markings/sec, 140 secs
lola: 190616 markings, 248115 edges, 1218 markings/sec, 145 secs
lola: 196787 markings, 256318 edges, 1234 markings/sec, 150 secs
lola: 203069 markings, 264526 edges, 1256 markings/sec, 155 secs
lola: 209290 markings, 272740 edges, 1244 markings/sec, 160 secs
lola: 215066 markings, 280346 edges, 1155 markings/sec, 165 secs
lola: 220859 markings, 287962 edges, 1159 markings/sec, 170 secs
lola: 226794 markings, 295875 edges, 1187 markings/sec, 175 secs
lola: 232541 markings, 303523 edges, 1149 markings/sec, 180 secs
lola: 238487 markings, 311239 edges, 1189 markings/sec, 185 secs
lola: 244385 markings, 318987 edges, 1180 markings/sec, 190 secs
lola: 250196 markings, 326670 edges, 1162 markings/sec, 195 secs
lola: 255977 markings, 334312 edges, 1156 markings/sec, 200 secs
lola: 261588 markings, 341763 edges, 1122 markings/sec, 205 secs
lola: 267569 markings, 349594 edges, 1196 markings/sec, 210 secs
lola: 273379 markings, 357339 edges, 1162 markings/sec, 215 secs
lola: 279170 markings, 364971 edges, 1158 markings/sec, 220 secs
lola: 285085 markings, 372664 edges, 1183 markings/sec, 225 secs
lola: 290869 markings, 380326 edges, 1157 markings/sec, 230 secs
lola: 296656 markings, 387973 edges, 1157 markings/sec, 235 secs
lola: 302731 markings, 396043 edges, 1215 markings/sec, 240 secs
lola: 308894 markings, 404128 edges, 1233 markings/sec, 245 secs
lola: 315184 markings, 412503 edges, 1258 markings/sec, 250 secs
lola: 321724 markings, 421188 edges, 1308 markings/sec, 255 secs
lola: 328325 markings, 429870 edges, 1320 markings/sec, 260 secs
lola: 334890 markings, 438520 edges, 1313 markings/sec, 265 secs
lola: 341408 markings, 447180 edges, 1304 markings/sec, 270 secs
lola: 347788 markings, 455681 edges, 1276 markings/sec, 275 secs
lola: 354660 markings, 464545 edges, 1374 markings/sec, 280 secs
lola: 360827 markings, 472692 edges, 1233 markings/sec, 285 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 293 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P29_64)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 5048 markings, 6093 edges, 1010 markings/sec, 0 secs
lola: 11321 markings, 13897 edges, 1255 markings/sec, 5 secs
lola: 18286 markings, 22776 edges, 1393 markings/sec, 10 secs
lola: 24902 markings, 31372 edges, 1323 markings/sec, 15 secs
lola: 30851 markings, 39119 edges, 1190 markings/sec, 20 secs
lola: 36950 markings, 47071 edges, 1220 markings/sec, 25 secs
lola: 43026 markings, 54885 edges, 1215 markings/sec, 30 secs
lola: 49686 markings, 63605 edges, 1332 markings/sec, 35 secs
lola: 56586 markings, 72475 edges, 1380 markings/sec, 40 secs
lola: 63342 markings, 81358 edges, 1351 markings/sec, 45 secs
lola: 70091 markings, 90083 edges, 1350 markings/sec, 50 secs
lola: 76683 markings, 98739 edges, 1318 markings/sec, 55 secs
lola: 83258 markings, 107281 edges, 1315 markings/sec, 60 secs
lola: 89961 markings, 116058 edges, 1341 markings/sec, 65 secs
lola: 96416 markings, 124543 edges, 1291 markings/sec, 70 secs
lola: 102612 markings, 132742 edges, 1239 markings/sec, 75 secs
lola: 108569 markings, 140559 edges, 1191 markings/sec, 80 secs
lola: 114498 markings, 148414 edges, 1186 markings/sec, 85 secs
lola: 120461 markings, 156236 edges, 1193 markings/sec, 90 secs
lola: 126374 markings, 163994 edges, 1183 markings/sec, 95 secs
lola: 132400 markings, 171918 edges, 1205 markings/sec, 100 secs
lola: 138210 markings, 179653 edges, 1162 markings/sec, 105 secs
lola: 144155 markings, 187483 edges, 1189 markings/sec, 110 secs
lola: 150372 markings, 195546 edges, 1243 markings/sec, 115 secs
lola: 156327 markings, 203403 edges, 1191 markings/sec, 120 secs
lola: 162126 markings, 211033 edges, 1160 markings/sec, 125 secs
lola: 168086 markings, 218893 edges, 1192 markings/sec, 130 secs
lola: 174193 markings, 226878 edges, 1221 markings/sec, 135 secs
lola: 180207 markings, 234823 edges, 1203 markings/sec, 140 secs
lola: 186713 markings, 243292 edges, 1301 markings/sec, 145 secs
lola: 193148 markings, 251881 edges, 1287 markings/sec, 150 secs
lola: 199315 markings, 260003 edges, 1233 markings/sec, 155 secs
lola: 205789 markings, 268519 edges, 1295 markings/sec, 160 secs
lola: 212230 markings, 277062 edges, 1288 markings/sec, 165 secs
lola: 219169 markings, 285978 edges, 1388 markings/sec, 170 secs
lola: 225683 markings, 294415 edges, 1303 markings/sec, 175 secs
lola: 232125 markings, 303018 edges, 1288 markings/sec, 180 secs
lola: 238052 markings, 310916 edges, 1185 markings/sec, 185 secs
lola: 243815 markings, 318508 edges, 1153 markings/sec, 190 secs
lola: 249804 markings, 326378 edges, 1198 markings/sec, 195 secs
lola: 255896 markings, 334426 edges, 1218 markings/sec, 200 secs
lola: 262522 markings, 343120 edges, 1325 markings/sec, 205 secs
lola: 269208 markings, 351888 edges, 1337 markings/sec, 210 secs
lola: 276209 markings, 360966 edges, 1400 markings/sec, 215 secs
lola: 283025 markings, 369741 edges, 1363 markings/sec, 220 secs
lola: 289628 markings, 378416 edges, 1321 markings/sec, 225 secs
lola: 296225 markings, 387096 edges, 1319 markings/sec, 230 secs
lola: 302829 markings, 395867 edges, 1321 markings/sec, 235 secs
lola: 309581 markings, 404769 edges, 1350 markings/sec, 240 secs
lola: 316304 markings, 413662 edges, 1345 markings/sec, 245 secs
lola: 322498 markings, 421887 edges, 1239 markings/sec, 250 secs
lola: 328586 markings, 429826 edges, 1218 markings/sec, 255 secs
lola: 334303 markings, 437473 edges, 1143 markings/sec, 260 secs
lola: 340489 markings, 445609 edges, 1237 markings/sec, 265 secs
lola: 347054 markings, 454118 edges, 1313 markings/sec, 270 secs
lola: 353641 markings, 462780 edges, 1317 markings/sec, 275 secs
lola: 360310 markings, 471600 edges, 1334 markings/sec, 280 secs
lola: 366943 markings, 480379 edges, 1327 markings/sec, 285 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 293 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P280_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 5737 markings, 6929 edges, 1147 markings/sec, 0 secs
lola: 12620 markings, 15612 edges, 1377 markings/sec, 5 secs
lola: 19184 markings, 23979 edges, 1313 markings/sec, 10 secs
lola: 25799 markings, 32447 edges, 1323 markings/sec, 15 secs
lola: 32557 markings, 41316 edges, 1352 markings/sec, 20 secs
lola: 39303 markings, 50046 edges, 1349 markings/sec, 25 secs
lola: 46083 markings, 58844 edges, 1356 markings/sec, 30 secs
lola: 52672 markings, 67430 edges, 1318 markings/sec, 35 secs
lola: 58970 markings, 75649 edges, 1260 markings/sec, 40 secs
lola: 65253 markings, 83838 edges, 1257 markings/sec, 45 secs
lola: 71659 markings, 92132 edges, 1281 markings/sec, 50 secs
lola: 78280 markings, 100941 edges, 1324 markings/sec, 55 secs
lola: 85238 markings, 110354 edges, 1392 markings/sec, 60 secs
lola: 92067 markings, 119633 edges, 1366 markings/sec, 65 secs
lola: 98767 markings, 128354 edges, 1340 markings/sec, 70 secs
lola: 105100 markings, 136763 edges, 1267 markings/sec, 75 secs
lola: 111454 markings, 144984 edges, 1271 markings/sec, 80 secs
lola: 118021 markings, 153489 edges, 1313 markings/sec, 85 secs
lola: 124662 markings, 162132 edges, 1328 markings/sec, 90 secs
lola: 131169 markings, 170726 edges, 1301 markings/sec, 95 secs
lola: 137785 markings, 179827 edges, 1323 markings/sec, 100 secs
lola: 144591 markings, 189159 edges, 1361 markings/sec, 105 secs
lola: 151334 markings, 198362 edges, 1349 markings/sec, 110 secs
lola: 157962 markings, 207076 edges, 1326 markings/sec, 115 secs
lola: 164261 markings, 215388 edges, 1260 markings/sec, 120 secs
lola: 170651 markings, 223777 edges, 1278 markings/sec, 125 secs
lola: 177017 markings, 232115 edges, 1273 markings/sec, 130 secs
lola: 183355 markings, 240427 edges, 1268 markings/sec, 135 secs
lola: 189855 markings, 248930 edges, 1300 markings/sec, 140 secs
lola: 196165 markings, 257284 edges, 1262 markings/sec, 145 secs
lola: 202562 markings, 265542 edges, 1279 markings/sec, 150 secs
lola: 208921 markings, 273931 edges, 1272 markings/sec, 155 secs
lola: 215278 markings, 282295 edges, 1271 markings/sec, 160 secs
lola: 221584 markings, 290582 edges, 1261 markings/sec, 165 secs
lola: 227766 markings, 298785 edges, 1236 markings/sec, 170 secs
lola: 233978 markings, 307002 edges, 1242 markings/sec, 175 secs
lola: 240280 markings, 315275 edges, 1260 markings/sec, 180 secs
lola: 246914 markings, 323898 edges, 1327 markings/sec, 185 secs
lola: 253435 markings, 332322 edges, 1304 markings/sec, 190 secs
lola: 260166 markings, 341186 edges, 1346 markings/sec, 195 secs
lola: 266613 markings, 349687 edges, 1289 markings/sec, 200 secs
lola: 273267 markings, 358380 edges, 1331 markings/sec, 205 secs
lola: 279837 markings, 366959 edges, 1314 markings/sec, 210 secs
lola: 286181 markings, 375383 edges, 1269 markings/sec, 215 secs
lola: 292500 markings, 383746 edges, 1264 markings/sec, 220 secs
lola: 298932 markings, 392448 edges, 1286 markings/sec, 225 secs
lola: 305274 markings, 400810 edges, 1268 markings/sec, 230 secs
lola: 311598 markings, 409164 edges, 1265 markings/sec, 235 secs
lola: 318147 markings, 417665 edges, 1310 markings/sec, 240 secs
lola: 324616 markings, 426112 edges, 1294 markings/sec, 245 secs
lola: 330969 markings, 434534 edges, 1271 markings/sec, 250 secs
lola: 337370 markings, 442934 edges, 1280 markings/sec, 255 secs
lola: 343609 markings, 451167 edges, 1248 markings/sec, 260 secs
lola: 349984 markings, 459582 edges, 1275 markings/sec, 265 secs
lola: 356446 markings, 468015 edges, 1292 markings/sec, 270 secs
lola: 362862 markings, 476554 edges, 1283 markings/sec, 275 secs
lola: 369198 markings, 484870 edges, 1267 markings/sec, 280 secs
lola: 375589 markings, 493327 edges, 1278 markings/sec, 285 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 293 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P218_12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 13 will run for 390 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P181_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 5430 markings, 6563 edges, 1086 markings/sec, 0 secs
lola: 12494 markings, 15411 edges, 1413 markings/sec, 5 secs
lola: 19445 markings, 24324 edges, 1390 markings/sec, 10 secs
lola: 25913 markings, 32752 edges, 1294 markings/sec, 15 secs
lola: 32376 markings, 41234 edges, 1293 markings/sec, 20 secs
lola: 38682 markings, 49265 edges, 1261 markings/sec, 25 secs
lola: 44687 markings, 57129 edges, 1201 markings/sec, 30 secs
lola: 50801 markings, 65146 edges, 1223 markings/sec, 35 secs
lola: 57349 markings, 73630 edges, 1310 markings/sec, 40 secs
lola: 63429 markings, 81577 edges, 1216 markings/sec, 45 secs
lola: 69761 markings, 89804 edges, 1266 markings/sec, 50 secs
lola: 76140 markings, 98097 edges, 1276 markings/sec, 55 secs
lola: 82400 markings, 106311 edges, 1252 markings/sec, 60 secs
lola: 88301 markings, 114113 edges, 1180 markings/sec, 65 secs
lola: 94732 markings, 122449 edges, 1286 markings/sec, 70 secs
lola: 101184 markings, 130921 edges, 1290 markings/sec, 75 secs
lola: 107701 markings, 139424 edges, 1303 markings/sec, 80 secs
lola: 114379 markings, 148157 edges, 1336 markings/sec, 85 secs
lola: 120761 markings, 156522 edges, 1276 markings/sec, 90 secs
lola: 127351 markings, 164983 edges, 1318 markings/sec, 95 secs
lola: 133588 markings, 173213 edges, 1247 markings/sec, 100 secs
lola: 140427 markings, 182244 edges, 1368 markings/sec, 105 secs
lola: 147401 markings, 191142 edges, 1395 markings/sec, 110 secs
lola: 154309 markings, 200207 edges, 1382 markings/sec, 115 secs
lola: 161017 markings, 209002 edges, 1342 markings/sec, 120 secs
lola: 167878 markings, 218066 edges, 1372 markings/sec, 125 secs
lola: 173969 markings, 226030 edges, 1218 markings/sec, 130 secs
lola: 179831 markings, 233781 edges, 1172 markings/sec, 135 secs
lola: 185855 markings, 241652 edges, 1205 markings/sec, 140 secs
lola: 192245 markings, 250033 edges, 1278 markings/sec, 145 secs
lola: 198755 markings, 258589 edges, 1302 markings/sec, 150 secs
lola: 205397 markings, 267288 edges, 1328 markings/sec, 155 secs
lola: 212013 markings, 275976 edges, 1323 markings/sec, 160 secs
lola: 218594 markings, 284509 edges, 1316 markings/sec, 165 secs
lola: 224996 markings, 292987 edges, 1280 markings/sec, 170 secs
lola: 231430 markings, 301451 edges, 1287 markings/sec, 175 secs
lola: 237898 markings, 309960 edges, 1294 markings/sec, 180 secs
lola: 244219 markings, 318373 edges, 1264 markings/sec, 185 secs
lola: 250695 markings, 326833 edges, 1295 markings/sec, 190 secs
lola: 256968 markings, 335091 edges, 1255 markings/sec, 195 secs
lola: 263041 markings, 343116 edges, 1215 markings/sec, 200 secs
lola: 269441 markings, 351460 edges, 1280 markings/sec, 205 secs
lola: 275743 markings, 359794 edges, 1260 markings/sec, 210 secs
lola: 282273 markings, 368401 edges, 1306 markings/sec, 215 secs
lola: 288588 markings, 376825 edges, 1263 markings/sec, 220 secs
lola: 295042 markings, 385382 edges, 1291 markings/sec, 225 secs
lola: 301284 markings, 393659 edges, 1248 markings/sec, 230 secs
lola: 307749 markings, 402157 edges, 1293 markings/sec, 235 secs
lola: 314187 markings, 410653 edges, 1288 markings/sec, 240 secs
lola: 320736 markings, 419201 edges, 1310 markings/sec, 245 secs
lola: 327094 markings, 427568 edges, 1272 markings/sec, 250 secs
lola: 333573 markings, 436196 edges, 1296 markings/sec, 255 secs
lola: 339983 markings, 444653 edges, 1282 markings/sec, 260 secs
lola: 346684 markings, 453367 edges, 1340 markings/sec, 265 secs
lola: 353185 markings, 461967 edges, 1300 markings/sec, 270 secs
lola: 359586 markings, 470463 edges, 1280 markings/sec, 275 secs
lola: 366035 markings, 478915 edges, 1290 markings/sec, 280 secs
lola: 372297 markings, 487176 edges, 1252 markings/sec, 285 secs
lola: 378878 markings, 495836 edges, 1316 markings/sec, 290 secs
lola: 385400 markings, 504530 edges, 1304 markings/sec, 295 secs
lola: 392038 markings, 513361 edges, 1328 markings/sec, 300 secs
lola: 398519 markings, 521980 edges, 1296 markings/sec, 305 secs
lola: 405039 markings, 530686 edges, 1304 markings/sec, 310 secs
lola: 411666 markings, 539341 edges, 1325 markings/sec, 315 secs
lola: 418406 markings, 548216 edges, 1348 markings/sec, 320 secs
lola: 424711 markings, 556659 edges, 1261 markings/sec, 325 secs
lola: 430965 markings, 564972 edges, 1251 markings/sec, 330 secs
lola: 437200 markings, 573396 edges, 1247 markings/sec, 335 secs
lola: 443720 markings, 582067 edges, 1304 markings/sec, 340 secs
lola: 450429 markings, 590850 edges, 1342 markings/sec, 345 secs
lola: 457062 markings, 599643 edges, 1327 markings/sec, 350 secs
lola: 463676 markings, 608424 edges, 1323 markings/sec, 355 secs
lola: 470197 markings, 617093 edges, 1304 markings/sec, 360 secs
lola: 476739 markings, 625823 edges, 1308 markings/sec, 365 secs
lola: 483432 markings, 634492 edges, 1339 markings/sec, 370 secs
lola: 490123 markings, 643507 edges, 1338 markings/sec, 375 secs
lola: 496766 markings, 652653 edges, 1329 markings/sec, 380 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 391 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P508_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 5673 markings, 6878 edges, 1135 markings/sec, 0 secs
lola: 12699 markings, 15608 edges, 1405 markings/sec, 5 secs
lola: 19314 markings, 24087 edges, 1323 markings/sec, 10 secs
lola: 25920 markings, 32648 edges, 1321 markings/sec, 15 secs
lola: 32707 markings, 41550 edges, 1357 markings/sec, 20 secs
lola: 39531 markings, 50273 edges, 1365 markings/sec, 25 secs
lola: 46207 markings, 59005 edges, 1335 markings/sec, 30 secs
lola: 52875 markings, 67765 edges, 1334 markings/sec, 35 secs
lola: 59701 markings, 76588 edges, 1365 markings/sec, 40 secs
lola: 66225 markings, 85132 edges, 1305 markings/sec, 45 secs
lola: 72450 markings, 93192 edges, 1245 markings/sec, 50 secs
lola: 78561 markings, 101154 edges, 1222 markings/sec, 55 secs
lola: 84577 markings, 109068 edges, 1203 markings/sec, 60 secs
lola: 90301 markings, 116616 edges, 1145 markings/sec, 65 secs
lola: 96373 markings, 124488 edges, 1214 markings/sec, 70 secs
lola: 102242 markings, 132183 edges, 1174 markings/sec, 75 secs
lola: 108106 markings, 139855 edges, 1173 markings/sec, 80 secs
lola: 114269 markings, 147942 edges, 1233 markings/sec, 85 secs
lola: 120360 markings, 155887 edges, 1218 markings/sec, 90 secs
lola: 126494 markings, 163801 edges, 1227 markings/sec, 95 secs
lola: 132402 markings, 171514 edges, 1182 markings/sec, 100 secs
lola: 138379 markings, 179470 edges, 1195 markings/sec, 105 secs
lola: 145197 markings, 188322 edges, 1364 markings/sec, 110 secs
lola: 152207 markings, 197353 edges, 1402 markings/sec, 115 secs
lola: 159173 markings, 206479 edges, 1393 markings/sec, 120 secs
lola: 165568 markings, 214878 edges, 1279 markings/sec, 125 secs
lola: 171886 markings, 223208 edges, 1264 markings/sec, 130 secs
lola: 178486 markings, 231835 edges, 1320 markings/sec, 135 secs
lola: 185012 markings, 240437 edges, 1305 markings/sec, 140 secs
lola: 191522 markings, 248947 edges, 1302 markings/sec, 145 secs
lola: 198063 markings, 257566 edges, 1308 markings/sec, 150 secs
lola: 204683 markings, 266226 edges, 1324 markings/sec, 155 secs
lola: 211079 markings, 274669 edges, 1279 markings/sec, 160 secs
lola: 217536 markings, 283081 edges, 1291 markings/sec, 165 secs
lola: 224314 markings, 291975 edges, 1356 markings/sec, 170 secs
lola: 230859 markings, 300535 edges, 1309 markings/sec, 175 secs
lola: 237202 markings, 308944 edges, 1269 markings/sec, 180 secs
lola: 243532 markings, 317279 edges, 1266 markings/sec, 185 secs
lola: 249872 markings, 325622 edges, 1268 markings/sec, 190 secs
lola: 256062 markings, 333787 edges, 1238 markings/sec, 195 secs
lola: 262409 markings, 342116 edges, 1269 markings/sec, 200 secs
lola: 268764 markings, 350500 edges, 1271 markings/sec, 205 secs
lola: 275185 markings, 358879 edges, 1284 markings/sec, 210 secs
lola: 281569 markings, 367302 edges, 1277 markings/sec, 215 secs
lola: 287838 markings, 375675 edges, 1254 markings/sec, 220 secs
lola: 294257 markings, 384121 edges, 1284 markings/sec, 225 secs
lola: 300619 markings, 392626 edges, 1272 markings/sec, 230 secs
lola: 306843 markings, 400896 edges, 1245 markings/sec, 235 secs
lola: 313295 markings, 409351 edges, 1290 markings/sec, 240 secs
lola: 319917 markings, 417987 edges, 1324 markings/sec, 245 secs
lola: 326395 markings, 426494 edges, 1296 markings/sec, 250 secs
lola: 332916 markings, 435125 edges, 1304 markings/sec, 255 secs
lola: 339363 markings, 443711 edges, 1289 markings/sec, 260 secs
lola: 346010 markings, 452399 edges, 1329 markings/sec, 265 secs
lola: 352753 markings, 461237 edges, 1349 markings/sec, 270 secs
lola: 358774 markings, 469259 edges, 1204 markings/sec, 275 secs
lola: 364679 markings, 476983 edges, 1181 markings/sec, 280 secs
lola: 371017 markings, 485350 edges, 1268 markings/sec, 285 secs
lola: 377830 markings, 494281 edges, 1363 markings/sec, 290 secs
lola: 384209 markings, 502818 edges, 1276 markings/sec, 295 secs
lola: 390478 markings, 511130 edges, 1254 markings/sec, 300 secs
lola: 396351 markings, 518959 edges, 1175 markings/sec, 305 secs
lola: 402498 markings, 527126 edges, 1229 markings/sec, 310 secs
lola: 408326 markings, 534886 edges, 1166 markings/sec, 315 secs
lola: 414412 markings, 542809 edges, 1217 markings/sec, 320 secs
lola: 420396 markings, 550714 edges, 1197 markings/sec, 325 secs
lola: 426297 markings, 558610 edges, 1180 markings/sec, 330 secs
lola: 432071 markings, 566280 edges, 1155 markings/sec, 335 secs
lola: 437759 markings, 573958 edges, 1138 markings/sec, 340 secs
lola: 443485 markings, 581617 edges, 1145 markings/sec, 345 secs
lola: 449447 markings, 589408 edges, 1192 markings/sec, 350 secs
lola: 455317 markings, 597176 edges, 1174 markings/sec, 355 secs
lola: 461547 markings, 605416 edges, 1246 markings/sec, 360 secs
lola: 467984 markings, 613976 edges, 1287 markings/sec, 365 secs
lola: 474449 markings, 622624 edges, 1293 markings/sec, 370 secs
lola: 481008 markings, 631296 edges, 1312 markings/sec, 375 secs
lola: 487826 markings, 640214 edges, 1364 markings/sec, 380 secs
lola: 494702 markings, 649576 edges, 1375 markings/sec, 385 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 391 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P435_53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 5658 markings, 6857 edges, 1132 markings/sec, 0 secs
lola: 12707 markings, 15617 edges, 1410 markings/sec, 5 secs
lola: 18821 markings, 23440 edges, 1223 markings/sec, 10 secs
lola: 24927 markings, 31379 edges, 1221 markings/sec, 15 secs
lola: 31159 markings, 39529 edges, 1246 markings/sec, 20 secs
lola: 37605 markings, 47815 edges, 1289 markings/sec, 25 secs
lola: 44324 markings, 56521 edges, 1344 markings/sec, 30 secs
lola: 50725 markings, 64888 edges, 1280 markings/sec, 35 secs
lola: 57001 markings, 73054 edges, 1255 markings/sec, 40 secs
lola: 63470 markings, 81539 edges, 1294 markings/sec, 45 secs
lola: 69604 markings, 89519 edges, 1227 markings/sec, 50 secs
lola: 75731 markings, 97431 edges, 1225 markings/sec, 55 secs
lola: 82116 markings, 105841 edges, 1277 markings/sec, 60 secs
lola: 88281 markings, 113955 edges, 1233 markings/sec, 65 secs
lola: 94793 markings, 122472 edges, 1302 markings/sec, 70 secs
lola: 100891 markings, 130362 edges, 1220 markings/sec, 75 secs
lola: 107143 markings, 138616 edges, 1250 markings/sec, 80 secs
lola: 113900 markings, 147457 edges, 1351 markings/sec, 85 secs
lola: 120291 markings, 155795 edges, 1278 markings/sec, 90 secs
lola: 126871 markings, 164277 edges, 1316 markings/sec, 95 secs
lola: 133148 markings, 172510 edges, 1255 markings/sec, 100 secs
lola: 139326 markings, 180743 edges, 1236 markings/sec, 105 secs
lola: 145420 markings, 188613 edges, 1219 markings/sec, 110 secs
lola: 152469 markings, 197707 edges, 1410 markings/sec, 115 secs
lola: 159617 markings, 207059 edges, 1430 markings/sec, 120 secs
lola: 166355 markings, 215937 edges, 1348 markings/sec, 125 secs
lola: 173062 markings, 224731 edges, 1341 markings/sec, 130 secs
lola: 179375 markings, 233037 edges, 1263 markings/sec, 135 secs
lola: 185373 markings, 240921 edges, 1200 markings/sec, 140 secs
lola: 191273 markings, 248623 edges, 1180 markings/sec, 145 secs
lola: 197141 markings, 256380 edges, 1174 markings/sec, 150 secs
lola: 203859 markings, 265144 edges, 1344 markings/sec, 155 secs
lola: 210517 markings, 273954 edges, 1332 markings/sec, 160 secs
lola: 217376 markings, 282881 edges, 1372 markings/sec, 165 secs
lola: 224239 markings, 291870 edges, 1373 markings/sec, 170 secs
lola: 230681 markings, 300296 edges, 1288 markings/sec, 175 secs
lola: 236573 markings, 308105 edges, 1178 markings/sec, 180 secs
lola: 242684 markings, 316149 edges, 1222 markings/sec, 185 secs
lola: 248755 markings, 324180 edges, 1214 markings/sec, 190 secs
lola: 254587 markings, 331852 edges, 1166 markings/sec, 195 secs
lola: 260507 markings, 339634 edges, 1184 markings/sec, 200 secs
lola: 266360 markings, 347338 edges, 1171 markings/sec, 205 secs
lola: 272858 markings, 355763 edges, 1300 markings/sec, 210 secs
lola: 279125 markings, 364137 edges, 1253 markings/sec, 215 secs
lola: 285761 markings, 372874 edges, 1327 markings/sec, 220 secs
lola: 291642 markings, 380698 edges, 1176 markings/sec, 225 secs
lola: 297507 markings, 388513 edges, 1173 markings/sec, 230 secs
lola: 303313 markings, 396189 edges, 1161 markings/sec, 235 secs
lola: 309288 markings, 404058 edges, 1195 markings/sec, 240 secs
lola: 315225 markings, 411889 edges, 1187 markings/sec, 245 secs
lola: 321875 markings, 420580 edges, 1330 markings/sec, 250 secs
lola: 328398 markings, 429156 edges, 1305 markings/sec, 255 secs
lola: 335025 markings, 437976 edges, 1325 markings/sec, 260 secs
lola: 341625 markings, 446689 edges, 1320 markings/sec, 265 secs
lola: 348550 markings, 455697 edges, 1385 markings/sec, 270 secs
lola: 355257 markings, 464574 edges, 1341 markings/sec, 275 secs
lola: 361937 markings, 473430 edges, 1336 markings/sec, 280 secs
lola: 368609 markings, 482166 edges, 1334 markings/sec, 285 secs
lola: 375186 markings, 490831 edges, 1315 markings/sec, 290 secs
lola: 381853 markings, 499673 edges, 1333 markings/sec, 295 secs
lola: 388342 markings, 508291 edges, 1298 markings/sec, 300 secs
lola: 395013 markings, 517167 edges, 1334 markings/sec, 305 secs
lola: 401451 markings, 525766 edges, 1288 markings/sec, 310 secs
lola: 408104 markings, 534602 edges, 1331 markings/sec, 315 secs
lola: 415035 markings, 543609 edges, 1386 markings/sec, 320 secs
lola: 421544 markings, 552229 edges, 1302 markings/sec, 325 secs
lola: 427282 markings, 559950 edges, 1148 markings/sec, 330 secs
lola: 433152 markings, 567737 edges, 1174 markings/sec, 335 secs
lola: 438826 markings, 575400 edges, 1135 markings/sec, 340 secs
lola: 444612 markings, 583136 edges, 1157 markings/sec, 345 secs
lola: 451241 markings, 591805 edges, 1326 markings/sec, 350 secs
lola: 458075 markings, 600858 edges, 1367 markings/sec, 355 secs
lola: 464038 markings, 608719 edges, 1193 markings/sec, 360 secs
lola: 469861 markings, 616498 edges, 1165 markings/sec, 365 secs
lola: 475691 markings, 624257 edges, 1166 markings/sec, 370 secs
lola: 482186 markings, 632836 edges, 1299 markings/sec, 375 secs
lola: 489373 markings, 642324 edges, 1437 markings/sec, 380 secs
lola: 496462 markings, 651986 edges, 1418 markings/sec, 385 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 0 unknown 0 0 unknown unknown unknown unknown unknown 0 unknown unknown unknown
FORMULA Railroad-PT-100-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-100-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-100-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-100-UpperBounds-3 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-100-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-100-UpperBounds-5 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-100-UpperBounds-6 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-100-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-100-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-100-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-100-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-100-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-100-UpperBounds-12 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-100-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-100-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-100-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494804461873

--------------------
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="Railroad-PT-100"
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/Railroad-PT-100.tgz
mv Railroad-PT-100 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 Railroad-PT-100, 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 r068-csrt-149440963100065"
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 ;