Execution Chart

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

Trace from the execution

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

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


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 9872 markings, 30089 edges, 1974 markings/sec, 0 secs
lola: 19892 markings, 59959 edges, 2004 markings/sec, 5 secs
lola: 29863 markings, 88749 edges, 1994 markings/sec, 10 secs
lola: 40006 markings, 115179 edges, 2029 markings/sec, 15 secs
lola: 50217 markings, 143390 edges, 2042 markings/sec, 20 secs
lola: 60566 markings, 168681 edges, 2070 markings/sec, 25 secs
lola: 71656 markings, 196911 edges, 2218 markings/sec, 30 secs
lola: 81799 markings, 224879 edges, 2029 markings/sec, 35 secs
lola: 92457 markings, 251933 edges, 2132 markings/sec, 40 secs
lola: 102961 markings, 277538 edges, 2101 markings/sec, 45 secs
lola: 113652 markings, 303895 edges, 2138 markings/sec, 50 secs
lola: 123620 markings, 331588 edges, 1994 markings/sec, 55 secs
lola: 134464 markings, 357132 edges, 2169 markings/sec, 60 secs
lola: 146117 markings, 382043 edges, 2331 markings/sec, 65 secs
lola: 156838 markings, 411787 edges, 2144 markings/sec, 70 secs
lola: 168766 markings, 435622 edges, 2386 markings/sec, 75 secs
lola: 181120 markings, 461238 edges, 2471 markings/sec, 80 secs
lola: 193928 markings, 482686 edges, 2562 markings/sec, 85 secs
lola: 205655 markings, 505429 edges, 2345 markings/sec, 90 secs
lola: 218600 markings, 531735 edges, 2589 markings/sec, 95 secs
lola: 231377 markings, 553520 edges, 2555 markings/sec, 100 secs
lola: 243807 markings, 576402 edges, 2486 markings/sec, 105 secs
lola: 256185 markings, 597822 edges, 2476 markings/sec, 110 secs
lola: 269212 markings, 620288 edges, 2605 markings/sec, 115 secs
lola: 281533 markings, 644092 edges, 2464 markings/sec, 120 secs
lola: 295936 markings, 669134 edges, 2881 markings/sec, 125 secs
lola: 310742 markings, 695053 edges, 2961 markings/sec, 130 secs
lola: 328073 markings, 720855 edges, 3466 markings/sec, 135 secs
lola: 342772 markings, 746230 edges, 2940 markings/sec, 140 secs
lola: 359675 markings, 772745 edges, 3381 markings/sec, 145 secs
lola: 377142 markings, 798836 edges, 3493 markings/sec, 150 secs
lola: 393682 markings, 824295 edges, 3308 markings/sec, 155 secs
lola: 410325 markings, 850503 edges, 3329 markings/sec, 160 secs
lola: 426796 markings, 875318 edges, 3294 markings/sec, 165 secs
lola: 442525 markings, 900889 edges, 3146 markings/sec, 170 secs
lola: 458783 markings, 925257 edges, 3252 markings/sec, 175 secs
lola: 473780 markings, 951125 edges, 2999 markings/sec, 180 secs
lola: 490577 markings, 977868 edges, 3359 markings/sec, 185 secs
lola: 506652 markings, 1003204 edges, 3215 markings/sec, 190 secs
lola: 522657 markings, 1029028 edges, 3201 markings/sec, 195 secs
lola: 537144 markings, 1054366 edges, 2897 markings/sec, 200 secs
lola: 552596 markings, 1080665 edges, 3090 markings/sec, 205 secs
lola: 568291 markings, 1106953 edges, 3139 markings/sec, 210 secs
lola: 584135 markings, 1131648 edges, 3169 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: 20845 markings, 26286 edges, 4169 markings/sec, 0 secs
lola: 42804 markings, 51912 edges, 4392 markings/sec, 5 secs
lola: 64572 markings, 78701 edges, 4354 markings/sec, 10 secs
lola: 86186 markings, 105450 edges, 4323 markings/sec, 15 secs
lola: 107576 markings, 132347 edges, 4278 markings/sec, 20 secs
lola: 128056 markings, 160569 edges, 4096 markings/sec, 25 secs
lola: 148901 markings, 188683 edges, 4169 markings/sec, 30 secs
lola: 169776 markings, 216970 edges, 4175 markings/sec, 35 secs
lola: 190741 markings, 245425 edges, 4193 markings/sec, 40 secs
lola: 211281 markings, 273970 edges, 4108 markings/sec, 45 secs
lola: 231211 markings, 303197 edges, 3986 markings/sec, 50 secs
lola: 252274 markings, 332281 edges, 4213 markings/sec, 55 secs
lola: 272964 markings, 361440 edges, 4138 markings/sec, 60 secs
lola: 293636 markings, 390722 edges, 4134 markings/sec, 65 secs
lola: 313801 markings, 419560 edges, 4033 markings/sec, 70 secs
lola: 334612 markings, 448288 edges, 4162 markings/sec, 75 secs
lola: 355477 markings, 477865 edges, 4173 markings/sec, 80 secs
lola: 376463 markings, 507746 edges, 4197 markings/sec, 85 secs
lola: 397634 markings, 537476 edges, 4234 markings/sec, 90 secs
lola: 419296 markings, 566458 edges, 4332 markings/sec, 95 secs
lola: 440717 markings, 595804 edges, 4284 markings/sec, 100 secs
lola: 462048 markings, 625205 edges, 4266 markings/sec, 105 secs
lola: 483180 markings, 655206 edges, 4226 markings/sec, 110 secs
lola: 504997 markings, 685056 edges, 4363 markings/sec, 115 secs
lola: 526711 markings, 714430 edges, 4343 markings/sec, 120 secs
lola: 547568 markings, 744399 edges, 4171 markings/sec, 125 secs
lola: 569272 markings, 774053 edges, 4341 markings/sec, 130 secs
lola: 590971 markings, 802929 edges, 4340 markings/sec, 135 secs
lola: 611976 markings, 831885 edges, 4201 markings/sec, 140 secs
lola: 633197 markings, 861037 edges, 4244 markings/sec, 145 secs
lola: 654354 markings, 890943 edges, 4231 markings/sec, 150 secs
lola: 676023 markings, 921115 edges, 4334 markings/sec, 155 secs
lola: 697081 markings, 951564 edges, 4212 markings/sec, 160 secs
lola: 718215 markings, 981165 edges, 4227 markings/sec, 165 secs
lola: 739813 markings, 1010760 edges, 4320 markings/sec, 170 secs
lola: 760808 markings, 1040871 edges, 4199 markings/sec, 175 secs
lola: 781902 markings, 1071357 edges, 4219 markings/sec, 180 secs
lola: 803437 markings, 1101419 edges, 4307 markings/sec, 185 secs
lola: 824394 markings, 1132061 edges, 4191 markings/sec, 190 secs
lola: 846044 markings, 1161936 edges, 4330 markings/sec, 195 secs
lola: 867361 markings, 1193211 edges, 4263 markings/sec, 200 secs
lola: 889111 markings, 1224292 edges, 4350 markings/sec, 205 secs
lola: 910742 markings, 1253960 edges, 4326 markings/sec, 210 secs
lola: 931042 markings, 1286167 edges, 4060 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: 9888 markings, 30137 edges, 1978 markings/sec, 0 secs
lola: 19860 markings, 59080 edges, 1994 markings/sec, 5 secs
lola: 29884 markings, 87880 edges, 2005 markings/sec, 10 secs
lola: 39863 markings, 116065 edges, 1996 markings/sec, 15 secs
lola: 50019 markings, 143856 edges, 2031 markings/sec, 20 secs
lola: 60853 markings, 169776 edges, 2167 markings/sec, 25 secs
lola: 70920 markings, 196821 edges, 2013 markings/sec, 30 secs
lola: 81125 markings, 225970 edges, 2041 markings/sec, 35 secs
lola: 91059 markings, 253575 edges, 1987 markings/sec, 40 secs
lola: 101458 markings, 280969 edges, 2080 markings/sec, 45 secs
lola: 112038 markings, 306092 edges, 2116 markings/sec, 50 secs
lola: 122772 markings, 331140 edges, 2147 markings/sec, 55 secs
lola: 133644 markings, 354577 edges, 2174 markings/sec, 60 secs
lola: 144995 markings, 376907 edges, 2270 markings/sec, 65 secs
lola: 155566 markings, 401092 edges, 2114 markings/sec, 70 secs
lola: 166251 markings, 427209 edges, 2137 markings/sec, 75 secs
lola: 177073 markings, 452835 edges, 2164 markings/sec, 80 secs
lola: 188082 markings, 476029 edges, 2202 markings/sec, 85 secs
lola: 200189 markings, 501268 edges, 2421 markings/sec, 90 secs
lola: 212320 markings, 525021 edges, 2426 markings/sec, 95 secs
lola: 227114 markings, 548937 edges, 2959 markings/sec, 100 secs
lola: 240727 markings, 575017 edges, 2723 markings/sec, 105 secs
lola: 255295 markings, 598656 edges, 2914 markings/sec, 110 secs
lola: 266767 markings, 619676 edges, 2294 markings/sec, 115 secs
lola: 280128 markings, 641509 edges, 2672 markings/sec, 120 secs
lola: 295138 markings, 667406 edges, 3002 markings/sec, 125 secs
lola: 310749 markings, 692082 edges, 3122 markings/sec, 130 secs
lola: 327053 markings, 716610 edges, 3261 markings/sec, 135 secs
lola: 341784 markings, 740173 edges, 2946 markings/sec, 140 secs
lola: 359511 markings, 765262 edges, 3545 markings/sec, 145 secs
lola: 374118 markings, 790074 edges, 2921 markings/sec, 150 secs
lola: 389849 markings, 814487 edges, 3146 markings/sec, 155 secs
lola: 406742 markings, 839313 edges, 3379 markings/sec, 160 secs
lola: 422383 markings, 864497 edges, 3128 markings/sec, 165 secs
lola: 439617 markings, 890345 edges, 3447 markings/sec, 170 secs
lola: 452707 markings, 914032 edges, 2618 markings/sec, 175 secs
lola: 469107 markings, 939808 edges, 3280 markings/sec, 180 secs
lola: 487149 markings, 966279 edges, 3608 markings/sec, 185 secs
lola: 504256 markings, 992362 edges, 3421 markings/sec, 190 secs
lola: 519250 markings, 1017688 edges, 2999 markings/sec, 195 secs
lola: 536780 markings, 1042599 edges, 3506 markings/sec, 200 secs
lola: 552927 markings, 1068414 edges, 3229 markings/sec, 205 secs
lola: 567693 markings, 1093936 edges, 2953 markings/sec, 210 secs
lola: 584354 markings, 1118200 edges, 3332 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: 19624 markings, 38400 edges, 3925 markings/sec, 0 secs
lola: 58095 markings, 89618 edges, 7694 markings/sec, 5 secs
lola: 96754 markings, 141549 edges, 7732 markings/sec, 10 secs
lola: 137643 markings, 212903 edges, 8178 markings/sec, 15 secs
lola: 177243 markings, 268685 edges, 7920 markings/sec, 20 secs
lola: 216173 markings, 322432 edges, 7786 markings/sec, 25 secs
lola: 257451 markings, 394923 edges, 8256 markings/sec, 30 secs
lola: 297556 markings, 457088 edges, 8021 markings/sec, 35 secs
lola: 338586 markings, 538045 edges, 8206 markings/sec, 40 secs
lola: 380535 markings, 614317 edges, 8390 markings/sec, 45 secs
lola: 423330 markings, 703664 edges, 8559 markings/sec, 50 secs
lola: 463497 markings, 773998 edges, 8033 markings/sec, 55 secs
lola: 504371 markings, 858870 edges, 8175 markings/sec, 60 secs
lola: 544907 markings, 930739 edges, 8107 markings/sec, 65 secs
lola: 588044 markings, 1020443 edges, 8627 markings/sec, 70 secs
lola: 627285 markings, 1090081 edges, 7848 markings/sec, 75 secs
lola: 667124 markings, 1161047 edges, 7968 markings/sec, 80 secs
lola: 687576 markings, 1199993 edges, 4090 markings/sec, 85 secs
lola: 720464 markings, 1265392 edges, 6578 markings/sec, 90 secs
lola: 763181 markings, 1337443 edges, 8543 markings/sec, 95 secs
lola: 803886 markings, 1417277 edges, 8141 markings/sec, 100 secs
lola: 842026 markings, 1481582 edges, 7628 markings/sec, 105 secs
lola: 882436 markings, 1551872 edges, 8082 markings/sec, 110 secs
lola: 923470 markings, 1629141 edges, 8207 markings/sec, 115 secs
lola: 964718 markings, 1709647 edges, 8250 markings/sec, 120 secs
lola: 1006962 markings, 1787748 edges, 8449 markings/sec, 125 secs
lola: 1047551 markings, 1858301 edges, 8118 markings/sec, 130 secs
lola: 1089019 markings, 1921007 edges, 8294 markings/sec, 135 secs
lola: 1132025 markings, 2016292 edges, 8601 markings/sec, 140 secs
lola: 1173322 markings, 2084539 edges, 8259 markings/sec, 145 secs
lola: 1214069 markings, 2158009 edges, 8149 markings/sec, 150 secs
lola: 1255033 markings, 2239313 edges, 8193 markings/sec, 155 secs
lola: 1296198 markings, 2315050 edges, 8233 markings/sec, 160 secs
lola: 1339610 markings, 2411767 edges, 8682 markings/sec, 165 secs
lola: 1379739 markings, 2483057 edges, 8026 markings/sec, 170 secs
lola: 1422338 markings, 2576204 edges, 8520 markings/sec, 175 secs
lola: 1462175 markings, 2646685 edges, 7967 markings/sec, 180 secs
lola: 1504203 markings, 2734532 edges, 8406 markings/sec, 185 secs
lola: 1543129 markings, 2811677 edges, 7785 markings/sec, 190 secs
lola: 1583823 markings, 2884169 edges, 8139 markings/sec, 195 secs
lola: 1624116 markings, 2962558 edges, 8059 markings/sec, 200 secs
lola: 1666440 markings, 3041164 edges, 8465 markings/sec, 205 secs
lola: 1705152 markings, 3115575 edges, 7742 markings/sec, 210 secs
lola: 1746051 markings, 3196775 edges, 8180 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: 32073 markings, 53395 edges, 6415 markings/sec, 0 secs
lola: 57388 markings, 81498 edges, 5063 markings/sec, 5 secs
lola: 81451 markings, 107404 edges, 4813 markings/sec, 10 secs
lola: 105847 markings, 133810 edges, 4879 markings/sec, 15 secs
lola: 130248 markings, 160330 edges, 4880 markings/sec, 20 secs
lola: 155379 markings, 188345 edges, 5026 markings/sec, 25 secs
lola: 179874 markings, 214432 edges, 4899 markings/sec, 30 secs
lola: 202797 markings, 239633 edges, 4585 markings/sec, 35 secs
lola: 226071 markings, 265048 edges, 4655 markings/sec, 40 secs
lola: 249039 markings, 289903 edges, 4594 markings/sec, 45 secs
lola: 274247 markings, 318001 edges, 5042 markings/sec, 50 secs
lola: 297698 markings, 343629 edges, 4690 markings/sec, 55 secs
lola: 322147 markings, 371317 edges, 4890 markings/sec, 60 secs
lola: 345436 markings, 396837 edges, 4658 markings/sec, 65 secs
lola: 369901 markings, 425219 edges, 4893 markings/sec, 70 secs
lola: 394692 markings, 453473 edges, 4958 markings/sec, 75 secs
lola: 418389 markings, 479738 edges, 4739 markings/sec, 80 secs
lola: 444167 markings, 509261 edges, 5156 markings/sec, 85 secs
lola: 467820 markings, 535115 edges, 4731 markings/sec, 90 secs
lola: 491370 markings, 561010 edges, 4710 markings/sec, 95 secs
lola: 516648 markings, 589804 edges, 5056 markings/sec, 100 secs
lola: 541481 markings, 619663 edges, 4967 markings/sec, 105 secs
lola: 565202 markings, 646010 edges, 4744 markings/sec, 110 secs
lola: 587914 markings, 671018 edges, 4542 markings/sec, 115 secs
lola: 613346 markings, 700531 edges, 5086 markings/sec, 120 secs
lola: 637377 markings, 727261 edges, 4806 markings/sec, 125 secs
lola: 660282 markings, 752559 edges, 4581 markings/sec, 130 secs
lola: 684028 markings, 778256 edges, 4749 markings/sec, 135 secs
lola: 707059 markings, 803901 edges, 4606 markings/sec, 140 secs
lola: 731998 markings, 832009 edges, 4988 markings/sec, 145 secs
lola: 754994 markings, 857295 edges, 4599 markings/sec, 150 secs
lola: 779097 markings, 884324 edges, 4821 markings/sec, 155 secs
lola: 802613 markings, 910767 edges, 4703 markings/sec, 160 secs
lola: 827375 markings, 938258 edges, 4952 markings/sec, 165 secs
lola: 852906 markings, 969483 edges, 5106 markings/sec, 170 secs
lola: 875419 markings, 994384 edges, 4503 markings/sec, 175 secs
lola: 899525 markings, 1020754 edges, 4821 markings/sec, 180 secs
lola: 924357 markings, 1049349 edges, 4966 markings/sec, 185 secs
lola: 947121 markings, 1074954 edges, 4553 markings/sec, 190 secs
lola: 969601 markings, 1100022 edges, 4496 markings/sec, 195 secs
lola: 992833 markings, 1127097 edges, 4646 markings/sec, 200 secs
lola: 1018956 markings, 1158368 edges, 5225 markings/sec, 205 secs
lola: 1042438 markings, 1184603 edges, 4696 markings/sec, 210 secs
lola: 1065861 markings, 1211206 edges, 4685 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: 36702 markings, 38347 edges, 7340 markings/sec, 0 secs
lola: 73322 markings, 76625 edges, 7324 markings/sec, 5 secs
lola: 109809 markings, 114696 edges, 7297 markings/sec, 10 secs
lola: 146248 markings, 152767 edges, 7288 markings/sec, 15 secs
lola: 183403 markings, 192036 edges, 7431 markings/sec, 20 secs
lola: 220364 markings, 231038 edges, 7392 markings/sec, 25 secs
lola: 257690 markings, 270899 edges, 7465 markings/sec, 30 secs
lola: 294306 markings, 309471 edges, 7323 markings/sec, 35 secs
lola: 331137 markings, 348387 edges, 7366 markings/sec, 40 secs
lola: 368146 markings, 387814 edges, 7402 markings/sec, 45 secs
lola: 404854 markings, 426504 edges, 7342 markings/sec, 50 secs
lola: 442142 markings, 467256 edges, 7458 markings/sec, 55 secs
lola: 478730 markings, 505622 edges, 7318 markings/sec, 60 secs
lola: 515578 markings, 544797 edges, 7370 markings/sec, 65 secs
lola: 552140 markings, 583231 edges, 7312 markings/sec, 70 secs
lola: 589335 markings, 623427 edges, 7439 markings/sec, 75 secs
lola: 626645 markings, 663884 edges, 7462 markings/sec, 80 secs
lola: 663639 markings, 703573 edges, 7399 markings/sec, 85 secs
lola: 700669 markings, 743310 edges, 7406 markings/sec, 90 secs
lola: 737599 markings, 782770 edges, 7386 markings/sec, 95 secs
lola: 774650 markings, 822448 edges, 7410 markings/sec, 100 secs
lola: 811801 markings, 863362 edges, 7430 markings/sec, 105 secs
lola: 849248 markings, 904887 edges, 7489 markings/sec, 110 secs
lola: 886657 markings, 945760 edges, 7482 markings/sec, 115 secs
lola: 924307 markings, 987275 edges, 7530 markings/sec, 120 secs
lola: 961713 markings, 1027485 edges, 7481 markings/sec, 125 secs
lola: 999289 markings, 1068697 edges, 7515 markings/sec, 130 secs
lola: 1037081 markings, 1110573 edges, 7558 markings/sec, 135 secs
lola: 1075262 markings, 1153291 edges, 7636 markings/sec, 140 secs
lola: 1112738 markings, 1195088 edges, 7495 markings/sec, 145 secs
lola: 1150044 markings, 1236555 edges, 7461 markings/sec, 150 secs
lola: 1187535 markings, 1279016 edges, 7498 markings/sec, 155 secs
lola: 1225343 markings, 1320736 edges, 7562 markings/sec, 160 secs
lola: 1262861 markings, 1361530 edges, 7504 markings/sec, 165 secs
lola: 1300352 markings, 1403123 edges, 7498 markings/sec, 170 secs
lola: 1338082 markings, 1445348 edges, 7546 markings/sec, 175 secs
lola: 1375434 markings, 1486739 edges, 7470 markings/sec, 180 secs
lola: 1412701 markings, 1527965 edges, 7453 markings/sec, 185 secs
lola: 1450306 markings, 1568967 edges, 7521 markings/sec, 190 secs
lola: 1487998 markings, 1611402 edges, 7538 markings/sec, 195 secs
lola: 1525442 markings, 1652888 edges, 7489 markings/sec, 200 secs
lola: 1562822 markings, 1694223 edges, 7476 markings/sec, 205 secs
lola: 1600628 markings, 1736003 edges, 7561 markings/sec, 210 secs
lola: 1638141 markings, 1777903 edges, 7503 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: 31853 markings, 47557 edges, 6371 markings/sec, 0 secs
lola: 71569 markings, 99700 edges, 7943 markings/sec, 5 secs
lola: 111415 markings, 153466 edges, 7969 markings/sec, 10 secs
lola: 149799 markings, 205550 edges, 7677 markings/sec, 15 secs
lola: 187769 markings, 256420 edges, 7594 markings/sec, 20 secs
lola: 217432 markings, 302439 edges, 5933 markings/sec, 25 secs
lola: 256372 markings, 357100 edges, 7788 markings/sec, 30 secs
lola: 294870 markings, 409255 edges, 7700 markings/sec, 35 secs
lola: 333603 markings, 462692 edges, 7747 markings/sec, 40 secs
lola: 371300 markings, 515387 edges, 7539 markings/sec, 45 secs
lola: 402817 markings, 565079 edges, 6303 markings/sec, 50 secs
lola: 441650 markings, 619758 edges, 7767 markings/sec, 55 secs
lola: 482283 markings, 683755 edges, 8127 markings/sec, 60 secs
lola: 521581 markings, 748493 edges, 7860 markings/sec, 65 secs
lola: 548323 markings, 792638 edges, 5348 markings/sec, 70 secs
lola: 585184 markings, 846804 edges, 7372 markings/sec, 75 secs
lola: 618540 markings, 897123 edges, 6671 markings/sec, 80 secs
lola: 655462 markings, 949564 edges, 7384 markings/sec, 85 secs
lola: 684746 markings, 996211 edges, 5857 markings/sec, 90 secs
lola: 720368 markings, 1044660 edges, 7124 markings/sec, 95 secs
lola: 755999 markings, 1095536 edges, 7126 markings/sec, 100 secs
lola: 786999 markings, 1142201 edges, 6200 markings/sec, 105 secs
lola: 825562 markings, 1195862 edges, 7713 markings/sec, 110 secs
lola: 865546 markings, 1252875 edges, 7997 markings/sec, 115 secs
lola: 905029 markings, 1308164 edges, 7897 markings/sec, 120 secs
lola: 944943 markings, 1365083 edges, 7983 markings/sec, 125 secs
lola: 983954 markings, 1421484 edges, 7802 markings/sec, 130 secs
lola: 1013668 markings, 1469612 edges, 5943 markings/sec, 135 secs
lola: 1052421 markings, 1523618 edges, 7751 markings/sec, 140 secs
lola: 1091646 markings, 1578356 edges, 7845 markings/sec, 145 secs
lola: 1131259 markings, 1635920 edges, 7923 markings/sec, 150 secs
lola: 1166975 markings, 1697496 edges, 7143 markings/sec, 155 secs
lola: 1207688 markings, 1763076 edges, 8143 markings/sec, 160 secs
lola: 1249526 markings, 1837812 edges, 8368 markings/sec, 165 secs
lola: 1289071 markings, 1893885 edges, 7909 markings/sec, 170 secs
lola: 1327059 markings, 1950250 edges, 7598 markings/sec, 175 secs
lola: 1367420 markings, 2023558 edges, 8072 markings/sec, 180 secs
lola: 1406398 markings, 2079937 edges, 7796 markings/sec, 185 secs
lola: 1442850 markings, 2144841 edges, 7290 markings/sec, 190 secs
lola: 1484940 markings, 2222944 edges, 8418 markings/sec, 195 secs
lola: 1526119 markings, 2295833 edges, 8236 markings/sec, 200 secs
lola: 1558120 markings, 2345749 edges, 6400 markings/sec, 205 secs
lola: 1589825 markings, 2395751 edges, 6341 markings/sec, 210 secs
lola: 1631500 markings, 2470229 edges, 8335 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: 15153 markings, 28696 edges, 3031 markings/sec, 0 secs
lola: 30981 markings, 58660 edges, 3166 markings/sec, 5 secs
lola: 44067 markings, 92190 edges, 2617 markings/sec, 10 secs
lola: 60250 markings, 120598 edges, 3237 markings/sec, 15 secs
lola: 73380 markings, 151090 edges, 2626 markings/sec, 20 secs
lola: 88600 markings, 181868 edges, 3044 markings/sec, 25 secs
lola: 103171 markings, 210779 edges, 2914 markings/sec, 30 secs
lola: 118226 markings, 240860 edges, 3011 markings/sec, 35 secs
lola: 135500 markings, 269152 edges, 3455 markings/sec, 40 secs
lola: 152161 markings, 298545 edges, 3332 markings/sec, 45 secs
lola: 171612 markings, 325953 edges, 3890 markings/sec, 50 secs
lola: 188266 markings, 352377 edges, 3331 markings/sec, 55 secs
lola: 208498 markings, 380505 edges, 4046 markings/sec, 60 secs
lola: 227554 markings, 408584 edges, 3811 markings/sec, 65 secs
lola: 247687 markings, 434026 edges, 4027 markings/sec, 70 secs
lola: 267583 markings, 460566 edges, 3979 markings/sec, 75 secs
lola: 286856 markings, 486041 edges, 3855 markings/sec, 80 secs
lola: 307865 markings, 512496 edges, 4202 markings/sec, 85 secs
lola: 328877 markings, 538615 edges, 4202 markings/sec, 90 secs
lola: 350730 markings, 564808 edges, 4371 markings/sec, 95 secs
lola: 372232 markings, 591986 edges, 4300 markings/sec, 100 secs
lola: 394687 markings, 618120 edges, 4491 markings/sec, 105 secs
lola: 415240 markings, 643139 edges, 4111 markings/sec, 110 secs
lola: 436866 markings, 669385 edges, 4325 markings/sec, 115 secs
lola: 458795 markings, 694025 edges, 4386 markings/sec, 120 secs
lola: 479352 markings, 719774 edges, 4111 markings/sec, 125 secs
lola: 499494 markings, 745973 edges, 4028 markings/sec, 130 secs
lola: 521277 markings, 772641 edges, 4357 markings/sec, 135 secs
lola: 541961 markings, 798914 edges, 4137 markings/sec, 140 secs
lola: 563027 markings, 824557 edges, 4213 markings/sec, 145 secs
lola: 584546 markings, 851122 edges, 4304 markings/sec, 150 secs
lola: 606131 markings, 877584 edges, 4317 markings/sec, 155 secs
lola: 628210 markings, 903579 edges, 4416 markings/sec, 160 secs
lola: 649241 markings, 930183 edges, 4206 markings/sec, 165 secs
lola: 670501 markings, 956446 edges, 4252 markings/sec, 170 secs
lola: 691915 markings, 982882 edges, 4283 markings/sec, 175 secs
lola: 710125 markings, 1011503 edges, 3642 markings/sec, 180 secs
lola: 730078 markings, 1036799 edges, 3991 markings/sec, 185 secs
lola: 751466 markings, 1062834 edges, 4278 markings/sec, 190 secs
lola: 772368 markings, 1090544 edges, 4180 markings/sec, 195 secs
lola: 793906 markings, 1116350 edges, 4308 markings/sec, 200 secs
lola: 816025 markings, 1142719 edges, 4424 markings/sec, 205 secs
lola: 837122 markings, 1168049 edges, 4219 markings/sec, 210 secs
lola: 857346 markings, 1195062 edges, 4045 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: 17573 markings, 26970 edges, 3515 markings/sec, 0 secs
lola: 35110 markings, 56091 edges, 3507 markings/sec, 5 secs
lola: 49122 markings, 91388 edges, 2802 markings/sec, 10 secs
lola: 64505 markings, 124998 edges, 3077 markings/sec, 15 secs
lola: 78909 markings, 160387 edges, 2881 markings/sec, 20 secs
lola: 98023 markings, 187886 edges, 3823 markings/sec, 25 secs
lola: 115218 markings, 217839 edges, 3439 markings/sec, 30 secs
lola: 132246 markings, 250317 edges, 3406 markings/sec, 35 secs
lola: 150990 markings, 278682 edges, 3749 markings/sec, 40 secs
lola: 167264 markings, 310563 edges, 3255 markings/sec, 45 secs
lola: 185214 markings, 341553 edges, 3590 markings/sec, 50 secs
lola: 203977 markings, 371057 edges, 3753 markings/sec, 55 secs
lola: 221233 markings, 403117 edges, 3451 markings/sec, 60 secs
lola: 240613 markings, 432253 edges, 3876 markings/sec, 65 secs
lola: 260222 markings, 459914 edges, 3922 markings/sec, 70 secs
lola: 279367 markings, 489277 edges, 3829 markings/sec, 75 secs
lola: 300384 markings, 518615 edges, 4203 markings/sec, 80 secs
lola: 320152 markings, 547745 edges, 3954 markings/sec, 85 secs
lola: 340694 markings, 577469 edges, 4108 markings/sec, 90 secs
lola: 360720 markings, 606625 edges, 4005 markings/sec, 95 secs
lola: 382413 markings, 634827 edges, 4339 markings/sec, 100 secs
lola: 404152 markings, 665281 edges, 4348 markings/sec, 105 secs
lola: 426121 markings, 693764 edges, 4394 markings/sec, 110 secs
lola: 447886 markings, 725597 edges, 4353 markings/sec, 115 secs
lola: 469716 markings, 755999 edges, 4366 markings/sec, 120 secs
lola: 491751 markings, 787466 edges, 4407 markings/sec, 125 secs
lola: 512166 markings, 820567 edges, 4083 markings/sec, 130 secs
lola: 533792 markings, 850797 edges, 4325 markings/sec, 135 secs
lola: 556873 markings, 879785 edges, 4616 markings/sec, 140 secs
lola: 579348 markings, 908399 edges, 4495 markings/sec, 145 secs
lola: 601044 markings, 934496 edges, 4339 markings/sec, 150 secs
lola: 623496 markings, 963229 edges, 4490 markings/sec, 155 secs
lola: 645076 markings, 992332 edges, 4316 markings/sec, 160 secs
lola: 665600 markings, 1022692 edges, 4105 markings/sec, 165 secs
lola: 687006 markings, 1051429 edges, 4281 markings/sec, 170 secs
lola: 709115 markings, 1078784 edges, 4422 markings/sec, 175 secs
lola: 730753 markings, 1104659 edges, 4328 markings/sec, 180 secs
lola: 752225 markings, 1131877 edges, 4294 markings/sec, 185 secs
lola: 774359 markings, 1157975 edges, 4427 markings/sec, 190 secs
lola: 797256 markings, 1186884 edges, 4579 markings/sec, 195 secs
lola: 820061 markings, 1220158 edges, 4561 markings/sec, 200 secs
lola: 838501 markings, 1252617 edges, 3688 markings/sec, 205 secs
lola: 858641 markings, 1284418 edges, 4028 markings/sec, 210 secs
lola: 879408 markings, 1315718 edges, 4153 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: 23033 markings, 25417 edges, 4607 markings/sec, 0 secs
lola: 45948 markings, 50223 edges, 4583 markings/sec, 5 secs
lola: 69000 markings, 75534 edges, 4610 markings/sec, 10 secs
lola: 92024 markings, 100908 edges, 4605 markings/sec, 15 secs
lola: 115172 markings, 126590 edges, 4630 markings/sec, 20 secs
lola: 138222 markings, 152532 edges, 4610 markings/sec, 25 secs
lola: 160659 markings, 177560 edges, 4487 markings/sec, 30 secs
lola: 182776 markings, 201874 edges, 4423 markings/sec, 35 secs
lola: 204835 markings, 226664 edges, 4412 markings/sec, 40 secs
lola: 227012 markings, 251396 edges, 4435 markings/sec, 45 secs
lola: 249202 markings, 275300 edges, 4438 markings/sec, 50 secs
lola: 271375 markings, 299684 edges, 4435 markings/sec, 55 secs
lola: 293525 markings, 324946 edges, 4430 markings/sec, 60 secs
lola: 315726 markings, 349899 edges, 4440 markings/sec, 65 secs
lola: 337727 markings, 373929 edges, 4400 markings/sec, 70 secs
lola: 359934 markings, 398326 edges, 4441 markings/sec, 75 secs
lola: 382588 markings, 436531 edges, 4531 markings/sec, 80 secs
lola: 404836 markings, 470067 edges, 4450 markings/sec, 85 secs
lola: 427025 markings, 494538 edges, 4438 markings/sec, 90 secs
lola: 449216 markings, 519419 edges, 4438 markings/sec, 95 secs
lola: 471467 markings, 544177 edges, 4450 markings/sec, 100 secs
lola: 493471 markings, 568639 edges, 4401 markings/sec, 105 secs
lola: 515564 markings, 592545 edges, 4419 markings/sec, 110 secs
lola: 537999 markings, 618376 edges, 4487 markings/sec, 115 secs
lola: 560341 markings, 643957 edges, 4468 markings/sec, 120 secs
lola: 582667 markings, 668936 edges, 4465 markings/sec, 125 secs
lola: 604954 markings, 693640 edges, 4457 markings/sec, 130 secs
lola: 627318 markings, 719359 edges, 4473 markings/sec, 135 secs
lola: 649732 markings, 745206 edges, 4483 markings/sec, 140 secs
lola: 671872 markings, 769810 edges, 4428 markings/sec, 145 secs
lola: 694143 markings, 796236 edges, 4454 markings/sec, 150 secs
lola: 716192 markings, 821132 edges, 4410 markings/sec, 155 secs
lola: 738385 markings, 846002 edges, 4439 markings/sec, 160 secs
lola: 760801 markings, 871003 edges, 4483 markings/sec, 165 secs
lola: 783127 markings, 896334 edges, 4465 markings/sec, 170 secs
lola: 805515 markings, 922433 edges, 4478 markings/sec, 175 secs
lola: 827804 markings, 947164 edges, 4458 markings/sec, 180 secs
lola: 850145 markings, 973265 edges, 4468 markings/sec, 185 secs
lola: 872325 markings, 998778 edges, 4436 markings/sec, 190 secs
lola: 894486 markings, 1023236 edges, 4432 markings/sec, 195 secs
lola: 916770 markings, 1048437 edges, 4457 markings/sec, 200 secs
lola: 938888 markings, 1073848 edges, 4424 markings/sec, 205 secs
lola: 961099 markings, 1099077 edges, 4442 markings/sec, 210 secs
lola: 983277 markings, 1125295 edges, 4436 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: 25137 markings, 26675 edges, 5027 markings/sec, 0 secs
lola: 50196 markings, 53294 edges, 5012 markings/sec, 5 secs
lola: 73072 markings, 77356 edges, 4575 markings/sec, 10 secs
lola: 97613 markings, 103528 edges, 4908 markings/sec, 15 secs
lola: 122803 markings, 130189 edges, 5038 markings/sec, 20 secs
lola: 147274 markings, 156064 edges, 4894 markings/sec, 25 secs
lola: 171809 markings, 182167 edges, 4907 markings/sec, 30 secs
lola: 196406 markings, 208448 edges, 4919 markings/sec, 35 secs
lola: 221231 markings, 234637 edges, 4965 markings/sec, 40 secs
lola: 244030 markings, 258626 edges, 4560 markings/sec, 45 secs
lola: 265688 markings, 281425 edges, 4332 markings/sec, 50 secs
lola: 288964 markings, 306368 edges, 4655 markings/sec, 55 secs
lola: 313710 markings, 333515 edges, 4949 markings/sec, 60 secs
lola: 338374 markings, 359571 edges, 4933 markings/sec, 65 secs
lola: 362896 markings, 385331 edges, 4904 markings/sec, 70 secs
lola: 387729 markings, 411557 edges, 4967 markings/sec, 75 secs
lola: 411968 markings, 437252 edges, 4848 markings/sec, 80 secs
lola: 435004 markings, 461638 edges, 4607 markings/sec, 85 secs
lola: 458280 markings, 486141 edges, 4655 markings/sec, 90 secs
lola: 482242 markings, 511551 edges, 4792 markings/sec, 95 secs
lola: 505974 markings, 537482 edges, 4746 markings/sec, 100 secs
lola: 528818 markings, 561995 edges, 4569 markings/sec, 105 secs
lola: 552784 markings, 588038 edges, 4793 markings/sec, 110 secs
lola: 576918 markings, 615339 edges, 4827 markings/sec, 115 secs
lola: 599849 markings, 640162 edges, 4586 markings/sec, 120 secs
lola: 623141 markings, 665549 edges, 4658 markings/sec, 125 secs
lola: 647032 markings, 691641 edges, 4778 markings/sec, 130 secs
lola: 671768 markings, 719330 edges, 4947 markings/sec, 135 secs
lola: 696102 markings, 746660 edges, 4867 markings/sec, 140 secs
lola: 720187 markings, 773210 edges, 4817 markings/sec, 145 secs
lola: 744833 markings, 799389 edges, 4929 markings/sec, 150 secs
lola: 768668 markings, 825584 edges, 4767 markings/sec, 155 secs
lola: 792709 markings, 852471 edges, 4808 markings/sec, 160 secs
lola: 817125 markings, 878237 edges, 4883 markings/sec, 165 secs
lola: 841788 markings, 904452 edges, 4933 markings/sec, 170 secs
lola: 867002 markings, 932546 edges, 5043 markings/sec, 175 secs
lola: 891493 markings, 960253 edges, 4898 markings/sec, 180 secs
lola: 917564 markings, 991338 edges, 5214 markings/sec, 185 secs
lola: 942249 markings, 1019262 edges, 4937 markings/sec, 190 secs
lola: 967708 markings, 1048418 edges, 5092 markings/sec, 195 secs
lola: 992473 markings, 1076298 edges, 4953 markings/sec, 200 secs
lola: 1017380 markings, 1103382 edges, 4981 markings/sec, 205 secs
lola: 1042367 markings, 1129726 edges, 4997 markings/sec, 210 secs
lola: 1066234 markings, 1155815 edges, 4773 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: 23303 markings, 25034 edges, 4661 markings/sec, 0 secs
lola: 47933 markings, 51925 edges, 4926 markings/sec, 5 secs
lola: 72253 markings, 78567 edges, 4864 markings/sec, 10 secs
lola: 96751 markings, 105260 edges, 4900 markings/sec, 15 secs
lola: 121162 markings, 131862 edges, 4882 markings/sec, 20 secs
lola: 144456 markings, 157341 edges, 4659 markings/sec, 25 secs
lola: 168300 markings, 183895 edges, 4769 markings/sec, 30 secs
lola: 192678 markings, 210860 edges, 4876 markings/sec, 35 secs
lola: 216826 markings, 237369 edges, 4830 markings/sec, 40 secs
lola: 239460 markings, 261824 edges, 4527 markings/sec, 45 secs
lola: 263487 markings, 288754 edges, 4805 markings/sec, 50 secs
lola: 287158 markings, 315267 edges, 4734 markings/sec, 55 secs
lola: 310771 markings, 342065 edges, 4723 markings/sec, 60 secs
lola: 334908 markings, 369296 edges, 4827 markings/sec, 65 secs
lola: 360826 markings, 399724 edges, 5184 markings/sec, 70 secs
lola: 385707 markings, 427190 edges, 4976 markings/sec, 75 secs
lola: 411239 markings, 456906 edges, 5106 markings/sec, 80 secs
lola: 437413 markings, 488490 edges, 5235 markings/sec, 85 secs
lola: 464643 markings, 522335 edges, 5446 markings/sec, 90 secs
lola: 490644 markings, 553063 edges, 5200 markings/sec, 95 secs
lola: 516332 markings, 583322 edges, 5138 markings/sec, 100 secs
lola: 542866 markings, 615275 edges, 5307 markings/sec, 105 secs
lola: 569018 markings, 646455 edges, 5230 markings/sec, 110 secs
lola: 594381 markings, 676522 edges, 5073 markings/sec, 115 secs
lola: 620588 markings, 707591 edges, 5241 markings/sec, 120 secs
lola: 645758 markings, 737089 edges, 5034 markings/sec, 125 secs
lola: 671002 markings, 765856 edges, 5049 markings/sec, 130 secs
lola: 696794 markings, 797542 edges, 5158 markings/sec, 135 secs
lola: 729885 markings, 852785 edges, 6618 markings/sec, 140 secs
lola: 756264 markings, 887794 edges, 5276 markings/sec, 145 secs
lola: 781171 markings, 917052 edges, 4981 markings/sec, 150 secs
lola: 807995 markings, 950787 edges, 5365 markings/sec, 155 secs
lola: 834234 markings, 982900 edges, 5248 markings/sec, 160 secs
lola: 860385 markings, 1015739 edges, 5230 markings/sec, 165 secs
lola: 886475 markings, 1047154 edges, 5218 markings/sec, 170 secs
lola: 920952 markings, 1108858 edges, 6895 markings/sec, 175 secs
lola: 947063 markings, 1141550 edges, 5222 markings/sec, 180 secs
lola: 973312 markings, 1174072 edges, 5250 markings/sec, 185 secs
lola: 1005395 markings, 1226367 edges, 6417 markings/sec, 190 secs
lola: 1033579 markings, 1266950 edges, 5637 markings/sec, 195 secs
lola: 1060332 markings, 1300278 edges, 5351 markings/sec, 200 secs
lola: 1087311 markings, 1335589 edges, 5396 markings/sec, 205 secs
lola: 1113511 markings, 1368294 edges, 5240 markings/sec, 210 secs
lola: 1142180 markings, 1406260 edges, 5734 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: 19509 markings, 23296 edges, 3902 markings/sec, 0 secs
lola: 33850 markings, 56210 edges, 2868 markings/sec, 5 secs
lola: 47950 markings, 90542 edges, 2820 markings/sec, 10 secs
lola: 64570 markings, 121978 edges, 3324 markings/sec, 15 secs
lola: 79589 markings, 155805 edges, 3004 markings/sec, 20 secs
lola: 96670 markings, 187490 edges, 3416 markings/sec, 25 secs
lola: 116554 markings, 216027 edges, 3977 markings/sec, 30 secs
lola: 135687 markings, 244566 edges, 3827 markings/sec, 35 secs
lola: 153299 markings, 275956 edges, 3522 markings/sec, 40 secs
lola: 171258 markings, 306436 edges, 3592 markings/sec, 45 secs
lola: 188827 markings, 339268 edges, 3514 markings/sec, 50 secs
lola: 206726 markings, 372412 edges, 3580 markings/sec, 55 secs
lola: 224578 markings, 405983 edges, 3570 markings/sec, 60 secs
lola: 244342 markings, 434602 edges, 3953 markings/sec, 65 secs
lola: 264154 markings, 465328 edges, 3962 markings/sec, 70 secs
lola: 284931 markings, 495917 edges, 4155 markings/sec, 75 secs
lola: 304764 markings, 526694 edges, 3967 markings/sec, 80 secs
lola: 325928 markings, 554625 edges, 4233 markings/sec, 85 secs
lola: 347217 markings, 584402 edges, 4258 markings/sec, 90 secs
lola: 368155 markings, 614263 edges, 4188 markings/sec, 95 secs
lola: 389595 markings, 644613 edges, 4288 markings/sec, 100 secs
lola: 411056 markings, 674299 edges, 4292 markings/sec, 105 secs
lola: 431653 markings, 708997 edges, 4119 markings/sec, 110 secs
lola: 452085 markings, 739766 edges, 4086 markings/sec, 115 secs
lola: 473430 markings, 770284 edges, 4269 markings/sec, 120 secs
lola: 495818 markings, 798077 edges, 4478 markings/sec, 125 secs
lola: 518266 markings, 827474 edges, 4490 markings/sec, 130 secs
lola: 538379 markings, 859191 edges, 4023 markings/sec, 135 secs
lola: 559536 markings, 888237 edges, 4231 markings/sec, 140 secs
lola: 582347 markings, 917656 edges, 4562 markings/sec, 145 secs
lola: 604804 markings, 946832 edges, 4491 markings/sec, 150 secs
lola: 627245 markings, 975668 edges, 4488 markings/sec, 155 secs
lola: 650002 markings, 1006060 edges, 4551 markings/sec, 160 secs
lola: 671880 markings, 1032707 edges, 4376 markings/sec, 165 secs
lola: 694169 markings, 1062380 edges, 4458 markings/sec, 170 secs
lola: 714037 markings, 1092092 edges, 3974 markings/sec, 175 secs
lola: 736406 markings, 1122095 edges, 4474 markings/sec, 180 secs
lola: 757138 markings, 1153000 edges, 4146 markings/sec, 185 secs
lola: 779082 markings, 1180819 edges, 4389 markings/sec, 190 secs
lola: 801878 markings, 1211396 edges, 4559 markings/sec, 195 secs
lola: 824126 markings, 1240710 edges, 4450 markings/sec, 200 secs
lola: 847687 markings, 1270751 edges, 4712 markings/sec, 205 secs
lola: 869011 markings, 1300295 edges, 4265 markings/sec, 210 secs
lola: 892100 markings, 1330304 edges, 4618 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: 17373 markings, 26381 edges, 3475 markings/sec, 0 secs
lola: 34801 markings, 54880 edges, 3486 markings/sec, 5 secs
lola: 48565 markings, 89561 edges, 2753 markings/sec, 10 secs
lola: 63336 markings, 122019 edges, 2954 markings/sec, 15 secs
lola: 77058 markings, 154807 edges, 2744 markings/sec, 20 secs
lola: 94214 markings, 182844 edges, 3431 markings/sec, 25 secs
lola: 111300 markings, 211801 edges, 3417 markings/sec, 30 secs
lola: 128011 markings, 243844 edges, 3342 markings/sec, 35 secs
lola: 146509 markings, 271524 edges, 3700 markings/sec, 40 secs
lola: 162837 markings, 301671 edges, 3266 markings/sec, 45 secs
lola: 179515 markings, 333585 edges, 3336 markings/sec, 50 secs
lola: 197949 markings, 361953 edges, 3687 markings/sec, 55 secs
lola: 214731 markings, 393363 edges, 3356 markings/sec, 60 secs
lola: 233728 markings, 421149 edges, 3799 markings/sec, 65 secs
lola: 252687 markings, 450974 edges, 3792 markings/sec, 70 secs
lola: 271826 markings, 477612 edges, 3828 markings/sec, 75 secs
lola: 291369 markings, 506305 edges, 3909 markings/sec, 80 secs
lola: 311079 markings, 535831 edges, 3942 markings/sec, 85 secs
lola: 330993 markings, 564912 edges, 3983 markings/sec, 90 secs
lola: 350697 markings, 593636 edges, 3941 markings/sec, 95 secs
lola: 371804 markings, 621835 edges, 4221 markings/sec, 100 secs
lola: 394208 markings, 651406 edges, 4481 markings/sec, 105 secs
lola: 415516 markings, 680414 edges, 4262 markings/sec, 110 secs
lola: 436287 markings, 710212 edges, 4154 markings/sec, 115 secs
lola: 458189 markings, 738852 edges, 4380 markings/sec, 120 secs
lola: 478613 markings, 767967 edges, 4085 markings/sec, 125 secs
lola: 499283 markings, 798516 edges, 4134 markings/sec, 130 secs
lola: 518117 markings, 829793 edges, 3767 markings/sec, 135 secs
lola: 539137 markings, 857945 edges, 4204 markings/sec, 140 secs
lola: 560713 markings, 885086 edges, 4315 markings/sec, 145 secs
lola: 582583 markings, 912357 edges, 4374 markings/sec, 150 secs
lola: 603993 markings, 938484 edges, 4282 markings/sec, 155 secs
lola: 626370 markings, 966910 edges, 4475 markings/sec, 160 secs
lola: 647586 markings, 995515 edges, 4243 markings/sec, 165 secs
lola: 667016 markings, 1025915 edges, 3886 markings/sec, 170 secs
lola: 688567 markings, 1053055 edges, 4310 markings/sec, 175 secs
lola: 710714 markings, 1080608 edges, 4429 markings/sec, 180 secs
lola: 732037 markings, 1106141 edges, 4265 markings/sec, 185 secs
lola: 753271 markings, 1133220 edges, 4247 markings/sec, 190 secs
lola: 774960 markings, 1158647 edges, 4338 markings/sec, 195 secs
lola: 797645 markings, 1187349 edges, 4537 markings/sec, 200 secs
lola: 820102 markings, 1220311 edges, 4491 markings/sec, 205 secs
lola: 838394 markings, 1252359 edges, 3658 markings/sec, 210 secs
lola: 858161 markings, 1283882 edges, 3953 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: 23595 markings, 25363 edges, 4719 markings/sec, 0 secs
lola: 48595 markings, 52639 edges, 5000 markings/sec, 5 secs
lola: 73167 markings, 79568 edges, 4914 markings/sec, 10 secs
lola: 98148 markings, 106737 edges, 4996 markings/sec, 15 secs
lola: 122959 markings, 133831 edges, 4962 markings/sec, 20 secs
lola: 146429 markings, 159351 edges, 4694 markings/sec, 25 secs
lola: 170694 markings, 186262 edges, 4853 markings/sec, 30 secs
lola: 195573 markings, 213852 edges, 4976 markings/sec, 35 secs
lola: 219908 markings, 240485 edges, 4867 markings/sec, 40 secs
lola: 243021 markings, 265445 edges, 4623 markings/sec, 45 secs
lola: 267766 markings, 293317 edges, 4949 markings/sec, 50 secs
lola: 291409 markings, 319749 edges, 4729 markings/sec, 55 secs
lola: 315813 markings, 347393 edges, 4881 markings/sec, 60 secs
lola: 341009 markings, 376537 edges, 5039 markings/sec, 65 secs
lola: 365298 markings, 404291 edges, 4858 markings/sec, 70 secs
lola: 389833 markings, 431713 edges, 4907 markings/sec, 75 secs
lola: 413503 markings, 458953 edges, 4734 markings/sec, 80 secs
lola: 437680 markings, 487717 edges, 4835 markings/sec, 85 secs
lola: 462628 markings, 517875 edges, 4990 markings/sec, 90 secs
lola: 487793 markings, 548647 edges, 5033 markings/sec, 95 secs
lola: 512098 markings, 577657 edges, 4861 markings/sec, 100 secs
lola: 536212 markings, 605945 edges, 4823 markings/sec, 105 secs
lola: 560440 markings, 634716 edges, 4846 markings/sec, 110 secs
lola: 584160 markings, 662240 edges, 4744 markings/sec, 115 secs
lola: 608576 markings, 691981 edges, 4883 markings/sec, 120 secs
lola: 632606 markings, 719776 edges, 4806 markings/sec, 125 secs
lola: 655983 markings, 747433 edges, 4675 markings/sec, 130 secs
lola: 680436 markings, 776320 edges, 4891 markings/sec, 135 secs
lola: 703414 markings, 803572 edges, 4596 markings/sec, 140 secs
lola: 736524 markings, 863376 edges, 6622 markings/sec, 145 secs
lola: 760252 markings, 890786 edges, 4746 markings/sec, 150 secs
lola: 783578 markings, 918205 edges, 4665 markings/sec, 155 secs
lola: 808958 markings, 949981 edges, 5076 markings/sec, 160 secs
lola: 833484 markings, 980037 edges, 4905 markings/sec, 165 secs
lola: 858136 markings, 1010666 edges, 4930 markings/sec, 170 secs
lola: 882315 markings, 1039484 edges, 4836 markings/sec, 175 secs
lola: 915162 markings, 1095963 edges, 6569 markings/sec, 180 secs
lola: 940145 markings, 1130115 edges, 4997 markings/sec, 185 secs
lola: 965031 markings, 1161559 edges, 4977 markings/sec, 190 secs
lola: 988967 markings, 1189963 edges, 4787 markings/sec, 195 secs
lola: 1021450 markings, 1247957 edges, 6497 markings/sec, 200 secs
lola: 1046406 markings, 1279314 edges, 4991 markings/sec, 205 secs
lola: 1071352 markings, 1310571 edges, 4989 markings/sec, 210 secs
lola: 1098421 markings, 1347076 edges, 5414 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: 20919 markings, 26364 edges, 4184 markings/sec, 0 secs
lola: 42809 markings, 52730 edges, 4378 markings/sec, 5 secs
lola: 65072 markings, 79705 edges, 4453 markings/sec, 10 secs
lola: 86765 markings, 107002 edges, 4339 markings/sec, 15 secs
lola: 107895 markings, 135352 edges, 4226 markings/sec, 20 secs
lola: 129393 markings, 163422 edges, 4300 markings/sec, 25 secs
lola: 151074 markings, 191267 edges, 4336 markings/sec, 30 secs
lola: 172046 markings, 219913 edges, 4194 markings/sec, 35 secs
lola: 192782 markings, 248456 edges, 4147 markings/sec, 40 secs
lola: 212890 markings, 277596 edges, 4022 markings/sec, 45 secs
lola: 232876 markings, 307263 edges, 3997 markings/sec, 50 secs
lola: 253835 markings, 336481 edges, 4192 markings/sec, 55 secs
lola: 275031 markings, 365598 edges, 4239 markings/sec, 60 secs
lola: 294984 markings, 395629 edges, 3991 markings/sec, 65 secs
lola: 316246 markings, 425204 edges, 4252 markings/sec, 70 secs
lola: 337033 markings, 454396 edges, 4157 markings/sec, 75 secs
lola: 357671 markings, 484425 edges, 4128 markings/sec, 80 secs
lola: 378718 markings, 514619 edges, 4209 markings/sec, 85 secs
lola: 400884 markings, 544730 edges, 4433 markings/sec, 90 secs
lola: 423456 markings, 574994 edges, 4514 markings/sec, 95 secs
lola: 445759 markings, 605833 edges, 4461 markings/sec, 100 secs
lola: 468699 markings, 635933 edges, 4588 markings/sec, 105 secs
lola: 491291 markings, 667131 edges, 4518 markings/sec, 110 secs
lola: 513331 markings, 696957 edges, 4408 markings/sec, 115 secs
lola: 534828 markings, 726425 edges, 4299 markings/sec, 120 secs
lola: 555747 markings, 757275 edges, 4184 markings/sec, 125 secs
lola: 577653 markings, 786348 edges, 4381 markings/sec, 130 secs
lola: 598810 markings, 817541 edges, 4231 markings/sec, 135 secs
lola: 620009 markings, 845929 edges, 4240 markings/sec, 140 secs
lola: 640395 markings, 877034 edges, 4077 markings/sec, 145 secs
lola: 661219 markings, 906946 edges, 4165 markings/sec, 150 secs
lola: 682307 markings, 937600 edges, 4218 markings/sec, 155 secs
lola: 704661 markings, 966139 edges, 4471 markings/sec, 160 secs
lola: 725403 markings, 996183 edges, 4148 markings/sec, 165 secs
lola: 746438 markings, 1026630 edges, 4207 markings/sec, 170 secs
lola: 767342 markings, 1058349 edges, 4181 markings/sec, 175 secs
lola: 788132 markings, 1088014 edges, 4158 markings/sec, 180 secs
lola: 808678 markings, 1118775 edges, 4109 markings/sec, 185 secs
lola: 829572 markings, 1146551 edges, 4179 markings/sec, 190 secs
lola: 851126 markings, 1177503 edges, 4311 markings/sec, 195 secs
lola: 872887 markings, 1209614 edges, 4352 markings/sec, 200 secs
lola: 895410 markings, 1240198 edges, 4505 markings/sec, 205 secs
lola: 917598 markings, 1271634 edges, 4438 markings/sec, 210 secs
lola: 939001 markings, 1304229 edges, 4281 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 1494721859777

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-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/PolyORBLF-PT-S06J04T04.tgz
mv 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 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 r048-smll-149440870000506"
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 ;