About the Execution of LoLA for PolyORBLF-COL-S06J06T06
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
500.520 | 3539660.00 | 3546290.00 | 8675.80 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 PolyORBLF-COL-S06J06T06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869900407
=====================================================================
--------------------
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-S06J06T06-UpperBounds-0
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-1
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-15
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-2
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-3
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-4
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-5
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-6
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-7
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-8
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494669718519
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-COL-S06J06T06 @ 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: 11440/65536 symbol table entries, 3572 collisions
lola: preprocessing...
lola: finding significant places
lola: 700 places, 10740 transitions, 642 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3155 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J06T06-UpperBounds.task
lola: MAX(p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460) : MAX(p406 + p407 + p408 + p409 + p410 + p411) : MAX(p49) : MAX(p662 + p663 + p664 + p665 + p666 + p667) : MAX(p110 + p111 + p112 + p113 + p114 + p115) : MAX(p374 + p375 + p376 + p377 + p378 + p379) : MAX(p368 + p369 + p370 + p371 + p372 + p373) : MAX(p179 + p180 + p181 + p182 + p183 + p184) : MAX(p179 + p180 + p181 + p182 + p183 + p184) : MAX(p688 + p689 + p690 + p691 + p692 + p693) : MAX(p599 + p600 + p601 + p602 + p603 + p604) : MAX(p392) : MAX(p68 + p67 + p66 + p65 + p64 + p69) : MAX(p191 + p192 + p193 + p194 + p195 + p196) : MAX(p681) : MAX(p599 + p600 + p601 + p602 + p603 + p604)
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(p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 5100 markings, 8757 edges, 1020 markings/sec, 0 secs
lola: 12169 markings, 17191 edges, 1414 markings/sec, 5 secs
lola: 19495 markings, 24668 edges, 1465 markings/sec, 10 secs
lola: 26790 markings, 32122 edges, 1459 markings/sec, 15 secs
lola: 34046 markings, 39749 edges, 1451 markings/sec, 20 secs
lola: 41310 markings, 47346 edges, 1453 markings/sec, 25 secs
lola: 48552 markings, 54933 edges, 1448 markings/sec, 30 secs
lola: 55599 markings, 62166 edges, 1409 markings/sec, 35 secs
lola: 62565 markings, 69301 edges, 1393 markings/sec, 40 secs
lola: 69583 markings, 76584 edges, 1404 markings/sec, 45 secs
lola: 76540 markings, 83858 edges, 1391 markings/sec, 50 secs
lola: 83475 markings, 91174 edges, 1387 markings/sec, 55 secs
lola: 90470 markings, 98393 edges, 1399 markings/sec, 60 secs
lola: 97425 markings, 105647 edges, 1391 markings/sec, 65 secs
lola: 104360 markings, 112873 edges, 1387 markings/sec, 70 secs
lola: 111367 markings, 120132 edges, 1401 markings/sec, 75 secs
lola: 118342 markings, 127455 edges, 1395 markings/sec, 80 secs
lola: 125294 markings, 134752 edges, 1390 markings/sec, 85 secs
lola: 132224 markings, 141975 edges, 1386 markings/sec, 90 secs
lola: 139185 markings, 149224 edges, 1392 markings/sec, 95 secs
lola: 146087 markings, 156535 edges, 1380 markings/sec, 100 secs
lola: 153026 markings, 163725 edges, 1388 markings/sec, 105 secs
lola: 160048 markings, 170895 edges, 1404 markings/sec, 110 secs
lola: 167012 markings, 178142 edges, 1393 markings/sec, 115 secs
lola: 174032 markings, 185440 edges, 1404 markings/sec, 120 secs
lola: 180998 markings, 192637 edges, 1393 markings/sec, 125 secs
lola: 187944 markings, 199957 edges, 1389 markings/sec, 130 secs
lola: 194900 markings, 207234 edges, 1391 markings/sec, 135 secs
lola: 201844 markings, 214490 edges, 1389 markings/sec, 140 secs
lola: 208736 markings, 221636 edges, 1378 markings/sec, 145 secs
lola: 215744 markings, 228921 edges, 1402 markings/sec, 150 secs
lola: 222716 markings, 236123 edges, 1394 markings/sec, 155 secs
lola: 229645 markings, 243385 edges, 1386 markings/sec, 160 secs
lola: 236608 markings, 250614 edges, 1393 markings/sec, 165 secs
lola: 243614 markings, 257860 edges, 1401 markings/sec, 170 secs
lola: 250575 markings, 265168 edges, 1392 markings/sec, 175 secs
lola: 257584 markings, 272517 edges, 1402 markings/sec, 180 secs
lola: 264527 markings, 280067 edges, 1389 markings/sec, 185 secs
lola: 271478 markings, 287346 edges, 1390 markings/sec, 190 secs
lola: 278404 markings, 294562 edges, 1385 markings/sec, 195 secs
lola: 285362 markings, 301892 edges, 1392 markings/sec, 200 secs
lola: 292551 markings, 309287 edges, 1438 markings/sec, 205 secs
lola: 299768 markings, 316861 edges, 1443 markings/sec, 210 secs
lola: 307063 markings, 324640 edges, 1459 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(p406 + p407 + p408 + p409 + p410 + p411)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7533 markings, 7693 edges, 1507 markings/sec, 0 secs
lola: 15123 markings, 15646 edges, 1518 markings/sec, 5 secs
lola: 22640 markings, 23501 edges, 1503 markings/sec, 10 secs
lola: 30212 markings, 31375 edges, 1514 markings/sec, 15 secs
lola: 37791 markings, 39193 edges, 1516 markings/sec, 20 secs
lola: 45297 markings, 46949 edges, 1501 markings/sec, 25 secs
lola: 52815 markings, 54694 edges, 1504 markings/sec, 30 secs
lola: 60338 markings, 62563 edges, 1505 markings/sec, 35 secs
lola: 67797 markings, 70395 edges, 1492 markings/sec, 40 secs
lola: 75307 markings, 78242 edges, 1502 markings/sec, 45 secs
lola: 82829 markings, 86118 edges, 1504 markings/sec, 50 secs
lola: 90311 markings, 93934 edges, 1496 markings/sec, 55 secs
lola: 97784 markings, 101568 edges, 1495 markings/sec, 60 secs
lola: 105332 markings, 109507 edges, 1510 markings/sec, 65 secs
lola: 112868 markings, 117269 edges, 1507 markings/sec, 70 secs
lola: 120387 markings, 125127 edges, 1504 markings/sec, 75 secs
lola: 127833 markings, 132877 edges, 1489 markings/sec, 80 secs
lola: 135332 markings, 140764 edges, 1500 markings/sec, 85 secs
lola: 142878 markings, 148872 edges, 1509 markings/sec, 90 secs
lola: 150266 markings, 156507 edges, 1478 markings/sec, 95 secs
lola: 157786 markings, 164259 edges, 1504 markings/sec, 100 secs
lola: 165323 markings, 172188 edges, 1507 markings/sec, 105 secs
lola: 172834 markings, 180038 edges, 1502 markings/sec, 110 secs
lola: 180324 markings, 187823 edges, 1498 markings/sec, 115 secs
lola: 187854 markings, 195778 edges, 1506 markings/sec, 120 secs
lola: 195368 markings, 203663 edges, 1503 markings/sec, 125 secs
lola: 202865 markings, 211540 edges, 1499 markings/sec, 130 secs
lola: 210356 markings, 219470 edges, 1498 markings/sec, 135 secs
lola: 217851 markings, 227309 edges, 1499 markings/sec, 140 secs
lola: 225329 markings, 235021 edges, 1496 markings/sec, 145 secs
lola: 232849 markings, 242942 edges, 1504 markings/sec, 150 secs
lola: 240394 markings, 250829 edges, 1509 markings/sec, 155 secs
lola: 247938 markings, 258582 edges, 1509 markings/sec, 160 secs
lola: 255454 markings, 266478 edges, 1503 markings/sec, 165 secs
lola: 262971 markings, 274366 edges, 1503 markings/sec, 170 secs
lola: 270500 markings, 282285 edges, 1506 markings/sec, 175 secs
lola: 277984 markings, 290091 edges, 1497 markings/sec, 180 secs
lola: 285499 markings, 297981 edges, 1503 markings/sec, 185 secs
lola: 292991 markings, 305684 edges, 1498 markings/sec, 190 secs
lola: 300521 markings, 313580 edges, 1506 markings/sec, 195 secs
lola: 308001 markings, 321389 edges, 1496 markings/sec, 200 secs
lola: 315472 markings, 329148 edges, 1494 markings/sec, 205 secs
lola: 323011 markings, 336961 edges, 1508 markings/sec, 210 secs
lola: 330571 markings, 344809 edges, 1512 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(p49)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7007 markings, 7131 edges, 1401 markings/sec, 0 secs
lola: 14141 markings, 14589 edges, 1427 markings/sec, 5 secs
lola: 21215 markings, 21900 edges, 1415 markings/sec, 10 secs
lola: 28300 markings, 29301 edges, 1417 markings/sec, 15 secs
lola: 35297 markings, 36543 edges, 1399 markings/sec, 20 secs
lola: 42323 markings, 43711 edges, 1405 markings/sec, 25 secs
lola: 49364 markings, 50992 edges, 1408 markings/sec, 30 secs
lola: 56450 markings, 58386 edges, 1417 markings/sec, 35 secs
lola: 63555 markings, 65825 edges, 1421 markings/sec, 40 secs
lola: 70491 markings, 72914 edges, 1387 markings/sec, 45 secs
lola: 77522 markings, 80087 edges, 1406 markings/sec, 50 secs
lola: 84535 markings, 87276 edges, 1403 markings/sec, 55 secs
lola: 91628 markings, 94756 edges, 1419 markings/sec, 60 secs
lola: 98649 markings, 102000 edges, 1404 markings/sec, 65 secs
lola: 105744 markings, 109442 edges, 1419 markings/sec, 70 secs
lola: 112847 markings, 116881 edges, 1421 markings/sec, 75 secs
lola: 119937 markings, 124309 edges, 1418 markings/sec, 80 secs
lola: 126932 markings, 131611 edges, 1399 markings/sec, 85 secs
lola: 133906 markings, 138781 edges, 1395 markings/sec, 90 secs
lola: 140883 markings, 146024 edges, 1395 markings/sec, 95 secs
lola: 147929 markings, 153350 edges, 1409 markings/sec, 100 secs
lola: 154944 markings, 160653 edges, 1403 markings/sec, 105 secs
lola: 161992 markings, 168018 edges, 1410 markings/sec, 110 secs
lola: 169051 markings, 175450 edges, 1412 markings/sec, 115 secs
lola: 176003 markings, 182626 edges, 1390 markings/sec, 120 secs
lola: 183048 markings, 190037 edges, 1409 markings/sec, 125 secs
lola: 190094 markings, 197351 edges, 1409 markings/sec, 130 secs
lola: 197125 markings, 204734 edges, 1406 markings/sec, 135 secs
lola: 204121 markings, 211992 edges, 1399 markings/sec, 140 secs
lola: 211016 markings, 219078 edges, 1379 markings/sec, 145 secs
lola: 218008 markings, 226264 edges, 1398 markings/sec, 150 secs
lola: 225080 markings, 233684 edges, 1414 markings/sec, 155 secs
lola: 232048 markings, 240949 edges, 1394 markings/sec, 160 secs
lola: 239078 markings, 248265 edges, 1406 markings/sec, 165 secs
lola: 246098 markings, 255552 edges, 1404 markings/sec, 170 secs
lola: 253190 markings, 262987 edges, 1418 markings/sec, 175 secs
lola: 260249 markings, 270383 edges, 1412 markings/sec, 180 secs
lola: 267292 markings, 277796 edges, 1409 markings/sec, 185 secs
lola: 274274 markings, 285072 edges, 1396 markings/sec, 190 secs
lola: 281296 markings, 292409 edges, 1404 markings/sec, 195 secs
lola: 288338 markings, 299702 edges, 1408 markings/sec, 200 secs
lola: 295405 markings, 307101 edges, 1413 markings/sec, 205 secs
lola: 302226 markings, 314200 edges, 1364 markings/sec, 210 secs
lola: 309169 markings, 321384 edges, 1389 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(p662 + p663 + p664 + p665 + p666 + p667)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7600 markings, 7631 edges, 1520 markings/sec, 0 secs
lola: 15230 markings, 15280 edges, 1526 markings/sec, 5 secs
lola: 22908 markings, 22977 edges, 1536 markings/sec, 10 secs
lola: 30978 markings, 31068 edges, 1614 markings/sec, 15 secs
lola: 38986 markings, 39092 edges, 1602 markings/sec, 20 secs
lola: 46977 markings, 47121 edges, 1598 markings/sec, 25 secs
lola: 54971 markings, 55497 edges, 1599 markings/sec, 30 secs
lola: 63021 markings, 63567 edges, 1610 markings/sec, 35 secs
lola: 71067 markings, 71634 edges, 1609 markings/sec, 40 secs
lola: 79066 markings, 79670 edges, 1600 markings/sec, 45 secs
lola: 87108 markings, 87732 edges, 1608 markings/sec, 50 secs
lola: 95193 markings, 95841 edges, 1617 markings/sec, 55 secs
lola: 103214 markings, 103882 edges, 1604 markings/sec, 60 secs
lola: 111248 markings, 112269 edges, 1607 markings/sec, 65 secs
lola: 119270 markings, 120330 edges, 1604 markings/sec, 70 secs
lola: 127360 markings, 128551 edges, 1618 markings/sec, 75 secs
lola: 135440 markings, 136689 edges, 1616 markings/sec, 80 secs
lola: 143364 markings, 144735 edges, 1585 markings/sec, 85 secs
lola: 151239 markings, 152690 edges, 1575 markings/sec, 90 secs
lola: 159323 markings, 160798 edges, 1617 markings/sec, 95 secs
lola: 167336 markings, 168970 edges, 1603 markings/sec, 100 secs
lola: 175259 markings, 176910 edges, 1585 markings/sec, 105 secs
lola: 183140 markings, 184828 edges, 1576 markings/sec, 110 secs
lola: 191053 markings, 192823 edges, 1583 markings/sec, 115 secs
lola: 198974 markings, 201114 edges, 1584 markings/sec, 120 secs
lola: 206827 markings, 209166 edges, 1571 markings/sec, 125 secs
lola: 214760 markings, 217155 edges, 1587 markings/sec, 130 secs
lola: 222716 markings, 225136 edges, 1591 markings/sec, 135 secs
lola: 230693 markings, 233167 edges, 1595 markings/sec, 140 secs
lola: 238658 markings, 241168 edges, 1593 markings/sec, 145 secs
lola: 246549 markings, 249098 edges, 1578 markings/sec, 150 secs
lola: 254460 markings, 257045 edges, 1582 markings/sec, 155 secs
lola: 262453 markings, 265222 edges, 1599 markings/sec, 160 secs
lola: 270528 markings, 273319 edges, 1615 markings/sec, 165 secs
lola: 278550 markings, 281432 edges, 1604 markings/sec, 170 secs
lola: 286592 markings, 289558 edges, 1608 markings/sec, 175 secs
lola: 294618 markings, 298132 edges, 1605 markings/sec, 180 secs
lola: 302531 markings, 306096 edges, 1583 markings/sec, 185 secs
lola: 310520 markings, 314106 edges, 1598 markings/sec, 190 secs
lola: 318474 markings, 322169 edges, 1591 markings/sec, 195 secs
lola: 326413 markings, 330176 edges, 1588 markings/sec, 200 secs
lola: 334341 markings, 338131 edges, 1586 markings/sec, 205 secs
lola: 342227 markings, 346052 edges, 1577 markings/sec, 210 secs
lola: 350218 markings, 354098 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 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p110 + p111 + p112 + p113 + p114 + p115)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7489 markings, 8228 edges, 1498 markings/sec, 0 secs
lola: 14586 markings, 19393 edges, 1419 markings/sec, 5 secs
lola: 22139 markings, 27760 edges, 1511 markings/sec, 10 secs
lola: 29520 markings, 38729 edges, 1476 markings/sec, 15 secs
lola: 36993 markings, 47472 edges, 1495 markings/sec, 20 secs
lola: 44204 markings, 56789 edges, 1442 markings/sec, 25 secs
lola: 51518 markings, 66524 edges, 1463 markings/sec, 30 secs
lola: 58962 markings, 78053 edges, 1489 markings/sec, 35 secs
lola: 66375 markings, 87930 edges, 1483 markings/sec, 40 secs
lola: 73834 markings, 98248 edges, 1492 markings/sec, 45 secs
lola: 81272 markings, 108905 edges, 1488 markings/sec, 50 secs
lola: 88514 markings, 118968 edges, 1448 markings/sec, 55 secs
lola: 95694 markings, 129477 edges, 1436 markings/sec, 60 secs
lola: 103085 markings, 140036 edges, 1478 markings/sec, 65 secs
lola: 110451 markings, 149906 edges, 1473 markings/sec, 70 secs
lola: 117955 markings, 159531 edges, 1501 markings/sec, 75 secs
lola: 125349 markings, 168244 edges, 1479 markings/sec, 80 secs
lola: 132488 markings, 178920 edges, 1428 markings/sec, 85 secs
lola: 139959 markings, 189506 edges, 1494 markings/sec, 90 secs
lola: 147322 markings, 199401 edges, 1473 markings/sec, 95 secs
lola: 154700 markings, 210521 edges, 1476 markings/sec, 100 secs
lola: 162234 markings, 219262 edges, 1507 markings/sec, 105 secs
lola: 169628 markings, 229723 edges, 1479 markings/sec, 110 secs
lola: 176704 markings, 239380 edges, 1415 markings/sec, 115 secs
lola: 184085 markings, 248512 edges, 1476 markings/sec, 120 secs
lola: 191577 markings, 257904 edges, 1498 markings/sec, 125 secs
lola: 198932 markings, 268575 edges, 1471 markings/sec, 130 secs
lola: 205989 markings, 279271 edges, 1411 markings/sec, 135 secs
lola: 213243 markings, 288748 edges, 1451 markings/sec, 140 secs
lola: 220441 markings, 298731 edges, 1440 markings/sec, 145 secs
lola: 227961 markings, 306989 edges, 1504 markings/sec, 150 secs
lola: 235489 markings, 315439 edges, 1506 markings/sec, 155 secs
lola: 242686 markings, 325317 edges, 1439 markings/sec, 160 secs
lola: 250021 markings, 335256 edges, 1467 markings/sec, 165 secs
lola: 257395 markings, 346566 edges, 1475 markings/sec, 170 secs
lola: 264750 markings, 356609 edges, 1471 markings/sec, 175 secs
lola: 272211 markings, 366635 edges, 1492 markings/sec, 180 secs
lola: 279682 markings, 374809 edges, 1494 markings/sec, 185 secs
lola: 286785 markings, 385502 edges, 1421 markings/sec, 190 secs
lola: 294299 markings, 394425 edges, 1503 markings/sec, 195 secs
lola: 301725 markings, 405289 edges, 1485 markings/sec, 200 secs
lola: 309106 markings, 415262 edges, 1476 markings/sec, 205 secs
lola: 316454 markings, 425862 edges, 1470 markings/sec, 210 secs
lola: 323695 markings, 435263 edges, 1448 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(p374 + p375 + p376 + p377 + p378 + p379)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 6846 markings, 6928 edges, 1369 markings/sec, 0 secs
lola: 13605 markings, 13751 edges, 1352 markings/sec, 5 secs
lola: 20293 markings, 20531 edges, 1338 markings/sec, 10 secs
lola: 26967 markings, 27304 edges, 1335 markings/sec, 15 secs
lola: 33677 markings, 34078 edges, 1342 markings/sec, 20 secs
lola: 40617 markings, 41100 edges, 1388 markings/sec, 25 secs
lola: 47558 markings, 48149 edges, 1388 markings/sec, 30 secs
lola: 54752 markings, 55452 edges, 1439 markings/sec, 35 secs
lola: 61966 markings, 62749 edges, 1443 markings/sec, 40 secs
lola: 69180 markings, 70032 edges, 1443 markings/sec, 45 secs
lola: 76350 markings, 77284 edges, 1434 markings/sec, 50 secs
lola: 83550 markings, 84583 edges, 1440 markings/sec, 55 secs
lola: 90811 markings, 91940 edges, 1452 markings/sec, 60 secs
lola: 98064 markings, 99293 edges, 1451 markings/sec, 65 secs
lola: 105304 markings, 106621 edges, 1448 markings/sec, 70 secs
lola: 112517 markings, 113905 edges, 1443 markings/sec, 75 secs
lola: 119724 markings, 121184 edges, 1441 markings/sec, 80 secs
lola: 126945 markings, 128499 edges, 1444 markings/sec, 85 secs
lola: 134170 markings, 135829 edges, 1445 markings/sec, 90 secs
lola: 141391 markings, 143186 edges, 1444 markings/sec, 95 secs
lola: 148481 markings, 150494 edges, 1418 markings/sec, 100 secs
lola: 155591 markings, 157690 edges, 1422 markings/sec, 105 secs
lola: 162703 markings, 164892 edges, 1422 markings/sec, 110 secs
lola: 169739 markings, 171991 edges, 1407 markings/sec, 115 secs
lola: 176759 markings, 179098 edges, 1404 markings/sec, 120 secs
lola: 183875 markings, 186323 edges, 1423 markings/sec, 125 secs
lola: 190922 markings, 193443 edges, 1409 markings/sec, 130 secs
lola: 197966 markings, 200559 edges, 1409 markings/sec, 135 secs
lola: 205003 markings, 207781 edges, 1407 markings/sec, 140 secs
lola: 212066 markings, 214904 edges, 1413 markings/sec, 145 secs
lola: 219113 markings, 222047 edges, 1409 markings/sec, 150 secs
lola: 226242 markings, 229311 edges, 1426 markings/sec, 155 secs
lola: 233346 markings, 236553 edges, 1421 markings/sec, 160 secs
lola: 240333 markings, 243649 edges, 1397 markings/sec, 165 secs
lola: 247339 markings, 250733 edges, 1401 markings/sec, 170 secs
lola: 254409 markings, 257899 edges, 1414 markings/sec, 175 secs
lola: 261467 markings, 265064 edges, 1412 markings/sec, 180 secs
lola: 268522 markings, 272230 edges, 1411 markings/sec, 185 secs
lola: 275621 markings, 279676 edges, 1420 markings/sec, 190 secs
lola: 282648 markings, 286786 edges, 1405 markings/sec, 195 secs
lola: 289676 markings, 293889 edges, 1406 markings/sec, 200 secs
lola: 296740 markings, 301101 edges, 1413 markings/sec, 205 secs
lola: 303824 markings, 308318 edges, 1417 markings/sec, 210 secs
lola: 310802 markings, 315657 edges, 1396 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(p368 + p369 + p370 + p371 + p372 + p373)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 8026 markings, 8119 edges, 1605 markings/sec, 0 secs
lola: 16101 markings, 16213 edges, 1615 markings/sec, 5 secs
lola: 24124 markings, 24252 edges, 1605 markings/sec, 10 secs
lola: 32323 markings, 32470 edges, 1640 markings/sec, 15 secs
lola: 40390 markings, 40553 edges, 1613 markings/sec, 20 secs
lola: 48426 markings, 48605 edges, 1607 markings/sec, 25 secs
lola: 56519 markings, 57007 edges, 1619 markings/sec, 30 secs
lola: 64726 markings, 65603 edges, 1641 markings/sec, 35 secs
lola: 72866 markings, 73838 edges, 1628 markings/sec, 40 secs
lola: 81005 markings, 82111 edges, 1628 markings/sec, 45 secs
lola: 89132 markings, 90257 edges, 1625 markings/sec, 50 secs
lola: 97206 markings, 98483 edges, 1615 markings/sec, 55 secs
lola: 105316 markings, 106780 edges, 1622 markings/sec, 60 secs
lola: 113420 markings, 114901 edges, 1621 markings/sec, 65 secs
lola: 121602 markings, 123101 edges, 1636 markings/sec, 70 secs
lola: 129715 markings, 131236 edges, 1623 markings/sec, 75 secs
lola: 137788 markings, 139326 edges, 1615 markings/sec, 80 secs
lola: 145939 markings, 147502 edges, 1630 markings/sec, 85 secs
lola: 154077 markings, 155659 edges, 1628 markings/sec, 90 secs
lola: 162176 markings, 163984 edges, 1620 markings/sec, 95 secs
lola: 170178 markings, 172003 edges, 1600 markings/sec, 100 secs
lola: 178130 markings, 180242 edges, 1590 markings/sec, 105 secs
lola: 186156 markings, 188313 edges, 1605 markings/sec, 110 secs
lola: 194320 markings, 196704 edges, 1633 markings/sec, 115 secs
lola: 202363 markings, 204763 edges, 1609 markings/sec, 120 secs
lola: 210422 markings, 212843 edges, 1612 markings/sec, 125 secs
lola: 218649 markings, 221340 edges, 1645 markings/sec, 130 secs
lola: 226685 markings, 229477 edges, 1607 markings/sec, 135 secs
lola: 234681 markings, 237729 edges, 1599 markings/sec, 140 secs
lola: 242615 markings, 245764 edges, 1587 markings/sec, 145 secs
lola: 250758 markings, 254077 edges, 1629 markings/sec, 150 secs
lola: 258881 markings, 262354 edges, 1625 markings/sec, 155 secs
lola: 267077 markings, 270712 edges, 1639 markings/sec, 160 secs
lola: 275125 markings, 278956 edges, 1610 markings/sec, 165 secs
lola: 283144 markings, 286993 edges, 1604 markings/sec, 170 secs
lola: 291088 markings, 294955 edges, 1589 markings/sec, 175 secs
lola: 299119 markings, 303072 edges, 1606 markings/sec, 180 secs
lola: 307064 markings, 311081 edges, 1589 markings/sec, 185 secs
lola: 314971 markings, 319005 edges, 1581 markings/sec, 190 secs
lola: 322845 markings, 326897 edges, 1575 markings/sec, 195 secs
lola: 330689 markings, 335062 edges, 1569 markings/sec, 200 secs
lola: 338621 markings, 343011 edges, 1586 markings/sec, 205 secs
lola: 346680 markings, 351220 edges, 1612 markings/sec, 210 secs
lola: 354670 markings, 359343 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 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p179 + p180 + p181 + p182 + p183 + p184)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7199 markings, 7246 edges, 1440 markings/sec, 0 secs
lola: 14496 markings, 14558 edges, 1459 markings/sec, 5 secs
lola: 21791 markings, 21870 edges, 1459 markings/sec, 10 secs
lola: 29090 markings, 29185 edges, 1460 markings/sec, 15 secs
lola: 36526 markings, 36642 edges, 1487 markings/sec, 20 secs
lola: 43885 markings, 44017 edges, 1472 markings/sec, 25 secs
lola: 51197 markings, 51346 edges, 1462 markings/sec, 30 secs
lola: 58463 markings, 58642 edges, 1453 markings/sec, 35 secs
lola: 65759 markings, 65953 edges, 1459 markings/sec, 40 secs
lola: 73169 markings, 73381 edges, 1482 markings/sec, 45 secs
lola: 80585 markings, 80822 edges, 1483 markings/sec, 50 secs
lola: 88039 markings, 88321 edges, 1491 markings/sec, 55 secs
lola: 95503 markings, 95800 edges, 1493 markings/sec, 60 secs
lola: 102875 markings, 103186 edges, 1474 markings/sec, 65 secs
lola: 110213 markings, 110540 edges, 1468 markings/sec, 70 secs
lola: 117537 markings, 117916 edges, 1465 markings/sec, 75 secs
lola: 124964 markings, 125357 edges, 1485 markings/sec, 80 secs
lola: 132343 markings, 132750 edges, 1476 markings/sec, 85 secs
lola: 139734 markings, 140214 edges, 1478 markings/sec, 90 secs
lola: 147194 markings, 147693 edges, 1492 markings/sec, 95 secs
lola: 154688 markings, 155206 edges, 1499 markings/sec, 100 secs
lola: 162031 markings, 162582 edges, 1469 markings/sec, 105 secs
lola: 169507 markings, 170076 edges, 1495 markings/sec, 110 secs
lola: 176933 markings, 177517 edges, 1485 markings/sec, 115 secs
lola: 184414 markings, 185045 edges, 1496 markings/sec, 120 secs
lola: 191860 markings, 192536 edges, 1489 markings/sec, 125 secs
lola: 199317 markings, 200020 edges, 1491 markings/sec, 130 secs
lola: 206815 markings, 207534 edges, 1500 markings/sec, 135 secs
lola: 214140 markings, 214892 edges, 1465 markings/sec, 140 secs
lola: 221541 markings, 222308 edges, 1480 markings/sec, 145 secs
lola: 228858 markings, 229644 edges, 1463 markings/sec, 150 secs
lola: 236129 markings, 236955 edges, 1454 markings/sec, 155 secs
lola: 243533 markings, 244380 edges, 1481 markings/sec, 160 secs
lola: 250982 markings, 251848 edges, 1490 markings/sec, 165 secs
lola: 258460 markings, 259347 edges, 1496 markings/sec, 170 secs
lola: 265920 markings, 266824 edges, 1492 markings/sec, 175 secs
lola: 273282 markings, 274264 edges, 1472 markings/sec, 180 secs
lola: 280624 markings, 281642 edges, 1468 markings/sec, 185 secs
lola: 287995 markings, 289028 edges, 1474 markings/sec, 190 secs
lola: 295337 markings, 296391 edges, 1468 markings/sec, 195 secs
lola: 302779 markings, 303852 edges, 1488 markings/sec, 200 secs
lola: 310259 markings, 311379 edges, 1496 markings/sec, 205 secs
lola: 317553 markings, 318743 edges, 1459 markings/sec, 210 secs
lola: 324915 markings, 326180 edges, 1472 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(p179 + p180 + p181 + p182 + p183 + p184)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 6869 markings, 6916 edges, 1374 markings/sec, 0 secs
lola: 13826 markings, 13887 edges, 1391 markings/sec, 5 secs
lola: 21059 markings, 21137 edges, 1447 markings/sec, 10 secs
lola: 28018 markings, 28112 edges, 1392 markings/sec, 15 secs
lola: 35317 markings, 35430 edges, 1460 markings/sec, 20 secs
lola: 42599 markings, 42728 edges, 1456 markings/sec, 25 secs
lola: 49851 markings, 49995 edges, 1450 markings/sec, 30 secs
lola: 57061 markings, 57238 edges, 1442 markings/sec, 35 secs
lola: 64351 markings, 64543 edges, 1458 markings/sec, 40 secs
lola: 71653 markings, 71863 edges, 1460 markings/sec, 45 secs
lola: 78907 markings, 79130 edges, 1451 markings/sec, 50 secs
lola: 86191 markings, 86468 edges, 1457 markings/sec, 55 secs
lola: 93468 markings, 93761 edges, 1455 markings/sec, 60 secs
lola: 100711 markings, 101018 edges, 1449 markings/sec, 65 secs
lola: 107885 markings, 108206 edges, 1435 markings/sec, 70 secs
lola: 114794 markings, 115139 edges, 1382 markings/sec, 75 secs
lola: 122015 markings, 122402 edges, 1444 markings/sec, 80 secs
lola: 129251 markings, 129652 edges, 1447 markings/sec, 85 secs
lola: 136483 markings, 136933 edges, 1446 markings/sec, 90 secs
lola: 143714 markings, 144202 edges, 1446 markings/sec, 95 secs
lola: 151054 markings, 151560 edges, 1468 markings/sec, 100 secs
lola: 158281 markings, 158819 edges, 1445 markings/sec, 105 secs
lola: 165524 markings, 166082 edges, 1449 markings/sec, 110 secs
lola: 172828 markings, 173403 edges, 1461 markings/sec, 115 secs
lola: 180100 markings, 180689 edges, 1454 markings/sec, 120 secs
lola: 187146 markings, 187809 edges, 1409 markings/sec, 125 secs
lola: 194423 markings, 195107 edges, 1455 markings/sec, 130 secs
lola: 201479 markings, 202185 edges, 1411 markings/sec, 135 secs
lola: 208775 markings, 209511 edges, 1459 markings/sec, 140 secs
lola: 215955 markings, 216711 edges, 1436 markings/sec, 145 secs
lola: 223146 markings, 223919 edges, 1438 markings/sec, 150 secs
lola: 230288 markings, 231076 edges, 1428 markings/sec, 155 secs
lola: 237365 markings, 238193 edges, 1415 markings/sec, 160 secs
lola: 244537 markings, 245386 edges, 1434 markings/sec, 165 secs
lola: 251724 markings, 252596 edges, 1437 markings/sec, 170 secs
lola: 258945 markings, 259832 edges, 1444 markings/sec, 175 secs
lola: 266151 markings, 267057 edges, 1441 markings/sec, 180 secs
lola: 273262 markings, 274244 edges, 1422 markings/sec, 185 secs
lola: 280361 markings, 281379 edges, 1420 markings/sec, 190 secs
lola: 287275 markings, 288306 edges, 1383 markings/sec, 195 secs
lola: 294385 markings, 295436 edges, 1422 markings/sec, 200 secs
lola: 301588 markings, 302658 edges, 1441 markings/sec, 205 secs
lola: 308823 markings, 309935 edges, 1447 markings/sec, 210 secs
lola: 315907 markings, 317085 edges, 1417 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(p688 + p689 + p690 + p691 + p692 + p693)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7466 markings, 7553 edges, 1493 markings/sec, 0 secs
lola: 14907 markings, 15091 edges, 1488 markings/sec, 5 secs
lola: 22337 markings, 22606 edges, 1486 markings/sec, 10 secs
lola: 29700 markings, 30066 edges, 1473 markings/sec, 15 secs
lola: 37113 markings, 37576 edges, 1483 markings/sec, 20 secs
lola: 44461 markings, 45008 edges, 1470 markings/sec, 25 secs
lola: 51858 markings, 52491 edges, 1479 markings/sec, 30 secs
lola: 59289 markings, 60019 edges, 1486 markings/sec, 35 secs
lola: 66675 markings, 67489 edges, 1477 markings/sec, 40 secs
lola: 74070 markings, 74982 edges, 1479 markings/sec, 45 secs
lola: 81513 markings, 82535 edges, 1489 markings/sec, 50 secs
lola: 88937 markings, 90043 edges, 1485 markings/sec, 55 secs
lola: 96405 markings, 97596 edges, 1494 markings/sec, 60 secs
lola: 103898 markings, 105187 edges, 1499 markings/sec, 65 secs
lola: 111359 markings, 112733 edges, 1492 markings/sec, 70 secs
lola: 118844 markings, 120303 edges, 1497 markings/sec, 75 secs
lola: 126297 markings, 127866 edges, 1491 markings/sec, 80 secs
lola: 133735 markings, 135389 edges, 1488 markings/sec, 85 secs
lola: 141177 markings, 142915 edges, 1488 markings/sec, 90 secs
lola: 148633 markings, 150469 edges, 1491 markings/sec, 95 secs
lola: 156126 markings, 158048 edges, 1499 markings/sec, 100 secs
lola: 163608 markings, 165626 edges, 1496 markings/sec, 105 secs
lola: 171070 markings, 173186 edges, 1492 markings/sec, 110 secs
lola: 178502 markings, 180715 edges, 1486 markings/sec, 115 secs
lola: 185932 markings, 188242 edges, 1486 markings/sec, 120 secs
lola: 193356 markings, 195751 edges, 1485 markings/sec, 125 secs
lola: 200815 markings, 203296 edges, 1492 markings/sec, 130 secs
lola: 208291 markings, 210894 edges, 1495 markings/sec, 135 secs
lola: 215589 markings, 218672 edges, 1460 markings/sec, 140 secs
lola: 223071 markings, 226238 edges, 1496 markings/sec, 145 secs
lola: 230507 markings, 233772 edges, 1487 markings/sec, 150 secs
lola: 237986 markings, 241335 edges, 1496 markings/sec, 155 secs
lola: 245491 markings, 248938 edges, 1501 markings/sec, 160 secs
lola: 252923 markings, 256468 edges, 1486 markings/sec, 165 secs
lola: 260378 markings, 264154 edges, 1491 markings/sec, 170 secs
lola: 267879 markings, 271780 edges, 1500 markings/sec, 175 secs
lola: 275322 markings, 279494 edges, 1489 markings/sec, 180 secs
lola: 282737 markings, 287181 edges, 1483 markings/sec, 185 secs
lola: 290115 markings, 294913 edges, 1476 markings/sec, 190 secs
lola: 297572 markings, 302716 edges, 1491 markings/sec, 195 secs
lola: 305014 markings, 310359 edges, 1488 markings/sec, 200 secs
lola: 312309 markings, 318103 edges, 1459 markings/sec, 205 secs
lola: 319665 markings, 325577 edges, 1471 markings/sec, 210 secs
lola: 327038 markings, 333035 edges, 1475 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(p599 + p600 + p601 + p602 + p603 + p604)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 8209 markings, 8268 edges, 1642 markings/sec, 0 secs
lola: 16468 markings, 16543 edges, 1652 markings/sec, 5 secs
lola: 24697 markings, 24789 edges, 1646 markings/sec, 10 secs
lola: 32892 markings, 33279 edges, 1639 markings/sec, 15 secs
lola: 41237 markings, 41736 edges, 1669 markings/sec, 20 secs
lola: 49593 markings, 50110 edges, 1671 markings/sec, 25 secs
lola: 57902 markings, 58437 edges, 1662 markings/sec, 30 secs
lola: 66304 markings, 67094 edges, 1680 markings/sec, 35 secs
lola: 74606 markings, 75500 edges, 1660 markings/sec, 40 secs
lola: 82864 markings, 83777 edges, 1652 markings/sec, 45 secs
lola: 91154 markings, 92088 edges, 1658 markings/sec, 50 secs
lola: 99569 markings, 100523 edges, 1683 markings/sec, 55 secs
lola: 107857 markings, 108831 edges, 1658 markings/sec, 60 secs
lola: 116169 markings, 117162 edges, 1662 markings/sec, 65 secs
lola: 124476 markings, 125626 edges, 1661 markings/sec, 70 secs
lola: 132732 markings, 133901 edges, 1651 markings/sec, 75 secs
lola: 140942 markings, 142132 edges, 1642 markings/sec, 80 secs
lola: 149174 markings, 150456 edges, 1646 markings/sec, 85 secs
lola: 157532 markings, 158904 edges, 1672 markings/sec, 90 secs
lola: 165885 markings, 167277 edges, 1671 markings/sec, 95 secs
lola: 174173 markings, 175587 edges, 1658 markings/sec, 100 secs
lola: 182531 markings, 183976 edges, 1672 markings/sec, 105 secs
lola: 190901 markings, 192445 edges, 1674 markings/sec, 110 secs
lola: 199161 markings, 200779 edges, 1652 markings/sec, 115 secs
lola: 207411 markings, 209216 edges, 1650 markings/sec, 120 secs
lola: 215605 markings, 217431 edges, 1639 markings/sec, 125 secs
lola: 223915 markings, 225761 edges, 1662 markings/sec, 130 secs
lola: 232135 markings, 233999 edges, 1644 markings/sec, 135 secs
lola: 240350 markings, 242233 edges, 1643 markings/sec, 140 secs
lola: 248451 markings, 250503 edges, 1620 markings/sec, 145 secs
lola: 256103 markings, 258404 edges, 1530 markings/sec, 150 secs
lola: 264300 markings, 266634 edges, 1639 markings/sec, 155 secs
lola: 272496 markings, 274854 edges, 1639 markings/sec, 160 secs
lola: 280723 markings, 283100 edges, 1645 markings/sec, 165 secs
lola: 289001 markings, 291545 edges, 1656 markings/sec, 170 secs
lola: 296795 markings, 299365 edges, 1559 markings/sec, 175 secs
lola: 304923 markings, 307511 edges, 1626 markings/sec, 180 secs
lola: 312955 markings, 315687 edges, 1606 markings/sec, 185 secs
lola: 321060 markings, 323813 edges, 1621 markings/sec, 190 secs
lola: 329174 markings, 332083 edges, 1623 markings/sec, 195 secs
lola: 337338 markings, 340265 edges, 1633 markings/sec, 200 secs
lola: 345528 markings, 348600 edges, 1638 markings/sec, 205 secs
lola: 353761 markings, 356895 edges, 1647 markings/sec, 210 secs
lola: 361907 markings, 365339 edges, 1629 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(p392)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7953 markings, 8046 edges, 1591 markings/sec, 0 secs
lola: 15970 markings, 16082 edges, 1603 markings/sec, 5 secs
lola: 23933 markings, 24060 edges, 1593 markings/sec, 10 secs
lola: 32087 markings, 32233 edges, 1631 markings/sec, 15 secs
lola: 40139 markings, 40301 edges, 1610 markings/sec, 20 secs
lola: 48172 markings, 48351 edges, 1607 markings/sec, 25 secs
lola: 56246 markings, 56734 edges, 1615 markings/sec, 30 secs
lola: 64429 markings, 65261 edges, 1637 markings/sec, 35 secs
lola: 72557 markings, 73500 edges, 1626 markings/sec, 40 secs
lola: 80693 markings, 81799 edges, 1627 markings/sec, 45 secs
lola: 88811 markings, 89935 edges, 1624 markings/sec, 50 secs
lola: 96880 markings, 98129 edges, 1614 markings/sec, 55 secs
lola: 104975 markings, 106438 edges, 1619 markings/sec, 60 secs
lola: 113063 markings, 114542 edges, 1618 markings/sec, 65 secs
lola: 121224 markings, 122722 edges, 1632 markings/sec, 70 secs
lola: 129326 markings, 130846 edges, 1620 markings/sec, 75 secs
lola: 137377 markings, 138915 edges, 1610 markings/sec, 80 secs
lola: 145519 markings, 147080 edges, 1628 markings/sec, 85 secs
lola: 153628 markings, 155208 edges, 1622 markings/sec, 90 secs
lola: 161717 markings, 163522 edges, 1618 markings/sec, 95 secs
lola: 169698 markings, 171522 edges, 1596 markings/sec, 100 secs
lola: 177638 markings, 179710 edges, 1588 markings/sec, 105 secs
lola: 185631 markings, 187786 edges, 1599 markings/sec, 110 secs
lola: 193795 markings, 196177 edges, 1633 markings/sec, 115 secs
lola: 201830 markings, 204229 edges, 1607 markings/sec, 120 secs
lola: 209870 markings, 212291 edges, 1608 markings/sec, 125 secs
lola: 218097 markings, 220787 edges, 1645 markings/sec, 130 secs
lola: 226146 markings, 228936 edges, 1610 markings/sec, 135 secs
lola: 234218 markings, 237266 edges, 1614 markings/sec, 140 secs
lola: 242291 markings, 245440 edges, 1615 markings/sec, 145 secs
lola: 250439 markings, 253740 edges, 1630 markings/sec, 150 secs
lola: 258583 markings, 262055 edges, 1629 markings/sec, 155 secs
lola: 266794 markings, 270429 edges, 1642 markings/sec, 160 secs
lola: 274727 markings, 278556 edges, 1587 markings/sec, 165 secs
lola: 282282 markings, 286129 edges, 1511 markings/sec, 170 secs
lola: 290305 markings, 294168 edges, 1605 markings/sec, 175 secs
lola: 298381 markings, 302303 edges, 1615 markings/sec, 180 secs
lola: 306435 markings, 310451 edges, 1611 markings/sec, 185 secs
lola: 314426 markings, 318460 edges, 1598 markings/sec, 190 secs
lola: 322402 markings, 326453 edges, 1595 markings/sec, 195 secs
lola: 330343 markings, 334715 edges, 1588 markings/sec, 200 secs
lola: 338374 markings, 342763 edges, 1606 markings/sec, 205 secs
lola: 346524 markings, 351062 edges, 1630 markings/sec, 210 secs
lola: 354582 markings, 359255 edges, 1612 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(p68 + p67 + p66 + p65 + p64 + p69)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 6651 markings, 9509 edges, 1330 markings/sec, 0 secs
lola: 13634 markings, 16590 edges, 1397 markings/sec, 5 secs
lola: 20605 markings, 23626 edges, 1394 markings/sec, 10 secs
lola: 27577 markings, 30698 edges, 1394 markings/sec, 15 secs
lola: 34633 markings, 37853 edges, 1411 markings/sec, 20 secs
lola: 41627 markings, 44907 edges, 1399 markings/sec, 25 secs
lola: 48618 markings, 51959 edges, 1398 markings/sec, 30 secs
lola: 55617 markings, 59568 edges, 1400 markings/sec, 35 secs
lola: 62653 markings, 66703 edges, 1407 markings/sec, 40 secs
lola: 69652 markings, 73766 edges, 1400 markings/sec, 45 secs
lola: 76610 markings, 83531 edges, 1392 markings/sec, 50 secs
lola: 83608 markings, 90602 edges, 1400 markings/sec, 55 secs
lola: 90689 markings, 97779 edges, 1416 markings/sec, 60 secs
lola: 97776 markings, 104960 edges, 1417 markings/sec, 65 secs
lola: 104846 markings, 112084 edges, 1414 markings/sec, 70 secs
lola: 111918 markings, 121932 edges, 1414 markings/sec, 75 secs
lola: 118990 markings, 129675 edges, 1414 markings/sec, 80 secs
lola: 126077 markings, 137406 edges, 1417 markings/sec, 85 secs
lola: 133183 markings, 144641 edges, 1421 markings/sec, 90 secs
lola: 140298 markings, 152322 edges, 1423 markings/sec, 95 secs
lola: 147366 markings, 159481 edges, 1414 markings/sec, 100 secs
lola: 154460 markings, 166712 edges, 1419 markings/sec, 105 secs
lola: 161521 markings, 176637 edges, 1412 markings/sec, 110 secs
lola: 168612 markings, 184393 edges, 1418 markings/sec, 115 secs
lola: 175669 markings, 191501 edges, 1411 markings/sec, 120 secs
lola: 182743 markings, 198637 edges, 1415 markings/sec, 125 secs
lola: 189815 markings, 205791 edges, 1414 markings/sec, 130 secs
lola: 196897 markings, 216250 edges, 1416 markings/sec, 135 secs
lola: 203957 markings, 223931 edges, 1412 markings/sec, 140 secs
lola: 211032 markings, 232879 edges, 1415 markings/sec, 145 secs
lola: 218079 markings, 240998 edges, 1409 markings/sec, 150 secs
lola: 225179 markings, 250622 edges, 1420 markings/sec, 155 secs
lola: 232312 markings, 258816 edges, 1427 markings/sec, 160 secs
lola: 239351 markings, 267212 edges, 1408 markings/sec, 165 secs
lola: 246355 markings, 274319 edges, 1401 markings/sec, 170 secs
lola: 253370 markings, 281416 edges, 1403 markings/sec, 175 secs
lola: 260347 markings, 288492 edges, 1395 markings/sec, 180 secs
lola: 267355 markings, 299508 edges, 1402 markings/sec, 185 secs
lola: 274340 markings, 308772 edges, 1397 markings/sec, 190 secs
lola: 281345 markings, 316408 edges, 1401 markings/sec, 195 secs
lola: 287981 markings, 323136 edges, 1327 markings/sec, 200 secs
lola: 294939 markings, 330175 edges, 1392 markings/sec, 205 secs
lola: 301908 markings, 337207 edges, 1394 markings/sec, 210 secs
lola: 308736 markings, 346842 edges, 1366 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(p191 + p192 + p193 + p194 + p195 + p196)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7752 markings, 7845 edges, 1550 markings/sec, 0 secs
lola: 15877 markings, 15988 edges, 1625 markings/sec, 5 secs
lola: 23905 markings, 24032 edges, 1606 markings/sec, 10 secs
lola: 31802 markings, 31946 edges, 1579 markings/sec, 15 secs
lola: 39918 markings, 40080 edges, 1623 markings/sec, 20 secs
lola: 48029 markings, 48208 edges, 1622 markings/sec, 25 secs
lola: 56176 markings, 56664 edges, 1629 markings/sec, 30 secs
lola: 64432 markings, 65264 edges, 1651 markings/sec, 35 secs
lola: 72637 markings, 73598 edges, 1641 markings/sec, 40 secs
lola: 80845 markings, 81951 edges, 1642 markings/sec, 45 secs
lola: 89037 markings, 90162 edges, 1638 markings/sec, 50 secs
lola: 97178 markings, 98445 edges, 1628 markings/sec, 55 secs
lola: 105343 markings, 106807 edges, 1633 markings/sec, 60 secs
lola: 113507 markings, 114989 edges, 1633 markings/sec, 65 secs
lola: 121749 markings, 123249 edges, 1648 markings/sec, 70 secs
lola: 129918 markings, 131440 edges, 1634 markings/sec, 75 secs
lola: 138044 markings, 139583 edges, 1625 markings/sec, 80 secs
lola: 146259 markings, 147822 edges, 1643 markings/sec, 85 secs
lola: 154457 markings, 156039 edges, 1640 markings/sec, 90 secs
lola: 162598 markings, 164406 edges, 1628 markings/sec, 95 secs
lola: 170646 markings, 172473 edges, 1610 markings/sec, 100 secs
lola: 178653 markings, 180789 edges, 1601 markings/sec, 105 secs
lola: 186768 markings, 188942 edges, 1623 markings/sec, 110 secs
lola: 194985 markings, 197371 edges, 1643 markings/sec, 115 secs
lola: 203083 markings, 205485 edges, 1620 markings/sec, 120 secs
lola: 211218 markings, 213641 edges, 1627 markings/sec, 125 secs
lola: 219479 markings, 222171 edges, 1652 markings/sec, 130 secs
lola: 227600 markings, 230441 edges, 1624 markings/sec, 135 secs
lola: 235745 markings, 238796 edges, 1629 markings/sec, 140 secs
lola: 243877 markings, 247028 edges, 1626 markings/sec, 145 secs
lola: 252123 markings, 255579 edges, 1649 markings/sec, 150 secs
lola: 260262 markings, 263739 edges, 1628 markings/sec, 155 secs
lola: 268575 markings, 272348 edges, 1663 markings/sec, 160 secs
lola: 276649 markings, 280483 edges, 1615 markings/sec, 165 secs
lola: 284723 markings, 288576 edges, 1615 markings/sec, 170 secs
lola: 292750 markings, 296620 edges, 1605 markings/sec, 175 secs
lola: 300893 markings, 304896 edges, 1629 markings/sec, 180 secs
lola: 308881 markings, 312901 edges, 1598 markings/sec, 185 secs
lola: 316854 markings, 320893 edges, 1595 markings/sec, 190 secs
lola: 324800 markings, 328856 edges, 1589 markings/sec, 195 secs
lola: 332759 markings, 337135 edges, 1592 markings/sec, 200 secs
lola: 340800 markings, 345199 edges, 1608 markings/sec, 205 secs
lola: 348966 markings, 353626 edges, 1633 markings/sec, 210 secs
lola: 357024 markings, 361703 edges, 1612 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(p681)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 4826 markings, 16031 edges, 965 markings/sec, 0 secs
lola: 9620 markings, 32160 edges, 959 markings/sec, 5 secs
lola: 14416 markings, 48269 edges, 959 markings/sec, 10 secs
lola: 19219 markings, 64322 edges, 961 markings/sec, 15 secs
lola: 24013 markings, 79121 edges, 959 markings/sec, 20 secs
lola: 28768 markings, 94650 edges, 951 markings/sec, 25 secs
lola: 33514 markings, 110119 edges, 949 markings/sec, 30 secs
lola: 38269 markings, 125634 edges, 951 markings/sec, 35 secs
lola: 43080 markings, 141083 edges, 962 markings/sec, 40 secs
lola: 47932 markings, 152287 edges, 970 markings/sec, 45 secs
lola: 52669 markings, 162605 edges, 947 markings/sec, 50 secs
lola: 57480 markings, 175917 edges, 962 markings/sec, 55 secs
lola: 62327 markings, 189493 edges, 969 markings/sec, 60 secs
lola: 67178 markings, 205595 edges, 970 markings/sec, 65 secs
lola: 72014 markings, 222970 edges, 967 markings/sec, 70 secs
lola: 76848 markings, 240198 edges, 967 markings/sec, 75 secs
lola: 81683 markings, 257515 edges, 967 markings/sec, 80 secs
lola: 86587 markings, 272248 edges, 981 markings/sec, 85 secs
lola: 91544 markings, 282809 edges, 991 markings/sec, 90 secs
lola: 96501 markings, 292610 edges, 991 markings/sec, 95 secs
lola: 101466 markings, 302353 edges, 993 markings/sec, 100 secs
lola: 106433 markings, 311862 edges, 993 markings/sec, 105 secs
lola: 111387 markings, 321685 edges, 991 markings/sec, 110 secs
lola: 116338 markings, 331135 edges, 990 markings/sec, 115 secs
lola: 121298 markings, 340588 edges, 992 markings/sec, 120 secs
lola: 126260 markings, 349996 edges, 992 markings/sec, 125 secs
lola: 131215 markings, 359857 edges, 991 markings/sec, 130 secs
lola: 136170 markings, 369489 edges, 991 markings/sec, 135 secs
lola: 140948 markings, 379688 edges, 956 markings/sec, 140 secs
lola: 145583 markings, 388641 edges, 927 markings/sec, 145 secs
lola: 150237 markings, 397009 edges, 931 markings/sec, 150 secs
lola: 154902 markings, 405201 edges, 933 markings/sec, 155 secs
lola: 159558 markings, 413483 edges, 931 markings/sec, 160 secs
lola: 164230 markings, 421383 edges, 934 markings/sec, 165 secs
lola: 168898 markings, 429696 edges, 934 markings/sec, 170 secs
lola: 173576 markings, 437906 edges, 936 markings/sec, 175 secs
lola: 178336 markings, 446434 edges, 952 markings/sec, 180 secs
lola: 183042 markings, 456186 edges, 941 markings/sec, 185 secs
lola: 187760 markings, 465736 edges, 944 markings/sec, 190 secs
lola: 192477 markings, 474884 edges, 943 markings/sec, 195 secs
lola: 197201 markings, 484117 edges, 945 markings/sec, 200 secs
lola: 201912 markings, 493451 edges, 942 markings/sec, 205 secs
lola: 206634 markings, 502445 edges, 944 markings/sec, 210 secs
lola: 211361 markings, 511369 edges, 945 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(p599 + p600 + p601 + p602 + p603 + p604)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 8178 markings, 8237 edges, 1636 markings/sec, 0 secs
lola: 16402 markings, 16477 edges, 1645 markings/sec, 5 secs
lola: 24602 markings, 24693 edges, 1640 markings/sec, 10 secs
lola: 32752 markings, 33139 edges, 1630 markings/sec, 15 secs
lola: 41050 markings, 41548 edges, 1660 markings/sec, 20 secs
lola: 49376 markings, 49893 edges, 1665 markings/sec, 25 secs
lola: 57646 markings, 58181 edges, 1654 markings/sec, 30 secs
lola: 66013 markings, 66787 edges, 1673 markings/sec, 35 secs
lola: 74284 markings, 75178 edges, 1654 markings/sec, 40 secs
lola: 82518 markings, 83430 edges, 1647 markings/sec, 45 secs
lola: 90798 markings, 91732 edges, 1656 markings/sec, 50 secs
lola: 99188 markings, 100140 edges, 1678 markings/sec, 55 secs
lola: 107283 markings, 108256 edges, 1619 markings/sec, 60 secs
lola: 115174 markings, 116165 edges, 1578 markings/sec, 65 secs
lola: 123077 markings, 124211 edges, 1581 markings/sec, 70 secs
lola: 131014 markings, 132176 edges, 1587 markings/sec, 75 secs
lola: 138853 markings, 140040 edges, 1568 markings/sec, 80 secs
lola: 146737 markings, 147942 edges, 1577 markings/sec, 85 secs
lola: 154798 markings, 156166 edges, 1612 markings/sec, 90 secs
lola: 162756 markings, 164142 edges, 1592 markings/sec, 95 secs
lola: 170791 markings, 172198 edges, 1607 markings/sec, 100 secs
lola: 178762 markings, 180191 edges, 1594 markings/sec, 105 secs
lola: 186724 markings, 188178 edges, 1592 markings/sec, 110 secs
lola: 194712 markings, 196320 edges, 1598 markings/sec, 115 secs
lola: 202586 markings, 204381 edges, 1575 markings/sec, 120 secs
lola: 210476 markings, 212288 edges, 1578 markings/sec, 125 secs
lola: 218287 markings, 220123 edges, 1562 markings/sec, 130 secs
lola: 226265 markings, 228116 edges, 1596 markings/sec, 135 secs
lola: 234336 markings, 236205 edges, 1614 markings/sec, 140 secs
lola: 242215 markings, 244101 edges, 1576 markings/sec, 145 secs
lola: 249925 markings, 252096 edges, 1542 markings/sec, 150 secs
lola: 257767 markings, 260070 edges, 1568 markings/sec, 155 secs
lola: 265679 markings, 268016 edges, 1582 markings/sec, 160 secs
lola: 273596 markings, 275956 edges, 1583 markings/sec, 165 secs
lola: 281509 markings, 283898 edges, 1583 markings/sec, 170 secs
lola: 289491 markings, 292039 edges, 1596 markings/sec, 175 secs
lola: 297307 markings, 299879 edges, 1563 markings/sec, 180 secs
lola: 305154 markings, 307742 edges, 1569 markings/sec, 185 secs
lola: 312877 markings, 315609 edges, 1545 markings/sec, 190 secs
lola: 320666 markings, 323419 edges, 1558 markings/sec, 195 secs
lola: 328496 markings, 331404 edges, 1566 markings/sec, 200 secs
lola: 336372 markings, 339295 edges, 1575 markings/sec, 205 secs
lola: 344224 markings, 347294 edges, 1570 markings/sec, 210 secs
lola: 352175 markings, 355268 edges, 1590 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-S06J06T06-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494673258179
--------------------
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-S06J06T06"
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-S06J06T06.tgz
mv PolyORBLF-COL-S06J06T06 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-S06J06T06, 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-149440869900407"
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 ;