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

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

=== Now, execution of the tool begins

BK_START 1494732736903


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-PT-S06J06T04 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 7660/65536 symbol table entries, 4125 collisions
lola: preprocessing...
lola: finding significant places
lola: 506 places, 7154 transitions, 452 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2111 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J06T04-UpperBounds.task
lola: MAX(MarkerWrite) : MAX(NotifyEventEndOfCheckSourcesB_1 + NotifyEventEndOfCheckSourcesB_2 + NotifyEventEndOfCheckSourcesB_3 + NotifyEventEndOfCheckSourcesB_4) : MAX(P_1725_0 + P_1725_1 + P_1725_2 + P_1725_3 + P_1725_4 + P_1725_5 + P_1725_6) : MAX(cJobCnt) : MAX(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4) : MAX(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4) : MAX(P_1717) : MAX(PlaceSources_1 + PlaceSources_2 + PlaceSources_3 + PlaceSources_4 + PlaceSources_5 + PlaceSources_6) : MAX(EnablePollingE_1 + EnablePollingE_2 + EnablePollingE_3 + EnablePollingE_4) : MAX(DisablePollingB_4_5 + DisablePollingB_4_4 + DisablePollingB_4_3 + DisablePollingB_4_2 + DisablePollingB_4_1 + DisablePollingB_1_1 + DisablePollingB_1_2 + DisablePollingB_1_3 + DisablePollingB_1_4 + DisablePollingB_1_5 + DisablePollingB_1_6 + DisablePollingB_3_6 + DisablePollingB_3_5 + DisablePollingB_3_4 + DisablePollingB_3_3 + DisablePollingB_3_2 + DisablePollingB_3_1 + DisablePollingB_2_1 + DisablePollingB_2_2 + DisablePollingB_2_3 + DisablePollingB_2_4 + DisablePollingB_2_5 + DisablePollingB_2_6 + DisablePollingB_4_6) : MAX(cBlockedTasks) : MAX(DisablePollingE_3_1 + DisablePollingE_3_2 + DisablePollingE_3_3 + DisablePollingE_3_4 + DisablePollingE_3_5 + DisablePollingE_3_6 + DisablePollingE_4_1 + DisablePollingE_4_2 + DisablePollingE_4_3 + DisablePollingE_4_4 + DisablePollingE_4_5 + DisablePollingE_4_6 + DisablePollingE_2_6 + DisablePollingE_2_5 + DisablePollingE_2_4 + DisablePollingE_2_3 + DisablePollingE_2_2 + DisablePollingE_2_1 + DisablePollingE_1_6 + DisablePollingE_1_5 + DisablePollingE_1_4 + DisablePollingE_1_3 + DisablePollingE_1_2 + DisablePollingE_1_1) : MAX(nyo_1 + nyo_2 + nyo_3 + nyo_4) : MAX(P_1113_3 + P_1113_2 + P_1113_1 + P_1113_4) : MAX(P_1724_0 + P_1724_1 + P_1724_2 + P_1724_3 + P_1724_4 + P_1724_5 + P_1724_6) : MAX(MarkerWrite)
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(MarkerWrite)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 12166 markings, 12654 edges, 2433 markings/sec, 0 secs
lola: 24336 markings, 25293 edges, 2434 markings/sec, 5 secs
lola: 36450 markings, 37955 edges, 2423 markings/sec, 10 secs
lola: 48479 markings, 50386 edges, 2406 markings/sec, 15 secs
lola: 60477 markings, 62814 edges, 2400 markings/sec, 20 secs
lola: 72494 markings, 75389 edges, 2403 markings/sec, 25 secs
lola: 84635 markings, 88065 edges, 2428 markings/sec, 30 secs
lola: 96546 markings, 100732 edges, 2382 markings/sec, 35 secs
lola: 108644 markings, 113396 edges, 2420 markings/sec, 40 secs
lola: 120665 markings, 126080 edges, 2404 markings/sec, 45 secs
lola: 132640 markings, 138738 edges, 2395 markings/sec, 50 secs
lola: 144776 markings, 151360 edges, 2427 markings/sec, 55 secs
lola: 156822 markings, 163873 edges, 2409 markings/sec, 60 secs
lola: 168824 markings, 176398 edges, 2400 markings/sec, 65 secs
lola: 180864 markings, 188860 edges, 2408 markings/sec, 70 secs
lola: 192887 markings, 201422 edges, 2405 markings/sec, 75 secs
lola: 204991 markings, 213931 edges, 2421 markings/sec, 80 secs
lola: 217005 markings, 226440 edges, 2403 markings/sec, 85 secs
lola: 229090 markings, 238964 edges, 2417 markings/sec, 90 secs
lola: 241201 markings, 251562 edges, 2422 markings/sec, 95 secs
lola: 253236 markings, 264207 edges, 2407 markings/sec, 100 secs
lola: 265263 markings, 276826 edges, 2405 markings/sec, 105 secs
lola: 277301 markings, 289486 edges, 2408 markings/sec, 110 secs
lola: 289270 markings, 302191 edges, 2394 markings/sec, 115 secs
lola: 301331 markings, 314838 edges, 2412 markings/sec, 120 secs
lola: 313338 markings, 327299 edges, 2401 markings/sec, 125 secs
lola: 325456 markings, 340116 edges, 2424 markings/sec, 130 secs
lola: 337468 markings, 352729 edges, 2402 markings/sec, 135 secs
lola: 349464 markings, 365236 edges, 2399 markings/sec, 140 secs
lola: 361535 markings, 377695 edges, 2414 markings/sec, 145 secs
lola: 373689 markings, 390392 edges, 2431 markings/sec, 150 secs
lola: 385794 markings, 403167 edges, 2421 markings/sec, 155 secs
lola: 397946 markings, 416033 edges, 2430 markings/sec, 160 secs
lola: 410119 markings, 428883 edges, 2435 markings/sec, 165 secs
lola: 421683 markings, 441242 edges, 2313 markings/sec, 170 secs
lola: 433838 markings, 453893 edges, 2431 markings/sec, 175 secs
lola: 445993 markings, 466743 edges, 2431 markings/sec, 180 secs
lola: 457987 markings, 479280 edges, 2399 markings/sec, 185 secs
lola: 470105 markings, 492036 edges, 2424 markings/sec, 190 secs
lola: 482184 markings, 504889 edges, 2416 markings/sec, 195 secs
lola: 494260 markings, 517869 edges, 2415 markings/sec, 200 secs
lola: 506474 markings, 530635 edges, 2443 markings/sec, 205 secs
lola: 518627 markings, 543429 edges, 2431 markings/sec, 210 secs
lola: 530702 markings, 556212 edges, 2415 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(NotifyEventEndOfCheckSourcesB_1 + NotifyEventEndOfCheckSourcesB_2 + NotifyEventEndOfCheckSourcesB_3 + NotifyEventEndOfCheckSourcesB_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 9132 markings, 24465 edges, 1826 markings/sec, 0 secs
lola: 21076 markings, 37994 edges, 2389 markings/sec, 5 secs
lola: 33288 markings, 50354 edges, 2442 markings/sec, 10 secs
lola: 45546 markings, 62733 edges, 2452 markings/sec, 15 secs
lola: 57764 markings, 75121 edges, 2444 markings/sec, 20 secs
lola: 69927 markings, 87442 edges, 2433 markings/sec, 25 secs
lola: 82157 markings, 99877 edges, 2446 markings/sec, 30 secs
lola: 94338 markings, 112253 edges, 2436 markings/sec, 35 secs
lola: 106514 markings, 124612 edges, 2435 markings/sec, 40 secs
lola: 118737 markings, 136993 edges, 2445 markings/sec, 45 secs
lola: 130978 markings, 149377 edges, 2448 markings/sec, 50 secs
lola: 143174 markings, 161713 edges, 2439 markings/sec, 55 secs
lola: 155384 markings, 174177 edges, 2442 markings/sec, 60 secs
lola: 167478 markings, 186455 edges, 2419 markings/sec, 65 secs
lola: 179567 markings, 198780 edges, 2418 markings/sec, 70 secs
lola: 191816 markings, 211233 edges, 2450 markings/sec, 75 secs
lola: 204088 markings, 223622 edges, 2454 markings/sec, 80 secs
lola: 216333 markings, 236141 edges, 2449 markings/sec, 85 secs
lola: 228560 markings, 248624 edges, 2445 markings/sec, 90 secs
lola: 240816 markings, 261066 edges, 2451 markings/sec, 95 secs
lola: 253102 markings, 273588 edges, 2457 markings/sec, 100 secs
lola: 265341 markings, 285988 edges, 2448 markings/sec, 105 secs
lola: 277584 markings, 298540 edges, 2449 markings/sec, 110 secs
lola: 289890 markings, 311045 edges, 2461 markings/sec, 115 secs
lola: 302119 markings, 323487 edges, 2446 markings/sec, 120 secs
lola: 314338 markings, 335860 edges, 2444 markings/sec, 125 secs
lola: 326517 markings, 348393 edges, 2436 markings/sec, 130 secs
lola: 338652 markings, 360819 edges, 2427 markings/sec, 135 secs
lola: 350813 markings, 373329 edges, 2432 markings/sec, 140 secs
lola: 363008 markings, 385843 edges, 2439 markings/sec, 145 secs
lola: 375136 markings, 398241 edges, 2426 markings/sec, 150 secs
lola: 387289 markings, 410630 edges, 2431 markings/sec, 155 secs
lola: 399463 markings, 422999 edges, 2435 markings/sec, 160 secs
lola: 411536 markings, 435311 edges, 2415 markings/sec, 165 secs
lola: 423431 markings, 447406 edges, 2379 markings/sec, 170 secs
lola: 435263 markings, 459487 edges, 2366 markings/sec, 175 secs
lola: 447219 markings, 471605 edges, 2391 markings/sec, 180 secs
lola: 458974 markings, 483716 edges, 2351 markings/sec, 185 secs
lola: 470772 markings, 495863 edges, 2360 markings/sec, 190 secs
lola: 482564 markings, 507926 edges, 2358 markings/sec, 195 secs
lola: 494343 markings, 519998 edges, 2356 markings/sec, 200 secs
lola: 506117 markings, 532088 edges, 2355 markings/sec, 205 secs
lola: 517774 markings, 544083 edges, 2331 markings/sec, 210 secs
lola: 529526 markings, 556215 edges, 2350 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(P_1725_0 + P_1725_1 + P_1725_2 + P_1725_3 + P_1725_4 + P_1725_5 + P_1725_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 12113 markings, 12601 edges, 2423 markings/sec, 0 secs
lola: 24235 markings, 25191 edges, 2424 markings/sec, 5 secs
lola: 36376 markings, 37881 edges, 2428 markings/sec, 10 secs
lola: 48442 markings, 50349 edges, 2413 markings/sec, 15 secs
lola: 60489 markings, 62829 edges, 2409 markings/sec, 20 secs
lola: 72461 markings, 75356 edges, 2394 markings/sec, 25 secs
lola: 84537 markings, 87956 edges, 2415 markings/sec, 30 secs
lola: 96442 markings, 100628 edges, 2381 markings/sec, 35 secs
lola: 108587 markings, 113337 edges, 2429 markings/sec, 40 secs
lola: 120638 markings, 126053 edges, 2410 markings/sec, 45 secs
lola: 132651 markings, 138749 edges, 2403 markings/sec, 50 secs
lola: 144819 markings, 151403 edges, 2434 markings/sec, 55 secs
lola: 156894 markings, 163945 edges, 2415 markings/sec, 60 secs
lola: 168927 markings, 176502 edges, 2407 markings/sec, 65 secs
lola: 181004 markings, 189017 edges, 2415 markings/sec, 70 secs
lola: 193048 markings, 201583 edges, 2409 markings/sec, 75 secs
lola: 205186 markings, 214131 edges, 2428 markings/sec, 80 secs
lola: 217221 markings, 226657 edges, 2407 markings/sec, 85 secs
lola: 229340 markings, 239215 edges, 2424 markings/sec, 90 secs
lola: 241474 markings, 251835 edges, 2427 markings/sec, 95 secs
lola: 253540 markings, 264528 edges, 2413 markings/sec, 100 secs
lola: 265610 markings, 277191 edges, 2414 markings/sec, 105 secs
lola: 277677 markings, 289878 edges, 2413 markings/sec, 110 secs
lola: 289681 markings, 302637 edges, 2401 markings/sec, 115 secs
lola: 301773 markings, 315312 edges, 2418 markings/sec, 120 secs
lola: 313823 markings, 327811 edges, 2410 markings/sec, 125 secs
lola: 325976 markings, 340652 edges, 2431 markings/sec, 130 secs
lola: 338008 markings, 353271 edges, 2406 markings/sec, 135 secs
lola: 350053 markings, 365848 edges, 2409 markings/sec, 140 secs
lola: 362076 markings, 378249 edges, 2405 markings/sec, 145 secs
lola: 374128 markings, 390865 edges, 2410 markings/sec, 150 secs
lola: 386147 markings, 403552 edges, 2404 markings/sec, 155 secs
lola: 398208 markings, 416313 edges, 2412 markings/sec, 160 secs
lola: 410294 markings, 429071 edges, 2417 markings/sec, 165 secs
lola: 422175 markings, 441748 edges, 2376 markings/sec, 170 secs
lola: 434266 markings, 454357 edges, 2418 markings/sec, 175 secs
lola: 446348 markings, 467121 edges, 2416 markings/sec, 180 secs
lola: 458268 markings, 479585 edges, 2384 markings/sec, 185 secs
lola: 470315 markings, 492246 edges, 2409 markings/sec, 190 secs
lola: 482310 markings, 505032 edges, 2399 markings/sec, 195 secs
lola: 494317 markings, 517926 edges, 2401 markings/sec, 200 secs
lola: 506441 markings, 530602 edges, 2425 markings/sec, 205 secs
lola: 518523 markings, 543323 edges, 2416 markings/sec, 210 secs
lola: 530538 markings, 556048 edges, 2403 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(cJobCnt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 8942 markings, 27070 edges, 1788 markings/sec, 0 secs
lola: 17960 markings, 53964 edges, 1804 markings/sec, 5 secs
lola: 27038 markings, 79103 edges, 1816 markings/sec, 10 secs
lola: 36088 markings, 104908 edges, 1810 markings/sec, 15 secs
lola: 45131 markings, 131303 edges, 1809 markings/sec, 20 secs
lola: 54343 markings, 154271 edges, 1842 markings/sec, 25 secs
lola: 64165 markings, 178973 edges, 1964 markings/sec, 30 secs
lola: 73574 markings, 204891 edges, 1882 markings/sec, 35 secs
lola: 83094 markings, 229308 edges, 1904 markings/sec, 40 secs
lola: 92557 markings, 253523 edges, 1893 markings/sec, 45 secs
lola: 102319 markings, 276230 edges, 1952 markings/sec, 50 secs
lola: 111408 markings, 300748 edges, 1818 markings/sec, 55 secs
lola: 120980 markings, 324419 edges, 1914 markings/sec, 60 secs
lola: 130251 markings, 346464 edges, 1854 markings/sec, 65 secs
lola: 139341 markings, 372789 edges, 1818 markings/sec, 70 secs
lola: 148946 markings, 395680 edges, 1921 markings/sec, 75 secs
lola: 158260 markings, 419747 edges, 1863 markings/sec, 80 secs
lola: 168562 markings, 442048 edges, 2060 markings/sec, 85 secs
lola: 179207 markings, 460956 edges, 2129 markings/sec, 90 secs
lola: 189955 markings, 478986 edges, 2150 markings/sec, 95 secs
lola: 199935 markings, 497694 edges, 1996 markings/sec, 100 secs
lola: 210843 markings, 516575 edges, 2182 markings/sec, 105 secs
lola: 222603 markings, 537060 edges, 2352 markings/sec, 110 secs
lola: 233282 markings, 556094 edges, 2136 markings/sec, 115 secs
lola: 243516 markings, 576575 edges, 2047 markings/sec, 120 secs
lola: 253533 markings, 595179 edges, 2003 markings/sec, 125 secs
lola: 264420 markings, 614150 edges, 2177 markings/sec, 130 secs
lola: 275060 markings, 634981 edges, 2128 markings/sec, 135 secs
lola: 286510 markings, 655907 edges, 2290 markings/sec, 140 secs
lola: 298356 markings, 677124 edges, 2369 markings/sec, 145 secs
lola: 310652 markings, 695253 edges, 2459 markings/sec, 150 secs
lola: 322402 markings, 715246 edges, 2350 markings/sec, 155 secs
lola: 334284 markings, 734583 edges, 2376 markings/sec, 160 secs
lola: 345506 markings, 755170 edges, 2244 markings/sec, 165 secs
lola: 358074 markings, 772856 edges, 2514 markings/sec, 170 secs
lola: 370176 markings, 793066 edges, 2420 markings/sec, 175 secs
lola: 382285 markings, 812521 edges, 2422 markings/sec, 180 secs
lola: 395203 markings, 832770 edges, 2584 markings/sec, 185 secs
lola: 407856 markings, 853098 edges, 2531 markings/sec, 190 secs
lola: 419126 markings, 872185 edges, 2254 markings/sec, 195 secs
lola: 431217 markings, 890761 edges, 2418 markings/sec, 200 secs
lola: 443210 markings, 911241 edges, 2399 markings/sec, 205 secs
lola: 455903 markings, 931185 edges, 2539 markings/sec, 210 secs
lola: 468160 markings, 949485 edges, 2451 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(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 12005 markings, 13361 edges, 2401 markings/sec, 0 secs
lola: 24130 markings, 26516 edges, 2425 markings/sec, 5 secs
lola: 36257 markings, 40304 edges, 2425 markings/sec, 10 secs
lola: 48319 markings, 53926 edges, 2412 markings/sec, 15 secs
lola: 60461 markings, 67032 edges, 2428 markings/sec, 20 secs
lola: 72511 markings, 81293 edges, 2410 markings/sec, 25 secs
lola: 84453 markings, 94918 edges, 2388 markings/sec, 30 secs
lola: 96450 markings, 108025 edges, 2399 markings/sec, 35 secs
lola: 108567 markings, 121254 edges, 2423 markings/sec, 40 secs
lola: 120601 markings, 134763 edges, 2407 markings/sec, 45 secs
lola: 132520 markings, 148101 edges, 2384 markings/sec, 50 secs
lola: 144652 markings, 162133 edges, 2426 markings/sec, 55 secs
lola: 156602 markings, 175943 edges, 2390 markings/sec, 60 secs
lola: 167613 markings, 195842 edges, 2202 markings/sec, 65 secs
lola: 179220 markings, 212788 edges, 2321 markings/sec, 70 secs
lola: 189152 markings, 237292 edges, 1986 markings/sec, 75 secs
lola: 201222 markings, 251637 edges, 2414 markings/sec, 80 secs
lola: 212999 markings, 265682 edges, 2355 markings/sec, 85 secs
lola: 224255 markings, 283369 edges, 2251 markings/sec, 90 secs
lola: 236139 markings, 299205 edges, 2377 markings/sec, 95 secs
lola: 247855 markings, 313515 edges, 2343 markings/sec, 100 secs
lola: 260158 markings, 327529 edges, 2461 markings/sec, 105 secs
lola: 272322 markings, 341673 edges, 2433 markings/sec, 110 secs
lola: 284289 markings, 354613 edges, 2393 markings/sec, 115 secs
lola: 296290 markings, 367903 edges, 2400 markings/sec, 120 secs
lola: 308078 markings, 383657 edges, 2358 markings/sec, 125 secs
lola: 318565 markings, 406577 edges, 2097 markings/sec, 130 secs
lola: 329452 markings, 426746 edges, 2177 markings/sec, 135 secs
lola: 340658 markings, 445785 edges, 2241 markings/sec, 140 secs
lola: 352802 markings, 459848 edges, 2429 markings/sec, 145 secs
lola: 364561 markings, 476722 edges, 2352 markings/sec, 150 secs
lola: 376237 markings, 492727 edges, 2335 markings/sec, 155 secs
lola: 388146 markings, 506528 edges, 2382 markings/sec, 160 secs
lola: 398644 markings, 528703 edges, 2100 markings/sec, 165 secs
lola: 410792 markings, 541913 edges, 2430 markings/sec, 170 secs
lola: 422657 markings, 557982 edges, 2373 markings/sec, 175 secs
lola: 434766 markings, 571887 edges, 2422 markings/sec, 180 secs
lola: 446038 markings, 590587 edges, 2254 markings/sec, 185 secs
lola: 458108 markings, 604057 edges, 2414 markings/sec, 190 secs
lola: 469998 markings, 618475 edges, 2378 markings/sec, 195 secs
lola: 481208 markings, 635485 edges, 2242 markings/sec, 200 secs
lola: 493053 markings, 650550 edges, 2369 markings/sec, 205 secs
lola: 504553 markings, 669177 edges, 2300 markings/sec, 210 secs
lola: 516339 markings, 685299 edges, 2357 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(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 12013 markings, 13369 edges, 2403 markings/sec, 0 secs
lola: 24139 markings, 26525 edges, 2425 markings/sec, 5 secs
lola: 36278 markings, 40325 edges, 2428 markings/sec, 10 secs
lola: 48354 markings, 53962 edges, 2415 markings/sec, 15 secs
lola: 60360 markings, 66906 edges, 2401 markings/sec, 20 secs
lola: 72007 markings, 80670 edges, 2329 markings/sec, 25 secs
lola: 83483 markings, 93882 edges, 2295 markings/sec, 30 secs
lola: 95021 markings, 106348 edges, 2308 markings/sec, 35 secs
lola: 106659 markings, 118987 edges, 2328 markings/sec, 40 secs
lola: 118372 markings, 132288 edges, 2343 markings/sec, 45 secs
lola: 130110 markings, 145520 edges, 2348 markings/sec, 50 secs
lola: 142015 markings, 158967 edges, 2381 markings/sec, 55 secs
lola: 153854 markings, 172737 edges, 2368 markings/sec, 60 secs
lola: 164863 markings, 191605 edges, 2202 markings/sec, 65 secs
lola: 175928 markings, 209101 edges, 2213 markings/sec, 70 secs
lola: 185801 markings, 233246 edges, 1975 markings/sec, 75 secs
lola: 197730 markings, 247327 edges, 2386 markings/sec, 80 secs
lola: 209283 markings, 261639 edges, 2311 markings/sec, 85 secs
lola: 221213 markings, 275028 edges, 2386 markings/sec, 90 secs
lola: 232368 markings, 292726 edges, 2231 markings/sec, 95 secs
lola: 243637 markings, 308669 edges, 2254 markings/sec, 100 secs
lola: 255611 markings, 322463 edges, 2395 markings/sec, 105 secs
lola: 267713 markings, 336232 edges, 2420 markings/sec, 110 secs
lola: 279502 markings, 349458 edges, 2358 markings/sec, 115 secs
lola: 291239 markings, 362432 edges, 2347 markings/sec, 120 secs
lola: 303190 markings, 376215 edges, 2390 markings/sec, 125 secs
lola: 313177 markings, 399837 edges, 1997 markings/sec, 130 secs
lola: 324047 markings, 419214 edges, 2174 markings/sec, 135 secs
lola: 335618 markings, 434546 edges, 2314 markings/sec, 140 secs
lola: 346821 markings, 452648 edges, 2241 markings/sec, 145 secs
lola: 358267 markings, 469557 edges, 2289 markings/sec, 150 secs
lola: 369951 markings, 484967 edges, 2337 markings/sec, 155 secs
lola: 381656 markings, 498852 edges, 2341 markings/sec, 160 secs
lola: 392981 markings, 515738 edges, 2265 markings/sec, 165 secs
lola: 403805 markings, 534296 edges, 2165 markings/sec, 170 secs
lola: 415684 markings, 547896 edges, 2376 markings/sec, 175 secs
lola: 427529 markings, 563464 edges, 2369 markings/sec, 180 secs
lola: 438760 markings, 580354 edges, 2246 markings/sec, 185 secs
lola: 450431 markings, 595711 edges, 2334 markings/sec, 190 secs
lola: 462212 markings, 608554 edges, 2356 markings/sec, 195 secs
lola: 473161 markings, 625497 edges, 2190 markings/sec, 200 secs
lola: 484742 markings, 641256 edges, 2316 markings/sec, 205 secs
lola: 496396 markings, 656332 edges, 2331 markings/sec, 210 secs
lola: 507740 markings, 674287 edges, 2269 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(P_1717)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 8743 markings, 26410 edges, 1749 markings/sec, 0 secs
lola: 17491 markings, 52906 edges, 1750 markings/sec, 5 secs
lola: 26312 markings, 77515 edges, 1764 markings/sec, 10 secs
lola: 35116 markings, 101758 edges, 1761 markings/sec, 15 secs
lola: 43857 markings, 127694 edges, 1748 markings/sec, 20 secs
lola: 52797 markings, 151257 edges, 1788 markings/sec, 25 secs
lola: 62108 markings, 173756 edges, 1862 markings/sec, 30 secs
lola: 71648 markings, 196348 edges, 1908 markings/sec, 35 secs
lola: 80680 markings, 221675 edges, 1806 markings/sec, 40 secs
lola: 89737 markings, 243529 edges, 1811 markings/sec, 45 secs
lola: 98682 markings, 268877 edges, 1789 markings/sec, 50 secs
lola: 107559 markings, 292349 edges, 1775 markings/sec, 55 secs
lola: 117230 markings, 314836 edges, 1934 markings/sec, 60 secs
lola: 126286 markings, 338385 edges, 1811 markings/sec, 65 secs
lola: 135352 markings, 360339 edges, 1813 markings/sec, 70 secs
lola: 144507 markings, 382486 edges, 1831 markings/sec, 75 secs
lola: 154464 markings, 404291 edges, 1991 markings/sec, 80 secs
lola: 165138 markings, 424788 edges, 2135 markings/sec, 85 secs
lola: 175947 markings, 444913 edges, 2162 markings/sec, 90 secs
lola: 185871 markings, 466922 edges, 1985 markings/sec, 95 secs
lola: 195191 markings, 490508 edges, 1864 markings/sec, 100 secs
lola: 206033 markings, 510038 edges, 2168 markings/sec, 105 secs
lola: 216540 markings, 527845 edges, 2101 markings/sec, 110 secs
lola: 226336 markings, 545033 edges, 1959 markings/sec, 115 secs
lola: 238096 markings, 564963 edges, 2352 markings/sec, 120 secs
lola: 248670 markings, 584477 edges, 2115 markings/sec, 125 secs
lola: 258155 markings, 603502 edges, 1897 markings/sec, 130 secs
lola: 268656 markings, 622214 edges, 2100 markings/sec, 135 secs
lola: 279372 markings, 644231 edges, 2143 markings/sec, 140 secs
lola: 290779 markings, 662558 edges, 2281 markings/sec, 145 secs
lola: 302152 markings, 682038 edges, 2275 markings/sec, 150 secs
lola: 314830 markings, 702537 edges, 2536 markings/sec, 155 secs
lola: 327511 markings, 722246 edges, 2536 markings/sec, 160 secs
lola: 340158 markings, 741630 edges, 2529 markings/sec, 165 secs
lola: 353165 markings, 761045 edges, 2601 markings/sec, 170 secs
lola: 366219 markings, 781014 edges, 2611 markings/sec, 175 secs
lola: 378684 markings, 800895 edges, 2493 markings/sec, 180 secs
lola: 390589 markings, 820716 edges, 2381 markings/sec, 185 secs
lola: 403122 markings, 840122 edges, 2507 markings/sec, 190 secs
lola: 414473 markings, 859766 edges, 2270 markings/sec, 195 secs
lola: 426166 markings, 880948 edges, 2339 markings/sec, 200 secs
lola: 438267 markings, 900441 edges, 2420 markings/sec, 205 secs
lola: 450404 markings, 920397 edges, 2427 markings/sec, 210 secs
lola: 462816 markings, 939449 edges, 2482 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(PlaceSources_1 + PlaceSources_2 + PlaceSources_3 + PlaceSources_4 + PlaceSources_5 + PlaceSources_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 9022 markings, 24161 edges, 1804 markings/sec, 0 secs
lola: 26623 markings, 43645 edges, 3520 markings/sec, 5 secs
lola: 45017 markings, 62226 edges, 3679 markings/sec, 10 secs
lola: 62645 markings, 80131 edges, 3526 markings/sec, 15 secs
lola: 79982 markings, 97791 edges, 3467 markings/sec, 20 secs
lola: 98384 markings, 116462 edges, 3680 markings/sec, 25 secs
lola: 116139 markings, 134481 edges, 3551 markings/sec, 30 secs
lola: 133969 markings, 152540 edges, 3566 markings/sec, 35 secs
lola: 151481 markings, 170347 edges, 3502 markings/sec, 40 secs
lola: 169142 markings, 188539 edges, 3532 markings/sec, 45 secs
lola: 187244 markings, 207016 edges, 3620 markings/sec, 50 secs
lola: 205747 markings, 225745 edges, 3701 markings/sec, 55 secs
lola: 223044 markings, 243417 edges, 3459 markings/sec, 60 secs
lola: 239441 markings, 260192 edges, 3279 markings/sec, 65 secs
lola: 256631 markings, 277886 edges, 3438 markings/sec, 70 secs
lola: 274048 markings, 295592 edges, 3483 markings/sec, 75 secs
lola: 291746 markings, 313693 edges, 3540 markings/sec, 80 secs
lola: 308725 markings, 331166 edges, 3396 markings/sec, 85 secs
lola: 326187 markings, 349091 edges, 3492 markings/sec, 90 secs
lola: 343845 markings, 367248 edges, 3532 markings/sec, 95 secs
lola: 360483 markings, 384523 edges, 3328 markings/sec, 100 secs
lola: 378211 markings, 402690 edges, 3546 markings/sec, 105 secs
lola: 395776 markings, 420663 edges, 3513 markings/sec, 110 secs
lola: 413525 markings, 438867 edges, 3550 markings/sec, 115 secs
lola: 430744 markings, 456748 edges, 3444 markings/sec, 120 secs
lola: 448479 markings, 474875 edges, 3547 markings/sec, 125 secs
lola: 466361 markings, 493300 edges, 3576 markings/sec, 130 secs
lola: 483170 markings, 510562 edges, 3362 markings/sec, 135 secs
lola: 501230 markings, 529109 edges, 3612 markings/sec, 140 secs
lola: 518351 markings, 546799 edges, 3424 markings/sec, 145 secs
lola: 536311 markings, 565280 edges, 3592 markings/sec, 150 secs
lola: 553250 markings, 582714 edges, 3388 markings/sec, 155 secs
lola: 570340 markings, 600272 edges, 3418 markings/sec, 160 secs
lola: 587411 markings, 617903 edges, 3414 markings/sec, 165 secs
lola: 605001 markings, 635872 edges, 3518 markings/sec, 170 secs
lola: 622312 markings, 653751 edges, 3462 markings/sec, 175 secs
lola: 639934 markings, 671967 edges, 3524 markings/sec, 180 secs
lola: 657213 markings, 689807 edges, 3456 markings/sec, 185 secs
lola: 674794 markings, 707861 edges, 3516 markings/sec, 190 secs
lola: 692437 markings, 726025 edges, 3529 markings/sec, 195 secs
lola: 709129 markings, 743217 edges, 3338 markings/sec, 200 secs
lola: 725609 markings, 760166 edges, 3296 markings/sec, 205 secs
lola: 742403 markings, 777457 edges, 3359 markings/sec, 210 secs
lola: 759600 markings, 795215 edges, 3439 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(EnablePollingE_1 + EnablePollingE_2 + EnablePollingE_3 + EnablePollingE_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 8842 markings, 23727 edges, 1768 markings/sec, 0 secs
lola: 17690 markings, 46414 edges, 1770 markings/sec, 5 secs
lola: 26755 markings, 70270 edges, 1813 markings/sec, 10 secs
lola: 36161 markings, 95455 edges, 1881 markings/sec, 15 secs
lola: 45964 markings, 120727 edges, 1961 markings/sec, 20 secs
lola: 55270 markings, 143928 edges, 1861 markings/sec, 25 secs
lola: 64895 markings, 167646 edges, 1925 markings/sec, 30 secs
lola: 74761 markings, 190920 edges, 1973 markings/sec, 35 secs
lola: 84660 markings, 212255 edges, 1980 markings/sec, 40 secs
lola: 93850 markings, 235117 edges, 1838 markings/sec, 45 secs
lola: 104409 markings, 257931 edges, 2112 markings/sec, 50 secs
lola: 113904 markings, 280779 edges, 1899 markings/sec, 55 secs
lola: 123693 markings, 301811 edges, 1958 markings/sec, 60 secs
lola: 133231 markings, 324077 edges, 1908 markings/sec, 65 secs
lola: 142687 markings, 346930 edges, 1891 markings/sec, 70 secs
lola: 152158 markings, 367832 edges, 1894 markings/sec, 75 secs
lola: 163473 markings, 388713 edges, 2263 markings/sec, 80 secs
lola: 176170 markings, 408428 edges, 2539 markings/sec, 85 secs
lola: 185762 markings, 431613 edges, 1918 markings/sec, 90 secs
lola: 196016 markings, 453657 edges, 2051 markings/sec, 95 secs
lola: 205950 markings, 477082 edges, 1987 markings/sec, 100 secs
lola: 217961 markings, 498812 edges, 2402 markings/sec, 105 secs
lola: 227750 markings, 523427 edges, 1958 markings/sec, 110 secs
lola: 240823 markings, 541604 edges, 2615 markings/sec, 115 secs
lola: 254681 markings, 558599 edges, 2772 markings/sec, 120 secs
lola: 267253 markings, 578691 edges, 2514 markings/sec, 125 secs
lola: 280553 markings, 597241 edges, 2660 markings/sec, 130 secs
lola: 292622 markings, 618904 edges, 2414 markings/sec, 135 secs
lola: 305679 markings, 638021 edges, 2611 markings/sec, 140 secs
lola: 318329 markings, 658129 edges, 2530 markings/sec, 145 secs
lola: 332007 markings, 675287 edges, 2736 markings/sec, 150 secs
lola: 343910 markings, 697099 edges, 2381 markings/sec, 155 secs
lola: 357587 markings, 714718 edges, 2735 markings/sec, 160 secs
lola: 370797 markings, 733457 edges, 2642 markings/sec, 165 secs
lola: 383893 markings, 752268 edges, 2619 markings/sec, 170 secs
lola: 397727 markings, 768987 edges, 2767 markings/sec, 175 secs
lola: 409880 markings, 789549 edges, 2431 markings/sec, 180 secs
lola: 424313 markings, 805454 edges, 2887 markings/sec, 185 secs
lola: 436892 markings, 825870 edges, 2516 markings/sec, 190 secs
lola: 449746 markings, 844688 edges, 2571 markings/sec, 195 secs
lola: 464068 markings, 860599 edges, 2864 markings/sec, 200 secs
lola: 476503 markings, 880881 edges, 2487 markings/sec, 205 secs
lola: 488485 markings, 902820 edges, 2396 markings/sec, 210 secs
lola: 501490 markings, 921439 edges, 2601 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(DisablePollingB_4_5 + DisablePollingB_4_4 + DisablePollingB_4_3 + DisablePollingB_4_2 + DisablePollingB_4_1 + DisablePollingB_1_1 + DisablePollingB_1_2 + DisablePollingB_1_3 + DisablePollingB_1_4 + DisablePollingB_1_5 + DisablePollingB_1_6 + DisablePollingB_3_6 + DisablePollingB_3_5 + DisablePollingB_3_4 + DisablePollingB_3_3 + DisablePollingB_3_2 + DisablePollingB_3_1 + DisablePollingB_2_1 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 9166 markings, 24180 edges, 1833 markings/sec, 0 secs
lola: 18351 markings, 48565 edges, 1837 markings/sec, 5 secs
lola: 27529 markings, 71870 edges, 1836 markings/sec, 10 secs
lola: 38129 markings, 93649 edges, 2120 markings/sec, 15 secs
lola: 48148 markings, 117133 edges, 2004 markings/sec, 20 secs
lola: 57563 markings, 140502 edges, 1883 markings/sec, 25 secs
lola: 67676 markings, 163403 edges, 2023 markings/sec, 30 secs
lola: 77012 markings, 188629 edges, 1867 markings/sec, 35 secs
lola: 86209 markings, 213892 edges, 1839 markings/sec, 40 secs
lola: 97362 markings, 234484 edges, 2231 markings/sec, 45 secs
lola: 107996 markings, 255900 edges, 2127 markings/sec, 50 secs
lola: 117543 markings, 280600 edges, 1909 markings/sec, 55 secs
lola: 131715 markings, 299581 edges, 2834 markings/sec, 60 secs
lola: 144357 markings, 321730 edges, 2528 markings/sec, 65 secs
lola: 154055 markings, 347579 edges, 1940 markings/sec, 70 secs
lola: 164122 markings, 372534 edges, 2013 markings/sec, 75 secs
lola: 175473 markings, 396461 edges, 2270 markings/sec, 80 secs
lola: 186029 markings, 419199 edges, 2111 markings/sec, 85 secs
lola: 196538 markings, 442816 edges, 2102 markings/sec, 90 secs
lola: 207015 markings, 465325 edges, 2095 markings/sec, 95 secs
lola: 221331 markings, 482768 edges, 2863 markings/sec, 100 secs
lola: 231767 markings, 504569 edges, 2087 markings/sec, 105 secs
lola: 243044 markings, 529167 edges, 2255 markings/sec, 110 secs
lola: 252809 markings, 556501 edges, 1953 markings/sec, 115 secs
lola: 266683 markings, 576446 edges, 2775 markings/sec, 120 secs
lola: 281138 markings, 594542 edges, 2891 markings/sec, 125 secs
lola: 293856 markings, 614678 edges, 2544 markings/sec, 130 secs
lola: 307398 markings, 635318 edges, 2708 markings/sec, 135 secs
lola: 320031 markings, 657344 edges, 2527 markings/sec, 140 secs
lola: 334094 markings, 676388 edges, 2813 markings/sec, 145 secs
lola: 347960 markings, 694800 edges, 2773 markings/sec, 150 secs
lola: 360239 markings, 716783 edges, 2456 markings/sec, 155 secs
lola: 375484 markings, 733753 edges, 3049 markings/sec, 160 secs
lola: 389917 markings, 753620 edges, 2887 markings/sec, 165 secs
lola: 399267 markings, 779319 edges, 1870 markings/sec, 170 secs
lola: 414481 markings, 796217 edges, 3043 markings/sec, 175 secs
lola: 429512 markings, 814807 edges, 3006 markings/sec, 180 secs
lola: 442612 markings, 831982 edges, 2620 markings/sec, 185 secs
lola: 453379 markings, 854467 edges, 2153 markings/sec, 190 secs
lola: 465384 markings, 872085 edges, 2401 markings/sec, 195 secs
lola: 479461 markings, 887544 edges, 2815 markings/sec, 200 secs
lola: 492759 markings, 904166 edges, 2660 markings/sec, 205 secs
lola: 505381 markings, 922394 edges, 2524 markings/sec, 210 secs
lola: 519576 markings, 942825 edges, 2839 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(cBlockedTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 12606 markings, 21133 edges, 2521 markings/sec, 0 secs
lola: 30742 markings, 39572 edges, 3627 markings/sec, 5 secs
lola: 48515 markings, 57731 edges, 3555 markings/sec, 10 secs
lola: 65995 markings, 75629 edges, 3496 markings/sec, 15 secs
lola: 83775 markings, 94189 edges, 3556 markings/sec, 20 secs
lola: 101725 markings, 112850 edges, 3590 markings/sec, 25 secs
lola: 119172 markings, 130908 edges, 3489 markings/sec, 30 secs
lola: 136437 markings, 148960 edges, 3453 markings/sec, 35 secs
lola: 153978 markings, 167140 edges, 3508 markings/sec, 40 secs
lola: 171786 markings, 185607 edges, 3562 markings/sec, 45 secs
lola: 189959 markings, 204221 edges, 3635 markings/sec, 50 secs
lola: 207728 markings, 222634 edges, 3554 markings/sec, 55 secs
lola: 224843 markings, 240633 edges, 3423 markings/sec, 60 secs
lola: 243506 markings, 259707 edges, 3733 markings/sec, 65 secs
lola: 261425 markings, 278241 edges, 3584 markings/sec, 70 secs
lola: 280103 markings, 297442 edges, 3736 markings/sec, 75 secs
lola: 297502 markings, 315935 edges, 3480 markings/sec, 80 secs
lola: 314622 markings, 333857 edges, 3424 markings/sec, 85 secs
lola: 331688 markings, 351848 edges, 3413 markings/sec, 90 secs
lola: 349308 markings, 370262 edges, 3524 markings/sec, 95 secs
lola: 367655 markings, 389082 edges, 3669 markings/sec, 100 secs
lola: 385336 markings, 407361 edges, 3536 markings/sec, 105 secs
lola: 402383 markings, 425278 edges, 3409 markings/sec, 110 secs
lola: 420337 markings, 443728 edges, 3591 markings/sec, 115 secs
lola: 438345 markings, 462260 edges, 3602 markings/sec, 120 secs
lola: 455967 markings, 480664 edges, 3524 markings/sec, 125 secs
lola: 472854 markings, 498379 edges, 3377 markings/sec, 130 secs
lola: 490441 markings, 516614 edges, 3517 markings/sec, 135 secs
lola: 507488 markings, 534448 edges, 3409 markings/sec, 140 secs
lola: 524886 markings, 552534 edges, 3480 markings/sec, 145 secs
lola: 542553 markings, 570840 edges, 3533 markings/sec, 150 secs
lola: 559924 markings, 588911 edges, 3474 markings/sec, 155 secs
lola: 577468 markings, 607307 edges, 3509 markings/sec, 160 secs
lola: 595503 markings, 625924 edges, 3607 markings/sec, 165 secs
lola: 612862 markings, 644268 edges, 3472 markings/sec, 170 secs
lola: 631004 markings, 662744 edges, 3628 markings/sec, 175 secs
lola: 648387 markings, 680899 edges, 3477 markings/sec, 180 secs
lola: 665354 markings, 698718 edges, 3393 markings/sec, 185 secs
lola: 682259 markings, 716668 edges, 3381 markings/sec, 190 secs
lola: 698803 markings, 734253 edges, 3309 markings/sec, 195 secs
lola: 715900 markings, 752219 edges, 3419 markings/sec, 200 secs
lola: 732711 markings, 769824 edges, 3362 markings/sec, 205 secs
lola: 750255 markings, 788135 edges, 3509 markings/sec, 210 secs
lola: 767127 markings, 806085 edges, 3374 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(DisablePollingE_3_1 + DisablePollingE_3_2 + DisablePollingE_3_3 + DisablePollingE_3_4 + DisablePollingE_3_5 + DisablePollingE_3_6 + DisablePollingE_4_1 + DisablePollingE_4_2 + DisablePollingE_4_3 + DisablePollingE_4_4 + DisablePollingE_4_5 + DisablePollingE_4_6 + DisablePollingE_2_6 + DisablePollingE_2_5 + DisablePollingE_2_4 + DisablePollingE_2_3 + DisablePollingE_2_2 + DisablePollingE_2_1 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 9185 markings, 24628 edges, 1837 markings/sec, 0 secs
lola: 26162 markings, 43167 edges, 3395 markings/sec, 5 secs
lola: 42524 markings, 59637 edges, 3272 markings/sec, 10 secs
lola: 58469 markings, 75719 edges, 3189 markings/sec, 15 secs
lola: 76337 markings, 93774 edges, 3574 markings/sec, 20 secs
lola: 93903 markings, 111488 edges, 3513 markings/sec, 25 secs
lola: 112279 markings, 130085 edges, 3675 markings/sec, 30 secs
lola: 128557 markings, 146509 edges, 3256 markings/sec, 35 secs
lola: 146002 markings, 164118 edges, 3489 markings/sec, 40 secs
lola: 163064 markings, 181336 edges, 3412 markings/sec, 45 secs
lola: 179551 markings, 197927 edges, 3297 markings/sec, 50 secs
lola: 196758 markings, 215306 edges, 3441 markings/sec, 55 secs
lola: 215391 markings, 234226 edges, 3727 markings/sec, 60 secs
lola: 231846 markings, 250815 edges, 3291 markings/sec, 65 secs
lola: 247994 markings, 267176 edges, 3230 markings/sec, 70 secs
lola: 266196 markings, 285580 edges, 3640 markings/sec, 75 secs
lola: 283882 markings, 303452 edges, 3537 markings/sec, 80 secs
lola: 300136 markings, 319868 edges, 3251 markings/sec, 85 secs
lola: 318200 markings, 338151 edges, 3613 markings/sec, 90 secs
lola: 335091 markings, 355238 edges, 3378 markings/sec, 95 secs
lola: 353587 markings, 373982 edges, 3699 markings/sec, 100 secs
lola: 370268 markings, 390912 edges, 3336 markings/sec, 105 secs
lola: 389309 markings, 410256 edges, 3808 markings/sec, 110 secs
lola: 408010 markings, 429220 edges, 3740 markings/sec, 115 secs
lola: 425280 markings, 446670 edges, 3454 markings/sec, 120 secs
lola: 441954 markings, 463643 edges, 3335 markings/sec, 125 secs
lola: 459014 markings, 480919 edges, 3412 markings/sec, 130 secs
lola: 476157 markings, 498353 edges, 3429 markings/sec, 135 secs
lola: 493621 markings, 516066 edges, 3493 markings/sec, 140 secs
lola: 511179 markings, 533868 edges, 3512 markings/sec, 145 secs
lola: 527800 markings, 550688 edges, 3324 markings/sec, 150 secs
lola: 545785 markings, 569101 edges, 3597 markings/sec, 155 secs
lola: 563494 markings, 587203 edges, 3542 markings/sec, 160 secs
lola: 581636 markings, 605625 edges, 3628 markings/sec, 165 secs
lola: 599550 markings, 623834 edges, 3583 markings/sec, 170 secs
lola: 618061 markings, 642715 edges, 3702 markings/sec, 175 secs
lola: 636255 markings, 661273 edges, 3639 markings/sec, 180 secs
lola: 652997 markings, 678186 edges, 3348 markings/sec, 185 secs
lola: 671781 markings, 697217 edges, 3757 markings/sec, 190 secs
lola: 688819 markings, 714444 edges, 3408 markings/sec, 195 secs
lola: 706426 markings, 732399 edges, 3521 markings/sec, 200 secs
lola: 724502 markings, 750822 edges, 3615 markings/sec, 205 secs
lola: 742347 markings, 768943 edges, 3569 markings/sec, 210 secs
lola: 759819 markings, 786673 edges, 3494 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(nyo_1 + nyo_2 + nyo_3 + nyo_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 12064 markings, 12462 edges, 2413 markings/sec, 0 secs
lola: 24114 markings, 24881 edges, 2410 markings/sec, 5 secs
lola: 36189 markings, 37454 edges, 2415 markings/sec, 10 secs
lola: 48192 markings, 49729 edges, 2401 markings/sec, 15 secs
lola: 60190 markings, 62120 edges, 2400 markings/sec, 20 secs
lola: 72120 markings, 74525 edges, 2386 markings/sec, 25 secs
lola: 84168 markings, 87047 edges, 2410 markings/sec, 30 secs
lola: 96051 markings, 99637 edges, 2377 markings/sec, 35 secs
lola: 108105 markings, 112157 edges, 2411 markings/sec, 40 secs
lola: 120069 markings, 124724 edges, 2393 markings/sec, 45 secs
lola: 132003 markings, 137261 edges, 2387 markings/sec, 50 secs
lola: 144048 markings, 149662 edges, 2409 markings/sec, 55 secs
lola: 156024 markings, 162065 edges, 2395 markings/sec, 60 secs
lola: 167939 markings, 174403 edges, 2383 markings/sec, 65 secs
lola: 179850 markings, 186718 edges, 2382 markings/sec, 70 secs
lola: 191761 markings, 199131 edges, 2382 markings/sec, 75 secs
lola: 203750 markings, 211435 edges, 2398 markings/sec, 80 secs
lola: 215652 markings, 223737 edges, 2380 markings/sec, 85 secs
lola: 227651 markings, 236160 edges, 2400 markings/sec, 90 secs
lola: 239656 markings, 248550 edges, 2401 markings/sec, 95 secs
lola: 251578 markings, 261013 edges, 2384 markings/sec, 100 secs
lola: 263531 markings, 273550 edges, 2391 markings/sec, 105 secs
lola: 275478 markings, 286086 edges, 2389 markings/sec, 110 secs
lola: 287374 markings, 298672 edges, 2379 markings/sec, 115 secs
lola: 299341 markings, 311182 edges, 2393 markings/sec, 120 secs
lola: 311254 markings, 323456 edges, 2383 markings/sec, 125 secs
lola: 323262 markings, 335993 edges, 2402 markings/sec, 130 secs
lola: 335187 markings, 348453 edges, 2385 markings/sec, 135 secs
lola: 347068 markings, 360673 edges, 2376 markings/sec, 140 secs
lola: 358984 markings, 373027 edges, 2383 markings/sec, 145 secs
lola: 370903 markings, 385434 edges, 2384 markings/sec, 150 secs
lola: 382828 markings, 397858 edges, 2385 markings/sec, 155 secs
lola: 394712 markings, 410416 edges, 2377 markings/sec, 160 secs
lola: 406629 markings, 422958 edges, 2383 markings/sec, 165 secs
lola: 418494 markings, 435533 edges, 2373 markings/sec, 170 secs
lola: 430370 markings, 447894 edges, 2375 markings/sec, 175 secs
lola: 442340 markings, 460476 edges, 2394 markings/sec, 180 secs
lola: 454125 markings, 472694 edges, 2357 markings/sec, 185 secs
lola: 466020 markings, 485149 edges, 2379 markings/sec, 190 secs
lola: 477923 markings, 497700 edges, 2381 markings/sec, 195 secs
lola: 489747 markings, 510459 edges, 2365 markings/sec, 200 secs
lola: 501727 markings, 522943 edges, 2396 markings/sec, 205 secs
lola: 513670 markings, 535421 edges, 2389 markings/sec, 210 secs
lola: 525684 markings, 547970 edges, 2403 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(P_1113_3 + P_1113_2 + P_1113_1 + P_1113_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 11840 markings, 12256 edges, 2368 markings/sec, 0 secs
lola: 23687 markings, 24491 edges, 2369 markings/sec, 5 secs
lola: 35570 markings, 36862 edges, 2377 markings/sec, 10 secs
lola: 47362 markings, 48957 edges, 2358 markings/sec, 15 secs
lola: 59129 markings, 61129 edges, 2353 markings/sec, 20 secs
lola: 70860 markings, 73270 edges, 2346 markings/sec, 25 secs
lola: 82676 markings, 85576 edges, 2363 markings/sec, 30 secs
lola: 94311 markings, 97944 edges, 2327 markings/sec, 35 secs
lola: 106200 markings, 110378 edges, 2378 markings/sec, 40 secs
lola: 118000 markings, 122704 edges, 2360 markings/sec, 45 secs
lola: 129742 markings, 135124 edges, 2348 markings/sec, 50 secs
lola: 141651 markings, 147481 edges, 2382 markings/sec, 55 secs
lola: 153460 markings, 159663 edges, 2362 markings/sec, 60 secs
lola: 165201 markings, 171833 edges, 2348 markings/sec, 65 secs
lola: 177031 markings, 184090 edges, 2366 markings/sec, 70 secs
lola: 188854 markings, 196337 edges, 2365 markings/sec, 75 secs
lola: 200664 markings, 208589 edges, 2362 markings/sec, 80 secs
lola: 212439 markings, 220766 edges, 2355 markings/sec, 85 secs
lola: 224246 markings, 232978 edges, 2361 markings/sec, 90 secs
lola: 236068 markings, 245182 edges, 2364 markings/sec, 95 secs
lola: 247953 markings, 257606 edges, 2377 markings/sec, 100 secs
lola: 259772 markings, 269973 edges, 2364 markings/sec, 105 secs
lola: 271591 markings, 282345 edges, 2364 markings/sec, 110 secs
lola: 283338 markings, 294746 edges, 2349 markings/sec, 115 secs
lola: 295158 markings, 307209 edges, 2364 markings/sec, 120 secs
lola: 306974 markings, 319477 edges, 2363 markings/sec, 125 secs
lola: 318753 markings, 331735 edges, 2356 markings/sec, 130 secs
lola: 330628 markings, 344190 edges, 2375 markings/sec, 135 secs
lola: 342414 markings, 356461 edges, 2357 markings/sec, 140 secs
lola: 354165 markings, 368540 edges, 2350 markings/sec, 145 secs
lola: 365936 markings, 380709 edges, 2354 markings/sec, 150 secs
lola: 377739 markings, 393077 edges, 2361 markings/sec, 155 secs
lola: 389467 markings, 405427 edges, 2346 markings/sec, 160 secs
lola: 401194 markings, 417826 edges, 2345 markings/sec, 165 secs
lola: 413044 markings, 430238 edges, 2370 markings/sec, 170 secs
lola: 424644 markings, 442536 edges, 2320 markings/sec, 175 secs
lola: 436422 markings, 454793 edges, 2356 markings/sec, 180 secs
lola: 448212 markings, 467201 edges, 2358 markings/sec, 185 secs
lola: 459822 markings, 479286 edges, 2322 markings/sec, 190 secs
lola: 471033 markings, 491049 edges, 2242 markings/sec, 195 secs
lola: 482544 markings, 503260 edges, 2302 markings/sec, 200 secs
lola: 494333 markings, 515948 edges, 2358 markings/sec, 205 secs
lola: 506274 markings, 528354 edges, 2388 markings/sec, 210 secs
lola: 518186 markings, 540863 edges, 2382 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(P_1724_0 + P_1724_1 + P_1724_2 + P_1724_3 + P_1724_4 + P_1724_5 + P_1724_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 12364 markings, 12852 edges, 2473 markings/sec, 0 secs
lola: 24751 markings, 25713 edges, 2477 markings/sec, 5 secs
lola: 37157 markings, 38685 edges, 2481 markings/sec, 10 secs
lola: 49463 markings, 51409 edges, 2461 markings/sec, 15 secs
lola: 61771 markings, 64163 edges, 2462 markings/sec, 20 secs
lola: 74000 markings, 76972 edges, 2446 markings/sec, 25 secs
lola: 86242 markings, 89742 edges, 2448 markings/sec, 30 secs
lola: 98487 markings, 102751 edges, 2449 markings/sec, 35 secs
lola: 110863 markings, 115687 edges, 2475 markings/sec, 40 secs
lola: 123101 markings, 128727 edges, 2448 markings/sec, 45 secs
lola: 135448 markings, 141666 edges, 2469 markings/sec, 50 secs
lola: 147855 markings, 154549 edges, 2481 markings/sec, 55 secs
lola: 160174 markings, 167363 edges, 2464 markings/sec, 60 secs
lola: 172468 markings, 180154 edges, 2459 markings/sec, 65 secs
lola: 184859 markings, 193032 edges, 2478 markings/sec, 70 secs
lola: 197148 markings, 205791 edges, 2458 markings/sec, 75 secs
lola: 209518 markings, 218654 edges, 2474 markings/sec, 80 secs
lola: 221833 markings, 231450 edges, 2463 markings/sec, 85 secs
lola: 234211 markings, 244251 edges, 2476 markings/sec, 90 secs
lola: 246630 markings, 257283 edges, 2484 markings/sec, 95 secs
lola: 258967 markings, 270226 edges, 2467 markings/sec, 100 secs
lola: 271300 markings, 283142 edges, 2467 markings/sec, 105 secs
lola: 283526 markings, 296114 edges, 2445 markings/sec, 110 secs
lola: 295890 markings, 309124 edges, 2473 markings/sec, 115 secs
lola: 308209 markings, 321965 edges, 2464 markings/sec, 120 secs
lola: 320592 markings, 335017 edges, 2477 markings/sec, 125 secs
lola: 332937 markings, 347984 edges, 2469 markings/sec, 130 secs
lola: 345240 markings, 360816 edges, 2461 markings/sec, 135 secs
lola: 357547 markings, 373544 edges, 2461 markings/sec, 140 secs
lola: 369834 markings, 386347 edges, 2457 markings/sec, 145 secs
lola: 382168 markings, 399232 edges, 2467 markings/sec, 150 secs
lola: 394462 markings, 412387 edges, 2459 markings/sec, 155 secs
lola: 406772 markings, 425401 edges, 2462 markings/sec, 160 secs
lola: 419036 markings, 438395 edges, 2453 markings/sec, 165 secs
lola: 431297 markings, 451263 edges, 2452 markings/sec, 170 secs
lola: 443674 markings, 464300 edges, 2475 markings/sec, 175 secs
lola: 455898 markings, 477079 edges, 2445 markings/sec, 180 secs
lola: 468189 markings, 490033 edges, 2458 markings/sec, 185 secs
lola: 480475 markings, 503058 edges, 2457 markings/sec, 190 secs
lola: 492720 markings, 516262 edges, 2449 markings/sec, 195 secs
lola: 505096 markings, 529161 edges, 2475 markings/sec, 200 secs
lola: 517466 markings, 542226 edges, 2474 markings/sec, 205 secs
lola: 529750 markings, 555220 edges, 2457 markings/sec, 210 secs
lola: 541911 markings, 568203 edges, 2432 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(MarkerWrite)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 11992 markings, 12468 edges, 2398 markings/sec, 0 secs
lola: 23992 markings, 24938 edges, 2400 markings/sec, 5 secs
lola: 36014 markings, 37518 edges, 2404 markings/sec, 10 secs
lola: 47967 markings, 49846 edges, 2391 markings/sec, 15 secs
lola: 59889 markings, 62190 edges, 2384 markings/sec, 20 secs
lola: 71759 markings, 74573 edges, 2374 markings/sec, 25 secs
lola: 83693 markings, 87060 edges, 2387 markings/sec, 30 secs
lola: 95446 markings, 99617 edges, 2351 markings/sec, 35 secs
lola: 107483 markings, 112170 edges, 2407 markings/sec, 40 secs
lola: 119422 markings, 124778 edges, 2388 markings/sec, 45 secs
lola: 131262 markings, 137277 edges, 2368 markings/sec, 50 secs
lola: 142191 markings, 148702 edges, 2186 markings/sec, 55 secs
lola: 154284 markings, 161247 edges, 2419 markings/sec, 60 secs
lola: 166380 markings, 173840 edges, 2419 markings/sec, 65 secs
lola: 178489 markings, 186385 edges, 2422 markings/sec, 70 secs
lola: 190561 markings, 198946 edges, 2414 markings/sec, 75 secs
lola: 202679 markings, 211498 edges, 2424 markings/sec, 80 secs
lola: 214723 markings, 224036 edges, 2409 markings/sec, 85 secs
lola: 226852 markings, 236676 edges, 2426 markings/sec, 90 secs
lola: 238984 markings, 249272 edges, 2426 markings/sec, 95 secs
lola: 251053 markings, 261899 edges, 2414 markings/sec, 100 secs
lola: 263071 markings, 274533 edges, 2404 markings/sec, 105 secs
lola: 275089 markings, 287188 edges, 2404 markings/sec, 110 secs
lola: 287099 markings, 299922 edges, 2402 markings/sec, 115 secs
lola: 299191 markings, 312563 edges, 2418 markings/sec, 120 secs
lola: 311240 markings, 325129 edges, 2410 markings/sec, 125 secs
lola: 323360 markings, 337905 edges, 2424 markings/sec, 130 secs
lola: 335407 markings, 350573 edges, 2409 markings/sec, 135 secs
lola: 347418 markings, 363042 edges, 2402 markings/sec, 140 secs
lola: 359469 markings, 375569 edges, 2410 markings/sec, 145 secs
lola: 371518 markings, 388108 edges, 2410 markings/sec, 150 secs
lola: 383556 markings, 400793 edges, 2408 markings/sec, 155 secs
lola: 395580 markings, 413552 edges, 2405 markings/sec, 160 secs
lola: 407606 markings, 426268 edges, 2405 markings/sec, 165 secs
lola: 419571 markings, 438963 edges, 2393 markings/sec, 170 secs
lola: 431588 markings, 451554 edges, 2403 markings/sec, 175 secs
lola: 443692 markings, 464318 edges, 2421 markings/sec, 180 secs
lola: 455663 markings, 476828 edges, 2394 markings/sec, 185 secs
lola: 467663 markings, 489477 edges, 2400 markings/sec, 190 secs
lola: 479714 markings, 502213 edges, 2410 markings/sec, 195 secs
lola: 491649 markings, 515123 edges, 2387 markings/sec, 200 secs
lola: 503771 markings, 527793 edges, 2424 markings/sec, 205 secs
lola: 515845 markings, 540534 edges, 2415 markings/sec, 210 secs
lola: 527968 markings, 553244 edges, 2425 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494736276073

--------------------
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-PT-S06J06T04"
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-PT-S06J06T04.tgz
mv PolyORBLF-PT-S06J06T04 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-PT-S06J06T04, 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-149440870100533"
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 ;