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 PolyORBLF-COL-S06J04T06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869900380
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494654150636


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-COL-S06J04T06 @ 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: 11132/65536 symbol table entries, 3572 collisions
lola: preprocessing...
lola: finding significant places
lola: 632 places, 10500 transitions, 578 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2723 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J04T06-UpperBounds.task
lola: MAX(p428 + p429 + p430 + p431 + p432 + p433) : MAX(p313 + p314 + p315 + p316 + p317 + p318) : MAX(p421 + p422 + p423 + p424 + p425 + p426) : MAX(p25 + p26 + p27 + p28 + p29 + p30) : MAX(p300 + p301 + p302 + p303 + p304 + p305) : MAX(p595 + p596 + p597 + p598 + p599 + p600) : MAX(p589 + p590 + p591 + p592 + p593 + p594) : MAX(p414 + p415 + p416 + p417 + p418 + p419) : MAX(p506) : MAX(p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394) : MAX(p306) : MAX(p79) : MAX(p402 + p403 + p404 + p405 + p406 + p407) : MAX(p240 + p241 + p242 + p243 + p244 + p245) : MAX(p325) : MAX(p240 + p241 + p242 + p243 + p244 + p245)
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(p428 + p429 + p430 + p431 + p432 + p433)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 8170 markings, 8202 edges, 1634 markings/sec, 0 secs
lola: 16244 markings, 16349 edges, 1615 markings/sec, 5 secs
lola: 24381 markings, 24538 edges, 1627 markings/sec, 10 secs
lola: 32394 markings, 32626 edges, 1603 markings/sec, 15 secs
lola: 40530 markings, 40817 edges, 1627 markings/sec, 20 secs
lola: 48529 markings, 48885 edges, 1600 markings/sec, 25 secs
lola: 56525 markings, 56971 edges, 1599 markings/sec, 30 secs
lola: 64596 markings, 65116 edges, 1614 markings/sec, 35 secs
lola: 72351 markings, 72944 edges, 1551 markings/sec, 40 secs
lola: 80432 markings, 81117 edges, 1616 markings/sec, 45 secs
lola: 88520 markings, 89278 edges, 1618 markings/sec, 50 secs
lola: 96562 markings, 97384 edges, 1608 markings/sec, 55 secs
lola: 104658 markings, 105555 edges, 1619 markings/sec, 60 secs
lola: 112729 markings, 113677 edges, 1614 markings/sec, 65 secs
lola: 120824 markings, 121847 edges, 1619 markings/sec, 70 secs
lola: 128892 markings, 129971 edges, 1614 markings/sec, 75 secs
lola: 136937 markings, 138090 edges, 1609 markings/sec, 80 secs
lola: 144868 markings, 146116 edges, 1586 markings/sec, 85 secs
lola: 152945 markings, 154245 edges, 1615 markings/sec, 90 secs
lola: 160729 markings, 162101 edges, 1557 markings/sec, 95 secs
lola: 168623 markings, 170081 edges, 1579 markings/sec, 100 secs
lola: 176465 markings, 178014 edges, 1568 markings/sec, 105 secs
lola: 184203 markings, 185928 edges, 1548 markings/sec, 110 secs
lola: 192292 markings, 194094 edges, 1618 markings/sec, 115 secs
lola: 200236 markings, 202114 edges, 1589 markings/sec, 120 secs
lola: 208303 markings, 210267 edges, 1613 markings/sec, 125 secs
lola: 216090 markings, 218234 edges, 1557 markings/sec, 130 secs
lola: 224149 markings, 226361 edges, 1612 markings/sec, 135 secs
lola: 232104 markings, 234406 edges, 1591 markings/sec, 140 secs
lola: 240122 markings, 242513 edges, 1604 markings/sec, 145 secs
lola: 247969 markings, 250536 edges, 1569 markings/sec, 150 secs
lola: 255994 markings, 258660 edges, 1605 markings/sec, 155 secs
lola: 263974 markings, 266733 edges, 1596 markings/sec, 160 secs
lola: 272018 markings, 274859 edges, 1609 markings/sec, 165 secs
lola: 280029 markings, 282975 edges, 1602 markings/sec, 170 secs
lola: 288003 markings, 291033 edges, 1595 markings/sec, 175 secs
lola: 296155 markings, 299263 edges, 1630 markings/sec, 180 secs
lola: 304174 markings, 307363 edges, 1604 markings/sec, 185 secs
lola: 312074 markings, 315465 edges, 1580 markings/sec, 190 secs
lola: 320177 markings, 323669 edges, 1621 markings/sec, 195 secs
lola: 328329 markings, 331897 edges, 1630 markings/sec, 200 secs
lola: 336333 markings, 340037 edges, 1601 markings/sec, 205 secs
lola: 344430 markings, 348226 edges, 1619 markings/sec, 210 secs
lola: 352579 markings, 356452 edges, 1630 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(p313 + p314 + p315 + p316 + p317 + p318)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 7597 markings, 7647 edges, 1519 markings/sec, 0 secs
lola: 15711 markings, 15816 edges, 1623 markings/sec, 5 secs
lola: 23802 markings, 23956 edges, 1618 markings/sec, 10 secs
lola: 31915 markings, 32126 edges, 1623 markings/sec, 15 secs
lola: 39721 markings, 40029 edges, 1561 markings/sec, 20 secs
lola: 47663 markings, 48072 edges, 1588 markings/sec, 25 secs
lola: 55354 markings, 55837 edges, 1538 markings/sec, 30 secs
lola: 62915 markings, 63478 edges, 1512 markings/sec, 35 secs
lola: 70507 markings, 71150 edges, 1518 markings/sec, 40 secs
lola: 78185 markings, 78909 edges, 1536 markings/sec, 45 secs
lola: 85904 markings, 86709 edges, 1544 markings/sec, 50 secs
lola: 93675 markings, 94562 edges, 1554 markings/sec, 55 secs
lola: 101473 markings, 102440 edges, 1560 markings/sec, 60 secs
lola: 109436 markings, 110459 edges, 1593 markings/sec, 65 secs
lola: 116939 markings, 118044 edges, 1501 markings/sec, 70 secs
lola: 124500 markings, 125678 edges, 1512 markings/sec, 75 secs
lola: 132294 markings, 133538 edges, 1559 markings/sec, 80 secs
lola: 140096 markings, 141395 edges, 1560 markings/sec, 85 secs
lola: 147838 markings, 149194 edges, 1548 markings/sec, 90 secs
lola: 155432 markings, 156847 edges, 1519 markings/sec, 95 secs
lola: 163210 markings, 164674 edges, 1556 markings/sec, 100 secs
lola: 170866 markings, 172418 edges, 1531 markings/sec, 105 secs
lola: 178542 markings, 180147 edges, 1535 markings/sec, 110 secs
lola: 186233 markings, 187903 edges, 1538 markings/sec, 115 secs
lola: 194189 markings, 195911 edges, 1591 markings/sec, 120 secs
lola: 202112 markings, 203896 edges, 1585 markings/sec, 125 secs
lola: 210014 markings, 211862 edges, 1580 markings/sec, 130 secs
lola: 217822 markings, 219743 edges, 1562 markings/sec, 135 secs
lola: 225709 markings, 227694 edges, 1577 markings/sec, 140 secs
lola: 233338 markings, 235415 edges, 1526 markings/sec, 145 secs
lola: 240672 markings, 242816 edges, 1467 markings/sec, 150 secs
lola: 248147 markings, 250362 edges, 1495 markings/sec, 155 secs
lola: 256003 markings, 258286 edges, 1571 markings/sec, 160 secs
lola: 263881 markings, 266239 edges, 1576 markings/sec, 165 secs
lola: 271301 markings, 273724 edges, 1484 markings/sec, 170 secs
lola: 278675 markings, 281177 edges, 1475 markings/sec, 175 secs
lola: 286441 markings, 289012 edges, 1553 markings/sec, 180 secs
lola: 294304 markings, 296965 edges, 1573 markings/sec, 185 secs
lola: 302219 markings, 304972 edges, 1583 markings/sec, 190 secs
lola: 310199 markings, 313008 edges, 1596 markings/sec, 195 secs
lola: 317916 markings, 320822 edges, 1543 markings/sec, 200 secs
lola: 325691 markings, 328693 edges, 1555 markings/sec, 205 secs
lola: 333534 markings, 336618 edges, 1569 markings/sec, 210 secs
lola: 341506 markings, 344683 edges, 1594 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(p421 + p422 + p423 + p424 + p425 + p426)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 7438 markings, 7490 edges, 1488 markings/sec, 0 secs
lola: 14404 markings, 15026 edges, 1393 markings/sec, 5 secs
lola: 21350 markings, 22072 edges, 1389 markings/sec, 10 secs
lola: 28270 markings, 29073 edges, 1384 markings/sec, 15 secs
lola: 35243 markings, 36121 edges, 1395 markings/sec, 20 secs
lola: 42169 markings, 43137 edges, 1385 markings/sec, 25 secs
lola: 49149 markings, 50199 edges, 1396 markings/sec, 30 secs
lola: 56072 markings, 57210 edges, 1385 markings/sec, 35 secs
lola: 63012 markings, 64242 edges, 1388 markings/sec, 40 secs
lola: 69989 markings, 71283 edges, 1395 markings/sec, 45 secs
lola: 76929 markings, 78319 edges, 1388 markings/sec, 50 secs
lola: 83905 markings, 85360 edges, 1395 markings/sec, 55 secs
lola: 90811 markings, 92374 edges, 1381 markings/sec, 60 secs
lola: 97733 markings, 99407 edges, 1384 markings/sec, 65 secs
lola: 104647 markings, 106424 edges, 1383 markings/sec, 70 secs
lola: 111566 markings, 113472 edges, 1384 markings/sec, 75 secs
lola: 118449 markings, 120497 edges, 1377 markings/sec, 80 secs
lola: 125350 markings, 127500 edges, 1380 markings/sec, 85 secs
lola: 132236 markings, 134550 edges, 1377 markings/sec, 90 secs
lola: 139152 markings, 141575 edges, 1383 markings/sec, 95 secs
lola: 146078 markings, 149091 edges, 1385 markings/sec, 100 secs
lola: 152990 markings, 156079 edges, 1382 markings/sec, 105 secs
lola: 159892 markings, 163112 edges, 1380 markings/sec, 110 secs
lola: 166845 markings, 170683 edges, 1391 markings/sec, 115 secs
lola: 173794 markings, 177741 edges, 1390 markings/sec, 120 secs
lola: 180702 markings, 184804 edges, 1382 markings/sec, 125 secs
lola: 187628 markings, 191837 edges, 1385 markings/sec, 130 secs
lola: 194551 markings, 198843 edges, 1385 markings/sec, 135 secs
lola: 201532 markings, 206409 edges, 1396 markings/sec, 140 secs
lola: 208414 markings, 213491 edges, 1376 markings/sec, 145 secs
lola: 215330 markings, 220496 edges, 1383 markings/sec, 150 secs
lola: 222207 markings, 227549 edges, 1375 markings/sec, 155 secs
lola: 229105 markings, 235100 edges, 1380 markings/sec, 160 secs
lola: 236046 markings, 242623 edges, 1388 markings/sec, 165 secs
lola: 242995 markings, 250184 edges, 1390 markings/sec, 170 secs
lola: 249899 markings, 257279 edges, 1381 markings/sec, 175 secs
lola: 256801 markings, 264313 edges, 1380 markings/sec, 180 secs
lola: 263757 markings, 272353 edges, 1391 markings/sec, 185 secs
lola: 270643 markings, 279422 edges, 1377 markings/sec, 190 secs
lola: 277533 markings, 286478 edges, 1378 markings/sec, 195 secs
lola: 284367 markings, 293583 edges, 1367 markings/sec, 200 secs
lola: 291361 markings, 301177 edges, 1399 markings/sec, 205 secs
lola: 298276 markings, 308781 edges, 1383 markings/sec, 210 secs
lola: 305204 markings, 316304 edges, 1386 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(p25 + p26 + p27 + p28 + p29 + p30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 6506 markings, 6589 edges, 1301 markings/sec, 0 secs
lola: 13249 markings, 13455 edges, 1349 markings/sec, 5 secs
lola: 19970 markings, 20251 edges, 1344 markings/sec, 10 secs
lola: 26457 markings, 27160 edges, 1297 markings/sec, 15 secs
lola: 33116 markings, 33859 edges, 1332 markings/sec, 20 secs
lola: 39669 markings, 40468 edges, 1311 markings/sec, 25 secs
lola: 46213 markings, 47101 edges, 1309 markings/sec, 30 secs
lola: 52865 markings, 53833 edges, 1330 markings/sec, 35 secs
lola: 59554 markings, 60596 edges, 1338 markings/sec, 40 secs
lola: 66147 markings, 67256 edges, 1319 markings/sec, 45 secs
lola: 72809 markings, 74012 edges, 1332 markings/sec, 50 secs
lola: 79585 markings, 80844 edges, 1355 markings/sec, 55 secs
lola: 86245 markings, 87619 edges, 1332 markings/sec, 60 secs
lola: 92887 markings, 94372 edges, 1328 markings/sec, 65 secs
lola: 99687 markings, 101272 edges, 1360 markings/sec, 70 secs
lola: 106490 markings, 108157 edges, 1361 markings/sec, 75 secs
lola: 112955 markings, 115083 edges, 1293 markings/sec, 80 secs
lola: 119673 markings, 121877 edges, 1344 markings/sec, 85 secs
lola: 126051 markings, 128403 edges, 1276 markings/sec, 90 secs
lola: 132503 markings, 135285 edges, 1290 markings/sec, 95 secs
lola: 138927 markings, 142189 edges, 1285 markings/sec, 100 secs
lola: 145338 markings, 148641 edges, 1282 markings/sec, 105 secs
lola: 152037 markings, 155405 edges, 1340 markings/sec, 110 secs
lola: 158702 markings, 162180 edges, 1333 markings/sec, 115 secs
lola: 165214 markings, 168815 edges, 1302 markings/sec, 120 secs
lola: 171411 markings, 175524 edges, 1239 markings/sec, 125 secs
lola: 177928 markings, 182128 edges, 1303 markings/sec, 130 secs
lola: 184535 markings, 188835 edges, 1321 markings/sec, 135 secs
lola: 191119 markings, 195500 edges, 1317 markings/sec, 140 secs
lola: 197870 markings, 202327 edges, 1350 markings/sec, 145 secs
lola: 204157 markings, 209055 edges, 1257 markings/sec, 150 secs
lola: 210902 markings, 215838 edges, 1349 markings/sec, 155 secs
lola: 217624 markings, 222614 edges, 1344 markings/sec, 160 secs
lola: 223964 markings, 229059 edges, 1268 markings/sec, 165 secs
lola: 230409 markings, 235941 edges, 1289 markings/sec, 170 secs
lola: 237122 markings, 242711 edges, 1343 markings/sec, 175 secs
lola: 243632 markings, 249318 edges, 1302 markings/sec, 180 secs
lola: 250132 markings, 255966 edges, 1300 markings/sec, 185 secs
lola: 256741 markings, 262673 edges, 1322 markings/sec, 190 secs
lola: 263530 markings, 269541 edges, 1358 markings/sec, 195 secs
lola: 270139 markings, 276260 edges, 1322 markings/sec, 200 secs
lola: 276401 markings, 282996 edges, 1252 markings/sec, 205 secs
lola: 282660 markings, 289731 edges, 1252 markings/sec, 210 secs
lola: 289309 markings, 296489 edges, 1330 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p300 + p301 + p302 + p303 + p304 + p305)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 7538 markings, 8684 edges, 1508 markings/sec, 0 secs
lola: 14896 markings, 17772 edges, 1472 markings/sec, 5 secs
lola: 22388 markings, 26905 edges, 1498 markings/sec, 10 secs
lola: 29952 markings, 35850 edges, 1513 markings/sec, 15 secs
lola: 37436 markings, 44911 edges, 1497 markings/sec, 20 secs
lola: 43907 markings, 55657 edges, 1294 markings/sec, 25 secs
lola: 51200 markings, 65074 edges, 1459 markings/sec, 30 secs
lola: 58484 markings, 74647 edges, 1457 markings/sec, 35 secs
lola: 66023 markings, 83813 edges, 1508 markings/sec, 40 secs
lola: 73569 markings, 92933 edges, 1509 markings/sec, 45 secs
lola: 80797 markings, 102537 edges, 1446 markings/sec, 50 secs
lola: 88288 markings, 111651 edges, 1498 markings/sec, 55 secs
lola: 95918 markings, 120493 edges, 1526 markings/sec, 60 secs
lola: 103437 markings, 129305 edges, 1504 markings/sec, 65 secs
lola: 110912 markings, 138699 edges, 1495 markings/sec, 70 secs
lola: 118418 markings, 147586 edges, 1501 markings/sec, 75 secs
lola: 125863 markings, 156981 edges, 1489 markings/sec, 80 secs
lola: 133152 markings, 166413 edges, 1458 markings/sec, 85 secs
lola: 140620 markings, 175472 edges, 1494 markings/sec, 90 secs
lola: 147964 markings, 185275 edges, 1469 markings/sec, 95 secs
lola: 155313 markings, 194605 edges, 1470 markings/sec, 100 secs
lola: 162520 markings, 204905 edges, 1441 markings/sec, 105 secs
lola: 170098 markings, 213690 edges, 1516 markings/sec, 110 secs
lola: 177422 markings, 223051 edges, 1465 markings/sec, 115 secs
lola: 184127 markings, 232841 edges, 1341 markings/sec, 120 secs
lola: 190732 markings, 244707 edges, 1321 markings/sec, 125 secs
lola: 198165 markings, 254298 edges, 1487 markings/sec, 130 secs
lola: 205710 markings, 263717 edges, 1509 markings/sec, 135 secs
lola: 212752 markings, 274716 edges, 1408 markings/sec, 140 secs
lola: 220269 markings, 284134 edges, 1503 markings/sec, 145 secs
lola: 227919 markings, 293383 edges, 1530 markings/sec, 150 secs
lola: 234805 markings, 303716 edges, 1377 markings/sec, 155 secs
lola: 242055 markings, 313943 edges, 1450 markings/sec, 160 secs
lola: 248723 markings, 324119 edges, 1334 markings/sec, 165 secs
lola: 255703 markings, 333791 edges, 1396 markings/sec, 170 secs
lola: 263144 markings, 342906 edges, 1488 markings/sec, 175 secs
lola: 270069 markings, 352844 edges, 1385 markings/sec, 180 secs
lola: 277337 markings, 362537 edges, 1454 markings/sec, 185 secs
lola: 284388 markings, 372418 edges, 1410 markings/sec, 190 secs
lola: 291542 markings, 382235 edges, 1431 markings/sec, 195 secs
lola: 298900 markings, 391587 edges, 1472 markings/sec, 200 secs
lola: 305993 markings, 403415 edges, 1419 markings/sec, 205 secs
lola: 313173 markings, 412466 edges, 1436 markings/sec, 210 secs
lola: 320581 markings, 421762 edges, 1482 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p595 + p596 + p597 + p598 + p599 + p600)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 6805 markings, 6889 edges, 1361 markings/sec, 0 secs
lola: 13645 markings, 13841 edges, 1368 markings/sec, 5 secs
lola: 20504 markings, 20755 edges, 1372 markings/sec, 10 secs
lola: 27259 markings, 27564 edges, 1351 markings/sec, 15 secs
lola: 34035 markings, 34515 edges, 1355 markings/sec, 20 secs
lola: 40821 markings, 41460 edges, 1357 markings/sec, 25 secs
lola: 47721 markings, 48425 edges, 1380 markings/sec, 30 secs
lola: 54667 markings, 55429 edges, 1389 markings/sec, 35 secs
lola: 61595 markings, 62416 edges, 1386 markings/sec, 40 secs
lola: 68545 markings, 69424 edges, 1390 markings/sec, 45 secs
lola: 75465 markings, 76410 edges, 1384 markings/sec, 50 secs
lola: 82400 markings, 83405 edges, 1387 markings/sec, 55 secs
lola: 89334 markings, 90399 edges, 1387 markings/sec, 60 secs
lola: 96240 markings, 97374 edges, 1381 markings/sec, 65 secs
lola: 103174 markings, 104366 edges, 1387 markings/sec, 70 secs
lola: 110092 markings, 111352 edges, 1384 markings/sec, 75 secs
lola: 117051 markings, 118363 edges, 1392 markings/sec, 80 secs
lola: 123941 markings, 125322 edges, 1378 markings/sec, 85 secs
lola: 130729 markings, 132317 edges, 1358 markings/sec, 90 secs
lola: 137525 markings, 139280 edges, 1359 markings/sec, 95 secs
lola: 144446 markings, 146288 edges, 1384 markings/sec, 100 secs
lola: 151366 markings, 153275 edges, 1384 markings/sec, 105 secs
lola: 158294 markings, 160263 edges, 1386 markings/sec, 110 secs
lola: 165198 markings, 167236 edges, 1381 markings/sec, 115 secs
lola: 172087 markings, 174216 edges, 1378 markings/sec, 120 secs
lola: 179042 markings, 181224 edges, 1391 markings/sec, 125 secs
lola: 185907 markings, 188166 edges, 1373 markings/sec, 130 secs
lola: 192547 markings, 195131 edges, 1328 markings/sec, 135 secs
lola: 199513 markings, 202146 edges, 1393 markings/sec, 140 secs
lola: 206469 markings, 209155 edges, 1391 markings/sec, 145 secs
lola: 213372 markings, 216153 edges, 1381 markings/sec, 150 secs
lola: 220259 markings, 223106 edges, 1377 markings/sec, 155 secs
lola: 227210 markings, 230122 edges, 1390 markings/sec, 160 secs
lola: 234119 markings, 237111 edges, 1382 markings/sec, 165 secs
lola: 241075 markings, 244127 edges, 1391 markings/sec, 170 secs
lola: 247995 markings, 251120 edges, 1384 markings/sec, 175 secs
lola: 254762 markings, 258096 edges, 1353 markings/sec, 180 secs
lola: 261633 markings, 265052 edges, 1374 markings/sec, 185 secs
lola: 268560 markings, 272043 edges, 1385 markings/sec, 190 secs
lola: 275449 markings, 279035 edges, 1378 markings/sec, 195 secs
lola: 282348 markings, 286017 edges, 1380 markings/sec, 200 secs
lola: 289253 markings, 292995 edges, 1381 markings/sec, 205 secs
lola: 296170 markings, 299988 edges, 1383 markings/sec, 210 secs
lola: 303044 markings, 306942 edges, 1375 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p589 + p590 + p591 + p592 + p593 + p594)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 7786 markings, 7815 edges, 1557 markings/sec, 0 secs
lola: 15489 markings, 15561 edges, 1541 markings/sec, 5 secs
lola: 23211 markings, 23310 edges, 1544 markings/sec, 10 secs
lola: 30897 markings, 31039 edges, 1537 markings/sec, 15 secs
lola: 36647 markings, 39344 edges, 1150 markings/sec, 20 secs
lola: 41173 markings, 58894 edges, 905 markings/sec, 25 secs
lola: 45711 markings, 77283 edges, 908 markings/sec, 30 secs
lola: 50172 markings, 95219 edges, 892 markings/sec, 35 secs
lola: 54690 markings, 101965 edges, 904 markings/sec, 40 secs
lola: 59176 markings, 124172 edges, 897 markings/sec, 45 secs
lola: 63674 markings, 144803 edges, 900 markings/sec, 50 secs
lola: 68169 markings, 166729 edges, 899 markings/sec, 55 secs
lola: 72710 markings, 185803 edges, 908 markings/sec, 60 secs
lola: 77178 markings, 204209 edges, 894 markings/sec, 65 secs
lola: 81640 markings, 221997 edges, 892 markings/sec, 70 secs
lola: 86150 markings, 238926 edges, 902 markings/sec, 75 secs
lola: 90640 markings, 249545 edges, 898 markings/sec, 80 secs
lola: 95147 markings, 263407 edges, 901 markings/sec, 85 secs
lola: 99632 markings, 278066 edges, 897 markings/sec, 90 secs
lola: 104040 markings, 290099 edges, 882 markings/sec, 95 secs
lola: 108525 markings, 306103 edges, 897 markings/sec, 100 secs
lola: 112942 markings, 313605 edges, 883 markings/sec, 105 secs
lola: 117318 markings, 322835 edges, 875 markings/sec, 110 secs
lola: 121684 markings, 333053 edges, 873 markings/sec, 115 secs
lola: 126071 markings, 342557 edges, 877 markings/sec, 120 secs
lola: 130481 markings, 352286 edges, 882 markings/sec, 125 secs
lola: 134993 markings, 370589 edges, 902 markings/sec, 130 secs
lola: 139465 markings, 385204 edges, 894 markings/sec, 135 secs
lola: 143944 markings, 402547 edges, 896 markings/sec, 140 secs
lola: 148420 markings, 425074 edges, 895 markings/sec, 145 secs
lola: 152942 markings, 443140 edges, 904 markings/sec, 150 secs
lola: 157411 markings, 460409 edges, 894 markings/sec, 155 secs
lola: 161886 markings, 477363 edges, 895 markings/sec, 160 secs
lola: 166372 markings, 491253 edges, 897 markings/sec, 165 secs
lola: 170841 markings, 503989 edges, 894 markings/sec, 170 secs
lola: 175301 markings, 517312 edges, 892 markings/sec, 175 secs
lola: 179705 markings, 529147 edges, 881 markings/sec, 180 secs
lola: 184057 markings, 540593 edges, 870 markings/sec, 185 secs
lola: 188402 markings, 552816 edges, 869 markings/sec, 190 secs
lola: 192862 markings, 566626 edges, 892 markings/sec, 195 secs
lola: 197345 markings, 586182 edges, 897 markings/sec, 200 secs
lola: 201839 markings, 603830 edges, 899 markings/sec, 205 secs
lola: 206321 markings, 618672 edges, 896 markings/sec, 210 secs
lola: 210767 markings, 632543 edges, 889 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p414 + p415 + p416 + p417 + p418 + p419)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 5148 markings, 5702 edges, 1030 markings/sec, 0 secs
lola: 10239 markings, 11685 edges, 1018 markings/sec, 5 secs
lola: 15333 markings, 17764 edges, 1019 markings/sec, 10 secs
lola: 20461 markings, 23717 edges, 1026 markings/sec, 15 secs
lola: 24971 markings, 30627 edges, 902 markings/sec, 20 secs
lola: 29656 markings, 37294 edges, 937 markings/sec, 25 secs
lola: 34856 markings, 42951 edges, 1040 markings/sec, 30 secs
lola: 39933 markings, 49355 edges, 1015 markings/sec, 35 secs
lola: 44727 markings, 55926 edges, 959 markings/sec, 40 secs
lola: 49865 markings, 62047 edges, 1028 markings/sec, 45 secs
lola: 55012 markings, 68405 edges, 1029 markings/sec, 50 secs
lola: 60162 markings, 74859 edges, 1030 markings/sec, 55 secs
lola: 65003 markings, 81996 edges, 968 markings/sec, 60 secs
lola: 70018 markings, 88877 edges, 1003 markings/sec, 65 secs
lola: 75051 markings, 95491 edges, 1007 markings/sec, 70 secs
lola: 80063 markings, 101788 edges, 1002 markings/sec, 75 secs
lola: 85103 markings, 107810 edges, 1008 markings/sec, 80 secs
lola: 90098 markings, 113943 edges, 999 markings/sec, 85 secs
lola: 95276 markings, 119921 edges, 1036 markings/sec, 90 secs
lola: 100509 markings, 125815 edges, 1047 markings/sec, 95 secs
lola: 105502 markings, 132290 edges, 999 markings/sec, 100 secs
lola: 110269 markings, 138826 edges, 953 markings/sec, 105 secs
lola: 115316 markings, 145227 edges, 1009 markings/sec, 110 secs
lola: 120368 markings, 151622 edges, 1010 markings/sec, 115 secs
lola: 125558 markings, 157631 edges, 1038 markings/sec, 120 secs
lola: 130457 markings, 164325 edges, 980 markings/sec, 125 secs
lola: 135530 markings, 170660 edges, 1015 markings/sec, 130 secs
lola: 140417 markings, 177938 edges, 977 markings/sec, 135 secs
lola: 145419 markings, 184632 edges, 1000 markings/sec, 140 secs
lola: 150606 markings, 190730 edges, 1037 markings/sec, 145 secs
lola: 155367 markings, 197475 edges, 952 markings/sec, 150 secs
lola: 160539 markings, 203318 edges, 1034 markings/sec, 155 secs
lola: 165611 markings, 209696 edges, 1014 markings/sec, 160 secs
lola: 170723 markings, 215663 edges, 1022 markings/sec, 165 secs
lola: 175865 markings, 221641 edges, 1028 markings/sec, 170 secs
lola: 180669 markings, 228206 edges, 961 markings/sec, 175 secs
lola: 185822 markings, 234151 edges, 1031 markings/sec, 180 secs
lola: 190753 markings, 240661 edges, 986 markings/sec, 185 secs
lola: 195617 markings, 247787 edges, 973 markings/sec, 190 secs
lola: 200037 markings, 255734 edges, 884 markings/sec, 195 secs
lola: 205091 markings, 262022 edges, 1011 markings/sec, 200 secs
lola: 210316 markings, 268435 edges, 1045 markings/sec, 205 secs
lola: 215333 markings, 274595 edges, 1003 markings/sec, 210 secs
lola: 220434 markings, 281383 edges, 1020 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p506)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 7740 markings, 7752 edges, 1548 markings/sec, 0 secs
lola: 15470 markings, 15508 edges, 1546 markings/sec, 5 secs
lola: 23149 markings, 23208 edges, 1536 markings/sec, 10 secs
lola: 30828 markings, 30913 edges, 1536 markings/sec, 15 secs
lola: 38553 markings, 38666 edges, 1545 markings/sec, 20 secs
lola: 46249 markings, 46394 edges, 1539 markings/sec, 25 secs
lola: 53977 markings, 54154 edges, 1546 markings/sec, 30 secs
lola: 61714 markings, 61926 edges, 1547 markings/sec, 35 secs
lola: 69498 markings, 69743 edges, 1557 markings/sec, 40 secs
lola: 77208 markings, 77481 edges, 1542 markings/sec, 45 secs
lola: 84944 markings, 85254 edges, 1547 markings/sec, 50 secs
lola: 92735 markings, 93087 edges, 1558 markings/sec, 55 secs
lola: 100536 markings, 100918 edges, 1560 markings/sec, 60 secs
lola: 108380 markings, 108809 edges, 1569 markings/sec, 65 secs
lola: 116168 markings, 116626 edges, 1558 markings/sec, 70 secs
lola: 123944 markings, 124438 edges, 1555 markings/sec, 75 secs
lola: 131664 markings, 132188 edges, 1544 markings/sec, 80 secs
lola: 139480 markings, 140038 edges, 1563 markings/sec, 85 secs
lola: 147207 markings, 147798 edges, 1545 markings/sec, 90 secs
lola: 155025 markings, 155647 edges, 1564 markings/sec, 95 secs
lola: 162728 markings, 163383 edges, 1541 markings/sec, 100 secs
lola: 170447 markings, 171132 edges, 1544 markings/sec, 105 secs
lola: 178247 markings, 178977 edges, 1560 markings/sec, 110 secs
lola: 185973 markings, 186749 edges, 1545 markings/sec, 115 secs
lola: 193712 markings, 194529 edges, 1548 markings/sec, 120 secs
lola: 201467 markings, 202329 edges, 1551 markings/sec, 125 secs
lola: 209336 markings, 210244 edges, 1574 markings/sec, 130 secs
lola: 217091 markings, 218039 edges, 1551 markings/sec, 135 secs
lola: 224945 markings, 225932 edges, 1571 markings/sec, 140 secs
lola: 232681 markings, 233704 edges, 1547 markings/sec, 145 secs
lola: 240427 markings, 241489 edges, 1549 markings/sec, 150 secs
lola: 248242 markings, 249351 edges, 1563 markings/sec, 155 secs
lola: 256024 markings, 257176 edges, 1556 markings/sec, 160 secs
lola: 263858 markings, 265049 edges, 1567 markings/sec, 165 secs
lola: 271695 markings, 272936 edges, 1567 markings/sec, 170 secs
lola: 279565 markings, 280856 edges, 1574 markings/sec, 175 secs
lola: 287444 markings, 288777 edges, 1576 markings/sec, 180 secs
lola: 295325 markings, 296680 edges, 1576 markings/sec, 185 secs
lola: 303228 markings, 304610 edges, 1581 markings/sec, 190 secs
lola: 311176 markings, 312593 edges, 1590 markings/sec, 195 secs
lola: 319095 markings, 320543 edges, 1584 markings/sec, 200 secs
lola: 327011 markings, 328489 edges, 1583 markings/sec, 205 secs
lola: 334998 markings, 336513 edges, 1597 markings/sec, 210 secs
lola: 342935 markings, 344489 edges, 1587 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 5184 markings, 5215 edges, 1037 markings/sec, 0 secs
lola: 10524 markings, 10591 edges, 1068 markings/sec, 5 secs
lola: 16064 markings, 16179 edges, 1108 markings/sec, 10 secs
lola: 21246 markings, 21403 edges, 1036 markings/sec, 15 secs
lola: 26629 markings, 26823 edges, 1077 markings/sec, 20 secs
lola: 32595 markings, 32821 edges, 1193 markings/sec, 25 secs
lola: 38486 markings, 38743 edges, 1178 markings/sec, 30 secs
lola: 44362 markings, 44654 edges, 1175 markings/sec, 35 secs
lola: 50124 markings, 50450 edges, 1152 markings/sec, 40 secs
lola: 55873 markings, 56233 edges, 1150 markings/sec, 45 secs
lola: 61648 markings, 62048 edges, 1155 markings/sec, 50 secs
lola: 66858 markings, 67297 edges, 1042 markings/sec, 55 secs
lola: 72347 markings, 72858 edges, 1098 markings/sec, 60 secs
lola: 77657 markings, 78205 edges, 1062 markings/sec, 65 secs
lola: 83085 markings, 83684 edges, 1086 markings/sec, 70 secs
lola: 88925 markings, 89570 edges, 1168 markings/sec, 75 secs
lola: 94754 markings, 95486 edges, 1166 markings/sec, 80 secs
lola: 99978 markings, 100914 edges, 1045 markings/sec, 85 secs
lola: 105371 markings, 106343 edges, 1079 markings/sec, 90 secs
lola: 110967 markings, 112002 edges, 1119 markings/sec, 95 secs
lola: 115745 markings, 116999 edges, 956 markings/sec, 100 secs
lola: 119036 markings, 129628 edges, 658 markings/sec, 105 secs
lola: 122346 markings, 142247 edges, 662 markings/sec, 110 secs
lola: 125654 markings, 154288 edges, 662 markings/sec, 115 secs
lola: 128965 markings, 167023 edges, 662 markings/sec, 120 secs
lola: 132300 markings, 179422 edges, 667 markings/sec, 125 secs
lola: 135637 markings, 192424 edges, 667 markings/sec, 130 secs
lola: 138910 markings, 203914 edges, 655 markings/sec, 135 secs
lola: 142181 markings, 215949 edges, 654 markings/sec, 140 secs
lola: 145453 markings, 227157 edges, 654 markings/sec, 145 secs
lola: 148720 markings, 239536 edges, 653 markings/sec, 150 secs
lola: 152045 markings, 247191 edges, 665 markings/sec, 155 secs
lola: 155379 markings, 251191 edges, 667 markings/sec, 160 secs
lola: 158702 markings, 255182 edges, 665 markings/sec, 165 secs
lola: 161937 markings, 275933 edges, 647 markings/sec, 170 secs
lola: 165185 markings, 292695 edges, 650 markings/sec, 175 secs
lola: 168524 markings, 299061 edges, 668 markings/sec, 180 secs
lola: 171760 markings, 320255 edges, 647 markings/sec, 185 secs
lola: 175013 markings, 337197 edges, 651 markings/sec, 190 secs
lola: 178354 markings, 342937 edges, 668 markings/sec, 195 secs
lola: 181608 markings, 358468 edges, 651 markings/sec, 200 secs
lola: 184865 markings, 374025 edges, 651 markings/sec, 205 secs
lola: 188166 markings, 384377 edges, 660 markings/sec, 210 secs
lola: 191450 markings, 398554 edges, 657 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p306)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 8008 markings, 8036 edges, 1602 markings/sec, 0 secs
lola: 15998 markings, 16100 edges, 1598 markings/sec, 5 secs
lola: 24009 markings, 24174 edges, 1602 markings/sec, 10 secs
lola: 31977 markings, 32215 edges, 1594 markings/sec, 15 secs
lola: 39964 markings, 40263 edges, 1597 markings/sec, 20 secs
lola: 47925 markings, 48292 edges, 1592 markings/sec, 25 secs
lola: 55958 markings, 56382 edges, 1607 markings/sec, 30 secs
lola: 63907 markings, 64399 edges, 1590 markings/sec, 35 secs
lola: 71899 markings, 72459 edges, 1598 markings/sec, 40 secs
lola: 79865 markings, 80488 edges, 1593 markings/sec, 45 secs
lola: 87811 markings, 88500 edges, 1589 markings/sec, 50 secs
lola: 95753 markings, 96531 edges, 1588 markings/sec, 55 secs
lola: 103595 markings, 104435 edges, 1568 markings/sec, 60 secs
lola: 111439 markings, 112386 edges, 1569 markings/sec, 65 secs
lola: 119479 markings, 120501 edges, 1608 markings/sec, 70 secs
lola: 127446 markings, 128556 edges, 1593 markings/sec, 75 secs
lola: 135464 markings, 136651 edges, 1604 markings/sec, 80 secs
lola: 143469 markings, 144749 edges, 1601 markings/sec, 85 secs
lola: 151268 markings, 152624 edges, 1560 markings/sec, 90 secs
lola: 159313 markings, 160735 edges, 1609 markings/sec, 95 secs
lola: 167323 markings, 168803 edges, 1602 markings/sec, 100 secs
lola: 175293 markings, 176844 edges, 1594 markings/sec, 105 secs
lola: 183313 markings, 184918 edges, 1604 markings/sec, 110 secs
lola: 191277 markings, 192956 edges, 1593 markings/sec, 115 secs
lola: 199315 markings, 201048 edges, 1608 markings/sec, 120 secs
lola: 207263 markings, 209071 edges, 1590 markings/sec, 125 secs
lola: 215308 markings, 217170 edges, 1609 markings/sec, 130 secs
lola: 223310 markings, 225234 edges, 1600 markings/sec, 135 secs
lola: 231236 markings, 233214 edges, 1585 markings/sec, 140 secs
lola: 239194 markings, 241237 edges, 1592 markings/sec, 145 secs
lola: 247264 markings, 249391 edges, 1614 markings/sec, 150 secs
lola: 255082 markings, 257286 edges, 1564 markings/sec, 155 secs
lola: 262970 markings, 265236 edges, 1578 markings/sec, 160 secs
lola: 270989 markings, 273320 edges, 1604 markings/sec, 165 secs
lola: 279009 markings, 281398 edges, 1604 markings/sec, 170 secs
lola: 286978 markings, 289444 edges, 1594 markings/sec, 175 secs
lola: 294762 markings, 297302 edges, 1557 markings/sec, 180 secs
lola: 302795 markings, 305400 edges, 1607 markings/sec, 185 secs
lola: 310805 markings, 313586 edges, 1602 markings/sec, 190 secs
lola: 318818 markings, 321653 edges, 1603 markings/sec, 195 secs
lola: 326571 markings, 329485 edges, 1551 markings/sec, 200 secs
lola: 334598 markings, 337596 edges, 1605 markings/sec, 205 secs
lola: 342789 markings, 345850 edges, 1638 markings/sec, 210 secs
lola: 350937 markings, 354082 edges, 1630 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 6011 markings, 11862 edges, 1202 markings/sec, 0 secs
lola: 10860 markings, 29650 edges, 970 markings/sec, 5 secs
lola: 15464 markings, 48169 edges, 921 markings/sec, 10 secs
lola: 20042 markings, 66664 edges, 916 markings/sec, 15 secs
lola: 24749 markings, 83324 edges, 941 markings/sec, 20 secs
lola: 29376 markings, 100730 edges, 925 markings/sec, 25 secs
lola: 34154 markings, 118180 edges, 956 markings/sec, 30 secs
lola: 38754 markings, 136720 edges, 920 markings/sec, 35 secs
lola: 45641 markings, 148450 edges, 1377 markings/sec, 40 secs
lola: 50672 markings, 163064 edges, 1006 markings/sec, 45 secs
lola: 56480 markings, 179310 edges, 1162 markings/sec, 50 secs
lola: 62183 markings, 193451 edges, 1141 markings/sec, 55 secs
lola: 67826 markings, 208125 edges, 1129 markings/sec, 60 secs
lola: 73815 markings, 220757 edges, 1198 markings/sec, 65 secs
lola: 78753 markings, 235609 edges, 988 markings/sec, 70 secs
lola: 83446 markings, 256398 edges, 939 markings/sec, 75 secs
lola: 88660 markings, 269948 edges, 1043 markings/sec, 80 secs
lola: 93905 markings, 287660 edges, 1049 markings/sec, 85 secs
lola: 98488 markings, 306204 edges, 917 markings/sec, 90 secs
lola: 103554 markings, 320998 edges, 1013 markings/sec, 95 secs
lola: 108500 markings, 339185 edges, 989 markings/sec, 100 secs
lola: 113393 markings, 356175 edges, 979 markings/sec, 105 secs
lola: 117931 markings, 375407 edges, 908 markings/sec, 110 secs
lola: 122212 markings, 393156 edges, 856 markings/sec, 115 secs
lola: 126529 markings, 410723 edges, 863 markings/sec, 120 secs
lola: 130929 markings, 427534 edges, 880 markings/sec, 125 secs
lola: 135378 markings, 446214 edges, 890 markings/sec, 130 secs
lola: 139786 markings, 463900 edges, 882 markings/sec, 135 secs
lola: 144118 markings, 481323 edges, 866 markings/sec, 140 secs
lola: 148423 markings, 498527 edges, 861 markings/sec, 145 secs
lola: 152725 markings, 515697 edges, 860 markings/sec, 150 secs
lola: 157150 markings, 532639 edges, 885 markings/sec, 155 secs
lola: 161635 markings, 551471 edges, 897 markings/sec, 160 secs
lola: 166129 markings, 570149 edges, 899 markings/sec, 165 secs
lola: 170527 markings, 587101 edges, 880 markings/sec, 170 secs
lola: 174909 markings, 604030 edges, 876 markings/sec, 175 secs
lola: 180768 markings, 617674 edges, 1172 markings/sec, 180 secs
lola: 185850 markings, 634248 edges, 1016 markings/sec, 185 secs
lola: 190139 markings, 651841 edges, 858 markings/sec, 190 secs
lola: 194451 markings, 668652 edges, 862 markings/sec, 195 secs
lola: 198781 markings, 685940 edges, 866 markings/sec, 200 secs
lola: 203237 markings, 704844 edges, 891 markings/sec, 205 secs
lola: 207675 markings, 722344 edges, 888 markings/sec, 210 secs
lola: 212014 markings, 740012 edges, 868 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p402 + p403 + p404 + p405 + p406 + p407)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 7905 markings, 7943 edges, 1581 markings/sec, 0 secs
lola: 15921 markings, 16015 edges, 1603 markings/sec, 5 secs
lola: 23993 markings, 24139 edges, 1614 markings/sec, 10 secs
lola: 32026 markings, 32218 edges, 1607 markings/sec, 15 secs
lola: 40143 markings, 40377 edges, 1623 markings/sec, 20 secs
lola: 48242 markings, 48539 edges, 1620 markings/sec, 25 secs
lola: 56378 markings, 56728 edges, 1627 markings/sec, 30 secs
lola: 64318 markings, 64717 edges, 1588 markings/sec, 35 secs
lola: 72306 markings, 72750 edges, 1598 markings/sec, 40 secs
lola: 80219 markings, 80719 edges, 1583 markings/sec, 45 secs
lola: 87321 markings, 87868 edges, 1420 markings/sec, 50 secs
lola: 94574 markings, 95202 edges, 1451 markings/sec, 55 secs
lola: 102269 markings, 103009 edges, 1539 markings/sec, 60 secs
lola: 110005 markings, 110823 edges, 1547 markings/sec, 65 secs
lola: 117452 markings, 118380 edges, 1489 markings/sec, 70 secs
lola: 125768 markings, 126791 edges, 1663 markings/sec, 75 secs
lola: 134041 markings, 135144 edges, 1655 markings/sec, 80 secs
lola: 142577 markings, 143750 edges, 1707 markings/sec, 85 secs
lola: 150970 markings, 152204 edges, 1679 markings/sec, 90 secs
lola: 159060 markings, 160351 edges, 1618 markings/sec, 95 secs
lola: 167205 markings, 168550 edges, 1629 markings/sec, 100 secs
lola: 175424 markings, 176818 edges, 1644 markings/sec, 105 secs
lola: 183457 markings, 184895 edges, 1607 markings/sec, 110 secs
lola: 191629 markings, 193127 edges, 1634 markings/sec, 115 secs
lola: 199620 markings, 201175 edges, 1598 markings/sec, 120 secs
lola: 207747 markings, 209364 edges, 1625 markings/sec, 125 secs
lola: 215827 markings, 217498 edges, 1616 markings/sec, 130 secs
lola: 224008 markings, 225743 edges, 1636 markings/sec, 135 secs
lola: 232061 markings, 233852 edges, 1611 markings/sec, 140 secs
lola: 240175 markings, 242042 edges, 1623 markings/sec, 145 secs
lola: 248266 markings, 250191 edges, 1618 markings/sec, 150 secs
lola: 256471 markings, 258462 edges, 1641 markings/sec, 155 secs
lola: 264477 markings, 266535 edges, 1601 markings/sec, 160 secs
lola: 272513 markings, 274654 edges, 1607 markings/sec, 165 secs
lola: 280773 markings, 282985 edges, 1652 markings/sec, 170 secs
lola: 288962 markings, 291229 edges, 1638 markings/sec, 175 secs
lola: 297249 markings, 299557 edges, 1657 markings/sec, 180 secs
lola: 305607 markings, 307986 edges, 1672 markings/sec, 185 secs
lola: 314105 markings, 316548 edges, 1700 markings/sec, 190 secs
lola: 322505 markings, 325016 edges, 1680 markings/sec, 195 secs
lola: 330957 markings, 333569 edges, 1690 markings/sec, 200 secs
lola: 339354 markings, 342040 edges, 1679 markings/sec, 205 secs
lola: 347738 markings, 350486 edges, 1677 markings/sec, 210 secs
lola: 355967 markings, 358802 edges, 1646 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p240 + p241 + p242 + p243 + p244 + p245)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 8074 markings, 8108 edges, 1615 markings/sec, 0 secs
lola: 16142 markings, 16284 edges, 1614 markings/sec, 5 secs
lola: 24204 markings, 24877 edges, 1612 markings/sec, 10 secs
lola: 32194 markings, 33584 edges, 1598 markings/sec, 15 secs
lola: 40020 markings, 42558 edges, 1565 markings/sec, 20 secs
lola: 47876 markings, 51692 edges, 1571 markings/sec, 25 secs
lola: 55819 markings, 60768 edges, 1589 markings/sec, 30 secs
lola: 63906 markings, 69557 edges, 1617 markings/sec, 35 secs
lola: 71800 markings, 78334 edges, 1579 markings/sec, 40 secs
lola: 79557 markings, 87785 edges, 1551 markings/sec, 45 secs
lola: 86895 markings, 97859 edges, 1468 markings/sec, 50 secs
lola: 94930 markings, 106616 edges, 1607 markings/sec, 55 secs
lola: 102909 markings, 115667 edges, 1596 markings/sec, 60 secs
lola: 110783 markings, 124506 edges, 1575 markings/sec, 65 secs
lola: 118844 markings, 133387 edges, 1612 markings/sec, 70 secs
lola: 126834 markings, 142624 edges, 1598 markings/sec, 75 secs
lola: 134888 markings, 151873 edges, 1611 markings/sec, 80 secs
lola: 142852 markings, 161196 edges, 1593 markings/sec, 85 secs
lola: 150552 markings, 170811 edges, 1540 markings/sec, 90 secs
lola: 158323 markings, 181023 edges, 1554 markings/sec, 95 secs
lola: 166377 markings, 190718 edges, 1611 markings/sec, 100 secs
lola: 173914 markings, 200777 edges, 1507 markings/sec, 105 secs
lola: 181941 markings, 210609 edges, 1605 markings/sec, 110 secs
lola: 189734 markings, 220356 edges, 1559 markings/sec, 115 secs
lola: 197689 markings, 229762 edges, 1591 markings/sec, 120 secs
lola: 205744 markings, 239427 edges, 1611 markings/sec, 125 secs
lola: 213780 markings, 248963 edges, 1607 markings/sec, 130 secs
lola: 221617 markings, 258605 edges, 1567 markings/sec, 135 secs
lola: 229437 markings, 268869 edges, 1564 markings/sec, 140 secs
lola: 237450 markings, 278731 edges, 1603 markings/sec, 145 secs
lola: 245329 markings, 288630 edges, 1576 markings/sec, 150 secs
lola: 253206 markings, 298402 edges, 1575 markings/sec, 155 secs
lola: 261041 markings, 308445 edges, 1567 markings/sec, 160 secs
lola: 268348 markings, 318885 edges, 1461 markings/sec, 165 secs
lola: 275357 markings, 329300 edges, 1402 markings/sec, 170 secs
lola: 283263 markings, 339384 edges, 1581 markings/sec, 175 secs
lola: 290841 markings, 349705 edges, 1516 markings/sec, 180 secs
lola: 297933 markings, 360321 edges, 1418 markings/sec, 185 secs
lola: 305075 markings, 371302 edges, 1428 markings/sec, 190 secs
lola: 312756 markings, 381258 edges, 1536 markings/sec, 195 secs
lola: 320457 markings, 391184 edges, 1540 markings/sec, 200 secs
lola: 327652 markings, 401396 edges, 1439 markings/sec, 205 secs
lola: 335372 markings, 410931 edges, 1544 markings/sec, 210 secs
lola: 343385 markings, 420918 edges, 1603 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p325)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 8310 markings, 8342 edges, 1662 markings/sec, 0 secs
lola: 16624 markings, 16733 edges, 1663 markings/sec, 5 secs
lola: 24984 markings, 25157 edges, 1672 markings/sec, 10 secs
lola: 33267 markings, 33512 edges, 1657 markings/sec, 15 secs
lola: 41620 markings, 41929 edges, 1671 markings/sec, 20 secs
lola: 49916 markings, 50295 edges, 1659 markings/sec, 25 secs
lola: 58290 markings, 58731 edges, 1675 markings/sec, 30 secs
lola: 66580 markings, 67093 edges, 1658 markings/sec, 35 secs
lola: 74865 markings, 75451 edges, 1657 markings/sec, 40 secs
lola: 83188 markings, 83838 edges, 1665 markings/sec, 45 secs
lola: 91487 markings, 92209 edges, 1660 markings/sec, 50 secs
lola: 99764 markings, 100567 edges, 1655 markings/sec, 55 secs
lola: 107810 markings, 108703 edges, 1609 markings/sec, 60 secs
lola: 116084 markings, 117077 edges, 1655 markings/sec, 65 secs
lola: 124447 markings, 125520 edges, 1673 markings/sec, 70 secs
lola: 132726 markings, 133897 edges, 1656 markings/sec, 75 secs
lola: 141117 markings, 142374 edges, 1678 markings/sec, 80 secs
lola: 149247 markings, 150591 edges, 1626 markings/sec, 85 secs
lola: 157646 markings, 159057 edges, 1680 markings/sec, 90 secs
lola: 165696 markings, 167166 edges, 1610 markings/sec, 95 secs
lola: 173694 markings, 175223 edges, 1600 markings/sec, 100 secs
lola: 181574 markings, 183169 edges, 1576 markings/sec, 105 secs
lola: 189578 markings, 191232 edges, 1601 markings/sec, 110 secs
lola: 197453 markings, 199173 edges, 1575 markings/sec, 115 secs
lola: 205357 markings, 207154 edges, 1581 markings/sec, 120 secs
lola: 213319 markings, 215169 edges, 1592 markings/sec, 125 secs
lola: 221305 markings, 223211 edges, 1597 markings/sec, 130 secs
lola: 229171 markings, 231133 edges, 1573 markings/sec, 135 secs
lola: 237105 markings, 239123 edges, 1587 markings/sec, 140 secs
lola: 245071 markings, 247184 edges, 1593 markings/sec, 145 secs
lola: 252819 markings, 255011 edges, 1550 markings/sec, 150 secs
lola: 260673 markings, 262922 edges, 1571 markings/sec, 155 secs
lola: 268633 markings, 270944 edges, 1592 markings/sec, 160 secs
lola: 276559 markings, 278932 edges, 1585 markings/sec, 165 secs
lola: 284512 markings, 286941 edges, 1591 markings/sec, 170 secs
lola: 292260 markings, 294781 edges, 1550 markings/sec, 175 secs
lola: 300074 markings, 302665 edges, 1563 markings/sec, 180 secs
lola: 307879 markings, 310621 edges, 1561 markings/sec, 185 secs
lola: 315787 markings, 318592 edges, 1582 markings/sec, 190 secs
lola: 323183 markings, 326060 edges, 1479 markings/sec, 195 secs
lola: 330879 markings, 333835 edges, 1539 markings/sec, 200 secs
lola: 338734 markings, 341755 edges, 1571 markings/sec, 205 secs
lola: 346609 markings, 349718 edges, 1575 markings/sec, 210 secs
lola: 354601 markings, 357790 edges, 1598 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p240 + p241 + p242 + p243 + p244 + p245)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 7995 markings, 8029 edges, 1599 markings/sec, 0 secs
lola: 15985 markings, 16127 edges, 1598 markings/sec, 5 secs
lola: 23957 markings, 24623 edges, 1594 markings/sec, 10 secs
lola: 31876 markings, 33258 edges, 1584 markings/sec, 15 secs
lola: 39653 markings, 42052 edges, 1555 markings/sec, 20 secs
lola: 47390 markings, 51036 edges, 1547 markings/sec, 25 secs
lola: 55162 markings, 60012 edges, 1554 markings/sec, 30 secs
lola: 63108 markings, 68695 edges, 1589 markings/sec, 35 secs
lola: 70868 markings, 77392 edges, 1552 markings/sec, 40 secs
lola: 78590 markings, 86572 edges, 1544 markings/sec, 45 secs
lola: 85872 markings, 96266 edges, 1456 markings/sec, 50 secs
lola: 93596 markings, 105224 edges, 1545 markings/sec, 55 secs
lola: 101458 markings, 114113 edges, 1572 markings/sec, 60 secs
lola: 109355 markings, 122771 edges, 1579 markings/sec, 65 secs
lola: 117236 markings, 131669 edges, 1576 markings/sec, 70 secs
lola: 125164 markings, 140824 edges, 1586 markings/sec, 75 secs
lola: 133180 markings, 149726 edges, 1603 markings/sec, 80 secs
lola: 141053 markings, 159201 edges, 1575 markings/sec, 85 secs
lola: 148735 markings, 168523 edges, 1536 markings/sec, 90 secs
lola: 156418 markings, 178474 edges, 1537 markings/sec, 95 secs
lola: 164392 markings, 188210 edges, 1595 markings/sec, 100 secs
lola: 172333 markings, 197932 edges, 1588 markings/sec, 105 secs
lola: 179818 markings, 208131 edges, 1497 markings/sec, 110 secs
lola: 187798 markings, 217592 edges, 1596 markings/sec, 115 secs
lola: 195617 markings, 226841 edges, 1564 markings/sec, 120 secs
lola: 203436 markings, 236438 edges, 1564 markings/sec, 125 secs
lola: 211383 markings, 246151 edges, 1589 markings/sec, 130 secs
lola: 219406 markings, 255420 edges, 1605 markings/sec, 135 secs
lola: 227007 markings, 264862 edges, 1520 markings/sec, 140 secs
lola: 234751 markings, 275735 edges, 1549 markings/sec, 145 secs
lola: 242756 markings, 285246 edges, 1601 markings/sec, 150 secs
lola: 250547 markings, 294674 edges, 1558 markings/sec, 155 secs
lola: 258368 markings, 304447 edges, 1564 markings/sec, 160 secs
lola: 265553 markings, 315132 edges, 1437 markings/sec, 165 secs
lola: 272343 markings, 325888 edges, 1358 markings/sec, 170 secs
lola: 280275 markings, 335248 edges, 1586 markings/sec, 175 secs
lola: 288138 markings, 345317 edges, 1573 markings/sec, 180 secs
lola: 294874 markings, 356410 edges, 1347 markings/sec, 185 secs
lola: 302064 markings, 367091 edges, 1438 markings/sec, 190 secs
lola: 309590 markings, 376990 edges, 1505 markings/sec, 195 secs
lola: 317169 markings, 387061 edges, 1516 markings/sec, 200 secs
lola: 324466 markings, 397015 edges, 1459 markings/sec, 205 secs
lola: 331863 markings, 406640 edges, 1479 markings/sec, 210 secs
lola: 339756 markings, 416926 edges, 1579 markings/sec, 215 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 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494657690687

--------------------
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="PolyORBLF-COL-S06J04T06"
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/PolyORBLF-COL-S06J04T06.tgz
mv PolyORBLF-COL-S06J04T06 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 PolyORBLF-COL-S06J04T06, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r048-smll-149440869900380"
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 ;