Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_PolyORBLF-PT-S06J06T04, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681700533
=====================================================================

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


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


checking for too many tokens
===========================================================================================
S_PolyORBLF-PT-S06J06T04: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 12086 markings, 12573 edges, 2417 markings/sec, 0 secs
lola: 24189 markings, 25145 edges, 2421 markings/sec, 5 secs
lola: 36315 markings, 37820 edges, 2425 markings/sec, 10 secs
lola: 48369 markings, 50276 edges, 2411 markings/sec, 15 secs
lola: 60381 markings, 62710 edges, 2402 markings/sec, 20 secs
lola: 72337 markings, 75232 edges, 2391 markings/sec, 25 secs
lola: 84385 markings, 87788 edges, 2410 markings/sec, 30 secs
lola: 96262 markings, 100445 edges, 2375 markings/sec, 35 secs
lola: 108393 markings, 113125 edges, 2426 markings/sec, 40 secs
lola: 120432 markings, 125847 edges, 2408 markings/sec, 45 secs
lola: 132421 markings, 138503 edges, 2398 markings/sec, 50 secs
lola: 144557 markings, 151128 edges, 2427 markings/sec, 55 secs
lola: 156614 markings, 163664 edges, 2411 markings/sec, 60 secs
lola: 168622 markings, 176180 edges, 2402 markings/sec, 65 secs
lola: 180719 markings, 188697 edges, 2419 markings/sec, 70 secs
lola: 192784 markings, 201318 edges, 2413 markings/sec, 75 secs
lola: 204948 markings, 213887 edges, 2433 markings/sec, 80 secs
lola: 216588 markings, 226007 edges, 2328 markings/sec, 85 secs
lola: 228227 markings, 238090 edges, 2328 markings/sec, 90 secs
lola: 239882 markings, 250188 edges, 2331 markings/sec, 95 secs
lola: 251463 markings, 262310 edges, 2316 markings/sec, 100 secs
lola: 262970 markings, 274401 edges, 2301 markings/sec, 105 secs
lola: 274527 markings, 286596 edges, 2311 markings/sec, 110 secs
lola: 286118 markings, 298867 edges, 2318 markings/sec, 115 secs
lola: 297734 markings, 311069 edges, 2323 markings/sec, 120 secs
lola: 309284 markings, 323075 edges, 2310 markings/sec, 125 secs
lola: 320997 markings, 335443 edges, 2343 markings/sec, 130 secs
lola: 332662 markings, 347709 edges, 2333 markings/sec, 135 secs
lola: 344284 markings, 359848 edges, 2324 markings/sec, 140 secs
lola: 355863 markings, 371800 edges, 2316 markings/sec, 145 secs
lola: 367408 markings, 383792 edges, 2309 markings/sec, 150 secs
lola: 378961 markings, 395932 edges, 2311 markings/sec, 155 secs
lola: 390521 markings, 408160 edges, 2312 markings/sec, 160 secs
lola: 402144 markings, 420550 edges, 2325 markings/sec, 165 secs
lola: 413834 markings, 432854 edges, 2338 markings/sec, 170 secs
lola: 425295 markings, 444999 edges, 2292 markings/sec, 175 secs
lola: 436964 markings, 457213 edges, 2334 markings/sec, 180 secs
lola: 448549 markings, 469407 edges, 2317 markings/sec, 185 secs
lola: 460031 markings, 481413 edges, 2296 markings/sec, 190 secs
lola: 471644 markings, 493679 edges, 2323 markings/sec, 195 secs
lola: 483187 markings, 506021 edges, 2309 markings/sec, 200 secs
lola: 494782 markings, 518431 edges, 2319 markings/sec, 205 secs
lola: 506467 markings, 530628 edges, 2337 markings/sec, 210 secs
lola: 518106 markings, 542903 edges, 2328 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: 9149 markings, 24507 edges, 1830 markings/sec, 0 secs
lola: 21182 markings, 38100 edges, 2407 markings/sec, 5 secs
lola: 33512 markings, 50578 edges, 2466 markings/sec, 10 secs
lola: 45874 markings, 63065 edges, 2472 markings/sec, 15 secs
lola: 58192 markings, 75553 edges, 2464 markings/sec, 20 secs
lola: 70448 markings, 87968 edges, 2451 markings/sec, 25 secs
lola: 82778 markings, 100500 edges, 2466 markings/sec, 30 secs
lola: 95070 markings, 112993 edges, 2458 markings/sec, 35 secs
lola: 107353 markings, 125458 edges, 2457 markings/sec, 40 secs
lola: 119692 markings, 137952 edges, 2468 markings/sec, 45 secs
lola: 132017 markings, 150422 edges, 2465 markings/sec, 50 secs
lola: 144332 markings, 162880 edges, 2463 markings/sec, 55 secs
lola: 156618 markings, 175426 edges, 2457 markings/sec, 60 secs
lola: 168830 markings, 187823 edges, 2442 markings/sec, 65 secs
lola: 181032 markings, 200263 edges, 2440 markings/sec, 70 secs
lola: 193342 markings, 212773 edges, 2462 markings/sec, 75 secs
lola: 205619 markings, 225168 edges, 2455 markings/sec, 80 secs
lola: 217876 markings, 237705 edges, 2451 markings/sec, 85 secs
lola: 230130 markings, 250201 edges, 2451 markings/sec, 90 secs
lola: 242385 markings, 262647 edges, 2451 markings/sec, 95 secs
lola: 254697 markings, 275212 edges, 2462 markings/sec, 100 secs
lola: 266967 markings, 287642 edges, 2454 markings/sec, 105 secs
lola: 279219 markings, 300230 edges, 2450 markings/sec, 110 secs
lola: 291555 markings, 312748 edges, 2467 markings/sec, 115 secs
lola: 303808 markings, 325196 edges, 2451 markings/sec, 120 secs
lola: 316037 markings, 337610 edges, 2446 markings/sec, 125 secs
lola: 328209 markings, 350145 edges, 2434 markings/sec, 130 secs
lola: 340447 markings, 362636 edges, 2448 markings/sec, 135 secs
lola: 352641 markings, 375178 edges, 2439 markings/sec, 140 secs
lola: 364850 markings, 387743 edges, 2442 markings/sec, 145 secs
lola: 377146 markings, 400269 edges, 2459 markings/sec, 150 secs
lola: 389453 markings, 412846 edges, 2461 markings/sec, 155 secs
lola: 401743 markings, 425305 edges, 2458 markings/sec, 160 secs
lola: 413947 markings, 437753 edges, 2441 markings/sec, 165 secs
lola: 426178 markings, 450187 edges, 2446 markings/sec, 170 secs
lola: 438575 markings, 462837 edges, 2479 markings/sec, 175 secs
lola: 450899 markings, 475462 edges, 2465 markings/sec, 180 secs
lola: 463113 markings, 487955 edges, 2443 markings/sec, 185 secs
lola: 475371 markings, 500575 edges, 2452 markings/sec, 190 secs
lola: 487672 markings, 513116 edges, 2460 markings/sec, 195 secs
lola: 499894 markings, 525674 edges, 2444 markings/sec, 200 secs
lola: 512094 markings, 538220 edges, 2440 markings/sec, 205 secs
lola: 524251 markings, 550748 edges, 2431 markings/sec, 210 secs
lola: 536558 markings, 563449 edges, 2461 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: 12120 markings, 12608 edges, 2424 markings/sec, 0 secs
lola: 24331 markings, 25288 edges, 2442 markings/sec, 5 secs
lola: 36483 markings, 37988 edges, 2430 markings/sec, 10 secs
lola: 48622 markings, 50541 edges, 2428 markings/sec, 15 secs
lola: 60775 markings, 63115 edges, 2431 markings/sec, 20 secs
lola: 72859 markings, 75770 edges, 2417 markings/sec, 25 secs
lola: 85033 markings, 88491 edges, 2435 markings/sec, 30 secs
lola: 97008 markings, 101206 edges, 2395 markings/sec, 35 secs
lola: 109138 markings, 113913 edges, 2426 markings/sec, 40 secs
lola: 121266 markings, 126729 edges, 2426 markings/sec, 45 secs
lola: 133412 markings, 139553 edges, 2429 markings/sec, 50 secs
lola: 145664 markings, 152290 edges, 2450 markings/sec, 55 secs
lola: 157786 markings, 164885 edges, 2424 markings/sec, 60 secs
lola: 169886 markings, 177481 edges, 2420 markings/sec, 65 secs
lola: 182042 markings, 190125 edges, 2431 markings/sec, 70 secs
lola: 194139 markings, 202687 edges, 2419 markings/sec, 75 secs
lola: 206340 markings, 215319 edges, 2440 markings/sec, 80 secs
lola: 218449 markings, 227934 edges, 2422 markings/sec, 85 secs
lola: 230615 markings, 240541 edges, 2433 markings/sec, 90 secs
lola: 242826 markings, 253266 edges, 2442 markings/sec, 95 secs
lola: 254948 markings, 266006 edges, 2424 markings/sec, 100 secs
lola: 267081 markings, 278717 edges, 2427 markings/sec, 105 secs
lola: 279165 markings, 291462 edges, 2417 markings/sec, 110 secs
lola: 291255 markings, 304282 edges, 2418 markings/sec, 115 secs
lola: 303450 markings, 317035 edges, 2439 markings/sec, 120 secs
lola: 315552 markings, 329695 edges, 2420 markings/sec, 125 secs
lola: 327743 markings, 342578 edges, 2438 markings/sec, 130 secs
lola: 339851 markings, 355195 edges, 2422 markings/sec, 135 secs
lola: 351953 markings, 367808 edges, 2420 markings/sec, 140 secs
lola: 364049 markings, 380325 edges, 2419 markings/sec, 145 secs
lola: 376160 markings, 392980 edges, 2422 markings/sec, 150 secs
lola: 388202 markings, 405767 edges, 2408 markings/sec, 155 secs
lola: 400323 markings, 418635 edges, 2424 markings/sec, 160 secs
lola: 412543 markings, 431454 edges, 2444 markings/sec, 165 secs
lola: 424471 markings, 444148 edges, 2386 markings/sec, 170 secs
lola: 436659 markings, 456875 edges, 2438 markings/sec, 175 secs
lola: 448770 markings, 469644 edges, 2422 markings/sec, 180 secs
lola: 460749 markings, 482191 edges, 2396 markings/sec, 185 secs
lola: 472892 markings, 494987 edges, 2429 markings/sec, 190 secs
lola: 484881 markings, 507887 edges, 2398 markings/sec, 195 secs
lola: 497021 markings, 520724 edges, 2428 markings/sec, 200 secs
lola: 509212 markings, 533498 edges, 2438 markings/sec, 205 secs
lola: 521368 markings, 546327 edges, 2431 markings/sec, 210 secs
lola: 533395 markings, 559083 edges, 2405 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: 8646 markings, 26065 edges, 1729 markings/sec, 0 secs
lola: 17290 markings, 52386 edges, 1729 markings/sec, 5 secs
lola: 25985 markings, 76661 edges, 1739 markings/sec, 10 secs
lola: 34680 markings, 100556 edges, 1739 markings/sec, 15 secs
lola: 43383 markings, 126200 edges, 1741 markings/sec, 20 secs
lola: 52276 markings, 149685 edges, 1779 markings/sec, 25 secs
lola: 61426 markings, 172105 edges, 1830 markings/sec, 30 secs
lola: 70855 markings, 197060 edges, 1886 markings/sec, 35 secs
lola: 79529 markings, 221081 edges, 1735 markings/sec, 40 secs
lola: 88720 markings, 243939 edges, 1838 markings/sec, 45 secs
lola: 98260 markings, 266951 edges, 1908 markings/sec, 50 secs
lola: 107290 markings, 289776 edges, 1806 markings/sec, 55 secs
lola: 116438 markings, 314275 edges, 1830 markings/sec, 60 secs
lola: 125445 markings, 335142 edges, 1801 markings/sec, 65 secs
lola: 134305 markings, 358512 edges, 1772 markings/sec, 70 secs
lola: 143258 markings, 383026 edges, 1791 markings/sec, 75 secs
lola: 152402 markings, 405725 edges, 1829 markings/sec, 80 secs
lola: 161506 markings, 426808 edges, 1821 markings/sec, 85 secs
lola: 171909 markings, 447903 edges, 2081 markings/sec, 90 secs
lola: 182217 markings, 466069 edges, 2062 markings/sec, 95 secs
lola: 192142 markings, 482965 edges, 1985 markings/sec, 100 secs
lola: 202053 markings, 501228 edges, 1982 markings/sec, 105 secs
lola: 212663 markings, 520079 edges, 2122 markings/sec, 110 secs
lola: 224065 markings, 539620 edges, 2280 markings/sec, 115 secs
lola: 234401 markings, 558042 edges, 2067 markings/sec, 120 secs
lola: 244086 markings, 578045 edges, 1937 markings/sec, 125 secs
lola: 253902 markings, 595710 edges, 1963 markings/sec, 130 secs
lola: 264343 markings, 614066 edges, 2088 markings/sec, 135 secs
lola: 274714 markings, 634049 edges, 2074 markings/sec, 140 secs
lola: 285850 markings, 654194 edges, 2227 markings/sec, 145 secs
lola: 296906 markings, 674910 edges, 2211 markings/sec, 150 secs
lola: 308763 markings, 692495 edges, 2371 markings/sec, 155 secs
lola: 320472 markings, 712127 edges, 2342 markings/sec, 160 secs
lola: 332628 markings, 732123 edges, 2431 markings/sec, 165 secs
lola: 343943 markings, 752130 edges, 2263 markings/sec, 170 secs
lola: 356230 markings, 770210 edges, 2457 markings/sec, 175 secs
lola: 368695 markings, 790309 edges, 2493 markings/sec, 180 secs
lola: 380761 markings, 809939 edges, 2413 markings/sec, 185 secs
lola: 393874 markings, 830121 edges, 2623 markings/sec, 190 secs
lola: 406676 markings, 850891 edges, 2560 markings/sec, 195 secs
lola: 418002 markings, 870610 edges, 2265 markings/sec, 200 secs
lola: 430163 markings, 889232 edges, 2432 markings/sec, 205 secs
lola: 442315 markings, 909961 edges, 2430 markings/sec, 210 secs
lola: 455089 markings, 930187 edges, 2555 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: 12110 markings, 13470 edges, 2422 markings/sec, 0 secs
lola: 24384 markings, 26810 edges, 2455 markings/sec, 5 secs
lola: 36672 markings, 40780 edges, 2458 markings/sec, 10 secs
lola: 48904 markings, 54545 edges, 2446 markings/sec, 15 secs
lola: 61196 markings, 67922 edges, 2458 markings/sec, 20 secs
lola: 73382 markings, 82258 edges, 2437 markings/sec, 25 secs
lola: 85484 markings, 96030 edges, 2420 markings/sec, 30 secs
lola: 97628 markings, 109268 edges, 2429 markings/sec, 35 secs
lola: 109896 markings, 122876 edges, 2454 markings/sec, 40 secs
lola: 122079 markings, 136429 edges, 2437 markings/sec, 45 secs
lola: 134180 markings, 149960 edges, 2420 markings/sec, 50 secs
lola: 146391 markings, 164170 edges, 2442 markings/sec, 55 secs
lola: 158524 markings, 178314 edges, 2427 markings/sec, 60 secs
lola: 169655 markings, 198104 edges, 2226 markings/sec, 65 secs
lola: 181008 markings, 217860 edges, 2271 markings/sec, 70 secs
lola: 191486 markings, 239959 edges, 2096 markings/sec, 75 secs
lola: 203578 markings, 255213 edges, 2418 markings/sec, 80 secs
lola: 215679 markings, 268657 edges, 2420 markings/sec, 85 secs
lola: 227179 markings, 286811 edges, 2300 markings/sec, 90 secs
lola: 238868 markings, 303110 edges, 2338 markings/sec, 95 secs
lola: 251089 markings, 316978 edges, 2444 markings/sec, 100 secs
lola: 263549 markings, 331278 edges, 2492 markings/sec, 105 secs
lola: 275731 markings, 345350 edges, 2436 markings/sec, 110 secs
lola: 287868 markings, 358479 edges, 2427 markings/sec, 115 secs
lola: 300097 markings, 372485 edges, 2446 markings/sec, 120 secs
lola: 311160 markings, 392437 edges, 2213 markings/sec, 125 secs
lola: 321871 markings, 414536 edges, 2142 markings/sec, 130 secs
lola: 333546 markings, 431986 edges, 2335 markings/sec, 135 secs
lola: 344988 markings, 450619 edges, 2288 markings/sec, 140 secs
lola: 357181 markings, 465920 edges, 2439 markings/sec, 145 secs
lola: 368917 markings, 483730 edges, 2347 markings/sec, 150 secs
lola: 380953 markings, 498052 edges, 2407 markings/sec, 155 secs
lola: 392543 markings, 515201 edges, 2318 markings/sec, 160 secs
lola: 403736 markings, 534225 edges, 2239 markings/sec, 165 secs
lola: 415986 markings, 548319 edges, 2450 markings/sec, 170 secs
lola: 428194 markings, 564266 edges, 2442 markings/sec, 175 secs
lola: 439551 markings, 582996 edges, 2271 markings/sec, 180 secs
lola: 451820 markings, 597240 edges, 2454 markings/sec, 185 secs
lola: 463963 markings, 610462 edges, 2429 markings/sec, 190 secs
lola: 475188 markings, 628443 edges, 2245 markings/sec, 195 secs
lola: 487202 markings, 644113 edges, 2403 markings/sec, 200 secs
lola: 498910 markings, 660558 edges, 2342 markings/sec, 205 secs
lola: 510721 markings, 678002 edges, 2362 markings/sec, 210 secs
lola: 522004 markings, 696828 edges, 2257 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: 11302 markings, 12415 edges, 2260 markings/sec, 0 secs
lola: 22631 markings, 24856 edges, 2266 markings/sec, 5 secs
lola: 33984 markings, 37833 edges, 2271 markings/sec, 10 secs
lola: 45542 markings, 50705 edges, 2312 markings/sec, 15 secs
lola: 57312 markings, 63508 edges, 2354 markings/sec, 20 secs
lola: 69107 markings, 77287 edges, 2359 markings/sec, 25 secs
lola: 80828 markings, 90894 edges, 2344 markings/sec, 30 secs
lola: 92808 markings, 103892 edges, 2396 markings/sec, 35 secs
lola: 104865 markings, 116988 edges, 2411 markings/sec, 40 secs
lola: 116934 markings, 130786 edges, 2414 markings/sec, 45 secs
lola: 128817 markings, 144188 edges, 2377 markings/sec, 50 secs
lola: 140930 markings, 157642 edges, 2423 markings/sec, 55 secs
lola: 152974 markings, 171654 edges, 2409 markings/sec, 60 secs
lola: 164318 markings, 189612 edges, 2269 markings/sec, 65 secs
lola: 175346 markings, 208438 edges, 2206 markings/sec, 70 secs
lola: 185472 markings, 231947 edges, 2025 markings/sec, 75 secs
lola: 197482 markings, 246871 edges, 2402 markings/sec, 80 secs
lola: 209210 markings, 261566 edges, 2346 markings/sec, 85 secs
lola: 221300 markings, 275143 edges, 2418 markings/sec, 90 secs
lola: 232627 markings, 292995 edges, 2265 markings/sec, 95 secs
lola: 244037 markings, 309131 edges, 2282 markings/sec, 100 secs
lola: 256204 markings, 323140 edges, 2433 markings/sec, 105 secs
lola: 268507 markings, 337172 edges, 2461 markings/sec, 110 secs
lola: 280470 markings, 350459 edges, 2393 markings/sec, 115 secs
lola: 292374 markings, 363634 edges, 2381 markings/sec, 120 secs
lola: 304483 markings, 377750 edges, 2422 markings/sec, 125 secs
lola: 314552 markings, 401797 edges, 2014 markings/sec, 130 secs
lola: 325469 markings, 422500 edges, 2183 markings/sec, 135 secs
lola: 337174 markings, 437864 edges, 2341 markings/sec, 140 secs
lola: 348800 markings, 454878 edges, 2325 markings/sec, 145 secs
lola: 360518 markings, 471954 edges, 2344 markings/sec, 150 secs
lola: 372267 markings, 487728 edges, 2350 markings/sec, 155 secs
lola: 384097 markings, 501848 edges, 2366 markings/sec, 160 secs
lola: 395222 markings, 521718 edges, 2225 markings/sec, 165 secs
lola: 406707 markings, 537385 edges, 2297 markings/sec, 170 secs
lola: 418751 markings, 551700 edges, 2409 markings/sec, 175 secs
lola: 430740 markings, 567231 edges, 2398 markings/sec, 180 secs
lola: 441983 markings, 585863 edges, 2249 markings/sec, 185 secs
lola: 454023 markings, 599529 edges, 2408 markings/sec, 190 secs
lola: 465879 markings, 612660 edges, 2371 markings/sec, 195 secs
lola: 476644 markings, 629972 edges, 2153 markings/sec, 200 secs
lola: 488321 markings, 645271 edges, 2335 markings/sec, 205 secs
lola: 500021 markings, 661894 edges, 2340 markings/sec, 210 secs
lola: 511734 markings, 679296 edges, 2343 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: 8642 markings, 26050 edges, 1728 markings/sec, 0 secs
lola: 17286 markings, 52372 edges, 1729 markings/sec, 5 secs
lola: 25998 markings, 76703 edges, 1742 markings/sec, 10 secs
lola: 34711 markings, 100664 edges, 1743 markings/sec, 15 secs
lola: 43429 markings, 126306 edges, 1744 markings/sec, 20 secs
lola: 52318 markings, 149812 edges, 1778 markings/sec, 25 secs
lola: 61473 markings, 172264 edges, 1831 markings/sec, 30 secs
lola: 70589 markings, 194755 edges, 1823 markings/sec, 35 secs
lola: 79842 markings, 219297 edges, 1851 markings/sec, 40 secs
lola: 88691 markings, 241372 edges, 1770 markings/sec, 45 secs
lola: 97372 markings, 265145 edges, 1736 markings/sec, 50 secs
lola: 105988 markings, 288638 edges, 1723 markings/sec, 55 secs
lola: 115321 markings, 309861 edges, 1867 markings/sec, 60 secs
lola: 124139 markings, 334066 edges, 1764 markings/sec, 65 secs
lola: 133244 markings, 355486 edges, 1821 markings/sec, 70 secs
lola: 142336 markings, 375695 edges, 1818 markings/sec, 75 secs
lola: 151788 markings, 399337 edges, 1890 markings/sec, 80 secs
lola: 161936 markings, 419083 edges, 2030 markings/sec, 85 secs
lola: 172432 markings, 439658 edges, 2099 markings/sec, 90 secs
lola: 182969 markings, 460829 edges, 2107 markings/sec, 95 secs
lola: 192133 markings, 482087 edges, 1833 markings/sec, 100 secs
lola: 202562 markings, 502506 edges, 2086 markings/sec, 105 secs
lola: 213224 markings, 521905 edges, 2132 markings/sec, 110 secs
lola: 222417 markings, 538901 edges, 1839 markings/sec, 115 secs
lola: 233349 markings, 556970 edges, 2186 markings/sec, 120 secs
lola: 244352 markings, 576039 edges, 2201 markings/sec, 125 secs
lola: 254005 markings, 595470 edges, 1931 markings/sec, 130 secs
lola: 263328 markings, 614480 edges, 1865 markings/sec, 135 secs
lola: 273959 markings, 632681 edges, 2126 markings/sec, 140 secs
lola: 284700 markings, 652950 edges, 2148 markings/sec, 145 secs
lola: 296490 markings, 670801 edges, 2358 markings/sec, 150 secs
lola: 306757 markings, 689710 edges, 2053 markings/sec, 155 secs
lola: 319201 markings, 708728 edges, 2489 markings/sec, 160 secs
lola: 331076 markings, 727189 edges, 2375 markings/sec, 165 secs
lola: 343066 markings, 746208 edges, 2398 markings/sec, 170 secs
lola: 355087 markings, 763735 edges, 2404 markings/sec, 175 secs
lola: 367741 markings, 783211 edges, 2531 markings/sec, 180 secs
lola: 379484 markings, 802115 edges, 2349 markings/sec, 185 secs
lola: 390616 markings, 820743 edges, 2226 markings/sec, 190 secs
lola: 402604 markings, 839515 edges, 2398 markings/sec, 195 secs
lola: 413253 markings, 857361 edges, 2130 markings/sec, 200 secs
lola: 424257 markings, 877630 edges, 2201 markings/sec, 205 secs
lola: 435505 markings, 896023 edges, 2250 markings/sec, 210 secs
lola: 447246 markings, 914393 edges, 2348 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: 8720 markings, 23336 edges, 1744 markings/sec, 0 secs
lola: 25512 markings, 42527 edges, 3358 markings/sec, 5 secs
lola: 43401 markings, 60578 edges, 3578 markings/sec, 10 secs
lola: 60375 markings, 77832 edges, 3395 markings/sec, 15 secs
lola: 77114 markings, 94898 edges, 3348 markings/sec, 20 secs
lola: 94967 markings, 112996 edges, 3571 markings/sec, 25 secs
lola: 112451 markings, 130742 edges, 3497 markings/sec, 30 secs
lola: 129594 markings, 148104 edges, 3429 markings/sec, 35 secs
lola: 146880 markings, 165671 edges, 3457 markings/sec, 40 secs
lola: 163870 markings, 183153 edges, 3398 markings/sec, 45 secs
lola: 180917 markings, 200601 edges, 3409 markings/sec, 50 secs
lola: 199745 markings, 219656 edges, 3766 markings/sec, 55 secs
lola: 216533 markings, 236738 edges, 3358 markings/sec, 60 secs
lola: 232494 markings, 253096 edges, 3192 markings/sec, 65 secs
lola: 248967 markings, 269978 edges, 3295 markings/sec, 70 secs
lola: 265848 markings, 287194 edges, 3376 markings/sec, 75 secs
lola: 283077 markings, 304812 edges, 3446 markings/sec, 80 secs
lola: 298804 markings, 321052 edges, 3145 markings/sec, 85 secs
lola: 313885 markings, 336507 edges, 3016 markings/sec, 90 secs
lola: 329903 markings, 352856 edges, 3204 markings/sec, 95 secs
lola: 346205 markings, 369690 edges, 3260 markings/sec, 100 secs
lola: 361983 markings, 386090 edges, 3156 markings/sec, 105 secs
lola: 379146 markings, 403639 edges, 3433 markings/sec, 110 secs
lola: 396451 markings, 421346 edges, 3461 markings/sec, 115 secs
lola: 414445 markings, 439813 edges, 3599 markings/sec, 120 secs
lola: 431812 markings, 457830 edges, 3473 markings/sec, 125 secs
lola: 449832 markings, 476257 edges, 3604 markings/sec, 130 secs
lola: 467877 markings, 494852 edges, 3609 markings/sec, 135 secs
lola: 484717 markings, 512160 edges, 3368 markings/sec, 140 secs
lola: 502893 markings, 530825 edges, 3635 markings/sec, 145 secs
lola: 520344 markings, 548813 edges, 3490 markings/sec, 150 secs
lola: 538207 markings, 567268 edges, 3573 markings/sec, 155 secs
lola: 555564 markings, 585088 edges, 3471 markings/sec, 160 secs
lola: 572556 markings, 602570 edges, 3398 markings/sec, 165 secs
lola: 589799 markings, 620386 edges, 3449 markings/sec, 170 secs
lola: 607416 markings, 638380 edges, 3523 markings/sec, 175 secs
lola: 625276 markings, 656793 edges, 3572 markings/sec, 180 secs
lola: 642920 markings, 675128 edges, 3529 markings/sec, 185 secs
lola: 660420 markings, 693140 edges, 3500 markings/sec, 190 secs
lola: 678215 markings, 711399 edges, 3559 markings/sec, 195 secs
lola: 695921 markings, 729593 edges, 3541 markings/sec, 200 secs
lola: 712772 markings, 747028 edges, 3370 markings/sec, 205 secs
lola: 729593 markings, 764247 edges, 3364 markings/sec, 210 secs
lola: 746715 markings, 781900 edges, 3424 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: 8958 markings, 23948 edges, 1792 markings/sec, 0 secs
lola: 17932 markings, 47040 edges, 1795 markings/sec, 5 secs
lola: 27112 markings, 71190 edges, 1836 markings/sec, 10 secs
lola: 36684 markings, 96497 edges, 1914 markings/sec, 15 secs
lola: 46563 markings, 122313 edges, 1976 markings/sec, 20 secs
lola: 55963 markings, 145734 edges, 1880 markings/sec, 25 secs
lola: 65681 markings, 169654 edges, 1944 markings/sec, 30 secs
lola: 75672 markings, 192997 edges, 1998 markings/sec, 35 secs
lola: 85674 markings, 214657 edges, 2000 markings/sec, 40 secs
lola: 94959 markings, 237832 edges, 1857 markings/sec, 45 secs
lola: 105765 markings, 260989 edges, 2161 markings/sec, 50 secs
lola: 115248 markings, 283965 edges, 1897 markings/sec, 55 secs
lola: 125124 markings, 305463 edges, 1975 markings/sec, 60 secs
lola: 134739 markings, 328416 edges, 1923 markings/sec, 65 secs
lola: 144338 markings, 350561 edges, 1920 markings/sec, 70 secs
lola: 153894 markings, 372236 edges, 1911 markings/sec, 75 secs
lola: 165994 markings, 392901 edges, 2420 markings/sec, 80 secs
lola: 178115 markings, 413703 edges, 2424 markings/sec, 85 secs
lola: 187833 markings, 437192 edges, 1944 markings/sec, 90 secs
lola: 198183 markings, 459662 edges, 2070 markings/sec, 95 secs
lola: 208427 markings, 484051 edges, 2049 markings/sec, 100 secs
lola: 220685 markings, 505729 edges, 2452 markings/sec, 105 secs
lola: 231139 markings, 528678 edges, 2091 markings/sec, 110 secs
lola: 245002 markings, 546059 edges, 2773 markings/sec, 115 secs
lola: 258714 markings, 564057 edges, 2742 markings/sec, 120 secs
lola: 271940 markings, 583681 edges, 2645 markings/sec, 125 secs
lola: 284177 markings, 605545 edges, 2447 markings/sec, 130 secs
lola: 297621 markings, 624367 edges, 2689 markings/sec, 135 secs
lola: 309626 markings, 646679 edges, 2401 markings/sec, 140 secs
lola: 322942 markings, 665426 edges, 2663 markings/sec, 145 secs
lola: 336372 markings, 684386 edges, 2686 markings/sec, 150 secs
lola: 349595 markings, 703415 edges, 2645 markings/sec, 155 secs
lola: 363017 markings, 722694 edges, 2684 markings/sec, 160 secs
lola: 376342 markings, 741813 edges, 2665 markings/sec, 165 secs
lola: 390272 markings, 759087 edges, 2786 markings/sec, 170 secs
lola: 403448 markings, 777981 edges, 2635 markings/sec, 175 secs
lola: 416687 markings, 797138 edges, 2648 markings/sec, 180 secs
lola: 430841 markings, 814618 edges, 2831 markings/sec, 185 secs
lola: 443338 markings, 835240 edges, 2499 markings/sec, 190 secs
lola: 457088 markings, 852812 edges, 2750 markings/sec, 195 secs
lola: 470960 markings, 870659 edges, 2774 markings/sec, 200 secs
lola: 483039 markings, 892864 edges, 2416 markings/sec, 205 secs
lola: 495567 markings, 913653 edges, 2506 markings/sec, 210 secs
lola: 508649 markings, 933056 edges, 2616 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: 8952 markings, 23476 edges, 1790 markings/sec, 0 secs
lola: 17899 markings, 47404 edges, 1789 markings/sec, 5 secs
lola: 26789 markings, 70287 edges, 1778 markings/sec, 10 secs
lola: 37208 markings, 91103 edges, 2084 markings/sec, 15 secs
lola: 47005 markings, 113412 edges, 1959 markings/sec, 20 secs
lola: 55836 markings, 137519 edges, 1766 markings/sec, 25 secs
lola: 65920 markings, 159066 edges, 2017 markings/sec, 30 secs
lola: 75116 markings, 183292 edges, 1839 markings/sec, 35 secs
lola: 84081 markings, 208051 edges, 1793 markings/sec, 40 secs
lola: 94517 markings, 229145 edges, 2087 markings/sec, 45 secs
lola: 103921 markings, 250426 edges, 1881 markings/sec, 50 secs
lola: 114336 markings, 273399 edges, 2083 markings/sec, 55 secs
lola: 126838 markings, 293737 edges, 2500 markings/sec, 60 secs
lola: 139557 markings, 314392 edges, 2544 markings/sec, 65 secs
lola: 150390 markings, 338204 edges, 2167 markings/sec, 70 secs
lola: 159424 markings, 363127 edges, 1807 markings/sec, 75 secs
lola: 170663 markings, 386895 edges, 2248 markings/sec, 80 secs
lola: 181835 markings, 407214 edges, 2234 markings/sec, 85 secs
lola: 190862 markings, 432544 edges, 1805 markings/sec, 90 secs
lola: 201176 markings, 453751 edges, 2063 markings/sec, 95 secs
lola: 214182 markings, 472741 edges, 2601 markings/sec, 100 secs
lola: 225891 markings, 491621 edges, 2342 markings/sec, 105 secs
lola: 236066 markings, 515043 edges, 2035 markings/sec, 110 secs
lola: 246813 markings, 539613 edges, 2149 markings/sec, 115 secs
lola: 258005 markings, 563048 edges, 2238 markings/sec, 120 secs
lola: 271810 markings, 581892 edges, 2761 markings/sec, 125 secs
lola: 284921 markings, 601940 edges, 2622 markings/sec, 130 secs
lola: 296965 markings, 622764 edges, 2409 markings/sec, 135 secs
lola: 310739 markings, 641290 edges, 2755 markings/sec, 140 secs
lola: 323841 markings, 661258 edges, 2620 markings/sec, 145 secs
lola: 337449 markings, 679868 edges, 2722 markings/sec, 150 secs
lola: 349800 markings, 699894 edges, 2470 markings/sec, 155 secs
lola: 362745 markings, 720510 edges, 2589 markings/sec, 160 secs
lola: 378063 markings, 736536 edges, 3064 markings/sec, 165 secs
lola: 391101 markings, 757043 edges, 2608 markings/sec, 170 secs
lola: 400576 markings, 781472 edges, 1895 markings/sec, 175 secs
lola: 415746 markings, 797484 edges, 3034 markings/sec, 180 secs
lola: 430477 markings, 815878 edges, 2946 markings/sec, 185 secs
lola: 443629 markings, 834491 edges, 2630 markings/sec, 190 secs
lola: 455740 markings, 857812 edges, 2422 markings/sec, 195 secs
lola: 469772 markings, 877066 edges, 2806 markings/sec, 200 secs
lola: 485074 markings, 895904 edges, 3060 markings/sec, 205 secs
lola: 500637 markings, 915021 edges, 3113 markings/sec, 210 secs
lola: 515373 markings, 936087 edges, 2947 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: 13107 markings, 21640 edges, 2621 markings/sec, 0 secs
lola: 31205 markings, 40045 edges, 3620 markings/sec, 5 secs
lola: 48914 markings, 58137 edges, 3542 markings/sec, 10 secs
lola: 66339 markings, 75975 edges, 3485 markings/sec, 15 secs
lola: 84061 markings, 94477 edges, 3544 markings/sec, 20 secs
lola: 101949 markings, 113076 edges, 3578 markings/sec, 25 secs
lola: 119371 markings, 131116 edges, 3484 markings/sec, 30 secs
lola: 136612 markings, 149136 edges, 3448 markings/sec, 35 secs
lola: 154070 markings, 167232 edges, 3492 markings/sec, 40 secs
lola: 171787 markings, 185608 edges, 3543 markings/sec, 45 secs
lola: 189902 markings, 204164 edges, 3623 markings/sec, 50 secs
lola: 207645 markings, 222515 edges, 3549 markings/sec, 55 secs
lola: 224724 markings, 240472 edges, 3416 markings/sec, 60 secs
lola: 243324 markings, 259521 edges, 3720 markings/sec, 65 secs
lola: 261197 markings, 277998 edges, 3575 markings/sec, 70 secs
lola: 279780 markings, 297110 edges, 3717 markings/sec, 75 secs
lola: 297120 markings, 315536 edges, 3468 markings/sec, 80 secs
lola: 314186 markings, 333412 edges, 3413 markings/sec, 85 secs
lola: 331156 markings, 351279 edges, 3394 markings/sec, 90 secs
lola: 348747 markings, 369686 edges, 3518 markings/sec, 95 secs
lola: 366921 markings, 388342 edges, 3635 markings/sec, 100 secs
lola: 384679 markings, 406677 edges, 3552 markings/sec, 105 secs
lola: 401597 markings, 424440 edges, 3384 markings/sec, 110 secs
lola: 419348 markings, 442728 edges, 3550 markings/sec, 115 secs
lola: 437434 markings, 461296 edges, 3617 markings/sec, 120 secs
lola: 455053 markings, 479723 edges, 3524 markings/sec, 125 secs
lola: 471829 markings, 497321 edges, 3355 markings/sec, 130 secs
lola: 489312 markings, 515438 edges, 3497 markings/sec, 135 secs
lola: 506358 markings, 533260 edges, 3409 markings/sec, 140 secs
lola: 523573 markings, 551199 edges, 3443 markings/sec, 145 secs
lola: 541280 markings, 569495 edges, 3541 markings/sec, 150 secs
lola: 558458 markings, 587420 edges, 3436 markings/sec, 155 secs
lola: 576147 markings, 605904 edges, 3538 markings/sec, 160 secs
lola: 593982 markings, 624364 edges, 3567 markings/sec, 165 secs
lola: 611361 markings, 642643 edges, 3476 markings/sec, 170 secs
lola: 629376 markings, 661098 edges, 3603 markings/sec, 175 secs
lola: 646877 markings, 679357 edges, 3500 markings/sec, 180 secs
lola: 663735 markings, 697030 edges, 3372 markings/sec, 185 secs
lola: 680649 markings, 714952 edges, 3383 markings/sec, 190 secs
lola: 697131 markings, 732522 edges, 3296 markings/sec, 195 secs
lola: 714259 markings, 750518 edges, 3426 markings/sec, 200 secs
lola: 730952 markings, 767989 edges, 3339 markings/sec, 205 secs
lola: 748090 markings, 785890 edges, 3428 markings/sec, 210 secs
lola: 764400 markings, 803143 edges, 3262 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: 9154 markings, 24525 edges, 1831 markings/sec, 0 secs
lola: 26103 markings, 43101 edges, 3390 markings/sec, 5 secs
lola: 42446 markings, 59559 edges, 3269 markings/sec, 10 secs
lola: 58352 markings, 75598 edges, 3181 markings/sec, 15 secs
lola: 76270 markings, 93707 edges, 3584 markings/sec, 20 secs
lola: 93808 markings, 111393 edges, 3508 markings/sec, 25 secs
lola: 112139 markings, 129940 edges, 3666 markings/sec, 30 secs
lola: 128520 markings, 146472 edges, 3276 markings/sec, 35 secs
lola: 146046 markings, 164173 edges, 3505 markings/sec, 40 secs
lola: 163240 markings, 181519 edges, 3439 markings/sec, 45 secs
lola: 179830 markings, 198220 edges, 3318 markings/sec, 50 secs
lola: 197040 markings, 215589 edges, 3442 markings/sec, 55 secs
lola: 215801 markings, 234646 edges, 3752 markings/sec, 60 secs
lola: 232330 markings, 251308 edges, 3306 markings/sec, 65 secs
lola: 248609 markings, 267792 edges, 3256 markings/sec, 70 secs
lola: 266870 markings, 286255 edges, 3652 markings/sec, 75 secs
lola: 284688 markings, 304260 edges, 3564 markings/sec, 80 secs
lola: 301230 markings, 320996 edges, 3308 markings/sec, 85 secs
lola: 319265 markings, 339227 edges, 3607 markings/sec, 90 secs
lola: 336295 markings, 356443 edges, 3406 markings/sec, 95 secs
lola: 355227 markings, 375644 edges, 3786 markings/sec, 100 secs
lola: 372068 markings, 392728 edges, 3368 markings/sec, 105 secs
lola: 390928 markings, 411904 edges, 3772 markings/sec, 110 secs
lola: 410117 markings, 431335 edges, 3838 markings/sec, 115 secs
lola: 427088 markings, 448500 edges, 3394 markings/sec, 120 secs
lola: 444176 markings, 465886 edges, 3418 markings/sec, 125 secs
lola: 461170 markings, 483093 edges, 3399 markings/sec, 130 secs
lola: 478716 markings, 500985 edges, 3509 markings/sec, 135 secs
lola: 496234 markings, 518704 edges, 3504 markings/sec, 140 secs
lola: 513504 markings, 536208 edges, 3454 markings/sec, 145 secs
lola: 530488 markings, 553467 edges, 3397 markings/sec, 150 secs
lola: 548896 markings, 572268 edges, 3682 markings/sec, 155 secs
lola: 566336 markings, 590112 edges, 3488 markings/sec, 160 secs
lola: 585132 markings, 609164 edges, 3759 markings/sec, 165 secs
lola: 603139 markings, 627506 edges, 3601 markings/sec, 170 secs
lola: 621748 markings, 646466 edges, 3722 markings/sec, 175 secs
lola: 639397 markings, 664436 edges, 3530 markings/sec, 180 secs
lola: 657194 markings, 682430 edges, 3559 markings/sec, 185 secs
lola: 675911 markings, 701423 edges, 3743 markings/sec, 190 secs
lola: 693055 markings, 718797 edges, 3429 markings/sec, 195 secs
lola: 710633 markings, 736652 edges, 3516 markings/sec, 200 secs
lola: 728242 markings, 754584 edges, 3522 markings/sec, 205 secs
lola: 747146 markings, 773820 edges, 3781 markings/sec, 210 secs
lola: 764715 markings, 791667 edges, 3514 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: 12089 markings, 12487 edges, 2418 markings/sec, 0 secs
lola: 24172 markings, 24939 edges, 2417 markings/sec, 5 secs
lola: 36304 markings, 37569 edges, 2426 markings/sec, 10 secs
lola: 48333 markings, 49872 edges, 2406 markings/sec, 15 secs
lola: 60359 markings, 62289 edges, 2405 markings/sec, 20 secs
lola: 72342 markings, 74747 edges, 2397 markings/sec, 25 secs
lola: 84436 markings, 87333 edges, 2419 markings/sec, 30 secs
lola: 96397 markings, 99984 edges, 2392 markings/sec, 35 secs
lola: 108558 markings, 112632 edges, 2432 markings/sec, 40 secs
lola: 120625 markings, 125312 edges, 2413 markings/sec, 45 secs
lola: 132725 markings, 138016 edges, 2420 markings/sec, 50 secs
lola: 144917 markings, 150583 edges, 2438 markings/sec, 55 secs
lola: 157000 markings, 163089 edges, 2417 markings/sec, 60 secs
lola: 169048 markings, 175533 edges, 2410 markings/sec, 65 secs
lola: 181160 markings, 188128 edges, 2422 markings/sec, 70 secs
lola: 193227 markings, 200601 edges, 2413 markings/sec, 75 secs
lola: 205379 markings, 213134 edges, 2430 markings/sec, 80 secs
lola: 217435 markings, 225586 edges, 2411 markings/sec, 85 secs
lola: 229546 markings, 238108 edges, 2422 markings/sec, 90 secs
lola: 241702 markings, 250682 edges, 2431 markings/sec, 95 secs
lola: 253787 markings, 263341 edges, 2417 markings/sec, 100 secs
lola: 265896 markings, 276006 edges, 2422 markings/sec, 105 secs
lola: 277938 markings, 288668 edges, 2408 markings/sec, 110 secs
lola: 289993 markings, 301456 edges, 2411 markings/sec, 115 secs
lola: 302125 markings, 314086 edges, 2426 markings/sec, 120 secs
lola: 314193 markings, 326564 edges, 2414 markings/sec, 125 secs
lola: 326348 markings, 339274 edges, 2431 markings/sec, 130 secs
lola: 338418 markings, 351808 edges, 2414 markings/sec, 135 secs
lola: 350457 markings, 364244 edges, 2408 markings/sec, 140 secs
lola: 362499 markings, 376660 edges, 2408 markings/sec, 145 secs
lola: 374589 markings, 389254 edges, 2418 markings/sec, 150 secs
lola: 386574 markings, 401886 edges, 2397 markings/sec, 155 secs
lola: 398659 markings, 414659 edges, 2417 markings/sec, 160 secs
lola: 410861 markings, 427399 edges, 2440 markings/sec, 165 secs
lola: 422764 markings, 440018 edges, 2381 markings/sec, 170 secs
lola: 434855 markings, 452549 edges, 2418 markings/sec, 175 secs
lola: 446939 markings, 465265 edges, 2417 markings/sec, 180 secs
lola: 458857 markings, 477617 edges, 2384 markings/sec, 185 secs
lola: 470949 markings, 490331 edges, 2418 markings/sec, 190 secs
lola: 482900 markings, 503160 edges, 2390 markings/sec, 195 secs
lola: 494988 markings, 515913 edges, 2418 markings/sec, 200 secs
lola: 507106 markings, 528538 edges, 2424 markings/sec, 205 secs
lola: 519207 markings, 541244 edges, 2420 markings/sec, 210 secs
lola: 531202 markings, 553887 edges, 2399 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: 11968 markings, 12384 edges, 2394 markings/sec, 0 secs
lola: 23934 markings, 24739 edges, 2393 markings/sec, 5 secs
lola: 35947 markings, 37260 edges, 2403 markings/sec, 10 secs
lola: 47940 markings, 49539 edges, 2399 markings/sec, 15 secs
lola: 59928 markings, 61933 edges, 2398 markings/sec, 20 secs
lola: 71874 markings, 74340 edges, 2389 markings/sec, 25 secs
lola: 83903 markings, 86886 edges, 2406 markings/sec, 30 secs
lola: 95760 markings, 99494 edges, 2371 markings/sec, 35 secs
lola: 107858 markings, 112065 edges, 2420 markings/sec, 40 secs
lola: 119891 markings, 124707 edges, 2407 markings/sec, 45 secs
lola: 131847 markings, 137277 edges, 2391 markings/sec, 50 secs
lola: 143970 markings, 149857 edges, 2425 markings/sec, 55 secs
lola: 155989 markings, 162304 edges, 2404 markings/sec, 60 secs
lola: 167972 markings, 174710 edges, 2397 markings/sec, 65 secs
lola: 179983 markings, 187143 edges, 2402 markings/sec, 70 secs
lola: 191991 markings, 199669 edges, 2402 markings/sec, 75 secs
lola: 204058 markings, 212057 edges, 2413 markings/sec, 80 secs
lola: 216045 markings, 224494 edges, 2397 markings/sec, 85 secs
lola: 228041 markings, 236943 edges, 2399 markings/sec, 90 secs
lola: 239911 markings, 249209 edges, 2374 markings/sec, 95 secs
lola: 251732 markings, 261519 edges, 2364 markings/sec, 100 secs
lola: 263511 markings, 273893 edges, 2356 markings/sec, 105 secs
lola: 275302 markings, 286297 edges, 2358 markings/sec, 110 secs
lola: 287083 markings, 298754 edges, 2356 markings/sec, 115 secs
lola: 298976 markings, 311148 edges, 2379 markings/sec, 120 secs
lola: 310922 markings, 323551 edges, 2389 markings/sec, 125 secs
lola: 322874 markings, 336051 edges, 2390 markings/sec, 130 secs
lola: 334875 markings, 348591 edges, 2400 markings/sec, 135 secs
lola: 346777 markings, 360915 edges, 2380 markings/sec, 140 secs
lola: 358695 markings, 373209 edges, 2384 markings/sec, 145 secs
lola: 370592 markings, 385558 edges, 2379 markings/sec, 150 secs
lola: 382541 markings, 398008 edges, 2390 markings/sec, 155 secs
lola: 394532 markings, 410772 edges, 2398 markings/sec, 160 secs
lola: 406554 markings, 423422 edges, 2404 markings/sec, 165 secs
lola: 418538 markings, 436091 edges, 2397 markings/sec, 170 secs
lola: 430492 markings, 448619 edges, 2391 markings/sec, 175 secs
lola: 442553 markings, 461308 edges, 2412 markings/sec, 180 secs
lola: 454492 markings, 473713 edges, 2388 markings/sec, 185 secs
lola: 466433 markings, 486275 edges, 2388 markings/sec, 190 secs
lola: 478460 markings, 498941 edges, 2405 markings/sec, 195 secs
lola: 490388 markings, 511787 edges, 2386 markings/sec, 200 secs
lola: 502463 markings, 524416 edges, 2415 markings/sec, 205 secs
lola: 514494 markings, 537027 edges, 2406 markings/sec, 210 secs
lola: 526590 markings, 549641 edges, 2419 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: 12149 markings, 12637 edges, 2430 markings/sec, 0 secs
lola: 24302 markings, 25259 edges, 2431 markings/sec, 5 secs
lola: 36490 markings, 37995 edges, 2438 markings/sec, 10 secs
lola: 48283 markings, 50190 edges, 2359 markings/sec, 15 secs
lola: 60338 markings, 62667 edges, 2411 markings/sec, 20 secs
lola: 72345 markings, 75240 edges, 2401 markings/sec, 25 secs
lola: 84464 markings, 87867 edges, 2424 markings/sec, 30 secs
lola: 96368 markings, 100554 edges, 2381 markings/sec, 35 secs
lola: 108544 markings, 113291 edges, 2435 markings/sec, 40 secs
lola: 120630 markings, 126045 edges, 2417 markings/sec, 45 secs
lola: 132675 markings, 138773 edges, 2409 markings/sec, 50 secs
lola: 144782 markings, 151366 edges, 2421 markings/sec, 55 secs
lola: 156834 markings, 163885 edges, 2410 markings/sec, 60 secs
lola: 168862 markings, 176436 edges, 2406 markings/sec, 65 secs
lola: 180914 markings, 188911 edges, 2410 markings/sec, 70 secs
lola: 192947 markings, 201482 edges, 2407 markings/sec, 75 secs
lola: 205007 markings, 213949 edges, 2412 markings/sec, 80 secs
lola: 217025 markings, 226460 edges, 2404 markings/sec, 85 secs
lola: 229120 markings, 238994 edges, 2419 markings/sec, 90 secs
lola: 241248 markings, 251609 edges, 2426 markings/sec, 95 secs
lola: 253294 markings, 264265 edges, 2409 markings/sec, 100 secs
lola: 265330 markings, 276896 edges, 2407 markings/sec, 105 secs
lola: 277380 markings, 289577 edges, 2410 markings/sec, 110 secs
lola: 289354 markings, 302284 edges, 2395 markings/sec, 115 secs
lola: 301415 markings, 314923 edges, 2412 markings/sec, 120 secs
lola: 313422 markings, 327383 edges, 2401 markings/sec, 125 secs
lola: 325533 markings, 340193 edges, 2422 markings/sec, 130 secs
lola: 337542 markings, 352803 edges, 2402 markings/sec, 135 secs
lola: 349562 markings, 365344 edges, 2404 markings/sec, 140 secs
lola: 361570 markings, 377730 edges, 2402 markings/sec, 145 secs
lola: 373599 markings, 390303 edges, 2406 markings/sec, 150 secs
lola: 385616 markings, 402973 edges, 2403 markings/sec, 155 secs
lola: 397648 markings, 415722 edges, 2406 markings/sec, 160 secs
lola: 409701 markings, 428459 edges, 2411 markings/sec, 165 secs
lola: 421562 markings, 441104 edges, 2372 markings/sec, 170 secs
lola: 433598 markings, 453633 edges, 2407 markings/sec, 175 secs
lola: 445673 markings, 466405 edges, 2415 markings/sec, 180 secs
lola: 457553 markings, 478806 edges, 2376 markings/sec, 185 secs
lola: 469593 markings, 491505 edges, 2408 markings/sec, 190 secs
lola: 481570 markings, 504212 edges, 2395 markings/sec, 195 secs
lola: 493547 markings, 517137 edges, 2395 markings/sec, 200 secs
lola: 505631 markings, 529719 edges, 2417 markings/sec, 205 secs
lola: 517691 markings, 542452 edges, 2412 markings/sec, 210 secs
lola: 529677 markings, 555146 edges, 2397 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: 12085 markings, 12571 edges, 2417 markings/sec, 0 secs
lola: 24157 markings, 25106 edges, 2414 markings/sec, 5 secs
lola: 36269 markings, 37773 edges, 2422 markings/sec, 10 secs
lola: 48301 markings, 50208 edges, 2406 markings/sec, 15 secs
lola: 60300 markings, 62629 edges, 2400 markings/sec, 20 secs
lola: 72244 markings, 75122 edges, 2389 markings/sec, 25 secs
lola: 84282 markings, 87668 edges, 2408 markings/sec, 30 secs
lola: 96139 markings, 100322 edges, 2371 markings/sec, 35 secs
lola: 108259 markings, 112991 edges, 2424 markings/sec, 40 secs
lola: 120295 markings, 125710 edges, 2407 markings/sec, 45 secs
lola: 132267 markings, 138349 edges, 2394 markings/sec, 50 secs
lola: 144422 markings, 150993 edges, 2431 markings/sec, 55 secs
lola: 156483 markings, 163533 edges, 2412 markings/sec, 60 secs
lola: 168483 markings, 176041 edges, 2400 markings/sec, 65 secs
lola: 180521 markings, 188499 edges, 2408 markings/sec, 70 secs
lola: 192542 markings, 201075 edges, 2404 markings/sec, 75 secs
lola: 204639 markings, 213558 edges, 2419 markings/sec, 80 secs
lola: 216640 markings, 226059 edges, 2400 markings/sec, 85 secs
lola: 228713 markings, 238587 edges, 2415 markings/sec, 90 secs
lola: 240828 markings, 251172 edges, 2423 markings/sec, 95 secs
lola: 252858 markings, 263798 edges, 2406 markings/sec, 100 secs
lola: 264872 markings, 276423 edges, 2403 markings/sec, 105 secs
lola: 276927 markings, 289095 edges, 2411 markings/sec, 110 secs
lola: 288878 markings, 301778 edges, 2390 markings/sec, 115 secs
lola: 300939 markings, 314426 edges, 2412 markings/sec, 120 secs
lola: 312884 markings, 326828 edges, 2389 markings/sec, 125 secs
lola: 324914 markings, 339547 edges, 2406 markings/sec, 130 secs
lola: 336927 markings, 352148 edges, 2403 markings/sec, 135 secs
lola: 348922 markings, 364665 edges, 2399 markings/sec, 140 secs
lola: 360934 markings, 377077 edges, 2402 markings/sec, 145 secs
lola: 372963 markings, 389649 edges, 2406 markings/sec, 150 secs
lola: 384978 markings, 402291 edges, 2403 markings/sec, 155 secs
lola: 396979 markings, 415026 edges, 2400 markings/sec, 160 secs
lola: 409002 markings, 427732 edges, 2405 markings/sec, 165 secs
lola: 420397 markings, 439835 edges, 2279 markings/sec, 170 secs
lola: 432372 markings, 452370 edges, 2395 markings/sec, 175 secs
lola: 444095 markings, 464753 edges, 2345 markings/sec, 180 secs
lola: 455900 markings, 477081 edges, 2361 markings/sec, 185 secs
lola: 467847 markings, 489678 edges, 2389 markings/sec, 190 secs
lola: 479838 markings, 502338 edges, 2398 markings/sec, 195 secs
lola: 491730 markings, 515221 edges, 2378 markings/sec, 200 secs
lola: 503813 markings, 527843 edges, 2417 markings/sec, 205 secs
lola: 515853 markings, 540543 edges, 2408 markings/sec, 210 secs
lola: 527927 markings, 553203 edges, 2415 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 1496500039258

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_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/S_PolyORBLF-PT-S06J06T04.tgz
mv S_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 S_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 r128-smll-149441681700533"
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 ;