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

--------------------
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 1496439034530


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


checking for too many tokens
===========================================================================================
S_Railroad-PT-100: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 5064 markings, 6084 edges, 1013 markings/sec, 0 secs
lola: 11300 markings, 13909 edges, 1247 markings/sec, 5 secs
lola: 17259 markings, 21652 edges, 1192 markings/sec, 10 secs
lola: 23203 markings, 29282 edges, 1189 markings/sec, 15 secs
lola: 29335 markings, 37194 edges, 1226 markings/sec, 20 secs
lola: 35586 markings, 45463 edges, 1250 markings/sec, 25 secs
lola: 42163 markings, 53947 edges, 1315 markings/sec, 30 secs
lola: 48611 markings, 62480 edges, 1290 markings/sec, 35 secs
lola: 54893 markings, 70720 edges, 1256 markings/sec, 40 secs
lola: 61139 markings, 78885 edges, 1249 markings/sec, 45 secs
lola: 67254 markings, 86926 edges, 1223 markings/sec, 50 secs
lola: 73620 markings, 95358 edges, 1273 markings/sec, 55 secs
lola: 79929 markings, 103693 edges, 1262 markings/sec, 60 secs
lola: 86160 markings, 111940 edges, 1246 markings/sec, 65 secs
lola: 92525 markings, 120353 edges, 1273 markings/sec, 70 secs
lola: 99030 markings, 128844 edges, 1301 markings/sec, 75 secs
lola: 105206 markings, 137036 edges, 1235 markings/sec, 80 secs
lola: 111702 markings, 145716 edges, 1299 markings/sec, 85 secs
lola: 118243 markings, 154766 edges, 1308 markings/sec, 90 secs
lola: 124298 markings, 162791 edges, 1211 markings/sec, 95 secs
lola: 130053 markings, 170359 edges, 1151 markings/sec, 100 secs
lola: 135847 markings, 177989 edges, 1159 markings/sec, 105 secs
lola: 142186 markings, 186364 edges, 1268 markings/sec, 110 secs
lola: 148439 markings, 194635 edges, 1251 markings/sec, 115 secs
lola: 154748 markings, 202977 edges, 1262 markings/sec, 120 secs
lola: 160741 markings, 210825 edges, 1199 markings/sec, 125 secs
lola: 166855 markings, 218938 edges, 1223 markings/sec, 130 secs
lola: 173079 markings, 227166 edges, 1245 markings/sec, 135 secs
lola: 179143 markings, 235297 edges, 1213 markings/sec, 140 secs
lola: 184885 markings, 243000 edges, 1148 markings/sec, 145 secs
lola: 190672 markings, 250681 edges, 1157 markings/sec, 150 secs
lola: 196551 markings, 258555 edges, 1176 markings/sec, 155 secs
lola: 202944 markings, 266758 edges, 1279 markings/sec, 160 secs
lola: 209151 markings, 274990 edges, 1241 markings/sec, 165 secs
lola: 215725 markings, 283513 edges, 1315 markings/sec, 170 secs
lola: 222214 markings, 292123 edges, 1298 markings/sec, 175 secs
lola: 228644 markings, 300544 edges, 1286 markings/sec, 180 secs
lola: 234922 markings, 308897 edges, 1256 markings/sec, 185 secs
lola: 241220 markings, 317212 edges, 1260 markings/sec, 190 secs
lola: 247573 markings, 325445 edges, 1271 markings/sec, 195 secs
lola: 253866 markings, 333788 edges, 1259 markings/sec, 200 secs
lola: 260148 markings, 342155 edges, 1256 markings/sec, 205 secs
lola: 266326 markings, 350338 edges, 1236 markings/sec, 210 secs
lola: 272579 markings, 358656 edges, 1251 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: 5413 markings, 6550 edges, 1083 markings/sec, 0 secs
lola: 11842 markings, 14525 edges, 1286 markings/sec, 5 secs
lola: 18163 markings, 22595 edges, 1264 markings/sec, 10 secs
lola: 24447 markings, 30773 edges, 1257 markings/sec, 15 secs
lola: 30830 markings, 39116 edges, 1277 markings/sec, 20 secs
lola: 37055 markings, 47112 edges, 1245 markings/sec, 25 secs
lola: 43436 markings, 55360 edges, 1276 markings/sec, 30 secs
lola: 49709 markings, 63572 edges, 1255 markings/sec, 35 secs
lola: 55994 markings, 71759 edges, 1257 markings/sec, 40 secs
lola: 62086 markings, 79749 edges, 1218 markings/sec, 45 secs
lola: 68222 markings, 87730 edges, 1227 markings/sec, 50 secs
lola: 74458 markings, 95792 edges, 1247 markings/sec, 55 secs
lola: 80530 markings, 103772 edges, 1214 markings/sec, 60 secs
lola: 86664 markings, 111842 edges, 1227 markings/sec, 65 secs
lola: 92570 markings, 119664 edges, 1181 markings/sec, 70 secs
lola: 98803 markings, 127670 edges, 1247 markings/sec, 75 secs
lola: 104851 markings, 135623 edges, 1210 markings/sec, 80 secs
lola: 111034 markings, 143676 edges, 1237 markings/sec, 85 secs
lola: 116996 markings, 151460 edges, 1192 markings/sec, 90 secs
lola: 123361 markings, 159775 edges, 1273 markings/sec, 95 secs
lola: 129673 markings, 167952 edges, 1262 markings/sec, 100 secs
lola: 136134 markings, 176480 edges, 1292 markings/sec, 105 secs
lola: 142286 markings, 184562 edges, 1230 markings/sec, 110 secs
lola: 148541 markings, 192545 edges, 1251 markings/sec, 115 secs
lola: 154723 markings, 200657 edges, 1236 markings/sec, 120 secs
lola: 160916 markings, 208808 edges, 1239 markings/sec, 125 secs
lola: 166937 markings, 216740 edges, 1204 markings/sec, 130 secs
lola: 173002 markings, 224668 edges, 1213 markings/sec, 135 secs
lola: 179088 markings, 232676 edges, 1217 markings/sec, 140 secs
lola: 185263 markings, 240786 edges, 1235 markings/sec, 145 secs
lola: 191404 markings, 248808 edges, 1228 markings/sec, 150 secs
lola: 197519 markings, 256875 edges, 1223 markings/sec, 155 secs
lola: 203667 markings, 264900 edges, 1230 markings/sec, 160 secs
lola: 209802 markings, 273070 edges, 1227 markings/sec, 165 secs
lola: 216290 markings, 281505 edges, 1298 markings/sec, 170 secs
lola: 222738 markings, 289884 edges, 1290 markings/sec, 175 secs
lola: 229134 markings, 298297 edges, 1279 markings/sec, 180 secs
lola: 235592 markings, 306828 edges, 1292 markings/sec, 185 secs
lola: 241955 markings, 315205 edges, 1273 markings/sec, 190 secs
lola: 248303 markings, 323609 edges, 1270 markings/sec, 195 secs
lola: 254780 markings, 332124 edges, 1295 markings/sec, 200 secs
lola: 260903 markings, 340200 edges, 1225 markings/sec, 205 secs
lola: 266736 markings, 347868 edges, 1167 markings/sec, 210 secs
lola: 272766 markings, 355659 edges, 1206 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: 5084 markings, 6136 edges, 1017 markings/sec, 0 secs
lola: 11228 markings, 13769 edges, 1229 markings/sec, 5 secs
lola: 17240 markings, 21463 edges, 1202 markings/sec, 10 secs
lola: 23402 markings, 29472 edges, 1232 markings/sec, 15 secs
lola: 29744 markings, 37774 edges, 1268 markings/sec, 20 secs
lola: 36101 markings, 45932 edges, 1271 markings/sec, 25 secs
lola: 42370 markings, 54044 edges, 1254 markings/sec, 30 secs
lola: 48915 markings, 62611 edges, 1309 markings/sec, 35 secs
lola: 55345 markings, 70981 edges, 1286 markings/sec, 40 secs
lola: 61605 markings, 79189 edges, 1252 markings/sec, 45 secs
lola: 67353 markings, 86660 edges, 1150 markings/sec, 50 secs
lola: 73261 markings, 94297 edges, 1182 markings/sec, 55 secs
lola: 79200 markings, 102108 edges, 1188 markings/sec, 60 secs
lola: 85015 markings, 109763 edges, 1163 markings/sec, 65 secs
lola: 90979 markings, 117662 edges, 1193 markings/sec, 70 secs
lola: 97379 markings, 125889 edges, 1280 markings/sec, 75 secs
lola: 103833 markings, 134380 edges, 1291 markings/sec, 80 secs
lola: 110331 markings, 142828 edges, 1300 markings/sec, 85 secs
lola: 116382 markings, 150727 edges, 1210 markings/sec, 90 secs
lola: 122343 markings, 158506 edges, 1192 markings/sec, 95 secs
lola: 128744 markings, 166805 edges, 1280 markings/sec, 100 secs
lola: 135223 markings, 175383 edges, 1296 markings/sec, 105 secs
lola: 141267 markings, 183293 edges, 1209 markings/sec, 110 secs
lola: 147203 markings, 190869 edges, 1187 markings/sec, 115 secs
lola: 153526 markings, 199163 edges, 1265 markings/sec, 120 secs
lola: 160018 markings, 207704 edges, 1298 markings/sec, 125 secs
lola: 166358 markings, 216057 edges, 1268 markings/sec, 130 secs
lola: 172584 markings, 224212 edges, 1245 markings/sec, 135 secs
lola: 178689 markings, 232283 edges, 1221 markings/sec, 140 secs
lola: 185197 markings, 240777 edges, 1302 markings/sec, 145 secs
lola: 191693 markings, 249274 edges, 1299 markings/sec, 150 secs
lola: 197878 markings, 257426 edges, 1237 markings/sec, 155 secs
lola: 204428 markings, 266007 edges, 1310 markings/sec, 160 secs
lola: 210874 markings, 274458 edges, 1289 markings/sec, 165 secs
lola: 217634 markings, 283249 edges, 1352 markings/sec, 170 secs
lola: 224086 markings, 291782 edges, 1290 markings/sec, 175 secs
lola: 230017 markings, 299543 edges, 1186 markings/sec, 180 secs
lola: 236489 markings, 308105 edges, 1294 markings/sec, 185 secs
lola: 242982 markings, 316698 edges, 1299 markings/sec, 190 secs
lola: 249472 markings, 325185 edges, 1298 markings/sec, 195 secs
lola: 255716 markings, 333450 edges, 1249 markings/sec, 200 secs
lola: 262084 markings, 341820 edges, 1274 markings/sec, 205 secs
lola: 268509 markings, 350234 edges, 1285 markings/sec, 210 secs
lola: 274784 markings, 358497 edges, 1255 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: 5464 markings, 6604 edges, 1093 markings/sec, 0 secs
lola: 12063 markings, 14852 edges, 1320 markings/sec, 5 secs
lola: 18161 markings, 22692 edges, 1220 markings/sec, 10 secs
lola: 24162 markings, 30363 edges, 1200 markings/sec, 15 secs
lola: 30343 markings, 38314 edges, 1236 markings/sec, 20 secs
lola: 36438 markings, 46151 edges, 1219 markings/sec, 25 secs
lola: 42324 markings, 53831 edges, 1177 markings/sec, 30 secs
lola: 48222 markings, 61570 edges, 1180 markings/sec, 35 secs
lola: 54164 markings, 69347 edges, 1188 markings/sec, 40 secs
lola: 60027 markings, 77037 edges, 1173 markings/sec, 45 secs
lola: 65926 markings, 84742 edges, 1180 markings/sec, 50 secs
lola: 71997 markings, 92560 edges, 1214 markings/sec, 55 secs
lola: 77833 markings, 100178 edges, 1167 markings/sec, 60 secs
lola: 83650 markings, 107802 edges, 1163 markings/sec, 65 secs
lola: 89647 markings, 115659 edges, 1199 markings/sec, 70 secs
lola: 95473 markings, 123320 edges, 1165 markings/sec, 75 secs
lola: 101331 markings, 131036 edges, 1172 markings/sec, 80 secs
lola: 107221 markings, 138689 edges, 1178 markings/sec, 85 secs
lola: 113126 markings, 146396 edges, 1181 markings/sec, 90 secs
lola: 118999 markings, 154044 edges, 1175 markings/sec, 95 secs
lola: 124924 markings, 161769 edges, 1185 markings/sec, 100 secs
lola: 130744 markings, 169441 edges, 1164 markings/sec, 105 secs
lola: 136831 markings, 177421 edges, 1217 markings/sec, 110 secs
lola: 142793 markings, 185173 edges, 1192 markings/sec, 115 secs
lola: 148645 markings, 192854 edges, 1170 markings/sec, 120 secs
lola: 154537 markings, 200607 edges, 1178 markings/sec, 125 secs
lola: 160322 markings, 208257 edges, 1157 markings/sec, 130 secs
lola: 166393 markings, 216010 edges, 1214 markings/sec, 135 secs
lola: 172355 markings, 223863 edges, 1192 markings/sec, 140 secs
lola: 178134 markings, 231517 edges, 1156 markings/sec, 145 secs
lola: 184070 markings, 239406 edges, 1187 markings/sec, 150 secs
lola: 189722 markings, 246919 edges, 1130 markings/sec, 155 secs
lola: 195488 markings, 254666 edges, 1153 markings/sec, 160 secs
lola: 201436 markings, 262375 edges, 1190 markings/sec, 165 secs
lola: 207286 markings, 270083 edges, 1170 markings/sec, 170 secs
lola: 213027 markings, 277677 edges, 1148 markings/sec, 175 secs
lola: 218772 markings, 285218 edges, 1149 markings/sec, 180 secs
lola: 224644 markings, 293021 edges, 1174 markings/sec, 185 secs
lola: 230685 markings, 301066 edges, 1208 markings/sec, 190 secs
lola: 237002 markings, 309288 edges, 1263 markings/sec, 195 secs
lola: 243291 markings, 317551 edges, 1258 markings/sec, 200 secs
lola: 249117 markings, 325194 edges, 1165 markings/sec, 205 secs
lola: 254768 markings, 332716 edges, 1130 markings/sec, 210 secs
lola: 260542 markings, 340359 edges, 1155 markings/sec, 215 secs
lola: 266607 markings, 348339 edges, 1213 markings/sec, 220 secs
lola: 272687 markings, 356421 edges, 1216 markings/sec, 225 secs
lola: 278798 markings, 364470 edges, 1222 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: 5181 markings, 6258 edges, 1036 markings/sec, 0 secs
lola: 11478 markings, 14086 edges, 1259 markings/sec, 5 secs
lola: 17754 markings, 22141 edges, 1255 markings/sec, 10 secs
lola: 24008 markings, 30235 edges, 1251 markings/sec, 15 secs
lola: 30189 markings, 38360 edges, 1236 markings/sec, 20 secs
lola: 36578 markings, 46536 edges, 1278 markings/sec, 25 secs
lola: 42801 markings, 54617 edges, 1245 markings/sec, 30 secs
lola: 48998 markings, 62719 edges, 1239 markings/sec, 35 secs
lola: 55335 markings, 70966 edges, 1267 markings/sec, 40 secs
lola: 61437 markings, 78967 edges, 1220 markings/sec, 45 secs
lola: 67532 markings, 86898 edges, 1219 markings/sec, 50 secs
lola: 73923 markings, 95154 edges, 1278 markings/sec, 55 secs
lola: 80070 markings, 103242 edges, 1229 markings/sec, 60 secs
lola: 86176 markings, 111268 edges, 1221 markings/sec, 65 secs
lola: 92179 markings, 119200 edges, 1201 markings/sec, 70 secs
lola: 98389 markings, 127175 edges, 1242 markings/sec, 75 secs
lola: 104232 markings, 134899 edges, 1169 markings/sec, 80 secs
lola: 110317 markings, 142803 edges, 1217 markings/sec, 85 secs
lola: 116283 markings, 150591 edges, 1193 markings/sec, 90 secs
lola: 122310 markings, 158470 edges, 1205 markings/sec, 95 secs
lola: 128269 markings, 166184 edges, 1192 markings/sec, 100 secs
lola: 134238 markings, 174063 edges, 1194 markings/sec, 105 secs
lola: 140151 markings, 181865 edges, 1183 markings/sec, 110 secs
lola: 146259 markings, 189662 edges, 1222 markings/sec, 115 secs
lola: 152236 markings, 197521 edges, 1195 markings/sec, 120 secs
lola: 158338 markings, 205473 edges, 1220 markings/sec, 125 secs
lola: 164157 markings, 213134 edges, 1164 markings/sec, 130 secs
lola: 169935 markings, 220748 edges, 1156 markings/sec, 135 secs
lola: 175703 markings, 228274 edges, 1154 markings/sec, 140 secs
lola: 181497 markings, 235948 edges, 1159 markings/sec, 145 secs
lola: 187393 markings, 243653 edges, 1179 markings/sec, 150 secs
lola: 193122 markings, 251180 edges, 1146 markings/sec, 155 secs
lola: 199035 markings, 258940 edges, 1183 markings/sec, 160 secs
lola: 205301 markings, 267142 edges, 1253 markings/sec, 165 secs
lola: 211569 markings, 275372 edges, 1254 markings/sec, 170 secs
lola: 218086 markings, 283839 edges, 1303 markings/sec, 175 secs
lola: 224287 markings, 292030 edges, 1240 markings/sec, 180 secs
lola: 230314 markings, 299929 edges, 1205 markings/sec, 185 secs
lola: 236419 markings, 308018 edges, 1221 markings/sec, 190 secs
lola: 242749 markings, 316379 edges, 1266 markings/sec, 195 secs
lola: 249072 markings, 324649 edges, 1265 markings/sec, 200 secs
lola: 255031 markings, 332546 edges, 1192 markings/sec, 205 secs
lola: 261078 markings, 340473 edges, 1209 markings/sec, 210 secs
lola: 267145 markings, 348470 edges, 1213 markings/sec, 215 secs
lola: 273039 markings, 356136 edges, 1179 markings/sec, 220 secs
lola: 278856 markings, 363846 edges, 1163 markings/sec, 225 secs
lola: 284931 markings, 371902 edges, 1215 markings/sec, 230 secs
lola: 291056 markings, 380004 edges, 1225 markings/sec, 235 secs
lola: 296969 markings, 387937 edges, 1183 markings/sec, 240 secs
lola: 302738 markings, 395531 edges, 1154 markings/sec, 245 secs
lola: 308576 markings, 403256 edges, 1168 markings/sec, 250 secs
lola: 314644 markings, 411226 edges, 1214 markings/sec, 255 secs
lola: 320955 markings, 419463 edges, 1262 markings/sec, 260 secs
lola: 327081 markings, 427537 edges, 1225 markings/sec, 265 secs
lola: 333865 markings, 436554 edges, 1357 markings/sec, 270 secs
lola: 340423 markings, 445210 edges, 1312 markings/sec, 275 secs
lola: 347209 markings, 454037 edges, 1357 markings/sec, 280 secs
lola: 353824 markings, 462793 edges, 1323 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: 5725 markings, 6921 edges, 1145 markings/sec, 0 secs
lola: 12600 markings, 15529 edges, 1375 markings/sec, 5 secs
lola: 19341 markings, 24168 edges, 1348 markings/sec, 10 secs
lola: 25948 markings, 32783 edges, 1321 markings/sec, 15 secs
lola: 32484 markings, 41349 edges, 1307 markings/sec, 20 secs
lola: 38890 markings, 49517 edges, 1281 markings/sec, 25 secs
lola: 45241 markings, 57811 edges, 1270 markings/sec, 30 secs
lola: 51229 markings, 65707 edges, 1198 markings/sec, 35 secs
lola: 57332 markings, 73592 edges, 1221 markings/sec, 40 secs
lola: 63230 markings, 81295 edges, 1180 markings/sec, 45 secs
lola: 69527 markings, 89465 edges, 1259 markings/sec, 50 secs
lola: 76170 markings, 98120 edges, 1329 markings/sec, 55 secs
lola: 82694 markings, 106679 edges, 1305 markings/sec, 60 secs
lola: 89107 markings, 115167 edges, 1283 markings/sec, 65 secs
lola: 95907 markings, 123948 edges, 1360 markings/sec, 70 secs
lola: 102400 markings, 132495 edges, 1299 markings/sec, 75 secs
lola: 109127 markings, 141245 edges, 1345 markings/sec, 80 secs
lola: 115703 markings, 149844 edges, 1315 markings/sec, 85 secs
lola: 122308 markings, 158467 edges, 1321 markings/sec, 90 secs
lola: 129063 markings, 167212 edges, 1351 markings/sec, 95 secs
lola: 135911 markings, 176305 edges, 1370 markings/sec, 100 secs
lola: 142221 markings, 184518 edges, 1262 markings/sec, 105 secs
lola: 148372 markings, 192379 edges, 1230 markings/sec, 110 secs
lola: 154377 markings, 200282 edges, 1201 markings/sec, 115 secs
lola: 160236 markings, 207988 edges, 1172 markings/sec, 120 secs
lola: 166032 markings, 215639 edges, 1159 markings/sec, 125 secs
lola: 171952 markings, 223379 edges, 1184 markings/sec, 130 secs
lola: 177627 markings, 230841 edges, 1135 markings/sec, 135 secs
lola: 183547 markings, 238618 edges, 1184 markings/sec, 140 secs
lola: 189248 markings, 246069 edges, 1140 markings/sec, 145 secs
lola: 195114 markings, 253810 edges, 1173 markings/sec, 150 secs
lola: 201067 markings, 261613 edges, 1191 markings/sec, 155 secs
lola: 206978 markings, 269436 edges, 1182 markings/sec, 160 secs
lola: 212936 markings, 277160 edges, 1192 markings/sec, 165 secs
lola: 219011 markings, 285029 edges, 1215 markings/sec, 170 secs
lola: 224899 markings, 292824 edges, 1178 markings/sec, 175 secs
lola: 230692 markings, 300436 edges, 1159 markings/sec, 180 secs
lola: 236501 markings, 308123 edges, 1162 markings/sec, 185 secs
lola: 242539 markings, 316103 edges, 1208 markings/sec, 190 secs
lola: 248699 markings, 324164 edges, 1232 markings/sec, 195 secs
lola: 254673 markings, 332072 edges, 1195 markings/sec, 200 secs
lola: 260648 markings, 339910 edges, 1195 markings/sec, 205 secs
lola: 266503 markings, 347634 edges, 1171 markings/sec, 210 secs
lola: 272424 markings, 355311 edges, 1184 markings/sec, 215 secs
lola: 279061 markings, 364108 edges, 1327 markings/sec, 220 secs
lola: 285798 markings, 373082 edges, 1347 markings/sec, 225 secs
lola: 292442 markings, 381827 edges, 1329 markings/sec, 230 secs
lola: 298946 markings, 390528 edges, 1301 markings/sec, 235 secs
lola: 305341 markings, 399024 edges, 1279 markings/sec, 240 secs
lola: 311310 markings, 406869 edges, 1194 markings/sec, 245 secs
lola: 317273 markings, 414616 edges, 1193 markings/sec, 250 secs
lola: 323185 markings, 422367 edges, 1182 markings/sec, 255 secs
lola: 329203 markings, 430290 edges, 1204 markings/sec, 260 secs
lola: 335468 markings, 438640 edges, 1253 markings/sec, 265 secs
lola: 341983 markings, 447229 edges, 1303 markings/sec, 270 secs
lola: 348587 markings, 455847 edges, 1321 markings/sec, 275 secs
lola: 355348 markings, 464810 edges, 1352 markings/sec, 280 secs
lola: 361885 markings, 473442 edges, 1307 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: 5712 markings, 6909 edges, 1142 markings/sec, 0 secs
lola: 12174 markings, 14991 edges, 1292 markings/sec, 5 secs
lola: 18671 markings, 23344 edges, 1299 markings/sec, 10 secs
lola: 25024 markings, 31463 edges, 1271 markings/sec, 15 secs
lola: 31766 markings, 40144 edges, 1348 markings/sec, 20 secs
lola: 38318 markings, 48601 edges, 1310 markings/sec, 25 secs
lola: 44422 markings, 56621 edges, 1221 markings/sec, 30 secs
lola: 50782 markings, 64933 edges, 1272 markings/sec, 35 secs
lola: 57473 markings, 73704 edges, 1338 markings/sec, 40 secs
lola: 64107 markings, 82359 edges, 1327 markings/sec, 45 secs
lola: 70867 markings, 91069 edges, 1352 markings/sec, 50 secs
lola: 77344 markings, 99553 edges, 1295 markings/sec, 55 secs
lola: 83552 markings, 107680 edges, 1242 markings/sec, 60 secs
lola: 89907 markings, 116008 edges, 1271 markings/sec, 65 secs
lola: 96130 markings, 124192 edges, 1245 markings/sec, 70 secs
lola: 102357 markings, 132381 edges, 1245 markings/sec, 75 secs
lola: 108828 markings, 140790 edges, 1294 markings/sec, 80 secs
lola: 115301 markings, 149292 edges, 1295 markings/sec, 85 secs
lola: 121768 markings, 157624 edges, 1293 markings/sec, 90 secs
lola: 128233 markings, 166109 edges, 1293 markings/sec, 95 secs
lola: 134575 markings, 174462 edges, 1268 markings/sec, 100 secs
lola: 140526 markings, 182205 edges, 1190 markings/sec, 105 secs
lola: 146474 markings, 189993 edges, 1190 markings/sec, 110 secs
lola: 152495 markings, 197932 edges, 1204 markings/sec, 115 secs
lola: 158658 markings, 206031 edges, 1233 markings/sec, 120 secs
lola: 164767 markings, 213920 edges, 1222 markings/sec, 125 secs
lola: 170879 markings, 221905 edges, 1222 markings/sec, 130 secs
lola: 176776 markings, 229721 edges, 1179 markings/sec, 135 secs
lola: 182733 markings, 237616 edges, 1191 markings/sec, 140 secs
lola: 188586 markings, 245397 edges, 1171 markings/sec, 145 secs
lola: 194458 markings, 253273 edges, 1174 markings/sec, 150 secs
lola: 200452 markings, 261046 edges, 1199 markings/sec, 155 secs
lola: 206636 markings, 269229 edges, 1237 markings/sec, 160 secs
lola: 212912 markings, 277527 edges, 1255 markings/sec, 165 secs
lola: 219339 markings, 285980 edges, 1285 markings/sec, 170 secs
lola: 225547 markings, 294207 edges, 1242 markings/sec, 175 secs
lola: 231316 markings, 301914 edges, 1154 markings/sec, 180 secs
lola: 237589 markings, 310065 edges, 1255 markings/sec, 185 secs
lola: 243584 markings, 317930 edges, 1199 markings/sec, 190 secs
lola: 249334 markings, 325493 edges, 1150 markings/sec, 195 secs
lola: 255032 markings, 333058 edges, 1140 markings/sec, 200 secs
lola: 260758 markings, 340641 edges, 1145 markings/sec, 205 secs
lola: 266592 markings, 348320 edges, 1167 markings/sec, 210 secs
lola: 272492 markings, 356165 edges, 1180 markings/sec, 215 secs
lola: 278324 markings, 363840 edges, 1166 markings/sec, 220 secs
lola: 284155 markings, 371462 edges, 1166 markings/sec, 225 secs
lola: 290011 markings, 379191 edges, 1171 markings/sec, 230 secs
lola: 295886 markings, 386976 edges, 1175 markings/sec, 235 secs
lola: 301655 markings, 394619 edges, 1154 markings/sec, 240 secs
lola: 307593 markings, 402418 edges, 1188 markings/sec, 245 secs
lola: 313362 markings, 410050 edges, 1154 markings/sec, 250 secs
lola: 319298 markings, 417955 edges, 1187 markings/sec, 255 secs
lola: 325724 markings, 426441 edges, 1285 markings/sec, 260 secs
lola: 332027 markings, 434796 edges, 1261 markings/sec, 265 secs
lola: 338306 markings, 443045 edges, 1256 markings/sec, 270 secs
lola: 344567 markings, 451364 edges, 1252 markings/sec, 275 secs
lola: 350987 markings, 459797 edges, 1284 markings/sec, 280 secs
lola: 357500 markings, 468260 edges, 1303 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: 5734 markings, 6926 edges, 1147 markings/sec, 0 secs
lola: 12691 markings, 15651 edges, 1391 markings/sec, 5 secs
lola: 19571 markings, 24414 edges, 1376 markings/sec, 10 secs
lola: 26185 markings, 33033 edges, 1323 markings/sec, 15 secs
lola: 32838 markings, 41725 edges, 1331 markings/sec, 20 secs
lola: 39686 markings, 50554 edges, 1370 markings/sec, 25 secs
lola: 45934 markings, 58691 edges, 1250 markings/sec, 30 secs
lola: 52017 markings, 66535 edges, 1217 markings/sec, 35 secs
lola: 58038 markings, 74412 edges, 1204 markings/sec, 40 secs
lola: 64491 markings, 82831 edges, 1291 markings/sec, 45 secs
lola: 71089 markings, 91394 edges, 1320 markings/sec, 50 secs
lola: 77615 markings, 99947 edges, 1305 markings/sec, 55 secs
lola: 84311 markings, 108629 edges, 1339 markings/sec, 60 secs
lola: 90934 markings, 117327 edges, 1325 markings/sec, 65 secs
lola: 97399 markings, 125831 edges, 1293 markings/sec, 70 secs
lola: 103906 markings, 134428 edges, 1301 markings/sec, 75 secs
lola: 110552 markings, 143165 edges, 1329 markings/sec, 80 secs
lola: 116560 markings, 151150 edges, 1202 markings/sec, 85 secs
lola: 122418 markings, 158796 edges, 1172 markings/sec, 90 secs
lola: 128695 markings, 167090 edges, 1255 markings/sec, 95 secs
lola: 135195 markings, 175663 edges, 1300 markings/sec, 100 secs
lola: 141675 markings, 184213 edges, 1296 markings/sec, 105 secs
lola: 147575 markings, 191965 edges, 1180 markings/sec, 110 secs
lola: 153589 markings, 199809 edges, 1203 markings/sec, 115 secs
lola: 159827 markings, 208008 edges, 1248 markings/sec, 120 secs
lola: 166323 markings, 216558 edges, 1299 markings/sec, 125 secs
lola: 172999 markings, 225337 edges, 1335 markings/sec, 130 secs
lola: 179225 markings, 233512 edges, 1245 markings/sec, 135 secs
lola: 185492 markings, 241690 edges, 1253 markings/sec, 140 secs
lola: 191385 markings, 249522 edges, 1179 markings/sec, 145 secs
lola: 197251 markings, 257239 edges, 1173 markings/sec, 150 secs
lola: 203173 markings, 265054 edges, 1184 markings/sec, 155 secs
lola: 209199 markings, 273017 edges, 1205 markings/sec, 160 secs
lola: 215023 markings, 280657 edges, 1165 markings/sec, 165 secs
lola: 221281 markings, 288724 edges, 1252 markings/sec, 170 secs
lola: 227169 markings, 296386 edges, 1178 markings/sec, 175 secs
lola: 232904 markings, 304067 edges, 1147 markings/sec, 180 secs
lola: 238765 markings, 311857 edges, 1172 markings/sec, 185 secs
lola: 244850 markings, 319870 edges, 1217 markings/sec, 190 secs
lola: 251220 markings, 328242 edges, 1274 markings/sec, 195 secs
lola: 257467 markings, 336486 edges, 1249 markings/sec, 200 secs
lola: 263699 markings, 344634 edges, 1246 markings/sec, 205 secs
lola: 270014 markings, 352876 edges, 1263 markings/sec, 210 secs
lola: 276600 markings, 361498 edges, 1317 markings/sec, 215 secs
lola: 283467 markings, 370339 edges, 1373 markings/sec, 220 secs
lola: 289874 markings, 378750 edges, 1281 markings/sec, 225 secs
lola: 296244 markings, 387124 edges, 1274 markings/sec, 230 secs
lola: 302273 markings, 395118 edges, 1206 markings/sec, 235 secs
lola: 308702 markings, 403626 edges, 1286 markings/sec, 240 secs
lola: 315089 markings, 412098 edges, 1277 markings/sec, 245 secs
lola: 321591 markings, 420675 edges, 1300 markings/sec, 250 secs
lola: 327557 markings, 428495 edges, 1193 markings/sec, 255 secs
lola: 333340 markings, 436185 edges, 1157 markings/sec, 260 secs
lola: 339435 markings, 444273 edges, 1219 markings/sec, 265 secs
lola: 346175 markings, 452958 edges, 1348 markings/sec, 270 secs
lola: 352566 markings, 461357 edges, 1278 markings/sec, 275 secs
lola: 358480 markings, 469160 edges, 1183 markings/sec, 280 secs
lola: 364256 markings, 476864 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 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: 5705 markings, 6891 edges, 1141 markings/sec, 0 secs
lola: 12625 markings, 15618 edges, 1384 markings/sec, 5 secs
lola: 19423 markings, 24287 edges, 1360 markings/sec, 10 secs
lola: 26189 markings, 32940 edges, 1353 markings/sec, 15 secs
lola: 32930 markings, 41797 edges, 1348 markings/sec, 20 secs
lola: 39660 markings, 50491 edges, 1346 markings/sec, 25 secs
lola: 46360 markings, 59194 edges, 1340 markings/sec, 30 secs
lola: 53046 markings, 67928 edges, 1337 markings/sec, 35 secs
lola: 59631 markings, 76542 edges, 1317 markings/sec, 40 secs
lola: 66324 markings, 85223 edges, 1339 markings/sec, 45 secs
lola: 73060 markings, 93944 edges, 1347 markings/sec, 50 secs
lola: 79924 markings, 103184 edges, 1373 markings/sec, 55 secs
lola: 86867 markings, 112573 edges, 1389 markings/sec, 60 secs
lola: 93673 markings, 121690 edges, 1361 markings/sec, 65 secs
lola: 100238 markings, 130310 edges, 1313 markings/sec, 70 secs
lola: 106825 markings, 138981 edges, 1317 markings/sec, 75 secs
lola: 113713 markings, 147933 edges, 1378 markings/sec, 80 secs
lola: 120567 markings, 156803 edges, 1371 markings/sec, 85 secs
lola: 127323 markings, 165692 edges, 1351 markings/sec, 90 secs
lola: 134147 markings, 174771 edges, 1365 markings/sec, 95 secs
lola: 140990 markings, 184218 edges, 1369 markings/sec, 100 secs
lola: 147832 markings, 193634 edges, 1368 markings/sec, 105 secs
lola: 154441 markings, 202480 edges, 1322 markings/sec, 110 secs
lola: 161042 markings, 211145 edges, 1320 markings/sec, 115 secs
lola: 167608 markings, 219758 edges, 1313 markings/sec, 120 secs
lola: 174034 markings, 228211 edges, 1285 markings/sec, 125 secs
lola: 180567 markings, 236777 edges, 1307 markings/sec, 130 secs
lola: 187398 markings, 245635 edges, 1366 markings/sec, 135 secs
lola: 193847 markings, 254197 edges, 1290 markings/sec, 140 secs
lola: 200494 markings, 262869 edges, 1329 markings/sec, 145 secs
lola: 207036 markings, 271430 edges, 1308 markings/sec, 150 secs
lola: 213522 markings, 279978 edges, 1297 markings/sec, 155 secs
lola: 220003 markings, 288549 edges, 1296 markings/sec, 160 secs
lola: 226611 markings, 297237 edges, 1322 markings/sec, 165 secs
lola: 233022 markings, 305758 edges, 1282 markings/sec, 170 secs
lola: 239469 markings, 314257 edges, 1289 markings/sec, 175 secs
lola: 246464 markings, 323310 edges, 1399 markings/sec, 180 secs
lola: 253283 markings, 332126 edges, 1364 markings/sec, 185 secs
lola: 259694 markings, 340558 edges, 1282 markings/sec, 190 secs
lola: 265951 markings, 348826 edges, 1251 markings/sec, 195 secs
lola: 272322 markings, 357191 edges, 1274 markings/sec, 200 secs
lola: 278754 markings, 365508 edges, 1286 markings/sec, 205 secs
lola: 285074 markings, 373884 edges, 1264 markings/sec, 210 secs
lola: 291270 markings, 382124 edges, 1239 markings/sec, 215 secs
lola: 297603 markings, 390686 edges, 1267 markings/sec, 220 secs
lola: 303950 markings, 399023 edges, 1269 markings/sec, 225 secs
lola: 310156 markings, 407241 edges, 1241 markings/sec, 230 secs
lola: 316550 markings, 415596 edges, 1279 markings/sec, 235 secs
lola: 323174 markings, 424250 edges, 1325 markings/sec, 240 secs
lola: 329904 markings, 433085 edges, 1346 markings/sec, 245 secs
lola: 336452 markings, 441754 edges, 1310 markings/sec, 250 secs
lola: 342490 markings, 449699 edges, 1208 markings/sec, 255 secs
lola: 348673 markings, 457810 edges, 1237 markings/sec, 260 secs
lola: 354788 markings, 465830 edges, 1223 markings/sec, 265 secs
lola: 360714 markings, 473752 edges, 1185 markings/sec, 270 secs
lola: 366871 markings, 481755 edges, 1231 markings/sec, 275 secs
lola: 372931 markings, 489780 edges, 1212 markings/sec, 280 secs
lola: 378943 markings, 497690 edges, 1202 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: 5248 markings, 6343 edges, 1050 markings/sec, 0 secs
lola: 11664 markings, 14333 edges, 1283 markings/sec, 5 secs
lola: 17808 markings, 22225 edges, 1229 markings/sec, 10 secs
lola: 24085 markings, 30359 edges, 1255 markings/sec, 15 secs
lola: 30996 markings, 39431 edges, 1382 markings/sec, 20 secs
lola: 37869 markings, 48205 edges, 1375 markings/sec, 25 secs
lola: 44524 markings, 56911 edges, 1331 markings/sec, 30 secs
lola: 51156 markings, 65625 edges, 1326 markings/sec, 35 secs
lola: 57546 markings, 73884 edges, 1278 markings/sec, 40 secs
lola: 64125 markings, 82497 edges, 1316 markings/sec, 45 secs
lola: 70959 markings, 91348 edges, 1367 markings/sec, 50 secs
lola: 77795 markings, 100291 edges, 1367 markings/sec, 55 secs
lola: 83727 markings, 108068 edges, 1186 markings/sec, 60 secs
lola: 89481 markings, 115701 edges, 1151 markings/sec, 65 secs
lola: 95979 markings, 124067 edges, 1300 markings/sec, 70 secs
lola: 101881 markings, 131844 edges, 1180 markings/sec, 75 secs
lola: 108270 markings, 140165 edges, 1278 markings/sec, 80 secs
lola: 114531 markings, 148347 edges, 1252 markings/sec, 85 secs
lola: 121224 markings, 157108 edges, 1339 markings/sec, 90 secs
lola: 127794 markings, 165564 edges, 1314 markings/sec, 95 secs
lola: 134162 markings, 173990 edges, 1274 markings/sec, 100 secs
lola: 140437 markings, 182259 edges, 1255 markings/sec, 105 secs
lola: 147316 markings, 191032 edges, 1376 markings/sec, 110 secs
lola: 153968 markings, 199765 edges, 1330 markings/sec, 115 secs
lola: 160238 markings, 208012 edges, 1254 markings/sec, 120 secs
lola: 166133 markings, 215784 edges, 1179 markings/sec, 125 secs
lola: 172109 markings, 223602 edges, 1195 markings/sec, 130 secs
lola: 177987 markings, 231356 edges, 1176 markings/sec, 135 secs
lola: 184137 markings, 239413 edges, 1230 markings/sec, 140 secs
lola: 190098 markings, 247192 edges, 1192 markings/sec, 145 secs
lola: 195965 markings, 254937 edges, 1173 markings/sec, 150 secs
lola: 201969 markings, 262788 edges, 1201 markings/sec, 155 secs
lola: 207973 markings, 270758 edges, 1201 markings/sec, 160 secs
lola: 214521 markings, 279293 edges, 1310 markings/sec, 165 secs
lola: 220948 markings, 287630 edges, 1285 markings/sec, 170 secs
lola: 227434 markings, 296171 edges, 1297 markings/sec, 175 secs
lola: 233908 markings, 304719 edges, 1295 markings/sec, 180 secs
lola: 240344 markings, 313198 edges, 1287 markings/sec, 185 secs
lola: 246970 markings, 321959 edges, 1325 markings/sec, 190 secs
lola: 253455 markings, 330486 edges, 1297 markings/sec, 195 secs
lola: 260106 markings, 339235 edges, 1330 markings/sec, 200 secs
lola: 266737 markings, 347956 edges, 1326 markings/sec, 205 secs
lola: 273201 markings, 356396 edges, 1293 markings/sec, 210 secs
lola: 279762 markings, 365048 edges, 1312 markings/sec, 215 secs
lola: 286226 markings, 373681 edges, 1293 markings/sec, 220 secs
lola: 292703 markings, 382211 edges, 1295 markings/sec, 225 secs
lola: 299052 markings, 390694 edges, 1270 markings/sec, 230 secs
lola: 305255 markings, 398929 edges, 1241 markings/sec, 235 secs
lola: 311631 markings, 407278 edges, 1275 markings/sec, 240 secs
lola: 318183 markings, 415840 edges, 1310 markings/sec, 245 secs
lola: 324839 markings, 424576 edges, 1331 markings/sec, 250 secs
lola: 331149 markings, 432925 edges, 1262 markings/sec, 255 secs
lola: 337432 markings, 441298 edges, 1257 markings/sec, 260 secs
lola: 344202 markings, 450148 edges, 1354 markings/sec, 265 secs
lola: 351013 markings, 459077 edges, 1362 markings/sec, 270 secs
lola: 357228 markings, 467342 edges, 1243 markings/sec, 275 secs
lola: 363605 markings, 475686 edges, 1275 markings/sec, 280 secs
lola: 369858 markings, 483953 edges, 1251 markings/sec, 285 secs
lola: 376173 markings, 492228 edges, 1263 markings/sec, 290 secs
lola: 382437 markings, 500611 edges, 1253 markings/sec, 295 secs
lola: 388665 markings, 508870 edges, 1246 markings/sec, 300 secs
lola: 394813 markings, 517064 edges, 1230 markings/sec, 305 secs
lola: 401036 markings, 525339 edges, 1245 markings/sec, 310 secs
lola: 407270 markings, 533578 edges, 1247 markings/sec, 315 secs
lola: 413652 markings, 541912 edges, 1276 markings/sec, 320 secs
lola: 419879 markings, 550163 edges, 1245 markings/sec, 325 secs
lola: 426028 markings, 558447 edges, 1230 markings/sec, 330 secs
lola: 432605 markings, 567188 edges, 1315 markings/sec, 335 secs
lola: 439021 markings, 575785 edges, 1283 markings/sec, 340 secs
lola: 445561 markings, 584455 edges, 1308 markings/sec, 345 secs
lola: 452298 markings, 593301 edges, 1347 markings/sec, 350 secs
lola: 458799 markings, 601917 edges, 1300 markings/sec, 355 secs
lola: 465297 markings, 610542 edges, 1300 markings/sec, 360 secs
lola: 471796 markings, 619271 edges, 1300 markings/sec, 365 secs
lola: 478038 markings, 627515 edges, 1248 markings/sec, 370 secs
lola: 484681 markings, 636160 edges, 1329 markings/sec, 375 secs
lola: 490941 markings, 644625 edges, 1252 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: 5269 markings, 6380 edges, 1054 markings/sec, 0 secs
lola: 11611 markings, 14227 edges, 1268 markings/sec, 5 secs
lola: 17428 markings, 21640 edges, 1163 markings/sec, 10 secs
lola: 23208 markings, 29143 edges, 1156 markings/sec, 15 secs
lola: 29107 markings, 36848 edges, 1180 markings/sec, 20 secs
lola: 35277 markings, 44843 edges, 1234 markings/sec, 25 secs
lola: 41475 markings, 52762 edges, 1240 markings/sec, 30 secs
lola: 47403 markings, 60540 edges, 1186 markings/sec, 35 secs
lola: 53251 markings, 68270 edges, 1170 markings/sec, 40 secs
lola: 59388 markings, 76180 edges, 1227 markings/sec, 45 secs
lola: 65299 markings, 83909 edges, 1182 markings/sec, 50 secs
lola: 71273 markings, 91667 edges, 1195 markings/sec, 55 secs
lola: 77371 markings, 99602 edges, 1220 markings/sec, 60 secs
lola: 83360 markings, 107480 edges, 1198 markings/sec, 65 secs
lola: 89091 markings, 115029 edges, 1146 markings/sec, 70 secs
lola: 95462 markings, 123318 edges, 1274 markings/sec, 75 secs
lola: 101859 markings, 131668 edges, 1279 markings/sec, 80 secs
lola: 107737 markings, 139384 edges, 1176 markings/sec, 85 secs
lola: 114000 markings, 147586 edges, 1253 markings/sec, 90 secs
lola: 120753 markings, 156391 edges, 1351 markings/sec, 95 secs
lola: 127686 markings, 165339 edges, 1387 markings/sec, 100 secs
lola: 134465 markings, 174249 edges, 1356 markings/sec, 105 secs
lola: 141158 markings, 183086 edges, 1339 markings/sec, 110 secs
lola: 148014 markings, 191859 edges, 1371 markings/sec, 115 secs
lola: 154800 markings, 200755 edges, 1357 markings/sec, 120 secs
lola: 161516 markings, 209566 edges, 1343 markings/sec, 125 secs
lola: 168079 markings, 218216 edges, 1313 markings/sec, 130 secs
lola: 174675 markings, 226848 edges, 1319 markings/sec, 135 secs
lola: 181528 markings, 235887 edges, 1371 markings/sec, 140 secs
lola: 188181 markings, 244607 edges, 1331 markings/sec, 145 secs
lola: 194727 markings, 253189 edges, 1309 markings/sec, 150 secs
lola: 201408 markings, 261956 edges, 1336 markings/sec, 155 secs
lola: 207971 markings, 270577 edges, 1313 markings/sec, 160 secs
lola: 214521 markings, 279140 edges, 1310 markings/sec, 165 secs
lola: 221248 markings, 287863 edges, 1345 markings/sec, 170 secs
lola: 227604 markings, 296290 edges, 1271 markings/sec, 175 secs
lola: 233964 markings, 304652 edges, 1272 markings/sec, 180 secs
lola: 240262 markings, 312933 edges, 1260 markings/sec, 185 secs
lola: 246007 markings, 320600 edges, 1149 markings/sec, 190 secs
lola: 252035 markings, 328468 edges, 1206 markings/sec, 195 secs
lola: 257825 markings, 336102 edges, 1158 markings/sec, 200 secs
lola: 263529 markings, 343599 edges, 1141 markings/sec, 205 secs
lola: 269421 markings, 351358 edges, 1178 markings/sec, 210 secs
lola: 275240 markings, 358948 edges, 1164 markings/sec, 215 secs
lola: 281005 markings, 366550 edges, 1153 markings/sec, 220 secs
lola: 286736 markings, 374185 edges, 1146 markings/sec, 225 secs
lola: 292728 markings, 382100 edges, 1198 markings/sec, 230 secs
lola: 299160 markings, 390718 edges, 1286 markings/sec, 235 secs
lola: 305206 markings, 398682 edges, 1209 markings/sec, 240 secs
lola: 311581 markings, 407116 edges, 1275 markings/sec, 245 secs
lola: 317563 markings, 414966 edges, 1196 markings/sec, 250 secs
lola: 324184 markings, 423575 edges, 1324 markings/sec, 255 secs
lola: 329898 markings, 431117 edges, 1143 markings/sec, 260 secs
lola: 335793 markings, 438972 edges, 1179 markings/sec, 265 secs
lola: 341608 markings, 446661 edges, 1163 markings/sec, 270 secs
lola: 347699 markings, 454577 edges, 1218 markings/sec, 275 secs
lola: 353915 markings, 462783 edges, 1243 markings/sec, 280 secs
lola: 359637 markings, 470395 edges, 1144 markings/sec, 285 secs
lola: 365704 markings, 478330 edges, 1213 markings/sec, 290 secs
lola: 372302 markings, 487048 edges, 1320 markings/sec, 295 secs
lola: 378612 markings, 495314 edges, 1262 markings/sec, 300 secs
lola: 384320 markings, 502967 edges, 1142 markings/sec, 305 secs
lola: 390655 markings, 511365 edges, 1267 markings/sec, 310 secs
lola: 396948 markings, 519747 edges, 1259 markings/sec, 315 secs
lola: 403190 markings, 528044 edges, 1248 markings/sec, 320 secs
lola: 409197 markings, 535985 edges, 1201 markings/sec, 325 secs
lola: 415361 markings, 544029 edges, 1233 markings/sec, 330 secs
lola: 420923 markings, 551425 edges, 1112 markings/sec, 335 secs
lola: 426385 markings, 558734 edges, 1092 markings/sec, 340 secs
lola: 432072 markings, 566281 edges, 1137 markings/sec, 345 secs
lola: 437950 markings, 574208 edges, 1176 markings/sec, 350 secs
lola: 443602 markings, 581778 edges, 1130 markings/sec, 355 secs
lola: 449485 markings, 589458 edges, 1177 markings/sec, 360 secs
lola: 455467 markings, 597381 edges, 1196 markings/sec, 365 secs
lola: 461130 markings, 604870 edges, 1133 markings/sec, 370 secs
lola: 466857 markings, 612482 edges, 1145 markings/sec, 375 secs
lola: 472845 markings, 620485 edges, 1198 markings/sec, 380 secs
lola: 478574 markings, 628107 edges, 1146 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: 5226 markings, 6324 edges, 1045 markings/sec, 0 secs
lola: 11534 markings, 14127 edges, 1262 markings/sec, 5 secs
lola: 17864 markings, 22201 edges, 1266 markings/sec, 10 secs
lola: 23940 markings, 30095 edges, 1215 markings/sec, 15 secs
lola: 30674 markings, 38899 edges, 1347 markings/sec, 20 secs
lola: 36962 markings, 46976 edges, 1258 markings/sec, 25 secs
lola: 43020 markings, 54821 edges, 1212 markings/sec, 30 secs
lola: 49091 markings, 62733 edges, 1214 markings/sec, 35 secs
lola: 55075 markings, 70586 edges, 1197 markings/sec, 40 secs
lola: 61587 markings, 79105 edges, 1302 markings/sec, 45 secs
lola: 68345 markings, 87870 edges, 1352 markings/sec, 50 secs
lola: 75112 markings, 96628 edges, 1353 markings/sec, 55 secs
lola: 81734 markings, 105334 edges, 1324 markings/sec, 60 secs
lola: 88257 markings, 113920 edges, 1305 markings/sec, 65 secs
lola: 94957 markings, 122681 edges, 1340 markings/sec, 70 secs
lola: 101544 markings, 131246 edges, 1317 markings/sec, 75 secs
lola: 107880 markings, 139562 edges, 1267 markings/sec, 80 secs
lola: 114164 markings, 147799 edges, 1257 markings/sec, 85 secs
lola: 120463 markings, 156025 edges, 1260 markings/sec, 90 secs
lola: 127093 markings, 164570 edges, 1326 markings/sec, 95 secs
lola: 133556 markings, 173048 edges, 1293 markings/sec, 100 secs
lola: 139478 markings, 180941 edges, 1184 markings/sec, 105 secs
lola: 146172 markings, 189540 edges, 1339 markings/sec, 110 secs
lola: 153137 markings, 198591 edges, 1393 markings/sec, 115 secs
lola: 160067 markings, 207642 edges, 1386 markings/sec, 120 secs
lola: 165788 markings, 215174 edges, 1144 markings/sec, 125 secs
lola: 171593 markings, 222824 edges, 1161 markings/sec, 130 secs
lola: 177875 markings, 231039 edges, 1256 markings/sec, 135 secs
lola: 183720 markings, 238768 edges, 1169 markings/sec, 140 secs
lola: 189638 markings, 246492 edges, 1184 markings/sec, 145 secs
lola: 195439 markings, 254127 edges, 1160 markings/sec, 150 secs
lola: 201624 markings, 262254 edges, 1237 markings/sec, 155 secs
lola: 207557 markings, 270011 edges, 1187 markings/sec, 160 secs
lola: 213400 markings, 277685 edges, 1169 markings/sec, 165 secs
lola: 219407 markings, 285471 edges, 1201 markings/sec, 170 secs
lola: 225368 markings, 293375 edges, 1192 markings/sec, 175 secs
lola: 231235 markings, 301044 edges, 1173 markings/sec, 180 secs
lola: 237233 markings, 308988 edges, 1200 markings/sec, 185 secs
lola: 243418 markings, 317127 edges, 1237 markings/sec, 190 secs
lola: 249295 markings, 324876 edges, 1175 markings/sec, 195 secs
lola: 254844 markings, 332186 edges, 1110 markings/sec, 200 secs
lola: 260650 markings, 339827 edges, 1161 markings/sec, 205 secs
lola: 266438 markings, 347439 edges, 1158 markings/sec, 210 secs
lola: 272417 markings, 355200 edges, 1196 markings/sec, 215 secs
lola: 278235 markings, 362968 edges, 1164 markings/sec, 220 secs
lola: 284939 markings, 371775 edges, 1341 markings/sec, 225 secs
lola: 291349 markings, 380306 edges, 1282 markings/sec, 230 secs
lola: 297929 markings, 389077 edges, 1316 markings/sec, 235 secs
lola: 304310 markings, 397497 edges, 1276 markings/sec, 240 secs
lola: 310817 markings, 406130 edges, 1301 markings/sec, 245 secs
lola: 317251 markings, 414551 edges, 1287 markings/sec, 250 secs
lola: 324137 markings, 423513 edges, 1377 markings/sec, 255 secs
lola: 330902 markings, 432427 edges, 1353 markings/sec, 260 secs
lola: 337596 markings, 441360 edges, 1339 markings/sec, 265 secs
lola: 344417 markings, 450298 edges, 1364 markings/sec, 270 secs
lola: 351398 markings, 459418 edges, 1396 markings/sec, 275 secs
lola: 358226 markings, 468540 edges, 1366 markings/sec, 280 secs
lola: 365011 markings, 477415 edges, 1357 markings/sec, 285 secs
lola: 371688 markings, 486230 edges, 1335 markings/sec, 290 secs
lola: 378177 markings, 494739 edges, 1298 markings/sec, 295 secs
lola: 384229 markings, 502843 edges, 1210 markings/sec, 300 secs
lola: 390219 markings, 510779 edges, 1198 markings/sec, 305 secs
lola: 396200 markings, 518755 edges, 1196 markings/sec, 310 secs
lola: 402619 markings, 527290 edges, 1284 markings/sec, 315 secs
lola: 408347 markings, 534909 edges, 1146 markings/sec, 320 secs
lola: 414316 markings, 542682 edges, 1194 markings/sec, 325 secs
lola: 420377 markings, 550692 edges, 1212 markings/sec, 330 secs
lola: 426519 markings, 558913 edges, 1228 markings/sec, 335 secs
lola: 432630 markings, 567040 edges, 1222 markings/sec, 340 secs
lola: 438548 markings, 575026 edges, 1184 markings/sec, 345 secs
lola: 444794 markings, 583373 edges, 1249 markings/sec, 350 secs
lola: 451282 markings, 591856 edges, 1298 markings/sec, 355 secs
lola: 457617 markings, 600243 edges, 1267 markings/sec, 360 secs
lola: 463559 markings, 608089 edges, 1188 markings/sec, 365 secs
lola: 469616 markings, 616167 edges, 1211 markings/sec, 370 secs
lola: 475892 markings, 624521 edges, 1255 markings/sec, 375 secs
lola: 481674 markings, 632156 edges, 1156 markings/sec, 380 secs
lola: 488508 markings, 641142 edges, 1367 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 1496442574781

--------------------
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_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/S_Railroad-PT-100.tgz
mv S_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 S_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 r148-csrt-149443432800065"
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 ;