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-S06J04T04, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681700506
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496482716264


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


checking for too many tokens
===========================================================================================
S_PolyORBLF-PT-S06J04T04: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-PT-S06J04T04 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 7448/65536 symbol table entries, 4121 collisions
lola: preprocessing...
lola: finding significant places
lola: 454 places, 6994 transitions, 404 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1823 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J04T04-UpperBounds.task
lola: MAX(ScheduleTaskE_Work_1_0 + ScheduleTaskE_Work_1_1 + ScheduleTaskE_Work_1_2 + ScheduleTaskE_Work_1_3 + ScheduleTaskE_Work_1_4 + ScheduleTaskE_Work_2_0 + ScheduleTaskE_Work_2_1 + ScheduleTaskE_Work_2_2 + ScheduleTaskE_Work_2_3 + ScheduleTaskE_Work_2_4 + ScheduleTaskE_Work_3_0 + ScheduleTaskE_Work_3_1 + ScheduleTaskE_Work_3_2 + ScheduleTaskE_Work_3_3 + ScheduleTaskE_Work_3_4 + ScheduleTaskE_Work_4_0 + ScheduleTaskE_Work_4_1 + ScheduleTaskE_Work_4_2 + ScheduleTaskE_Work_4_3 + ScheduleTaskE_Work_4_4) : MAX(NotifyEventJobCompletedB_1 + NotifyEventJobCompletedB_2 + NotifyEventJobCompletedB_3 + NotifyEventJobCompletedB_4) : MAX(P_1717) : MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5 + ModifiedSrc_6) : MAX(NotifyEventJobQueuedB_2_0 + NotifyEventJobQueuedB_2_1 + NotifyEventJobQueuedB_2_2 + NotifyEventJobQueuedB_2_3 + NotifyEventJobQueuedB_2_4 + NotifyEventJobQueuedB_3_0 + NotifyEventJobQueuedB_3_1 + NotifyEventJobQueuedB_3_2 + NotifyEventJobQueuedB_3_3 + NotifyEventJobQueuedB_3_4 + NotifyEventJobQueuedB_4_0 + NotifyEventJobQueuedB_4_1 + NotifyEventJobQueuedB_4_2 + NotifyEventJobQueuedB_4_3 + NotifyEventJobQueuedB_4_4 + NotifyEventJobQueuedB_1_0 + NotifyEventJobQueuedB_1_1 + NotifyEventJobQueuedB_1_2 + NotifyEventJobQueuedB_1_3 + NotifyEventJobQueuedB_1_4) : MAX(P_1095) : MAX(P_2321_4 + P_2321_3 + P_2321_2 + P_2321_1) : MAX(cIdleTasks) : MAX(BlockedTasks) : MAX(P_1119_1_1 + P_1119_1_2 + P_1119_1_3 + P_1119_1_4 + P_1119_1_5 + P_1119_1_6 + P_1119_2_1 + P_1119_2_2 + P_1119_2_3 + P_1119_2_4 + P_1119_2_5 + P_1119_2_6 + P_1119_3_1 + P_1119_3_2 + P_1119_3_3 + P_1119_3_4 + P_1119_3_5 + P_1119_3_6 + P_1119_4_1 + P_1119_4_2 + P_1119_4_3 + P_1119_4_4 + P_1119_4_5 + P_1119_4_6) : MAX(JobCnt) : MAX(P_1726) : MAX(Check_Sources_B_1 + Check_Sources_B_2 + Check_Sources_B_3 + Check_Sources_B_4) : MAX(IsMonitoring) : MAX(CanInjectEvent) : MAX(NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4)
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(ScheduleTaskE_Work_1_0 + ScheduleTaskE_Work_1_1 + ScheduleTaskE_Work_1_2 + ScheduleTaskE_Work_1_3 + ScheduleTaskE_Work_1_4 + ScheduleTaskE_Work_2_0 + ScheduleTaskE_Work_2_1 + ScheduleTaskE_Work_2_2 + ScheduleTaskE_Work_2_3 + ScheduleTaskE_Work_2_4 + ScheduleTaskE_Work_3_0 + ScheduleTaskE_Work_3_1 + ScheduleTaskE_Work_3_2 + ScheduleTaskE_Work_3_3 + ScheduleTaskE_Work_3_4 + ScheduleTaskE_Work_4_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 9778 markings, 29787 edges, 1956 markings/sec, 0 secs
lola: 19660 markings, 59216 edges, 1976 markings/sec, 5 secs
lola: 29519 markings, 87632 edges, 1972 markings/sec, 10 secs
lola: 39448 markings, 113626 edges, 1986 markings/sec, 15 secs
lola: 49579 markings, 141475 edges, 2026 markings/sec, 20 secs
lola: 59781 markings, 166243 edges, 2040 markings/sec, 25 secs
lola: 70665 markings, 193937 edges, 2177 markings/sec, 30 secs
lola: 80718 markings, 221976 edges, 2011 markings/sec, 35 secs
lola: 91249 markings, 248077 edges, 2106 markings/sec, 40 secs
lola: 101574 markings, 273812 edges, 2065 markings/sec, 45 secs
lola: 111960 markings, 299920 edges, 2077 markings/sec, 50 secs
lola: 121952 markings, 326188 edges, 1998 markings/sec, 55 secs
lola: 132588 markings, 353237 edges, 2127 markings/sec, 60 secs
lola: 143790 markings, 377792 edges, 2240 markings/sec, 65 secs
lola: 154128 markings, 405342 edges, 2068 markings/sec, 70 secs
lola: 166272 markings, 430598 edges, 2429 markings/sec, 75 secs
lola: 178329 markings, 455638 edges, 2411 markings/sec, 80 secs
lola: 191098 markings, 477645 edges, 2554 markings/sec, 85 secs
lola: 202489 markings, 498221 edges, 2278 markings/sec, 90 secs
lola: 214961 markings, 523967 edges, 2494 markings/sec, 95 secs
lola: 227330 markings, 547140 edges, 2474 markings/sec, 100 secs
lola: 239778 markings, 569085 edges, 2490 markings/sec, 105 secs
lola: 251966 markings, 590492 edges, 2438 markings/sec, 110 secs
lola: 264151 markings, 612211 edges, 2437 markings/sec, 115 secs
lola: 276990 markings, 636228 edges, 2568 markings/sec, 120 secs
lola: 291301 markings, 659177 edges, 2862 markings/sec, 125 secs
lola: 304746 markings, 685525 edges, 2689 markings/sec, 130 secs
lola: 321311 markings, 710330 edges, 3313 markings/sec, 135 secs
lola: 337254 markings, 737153 edges, 3189 markings/sec, 140 secs
lola: 352194 markings, 761600 edges, 2988 markings/sec, 145 secs
lola: 369712 markings, 787323 edges, 3504 markings/sec, 150 secs
lola: 386370 markings, 813116 edges, 3332 markings/sec, 155 secs
lola: 404353 markings, 840304 edges, 3597 markings/sec, 160 secs
lola: 420537 markings, 865591 edges, 3237 markings/sec, 165 secs
lola: 435761 markings, 889539 edges, 3045 markings/sec, 170 secs
lola: 451722 markings, 914628 edges, 3192 markings/sec, 175 secs
lola: 466979 markings, 939781 edges, 3051 markings/sec, 180 secs
lola: 483184 markings, 966076 edges, 3241 markings/sec, 185 secs
lola: 499860 markings, 992541 edges, 3335 markings/sec, 190 secs
lola: 515085 markings, 1017764 edges, 3045 markings/sec, 195 secs
lola: 530775 markings, 1043421 edges, 3138 markings/sec, 200 secs
lola: 544670 markings, 1069017 edges, 2779 markings/sec, 205 secs
lola: 561916 markings, 1094997 edges, 3449 markings/sec, 210 secs
lola: 577394 markings, 1120390 edges, 3096 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(NotifyEventJobCompletedB_1 + NotifyEventJobCompletedB_2 + NotifyEventJobCompletedB_3 + NotifyEventJobCompletedB_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 21560 markings, 27058 edges, 4312 markings/sec, 0 secs
lola: 44360 markings, 53678 edges, 4560 markings/sec, 5 secs
lola: 66872 markings, 81661 edges, 4502 markings/sec, 10 secs
lola: 89335 markings, 109548 edges, 4493 markings/sec, 15 secs
lola: 111385 markings, 137702 edges, 4410 markings/sec, 20 secs
lola: 132995 markings, 166659 edges, 4322 markings/sec, 25 secs
lola: 154653 markings, 196675 edges, 4332 markings/sec, 30 secs
lola: 176502 markings, 226179 edges, 4370 markings/sec, 35 secs
lola: 198342 markings, 255946 edges, 4368 markings/sec, 40 secs
lola: 219031 markings, 287044 edges, 4138 markings/sec, 45 secs
lola: 241203 markings, 316333 edges, 4434 markings/sec, 50 secs
lola: 262739 markings, 347555 edges, 4307 markings/sec, 55 secs
lola: 284654 markings, 377868 edges, 4383 markings/sec, 60 secs
lola: 306075 markings, 407841 edges, 4284 markings/sec, 65 secs
lola: 327602 markings, 438510 edges, 4305 markings/sec, 70 secs
lola: 349498 markings, 468946 edges, 4379 markings/sec, 75 secs
lola: 371110 markings, 500168 edges, 4322 markings/sec, 80 secs
lola: 393109 markings, 531277 edges, 4400 markings/sec, 85 secs
lola: 415555 markings, 561386 edges, 4489 markings/sec, 90 secs
lola: 438197 markings, 592224 edges, 4528 markings/sec, 95 secs
lola: 460386 markings, 622704 edges, 4438 markings/sec, 100 secs
lola: 482577 markings, 654276 edges, 4438 markings/sec, 105 secs
lola: 505295 markings, 685509 edges, 4544 markings/sec, 110 secs
lola: 527948 markings, 716344 edges, 4531 markings/sec, 115 secs
lola: 550095 markings, 747582 edges, 4429 markings/sec, 120 secs
lola: 572628 markings, 778656 edges, 4507 markings/sec, 125 secs
lola: 595237 markings, 808485 edges, 4522 markings/sec, 130 secs
lola: 617192 markings, 839126 edges, 4391 markings/sec, 135 secs
lola: 639468 markings, 869672 edges, 4455 markings/sec, 140 secs
lola: 661700 markings, 901126 edges, 4446 markings/sec, 145 secs
lola: 684477 markings, 932533 edges, 4555 markings/sec, 150 secs
lola: 706602 markings, 964068 edges, 4425 markings/sec, 155 secs
lola: 728450 markings, 995264 edges, 4370 markings/sec, 160 secs
lola: 750993 markings, 1026327 edges, 4509 markings/sec, 165 secs
lola: 773038 markings, 1058119 edges, 4409 markings/sec, 170 secs
lola: 795103 markings, 1089938 edges, 4413 markings/sec, 175 secs
lola: 817092 markings, 1122212 edges, 4398 markings/sec, 180 secs
lola: 839578 markings, 1153111 edges, 4497 markings/sec, 185 secs
lola: 861927 markings, 1185514 edges, 4470 markings/sec, 190 secs
lola: 883914 markings, 1216961 edges, 4397 markings/sec, 195 secs
lola: 906729 markings, 1247841 edges, 4563 markings/sec, 200 secs
lola: 927679 markings, 1281307 edges, 4190 markings/sec, 205 secs
lola: 949325 markings, 1313906 edges, 4329 markings/sec, 210 secs
lola: 970602 markings, 1346558 edges, 4255 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_1717)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 9778 markings, 29787 edges, 1956 markings/sec, 0 secs
lola: 19624 markings, 58356 edges, 1969 markings/sec, 5 secs
lola: 29546 markings, 86758 edges, 1984 markings/sec, 10 secs
lola: 39419 markings, 114606 edges, 1975 markings/sec, 15 secs
lola: 49462 markings, 142716 edges, 2009 markings/sec, 20 secs
lola: 59767 markings, 168196 edges, 2061 markings/sec, 25 secs
lola: 70192 markings, 194543 edges, 2085 markings/sec, 30 secs
lola: 80285 markings, 223612 edges, 2019 markings/sec, 35 secs
lola: 90122 markings, 250894 edges, 1967 markings/sec, 40 secs
lola: 100420 markings, 277884 edges, 2060 markings/sec, 45 secs
lola: 110819 markings, 302663 edges, 2080 markings/sec, 50 secs
lola: 121345 markings, 327895 edges, 2105 markings/sec, 55 secs
lola: 132288 markings, 351661 edges, 2189 markings/sec, 60 secs
lola: 143568 markings, 373047 edges, 2256 markings/sec, 65 secs
lola: 154030 markings, 397756 edges, 2092 markings/sec, 70 secs
lola: 164678 markings, 422260 edges, 2130 markings/sec, 75 secs
lola: 175187 markings, 448793 edges, 2102 markings/sec, 80 secs
lola: 186253 markings, 472240 edges, 2213 markings/sec, 85 secs
lola: 197870 markings, 497248 edges, 2323 markings/sec, 90 secs
lola: 210003 markings, 520491 edges, 2427 markings/sec, 95 secs
lola: 224395 markings, 544262 edges, 2878 markings/sec, 100 secs
lola: 238411 markings, 569747 edges, 2803 markings/sec, 105 secs
lola: 251229 markings, 592922 edges, 2564 markings/sec, 110 secs
lola: 264183 markings, 615061 edges, 2591 markings/sec, 115 secs
lola: 276875 markings, 635652 edges, 2538 markings/sec, 120 secs
lola: 290970 markings, 660754 edges, 2819 markings/sec, 125 secs
lola: 306947 markings, 685577 edges, 3195 markings/sec, 130 secs
lola: 323042 markings, 710457 edges, 3219 markings/sec, 135 secs
lola: 337687 markings, 733819 edges, 2929 markings/sec, 140 secs
lola: 354845 markings, 758401 edges, 3432 markings/sec, 145 secs
lola: 369907 markings, 782981 edges, 3012 markings/sec, 150 secs
lola: 384817 markings, 807522 edges, 2982 markings/sec, 155 secs
lola: 401534 markings, 831914 edges, 3343 markings/sec, 160 secs
lola: 417675 markings, 856630 edges, 3228 markings/sec, 165 secs
lola: 433893 markings, 882366 edges, 3244 markings/sec, 170 secs
lola: 448155 markings, 907087 edges, 2852 markings/sec, 175 secs
lola: 463079 markings, 930643 edges, 2985 markings/sec, 180 secs
lola: 480984 markings, 956499 edges, 3581 markings/sec, 185 secs
lola: 498757 markings, 983422 edges, 3555 markings/sec, 190 secs
lola: 513418 markings, 1008633 edges, 2932 markings/sec, 195 secs
lola: 529759 markings, 1033213 edges, 3268 markings/sec, 200 secs
lola: 547338 markings, 1057669 edges, 3516 markings/sec, 205 secs
lola: 562383 markings, 1083549 edges, 3009 markings/sec, 210 secs
lola: 577294 markings, 1107801 edges, 2982 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(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5 + ModifiedSrc_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 18506 markings, 36898 edges, 3701 markings/sec, 0 secs
lola: 56193 markings, 87029 edges, 7537 markings/sec, 5 secs
lola: 95031 markings, 139483 edges, 7768 markings/sec, 10 secs
lola: 135964 markings, 210688 edges, 8187 markings/sec, 15 secs
lola: 175787 markings, 266491 edges, 7965 markings/sec, 20 secs
lola: 214796 markings, 320490 edges, 7802 markings/sec, 25 secs
lola: 256210 markings, 393198 edges, 8283 markings/sec, 30 secs
lola: 297215 markings, 455848 edges, 8201 markings/sec, 35 secs
lola: 337696 markings, 537139 edges, 8096 markings/sec, 40 secs
lola: 378920 markings, 610961 edges, 8245 markings/sec, 45 secs
lola: 421643 markings, 700250 edges, 8545 markings/sec, 50 secs
lola: 462108 markings, 771231 edges, 8093 markings/sec, 55 secs
lola: 503253 markings, 857263 edges, 8229 markings/sec, 60 secs
lola: 543418 markings, 929004 edges, 8033 markings/sec, 65 secs
lola: 586178 markings, 1016084 edges, 8552 markings/sec, 70 secs
lola: 625084 markings, 1087285 edges, 7781 markings/sec, 75 secs
lola: 664302 markings, 1156537 edges, 7844 markings/sec, 80 secs
lola: 686632 markings, 1197351 edges, 4466 markings/sec, 85 secs
lola: 715803 markings, 1258852 edges, 5834 markings/sec, 90 secs
lola: 755780 markings, 1320672 edges, 7995 markings/sec, 95 secs
lola: 794811 markings, 1399697 edges, 7806 markings/sec, 100 secs
lola: 833580 markings, 1469882 edges, 7754 markings/sec, 105 secs
lola: 874625 markings, 1541934 edges, 8209 markings/sec, 110 secs
lola: 914010 markings, 1612187 edges, 7877 markings/sec, 115 secs
lola: 952625 markings, 1683401 edges, 7723 markings/sec, 120 secs
lola: 994534 markings, 1770552 edges, 8382 markings/sec, 125 secs
lola: 1033703 markings, 1838918 edges, 7834 markings/sec, 130 secs
lola: 1071412 markings, 1892066 edges, 7542 markings/sec, 135 secs
lola: 1111573 markings, 1970408 edges, 8032 markings/sec, 140 secs
lola: 1151462 markings, 2049049 edges, 7978 markings/sec, 145 secs
lola: 1190402 markings, 2118093 edges, 7788 markings/sec, 150 secs
lola: 1231025 markings, 2190497 edges, 8125 markings/sec, 155 secs
lola: 1273544 markings, 2277174 edges, 8504 markings/sec, 160 secs
lola: 1313339 markings, 2353242 edges, 7959 markings/sec, 165 secs
lola: 1355097 markings, 2440437 edges, 8352 markings/sec, 170 secs
lola: 1395156 markings, 2517628 edges, 8012 markings/sec, 175 secs
lola: 1434948 markings, 2595488 edges, 7958 markings/sec, 180 secs
lola: 1475851 markings, 2671882 edges, 8181 markings/sec, 185 secs
lola: 1515450 markings, 2751142 edges, 7920 markings/sec, 190 secs
lola: 1556779 markings, 2834590 edges, 8266 markings/sec, 195 secs
lola: 1596278 markings, 2904155 edges, 7900 markings/sec, 200 secs
lola: 1635462 markings, 2978400 edges, 7837 markings/sec, 205 secs
lola: 1676023 markings, 3057352 edges, 8112 markings/sec, 210 secs
lola: 1716599 markings, 3141335 edges, 8115 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(NotifyEventJobQueuedB_2_0 + NotifyEventJobQueuedB_2_1 + NotifyEventJobQueuedB_2_2 + NotifyEventJobQueuedB_2_3 + NotifyEventJobQueuedB_2_4 + NotifyEventJobQueuedB_3_0 + NotifyEventJobQueuedB_3_1 + NotifyEventJobQueuedB_3_2 + NotifyEventJobQueuedB_3_3 + NotifyEventJobQueuedB_3_4 + NotifyEventJobQueuedB_4_0 + NotifyEventJobQueuedB_4_1 + NotifyEventJobQueuedB_4_2 + NotifyEventJobQueuedB_4_3 + Noti... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 32107 markings, 53429 edges, 6421 markings/sec, 0 secs
lola: 57456 markings, 81568 edges, 5070 markings/sec, 5 secs
lola: 81560 markings, 107529 edges, 4821 markings/sec, 10 secs
lola: 106041 markings, 134023 edges, 4896 markings/sec, 15 secs
lola: 130513 markings, 160694 edges, 4894 markings/sec, 20 secs
lola: 155681 markings, 188656 edges, 5034 markings/sec, 25 secs
lola: 180250 markings, 214817 edges, 4914 markings/sec, 30 secs
lola: 203189 markings, 240045 edges, 4588 markings/sec, 35 secs
lola: 227211 markings, 266262 edges, 4804 markings/sec, 40 secs
lola: 251001 markings, 291998 edges, 4758 markings/sec, 45 secs
lola: 276444 markings, 320374 edges, 5089 markings/sec, 50 secs
lola: 301096 markings, 347314 edges, 4930 markings/sec, 55 secs
lola: 326124 markings, 375513 edges, 5006 markings/sec, 60 secs
lola: 350693 markings, 403475 edges, 4914 markings/sec, 65 secs
lola: 376006 markings, 431870 edges, 5063 markings/sec, 70 secs
lola: 400931 markings, 460612 edges, 4985 markings/sec, 75 secs
lola: 425522 markings, 487949 edges, 4918 markings/sec, 80 secs
lola: 450872 markings, 516434 edges, 5070 markings/sec, 85 secs
lola: 475530 markings, 543661 edges, 4932 markings/sec, 90 secs
lola: 500461 markings, 570953 edges, 4986 markings/sec, 95 secs
lola: 526996 markings, 603281 edges, 5307 markings/sec, 100 secs
lola: 551487 markings, 630334 edges, 4898 markings/sec, 105 secs
lola: 575739 markings, 657396 edges, 4850 markings/sec, 110 secs
lola: 600835 markings, 685844 edges, 5019 markings/sec, 115 secs
lola: 626538 markings, 715102 edges, 5141 markings/sec, 120 secs
lola: 650807 markings, 741774 edges, 4854 markings/sec, 125 secs
lola: 675009 markings, 768500 edges, 4840 markings/sec, 130 secs
lola: 699181 markings, 795321 edges, 4834 markings/sec, 135 secs
lola: 723921 markings, 822948 edges, 4948 markings/sec, 140 secs
lola: 748381 markings, 849792 edges, 4892 markings/sec, 145 secs
lola: 772916 markings, 877245 edges, 4907 markings/sec, 150 secs
lola: 797610 markings, 905390 edges, 4939 markings/sec, 155 secs
lola: 822403 markings, 932937 edges, 4959 markings/sec, 160 secs
lola: 847510 markings, 962237 edges, 5021 markings/sec, 165 secs
lola: 872044 markings, 990689 edges, 4907 markings/sec, 170 secs
lola: 896620 markings, 1017571 edges, 4915 markings/sec, 175 secs
lola: 922231 markings, 1047122 edges, 5122 markings/sec, 180 secs
lola: 945659 markings, 1073395 edges, 4686 markings/sec, 185 secs
lola: 969140 markings, 1099510 edges, 4696 markings/sec, 190 secs
lola: 993641 markings, 1127981 edges, 4900 markings/sec, 195 secs
lola: 1020522 markings, 1160446 edges, 5376 markings/sec, 200 secs
lola: 1043771 markings, 1186055 edges, 4650 markings/sec, 205 secs
lola: 1068856 markings, 1214928 edges, 5017 markings/sec, 210 secs
lola: 1094935 markings, 1245291 edges, 5216 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_1095)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 36459 markings, 38098 edges, 7292 markings/sec, 0 secs
lola: 72794 markings, 76071 edges, 7267 markings/sec, 5 secs
lola: 109047 markings, 113893 edges, 7251 markings/sec, 10 secs
lola: 145245 markings, 151702 edges, 7240 markings/sec, 15 secs
lola: 174934 markings, 183105 edges, 5938 markings/sec, 20 secs
lola: 198775 markings, 208191 edges, 4768 markings/sec, 25 secs
lola: 222513 markings, 233325 edges, 4748 markings/sec, 30 secs
lola: 246398 markings, 258743 edges, 4777 markings/sec, 35 secs
lola: 270385 markings, 284529 edges, 4797 markings/sec, 40 secs
lola: 293491 markings, 308626 edges, 4621 markings/sec, 45 secs
lola: 317184 markings, 333616 edges, 4739 markings/sec, 50 secs
lola: 340384 markings, 358043 edges, 4640 markings/sec, 55 secs
lola: 364116 markings, 383323 edges, 4746 markings/sec, 60 secs
lola: 387777 markings, 408541 edges, 4732 markings/sec, 65 secs
lola: 411352 markings, 433285 edges, 4715 markings/sec, 70 secs
lola: 435369 markings, 459930 edges, 4803 markings/sec, 75 secs
lola: 459267 markings, 485236 edges, 4780 markings/sec, 80 secs
lola: 482860 markings, 510126 edges, 4719 markings/sec, 85 secs
lola: 506697 markings, 535498 edges, 4767 markings/sec, 90 secs
lola: 530052 markings, 559898 edges, 4671 markings/sec, 95 secs
lola: 553687 markings, 584961 edges, 4727 markings/sec, 100 secs
lola: 577743 markings, 610935 edges, 4811 markings/sec, 105 secs
lola: 601821 markings, 636776 edges, 4816 markings/sec, 110 secs
lola: 625950 markings, 663160 edges, 4826 markings/sec, 115 secs
lola: 650002 markings, 688958 edges, 4810 markings/sec, 120 secs
lola: 674008 markings, 714629 edges, 4801 markings/sec, 125 secs
lola: 698000 markings, 740478 edges, 4798 markings/sec, 130 secs
lola: 722611 markings, 767053 edges, 4922 markings/sec, 135 secs
lola: 759764 markings, 806548 edges, 7431 markings/sec, 140 secs
lola: 798287 markings, 848350 edges, 7705 markings/sec, 145 secs
lola: 837075 markings, 891319 edges, 7758 markings/sec, 150 secs
lola: 875989 markings, 934462 edges, 7783 markings/sec, 155 secs
lola: 914322 markings, 976655 edges, 7667 markings/sec, 160 secs
lola: 952135 markings, 1017253 edges, 7563 markings/sec, 165 secs
lola: 991478 markings, 1060264 edges, 7869 markings/sec, 170 secs
lola: 1018720 markings, 1090119 edges, 5448 markings/sec, 175 secs
lola: 1042162 markings, 1116915 edges, 4688 markings/sec, 180 secs
lola: 1065516 markings, 1142475 edges, 4671 markings/sec, 185 secs
lola: 1088983 markings, 1168487 edges, 4693 markings/sec, 190 secs
lola: 1112385 markings, 1194727 edges, 4680 markings/sec, 195 secs
lola: 1135946 markings, 1220648 edges, 4712 markings/sec, 200 secs
lola: 1159254 markings, 1246735 edges, 4662 markings/sec, 205 secs
lola: 1183132 markings, 1274163 edges, 4776 markings/sec, 210 secs
lola: 1206879 markings, 1300571 edges, 4749 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_2321_4 + P_2321_3 + P_2321_2 + P_2321_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 32139 markings, 47959 edges, 6428 markings/sec, 0 secs
lola: 70928 markings, 99048 edges, 7758 markings/sec, 5 secs
lola: 109823 markings, 151153 edges, 7779 markings/sec, 10 secs
lola: 149089 markings, 204796 edges, 7853 markings/sec, 15 secs
lola: 187598 markings, 256247 edges, 7702 markings/sec, 20 secs
lola: 217712 markings, 302731 edges, 6023 markings/sec, 25 secs
lola: 257275 markings, 358222 edges, 7913 markings/sec, 30 secs
lola: 296519 markings, 411746 edges, 7849 markings/sec, 35 secs
lola: 335747 markings, 465536 edges, 7846 markings/sec, 40 secs
lola: 371997 markings, 517805 edges, 7250 markings/sec, 45 secs
lola: 405966 markings, 569315 edges, 6794 markings/sec, 50 secs
lola: 445797 markings, 625807 edges, 7966 markings/sec, 55 secs
lola: 487547 markings, 695404 edges, 8350 markings/sec, 60 secs
lola: 526645 markings, 755099 edges, 7820 markings/sec, 65 secs
lola: 551980 markings, 799064 edges, 5067 markings/sec, 70 secs
lola: 591527 markings, 856183 edges, 7909 markings/sec, 75 secs
lola: 625317 markings, 906761 edges, 6758 markings/sec, 80 secs
lola: 658111 markings, 956252 edges, 6559 markings/sec, 85 secs
lola: 691304 markings, 1005943 edges, 6639 markings/sec, 90 secs
lola: 729598 markings, 1057350 edges, 7659 markings/sec, 95 secs
lola: 769034 markings, 1113507 edges, 7887 markings/sec, 100 secs
lola: 801943 markings, 1162436 edges, 6582 markings/sec, 105 secs
lola: 840538 markings, 1217121 edges, 7719 markings/sec, 110 secs
lola: 879153 markings, 1271639 edges, 7723 markings/sec, 115 secs
lola: 917944 markings, 1326365 edges, 7758 markings/sec, 120 secs
lola: 956847 markings, 1381676 edges, 7781 markings/sec, 125 secs
lola: 996177 markings, 1439061 edges, 7866 markings/sec, 130 secs
lola: 1024312 markings, 1484821 edges, 5627 markings/sec, 135 secs
lola: 1062835 markings, 1538659 edges, 7705 markings/sec, 140 secs
lola: 1101400 markings, 1592399 edges, 7713 markings/sec, 145 secs
lola: 1138901 markings, 1645938 edges, 7500 markings/sec, 150 secs
lola: 1175193 markings, 1715522 edges, 7258 markings/sec, 155 secs
lola: 1214741 markings, 1773498 edges, 7910 markings/sec, 160 secs
lola: 1254016 markings, 1844716 edges, 7855 markings/sec, 165 secs
lola: 1291172 markings, 1896927 edges, 7431 markings/sec, 170 secs
lola: 1326924 markings, 1949850 edges, 7150 markings/sec, 175 secs
lola: 1364590 markings, 2016952 edges, 7533 markings/sec, 180 secs
lola: 1401124 markings, 2072480 edges, 7307 markings/sec, 185 secs
lola: 1434024 markings, 2125313 edges, 6580 markings/sec, 190 secs
lola: 1475205 markings, 2210001 edges, 8236 markings/sec, 195 secs
lola: 1513932 markings, 2278841 edges, 7745 markings/sec, 200 secs
lola: 1545485 markings, 2326297 edges, 6311 markings/sec, 205 secs
lola: 1572662 markings, 2372066 edges, 5435 markings/sec, 210 secs
lola: 1609644 markings, 2424145 edges, 7396 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(cIdleTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 15162 markings, 28706 edges, 3032 markings/sec, 0 secs
lola: 31018 markings, 58704 edges, 3171 markings/sec, 5 secs
lola: 44183 markings, 92363 edges, 2633 markings/sec, 10 secs
lola: 60340 markings, 120943 edges, 3231 markings/sec, 15 secs
lola: 73504 markings, 151327 edges, 2633 markings/sec, 20 secs
lola: 88959 markings, 182248 edges, 3091 markings/sec, 25 secs
lola: 103381 markings, 211540 edges, 2884 markings/sec, 30 secs
lola: 118436 markings, 241664 edges, 3011 markings/sec, 35 secs
lola: 135527 markings, 269191 edges, 3418 markings/sec, 40 secs
lola: 151860 markings, 298197 edges, 3267 markings/sec, 45 secs
lola: 171279 markings, 325006 edges, 3884 markings/sec, 50 secs
lola: 187621 markings, 351519 edges, 3268 markings/sec, 55 secs
lola: 207525 markings, 378501 edges, 3981 markings/sec, 60 secs
lola: 226267 markings, 406224 edges, 3748 markings/sec, 65 secs
lola: 246046 markings, 431481 edges, 3956 markings/sec, 70 secs
lola: 265394 markings, 457929 edges, 3870 markings/sec, 75 secs
lola: 284610 markings, 483246 edges, 3843 markings/sec, 80 secs
lola: 305074 markings, 509312 edges, 4093 markings/sec, 85 secs
lola: 325685 markings, 534665 edges, 4122 markings/sec, 90 secs
lola: 347415 markings, 560821 edges, 4346 markings/sec, 95 secs
lola: 368535 markings, 586530 edges, 4224 markings/sec, 100 secs
lola: 390696 markings, 613613 edges, 4432 markings/sec, 105 secs
lola: 411954 markings, 639366 edges, 4252 markings/sec, 110 secs
lola: 433343 markings, 664680 edges, 4278 markings/sec, 115 secs
lola: 454897 markings, 689646 edges, 4311 markings/sec, 120 secs
lola: 475684 markings, 715195 edges, 4157 markings/sec, 125 secs
lola: 495083 markings, 740804 edges, 3880 markings/sec, 130 secs
lola: 516305 markings, 766531 edges, 4244 markings/sec, 135 secs
lola: 536645 markings, 792945 edges, 4068 markings/sec, 140 secs
lola: 557502 markings, 818003 edges, 4171 markings/sec, 145 secs
lola: 578552 markings, 844008 edges, 4210 markings/sec, 150 secs
lola: 599717 markings, 870234 edges, 4233 markings/sec, 155 secs
lola: 621588 markings, 896034 edges, 4374 markings/sec, 160 secs
lola: 642355 markings, 921977 edges, 4153 markings/sec, 165 secs
lola: 663753 markings, 947958 edges, 4280 markings/sec, 170 secs
lola: 684161 markings, 973768 edges, 4082 markings/sec, 175 secs
lola: 705272 markings, 999252 edges, 4222 markings/sec, 180 secs
lola: 721938 markings, 1027102 edges, 3333 markings/sec, 185 secs
lola: 742979 markings, 1052903 edges, 4208 markings/sec, 190 secs
lola: 763662 markings, 1080244 edges, 4137 markings/sec, 195 secs
lola: 784870 markings, 1105836 edges, 4242 markings/sec, 200 secs
lola: 806118 markings, 1130932 edges, 4250 markings/sec, 205 secs
lola: 827126 markings, 1155953 edges, 4202 markings/sec, 210 secs
lola: 847512 markings, 1181868 edges, 4077 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(BlockedTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 17328 markings, 26223 edges, 3466 markings/sec, 0 secs
lola: 34752 markings, 54665 edges, 3485 markings/sec, 5 secs
lola: 48473 markings, 89223 edges, 2744 markings/sec, 10 secs
lola: 63458 markings, 122402 edges, 2997 markings/sec, 15 secs
lola: 77798 markings, 156832 edges, 2868 markings/sec, 20 secs
lola: 96392 markings, 185473 edges, 3719 markings/sec, 25 secs
lola: 114040 markings, 215898 edges, 3530 markings/sec, 30 secs
lola: 131492 markings, 249479 edges, 3490 markings/sec, 35 secs
lola: 150806 markings, 278492 edges, 3863 markings/sec, 40 secs
lola: 167569 markings, 310884 edges, 3353 markings/sec, 45 secs
lola: 185902 markings, 342897 edges, 3667 markings/sec, 50 secs
lola: 205254 markings, 372918 edges, 3870 markings/sec, 55 secs
lola: 222986 markings, 405634 edges, 3546 markings/sec, 60 secs
lola: 242753 markings, 436183 edges, 3953 markings/sec, 65 secs
lola: 262956 markings, 464539 edges, 4041 markings/sec, 70 secs
lola: 282846 markings, 495426 edges, 3978 markings/sec, 75 secs
lola: 304061 markings, 525718 edges, 4243 markings/sec, 80 secs
lola: 325200 markings, 555765 edges, 4228 markings/sec, 85 secs
lola: 346172 markings, 586449 edges, 4194 markings/sec, 90 secs
lola: 367508 markings, 616246 edges, 4267 markings/sec, 95 secs
lola: 390648 markings, 646987 edges, 4628 markings/sec, 100 secs
lola: 412759 markings, 677067 edges, 4422 markings/sec, 105 secs
lola: 434441 markings, 707401 edges, 4336 markings/sec, 110 secs
lola: 457446 markings, 737442 edges, 4601 markings/sec, 115 secs
lola: 478545 markings, 767779 edges, 4220 markings/sec, 120 secs
lola: 500026 markings, 799814 edges, 4296 markings/sec, 125 secs
lola: 519772 markings, 832016 edges, 3949 markings/sec, 130 secs
lola: 541627 markings, 860918 edges, 4371 markings/sec, 135 secs
lola: 563801 markings, 888702 edges, 4435 markings/sec, 140 secs
lola: 586397 markings, 916403 edges, 4519 markings/sec, 145 secs
lola: 609208 markings, 945464 edges, 4562 markings/sec, 150 secs
lola: 631866 markings, 975008 edges, 4532 markings/sec, 155 secs
lola: 653878 markings, 1005115 edges, 4402 markings/sec, 160 secs
lola: 674733 markings, 1036045 edges, 4171 markings/sec, 165 secs
lola: 697020 markings, 1063657 edges, 4457 markings/sec, 170 secs
lola: 720567 markings, 1092694 edges, 4709 markings/sec, 175 secs
lola: 741497 markings, 1117737 edges, 4186 markings/sec, 180 secs
lola: 764920 markings, 1147070 edges, 4685 markings/sec, 185 secs
lola: 785966 markings, 1171666 edges, 4209 markings/sec, 190 secs
lola: 809283 markings, 1203355 edges, 4663 markings/sec, 195 secs
lola: 828159 markings, 1236476 edges, 3775 markings/sec, 200 secs
lola: 846834 markings, 1267925 edges, 3735 markings/sec, 205 secs
lola: 869053 markings, 1298638 edges, 4444 markings/sec, 210 secs
lola: 889870 markings, 1329079 edges, 4163 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(P_1119_1_1 + P_1119_1_2 + P_1119_1_3 + P_1119_1_4 + P_1119_1_5 + P_1119_1_6 + P_1119_2_1 + P_1119_2_2 + P_1119_2_3 + P_1119_2_4 + P_1119_2_5 + P_1119_2_6 + P_1119_3_1 + P_1119_3_2 + P_1119_3_3 + P_1119_3_4 + P_1119_3_5 + P_1119_3_6 + P_1119_4_1 + P_1119_4_2 + P_1119_4_3 + P_1119_4_4 + P_1119_4_5 + P_1119_4_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 22557 markings, 24890 edges, 4511 markings/sec, 0 secs
lola: 45557 markings, 49807 edges, 4600 markings/sec, 5 secs
lola: 68714 markings, 75242 edges, 4631 markings/sec, 10 secs
lola: 91797 markings, 100661 edges, 4617 markings/sec, 15 secs
lola: 114992 markings, 126302 edges, 4639 markings/sec, 20 secs
lola: 138206 markings, 152515 edges, 4643 markings/sec, 25 secs
lola: 161236 markings, 178189 edges, 4606 markings/sec, 30 secs
lola: 184373 markings, 203669 edges, 4627 markings/sec, 35 secs
lola: 207389 markings, 229365 edges, 4603 markings/sec, 40 secs
lola: 230589 markings, 255203 edges, 4640 markings/sec, 45 secs
lola: 253712 markings, 280113 edges, 4625 markings/sec, 50 secs
lola: 276984 markings, 306173 edges, 4654 markings/sec, 55 secs
lola: 300089 markings, 331981 edges, 4621 markings/sec, 60 secs
lola: 323255 markings, 357897 edges, 4633 markings/sec, 65 secs
lola: 346405 markings, 383508 edges, 4630 markings/sec, 70 secs
lola: 369745 markings, 409821 edges, 4668 markings/sec, 75 secs
lola: 393374 markings, 457242 edges, 4726 markings/sec, 80 secs
lola: 416479 markings, 483030 edges, 4621 markings/sec, 85 secs
lola: 439696 markings, 508266 edges, 4643 markings/sec, 90 secs
lola: 462973 markings, 534927 edges, 4655 markings/sec, 95 secs
lola: 485609 markings, 560145 edges, 4527 markings/sec, 100 secs
lola: 508411 markings, 584922 edges, 4560 markings/sec, 105 secs
lola: 531685 markings, 611119 edges, 4655 markings/sec, 110 secs
lola: 555047 markings, 637735 edges, 4672 markings/sec, 115 secs
lola: 578364 markings, 663765 edges, 4663 markings/sec, 120 secs
lola: 601736 markings, 690120 edges, 4674 markings/sec, 125 secs
lola: 625070 markings, 716181 edges, 4667 markings/sec, 130 secs
lola: 648479 markings, 743501 edges, 4682 markings/sec, 135 secs
lola: 671649 markings, 769467 edges, 4634 markings/sec, 140 secs
lola: 694943 markings, 797110 edges, 4659 markings/sec, 145 secs
lola: 717946 markings, 823063 edges, 4601 markings/sec, 150 secs
lola: 741145 markings, 848998 edges, 4640 markings/sec, 155 secs
lola: 764599 markings, 875214 edges, 4691 markings/sec, 160 secs
lola: 787910 markings, 901985 edges, 4662 markings/sec, 165 secs
lola: 811164 markings, 928526 edges, 4651 markings/sec, 170 secs
lola: 834440 markings, 955168 edges, 4655 markings/sec, 175 secs
lola: 857672 markings, 981368 edges, 4646 markings/sec, 180 secs
lola: 880589 markings, 1008079 edges, 4583 markings/sec, 185 secs
lola: 903572 markings, 1033151 edges, 4597 markings/sec, 190 secs
lola: 926295 markings, 1059229 edges, 4545 markings/sec, 195 secs
lola: 948853 markings, 1084860 edges, 4512 markings/sec, 200 secs
lola: 972037 markings, 1111762 edges, 4637 markings/sec, 205 secs
lola: 994329 markings, 1137350 edges, 4458 markings/sec, 210 secs
lola: 1016604 markings, 1162226 edges, 4455 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(JobCnt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 24904 markings, 26432 edges, 4981 markings/sec, 0 secs
lola: 49754 markings, 52841 edges, 4970 markings/sec, 5 secs
lola: 72408 markings, 76636 edges, 4531 markings/sec, 10 secs
lola: 96682 markings, 102559 edges, 4855 markings/sec, 15 secs
lola: 121703 markings, 129047 edges, 5004 markings/sec, 20 secs
lola: 146033 markings, 154751 edges, 4866 markings/sec, 25 secs
lola: 170286 markings, 180516 edges, 4851 markings/sec, 30 secs
lola: 194801 markings, 206779 edges, 4903 markings/sec, 35 secs
lola: 219298 markings, 232574 edges, 4899 markings/sec, 40 secs
lola: 243504 markings, 258076 edges, 4841 markings/sec, 45 secs
lola: 266396 markings, 282158 edges, 4578 markings/sec, 50 secs
lola: 289708 markings, 307126 edges, 4662 markings/sec, 55 secs
lola: 314294 markings, 334139 edges, 4917 markings/sec, 60 secs
lola: 338935 markings, 360158 edges, 4928 markings/sec, 65 secs
lola: 363400 markings, 385879 edges, 4893 markings/sec, 70 secs
lola: 388225 markings, 412064 edges, 4965 markings/sec, 75 secs
lola: 412708 markings, 438041 edges, 4897 markings/sec, 80 secs
lola: 436853 markings, 463565 edges, 4829 markings/sec, 85 secs
lola: 461401 markings, 489392 edges, 4910 markings/sec, 90 secs
lola: 486651 markings, 516211 edges, 5050 markings/sec, 95 secs
lola: 511326 markings, 543217 edges, 4935 markings/sec, 100 secs
lola: 535691 markings, 569225 edges, 4873 markings/sec, 105 secs
lola: 561034 markings, 597419 edges, 5069 markings/sec, 110 secs
lola: 585962 markings, 625115 edges, 4986 markings/sec, 115 secs
lola: 609840 markings, 651041 edges, 4776 markings/sec, 120 secs
lola: 633908 markings, 677530 edges, 4814 markings/sec, 125 secs
lola: 658127 markings, 703696 edges, 4844 markings/sec, 130 secs
lola: 682986 markings, 731557 edges, 4972 markings/sec, 135 secs
lola: 708032 markings, 760405 edges, 5009 markings/sec, 140 secs
lola: 732950 markings, 786700 edges, 4984 markings/sec, 145 secs
lola: 757849 markings, 813852 edges, 4980 markings/sec, 150 secs
lola: 781677 markings, 840134 edges, 4766 markings/sec, 155 secs
lola: 805759 markings, 866172 edges, 4816 markings/sec, 160 secs
lola: 830371 markings, 892302 edges, 4922 markings/sec, 165 secs
lola: 855182 markings, 918856 edges, 4962 markings/sec, 170 secs
lola: 880250 markings, 947252 edges, 5014 markings/sec, 175 secs
lola: 906081 markings, 977942 edges, 5166 markings/sec, 180 secs
lola: 930657 markings, 1006078 edges, 4915 markings/sec, 185 secs
lola: 956332 markings, 1035667 edges, 5135 markings/sec, 190 secs
lola: 981496 markings, 1063959 edges, 5033 markings/sec, 195 secs
lola: 1006280 markings, 1091745 edges, 4957 markings/sec, 200 secs
lola: 1031244 markings, 1118025 edges, 4993 markings/sec, 205 secs
lola: 1055927 markings, 1144280 edges, 4937 markings/sec, 210 secs
lola: 1080733 markings, 1173018 edges, 4961 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(P_1726)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 23133 markings, 24842 edges, 4627 markings/sec, 0 secs
lola: 47445 markings, 51427 edges, 4862 markings/sec, 5 secs
lola: 71443 markings, 77711 edges, 4800 markings/sec, 10 secs
lola: 95649 markings, 104048 edges, 4841 markings/sec, 15 secs
lola: 119904 markings, 130530 edges, 4851 markings/sec, 20 secs
lola: 143126 markings, 155939 edges, 4644 markings/sec, 25 secs
lola: 166754 markings, 182231 edges, 4726 markings/sec, 30 secs
lola: 190473 markings, 208103 edges, 4744 markings/sec, 35 secs
lola: 215833 markings, 236297 edges, 5072 markings/sec, 40 secs
lola: 239285 markings, 261617 edges, 4690 markings/sec, 45 secs
lola: 264174 markings, 289460 edges, 4978 markings/sec, 50 secs
lola: 288495 markings, 316690 edges, 4864 markings/sec, 55 secs
lola: 313136 markings, 344625 edges, 4928 markings/sec, 60 secs
lola: 338424 markings, 373526 edges, 5058 markings/sec, 65 secs
lola: 364047 markings, 403288 edges, 5125 markings/sec, 70 secs
lola: 389412 markings, 432140 edges, 5073 markings/sec, 75 secs
lola: 414276 markings, 460634 edges, 4973 markings/sec, 80 secs
lola: 439949 markings, 491249 edges, 5135 markings/sec, 85 secs
lola: 466756 markings, 524684 edges, 5361 markings/sec, 90 secs
lola: 492643 markings, 555275 edges, 5177 markings/sec, 95 secs
lola: 517965 markings, 585140 edges, 5064 markings/sec, 100 secs
lola: 544557 markings, 617560 edges, 5318 markings/sec, 105 secs
lola: 570010 markings, 647527 edges, 5091 markings/sec, 110 secs
lola: 595053 markings, 677285 edges, 5009 markings/sec, 115 secs
lola: 621032 markings, 708073 edges, 5196 markings/sec, 120 secs
lola: 645958 markings, 737299 edges, 4985 markings/sec, 125 secs
lola: 670913 markings, 765765 edges, 4991 markings/sec, 130 secs
lola: 696444 markings, 797118 edges, 5106 markings/sec, 135 secs
lola: 728381 markings, 849828 edges, 6387 markings/sec, 140 secs
lola: 755341 markings, 886803 edges, 5392 markings/sec, 145 secs
lola: 780011 markings, 915781 edges, 4934 markings/sec, 150 secs
lola: 806472 markings, 948829 edges, 5292 markings/sec, 155 secs
lola: 832342 markings, 980829 edges, 5174 markings/sec, 160 secs
lola: 858388 markings, 1013563 edges, 5209 markings/sec, 165 secs
lola: 884367 markings, 1044791 edges, 5196 markings/sec, 170 secs
lola: 918071 markings, 1105026 edges, 6741 markings/sec, 175 secs
lola: 944034 markings, 1137650 edges, 5193 markings/sec, 180 secs
lola: 970029 markings, 1170084 edges, 5199 markings/sec, 185 secs
lola: 999670 markings, 1213373 edges, 5928 markings/sec, 190 secs
lola: 1029394 markings, 1261245 edges, 5945 markings/sec, 195 secs
lola: 1055901 markings, 1294612 edges, 5301 markings/sec, 200 secs
lola: 1082654 markings, 1329183 edges, 5351 markings/sec, 205 secs
lola: 1109037 markings, 1362894 edges, 5277 markings/sec, 210 secs
lola: 1136281 markings, 1398016 edges, 5449 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(Check_Sources_B_1 + Check_Sources_B_2 + Check_Sources_B_3 + Check_Sources_B_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 19515 markings, 23325 edges, 3903 markings/sec, 0 secs
lola: 33349 markings, 55622 edges, 2767 markings/sec, 5 secs
lola: 47703 markings, 89773 edges, 2871 markings/sec, 10 secs
lola: 64280 markings, 121670 edges, 3315 markings/sec, 15 secs
lola: 79538 markings, 155616 edges, 3052 markings/sec, 20 secs
lola: 96728 markings, 187553 edges, 3438 markings/sec, 25 secs
lola: 116837 markings, 216357 edges, 4022 markings/sec, 30 secs
lola: 136081 markings, 245426 edges, 3849 markings/sec, 35 secs
lola: 153943 markings, 276752 edges, 3572 markings/sec, 40 secs
lola: 171964 markings, 307951 edges, 3604 markings/sec, 45 secs
lola: 189493 markings, 341202 edges, 3506 markings/sec, 50 secs
lola: 207801 markings, 374547 edges, 3662 markings/sec, 55 secs
lola: 226049 markings, 407956 edges, 3650 markings/sec, 60 secs
lola: 246047 markings, 436439 edges, 4000 markings/sec, 65 secs
lola: 266197 markings, 468333 edges, 4030 markings/sec, 70 secs
lola: 286994 markings, 499005 edges, 4159 markings/sec, 75 secs
lola: 307090 markings, 529807 edges, 4019 markings/sec, 80 secs
lola: 328426 markings, 558476 edges, 4267 markings/sec, 85 secs
lola: 350296 markings, 588154 edges, 4374 markings/sec, 90 secs
lola: 371152 markings, 619154 edges, 4171 markings/sec, 95 secs
lola: 393109 markings, 649038 edges, 4391 markings/sec, 100 secs
lola: 415379 markings, 681049 edges, 4454 markings/sec, 105 secs
lola: 435294 markings, 714272 edges, 3983 markings/sec, 110 secs
lola: 456209 markings, 745047 edges, 4183 markings/sec, 115 secs
lola: 477932 markings, 775680 edges, 4345 markings/sec, 120 secs
lola: 500245 markings, 804339 edges, 4463 markings/sec, 125 secs
lola: 523025 markings, 833946 edges, 4556 markings/sec, 130 secs
lola: 543136 markings, 865831 edges, 4022 markings/sec, 135 secs
lola: 565117 markings, 895000 edges, 4396 markings/sec, 140 secs
lola: 588107 markings, 924576 edges, 4598 markings/sec, 145 secs
lola: 610670 markings, 954299 edges, 4513 markings/sec, 150 secs
lola: 633721 markings, 984133 edges, 4610 markings/sec, 155 secs
lola: 656391 markings, 1014209 edges, 4534 markings/sec, 160 secs
lola: 678251 markings, 1041454 edges, 4372 markings/sec, 165 secs
lola: 699389 markings, 1072081 edges, 4228 markings/sec, 170 secs
lola: 721801 markings, 1102061 edges, 4482 markings/sec, 175 secs
lola: 744934 markings, 1133152 edges, 4627 markings/sec, 180 secs
lola: 765162 markings, 1162842 edges, 4046 markings/sec, 185 secs
lola: 788223 markings, 1192991 edges, 4612 markings/sec, 190 secs
lola: 811562 markings, 1223671 edges, 4668 markings/sec, 195 secs
lola: 834339 markings, 1253607 edges, 4555 markings/sec, 200 secs
lola: 857228 markings, 1283812 edges, 4578 markings/sec, 205 secs
lola: 879387 markings, 1313751 edges, 4432 markings/sec, 210 secs
lola: 902760 markings, 1344444 edges, 4675 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(IsMonitoring)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 17531 markings, 26822 edges, 3506 markings/sec, 0 secs
lola: 35038 markings, 55798 edges, 3501 markings/sec, 5 secs
lola: 48968 markings, 90925 edges, 2786 markings/sec, 10 secs
lola: 64205 markings, 124674 edges, 3047 markings/sec, 15 secs
lola: 78619 markings, 159683 edges, 2883 markings/sec, 20 secs
lola: 98046 markings, 187954 edges, 3885 markings/sec, 25 secs
lola: 116078 markings, 218796 edges, 3606 markings/sec, 30 secs
lola: 134013 markings, 252669 edges, 3587 markings/sec, 35 secs
lola: 152986 markings, 282366 edges, 3795 markings/sec, 40 secs
lola: 170536 markings, 314587 edges, 3510 markings/sec, 45 secs
lola: 188788 markings, 347552 edges, 3650 markings/sec, 50 secs
lola: 208061 markings, 378662 edges, 3855 markings/sec, 55 secs
lola: 226661 markings, 410773 edges, 3720 markings/sec, 60 secs
lola: 246771 markings, 441657 edges, 4022 markings/sec, 65 secs
lola: 266781 markings, 470070 edges, 4002 markings/sec, 70 secs
lola: 287366 markings, 501018 edges, 4117 markings/sec, 75 secs
lola: 308691 markings, 531691 edges, 4265 markings/sec, 80 secs
lola: 329428 markings, 562609 edges, 4147 markings/sec, 85 secs
lola: 350098 markings, 592171 edges, 4134 markings/sec, 90 secs
lola: 371603 markings, 621528 edges, 4301 markings/sec, 95 secs
lola: 394631 markings, 651848 edges, 4606 markings/sec, 100 secs
lola: 416500 markings, 681563 edges, 4374 markings/sec, 105 secs
lola: 438018 markings, 712502 edges, 4304 markings/sec, 110 secs
lola: 460299 markings, 741811 edges, 4456 markings/sec, 115 secs
lola: 480906 markings, 771862 edges, 4121 markings/sec, 120 secs
lola: 501701 markings, 802730 edges, 4159 markings/sec, 125 secs
lola: 520455 markings, 832789 edges, 3751 markings/sec, 130 secs
lola: 541044 markings, 860210 edges, 4118 markings/sec, 135 secs
lola: 562324 markings, 886820 edges, 4256 markings/sec, 140 secs
lola: 584543 markings, 914412 edges, 4444 markings/sec, 145 secs
lola: 606993 markings, 942310 edges, 4490 markings/sec, 150 secs
lola: 629728 markings, 971426 edges, 4547 markings/sec, 155 secs
lola: 651683 markings, 1001340 edges, 4391 markings/sec, 160 secs
lola: 671917 markings, 1032406 edges, 4047 markings/sec, 165 secs
lola: 693839 markings, 1059651 edges, 4384 markings/sec, 170 secs
lola: 717072 markings, 1088588 edges, 4647 markings/sec, 175 secs
lola: 738361 markings, 1114056 edges, 4258 markings/sec, 180 secs
lola: 759956 markings, 1141133 edges, 4319 markings/sec, 185 secs
lola: 780102 markings, 1164562 edges, 4029 markings/sec, 190 secs
lola: 801004 markings, 1191944 edges, 4180 markings/sec, 195 secs
lola: 819980 markings, 1219886 edges, 3795 markings/sec, 200 secs
lola: 835661 markings, 1246414 edges, 3136 markings/sec, 205 secs
lola: 850520 markings, 1274123 edges, 2972 markings/sec, 210 secs
lola: 870072 markings, 1299883 edges, 3910 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(CanInjectEvent)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 23302 markings, 25033 edges, 4660 markings/sec, 0 secs
lola: 47218 markings, 51172 edges, 4783 markings/sec, 5 secs
lola: 70580 markings, 76386 edges, 4672 markings/sec, 10 secs
lola: 94590 markings, 102879 edges, 4802 markings/sec, 15 secs
lola: 118236 markings, 128310 edges, 4729 markings/sec, 20 secs
lola: 141527 markings, 154140 edges, 4658 markings/sec, 25 secs
lola: 164330 markings, 179013 edges, 4561 markings/sec, 30 secs
lola: 188119 markings, 205364 edges, 4758 markings/sec, 35 secs
lola: 212045 markings, 231985 edges, 4785 markings/sec, 40 secs
lola: 234490 markings, 256197 edges, 4489 markings/sec, 45 secs
lola: 258064 markings, 282792 edges, 4715 markings/sec, 50 secs
lola: 281379 markings, 308468 edges, 4663 markings/sec, 55 secs
lola: 304879 markings, 335654 edges, 4700 markings/sec, 60 secs
lola: 328253 markings, 361862 edges, 4675 markings/sec, 65 secs
lola: 352314 markings, 389241 edges, 4812 markings/sec, 70 secs
lola: 376125 markings, 416502 edges, 4762 markings/sec, 75 secs
lola: 400415 markings, 444217 edges, 4858 markings/sec, 80 secs
lola: 424406 markings, 472135 edges, 4798 markings/sec, 85 secs
lola: 449014 markings, 501357 edges, 4922 markings/sec, 90 secs
lola: 474473 markings, 533077 edges, 5092 markings/sec, 95 secs
lola: 499074 markings, 562173 edges, 4920 markings/sec, 100 secs
lola: 523256 markings, 590365 edges, 4836 markings/sec, 105 secs
lola: 548296 markings, 620514 edges, 5008 markings/sec, 110 secs
lola: 572561 markings, 649241 edges, 4853 markings/sec, 115 secs
lola: 596574 markings, 677798 edges, 4803 markings/sec, 120 secs
lola: 621260 markings, 707035 edges, 4937 markings/sec, 125 secs
lola: 644969 markings, 734865 edges, 4742 markings/sec, 130 secs
lola: 668689 markings, 761946 edges, 4744 markings/sec, 135 secs
lola: 692880 markings, 790895 edges, 4838 markings/sec, 140 secs
lola: 717639 markings, 822787 edges, 4952 markings/sec, 145 secs
lola: 749519 markings, 878511 edges, 6376 markings/sec, 150 secs
lola: 773692 markings, 906774 edges, 4835 markings/sec, 155 secs
lola: 797444 markings, 935161 edges, 4750 markings/sec, 160 secs
lola: 822738 markings, 966630 edges, 5059 markings/sec, 165 secs
lola: 848050 markings, 998301 edges, 5062 markings/sec, 170 secs
lola: 871775 markings, 1026568 edges, 4745 markings/sec, 175 secs
lola: 897210 markings, 1058207 edges, 5087 markings/sec, 180 secs
lola: 930348 markings, 1117842 edges, 6628 markings/sec, 185 secs
lola: 955542 markings, 1150204 edges, 5039 markings/sec, 190 secs
lola: 980171 markings, 1179878 edges, 4926 markings/sec, 195 secs
lola: 1012213 markings, 1236827 edges, 6408 markings/sec, 200 secs
lola: 1037448 markings, 1268546 edges, 5047 markings/sec, 205 secs
lola: 1062991 markings, 1300553 edges, 5109 markings/sec, 210 secs
lola: 1088417 markings, 1333031 edges, 5085 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(NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 20729 markings, 26165 edges, 4146 markings/sec, 0 secs
lola: 42385 markings, 52177 edges, 4331 markings/sec, 5 secs
lola: 64282 markings, 78687 edges, 4379 markings/sec, 10 secs
lola: 85414 markings, 105374 edges, 4226 markings/sec, 15 secs
lola: 106093 markings, 133088 edges, 4136 markings/sec, 20 secs
lola: 127241 markings, 160590 edges, 4230 markings/sec, 25 secs
lola: 148547 markings, 187691 edges, 4261 markings/sec, 30 secs
lola: 168850 markings, 215759 edges, 4061 markings/sec, 35 secs
lola: 189184 markings, 243882 edges, 4067 markings/sec, 40 secs
lola: 209282 markings, 271959 edges, 4020 markings/sec, 45 secs
lola: 229076 markings, 300804 edges, 3959 markings/sec, 50 secs
lola: 249507 markings, 329230 edges, 4086 markings/sec, 55 secs
lola: 269711 markings, 358414 edges, 4041 markings/sec, 60 secs
lola: 289708 markings, 387157 edges, 3999 markings/sec, 65 secs
lola: 310068 markings, 416272 edges, 4072 markings/sec, 70 secs
lola: 330788 markings, 444777 edges, 4144 markings/sec, 75 secs
lola: 350668 markings, 474721 edges, 3976 markings/sec, 80 secs
lola: 371535 markings, 504023 edges, 4173 markings/sec, 85 secs
lola: 392455 markings, 533085 edges, 4184 markings/sec, 90 secs
lola: 413594 markings, 561906 edges, 4228 markings/sec, 95 secs
lola: 434862 markings, 591606 edges, 4254 markings/sec, 100 secs
lola: 456097 markings, 619727 edges, 4247 markings/sec, 105 secs
lola: 476732 markings, 647210 edges, 4127 markings/sec, 110 secs
lola: 498515 markings, 676903 edges, 4357 markings/sec, 115 secs
lola: 520650 markings, 706676 edges, 4427 markings/sec, 120 secs
lola: 542939 markings, 737993 edges, 4458 markings/sec, 125 secs
lola: 565059 markings, 769647 edges, 4424 markings/sec, 130 secs
lola: 587257 markings, 801045 edges, 4440 markings/sec, 135 secs
lola: 609408 markings, 832779 edges, 4430 markings/sec, 140 secs
lola: 631358 markings, 863391 edges, 4390 markings/sec, 145 secs
lola: 652570 markings, 895744 edges, 4242 markings/sec, 150 secs
lola: 674925 markings, 927109 edges, 4471 markings/sec, 155 secs
lola: 697929 markings, 957697 edges, 4601 markings/sec, 160 secs
lola: 720407 markings, 988475 edges, 4496 markings/sec, 165 secs
lola: 742401 markings, 1020408 edges, 4399 markings/sec, 170 secs
lola: 764305 markings, 1053694 edges, 4381 markings/sec, 175 secs
lola: 786005 markings, 1085261 edges, 4340 markings/sec, 180 secs
lola: 807739 markings, 1117476 edges, 4347 markings/sec, 185 secs
lola: 830700 markings, 1147976 edges, 4592 markings/sec, 190 secs
lola: 852290 markings, 1179571 edges, 4318 markings/sec, 195 secs
lola: 874183 markings, 1211491 edges, 4379 markings/sec, 200 secs
lola: 896556 markings, 1241879 edges, 4475 markings/sec, 205 secs
lola: 919028 markings, 1273362 edges, 4494 markings/sec, 210 secs
lola: 940356 markings, 1306263 edges, 4266 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496486256562

--------------------
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-S06J04T04"
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-S06J04T04.tgz
mv S_PolyORBLF-PT-S06J04T04 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-S06J04T04, 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-149441681700506"
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 ;