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

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

=== Now, execution of the tool begins

BK_START 1494743379887


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-PT-S06J06T08 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 15228/65536 symbol table entries, 9133 collisions
lola: preprocessing...
lola: finding significant places
lola: 894 places, 14334 transitions, 832 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4215 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J06T08-UpperBounds.task
lola: MAX(IsMonitoring) : MAX(IdleTasks_8 + IdleTasks_7 + IdleTasks_6 + IdleTasks_5 + IdleTasks_4 + IdleTasks_3 + IdleTasks_2 + IdleTasks_1) : MAX(AvailableJobId_6 + AvailableJobId_5 + AvailableJobId_4 + AvailableJobId_3 + AvailableJobId_2 + AvailableJobId_1 + AvailableJobId_0) : MAX(P_1712_0 + P_1712_1 + P_1712_2 + P_1712_3 + P_1712_4 + P_1712_5 + P_1712_6) : MAX(MarkerRead) : MAX(BlockedTasks) : MAX(P_2318_1 + P_2318_2 + P_2318_3 + P_2318_4 + P_2318_5 + P_2318_6 + P_2318_7 + P_2318_8) : MAX(NoSigAbort) : MAX(TryAllocateOneTaskE_1 + TryAllocateOneTaskE_2 + TryAllocateOneTaskE_3 + TryAllocateOneTaskE_4 + TryAllocateOneTaskE_5 + TryAllocateOneTaskE_6 + TryAllocateOneTaskE_7 + TryAllocateOneTaskE_8) : MAX(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6 + Check_Sources_E_7 + Check_Sources_E_8) : MAX(cSources) : MAX(NotifyEventEndOfCheckSourcesB_1 + NotifyEventEndOfCheckSourcesB_2 + NotifyEventEndOfCheckSourcesB_3 + NotifyEventEndOfCheckSourcesB_4 + NotifyEventEndOfCheckSourcesB_5 + NotifyEventEndOfCheckSourcesB_6 + NotifyEventEndOfCheckSourcesB_7 + NotifyEventEndOfCheckSourcesB_8) : MAX(NotifyEventSourceAddedE_1 + NotifyEventSourceAddedE_2 + NotifyEventSourceAddedE_3 + NotifyEventSourceAddedE_4 + NotifyEventSourceAddedE_5 + NotifyEventSourceAddedE_6 + NotifyEventSourceAddedE_7 + NotifyEventSourceAddedE_8) : MAX(AwakeTasks_1 + AwakeTasks_2 + AwakeTasks_3 + AwakeTasks_4 + AwakeTasks_5 + AwakeTasks_6 + AwakeTasks_7 + AwakeTasks_8) : MAX(P_1159_1 + P_1159_2 + P_1159_3 + P_1159_4 + P_1159_5 + P_1159_6 + P_1159_7 + P_1159_8) : MAX(P_1155_1 + P_1155_2 + P_1155_3 + P_1155_4 + P_1155_5 + P_1155_6 + P_1155_7 + P_1155_8)
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(IsMonitoring)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 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: 5241 markings, 5285 edges, 1048 markings/sec, 0 secs
lola: 10448 markings, 10749 edges, 1041 markings/sec, 5 secs
lola: 15669 markings, 16457 edges, 1044 markings/sec, 10 secs
lola: 20932 markings, 22304 edges, 1053 markings/sec, 15 secs
lola: 25980 markings, 29808 edges, 1010 markings/sec, 20 secs
lola: 31138 markings, 36288 edges, 1032 markings/sec, 25 secs
lola: 35961 markings, 44101 edges, 965 markings/sec, 30 secs
lola: 39746 markings, 54986 edges, 757 markings/sec, 35 secs
lola: 42920 markings, 67810 edges, 635 markings/sec, 40 secs
lola: 46092 markings, 80738 edges, 634 markings/sec, 45 secs
lola: 49251 markings, 93570 edges, 632 markings/sec, 50 secs
lola: 52411 markings, 106565 edges, 632 markings/sec, 55 secs
lola: 55560 markings, 119627 edges, 630 markings/sec, 60 secs
lola: 58713 markings, 132604 edges, 631 markings/sec, 65 secs
lola: 61867 markings, 145840 edges, 631 markings/sec, 70 secs
lola: 65042 markings, 158981 edges, 635 markings/sec, 75 secs
lola: 68211 markings, 171909 edges, 634 markings/sec, 80 secs
lola: 71377 markings, 184872 edges, 633 markings/sec, 85 secs
lola: 74527 markings, 197936 edges, 630 markings/sec, 90 secs
lola: 77713 markings, 210895 edges, 637 markings/sec, 95 secs
lola: 80823 markings, 223686 edges, 622 markings/sec, 100 secs
lola: 83990 markings, 236744 edges, 633 markings/sec, 105 secs
lola: 87137 markings, 249854 edges, 629 markings/sec, 110 secs
lola: 90291 markings, 262642 edges, 631 markings/sec, 115 secs
lola: 93435 markings, 275341 edges, 629 markings/sec, 120 secs
lola: 96584 markings, 288174 edges, 630 markings/sec, 125 secs
lola: 99729 markings, 300803 edges, 629 markings/sec, 130 secs
lola: 102909 markings, 313590 edges, 636 markings/sec, 135 secs
lola: 105987 markings, 325948 edges, 616 markings/sec, 140 secs
lola: 109147 markings, 338690 edges, 632 markings/sec, 145 secs
lola: 112295 markings, 351200 edges, 630 markings/sec, 150 secs
lola: 115511 markings, 364017 edges, 643 markings/sec, 155 secs
lola: 118692 markings, 376275 edges, 636 markings/sec, 160 secs
lola: 121863 markings, 388578 edges, 634 markings/sec, 165 secs
lola: 125023 markings, 401250 edges, 632 markings/sec, 170 secs
lola: 128206 markings, 413277 edges, 637 markings/sec, 175 secs
lola: 131367 markings, 426102 edges, 632 markings/sec, 180 secs
lola: 134534 markings, 438487 edges, 633 markings/sec, 185 secs
lola: 137714 markings, 450768 edges, 636 markings/sec, 190 secs
lola: 140887 markings, 463144 edges, 635 markings/sec, 195 secs
lola: 144044 markings, 476372 edges, 631 markings/sec, 200 secs
lola: 147201 markings, 489474 edges, 631 markings/sec, 205 secs
lola: 150357 markings, 502545 edges, 631 markings/sec, 210 secs
lola: 153512 markings, 515447 edges, 631 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(IdleTasks_8 + IdleTasks_7 + IdleTasks_6 + IdleTasks_5 + IdleTasks_4 + IdleTasks_3 + IdleTasks_2 + IdleTasks_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 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: 5066 markings, 5474 edges, 1013 markings/sec, 0 secs
lola: 10199 markings, 11215 edges, 1027 markings/sec, 5 secs
lola: 15274 markings, 16618 edges, 1015 markings/sec, 10 secs
lola: 20367 markings, 22500 edges, 1019 markings/sec, 15 secs
lola: 25498 markings, 28083 edges, 1026 markings/sec, 20 secs
lola: 30617 markings, 33702 edges, 1024 markings/sec, 25 secs
lola: 35701 markings, 39315 edges, 1017 markings/sec, 30 secs
lola: 40793 markings, 45174 edges, 1018 markings/sec, 35 secs
lola: 45857 markings, 50765 edges, 1013 markings/sec, 40 secs
lola: 50970 markings, 56476 edges, 1023 markings/sec, 45 secs
lola: 56047 markings, 61962 edges, 1015 markings/sec, 50 secs
lola: 61168 markings, 67678 edges, 1024 markings/sec, 55 secs
lola: 66241 markings, 73410 edges, 1015 markings/sec, 60 secs
lola: 71341 markings, 79184 edges, 1020 markings/sec, 65 secs
lola: 76403 markings, 84788 edges, 1012 markings/sec, 70 secs
lola: 81357 markings, 90166 edges, 991 markings/sec, 75 secs
lola: 86212 markings, 95646 edges, 971 markings/sec, 80 secs
lola: 91131 markings, 101059 edges, 984 markings/sec, 85 secs
lola: 95995 markings, 106848 edges, 973 markings/sec, 90 secs
lola: 100883 markings, 112727 edges, 978 markings/sec, 95 secs
lola: 105791 markings, 118428 edges, 982 markings/sec, 100 secs
lola: 110672 markings, 124012 edges, 976 markings/sec, 105 secs
lola: 115525 markings, 129521 edges, 971 markings/sec, 110 secs
lola: 120387 markings, 134930 edges, 972 markings/sec, 115 secs
lola: 125267 markings, 140314 edges, 976 markings/sec, 120 secs
lola: 130238 markings, 145861 edges, 994 markings/sec, 125 secs
lola: 135360 markings, 151561 edges, 1024 markings/sec, 130 secs
lola: 140434 markings, 157386 edges, 1015 markings/sec, 135 secs
lola: 145522 markings, 162946 edges, 1018 markings/sec, 140 secs
lola: 150635 markings, 168845 edges, 1023 markings/sec, 145 secs
lola: 155740 markings, 174810 edges, 1021 markings/sec, 150 secs
lola: 160834 markings, 180601 edges, 1019 markings/sec, 155 secs
lola: 165957 markings, 186528 edges, 1025 markings/sec, 160 secs
lola: 171014 markings, 192257 edges, 1011 markings/sec, 165 secs
lola: 176094 markings, 198235 edges, 1016 markings/sec, 170 secs
lola: 181173 markings, 204042 edges, 1016 markings/sec, 175 secs
lola: 186270 markings, 210094 edges, 1019 markings/sec, 180 secs
lola: 191345 markings, 215865 edges, 1015 markings/sec, 185 secs
lola: 196424 markings, 221766 edges, 1016 markings/sec, 190 secs
lola: 201491 markings, 227391 edges, 1013 markings/sec, 195 secs
lola: 206568 markings, 232985 edges, 1015 markings/sec, 200 secs
lola: 211633 markings, 238587 edges, 1013 markings/sec, 205 secs
lola: 216707 markings, 244317 edges, 1015 markings/sec, 210 secs
lola: 221792 markings, 249855 edges, 1017 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(AvailableJobId_6 + AvailableJobId_5 + AvailableJobId_4 + AvailableJobId_3 + AvailableJobId_2 + AvailableJobId_1 + AvailableJobId_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 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: 3338 markings, 11558 edges, 668 markings/sec, 0 secs
lola: 6615 markings, 23364 edges, 655 markings/sec, 5 secs
lola: 9893 markings, 35070 edges, 656 markings/sec, 10 secs
lola: 13192 markings, 45264 edges, 660 markings/sec, 15 secs
lola: 16492 markings, 55515 edges, 660 markings/sec, 20 secs
lola: 19777 markings, 66678 edges, 657 markings/sec, 25 secs
lola: 23070 markings, 77275 edges, 659 markings/sec, 30 secs
lola: 26365 markings, 87797 edges, 659 markings/sec, 35 secs
lola: 29643 markings, 99373 edges, 656 markings/sec, 40 secs
lola: 32919 markings, 111180 edges, 655 markings/sec, 45 secs
lola: 36194 markings, 122997 edges, 655 markings/sec, 50 secs
lola: 39449 markings, 133008 edges, 651 markings/sec, 55 secs
lola: 42617 markings, 142951 edges, 634 markings/sec, 60 secs
lola: 45772 markings, 153628 edges, 631 markings/sec, 65 secs
lola: 48965 markings, 163819 edges, 639 markings/sec, 70 secs
lola: 52263 markings, 174460 edges, 660 markings/sec, 75 secs
lola: 55550 markings, 185779 edges, 657 markings/sec, 80 secs
lola: 58832 markings, 197559 edges, 656 markings/sec, 85 secs
lola: 62040 markings, 207591 edges, 642 markings/sec, 90 secs
lola: 65165 markings, 217603 edges, 625 markings/sec, 95 secs
lola: 68290 markings, 227800 edges, 625 markings/sec, 100 secs
lola: 71409 markings, 238173 edges, 624 markings/sec, 105 secs
lola: 74527 markings, 248826 edges, 624 markings/sec, 110 secs
lola: 77652 markings, 258955 edges, 625 markings/sec, 115 secs
lola: 80778 markings, 269292 edges, 625 markings/sec, 120 secs
lola: 83899 markings, 279797 edges, 624 markings/sec, 125 secs
lola: 87027 markings, 290122 edges, 626 markings/sec, 130 secs
lola: 90155 markings, 300434 edges, 626 markings/sec, 135 secs
lola: 93282 markings, 310970 edges, 625 markings/sec, 140 secs
lola: 96410 markings, 321289 edges, 626 markings/sec, 145 secs
lola: 99533 markings, 331667 edges, 625 markings/sec, 150 secs
lola: 102652 markings, 341963 edges, 624 markings/sec, 155 secs
lola: 105781 markings, 352294 edges, 626 markings/sec, 160 secs
lola: 108908 markings, 362577 edges, 625 markings/sec, 165 secs
lola: 112018 markings, 372829 edges, 622 markings/sec, 170 secs
lola: 115127 markings, 383130 edges, 622 markings/sec, 175 secs
lola: 118238 markings, 393224 edges, 622 markings/sec, 180 secs
lola: 121338 markings, 404117 edges, 620 markings/sec, 185 secs
lola: 124459 markings, 413857 edges, 624 markings/sec, 190 secs
lola: 127569 markings, 424150 edges, 622 markings/sec, 195 secs
lola: 130678 markings, 434466 edges, 622 markings/sec, 200 secs
lola: 133786 markings, 444717 edges, 622 markings/sec, 205 secs
lola: 136900 markings, 454980 edges, 623 markings/sec, 210 secs
lola: 140016 markings, 465123 edges, 623 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(P_1712_0 + P_1712_1 + P_1712_2 + P_1712_3 + P_1712_4 + P_1712_5 + P_1712_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 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: 5065 markings, 5231 edges, 1013 markings/sec, 0 secs
lola: 10081 markings, 10367 edges, 1003 markings/sec, 5 secs
lola: 15118 markings, 15564 edges, 1007 markings/sec, 10 secs
lola: 20144 markings, 20799 edges, 1005 markings/sec, 15 secs
lola: 25175 markings, 26073 edges, 1006 markings/sec, 20 secs
lola: 30210 markings, 31334 edges, 1007 markings/sec, 25 secs
lola: 35335 markings, 36617 edges, 1025 markings/sec, 30 secs
lola: 40435 markings, 41880 edges, 1020 markings/sec, 35 secs
lola: 45476 markings, 47095 edges, 1008 markings/sec, 40 secs
lola: 50531 markings, 52360 edges, 1011 markings/sec, 45 secs
lola: 55636 markings, 57671 edges, 1021 markings/sec, 50 secs
lola: 60732 markings, 62920 edges, 1019 markings/sec, 55 secs
lola: 65854 markings, 68259 edges, 1024 markings/sec, 60 secs
lola: 70937 markings, 73550 edges, 1017 markings/sec, 65 secs
lola: 76077 markings, 78850 edges, 1028 markings/sec, 70 secs
lola: 81131 markings, 84071 edges, 1011 markings/sec, 75 secs
lola: 86166 markings, 89272 edges, 1007 markings/sec, 80 secs
lola: 91263 markings, 94571 edges, 1019 markings/sec, 85 secs
lola: 96358 markings, 99902 edges, 1019 markings/sec, 90 secs
lola: 101422 markings, 105248 edges, 1013 markings/sec, 95 secs
lola: 106298 markings, 110585 edges, 975 markings/sec, 100 secs
lola: 111348 markings, 115874 edges, 1010 markings/sec, 105 secs
lola: 116403 markings, 121142 edges, 1011 markings/sec, 110 secs
lola: 121474 markings, 126419 edges, 1014 markings/sec, 115 secs
lola: 126513 markings, 131620 edges, 1008 markings/sec, 120 secs
lola: 131476 markings, 136814 edges, 993 markings/sec, 125 secs
lola: 136451 markings, 142121 edges, 995 markings/sec, 130 secs
lola: 141435 markings, 147323 edges, 997 markings/sec, 135 secs
lola: 146565 markings, 152651 edges, 1026 markings/sec, 140 secs
lola: 151631 markings, 157971 edges, 1013 markings/sec, 145 secs
lola: 156605 markings, 163198 edges, 995 markings/sec, 150 secs
lola: 161493 markings, 168370 edges, 978 markings/sec, 155 secs
lola: 166570 markings, 173682 edges, 1015 markings/sec, 160 secs
lola: 171641 markings, 178917 edges, 1014 markings/sec, 165 secs
lola: 176589 markings, 184048 edges, 990 markings/sec, 170 secs
lola: 181399 markings, 189079 edges, 962 markings/sec, 175 secs
lola: 186270 markings, 194126 edges, 974 markings/sec, 180 secs
lola: 191171 markings, 199261 edges, 980 markings/sec, 185 secs
lola: 196072 markings, 204331 edges, 980 markings/sec, 190 secs
lola: 201370 markings, 209848 edges, 1060 markings/sec, 195 secs
lola: 206655 markings, 215430 edges, 1057 markings/sec, 200 secs
lola: 211957 markings, 221000 edges, 1060 markings/sec, 205 secs
lola: 217240 markings, 226440 edges, 1057 markings/sec, 210 secs
lola: 222559 markings, 232047 edges, 1064 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(MarkerRead)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 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: 3277 markings, 11319 edges, 655 markings/sec, 0 secs
lola: 6559 markings, 23147 edges, 656 markings/sec, 5 secs
lola: 9710 markings, 34544 edges, 630 markings/sec, 10 secs
lola: 12831 markings, 45882 edges, 624 markings/sec, 15 secs
lola: 15954 markings, 57118 edges, 625 markings/sec, 20 secs
lola: 19105 markings, 68505 edges, 630 markings/sec, 25 secs
lola: 22390 markings, 78874 edges, 657 markings/sec, 30 secs
lola: 25672 markings, 89186 edges, 656 markings/sec, 35 secs
lola: 28945 markings, 100230 edges, 655 markings/sec, 40 secs
lola: 32229 markings, 110656 edges, 657 markings/sec, 45 secs
lola: 35511 markings, 121248 edges, 656 markings/sec, 50 secs
lola: 38650 markings, 131997 edges, 628 markings/sec, 55 secs
lola: 41800 markings, 141953 edges, 630 markings/sec, 60 secs
lola: 44945 markings, 152151 edges, 629 markings/sec, 65 secs
lola: 48089 markings, 162594 edges, 629 markings/sec, 70 secs
lola: 51230 markings, 173277 edges, 628 markings/sec, 75 secs
lola: 54375 markings, 183549 edges, 629 markings/sec, 80 secs
lola: 57520 markings, 193849 edges, 629 markings/sec, 85 secs
lola: 60662 markings, 204528 edges, 628 markings/sec, 90 secs
lola: 63796 markings, 215845 edges, 627 markings/sec, 95 secs
lola: 66929 markings, 227187 edges, 627 markings/sec, 100 secs
lola: 70063 markings, 238469 edges, 627 markings/sec, 105 secs
lola: 73197 markings, 249827 edges, 627 markings/sec, 110 secs
lola: 76330 markings, 261168 edges, 627 markings/sec, 115 secs
lola: 79471 markings, 271991 edges, 628 markings/sec, 120 secs
lola: 82625 markings, 281883 edges, 631 markings/sec, 125 secs
lola: 85781 markings, 291695 edges, 631 markings/sec, 130 secs
lola: 88923 markings, 302371 edges, 628 markings/sec, 135 secs
lola: 92069 markings, 312483 edges, 629 markings/sec, 140 secs
lola: 95150 markings, 322335 edges, 616 markings/sec, 145 secs
lola: 98219 markings, 332839 edges, 614 markings/sec, 150 secs
lola: 101295 markings, 342591 edges, 615 markings/sec, 155 secs
lola: 104388 markings, 352566 edges, 619 markings/sec, 160 secs
lola: 107412 markings, 362801 edges, 605 markings/sec, 165 secs
lola: 110485 markings, 373144 edges, 615 markings/sec, 170 secs
lola: 113782 markings, 383939 edges, 659 markings/sec, 175 secs
lola: 117078 markings, 394730 edges, 659 markings/sec, 180 secs
lola: 120366 markings, 406111 edges, 658 markings/sec, 185 secs
lola: 123648 markings, 417942 edges, 656 markings/sec, 190 secs
lola: 126930 markings, 429845 edges, 656 markings/sec, 195 secs
lola: 130212 markings, 441686 edges, 656 markings/sec, 200 secs
lola: 133495 markings, 453536 edges, 657 markings/sec, 205 secs
lola: 136777 markings, 465422 edges, 656 markings/sec, 210 secs
lola: 140027 markings, 475767 edges, 650 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(BlockedTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 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: 5055 markings, 5094 edges, 1011 markings/sec, 0 secs
lola: 10107 markings, 10407 edges, 1010 markings/sec, 5 secs
lola: 15133 markings, 15868 edges, 1005 markings/sec, 10 secs
lola: 20294 markings, 21614 edges, 1032 markings/sec, 15 secs
lola: 25346 markings, 29010 edges, 1010 markings/sec, 20 secs
lola: 30473 markings, 35463 edges, 1025 markings/sec, 25 secs
lola: 35255 markings, 42946 edges, 956 markings/sec, 30 secs
lola: 39266 markings, 53044 edges, 802 markings/sec, 35 secs
lola: 42432 markings, 65811 edges, 633 markings/sec, 40 secs
lola: 45600 markings, 78703 edges, 634 markings/sec, 45 secs
lola: 48751 markings, 91521 edges, 630 markings/sec, 50 secs
lola: 51904 markings, 104400 edges, 631 markings/sec, 55 secs
lola: 55046 markings, 117430 edges, 628 markings/sec, 60 secs
lola: 58192 markings, 130428 edges, 629 markings/sec, 65 secs
lola: 61336 markings, 143681 edges, 629 markings/sec, 70 secs
lola: 64496 markings, 156792 edges, 632 markings/sec, 75 secs
lola: 67652 markings, 169615 edges, 631 markings/sec, 80 secs
lola: 70682 markings, 182011 edges, 606 markings/sec, 85 secs
lola: 73697 markings, 194386 edges, 603 markings/sec, 90 secs
lola: 76743 markings, 206949 edges, 609 markings/sec, 95 secs
lola: 79780 markings, 219412 edges, 607 markings/sec, 100 secs
lola: 82815 markings, 231919 edges, 607 markings/sec, 105 secs
lola: 85835 markings, 244441 edges, 604 markings/sec, 110 secs
lola: 88858 markings, 256988 edges, 605 markings/sec, 115 secs
lola: 91908 markings, 269255 edges, 610 markings/sec, 120 secs
lola: 94947 markings, 281482 edges, 608 markings/sec, 125 secs
lola: 97983 markings, 293876 edges, 607 markings/sec, 130 secs
lola: 101036 markings, 306059 edges, 611 markings/sec, 135 secs
lola: 104078 markings, 318371 edges, 608 markings/sec, 140 secs
lola: 107127 markings, 330548 edges, 610 markings/sec, 145 secs
lola: 110177 markings, 342910 edges, 610 markings/sec, 150 secs
lola: 113244 markings, 355067 edges, 613 markings/sec, 155 secs
lola: 116328 markings, 367286 edges, 617 markings/sec, 160 secs
lola: 119357 markings, 378918 edges, 606 markings/sec, 165 secs
lola: 122487 markings, 391165 edges, 626 markings/sec, 170 secs
lola: 125650 markings, 403534 edges, 633 markings/sec, 175 secs
lola: 128821 markings, 415812 edges, 634 markings/sec, 180 secs
lola: 131979 markings, 428474 edges, 632 markings/sec, 185 secs
lola: 135144 markings, 440772 edges, 633 markings/sec, 190 secs
lola: 138318 markings, 453073 edges, 635 markings/sec, 195 secs
lola: 141480 markings, 465669 edges, 632 markings/sec, 200 secs
lola: 144631 markings, 478817 edges, 630 markings/sec, 205 secs
lola: 147781 markings, 491874 edges, 630 markings/sec, 210 secs
lola: 150931 markings, 504951 edges, 630 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_2318_1 + P_2318_2 + P_2318_3 + P_2318_4 + P_2318_5 + P_2318_6 + P_2318_7 + P_2318_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 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: 5140 markings, 5306 edges, 1028 markings/sec, 0 secs
lola: 10245 markings, 10538 edges, 1021 markings/sec, 5 secs
lola: 15368 markings, 15846 edges, 1025 markings/sec, 10 secs
lola: 20476 markings, 21172 edges, 1022 markings/sec, 15 secs
lola: 25600 markings, 26564 edges, 1025 markings/sec, 20 secs
lola: 30732 markings, 31901 edges, 1026 markings/sec, 25 secs
lola: 35939 markings, 37305 edges, 1041 markings/sec, 30 secs
lola: 41122 markings, 42660 edges, 1037 markings/sec, 35 secs
lola: 46245 markings, 47967 edges, 1025 markings/sec, 40 secs
lola: 51399 markings, 53322 edges, 1031 markings/sec, 45 secs
lola: 56576 markings, 58713 edges, 1035 markings/sec, 50 secs
lola: 61773 markings, 64085 edges, 1039 markings/sec, 55 secs
lola: 66963 markings, 69513 edges, 1038 markings/sec, 60 secs
lola: 72147 markings, 74902 edges, 1037 markings/sec, 65 secs
lola: 77358 markings, 80293 edges, 1042 markings/sec, 70 secs
lola: 82503 markings, 85616 edges, 1029 markings/sec, 75 secs
lola: 87609 markings, 90929 edges, 1021 markings/sec, 80 secs
lola: 92789 markings, 96330 edges, 1036 markings/sec, 85 secs
lola: 97960 markings, 101729 edges, 1034 markings/sec, 90 secs
lola: 103036 markings, 107128 edges, 1015 markings/sec, 95 secs
lola: 108056 markings, 112621 edges, 1004 markings/sec, 100 secs
lola: 113187 markings, 117972 edges, 1026 markings/sec, 105 secs
lola: 118296 markings, 123304 edges, 1022 markings/sec, 110 secs
lola: 123471 markings, 128670 edges, 1035 markings/sec, 115 secs
lola: 128538 markings, 133916 edges, 1013 markings/sec, 120 secs
lola: 133640 markings, 139348 edges, 1020 markings/sec, 125 secs
lola: 138811 markings, 144831 edges, 1034 markings/sec, 130 secs
lola: 144005 markings, 150254 edges, 1039 markings/sec, 135 secs
lola: 149183 markings, 155681 edges, 1036 markings/sec, 140 secs
lola: 154369 markings, 161086 edges, 1037 markings/sec, 145 secs
lola: 159512 markings, 166608 edges, 1029 markings/sec, 150 secs
lola: 164645 markings, 172032 edges, 1027 markings/sec, 155 secs
lola: 169721 markings, 177288 edges, 1015 markings/sec, 160 secs
lola: 174780 markings, 182504 edges, 1012 markings/sec, 165 secs
lola: 179845 markings, 187806 edges, 1013 markings/sec, 170 secs
lola: 184910 markings, 193068 edges, 1013 markings/sec, 175 secs
lola: 189955 markings, 198352 edges, 1009 markings/sec, 180 secs
lola: 195035 markings, 203663 edges, 1016 markings/sec, 185 secs
lola: 200153 markings, 208958 edges, 1024 markings/sec, 190 secs
lola: 205223 markings, 214318 edges, 1014 markings/sec, 195 secs
lola: 210326 markings, 219693 edges, 1021 markings/sec, 200 secs
lola: 215429 markings, 225015 edges, 1021 markings/sec, 205 secs
lola: 220457 markings, 230304 edges, 1006 markings/sec, 210 secs
lola: 225577 markings, 235651 edges, 1024 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(NoSigAbort)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 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: 3171 markings, 10673 edges, 634 markings/sec, 0 secs
lola: 6297 markings, 21414 edges, 625 markings/sec, 5 secs
lola: 9423 markings, 32144 edges, 625 markings/sec, 10 secs
lola: 12547 markings, 42852 edges, 625 markings/sec, 15 secs
lola: 15671 markings, 53701 edges, 625 markings/sec, 20 secs
lola: 18795 markings, 61565 edges, 625 markings/sec, 25 secs
lola: 21925 markings, 69810 edges, 626 markings/sec, 30 secs
lola: 25049 markings, 80361 edges, 625 markings/sec, 35 secs
lola: 28192 markings, 88941 edges, 629 markings/sec, 40 secs
lola: 31317 markings, 99399 edges, 625 markings/sec, 45 secs
lola: 34442 markings, 110161 edges, 625 markings/sec, 50 secs
lola: 37565 markings, 120926 edges, 625 markings/sec, 55 secs
lola: 40687 markings, 129141 edges, 624 markings/sec, 60 secs
lola: 43817 markings, 137214 edges, 626 markings/sec, 65 secs
lola: 46942 markings, 146683 edges, 625 markings/sec, 70 secs
lola: 50080 markings, 155113 edges, 628 markings/sec, 75 secs
lola: 53220 markings, 161497 edges, 628 markings/sec, 80 secs
lola: 56886 markings, 166210 edges, 733 markings/sec, 85 secs
lola: 60094 markings, 176665 edges, 642 markings/sec, 90 secs
lola: 63233 markings, 187901 edges, 628 markings/sec, 95 secs
lola: 66374 markings, 199295 edges, 628 markings/sec, 100 secs
lola: 69513 markings, 210728 edges, 628 markings/sec, 105 secs
lola: 73105 markings, 223612 edges, 718 markings/sec, 110 secs
lola: 76759 markings, 236704 edges, 731 markings/sec, 115 secs
lola: 80414 markings, 249972 edges, 731 markings/sec, 120 secs
lola: 83851 markings, 262410 edges, 687 markings/sec, 125 secs
lola: 86988 markings, 273612 edges, 627 markings/sec, 130 secs
lola: 90167 markings, 285032 edges, 636 markings/sec, 135 secs
lola: 93819 markings, 298050 edges, 730 markings/sec, 140 secs
lola: 97425 markings, 310928 edges, 721 markings/sec, 145 secs
lola: 100566 markings, 322124 edges, 628 markings/sec, 150 secs
lola: 103924 markings, 334105 edges, 672 markings/sec, 155 secs
lola: 107574 markings, 347129 edges, 730 markings/sec, 160 secs
lola: 110713 markings, 358212 edges, 628 markings/sec, 165 secs
lola: 114209 markings, 370656 edges, 699 markings/sec, 170 secs
lola: 117544 markings, 382389 edges, 667 markings/sec, 175 secs
lola: 121136 markings, 394991 edges, 718 markings/sec, 180 secs
lola: 124624 markings, 407180 edges, 698 markings/sec, 185 secs
lola: 128105 markings, 419286 edges, 696 markings/sec, 190 secs
lola: 131552 markings, 431247 edges, 689 markings/sec, 195 secs
lola: 134975 markings, 443205 edges, 685 markings/sec, 200 secs
lola: 138411 markings, 455051 edges, 687 markings/sec, 205 secs
lola: 141873 markings, 467371 edges, 692 markings/sec, 210 secs
lola: 145386 markings, 479654 edges, 703 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(TryAllocateOneTaskE_1 + TryAllocateOneTaskE_2 + TryAllocateOneTaskE_3 + TryAllocateOneTaskE_4 + TryAllocateOneTaskE_5 + TryAllocateOneTaskE_6 + TryAllocateOneTaskE_7 + TryAllocateOneTaskE_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 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: 5152 markings, 5263 edges, 1030 markings/sec, 0 secs
lola: 10265 markings, 10512 edges, 1023 markings/sec, 5 secs
lola: 15414 markings, 15792 edges, 1030 markings/sec, 10 secs
lola: 20546 markings, 21078 edges, 1026 markings/sec, 15 secs
lola: 25705 markings, 26380 edges, 1032 markings/sec, 20 secs
lola: 30830 markings, 31611 edges, 1025 markings/sec, 25 secs
lola: 36004 markings, 36974 edges, 1035 markings/sec, 30 secs
lola: 41250 markings, 42373 edges, 1049 markings/sec, 35 secs
lola: 46451 markings, 47704 edges, 1040 markings/sec, 40 secs
lola: 51667 markings, 53097 edges, 1043 markings/sec, 45 secs
lola: 56852 markings, 58424 edges, 1037 markings/sec, 50 secs
lola: 62062 markings, 63804 edges, 1042 markings/sec, 55 secs
lola: 67272 markings, 69145 edges, 1042 markings/sec, 60 secs
lola: 72429 markings, 74567 edges, 1031 markings/sec, 65 secs
lola: 77583 markings, 79877 edges, 1031 markings/sec, 70 secs
lola: 82784 markings, 85187 edges, 1040 markings/sec, 75 secs
lola: 87980 markings, 90517 edges, 1039 markings/sec, 80 secs
lola: 93114 markings, 95822 edges, 1027 markings/sec, 85 secs
lola: 98234 markings, 101037 edges, 1024 markings/sec, 90 secs
lola: 103446 markings, 106428 edges, 1042 markings/sec, 95 secs
lola: 108551 markings, 111684 edges, 1021 markings/sec, 100 secs
lola: 113695 markings, 117003 edges, 1029 markings/sec, 105 secs
lola: 118789 markings, 122325 edges, 1019 markings/sec, 110 secs
lola: 123902 markings, 127585 edges, 1023 markings/sec, 115 secs
lola: 129031 markings, 132968 edges, 1026 markings/sec, 120 secs
lola: 134175 markings, 138233 edges, 1029 markings/sec, 125 secs
lola: 139269 markings, 143516 edges, 1019 markings/sec, 130 secs
lola: 144418 markings, 148839 edges, 1030 markings/sec, 135 secs
lola: 149584 markings, 154188 edges, 1033 markings/sec, 140 secs
lola: 154745 markings, 159475 edges, 1032 markings/sec, 145 secs
lola: 159860 markings, 164727 edges, 1023 markings/sec, 150 secs
lola: 164996 markings, 170080 edges, 1027 markings/sec, 155 secs
lola: 170130 markings, 175337 edges, 1027 markings/sec, 160 secs
lola: 175278 markings, 180664 edges, 1030 markings/sec, 165 secs
lola: 180391 markings, 185910 edges, 1023 markings/sec, 170 secs
lola: 185542 markings, 191230 edges, 1030 markings/sec, 175 secs
lola: 190655 markings, 196512 edges, 1023 markings/sec, 180 secs
lola: 195794 markings, 201794 edges, 1028 markings/sec, 185 secs
lola: 200900 markings, 207095 edges, 1021 markings/sec, 190 secs
lola: 205998 markings, 212401 edges, 1020 markings/sec, 195 secs
lola: 211183 markings, 217770 edges, 1037 markings/sec, 200 secs
lola: 216352 markings, 223160 edges, 1034 markings/sec, 205 secs
lola: 221437 markings, 228612 edges, 1017 markings/sec, 210 secs
lola: 226583 markings, 233949 edges, 1029 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(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6 + Check_Sources_E_7 + Check_Sources_E_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 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: 7488 markings, 7503 edges, 1498 markings/sec, 0 secs
lola: 15940 markings, 15973 edges, 1690 markings/sec, 5 secs
lola: 24379 markings, 24453 edges, 1688 markings/sec, 10 secs
lola: 31866 markings, 31963 edges, 1497 markings/sec, 15 secs
lola: 40078 markings, 40247 edges, 1642 markings/sec, 20 secs
lola: 47595 markings, 47812 edges, 1503 markings/sec, 25 secs
lola: 54888 markings, 55165 edges, 1459 markings/sec, 30 secs
lola: 62631 markings, 62954 edges, 1549 markings/sec, 35 secs
lola: 69208 markings, 69569 edges, 1315 markings/sec, 40 secs
lola: 76985 markings, 77378 edges, 1555 markings/sec, 45 secs
lola: 85179 markings, 85612 edges, 1639 markings/sec, 50 secs
lola: 92888 markings, 93398 edges, 1542 markings/sec, 55 secs
lola: 100674 markings, 101212 edges, 1557 markings/sec, 60 secs
lola: 108768 markings, 109364 edges, 1619 markings/sec, 65 secs
lola: 116717 markings, 117331 edges, 1590 markings/sec, 70 secs
lola: 124842 markings, 125509 edges, 1625 markings/sec, 75 secs
lola: 132099 markings, 132828 edges, 1451 markings/sec, 80 secs
lola: 139125 markings, 139996 edges, 1405 markings/sec, 85 secs
lola: 146708 markings, 147632 edges, 1517 markings/sec, 90 secs
lola: 154422 markings, 155384 edges, 1543 markings/sec, 95 secs
lola: 161595 markings, 162710 edges, 1435 markings/sec, 100 secs
lola: 168420 markings, 169572 edges, 1365 markings/sec, 105 secs
lola: 175090 markings, 176259 edges, 1334 markings/sec, 110 secs
lola: 182530 markings, 183719 edges, 1488 markings/sec, 115 secs
lola: 190784 markings, 192036 edges, 1651 markings/sec, 120 secs
lola: 199007 markings, 200286 edges, 1645 markings/sec, 125 secs
lola: 206969 markings, 208294 edges, 1592 markings/sec, 130 secs
lola: 215452 markings, 216932 edges, 1697 markings/sec, 135 secs
lola: 223154 markings, 224722 edges, 1540 markings/sec, 140 secs
lola: 231225 markings, 232896 edges, 1614 markings/sec, 145 secs
lola: 238598 markings, 240316 edges, 1475 markings/sec, 150 secs
lola: 246391 markings, 248163 edges, 1559 markings/sec, 155 secs
lola: 253920 markings, 255825 edges, 1506 markings/sec, 160 secs
lola: 261424 markings, 263450 edges, 1501 markings/sec, 165 secs
lola: 267569 markings, 269628 edges, 1229 markings/sec, 170 secs
lola: 275531 markings, 277763 edges, 1592 markings/sec, 175 secs
lola: 282972 markings, 285261 edges, 1488 markings/sec, 180 secs
lola: 290682 markings, 293025 edges, 1542 markings/sec, 185 secs
lola: 298753 markings, 301133 edges, 1614 markings/sec, 190 secs
lola: 306938 markings, 309413 edges, 1637 markings/sec, 195 secs
lola: 314449 markings, 316961 edges, 1502 markings/sec, 200 secs
lola: 322135 markings, 324733 edges, 1537 markings/sec, 205 secs
lola: 329567 markings, 332267 edges, 1486 markings/sec, 210 secs
lola: 336090 markings, 338846 edges, 1305 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(cSources)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 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: 5168 markings, 5350 edges, 1034 markings/sec, 0 secs
lola: 10293 markings, 10550 edges, 1025 markings/sec, 5 secs
lola: 15433 markings, 15826 edges, 1028 markings/sec, 10 secs
lola: 20571 markings, 21174 edges, 1028 markings/sec, 15 secs
lola: 25723 markings, 26596 edges, 1030 markings/sec, 20 secs
lola: 30887 markings, 31939 edges, 1033 markings/sec, 25 secs
lola: 36125 markings, 37308 edges, 1048 markings/sec, 30 secs
lola: 41326 markings, 42652 edges, 1040 markings/sec, 35 secs
lola: 46471 markings, 47934 edges, 1029 markings/sec, 40 secs
lola: 51647 markings, 53254 edges, 1035 markings/sec, 45 secs
lola: 56838 markings, 58631 edges, 1038 markings/sec, 50 secs
lola: 62068 markings, 63955 edges, 1046 markings/sec, 55 secs
lola: 67335 markings, 69462 edges, 1053 markings/sec, 60 secs
lola: 72621 markings, 74926 edges, 1057 markings/sec, 65 secs
lola: 77897 markings, 80346 edges, 1055 markings/sec, 70 secs
lola: 82943 markings, 85511 edges, 1009 markings/sec, 75 secs
lola: 88178 markings, 90935 edges, 1047 markings/sec, 80 secs
lola: 93512 markings, 96438 edges, 1067 markings/sec, 85 secs
lola: 98814 markings, 101943 edges, 1060 markings/sec, 90 secs
lola: 104002 markings, 107530 edges, 1038 markings/sec, 95 secs
lola: 109189 markings, 113080 edges, 1037 markings/sec, 100 secs
lola: 114478 markings, 118526 edges, 1058 markings/sec, 105 secs
lola: 119768 markings, 124016 edges, 1058 markings/sec, 110 secs
lola: 125016 markings, 129407 edges, 1050 markings/sec, 115 secs
lola: 130257 markings, 134863 edges, 1048 markings/sec, 120 secs
lola: 135518 markings, 140435 edges, 1052 markings/sec, 125 secs
lola: 140839 markings, 145976 edges, 1064 markings/sec, 130 secs
lola: 146173 markings, 151485 edges, 1067 markings/sec, 135 secs
lola: 151501 markings, 157025 edges, 1066 markings/sec, 140 secs
lola: 156830 markings, 162589 edges, 1066 markings/sec, 145 secs
lola: 162173 markings, 168294 edges, 1069 markings/sec, 150 secs
lola: 167460 markings, 173694 edges, 1057 markings/sec, 155 secs
lola: 172762 markings, 179140 edges, 1060 markings/sec, 160 secs
lola: 178068 markings, 184681 edges, 1061 markings/sec, 165 secs
lola: 183370 markings, 190165 edges, 1060 markings/sec, 170 secs
lola: 188650 markings, 195606 edges, 1056 markings/sec, 175 secs
lola: 193958 markings, 201105 edges, 1062 markings/sec, 180 secs
lola: 199322 markings, 206603 edges, 1073 markings/sec, 185 secs
lola: 204623 markings, 212180 edges, 1060 markings/sec, 190 secs
lola: 209968 markings, 217754 edges, 1069 markings/sec, 195 secs
lola: 215287 markings, 223231 edges, 1064 markings/sec, 200 secs
lola: 220579 markings, 228790 edges, 1058 markings/sec, 205 secs
lola: 225892 markings, 234270 edges, 1063 markings/sec, 210 secs
lola: 231145 markings, 239797 edges, 1051 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(NotifyEventEndOfCheckSourcesB_1 + NotifyEventEndOfCheckSourcesB_2 + NotifyEventEndOfCheckSourcesB_3 + NotifyEventEndOfCheckSourcesB_4 + NotifyEventEndOfCheckSourcesB_5 + NotifyEventEndOfCheckSourcesB_6 + NotifyEventEndOfCheckSourcesB_7 + NotifyEventEndOfCheckSourcesB_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 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: 3341 markings, 11017 edges, 668 markings/sec, 0 secs
lola: 6650 markings, 22271 edges, 662 markings/sec, 5 secs
lola: 9954 markings, 33479 edges, 661 markings/sec, 10 secs
lola: 13249 markings, 44973 edges, 659 markings/sec, 15 secs
lola: 16563 markings, 55535 edges, 663 markings/sec, 20 secs
lola: 19911 markings, 64617 edges, 670 markings/sec, 25 secs
lola: 23210 markings, 74062 edges, 660 markings/sec, 30 secs
lola: 26496 markings, 84066 edges, 657 markings/sec, 35 secs
lola: 29790 markings, 94224 edges, 659 markings/sec, 40 secs
lola: 33062 markings, 105290 edges, 654 markings/sec, 45 secs
lola: 36327 markings, 116390 edges, 653 markings/sec, 50 secs
lola: 39608 markings, 126544 edges, 656 markings/sec, 55 secs
lola: 42940 markings, 134490 edges, 666 markings/sec, 60 secs
lola: 46217 markings, 145052 edges, 655 markings/sec, 65 secs
lola: 49534 markings, 154054 edges, 663 markings/sec, 70 secs
lola: 52892 markings, 160915 edges, 672 markings/sec, 75 secs
lola: 56205 markings, 170173 edges, 663 markings/sec, 80 secs
lola: 59475 markings, 181223 edges, 654 markings/sec, 85 secs
lola: 62739 markings, 192190 edges, 653 markings/sec, 90 secs
lola: 66012 markings, 202723 edges, 655 markings/sec, 95 secs
lola: 69335 markings, 211001 edges, 665 markings/sec, 100 secs
lola: 72587 markings, 220902 edges, 650 markings/sec, 105 secs
lola: 75856 markings, 230044 edges, 654 markings/sec, 110 secs
lola: 79091 markings, 240734 edges, 647 markings/sec, 115 secs
lola: 82322 markings, 251514 edges, 646 markings/sec, 120 secs
lola: 85584 markings, 260934 edges, 652 markings/sec, 125 secs
lola: 88868 markings, 269914 edges, 657 markings/sec, 130 secs
lola: 92105 markings, 280536 edges, 647 markings/sec, 135 secs
lola: 95336 markings, 291283 edges, 646 markings/sec, 140 secs
lola: 98617 markings, 300777 edges, 656 markings/sec, 145 secs
lola: 101849 markings, 311454 edges, 646 markings/sec, 150 secs
lola: 105012 markings, 321895 edges, 633 markings/sec, 155 secs
lola: 108293 markings, 331291 edges, 656 markings/sec, 160 secs
lola: 111600 markings, 341523 edges, 661 markings/sec, 165 secs
lola: 114882 markings, 352328 edges, 656 markings/sec, 170 secs
lola: 118166 markings, 363199 edges, 657 markings/sec, 175 secs
lola: 121457 markings, 373672 edges, 658 markings/sec, 180 secs
lola: 124748 markings, 384244 edges, 658 markings/sec, 185 secs
lola: 128040 markings, 394801 edges, 658 markings/sec, 190 secs
lola: 131323 markings, 405536 edges, 657 markings/sec, 195 secs
lola: 134617 markings, 416051 edges, 659 markings/sec, 200 secs
lola: 137908 markings, 426786 edges, 658 markings/sec, 205 secs
lola: 141184 markings, 437783 edges, 655 markings/sec, 210 secs
lola: 144485 markings, 447724 edges, 660 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(NotifyEventSourceAddedE_1 + NotifyEventSourceAddedE_2 + NotifyEventSourceAddedE_3 + NotifyEventSourceAddedE_4 + NotifyEventSourceAddedE_5 + NotifyEventSourceAddedE_6 + NotifyEventSourceAddedE_7 + NotifyEventSourceAddedE_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 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: 3227 markings, 10873 edges, 645 markings/sec, 0 secs
lola: 6414 markings, 21826 edges, 637 markings/sec, 5 secs
lola: 9519 markings, 32491 edges, 621 markings/sec, 10 secs
lola: 12755 markings, 43602 edges, 647 markings/sec, 15 secs
lola: 15990 markings, 54718 edges, 647 markings/sec, 20 secs
lola: 19259 markings, 63041 edges, 654 markings/sec, 25 secs
lola: 22524 markings, 71825 edges, 653 markings/sec, 30 secs
lola: 25767 markings, 82124 edges, 649 markings/sec, 35 secs
lola: 29035 markings, 91653 edges, 654 markings/sec, 40 secs
lola: 32271 markings, 102825 edges, 647 markings/sec, 45 secs
lola: 35506 markings, 113953 edges, 647 markings/sec, 50 secs
lola: 38741 markings, 124871 edges, 647 markings/sec, 55 secs
lola: 42018 markings, 132518 edges, 655 markings/sec, 60 secs
lola: 45272 markings, 142029 edges, 651 markings/sec, 65 secs
lola: 48548 markings, 150988 edges, 655 markings/sec, 70 secs
lola: 51827 markings, 158128 edges, 656 markings/sec, 75 secs
lola: 55236 markings, 164488 edges, 682 markings/sec, 80 secs
lola: 58599 markings, 171330 edges, 673 markings/sec, 85 secs
lola: 61847 markings, 182925 edges, 650 markings/sec, 90 secs
lola: 65093 markings, 194629 edges, 649 markings/sec, 95 secs
lola: 68337 markings, 206403 edges, 649 markings/sec, 100 secs
lola: 71584 markings, 218149 edges, 649 markings/sec, 105 secs
lola: 74829 markings, 229734 edges, 649 markings/sec, 110 secs
lola: 78076 markings, 241338 edges, 649 markings/sec, 115 secs
lola: 81321 markings, 252915 edges, 649 markings/sec, 120 secs
lola: 84568 markings, 264430 edges, 649 markings/sec, 125 secs
lola: 87814 markings, 275898 edges, 649 markings/sec, 130 secs
lola: 91060 markings, 287218 edges, 649 markings/sec, 135 secs
lola: 94310 markings, 298405 edges, 650 markings/sec, 140 secs
lola: 97561 markings, 309609 edges, 650 markings/sec, 145 secs
lola: 100810 markings, 321070 edges, 650 markings/sec, 150 secs
lola: 104068 markings, 332032 edges, 652 markings/sec, 155 secs
lola: 107313 markings, 343656 edges, 649 markings/sec, 160 secs
lola: 110563 markings, 354923 edges, 650 markings/sec, 165 secs
lola: 113821 markings, 366064 edges, 652 markings/sec, 170 secs
lola: 117078 markings, 377358 edges, 651 markings/sec, 175 secs
lola: 120323 markings, 389194 edges, 649 markings/sec, 180 secs
lola: 123568 markings, 400978 edges, 649 markings/sec, 185 secs
lola: 126812 markings, 412688 edges, 649 markings/sec, 190 secs
lola: 130058 markings, 424240 edges, 649 markings/sec, 195 secs
lola: 133306 markings, 435636 edges, 650 markings/sec, 200 secs
lola: 136558 markings, 447060 edges, 650 markings/sec, 205 secs
lola: 139808 markings, 458514 edges, 650 markings/sec, 210 secs
lola: 143058 markings, 470259 edges, 650 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(AwakeTasks_1 + AwakeTasks_2 + AwakeTasks_3 + AwakeTasks_4 + AwakeTasks_5 + AwakeTasks_6 + AwakeTasks_7 + AwakeTasks_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 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: 4447 markings, 9046 edges, 889 markings/sec, 0 secs
lola: 7753 markings, 20854 edges, 661 markings/sec, 5 secs
lola: 11133 markings, 32512 edges, 676 markings/sec, 10 secs
lola: 14509 markings, 44216 edges, 675 markings/sec, 15 secs
lola: 17792 markings, 57561 edges, 657 markings/sec, 20 secs
lola: 21068 markings, 70901 edges, 655 markings/sec, 25 secs
lola: 24320 markings, 84143 edges, 650 markings/sec, 30 secs
lola: 27254 markings, 96140 edges, 587 markings/sec, 35 secs
lola: 30523 markings, 109488 edges, 654 markings/sec, 40 secs
lola: 33781 markings, 122822 edges, 652 markings/sec, 45 secs
lola: 37055 markings, 136109 edges, 655 markings/sec, 50 secs
lola: 40330 markings, 149450 edges, 655 markings/sec, 55 secs
lola: 43608 markings, 162792 edges, 656 markings/sec, 60 secs
lola: 46886 markings, 176127 edges, 656 markings/sec, 65 secs
lola: 50162 markings, 189603 edges, 655 markings/sec, 70 secs
lola: 53495 markings, 198037 edges, 667 markings/sec, 75 secs
lola: 56818 markings, 206483 edges, 665 markings/sec, 80 secs
lola: 60042 markings, 229702 edges, 645 markings/sec, 85 secs
lola: 63435 markings, 234640 edges, 679 markings/sec, 90 secs
lola: 66714 markings, 251401 edges, 656 markings/sec, 95 secs
lola: 70009 markings, 267480 edges, 659 markings/sec, 100 secs
lola: 73317 markings, 281558 edges, 662 markings/sec, 105 secs
lola: 76607 markings, 296264 edges, 658 markings/sec, 110 secs
lola: 79894 markings, 311622 edges, 657 markings/sec, 115 secs
lola: 83128 markings, 324944 edges, 647 markings/sec, 120 secs
lola: 86384 markings, 337226 edges, 651 markings/sec, 125 secs
lola: 89600 markings, 351492 edges, 643 markings/sec, 130 secs
lola: 92846 markings, 361492 edges, 649 markings/sec, 135 secs
lola: 96086 markings, 377159 edges, 648 markings/sec, 140 secs
lola: 99332 markings, 391881 edges, 649 markings/sec, 145 secs
lola: 102529 markings, 405340 edges, 639 markings/sec, 150 secs
lola: 105751 markings, 418834 edges, 644 markings/sec, 155 secs
lola: 108962 markings, 432334 edges, 642 markings/sec, 160 secs
lola: 112203 markings, 445728 edges, 648 markings/sec, 165 secs
lola: 115452 markings, 459259 edges, 650 markings/sec, 170 secs
lola: 118711 markings, 472754 edges, 652 markings/sec, 175 secs
lola: 121977 markings, 485733 edges, 653 markings/sec, 180 secs
lola: 125253 markings, 499452 edges, 655 markings/sec, 185 secs
lola: 128499 markings, 513171 edges, 649 markings/sec, 190 secs
lola: 131726 markings, 526025 edges, 645 markings/sec, 195 secs
lola: 134977 markings, 540282 edges, 650 markings/sec, 200 secs
lola: 138227 markings, 554235 edges, 650 markings/sec, 205 secs
lola: 141499 markings, 567784 edges, 654 markings/sec, 210 secs
lola: 144717 markings, 581730 edges, 644 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P_1159_1 + P_1159_2 + P_1159_3 + P_1159_4 + P_1159_5 + P_1159_6 + P_1159_7 + P_1159_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 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: 4923 markings, 5089 edges, 985 markings/sec, 0 secs
lola: 9814 markings, 10069 edges, 978 markings/sec, 5 secs
lola: 14790 markings, 15165 edges, 995 markings/sec, 10 secs
lola: 19776 markings, 20329 edges, 997 markings/sec, 15 secs
lola: 24744 markings, 25530 edges, 994 markings/sec, 20 secs
lola: 29619 markings, 30637 edges, 975 markings/sec, 25 secs
lola: 34580 markings, 35725 edges, 992 markings/sec, 30 secs
lola: 39520 markings, 40808 edges, 988 markings/sec, 35 secs
lola: 44425 markings, 45821 edges, 981 markings/sec, 40 secs
lola: 49310 markings, 50862 edges, 977 markings/sec, 45 secs
lola: 54378 markings, 56110 edges, 1014 markings/sec, 50 secs
lola: 59611 markings, 61461 edges, 1047 markings/sec, 55 secs
lola: 64878 markings, 66930 edges, 1053 markings/sec, 60 secs
lola: 70120 markings, 72371 edges, 1048 markings/sec, 65 secs
lola: 75395 markings, 77781 edges, 1055 markings/sec, 70 secs
lola: 80615 markings, 83144 edges, 1044 markings/sec, 75 secs
lola: 85784 markings, 88439 edges, 1034 markings/sec, 80 secs
lola: 91023 markings, 93857 edges, 1048 markings/sec, 85 secs
lola: 96262 markings, 99261 edges, 1048 markings/sec, 90 secs
lola: 101462 markings, 104761 edges, 1040 markings/sec, 95 secs
lola: 106573 markings, 110348 edges, 1022 markings/sec, 100 secs
lola: 111753 markings, 115692 edges, 1036 markings/sec, 105 secs
lola: 116944 markings, 121067 edges, 1038 markings/sec, 110 secs
lola: 122186 markings, 126501 edges, 1048 markings/sec, 115 secs
lola: 127339 markings, 131799 edges, 1031 markings/sec, 120 secs
lola: 132519 markings, 137259 edges, 1036 markings/sec, 125 secs
lola: 137795 markings, 142797 edges, 1055 markings/sec, 130 secs
lola: 143127 markings, 148336 edges, 1066 markings/sec, 135 secs
lola: 148441 markings, 153842 edges, 1063 markings/sec, 140 secs
lola: 153757 markings, 159353 edges, 1063 markings/sec, 145 secs
lola: 159048 markings, 165020 edges, 1058 markings/sec, 150 secs
lola: 164338 markings, 170527 edges, 1058 markings/sec, 155 secs
lola: 169625 markings, 175947 edges, 1057 markings/sec, 160 secs
lola: 174887 markings, 181375 edges, 1052 markings/sec, 165 secs
lola: 180168 markings, 186847 edges, 1056 markings/sec, 170 secs
lola: 185422 markings, 192270 edges, 1051 markings/sec, 175 secs
lola: 190661 markings, 197699 edges, 1048 markings/sec, 180 secs
lola: 195923 markings, 203112 edges, 1052 markings/sec, 185 secs
lola: 201187 markings, 208593 edges, 1053 markings/sec, 190 secs
lola: 206443 markings, 214066 edges, 1051 markings/sec, 195 secs
lola: 211739 markings, 219614 edges, 1059 markings/sec, 200 secs
lola: 216967 markings, 225000 edges, 1046 markings/sec, 205 secs
lola: 222238 markings, 230536 edges, 1054 markings/sec, 210 secs
lola: 227481 markings, 235918 edges, 1049 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(P_1155_1 + P_1155_2 + P_1155_3 + P_1155_4 + P_1155_5 + P_1155_6 + P_1155_7 + P_1155_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 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: 5234 markings, 5416 edges, 1047 markings/sec, 0 secs
lola: 10437 markings, 10694 edges, 1041 markings/sec, 5 secs
lola: 15646 markings, 16041 edges, 1042 markings/sec, 10 secs
lola: 20847 markings, 21486 edges, 1040 markings/sec, 15 secs
lola: 26064 markings, 26974 edges, 1043 markings/sec, 20 secs
lola: 31301 markings, 32355 edges, 1047 markings/sec, 25 secs
lola: 36614 markings, 37826 edges, 1063 markings/sec, 30 secs
lola: 41873 markings, 43228 edges, 1052 markings/sec, 35 secs
lola: 47090 markings, 48571 edges, 1043 markings/sec, 40 secs
lola: 52367 markings, 54012 edges, 1055 markings/sec, 45 secs
lola: 57654 markings, 59480 edges, 1057 markings/sec, 50 secs
lola: 62953 markings, 64881 edges, 1060 markings/sec, 55 secs
lola: 68254 markings, 70385 edges, 1060 markings/sec, 60 secs
lola: 73557 markings, 75893 edges, 1061 markings/sec, 65 secs
lola: 78842 markings, 81320 edges, 1057 markings/sec, 70 secs
lola: 84076 markings, 86678 edges, 1047 markings/sec, 75 secs
lola: 89318 markings, 92093 edges, 1048 markings/sec, 80 secs
lola: 94608 markings, 97539 edges, 1058 markings/sec, 85 secs
lola: 99897 markings, 103093 edges, 1058 markings/sec, 90 secs
lola: 105051 markings, 108673 edges, 1031 markings/sec, 95 secs
lola: 110242 markings, 114165 edges, 1038 markings/sec, 100 secs
lola: 115500 markings, 119589 edges, 1052 markings/sec, 105 secs
lola: 120457 markings, 124722 edges, 991 markings/sec, 110 secs
lola: 125377 markings, 129785 edges, 984 markings/sec, 115 secs
lola: 130299 markings, 134906 edges, 984 markings/sec, 120 secs
lola: 135243 markings, 140144 edges, 989 markings/sec, 125 secs
lola: 140229 markings, 145349 edges, 997 markings/sec, 130 secs
lola: 145278 markings, 150540 edges, 1010 markings/sec, 135 secs
lola: 150288 markings, 155755 edges, 1002 markings/sec, 140 secs
lola: 155335 markings, 161025 edges, 1009 markings/sec, 145 secs
lola: 160357 markings, 166335 edges, 1004 markings/sec, 150 secs
lola: 165382 markings, 171593 edges, 1005 markings/sec, 155 secs
lola: 170395 markings, 176751 edges, 1003 markings/sec, 160 secs
lola: 175407 markings, 181928 edges, 1002 markings/sec, 165 secs
lola: 180408 markings, 187103 edges, 1000 markings/sec, 170 secs
lola: 185388 markings, 192236 edges, 996 markings/sec, 175 secs
lola: 190376 markings, 197382 edges, 998 markings/sec, 180 secs
lola: 195399 markings, 202570 edges, 1005 markings/sec, 185 secs
lola: 200428 markings, 207759 edges, 1006 markings/sec, 190 secs
lola: 205444 markings, 213037 edges, 1003 markings/sec, 195 secs
lola: 210465 markings, 218252 edges, 1004 markings/sec, 200 secs
lola: 215491 markings, 223452 edges, 1005 markings/sec, 205 secs
lola: 220482 markings, 228693 edges, 998 markings/sec, 210 secs
lola: 225501 markings, 233861 edges, 1004 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494746919127

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