About the Execution of LoLA for S_BridgeAndVehicles-COL-V80P20N20
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
583.790 | 3539866.00 | 3551168.00 | 295.20 | ? 80 ? ? ? 1 ? ? 1 1 ? ? ? ? ? ? | normal |
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_BridgeAndVehicles-COL-V80P20N20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074400389
=====================================================================
--------------------
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 BridgeAndVehicles-COL-V80P20N20-UpperBounds-0
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-1
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-15
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-2
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-3
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-4
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-5
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-6
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-7
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-8
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496344665423
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_BridgeAndVehicles-COL-V80P20N20: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_BridgeAndVehicles-COL-V80P20N20: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_BridgeAndVehicles-COL-V80P20N20 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3926/65536 symbol table entries, 711 collisions
lola: preprocessing...
lola: finding significant places
lola: 198 places, 3728 transitions, 191 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4253 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V80P20N20-UpperBounds.task
lola: MAX(p2) : MAX(p174) : MAX(p98 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p97 + p96 + p95 + p94 + p93 + p92 + p99) : MAX(p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197) : MAX(p1) : MAX(p3) : MAX(p1) : MAX(p3) : MAX(p175 + p176) : MAX(p1) : MAX(p4) : MAX(p89) : MAX(p88) : MAX(p98 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p97 + p96 + p95 + p94 + p93 + p92 + p99) : MAX(p4) : MAX(p90 + p91)
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(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 8227 markings, 10631 edges, 1645 markings/sec, 0 secs
lola: 27015 markings, 45420 edges, 3758 markings/sec, 5 secs
lola: 34943 markings, 57269 edges, 1586 markings/sec, 10 secs
lola: 50137 markings, 86015 edges, 3039 markings/sec, 15 secs
lola: 65584 markings, 115806 edges, 3089 markings/sec, 20 secs
lola: 72769 markings, 126330 edges, 1437 markings/sec, 25 secs
lola: 87693 markings, 154593 edges, 2985 markings/sec, 30 secs
lola: 102238 markings, 182696 edges, 2909 markings/sec, 35 secs
lola: 109227 markings, 192996 edges, 1398 markings/sec, 40 secs
lola: 123522 markings, 219964 edges, 2859 markings/sec, 45 secs
lola: 137717 markings, 247216 edges, 2839 markings/sec, 50 secs
lola: 150071 markings, 270662 edges, 2471 markings/sec, 55 secs
lola: 159193 markings, 284380 edges, 1824 markings/sec, 60 secs
lola: 173328 markings, 310995 edges, 2827 markings/sec, 65 secs
lola: 187040 markings, 337047 edges, 2742 markings/sec, 70 secs
lola: 201009 markings, 362996 edges, 2794 markings/sec, 75 secs
lola: 211853 markings, 382745 edges, 2169 markings/sec, 80 secs
lola: 223284 markings, 402190 edges, 2286 markings/sec, 85 secs
lola: 235622 markings, 424136 edges, 2468 markings/sec, 90 secs
lola: 249218 markings, 449136 edges, 2719 markings/sec, 95 secs
lola: 262538 markings, 473589 edges, 2664 markings/sec, 100 secs
lola: 275607 markings, 497533 edges, 2614 markings/sec, 105 secs
lola: 288486 markings, 521062 edges, 2576 markings/sec, 110 secs
lola: 301991 markings, 546206 edges, 2701 markings/sec, 115 secs
lola: 316631 markings, 574411 edges, 2928 markings/sec, 120 secs
lola: 327183 markings, 590362 edges, 2110 markings/sec, 125 secs
lola: 338087 markings, 606185 edges, 2181 markings/sec, 130 secs
lola: 347684 markings, 620228 edges, 1919 markings/sec, 135 secs
lola: 367207 markings, 656315 edges, 3905 markings/sec, 140 secs
lola: 374387 markings, 666324 edges, 1436 markings/sec, 145 secs
lola: 380917 markings, 675835 edges, 1306 markings/sec, 150 secs
lola: 396683 markings, 706219 edges, 3153 markings/sec, 155 secs
lola: 404731 markings, 717553 edges, 1610 markings/sec, 160 secs
lola: 418739 markings, 745754 edges, 2802 markings/sec, 165 secs
lola: 427949 markings, 758717 edges, 1842 markings/sec, 170 secs
lola: 436390 markings, 770296 edges, 1688 markings/sec, 175 secs
lola: 452358 markings, 800702 edges, 3194 markings/sec, 180 secs
lola: 460333 markings, 811969 edges, 1595 markings/sec, 185 secs
lola: 474756 markings, 840731 edges, 2885 markings/sec, 190 secs
lola: 484672 markings, 853778 edges, 1983 markings/sec, 195 secs
lola: 492999 markings, 867654 edges, 1665 markings/sec, 200 secs
lola: 507118 markings, 893286 edges, 2824 markings/sec, 205 secs
lola: 515189 markings, 904476 edges, 1614 markings/sec, 210 secs
lola: 530564 markings, 933478 edges, 3075 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(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p98 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 3 will run for 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 6047 markings, 10074 edges, 1209 markings/sec, 0 secs
lola: 15005 markings, 31924 edges, 1792 markings/sec, 5 secs
lola: 23162 markings, 51769 edges, 1631 markings/sec, 10 secs
lola: 31748 markings, 74098 edges, 1717 markings/sec, 15 secs
lola: 40443 markings, 97296 edges, 1739 markings/sec, 20 secs
lola: 47816 markings, 116224 edges, 1475 markings/sec, 25 secs
lola: 55548 markings, 136605 edges, 1546 markings/sec, 30 secs
lola: 67093 markings, 169192 edges, 2309 markings/sec, 35 secs
lola: 74611 markings, 187206 edges, 1504 markings/sec, 40 secs
lola: 82512 markings, 206621 edges, 1580 markings/sec, 45 secs
lola: 90598 markings, 227411 edges, 1617 markings/sec, 50 secs
lola: 98071 markings, 246045 edges, 1495 markings/sec, 55 secs
lola: 105709 markings, 265518 edges, 1528 markings/sec, 60 secs
lola: 113582 markings, 285938 edges, 1575 markings/sec, 65 secs
lola: 121589 markings, 307188 edges, 1601 markings/sec, 70 secs
lola: 127544 markings, 321098 edges, 1191 markings/sec, 75 secs
lola: 138810 markings, 353557 edges, 2253 markings/sec, 80 secs
lola: 145821 markings, 369725 edges, 1402 markings/sec, 85 secs
lola: 152156 markings, 384930 edges, 1267 markings/sec, 90 secs
lola: 158478 markings, 400030 edges, 1264 markings/sec, 95 secs
lola: 164997 markings, 415833 edges, 1304 markings/sec, 100 secs
lola: 171786 markings, 432547 edges, 1358 markings/sec, 105 secs
lola: 178355 markings, 449027 edges, 1314 markings/sec, 110 secs
lola: 185207 markings, 466466 edges, 1370 markings/sec, 115 secs
lola: 191126 markings, 480680 edges, 1184 markings/sec, 120 secs
lola: 198351 markings, 498957 edges, 1445 markings/sec, 125 secs
lola: 205920 markings, 518841 edges, 1514 markings/sec, 130 secs
lola: 211219 markings, 531231 edges, 1060 markings/sec, 135 secs
lola: 218820 markings, 551549 edges, 1520 markings/sec, 140 secs
lola: 224047 markings, 563839 edges, 1045 markings/sec, 145 secs
lola: 230785 markings, 581233 edges, 1348 markings/sec, 150 secs
lola: 240155 markings, 607937 edges, 1874 markings/sec, 155 secs
lola: 246034 markings, 621265 edges, 1176 markings/sec, 160 secs
lola: 251890 markings, 635042 edges, 1171 markings/sec, 165 secs
lola: 258133 markings, 650288 edges, 1249 markings/sec, 170 secs
lola: 264769 markings, 666185 edges, 1327 markings/sec, 175 secs
lola: 271551 markings, 682734 edges, 1356 markings/sec, 180 secs
lola: 278388 markings, 699689 edges, 1367 markings/sec, 185 secs
lola: 284441 markings, 713894 edges, 1211 markings/sec, 190 secs
lola: 291414 markings, 731367 edges, 1395 markings/sec, 195 secs
lola: 298543 markings, 749639 edges, 1426 markings/sec, 200 secs
lola: 304529 markings, 763645 edges, 1197 markings/sec, 205 secs
lola: 311879 markings, 782590 edges, 1470 markings/sec, 210 secs
lola: 317721 markings, 796347 edges, 1168 markings/sec, 215 secs
lola: 324899 markings, 815172 edges, 1436 markings/sec, 220 secs
lola: 330896 markings, 829529 edges, 1199 markings/sec, 225 secs
lola: 336724 markings, 843345 edges, 1166 markings/sec, 230 secs
lola: 344589 markings, 864397 edges, 1573 markings/sec, 235 secs
lola: 350029 markings, 877174 edges, 1088 markings/sec, 240 secs
lola: 355943 markings, 891306 edges, 1183 markings/sec, 245 secs
lola: 364173 markings, 913626 edges, 1646 markings/sec, 250 secs
lola: 372756 markings, 936964 edges, 1717 markings/sec, 255 secs
lola: 378960 markings, 951371 edges, 1241 markings/sec, 260 secs
lola: 385298 markings, 966463 edges, 1268 markings/sec, 265 secs
lola: 391367 markings, 980907 edges, 1214 markings/sec, 270 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 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 7304 markings, 8930 edges, 1461 markings/sec, 0 secs
lola: 12117 markings, 15384 edges, 963 markings/sec, 5 secs
lola: 18006 markings, 24251 edges, 1178 markings/sec, 10 secs
lola: 24161 markings, 35341 edges, 1231 markings/sec, 15 secs
lola: 32544 markings, 46072 edges, 1677 markings/sec, 20 secs
lola: 37879 markings, 53272 edges, 1067 markings/sec, 25 secs
lola: 43219 markings, 62853 edges, 1068 markings/sec, 30 secs
lola: 49374 markings, 73037 edges, 1231 markings/sec, 35 secs
lola: 55628 markings, 80945 edges, 1251 markings/sec, 40 secs
lola: 60464 markings, 87677 edges, 967 markings/sec, 45 secs
lola: 66092 markings, 96901 edges, 1126 markings/sec, 50 secs
lola: 71862 markings, 107490 edges, 1154 markings/sec, 55 secs
lola: 78306 markings, 115794 edges, 1289 markings/sec, 60 secs
lola: 84448 markings, 125648 edges, 1228 markings/sec, 65 secs
lola: 90113 markings, 136197 edges, 1133 markings/sec, 70 secs
lola: 96174 markings, 143913 edges, 1212 markings/sec, 75 secs
lola: 100986 markings, 151553 edges, 962 markings/sec, 80 secs
lola: 106713 markings, 161891 edges, 1145 markings/sec, 85 secs
lola: 113080 markings, 170741 edges, 1273 markings/sec, 90 secs
lola: 118499 markings, 179049 edges, 1084 markings/sec, 95 secs
lola: 124741 markings, 190443 edges, 1248 markings/sec, 100 secs
lola: 131283 markings, 199102 edges, 1308 markings/sec, 105 secs
lola: 137089 markings, 208408 edges, 1161 markings/sec, 110 secs
lola: 142704 markings, 218635 edges, 1123 markings/sec, 115 secs
lola: 148811 markings, 226607 edges, 1221 markings/sec, 120 secs
lola: 154615 markings, 236426 edges, 1161 markings/sec, 125 secs
lola: 161473 markings, 247221 edges, 1372 markings/sec, 130 secs
lola: 166899 markings, 254753 edges, 1085 markings/sec, 135 secs
lola: 173316 markings, 266256 edges, 1283 markings/sec, 140 secs
lola: 179061 markings, 274743 edges, 1149 markings/sec, 145 secs
lola: 185370 markings, 284107 edges, 1262 markings/sec, 150 secs
lola: 190938 markings, 294356 edges, 1114 markings/sec, 155 secs
lola: 196992 markings, 302342 edges, 1211 markings/sec, 160 secs
lola: 203691 markings, 313549 edges, 1340 markings/sec, 165 secs
lola: 209210 markings, 322169 edges, 1104 markings/sec, 170 secs
lola: 215352 markings, 331165 edges, 1228 markings/sec, 175 secs
lola: 220867 markings, 341371 edges, 1103 markings/sec, 180 secs
lola: 227139 markings, 349633 edges, 1254 markings/sec, 185 secs
lola: 233282 markings, 360537 edges, 1229 markings/sec, 190 secs
lola: 239486 markings, 369323 edges, 1241 markings/sec, 195 secs
lola: 244754 markings, 378126 edges, 1054 markings/sec, 200 secs
lola: 251256 markings, 388368 edges, 1300 markings/sec, 205 secs
lola: 256816 markings, 396560 edges, 1112 markings/sec, 210 secs
lola: 263862 markings, 408278 edges, 1409 markings/sec, 215 secs
lola: 269056 markings, 415646 edges, 1039 markings/sec, 220 secs
lola: 274876 markings, 426528 edges, 1164 markings/sec, 225 secs
lola: 281024 markings, 434625 edges, 1230 markings/sec, 230 secs
lola: 286737 markings, 444903 edges, 1143 markings/sec, 235 secs
lola: 292727 markings, 453207 edges, 1198 markings/sec, 240 secs
lola: 298719 markings, 463711 edges, 1198 markings/sec, 245 secs
lola: 304955 markings, 472509 edges, 1247 markings/sec, 250 secs
lola: 310970 markings, 483247 edges, 1203 markings/sec, 255 secs
lola: 316865 markings, 491317 edges, 1179 markings/sec, 260 secs
lola: 322500 markings, 501530 edges, 1127 markings/sec, 265 secs
lola: 329693 markings, 510982 edges, 1439 markings/sec, 270 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 5985 markings, 9919 edges, 1197 markings/sec, 0 secs
lola: 14972 markings, 31848 edges, 1797 markings/sec, 5 secs
lola: 23225 markings, 51916 edges, 1651 markings/sec, 10 secs
lola: 32062 markings, 74812 edges, 1767 markings/sec, 15 secs
lola: 40745 markings, 97863 edges, 1737 markings/sec, 20 secs
lola: 48430 markings, 117689 edges, 1537 markings/sec, 25 secs
lola: 57904 markings, 144094 edges, 1895 markings/sec, 30 secs
lola: 68034 markings, 171463 edges, 2026 markings/sec, 35 secs
lola: 75315 markings, 188832 edges, 1456 markings/sec, 40 secs
lola: 82934 markings, 207626 edges, 1524 markings/sec, 45 secs
lola: 91033 markings, 228410 edges, 1620 markings/sec, 50 secs
lola: 98294 markings, 246561 edges, 1452 markings/sec, 55 secs
lola: 105456 markings, 264925 edges, 1432 markings/sec, 60 secs
lola: 113223 markings, 285188 edges, 1553 markings/sec, 65 secs
lola: 120515 markings, 304049 edges, 1458 markings/sec, 70 secs
lola: 127039 markings, 319829 edges, 1305 markings/sec, 75 secs
lola: 137769 markings, 351238 edges, 2146 markings/sec, 80 secs
lola: 144268 markings, 365959 edges, 1300 markings/sec, 85 secs
lola: 151126 markings, 382105 edges, 1372 markings/sec, 90 secs
lola: 158282 markings, 399547 edges, 1431 markings/sec, 95 secs
lola: 165070 markings, 416019 edges, 1358 markings/sec, 100 secs
lola: 171952 markings, 432967 edges, 1376 markings/sec, 105 secs
lola: 179259 markings, 451130 edges, 1461 markings/sec, 110 secs
lola: 185989 markings, 468264 edges, 1346 markings/sec, 115 secs
lola: 192980 markings, 486412 edges, 1398 markings/sec, 120 secs
lola: 198431 markings, 499091 edges, 1090 markings/sec, 125 secs
lola: 206066 markings, 519203 edges, 1527 markings/sec, 130 secs
lola: 212122 markings, 533387 edges, 1211 markings/sec, 135 secs
lola: 220366 markings, 555175 edges, 1649 markings/sec, 140 secs
lola: 226254 markings, 569047 edges, 1178 markings/sec, 145 secs
lola: 234440 markings, 591243 edges, 1637 markings/sec, 150 secs
lola: 242644 markings, 613427 edges, 1641 markings/sec, 155 secs
lola: 248441 markings, 626911 edges, 1159 markings/sec, 160 secs
lola: 254633 markings, 641685 edges, 1238 markings/sec, 165 secs
lola: 261308 markings, 657625 edges, 1335 markings/sec, 170 secs
lola: 268012 markings, 673799 edges, 1341 markings/sec, 175 secs
lola: 274824 markings, 690423 edges, 1362 markings/sec, 180 secs
lola: 281709 markings, 707421 edges, 1377 markings/sec, 185 secs
lola: 288845 markings, 725375 edges, 1427 markings/sec, 190 secs
lola: 294846 markings, 739469 edges, 1200 markings/sec, 195 secs
lola: 301990 markings, 757683 edges, 1429 markings/sec, 200 secs
lola: 308034 markings, 771930 edges, 1209 markings/sec, 205 secs
lola: 315320 markings, 790789 edges, 1457 markings/sec, 210 secs
lola: 321350 markings, 805065 edges, 1206 markings/sec, 215 secs
lola: 329089 markings, 825496 edges, 1548 markings/sec, 220 secs
lola: 334777 markings, 838712 edges, 1138 markings/sec, 225 secs
lola: 342481 markings, 859343 edges, 1541 markings/sec, 230 secs
lola: 348133 markings, 872722 edges, 1130 markings/sec, 235 secs
lola: 353756 markings, 886136 edges, 1125 markings/sec, 240 secs
lola: 361540 markings, 907380 edges, 1557 markings/sec, 245 secs
lola: 369777 markings, 930369 edges, 1647 markings/sec, 250 secs
lola: 375702 markings, 943819 edges, 1185 markings/sec, 255 secs
lola: 382057 markings, 958670 edges, 1271 markings/sec, 260 secs
lola: 388693 markings, 974615 edges, 1327 markings/sec, 265 secs
lola: 395359 markings, 990601 edges, 1333 markings/sec, 270 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 7722 markings, 9557 edges, 1544 markings/sec, 0 secs
lola: 12811 markings, 16425 edges, 1018 markings/sec, 5 secs
lola: 19315 markings, 26051 edges, 1301 markings/sec, 10 secs
lola: 24355 markings, 35729 edges, 1008 markings/sec, 15 secs
lola: 32922 markings, 46639 edges, 1713 markings/sec, 20 secs
lola: 38186 markings, 53732 edges, 1053 markings/sec, 25 secs
lola: 43513 markings, 63441 edges, 1065 markings/sec, 30 secs
lola: 51063 markings, 74901 edges, 1510 markings/sec, 35 secs
lola: 56679 markings, 82521 edges, 1123 markings/sec, 40 secs
lola: 62579 markings, 90593 edges, 1180 markings/sec, 45 secs
lola: 69579 markings, 103051 edges, 1400 markings/sec, 50 secs
lola: 75486 markings, 112073 edges, 1181 markings/sec, 55 secs
lola: 81303 markings, 120096 edges, 1163 markings/sec, 60 secs
lola: 88132 markings, 132336 edges, 1366 markings/sec, 65 secs
lola: 94390 markings, 141731 edges, 1252 markings/sec, 70 secs
lola: 100913 markings, 151407 edges, 1305 markings/sec, 75 secs
lola: 108034 markings, 164322 edges, 1424 markings/sec, 80 secs
lola: 115046 markings, 173501 edges, 1402 markings/sec, 85 secs
lola: 122772 markings, 186036 edges, 1545 markings/sec, 90 secs
lola: 128819 markings, 195872 edges, 1209 markings/sec, 95 secs
lola: 135120 markings, 204959 edges, 1260 markings/sec, 100 secs
lola: 141579 markings, 216813 edges, 1292 markings/sec, 105 secs
lola: 148319 markings, 225869 edges, 1348 markings/sec, 110 secs
lola: 154164 markings, 235524 edges, 1169 markings/sec, 115 secs
lola: 161384 markings, 247087 edges, 1444 markings/sec, 120 secs
lola: 167136 markings, 255108 edges, 1150 markings/sec, 125 secs
lola: 173796 markings, 267229 edges, 1332 markings/sec, 130 secs
lola: 180368 markings, 276279 edges, 1314 markings/sec, 135 secs
lola: 185969 markings, 285486 edges, 1120 markings/sec, 140 secs
lola: 192984 markings, 296741 edges, 1403 markings/sec, 145 secs
lola: 198571 markings, 304603 edges, 1117 markings/sec, 150 secs
lola: 204922 markings, 316255 edges, 1270 markings/sec, 155 secs
lola: 211447 markings, 325128 edges, 1305 markings/sec, 160 secs
lola: 218497 markings, 336869 edges, 1410 markings/sec, 165 secs
lola: 224498 markings, 346167 edges, 1200 markings/sec, 170 secs
lola: 230822 markings, 356201 edges, 1265 markings/sec, 175 secs
lola: 237633 markings, 366912 edges, 1362 markings/sec, 180 secs
lola: 244125 markings, 376858 edges, 1298 markings/sec, 185 secs
lola: 251324 markings, 388470 edges, 1440 markings/sec, 190 secs
lola: 257364 markings, 397450 edges, 1208 markings/sec, 195 secs
lola: 264147 markings, 408705 edges, 1357 markings/sec, 200 secs
lola: 269552 markings, 416710 edges, 1081 markings/sec, 205 secs
lola: 276801 markings, 428668 edges, 1450 markings/sec, 210 secs
lola: 282030 markings, 436293 edges, 1046 markings/sec, 215 secs
lola: 289269 markings, 448333 edges, 1448 markings/sec, 220 secs
lola: 294319 markings, 455689 edges, 1010 markings/sec, 225 secs
lola: 300801 markings, 466846 edges, 1296 markings/sec, 230 secs
lola: 306195 markings, 474449 edges, 1079 markings/sec, 235 secs
lola: 313107 markings, 485964 edges, 1382 markings/sec, 240 secs
lola: 317954 markings, 493164 edges, 969 markings/sec, 245 secs
lola: 325280 markings, 505148 edges, 1465 markings/sec, 250 secs
lola: 330783 markings, 512617 edges, 1101 markings/sec, 255 secs
lola: 337844 markings, 521471 edges, 1412 markings/sec, 260 secs
lola: 343699 markings, 529218 edges, 1171 markings/sec, 265 secs
lola: 350354 markings, 538460 edges, 1331 markings/sec, 270 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 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p175 + p176)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 5793 markings, 7647 edges, 1159 markings/sec, 0 secs
lola: 11985 markings, 15858 edges, 1238 markings/sec, 5 secs
lola: 18651 markings, 24731 edges, 1333 markings/sec, 10 secs
lola: 24728 markings, 32964 edges, 1215 markings/sec, 15 secs
lola: 31114 markings, 41444 edges, 1277 markings/sec, 20 secs
lola: 37560 markings, 50033 edges, 1289 markings/sec, 25 secs
lola: 44724 markings, 59303 edges, 1433 markings/sec, 30 secs
lola: 50363 markings, 66954 edges, 1128 markings/sec, 35 secs
lola: 55691 markings, 74314 edges, 1066 markings/sec, 40 secs
lola: 62739 markings, 83483 edges, 1410 markings/sec, 45 secs
lola: 68210 markings, 90932 edges, 1094 markings/sec, 50 secs
lola: 74036 markings, 98697 edges, 1165 markings/sec, 55 secs
lola: 79976 markings, 106642 edges, 1188 markings/sec, 60 secs
lola: 86381 markings, 115022 edges, 1281 markings/sec, 65 secs
lola: 91754 markings, 122333 edges, 1075 markings/sec, 70 secs
lola: 97574 markings, 130164 edges, 1164 markings/sec, 75 secs
lola: 103878 markings, 138724 edges, 1261 markings/sec, 80 secs
lola: 110716 markings, 147797 edges, 1368 markings/sec, 85 secs
lola: 117457 markings, 156761 edges, 1348 markings/sec, 90 secs
lola: 124047 markings, 165535 edges, 1318 markings/sec, 95 secs
lola: 130524 markings, 174176 edges, 1295 markings/sec, 100 secs
lola: 137012 markings, 182870 edges, 1298 markings/sec, 105 secs
lola: 143381 markings, 191422 edges, 1274 markings/sec, 110 secs
lola: 149621 markings, 199817 edges, 1248 markings/sec, 115 secs
lola: 155730 markings, 208052 edges, 1222 markings/sec, 120 secs
lola: 165999 markings, 222138 edges, 2054 markings/sec, 125 secs
lola: 187847 markings, 260831 edges, 4370 markings/sec, 130 secs
lola: 194858 markings, 270717 edges, 1402 markings/sec, 135 secs
lola: 210732 markings, 301277 edges, 3175 markings/sec, 140 secs
lola: 226407 markings, 331583 edges, 3135 markings/sec, 145 secs
lola: 233438 markings, 341546 edges, 1406 markings/sec, 150 secs
lola: 248780 markings, 370962 edges, 3068 markings/sec, 155 secs
lola: 264033 markings, 400294 edges, 3051 markings/sec, 160 secs
lola: 275577 markings, 421139 edges, 2309 markings/sec, 165 secs
lola: 286225 markings, 439110 edges, 2130 markings/sec, 170 secs
lola: 300543 markings, 466707 edges, 2864 markings/sec, 175 secs
lola: 315493 markings, 494727 edges, 2990 markings/sec, 180 secs
lola: 326789 markings, 514992 edges, 2259 markings/sec, 185 secs
lola: 338418 markings, 534340 edges, 2326 markings/sec, 190 secs
lola: 353113 markings, 561466 edges, 2939 markings/sec, 195 secs
lola: 367667 markings, 588566 edges, 2911 markings/sec, 200 secs
lola: 382170 markings, 615339 edges, 2901 markings/sec, 205 secs
lola: 396055 markings, 641043 edges, 2777 markings/sec, 210 secs
lola: 409071 markings, 665584 edges, 2603 markings/sec, 215 secs
lola: 422568 markings, 690416 edges, 2699 markings/sec, 220 secs
lola: 436115 markings, 715188 edges, 2709 markings/sec, 225 secs
lola: 448666 markings, 738331 edges, 2510 markings/sec, 230 secs
lola: 460969 markings, 760971 edges, 2461 markings/sec, 235 secs
lola: 473105 markings, 783230 edges, 2427 markings/sec, 240 secs
lola: 487080 markings, 807397 edges, 2795 markings/sec, 245 secs
lola: 494880 markings, 819759 edges, 1560 markings/sec, 250 secs
lola: 504610 markings, 834058 edges, 1946 markings/sec, 255 secs
lola: 514955 markings, 849938 edges, 2069 markings/sec, 260 secs
lola: 534274 markings, 885872 edges, 3864 markings/sec, 265 secs
lola: 541479 markings, 895896 edges, 1441 markings/sec, 270 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 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 5783 markings, 9532 edges, 1157 markings/sec, 0 secs
lola: 14428 markings, 30731 edges, 1729 markings/sec, 5 secs
lola: 22278 markings, 49839 edges, 1570 markings/sec, 10 secs
lola: 30948 markings, 72345 edges, 1734 markings/sec, 15 secs
lola: 40050 markings, 96322 edges, 1820 markings/sec, 20 secs
lola: 47829 markings, 116254 edges, 1556 markings/sec, 25 secs
lola: 57002 markings, 141066 edges, 1835 markings/sec, 30 secs
lola: 68341 markings, 172106 edges, 2268 markings/sec, 35 secs
lola: 76384 markings, 191822 edges, 1609 markings/sec, 40 secs
lola: 84562 markings, 212343 edges, 1636 markings/sec, 45 secs
lola: 92312 markings, 231292 edges, 1550 markings/sec, 50 secs
lola: 99921 markings, 250415 edges, 1522 markings/sec, 55 secs
lola: 107821 markings, 270519 edges, 1580 markings/sec, 60 secs
lola: 115638 markings, 290728 edges, 1563 markings/sec, 65 secs
lola: 123774 markings, 312159 edges, 1627 markings/sec, 70 secs
lola: 132072 markings, 334457 edges, 1660 markings/sec, 75 secs
lola: 141597 markings, 359705 edges, 1905 markings/sec, 80 secs
lola: 147835 markings, 374241 edges, 1248 markings/sec, 85 secs
lola: 154181 markings, 389549 edges, 1269 markings/sec, 90 secs
lola: 161103 markings, 406913 edges, 1384 markings/sec, 95 secs
lola: 168090 markings, 423973 edges, 1397 markings/sec, 100 secs
lola: 175780 markings, 443090 edges, 1538 markings/sec, 105 secs
lola: 183560 markings, 462575 edges, 1556 markings/sec, 110 secs
lola: 189809 markings, 477280 edges, 1250 markings/sec, 115 secs
lola: 197453 markings, 496810 edges, 1529 markings/sec, 120 secs
lola: 205516 markings, 517841 edges, 1613 markings/sec, 125 secs
lola: 211728 markings, 532395 edges, 1242 markings/sec, 130 secs
lola: 219996 markings, 554373 edges, 1654 markings/sec, 135 secs
lola: 225800 markings, 567992 edges, 1161 markings/sec, 140 secs
lola: 234456 markings, 591283 edges, 1731 markings/sec, 145 secs
lola: 244061 markings, 616676 edges, 1921 markings/sec, 150 secs
lola: 251200 markings, 633539 edges, 1428 markings/sec, 155 secs
lola: 258782 markings, 651732 edges, 1516 markings/sec, 160 secs
lola: 265866 markings, 668768 edges, 1417 markings/sec, 165 secs
lola: 272208 markings, 684437 edges, 1268 markings/sec, 170 secs
lola: 278606 markings, 700132 edges, 1280 markings/sec, 175 secs
lola: 284536 markings, 714133 edges, 1186 markings/sec, 180 secs
lola: 292039 markings, 732854 edges, 1501 markings/sec, 185 secs
lola: 299764 markings, 752431 edges, 1545 markings/sec, 190 secs
lola: 306143 markings, 767461 edges, 1276 markings/sec, 195 secs
lola: 314125 markings, 788099 edges, 1596 markings/sec, 200 secs
lola: 320524 markings, 803029 edges, 1280 markings/sec, 205 secs
lola: 328669 markings, 824361 edges, 1629 markings/sec, 210 secs
lola: 334648 markings, 838386 edges, 1196 markings/sec, 215 secs
lola: 343149 markings, 860973 edges, 1700 markings/sec, 220 secs
lola: 349350 markings, 875583 edges, 1240 markings/sec, 225 secs
lola: 355846 markings, 891062 edges, 1299 markings/sec, 230 secs
lola: 364588 markings, 914655 edges, 1748 markings/sec, 235 secs
lola: 373762 markings, 939319 edges, 1835 markings/sec, 240 secs
lola: 380569 markings, 955209 edges, 1361 markings/sec, 245 secs
lola: 387252 markings, 970965 edges, 1337 markings/sec, 250 secs
lola: 394255 markings, 988140 edges, 1401 markings/sec, 255 secs
lola: 401205 markings, 1004990 edges, 1390 markings/sec, 260 secs
lola: 407656 markings, 1020079 edges, 1290 markings/sec, 265 secs
lola: 414630 markings, 1037187 edges, 1395 markings/sec, 270 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 277 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 44020 markings, 50622 edges, 8804 markings/sec, 0 secs
lola: 94150 markings, 107811 edges, 10026 markings/sec, 5 secs
lola: 145020 markings, 166363 edges, 10174 markings/sec, 10 secs
lola: 194807 markings, 223187 edges, 9957 markings/sec, 15 secs
lola: 243086 markings, 278233 edges, 9656 markings/sec, 20 secs
lola: 291388 markings, 333572 edges, 9660 markings/sec, 25 secs
lola: 339166 markings, 388087 edges, 9556 markings/sec, 30 secs
lola: 369092 markings, 421797 edges, 5985 markings/sec, 35 secs
lola: 373814 markings, 426557 edges, 944 markings/sec, 40 secs
lola: 377486 markings, 430953 edges, 734 markings/sec, 45 secs
lola: 383222 markings, 437386 edges, 1147 markings/sec, 50 secs
lola: 387722 markings, 441922 edges, 900 markings/sec, 55 secs
lola: 391718 markings, 446368 edges, 799 markings/sec, 60 secs
lola: 395038 markings, 450518 edges, 664 markings/sec, 65 secs
lola: 401718 markings, 457357 edges, 1336 markings/sec, 70 secs
lola: 405620 markings, 461410 edges, 780 markings/sec, 75 secs
lola: 408694 markings, 465252 edges, 615 markings/sec, 80 secs
lola: 414492 markings, 471541 edges, 1160 markings/sec, 85 secs
lola: 418540 markings, 475622 edges, 810 markings/sec, 90 secs
lola: 421674 markings, 479180 edges, 627 markings/sec, 95 secs
lola: 424756 markings, 483032 edges, 616 markings/sec, 100 secs
lola: 431130 markings, 489601 edges, 1275 markings/sec, 105 secs
lola: 435242 markings, 493881 edges, 822 markings/sec, 110 secs
lola: 438280 markings, 497678 edges, 608 markings/sec, 115 secs
lola: 443694 markings, 503535 edges, 1083 markings/sec, 120 secs
lola: 448312 markings, 508190 edges, 924 markings/sec, 125 secs
lola: 451696 markings, 512228 edges, 677 markings/sec, 130 secs
lola: 457228 markings, 518428 edges, 1106 markings/sec, 135 secs
lola: 461794 markings, 523030 edges, 913 markings/sec, 140 secs
lola: 465436 markings, 527221 edges, 728 markings/sec, 145 secs
lola: 470470 markings, 533003 edges, 1007 markings/sec, 150 secs
lola: 475028 markings, 537602 edges, 912 markings/sec, 155 secs
lola: 478760 markings, 541732 edges, 746 markings/sec, 160 secs
lola: 481830 markings, 545570 edges, 614 markings/sec, 165 secs
lola: 488076 markings, 551966 edges, 1249 markings/sec, 170 secs
lola: 492050 markings, 556240 edges, 795 markings/sec, 175 secs
lola: 495206 markings, 560185 edges, 631 markings/sec, 180 secs
lola: 501382 markings, 566572 edges, 1235 markings/sec, 185 secs
lola: 505512 markings, 571001 edges, 826 markings/sec, 190 secs
lola: 508876 markings, 575206 edges, 673 markings/sec, 195 secs
lola: 515322 markings, 581798 edges, 1289 markings/sec, 200 secs
lola: 519282 markings, 586185 edges, 792 markings/sec, 205 secs
lola: 522776 markings, 590435 edges, 699 markings/sec, 210 secs
lola: 529038 markings, 596779 edges, 1252 markings/sec, 215 secs
lola: 532874 markings, 601186 edges, 767 markings/sec, 220 secs
lola: 538356 markings, 607307 edges, 1096 markings/sec, 225 secs
lola: 542868 markings, 611855 edges, 902 markings/sec, 230 secs
lola: 546288 markings, 616002 edges, 684 markings/sec, 235 secs
lola: 551986 markings, 622163 edges, 1140 markings/sec, 240 secs
lola: 556444 markings, 626785 edges, 892 markings/sec, 245 secs
lola: 559738 markings, 630902 edges, 659 markings/sec, 250 secs
lola: 565806 markings, 637191 edges, 1214 markings/sec, 255 secs
lola: 569766 markings, 641563 edges, 792 markings/sec, 260 secs
lola: 574964 markings, 647501 edges, 1040 markings/sec, 265 secs
lola: 579590 markings, 652164 edges, 925 markings/sec, 270 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 277 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p89)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 42000 markings, 48480 edges, 8400 markings/sec, 0 secs
lola: 89180 markings, 102109 edges, 9436 markings/sec, 5 secs
lola: 136372 markings, 156130 edges, 9438 markings/sec, 10 secs
lola: 182756 markings, 209434 edges, 9277 markings/sec, 15 secs
lola: 228326 markings, 261304 edges, 9114 markings/sec, 20 secs
lola: 274914 markings, 314700 edges, 9318 markings/sec, 25 secs
lola: 320930 markings, 367350 edges, 9203 markings/sec, 30 secs
lola: 367042 markings, 419588 edges, 9222 markings/sec, 35 secs
lola: 371714 markings, 424299 edges, 934 markings/sec, 40 secs
lola: 376286 markings, 429323 edges, 914 markings/sec, 45 secs
lola: 382830 markings, 436849 edges, 1309 markings/sec, 50 secs
lola: 387350 markings, 441406 edges, 904 markings/sec, 55 secs
lola: 391750 markings, 446278 edges, 880 markings/sec, 60 secs
lola: 398316 markings, 453785 edges, 1313 markings/sec, 65 secs
lola: 402430 markings, 457932 edges, 823 markings/sec, 70 secs
lola: 406684 markings, 462608 edges, 851 markings/sec, 75 secs
lola: 412880 markings, 469772 edges, 1239 markings/sec, 80 secs
lola: 417070 markings, 473996 edges, 838 markings/sec, 85 secs
lola: 421160 markings, 478405 edges, 818 markings/sec, 90 secs
lola: 425364 markings, 483607 edges, 841 markings/sec, 95 secs
lola: 431892 markings, 490224 edges, 1306 markings/sec, 100 secs
lola: 436406 markings, 495202 edges, 903 markings/sec, 105 secs
lola: 442718 markings, 502405 edges, 1262 markings/sec, 110 secs
lola: 447152 markings, 506875 edges, 887 markings/sec, 115 secs
lola: 451470 markings, 511811 edges, 864 markings/sec, 120 secs
lola: 457500 markings, 518555 edges, 1206 markings/sec, 125 secs
lola: 461620 markings, 522708 edges, 824 markings/sec, 130 secs
lola: 465760 markings, 527490 edges, 828 markings/sec, 135 secs
lola: 472022 markings, 534424 edges, 1252 markings/sec, 140 secs
lola: 476502 markings, 538940 edges, 896 markings/sec, 145 secs
lola: 480828 markings, 544181 edges, 865 markings/sec, 150 secs
lola: 487102 markings, 550836 edges, 1255 markings/sec, 155 secs
lola: 491532 markings, 555455 edges, 886 markings/sec, 160 secs
lola: 495822 markings, 560775 edges, 858 markings/sec, 165 secs
lola: 502122 markings, 567168 edges, 1260 markings/sec, 170 secs
lola: 506474 markings, 572065 edges, 870 markings/sec, 175 secs
lola: 512522 markings, 578825 edges, 1210 markings/sec, 180 secs
lola: 517038 markings, 583377 edges, 903 markings/sec, 185 secs
lola: 521384 markings, 588673 edges, 869 markings/sec, 190 secs
lola: 527538 markings, 595115 edges, 1231 markings/sec, 195 secs
lola: 531918 markings, 599850 edges, 876 markings/sec, 200 secs
lola: 538080 markings, 606876 edges, 1232 markings/sec, 205 secs
lola: 542508 markings, 611340 edges, 886 markings/sec, 210 secs
lola: 546822 markings, 616528 edges, 863 markings/sec, 215 secs
lola: 552916 markings, 622947 edges, 1219 markings/sec, 220 secs
lola: 557272 markings, 627677 edges, 871 markings/sec, 225 secs
lola: 563258 markings, 634468 edges, 1197 markings/sec, 230 secs
lola: 567696 markings, 638942 edges, 888 markings/sec, 235 secs
lola: 572094 markings, 644330 edges, 880 markings/sec, 240 secs
lola: 578306 markings, 650714 edges, 1242 markings/sec, 245 secs
lola: 582420 markings, 655401 edges, 823 markings/sec, 250 secs
lola: 588088 markings, 661633 edges, 1134 markings/sec, 255 secs
lola: 592202 markings, 665830 edges, 823 markings/sec, 260 secs
lola: 596188 markings, 670791 edges, 797 markings/sec, 265 secs
lola: 601886 markings, 676581 edges, 1140 markings/sec, 270 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 277 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p88)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 8486 markings, 10920 edges, 1697 markings/sec, 0 secs
lola: 24440 markings, 41347 edges, 3191 markings/sec, 5 secs
lola: 31394 markings, 51128 edges, 1391 markings/sec, 10 secs
lola: 46575 markings, 80531 edges, 3036 markings/sec, 15 secs
lola: 61364 markings, 109522 edges, 2958 markings/sec, 20 secs
lola: 69354 markings, 120427 edges, 1598 markings/sec, 25 secs
lola: 83494 markings, 148203 edges, 2828 markings/sec, 30 secs
lola: 98536 markings, 176848 edges, 3008 markings/sec, 35 secs
lola: 106218 markings, 187530 edges, 1536 markings/sec, 40 secs
lola: 120783 markings, 215156 edges, 2913 markings/sec, 45 secs
lola: 134932 markings, 242267 edges, 2830 markings/sec, 50 secs
lola: 144814 markings, 259863 edges, 1976 markings/sec, 55 secs
lola: 156366 markings, 279260 edges, 2310 markings/sec, 60 secs
lola: 169508 markings, 304669 edges, 2628 markings/sec, 65 secs
lola: 183532 markings, 330760 edges, 2805 markings/sec, 70 secs
lola: 193133 markings, 347840 edges, 1920 markings/sec, 75 secs
lola: 203894 markings, 365797 edges, 2152 markings/sec, 80 secs
lola: 217452 markings, 391009 edges, 2712 markings/sec, 85 secs
lola: 230024 markings, 414831 edges, 2514 markings/sec, 90 secs
lola: 242947 markings, 438722 edges, 2585 markings/sec, 95 secs
lola: 256507 markings, 463437 edges, 2712 markings/sec, 100 secs
lola: 269994 markings, 487913 edges, 2697 markings/sec, 105 secs
lola: 282618 markings, 510966 edges, 2525 markings/sec, 110 secs
lola: 295307 markings, 533990 edges, 2538 markings/sec, 115 secs
lola: 307204 markings, 555703 edges, 2379 markings/sec, 120 secs
lola: 321477 markings, 580037 edges, 2855 markings/sec, 125 secs
lola: 329346 markings, 591662 edges, 1574 markings/sec, 130 secs
lola: 338164 markings, 603812 edges, 1764 markings/sec, 135 secs
lola: 349905 markings, 624233 edges, 2348 markings/sec, 140 secs
lola: 362868 markings, 646725 edges, 2593 markings/sec, 145 secs
lola: 371837 markings, 658992 edges, 1794 markings/sec, 150 secs
lola: 388862 markings, 691165 edges, 3405 markings/sec, 155 secs
lola: 396760 markings, 702234 edges, 1580 markings/sec, 160 secs
lola: 405687 markings, 717080 edges, 1785 markings/sec, 165 secs
lola: 420649 markings, 744172 edges, 2992 markings/sec, 170 secs
lola: 429253 markings, 755981 edges, 1721 markings/sec, 175 secs
lola: 445622 markings, 786818 edges, 3274 markings/sec, 180 secs
lola: 453221 markings, 797484 edges, 1520 markings/sec, 185 secs
lola: 464613 markings, 818709 edges, 2278 markings/sec, 190 secs
lola: 475529 markings, 836749 edges, 2183 markings/sec, 195 secs
lola: 483227 markings, 847284 edges, 1540 markings/sec, 200 secs
lola: 498531 markings, 876182 edges, 3061 markings/sec, 205 secs
lola: 505631 markings, 886143 edges, 1420 markings/sec, 210 secs
lola: 515247 markings, 903636 edges, 1923 markings/sec, 215 secs
lola: 527495 markings, 924448 edges, 2450 markings/sec, 220 secs
lola: 535263 markings, 935181 edges, 1554 markings/sec, 225 secs
lola: 549884 markings, 962718 edges, 2924 markings/sec, 230 secs
lola: 556919 markings, 972627 edges, 1407 markings/sec, 235 secs
lola: 569470 markings, 997771 edges, 2510 markings/sec, 240 secs
lola: 578147 markings, 1009457 edges, 1735 markings/sec, 245 secs
lola: 585251 markings, 1019841 edges, 1421 markings/sec, 250 secs
lola: 599506 markings, 1046180 edges, 2851 markings/sec, 255 secs
lola: 607211 markings, 1056953 edges, 1541 markings/sec, 260 secs
lola: 621755 markings, 1083890 edges, 2909 markings/sec, 265 secs
lola: 629385 markings, 1094593 edges, 1526 markings/sec, 270 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 277 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p98 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 14 will run for 415 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 40658 markings, 46813 edges, 8132 markings/sec, 0 secs
lola: 88446 markings, 101391 edges, 9558 markings/sec, 5 secs
lola: 135251 markings, 154841 edges, 9361 markings/sec, 10 secs
lola: 182502 markings, 209173 edges, 9450 markings/sec, 15 secs
lola: 228320 markings, 261378 edges, 9164 markings/sec, 20 secs
lola: 274734 markings, 314613 edges, 9283 markings/sec, 25 secs
lola: 317850 markings, 364008 edges, 8623 markings/sec, 30 secs
lola: 360434 markings, 412608 edges, 8517 markings/sec, 35 secs
lola: 370560 markings, 423277 edges, 2025 markings/sec, 40 secs
lola: 374644 markings, 427400 edges, 817 markings/sec, 45 secs
lola: 377510 markings, 430983 edges, 573 markings/sec, 50 secs
lola: 380886 markings, 435000 edges, 675 markings/sec, 55 secs
lola: 386562 markings, 440753 edges, 1135 markings/sec, 60 secs
lola: 390380 markings, 444696 edges, 764 markings/sec, 65 secs
lola: 393176 markings, 448191 edges, 559 markings/sec, 70 secs
lola: 398198 markings, 453809 edges, 1004 markings/sec, 75 secs
lola: 402672 markings, 458319 edges, 895 markings/sec, 80 secs
lola: 406178 markings, 462107 edges, 701 markings/sec, 85 secs
lola: 409404 markings, 466140 edges, 645 markings/sec, 90 secs
lola: 415236 markings, 472291 edges, 1166 markings/sec, 95 secs
lola: 419712 markings, 476803 edges, 895 markings/sec, 100 secs
lola: 422452 markings, 480152 edges, 548 markings/sec, 105 secs
lola: 425068 markings, 483422 edges, 523 markings/sec, 110 secs
lola: 431414 markings, 489887 edges, 1269 markings/sec, 115 secs
lola: 435514 markings, 494221 edges, 820 markings/sec, 120 secs
lola: 438684 markings, 498183 edges, 634 markings/sec, 125 secs
lola: 444612 markings, 504460 edges, 1186 markings/sec, 130 secs
lola: 448988 markings, 508872 edges, 875 markings/sec, 135 secs
lola: 452122 markings, 512760 edges, 627 markings/sec, 140 secs
lola: 457597 markings, 518801 edges, 1095 markings/sec, 145 secs
lola: 461964 markings, 523202 edges, 873 markings/sec, 150 secs
lola: 465532 markings, 527341 edges, 714 markings/sec, 155 secs
lola: 470746 markings, 533285 edges, 1043 markings/sec, 160 secs
lola: 475138 markings, 537713 edges, 878 markings/sec, 165 secs
lola: 478918 markings, 541930 edges, 756 markings/sec, 170 secs
lola: 482004 markings, 545787 edges, 617 markings/sec, 175 secs
lola: 488258 markings, 552150 edges, 1251 markings/sec, 180 secs
lola: 492154 markings, 556370 edges, 779 markings/sec, 185 secs
lola: 495350 markings, 560365 edges, 639 markings/sec, 190 secs
lola: 501604 markings, 566796 edges, 1251 markings/sec, 195 secs
lola: 505580 markings, 571086 edges, 795 markings/sec, 200 secs
lola: 508692 markings, 574976 edges, 622 markings/sec, 205 secs
lola: 514454 markings, 580923 edges, 1152 markings/sec, 210 secs
lola: 518206 markings, 584840 edges, 750 markings/sec, 215 secs
lola: 520944 markings, 588263 edges, 548 markings/sec, 220 secs
lola: 526194 markings, 593912 edges, 1050 markings/sec, 225 secs
lola: 530720 markings, 598493 edges, 905 markings/sec, 230 secs
lola: 533490 markings, 601956 edges, 554 markings/sec, 235 secs
lola: 538322 markings, 607273 edges, 966 markings/sec, 240 secs
lola: 542398 markings, 611381 edges, 815 markings/sec, 245 secs
lola: 545624 markings, 615172 edges, 645 markings/sec, 250 secs
lola: 550112 markings, 620274 edges, 898 markings/sec, 255 secs
lola: 554154 markings, 624348 edges, 808 markings/sec, 260 secs
lola: 557632 markings, 628270 edges, 696 markings/sec, 265 secs
lola: 562806 markings, 634167 edges, 1035 markings/sec, 270 secs
lola: 567178 markings, 638574 edges, 874 markings/sec, 275 secs
lola: 570590 markings, 642593 edges, 682 markings/sec, 280 secs
lola: 575840 markings, 648384 edges, 1050 markings/sec, 285 secs
lola: 580168 markings, 652747 edges, 866 markings/sec, 290 secs
lola: 583290 markings, 656633 edges, 624 markings/sec, 295 secs
lola: 588710 markings, 662417 edges, 1084 markings/sec, 300 secs
lola: 592738 markings, 666646 edges, 806 markings/sec, 305 secs
lola: 595988 markings, 670708 edges, 650 markings/sec, 310 secs
lola: 601806 markings, 676658 edges, 1164 markings/sec, 315 secs
lola: 605056 markings, 680285 edges, 650 markings/sec, 320 secs
lola: 607666 markings, 683540 edges, 522 markings/sec, 325 secs
lola: 613212 markings, 689177 edges, 1109 markings/sec, 330 secs
lola: 616446 markings, 692802 edges, 647 markings/sec, 335 secs
lola: 620443 markings, 697458 edges, 799 markings/sec, 340 secs
lola: 625410 markings, 702475 edges, 993 markings/sec, 345 secs
lola: 628846 markings, 706621 edges, 687 markings/sec, 350 secs
lola: 634328 markings, 712447 edges, 1096 markings/sec, 355 secs
lola: 638258 markings, 716743 edges, 786 markings/sec, 360 secs
lola: 641824 markings, 720920 edges, 713 markings/sec, 365 secs
lola: 646360 markings, 725483 edges, 907 markings/sec, 370 secs
lola: 650900 markings, 730049 edges, 908 markings/sec, 375 secs
lola: 654482 markings, 734503 edges, 716 markings/sec, 380 secs
lola: 659852 markings, 740422 edges, 1074 markings/sec, 385 secs
lola: 664130 markings, 744917 edges, 856 markings/sec, 390 secs
lola: 667600 markings, 749132 edges, 694 markings/sec, 395 secs
lola: 672130 markings, 753689 edges, 906 markings/sec, 400 secs
lola: 676672 markings, 758257 edges, 908 markings/sec, 405 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 416 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p90 + p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 7847 markings, 12118 edges, 1569 markings/sec, 0 secs
lola: 15001 markings, 24715 edges, 1431 markings/sec, 5 secs
lola: 22185 markings, 37145 edges, 1437 markings/sec, 10 secs
lola: 28471 markings, 49196 edges, 1257 markings/sec, 15 secs
lola: 35044 markings, 60301 edges, 1315 markings/sec, 20 secs
lola: 40577 markings, 70964 edges, 1107 markings/sec, 25 secs
lola: 45901 markings, 81379 edges, 1065 markings/sec, 30 secs
lola: 52473 markings, 92285 edges, 1314 markings/sec, 35 secs
lola: 58470 markings, 103277 edges, 1199 markings/sec, 40 secs
lola: 64661 markings, 115830 edges, 1238 markings/sec, 45 secs
lola: 71014 markings, 128229 edges, 1271 markings/sec, 50 secs
lola: 78388 markings, 140346 edges, 1475 markings/sec, 55 secs
lola: 85559 markings, 153392 edges, 1434 markings/sec, 60 secs
lola: 91581 markings, 165596 edges, 1204 markings/sec, 65 secs
lola: 97565 markings, 177526 edges, 1197 markings/sec, 70 secs
lola: 103432 markings, 189086 edges, 1173 markings/sec, 75 secs
lola: 109135 markings, 200272 edges, 1141 markings/sec, 80 secs
lola: 116904 markings, 212643 edges, 1554 markings/sec, 85 secs
lola: 124353 markings, 226111 edges, 1490 markings/sec, 90 secs
lola: 130651 markings, 238394 edges, 1260 markings/sec, 95 secs
lola: 136714 markings, 251248 edges, 1213 markings/sec, 100 secs
lola: 142839 markings, 263245 edges, 1225 markings/sec, 105 secs
lola: 148850 markings, 275400 edges, 1202 markings/sec, 110 secs
lola: 154658 markings, 287018 edges, 1162 markings/sec, 115 secs
lola: 160292 markings, 297659 edges, 1127 markings/sec, 120 secs
lola: 168561 markings, 310761 edges, 1654 markings/sec, 125 secs
lola: 176063 markings, 324078 edges, 1500 markings/sec, 130 secs
lola: 182635 markings, 336242 edges, 1314 markings/sec, 135 secs
lola: 188509 markings, 348612 edges, 1175 markings/sec, 140 secs
lola: 194492 markings, 361403 edges, 1197 markings/sec, 145 secs
lola: 200628 markings, 373645 edges, 1227 markings/sec, 150 secs
lola: 206537 markings, 385485 edges, 1182 markings/sec, 155 secs
lola: 212282 markings, 397089 edges, 1149 markings/sec, 160 secs
lola: 217919 markings, 408384 edges, 1127 markings/sec, 165 secs
lola: 223511 markings, 419415 edges, 1118 markings/sec, 170 secs
lola: 230957 markings, 431737 edges, 1489 markings/sec, 175 secs
lola: 238129 markings, 443713 edges, 1434 markings/sec, 180 secs
lola: 245820 markings, 457669 edges, 1538 markings/sec, 185 secs
lola: 252566 markings, 469814 edges, 1349 markings/sec, 190 secs
lola: 258411 markings, 480755 edges, 1169 markings/sec, 195 secs
lola: 263104 markings, 491236 edges, 939 markings/sec, 200 secs
lola: 267992 markings, 501719 edges, 978 markings/sec, 205 secs
lola: 273249 markings, 512979 edges, 1051 markings/sec, 210 secs
lola: 278941 markings, 524307 edges, 1138 markings/sec, 215 secs
lola: 284906 markings, 536535 edges, 1193 markings/sec, 220 secs
lola: 290546 markings, 547982 edges, 1128 markings/sec, 225 secs
lola: 296212 markings, 559266 edges, 1133 markings/sec, 230 secs
lola: 301890 markings, 570991 edges, 1136 markings/sec, 235 secs
lola: 307402 markings, 581925 edges, 1102 markings/sec, 240 secs
lola: 312906 markings, 592453 edges, 1101 markings/sec, 245 secs
lola: 321315 markings, 605430 edges, 1682 markings/sec, 250 secs
lola: 328520 markings, 617967 edges, 1441 markings/sec, 255 secs
lola: 336592 markings, 632387 edges, 1614 markings/sec, 260 secs
lola: 343839 markings, 645349 edges, 1449 markings/sec, 265 secs
lola: 350431 markings, 657738 edges, 1318 markings/sec, 270 secs
lola: 356392 markings, 669676 edges, 1192 markings/sec, 275 secs
lola: 362027 markings, 682056 edges, 1127 markings/sec, 280 secs
lola: 367684 markings, 694592 edges, 1131 markings/sec, 285 secs
lola: 373701 markings, 707415 edges, 1203 markings/sec, 290 secs
lola: 379759 markings, 719251 edges, 1212 markings/sec, 295 secs
lola: 385744 markings, 731238 edges, 1197 markings/sec, 300 secs
lola: 391510 markings, 742982 edges, 1153 markings/sec, 305 secs
lola: 397356 markings, 754956 edges, 1169 markings/sec, 310 secs
lola: 403103 markings, 766843 edges, 1149 markings/sec, 315 secs
lola: 408955 markings, 779156 edges, 1170 markings/sec, 320 secs
lola: 414713 markings, 790454 edges, 1152 markings/sec, 325 secs
lola: 420286 markings, 801768 edges, 1115 markings/sec, 330 secs
lola: 425937 markings, 812597 edges, 1130 markings/sec, 335 secs
lola: 435136 markings, 826589 edges, 1840 markings/sec, 340 secs
lola: 442752 markings, 839981 edges, 1523 markings/sec, 345 secs
lola: 449751 markings, 851800 edges, 1400 markings/sec, 350 secs
lola: 457428 markings, 866167 edges, 1535 markings/sec, 355 secs
lola: 463689 markings, 877080 edges, 1252 markings/sec, 360 secs
lola: 469586 markings, 888075 edges, 1179 markings/sec, 365 secs
lola: 475010 markings, 898470 edges, 1085 markings/sec, 370 secs
lola: 480445 markings, 909957 edges, 1087 markings/sec, 375 secs
lola: 485724 markings, 921329 edges, 1056 markings/sec, 380 secs
lola: 491095 markings, 933537 edges, 1074 markings/sec, 385 secs
lola: 496877 markings, 946276 edges, 1156 markings/sec, 390 secs
lola: 503006 markings, 959000 edges, 1226 markings/sec, 395 secs
lola: 509070 markings, 970916 edges, 1213 markings/sec, 400 secs
lola: 514840 markings, 982597 edges, 1154 markings/sec, 405 secs
lola: 519730 markings, 993289 edges, 978 markings/sec, 410 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 80 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-1 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496348205289
--------------------
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_BridgeAndVehicles-COL-V80P20N20"
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_BridgeAndVehicles-COL-V80P20N20.tgz
mv S_BridgeAndVehicles-COL-V80P20N20 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_BridgeAndVehicles-COL-V80P20N20, 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 r088-csrt-149441074400389"
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 '
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 ;