Execution Chart

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

Trace from the execution

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

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


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


checking for too many tokens
===========================================================================================
S_PolyORBLF-PT-S06J06T08: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 5235 markings, 5279 edges, 1047 markings/sec, 0 secs
lola: 10426 markings, 10727 edges, 1038 markings/sec, 5 secs
lola: 15624 markings, 16407 edges, 1040 markings/sec, 10 secs
lola: 20880 markings, 22251 edges, 1051 markings/sec, 15 secs
lola: 25896 markings, 29719 edges, 1003 markings/sec, 20 secs
lola: 31019 markings, 36105 edges, 1025 markings/sec, 25 secs
lola: 35840 markings, 43676 edges, 964 markings/sec, 30 secs
lola: 39611 markings, 54441 edges, 754 markings/sec, 35 secs
lola: 42753 markings, 67102 edges, 628 markings/sec, 40 secs
lola: 45897 markings, 79927 edges, 629 markings/sec, 45 secs
lola: 49023 markings, 92650 edges, 625 markings/sec, 50 secs
lola: 52152 markings, 105454 edges, 626 markings/sec, 55 secs
lola: 55268 markings, 118357 edges, 623 markings/sec, 60 secs
lola: 58389 markings, 131244 edges, 624 markings/sec, 65 secs
lola: 61509 markings, 144347 edges, 624 markings/sec, 70 secs
lola: 64646 markings, 157372 edges, 627 markings/sec, 75 secs
lola: 67789 markings, 170171 edges, 629 markings/sec, 80 secs
lola: 70922 markings, 182982 edges, 627 markings/sec, 85 secs
lola: 74040 markings, 195848 edges, 624 markings/sec, 90 secs
lola: 77194 markings, 208785 edges, 631 markings/sec, 95 secs
lola: 80333 markings, 221701 edges, 628 markings/sec, 100 secs
lola: 83497 markings, 234716 edges, 633 markings/sec, 105 secs
lola: 86653 markings, 247783 edges, 631 markings/sec, 110 secs
lola: 89814 markings, 260764 edges, 632 markings/sec, 115 secs
lola: 92983 markings, 273565 edges, 634 markings/sec, 120 secs
lola: 96150 markings, 286399 edges, 633 markings/sec, 125 secs
lola: 99282 markings, 299012 edges, 626 markings/sec, 130 secs
lola: 102438 markings, 311696 edges, 631 markings/sec, 135 secs
lola: 105617 markings, 324508 edges, 636 markings/sec, 140 secs
lola: 108806 markings, 337333 edges, 638 markings/sec, 145 secs
lola: 112001 markings, 350088 edges, 639 markings/sec, 150 secs
lola: 115170 markings, 362638 edges, 634 markings/sec, 155 secs
lola: 118320 markings, 374754 edges, 630 markings/sec, 160 secs
lola: 121485 markings, 387072 edges, 633 markings/sec, 165 secs
lola: 124643 markings, 399674 edges, 632 markings/sec, 170 secs
lola: 127820 markings, 411724 edges, 635 markings/sec, 175 secs
lola: 130975 markings, 424514 edges, 631 markings/sec, 180 secs
lola: 134132 markings, 437136 edges, 631 markings/sec, 185 secs
lola: 137313 markings, 449212 edges, 636 markings/sec, 190 secs
lola: 140485 markings, 461530 edges, 634 markings/sec, 195 secs
lola: 143645 markings, 474705 edges, 632 markings/sec, 200 secs
lola: 146804 markings, 487860 edges, 632 markings/sec, 205 secs
lola: 149963 markings, 500877 edges, 632 markings/sec, 210 secs
lola: 153119 markings, 513797 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: 5021 markings, 5427 edges, 1004 markings/sec, 0 secs
lola: 10167 markings, 11181 edges, 1029 markings/sec, 5 secs
lola: 15259 markings, 16602 edges, 1018 markings/sec, 10 secs
lola: 20363 markings, 22496 edges, 1021 markings/sec, 15 secs
lola: 25505 markings, 28099 edges, 1028 markings/sec, 20 secs
lola: 30632 markings, 33717 edges, 1025 markings/sec, 25 secs
lola: 35723 markings, 39337 edges, 1018 markings/sec, 30 secs
lola: 40825 markings, 45207 edges, 1020 markings/sec, 35 secs
lola: 45905 markings, 50815 edges, 1016 markings/sec, 40 secs
lola: 51028 markings, 56550 edges, 1025 markings/sec, 45 secs
lola: 56120 markings, 62058 edges, 1018 markings/sec, 50 secs
lola: 61254 markings, 67774 edges, 1027 markings/sec, 55 secs
lola: 66341 markings, 73517 edges, 1017 markings/sec, 60 secs
lola: 71459 markings, 79317 edges, 1024 markings/sec, 65 secs
lola: 76542 markings, 84936 edges, 1017 markings/sec, 70 secs
lola: 81716 markings, 90554 edges, 1035 markings/sec, 75 secs
lola: 86801 markings, 96327 edges, 1017 markings/sec, 80 secs
lola: 91942 markings, 101989 edges, 1028 markings/sec, 85 secs
lola: 97013 markings, 108077 edges, 1014 markings/sec, 90 secs
lola: 102149 markings, 114200 edges, 1027 markings/sec, 95 secs
lola: 107288 markings, 120219 edges, 1028 markings/sec, 100 secs
lola: 112391 markings, 125927 edges, 1021 markings/sec, 105 secs
lola: 117478 markings, 131556 edges, 1017 markings/sec, 110 secs
lola: 122576 markings, 137417 edges, 1020 markings/sec, 115 secs
lola: 127654 markings, 142979 edges, 1016 markings/sec, 120 secs
lola: 132775 markings, 148751 edges, 1024 markings/sec, 125 secs
lola: 137869 markings, 154540 edges, 1019 markings/sec, 130 secs
lola: 142973 markings, 160280 edges, 1021 markings/sec, 135 secs
lola: 148048 markings, 165885 edges, 1015 markings/sec, 140 secs
lola: 153154 markings, 171696 edges, 1021 markings/sec, 145 secs
lola: 158279 markings, 177693 edges, 1025 markings/sec, 150 secs
lola: 163343 markings, 183527 edges, 1013 markings/sec, 155 secs
lola: 168441 markings, 189327 edges, 1020 markings/sec, 160 secs
lola: 173497 markings, 195180 edges, 1011 markings/sec, 165 secs
lola: 178560 markings, 200971 edges, 1013 markings/sec, 170 secs
lola: 183624 markings, 207007 edges, 1013 markings/sec, 175 secs
lola: 188697 markings, 212747 edges, 1015 markings/sec, 180 secs
lola: 193798 markings, 218602 edges, 1020 markings/sec, 185 secs
lola: 198847 markings, 224285 edges, 1010 markings/sec, 190 secs
lola: 203908 markings, 230085 edges, 1012 markings/sec, 195 secs
lola: 208948 markings, 235576 edges, 1008 markings/sec, 200 secs
lola: 213991 markings, 241297 edges, 1009 markings/sec, 205 secs
lola: 219074 markings, 246807 edges, 1017 markings/sec, 210 secs
lola: 224149 markings, 252424 edges, 1015 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: 3328 markings, 11523 edges, 666 markings/sec, 0 secs
lola: 6592 markings, 23285 edges, 653 markings/sec, 5 secs
lola: 9862 markings, 34987 edges, 654 markings/sec, 10 secs
lola: 13156 markings, 45135 edges, 659 markings/sec, 15 secs
lola: 16445 markings, 55375 edges, 658 markings/sec, 20 secs
lola: 19716 markings, 66491 edges, 654 markings/sec, 25 secs
lola: 22856 markings, 76579 edges, 628 markings/sec, 30 secs
lola: 25977 markings, 86597 edges, 624 markings/sec, 35 secs
lola: 29199 markings, 97768 edges, 644 markings/sec, 40 secs
lola: 32472 markings, 109560 edges, 655 markings/sec, 45 secs
lola: 35740 markings, 121359 edges, 654 markings/sec, 50 secs
lola: 39018 markings, 131634 edges, 656 markings/sec, 55 secs
lola: 42310 markings, 142006 edges, 658 markings/sec, 60 secs
lola: 45588 markings, 153073 edges, 656 markings/sec, 65 secs
lola: 48877 markings, 163533 edges, 658 markings/sec, 70 secs
lola: 52162 markings, 174123 edges, 657 markings/sec, 75 secs
lola: 55439 markings, 185368 edges, 655 markings/sec, 80 secs
lola: 58707 markings, 197112 edges, 654 markings/sec, 85 secs
lola: 61996 markings, 207454 edges, 658 markings/sec, 90 secs
lola: 65282 markings, 217966 edges, 657 markings/sec, 95 secs
lola: 68564 markings, 228680 edges, 656 markings/sec, 100 secs
lola: 71841 markings, 239720 edges, 655 markings/sec, 105 secs
lola: 75118 markings, 250692 edges, 655 markings/sec, 110 secs
lola: 78399 markings, 261447 edges, 656 markings/sec, 115 secs
lola: 81680 markings, 272196 edges, 656 markings/sec, 120 secs
lola: 84949 markings, 283500 edges, 654 markings/sec, 125 secs
lola: 88230 markings, 294101 edges, 656 markings/sec, 130 secs
lola: 91508 markings, 304877 edges, 656 markings/sec, 135 secs
lola: 94779 markings, 315839 edges, 654 markings/sec, 140 secs
lola: 98040 markings, 326696 edges, 652 markings/sec, 145 secs
lola: 101290 markings, 337477 edges, 650 markings/sec, 150 secs
lola: 104542 markings, 348224 edges, 650 markings/sec, 155 secs
lola: 107808 markings, 358964 edges, 653 markings/sec, 160 secs
lola: 111091 markings, 369770 edges, 657 markings/sec, 165 secs
lola: 114373 markings, 380614 edges, 656 markings/sec, 170 secs
lola: 117656 markings, 391370 edges, 657 markings/sec, 175 secs
lola: 120933 markings, 402648 edges, 655 markings/sec, 180 secs
lola: 124226 markings, 413011 edges, 659 markings/sec, 185 secs
lola: 127508 markings, 423955 edges, 656 markings/sec, 190 secs
lola: 130789 markings, 434869 edges, 656 markings/sec, 195 secs
lola: 134073 markings, 445573 edges, 657 markings/sec, 200 secs
lola: 137359 markings, 456391 edges, 657 markings/sec, 205 secs
lola: 140643 markings, 467368 edges, 657 markings/sec, 210 secs
lola: 143914 markings, 479211 edges, 654 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: 5291 markings, 5473 edges, 1058 markings/sec, 0 secs
lola: 10545 markings, 10843 edges, 1051 markings/sec, 5 secs
lola: 15806 markings, 16281 edges, 1052 markings/sec, 10 secs
lola: 21059 markings, 21758 edges, 1051 markings/sec, 15 secs
lola: 26322 markings, 27314 edges, 1053 markings/sec, 20 secs
lola: 31622 markings, 32778 edges, 1060 markings/sec, 25 secs
lola: 36992 markings, 38324 edges, 1074 markings/sec, 30 secs
lola: 42300 markings, 43817 edges, 1062 markings/sec, 35 secs
lola: 47555 markings, 49238 edges, 1051 markings/sec, 40 secs
lola: 52886 markings, 54806 edges, 1066 markings/sec, 45 secs
lola: 58216 markings, 60353 edges, 1066 markings/sec, 50 secs
lola: 63563 markings, 65851 edges, 1069 markings/sec, 55 secs
lola: 68902 markings, 71419 edges, 1068 markings/sec, 60 secs
lola: 74248 markings, 76971 edges, 1069 markings/sec, 65 secs
lola: 79574 markings, 82459 edges, 1065 markings/sec, 70 secs
lola: 84844 markings, 87912 edges, 1054 markings/sec, 75 secs
lola: 90144 markings, 93411 edges, 1060 markings/sec, 80 secs
lola: 95468 markings, 98967 edges, 1065 markings/sec, 85 secs
lola: 100798 markings, 104573 edges, 1066 markings/sec, 90 secs
lola: 105970 markings, 110214 edges, 1034 markings/sec, 95 secs
lola: 111226 markings, 115752 edges, 1051 markings/sec, 100 secs
lola: 116512 markings, 121267 edges, 1057 markings/sec, 105 secs
lola: 121816 markings, 126762 edges, 1061 markings/sec, 110 secs
lola: 127069 markings, 132178 edges, 1051 markings/sec, 115 secs
lola: 132319 markings, 137742 edges, 1050 markings/sec, 120 secs
lola: 137631 markings, 143351 edges, 1062 markings/sec, 125 secs
lola: 142980 markings, 148930 edges, 1070 markings/sec, 130 secs
lola: 148334 markings, 154515 edges, 1071 markings/sec, 135 secs
lola: 153668 markings, 160090 edges, 1067 markings/sec, 140 secs
lola: 158969 markings, 165741 edges, 1060 markings/sec, 145 secs
lola: 164264 markings, 171320 edges, 1059 markings/sec, 150 secs
lola: 169591 markings, 176814 edges, 1065 markings/sec, 155 secs
lola: 174876 markings, 182258 edges, 1057 markings/sec, 160 secs
lola: 180182 markings, 187814 edges, 1061 markings/sec, 165 secs
lola: 185463 markings, 193308 edges, 1056 markings/sec, 170 secs
lola: 190753 markings, 198811 edges, 1058 markings/sec, 175 secs
lola: 196053 markings, 204312 edges, 1060 markings/sec, 180 secs
lola: 201385 markings, 209864 edges, 1066 markings/sec, 185 secs
lola: 206700 markings, 215491 edges, 1063 markings/sec, 190 secs
lola: 212023 markings, 221066 edges, 1065 markings/sec, 195 secs
lola: 217314 markings, 226516 edges, 1058 markings/sec, 200 secs
lola: 222635 markings, 232128 edges, 1064 markings/sec, 205 secs
lola: 227905 markings, 237615 edges, 1054 markings/sec, 210 secs
lola: 233123 markings, 243195 edges, 1044 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: 3316 markings, 11460 edges, 663 markings/sec, 0 secs
lola: 6597 markings, 23284 edges, 656 markings/sec, 5 secs
lola: 9882 markings, 35159 edges, 657 markings/sec, 10 secs
lola: 13167 markings, 47082 edges, 657 markings/sec, 15 secs
lola: 16453 markings, 58932 edges, 657 markings/sec, 20 secs
lola: 19739 markings, 70791 edges, 657 markings/sec, 25 secs
lola: 23048 markings, 80960 edges, 662 markings/sec, 30 secs
lola: 26354 markings, 91289 edges, 661 markings/sec, 35 secs
lola: 29650 markings, 102437 edges, 659 markings/sec, 40 secs
lola: 32951 markings, 113054 edges, 660 markings/sec, 45 secs
lola: 36254 markings, 123628 edges, 661 markings/sec, 50 secs
lola: 39548 markings, 134824 edges, 659 markings/sec, 55 secs
lola: 42850 markings, 145377 edges, 660 markings/sec, 60 secs
lola: 46151 markings, 156015 edges, 660 markings/sec, 65 secs
lola: 49441 markings, 167501 edges, 658 markings/sec, 70 secs
lola: 52743 markings, 178136 edges, 660 markings/sec, 75 secs
lola: 56040 markings, 189073 edges, 659 markings/sec, 80 secs
lola: 59340 markings, 199825 edges, 660 markings/sec, 85 secs
lola: 62624 markings, 211635 edges, 657 markings/sec, 90 secs
lola: 65908 markings, 223468 edges, 657 markings/sec, 95 secs
lola: 69193 markings, 235320 edges, 657 markings/sec, 100 secs
lola: 72477 markings, 247238 edges, 657 markings/sec, 105 secs
lola: 75762 markings, 259107 edges, 657 markings/sec, 110 secs
lola: 79049 markings, 270740 edges, 657 markings/sec, 115 secs
lola: 82355 markings, 281006 edges, 661 markings/sec, 120 secs
lola: 85662 markings, 291268 edges, 661 markings/sec, 125 secs
lola: 88954 markings, 302464 edges, 658 markings/sec, 130 secs
lola: 92255 markings, 313097 edges, 660 markings/sec, 135 secs
lola: 95557 markings, 323636 edges, 660 markings/sec, 140 secs
lola: 98851 markings, 334809 edges, 659 markings/sec, 145 secs
lola: 102153 markings, 345433 edges, 660 markings/sec, 150 secs
lola: 105455 markings, 356001 edges, 660 markings/sec, 155 secs
lola: 108746 markings, 367477 edges, 658 markings/sec, 160 secs
lola: 112047 markings, 378176 edges, 660 markings/sec, 165 secs
lola: 115345 markings, 389070 edges, 660 markings/sec, 170 secs
lola: 118643 markings, 399943 edges, 660 markings/sec, 175 secs
lola: 121927 markings, 411784 edges, 657 markings/sec, 180 secs
lola: 125211 markings, 423609 edges, 657 markings/sec, 185 secs
lola: 128495 markings, 435449 edges, 657 markings/sec, 190 secs
lola: 131779 markings, 447370 edges, 657 markings/sec, 195 secs
lola: 135064 markings, 459250 edges, 657 markings/sec, 200 secs
lola: 138354 markings, 470676 edges, 658 markings/sec, 205 secs
lola: 141658 markings, 481029 edges, 661 markings/sec, 210 secs
lola: 144963 markings, 491390 edges, 661 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: 4994 markings, 5033 edges, 999 markings/sec, 0 secs
lola: 10201 markings, 10501 edges, 1041 markings/sec, 5 secs
lola: 15379 markings, 16160 edges, 1036 markings/sec, 10 secs
lola: 20604 markings, 21928 edges, 1045 markings/sec, 15 secs
lola: 25613 markings, 29370 edges, 1002 markings/sec, 20 secs
lola: 30745 markings, 35740 edges, 1026 markings/sec, 25 secs
lola: 35578 markings, 43271 edges, 967 markings/sec, 30 secs
lola: 39441 markings, 53759 edges, 773 markings/sec, 35 secs
lola: 42582 markings, 66440 edges, 628 markings/sec, 40 secs
lola: 45726 markings, 79177 edges, 629 markings/sec, 45 secs
lola: 48852 markings, 91910 edges, 625 markings/sec, 50 secs
lola: 51977 markings, 104756 edges, 625 markings/sec, 55 secs
lola: 55092 markings, 117623 edges, 623 markings/sec, 60 secs
lola: 58210 markings, 130499 edges, 624 markings/sec, 65 secs
lola: 61329 markings, 143647 edges, 624 markings/sec, 70 secs
lola: 64461 markings, 156640 edges, 626 markings/sec, 75 secs
lola: 67604 markings, 169425 edges, 629 markings/sec, 80 secs
lola: 70737 markings, 182212 edges, 627 markings/sec, 85 secs
lola: 73854 markings, 195092 edges, 623 markings/sec, 90 secs
lola: 77008 markings, 208029 edges, 631 markings/sec, 95 secs
lola: 80150 markings, 220924 edges, 628 markings/sec, 100 secs
lola: 83287 markings, 233848 edges, 627 markings/sec, 105 secs
lola: 86411 markings, 246808 edges, 625 markings/sec, 110 secs
lola: 89548 markings, 259691 edges, 627 markings/sec, 115 secs
lola: 92688 markings, 272379 edges, 628 markings/sec, 120 secs
lola: 95835 markings, 285061 edges, 629 markings/sec, 125 secs
lola: 98975 markings, 297788 edges, 628 markings/sec, 130 secs
lola: 102125 markings, 310425 edges, 630 markings/sec, 135 secs
lola: 105266 markings, 323257 edges, 628 markings/sec, 140 secs
lola: 108425 markings, 335736 edges, 632 markings/sec, 145 secs
lola: 111588 markings, 348411 edges, 633 markings/sec, 150 secs
lola: 114765 markings, 361027 edges, 635 markings/sec, 155 secs
lola: 117930 markings, 373177 edges, 633 markings/sec, 160 secs
lola: 121062 markings, 385327 edges, 626 markings/sec, 165 secs
lola: 124187 markings, 397797 edges, 625 markings/sec, 170 secs
lola: 127330 markings, 409730 edges, 629 markings/sec, 175 secs
lola: 130452 markings, 422398 edges, 624 markings/sec, 180 secs
lola: 133573 markings, 434891 edges, 624 markings/sec, 185 secs
lola: 136716 markings, 446799 edges, 629 markings/sec, 190 secs
lola: 139855 markings, 458930 edges, 628 markings/sec, 195 secs
lola: 142972 markings, 471922 edges, 623 markings/sec, 200 secs
lola: 146092 markings, 484886 edges, 624 markings/sec, 205 secs
lola: 149207 markings, 497724 edges, 623 markings/sec, 210 secs
lola: 152323 markings, 510595 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 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: 5232 markings, 5414 edges, 1046 markings/sec, 0 secs
lola: 10421 markings, 10714 edges, 1038 markings/sec, 5 secs
lola: 15620 markings, 16099 edges, 1040 markings/sec, 10 secs
lola: 20811 markings, 21527 edges, 1038 markings/sec, 15 secs
lola: 26023 markings, 27013 edges, 1042 markings/sec, 20 secs
lola: 31238 markings, 32425 edges, 1043 markings/sec, 25 secs
lola: 36532 markings, 37915 edges, 1059 markings/sec, 30 secs
lola: 41783 markings, 43339 edges, 1050 markings/sec, 35 secs
lola: 46988 markings, 48729 edges, 1041 markings/sec, 40 secs
lola: 52235 markings, 54178 edges, 1049 markings/sec, 45 secs
lola: 57500 markings, 59684 edges, 1053 markings/sec, 50 secs
lola: 62784 markings, 65123 edges, 1057 markings/sec, 55 secs
lola: 68068 markings, 70660 edges, 1057 markings/sec, 60 secs
lola: 73340 markings, 76161 edges, 1054 markings/sec, 65 secs
lola: 78612 markings, 81605 edges, 1054 markings/sec, 70 secs
lola: 83827 markings, 86986 edges, 1043 markings/sec, 75 secs
lola: 89040 markings, 92421 edges, 1043 markings/sec, 80 secs
lola: 94320 markings, 97934 edges, 1056 markings/sec, 85 secs
lola: 99570 markings, 103447 edges, 1050 markings/sec, 90 secs
lola: 104702 markings, 108973 edges, 1026 markings/sec, 95 secs
lola: 109848 markings, 114514 edges, 1029 markings/sec, 100 secs
lola: 115098 markings, 119979 edges, 1050 markings/sec, 105 secs
lola: 120350 markings, 125460 edges, 1050 markings/sec, 110 secs
lola: 125564 markings, 130847 edges, 1043 markings/sec, 115 secs
lola: 130751 markings, 136258 edges, 1037 markings/sec, 120 secs
lola: 135976 markings, 141852 edges, 1045 markings/sec, 125 secs
lola: 141247 markings, 147392 edges, 1054 markings/sec, 130 secs
lola: 146549 markings, 152892 edges, 1060 markings/sec, 135 secs
lola: 151806 markings, 158435 edges, 1051 markings/sec, 140 secs
lola: 157065 markings, 163963 edges, 1052 markings/sec, 145 secs
lola: 162309 markings, 169575 edges, 1049 markings/sec, 150 secs
lola: 167540 markings, 175029 edges, 1046 markings/sec, 155 secs
lola: 172775 markings, 180425 edges, 1047 markings/sec, 160 secs
lola: 178030 markings, 185917 edges, 1051 markings/sec, 165 secs
lola: 183206 markings, 191316 edges, 1035 markings/sec, 170 secs
lola: 188188 markings, 196500 edges, 996 markings/sec, 175 secs
lola: 193195 markings, 201750 edges, 1001 markings/sec, 180 secs
lola: 198232 markings, 206989 edges, 1007 markings/sec, 185 secs
lola: 203266 markings, 212247 edges, 1007 markings/sec, 190 secs
lola: 208265 markings, 217527 edges, 1000 markings/sec, 195 secs
lola: 213370 markings, 222886 edges, 1021 markings/sec, 200 secs
lola: 218387 markings, 228081 edges, 1003 markings/sec, 205 secs
lola: 223413 markings, 233386 edges, 1005 markings/sec, 210 secs
lola: 228446 markings, 238620 edges, 1007 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: 3159 markings, 10631 edges, 632 markings/sec, 0 secs
lola: 6276 markings, 21337 edges, 623 markings/sec, 5 secs
lola: 9384 markings, 32002 edges, 622 markings/sec, 10 secs
lola: 12498 markings, 42676 edges, 623 markings/sec, 15 secs
lola: 15610 markings, 53477 edges, 622 markings/sec, 20 secs
lola: 18722 markings, 61381 edges, 622 markings/sec, 25 secs
lola: 21841 markings, 69507 edges, 624 markings/sec, 30 secs
lola: 24953 markings, 80017 edges, 622 markings/sec, 35 secs
lola: 28085 markings, 88624 edges, 626 markings/sec, 40 secs
lola: 31198 markings, 99043 edges, 623 markings/sec, 45 secs
lola: 34309 markings, 109697 edges, 622 markings/sec, 50 secs
lola: 37418 markings, 120403 edges, 622 markings/sec, 55 secs
lola: 40531 markings, 128722 edges, 623 markings/sec, 60 secs
lola: 43644 markings, 136599 edges, 623 markings/sec, 65 secs
lola: 46754 markings, 146151 edges, 622 markings/sec, 70 secs
lola: 49878 markings, 154756 edges, 625 markings/sec, 75 secs
lola: 53006 markings, 161137 edges, 626 markings/sec, 80 secs
lola: 56613 markings, 165919 edges, 721 markings/sec, 85 secs
lola: 59854 markings, 175812 edges, 648 markings/sec, 90 secs
lola: 62984 markings, 187001 edges, 626 markings/sec, 95 secs
lola: 66111 markings, 198349 edges, 625 markings/sec, 100 secs
lola: 69238 markings, 209719 edges, 625 markings/sec, 105 secs
lola: 72775 markings, 222433 edges, 707 markings/sec, 110 secs
lola: 76420 markings, 235478 edges, 729 markings/sec, 115 secs
lola: 80063 markings, 248700 edges, 729 markings/sec, 120 secs
lola: 83543 markings, 261316 edges, 696 markings/sec, 125 secs
lola: 86673 markings, 272480 edges, 626 markings/sec, 130 secs
lola: 89801 markings, 283729 edges, 626 markings/sec, 135 secs
lola: 93435 markings, 296684 edges, 727 markings/sec, 140 secs
lola: 97078 markings, 309769 edges, 729 markings/sec, 145 secs
lola: 100222 markings, 320899 edges, 629 markings/sec, 150 secs
lola: 103513 markings, 332637 edges, 658 markings/sec, 155 secs
lola: 107154 markings, 345637 edges, 728 markings/sec, 160 secs
lola: 110339 markings, 356880 edges, 637 markings/sec, 165 secs
lola: 113824 markings, 369287 edges, 697 markings/sec, 170 secs
lola: 117110 markings, 380842 edges, 657 markings/sec, 175 secs
lola: 120603 markings, 393099 edges, 699 markings/sec, 180 secs
lola: 123984 markings, 404971 edges, 676 markings/sec, 185 secs
lola: 127306 markings, 416551 edges, 664 markings/sec, 190 secs
lola: 130676 markings, 428195 edges, 674 markings/sec, 195 secs
lola: 134041 markings, 440027 edges, 673 markings/sec, 200 secs
lola: 137527 markings, 452026 edges, 697 markings/sec, 205 secs
lola: 140985 markings, 464242 edges, 692 markings/sec, 210 secs
lola: 144408 markings, 476309 edges, 685 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: 3392 markings, 3453 edges, 678 markings/sec, 0 secs
lola: 6726 markings, 6874 edges, 667 markings/sec, 5 secs
lola: 10057 markings, 10304 edges, 666 markings/sec, 10 secs
lola: 13358 markings, 13688 edges, 660 markings/sec, 15 secs
lola: 16708 markings, 17119 edges, 670 markings/sec, 20 secs
lola: 20057 markings, 20580 edges, 670 markings/sec, 25 secs
lola: 23421 markings, 24030 edges, 673 markings/sec, 30 secs
lola: 26794 markings, 27498 edges, 675 markings/sec, 35 secs
lola: 30125 markings, 30905 edges, 666 markings/sec, 40 secs
lola: 33489 markings, 34384 edges, 673 markings/sec, 45 secs
lola: 36863 markings, 37865 edges, 675 markings/sec, 50 secs
lola: 40245 markings, 41340 edges, 676 markings/sec, 55 secs
lola: 43627 markings, 44780 edges, 676 markings/sec, 60 secs
lola: 46974 markings, 48246 edges, 669 markings/sec, 65 secs
lola: 50313 markings, 51703 edges, 668 markings/sec, 70 secs
lola: 53670 markings, 55150 edges, 671 markings/sec, 75 secs
lola: 56995 markings, 58567 edges, 665 markings/sec, 80 secs
lola: 60333 markings, 62016 edges, 668 markings/sec, 85 secs
lola: 63704 markings, 65476 edges, 674 markings/sec, 90 secs
lola: 67075 markings, 68941 edges, 674 markings/sec, 95 secs
lola: 70420 markings, 72456 edges, 669 markings/sec, 100 secs
lola: 74104 markings, 76313 edges, 737 markings/sec, 105 secs
lola: 79101 markings, 81430 edges, 999 markings/sec, 110 secs
lola: 84271 markings, 86716 edges, 1034 markings/sec, 115 secs
lola: 89469 markings, 92052 edges, 1040 markings/sec, 120 secs
lola: 94580 markings, 97324 edges, 1022 markings/sec, 125 secs
lola: 99737 markings, 102604 edges, 1031 markings/sec, 130 secs
lola: 104934 markings, 107946 edges, 1039 markings/sec, 135 secs
lola: 110061 markings, 113252 edges, 1025 markings/sec, 140 secs
lola: 115167 markings, 118568 edges, 1021 markings/sec, 145 secs
lola: 120264 markings, 123842 edges, 1019 markings/sec, 150 secs
lola: 125382 markings, 129121 edges, 1024 markings/sec, 155 secs
lola: 130530 markings, 134488 edges, 1030 markings/sec, 160 secs
lola: 135677 markings, 139776 edges, 1029 markings/sec, 165 secs
lola: 140752 markings, 145069 edges, 1015 markings/sec, 170 secs
lola: 145941 markings, 150395 edges, 1038 markings/sec, 175 secs
lola: 151102 markings, 155749 edges, 1032 markings/sec, 180 secs
lola: 156274 markings, 161054 edges, 1034 markings/sec, 185 secs
lola: 161375 markings, 166364 edges, 1020 markings/sec, 190 secs
lola: 166526 markings, 171644 edges, 1030 markings/sec, 195 secs
lola: 171685 markings, 176949 edges, 1032 markings/sec, 200 secs
lola: 176801 markings, 182223 edges, 1023 markings/sec, 205 secs
lola: 181925 markings, 187511 edges, 1025 markings/sec, 210 secs
lola: 187082 markings, 192816 edges, 1031 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: 7863 markings, 7880 edges, 1573 markings/sec, 0 secs
lola: 16110 markings, 16144 edges, 1649 markings/sec, 5 secs
lola: 24374 markings, 24447 edges, 1653 markings/sec, 10 secs
lola: 31561 markings, 31658 edges, 1437 markings/sec, 15 secs
lola: 39722 markings, 39878 edges, 1632 markings/sec, 20 secs
lola: 47118 markings, 47323 edges, 1479 markings/sec, 25 secs
lola: 54713 markings, 54989 edges, 1519 markings/sec, 30 secs
lola: 63099 markings, 63426 edges, 1677 markings/sec, 35 secs
lola: 70433 markings, 70796 edges, 1467 markings/sec, 40 secs
lola: 78291 markings, 78687 edges, 1572 markings/sec, 45 secs
lola: 86031 markings, 86468 edges, 1548 markings/sec, 50 secs
lola: 93825 markings, 94339 edges, 1559 markings/sec, 55 secs
lola: 101441 markings, 101982 edges, 1523 markings/sec, 60 secs
lola: 109332 markings, 109930 edges, 1578 markings/sec, 65 secs
lola: 117293 markings, 117908 edges, 1592 markings/sec, 70 secs
lola: 125215 markings, 125884 edges, 1584 markings/sec, 75 secs
lola: 132369 markings, 133100 edges, 1431 markings/sec, 80 secs
lola: 139359 markings, 140230 edges, 1398 markings/sec, 85 secs
lola: 146760 markings, 147684 edges, 1480 markings/sec, 90 secs
lola: 154343 markings, 155305 edges, 1517 markings/sec, 95 secs
lola: 161429 markings, 162527 edges, 1417 markings/sec, 100 secs
lola: 168087 markings, 169237 edges, 1332 markings/sec, 105 secs
lola: 174641 markings, 175809 edges, 1311 markings/sec, 110 secs
lola: 182077 markings, 183266 edges, 1487 markings/sec, 115 secs
lola: 189946 markings, 191187 edges, 1574 markings/sec, 120 secs
lola: 197974 markings, 199249 edges, 1606 markings/sec, 125 secs
lola: 206000 markings, 207305 edges, 1605 markings/sec, 130 secs
lola: 214186 markings, 215664 edges, 1637 markings/sec, 135 secs
lola: 221867 markings, 223395 edges, 1536 markings/sec, 140 secs
lola: 229991 markings, 231641 edges, 1625 markings/sec, 145 secs
lola: 237390 markings, 239103 edges, 1480 markings/sec, 150 secs
lola: 245190 markings, 246960 edges, 1560 markings/sec, 155 secs
lola: 252590 markings, 254466 edges, 1480 markings/sec, 160 secs
lola: 260031 markings, 262020 edges, 1488 markings/sec, 165 secs
lola: 266400 markings, 268437 edges, 1274 markings/sec, 170 secs
lola: 274177 markings, 276403 edges, 1555 markings/sec, 175 secs
lola: 281566 markings, 283824 edges, 1478 markings/sec, 180 secs
lola: 289023 markings, 291361 edges, 1491 markings/sec, 185 secs
lola: 296995 markings, 299351 edges, 1594 markings/sec, 190 secs
lola: 305075 markings, 307546 edges, 1616 markings/sec, 195 secs
lola: 312417 markings, 314926 edges, 1468 markings/sec, 200 secs
lola: 320438 markings, 322973 edges, 1604 markings/sec, 205 secs
lola: 327839 markings, 330527 edges, 1480 markings/sec, 210 secs
lola: 334469 markings, 337220 edges, 1326 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: 5228 markings, 5410 edges, 1046 markings/sec, 0 secs
lola: 10419 markings, 10676 edges, 1038 markings/sec, 5 secs
lola: 15622 markings, 16016 edges, 1041 markings/sec, 10 secs
lola: 20621 markings, 21240 edges, 1000 markings/sec, 15 secs
lola: 25628 markings, 26481 edges, 1001 markings/sec, 20 secs
lola: 30650 markings, 31686 edges, 1004 markings/sec, 25 secs
lola: 35739 markings, 36921 edges, 1018 markings/sec, 30 secs
lola: 40806 markings, 42128 edges, 1013 markings/sec, 35 secs
lola: 45815 markings, 47244 edges, 1002 markings/sec, 40 secs
lola: 50839 markings, 52442 edges, 1005 markings/sec, 45 secs
lola: 55902 markings, 57659 edges, 1013 markings/sec, 50 secs
lola: 60972 markings, 62843 edges, 1014 markings/sec, 55 secs
lola: 66062 markings, 68133 edges, 1018 markings/sec, 60 secs
lola: 71131 markings, 73384 edges, 1014 markings/sec, 65 secs
lola: 76229 markings, 78633 edges, 1020 markings/sec, 70 secs
lola: 81254 markings, 83785 edges, 1005 markings/sec, 75 secs
lola: 86251 markings, 88908 edges, 999 markings/sec, 80 secs
lola: 91330 markings, 94185 edges, 1016 markings/sec, 85 secs
lola: 96392 markings, 99392 edges, 1012 markings/sec, 90 secs
lola: 101415 markings, 104714 edges, 1005 markings/sec, 95 secs
lola: 106354 markings, 110113 edges, 988 markings/sec, 100 secs
lola: 111363 markings, 115302 edges, 1002 markings/sec, 105 secs
lola: 116394 markings, 120517 edges, 1006 markings/sec, 110 secs
lola: 121438 markings, 125724 edges, 1009 markings/sec, 115 secs
lola: 126431 markings, 130860 edges, 999 markings/sec, 120 secs
lola: 131430 markings, 136119 edges, 1000 markings/sec, 125 secs
lola: 136473 markings, 141408 edges, 1009 markings/sec, 130 secs
lola: 141547 markings, 146706 edges, 1015 markings/sec, 135 secs
lola: 146640 markings, 151952 edges, 1019 markings/sec, 140 secs
lola: 151694 markings, 157235 edges, 1011 markings/sec, 145 secs
lola: 156749 markings, 162508 edges, 1011 markings/sec, 150 secs
lola: 161813 markings, 167931 edges, 1013 markings/sec, 155 secs
lola: 166822 markings, 173054 edges, 1002 markings/sec, 160 secs
lola: 171856 markings, 178232 edges, 1007 markings/sec, 165 secs
lola: 176900 markings, 183477 edges, 1009 markings/sec, 170 secs
lola: 181933 markings, 188694 edges, 1007 markings/sec, 175 secs
lola: 187003 markings, 193918 edges, 1014 markings/sec, 180 secs
lola: 192278 markings, 199367 edges, 1055 markings/sec, 185 secs
lola: 197562 markings, 204775 edges, 1057 markings/sec, 190 secs
lola: 202854 markings, 210344 edges, 1058 markings/sec, 195 secs
lola: 208138 markings, 215848 edges, 1057 markings/sec, 200 secs
lola: 212857 markings, 220777 edges, 944 markings/sec, 205 secs
lola: 217944 markings, 226059 edges, 1017 markings/sec, 210 secs
lola: 223218 markings, 231539 edges, 1055 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: 3172 markings, 10414 edges, 634 markings/sec, 0 secs
lola: 6450 markings, 21553 edges, 656 markings/sec, 5 secs
lola: 9725 markings, 32688 edges, 655 markings/sec, 10 secs
lola: 12992 markings, 44054 edges, 653 markings/sec, 15 secs
lola: 16262 markings, 55163 edges, 654 markings/sec, 20 secs
lola: 19509 markings, 63749 edges, 649 markings/sec, 25 secs
lola: 22880 markings, 72935 edges, 674 markings/sec, 30 secs
lola: 26056 markings, 82869 edges, 635 markings/sec, 35 secs
lola: 29085 markings, 91918 edges, 606 markings/sec, 40 secs
lola: 31987 markings, 101581 edges, 580 markings/sec, 45 secs
lola: 34669 markings, 110702 edges, 536 markings/sec, 50 secs
lola: 37266 markings, 119707 edges, 519 markings/sec, 55 secs
lola: 40183 markings, 127787 edges, 583 markings/sec, 60 secs
lola: 43529 markings, 136199 edges, 669 markings/sec, 65 secs
lola: 46837 markings, 146357 edges, 662 markings/sec, 70 secs
lola: 50181 markings, 155234 edges, 669 markings/sec, 75 secs
lola: 53568 markings, 162094 edges, 677 markings/sec, 80 secs
lola: 56884 markings, 172398 edges, 663 markings/sec, 85 secs
lola: 60181 markings, 183305 edges, 659 markings/sec, 90 secs
lola: 63460 markings, 194752 edges, 656 markings/sec, 95 secs
lola: 66783 markings, 204201 edges, 665 markings/sec, 100 secs
lola: 70121 markings, 212859 edges, 668 markings/sec, 105 secs
lola: 73419 markings, 223242 edges, 660 markings/sec, 110 secs
lola: 76743 markings, 232975 edges, 665 markings/sec, 115 secs
lola: 80035 markings, 243999 edges, 658 markings/sec, 120 secs
lola: 83330 markings, 254841 edges, 659 markings/sec, 125 secs
lola: 86669 markings, 263934 edges, 668 markings/sec, 130 secs
lola: 90003 markings, 273579 edges, 667 markings/sec, 135 secs
lola: 93293 markings, 284582 edges, 658 markings/sec, 140 secs
lola: 96586 markings, 295439 edges, 659 markings/sec, 145 secs
lola: 99909 markings, 305095 edges, 665 markings/sec, 150 secs
lola: 103194 markings, 315997 edges, 657 markings/sec, 155 secs
lola: 106495 markings, 326426 edges, 660 markings/sec, 160 secs
lola: 109835 markings, 335862 edges, 668 markings/sec, 165 secs
lola: 113134 markings, 346770 edges, 660 markings/sec, 170 secs
lola: 116435 markings, 357388 edges, 660 markings/sec, 175 secs
lola: 119730 markings, 368124 edges, 659 markings/sec, 180 secs
lola: 123027 markings, 379048 edges, 659 markings/sec, 185 secs
lola: 126343 markings, 389240 edges, 663 markings/sec, 190 secs
lola: 129639 markings, 400038 edges, 659 markings/sec, 195 secs
lola: 132943 markings, 410606 edges, 661 markings/sec, 200 secs
lola: 136252 markings, 421213 edges, 662 markings/sec, 205 secs
lola: 139544 markings, 432259 edges, 658 markings/sec, 210 secs
lola: 142833 markings, 443304 edges, 658 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: 3204 markings, 10791 edges, 641 markings/sec, 0 secs
lola: 6371 markings, 21676 edges, 633 markings/sec, 5 secs
lola: 9536 markings, 32552 edges, 633 markings/sec, 10 secs
lola: 12701 markings, 43406 edges, 633 markings/sec, 15 secs
lola: 15868 markings, 54343 edges, 633 markings/sec, 20 secs
lola: 19069 markings, 62490 edges, 640 markings/sec, 25 secs
lola: 22268 markings, 71028 edges, 640 markings/sec, 30 secs
lola: 25438 markings, 81474 edges, 634 markings/sec, 35 secs
lola: 28633 markings, 90284 edges, 639 markings/sec, 40 secs
lola: 31757 markings, 100977 edges, 625 markings/sec, 45 secs
lola: 34865 markings, 111685 edges, 622 markings/sec, 50 secs
lola: 37873 markings, 122036 edges, 602 markings/sec, 55 secs
lola: 40954 markings, 129924 edges, 616 markings/sec, 60 secs
lola: 44084 markings, 138007 edges, 626 markings/sec, 65 secs
lola: 47121 markings, 147183 edges, 607 markings/sec, 70 secs
lola: 50282 markings, 155458 edges, 632 markings/sec, 75 secs
lola: 53461 markings, 161922 edges, 636 markings/sec, 80 secs
lola: 56788 markings, 166109 edges, 665 markings/sec, 85 secs
lola: 59965 markings, 176210 edges, 635 markings/sec, 90 secs
lola: 63081 markings, 187356 edges, 623 markings/sec, 95 secs
lola: 66299 markings, 199025 edges, 644 markings/sec, 100 secs
lola: 69446 markings, 210482 edges, 629 markings/sec, 105 secs
lola: 72527 markings, 221516 edges, 616 markings/sec, 110 secs
lola: 75765 markings, 233102 edges, 648 markings/sec, 115 secs
lola: 79004 markings, 244650 edges, 648 markings/sec, 120 secs
lola: 82241 markings, 256212 edges, 647 markings/sec, 125 secs
lola: 85479 markings, 267676 edges, 648 markings/sec, 130 secs
lola: 88716 markings, 279108 edges, 647 markings/sec, 135 secs
lola: 91956 markings, 290328 edges, 648 markings/sec, 140 secs
lola: 95197 markings, 301579 edges, 648 markings/sec, 145 secs
lola: 98442 markings, 312726 edges, 649 markings/sec, 150 secs
lola: 101683 markings, 324020 edges, 648 markings/sec, 155 secs
lola: 104931 markings, 335123 edges, 650 markings/sec, 160 secs
lola: 108168 markings, 346665 edges, 647 markings/sec, 165 secs
lola: 111412 markings, 357810 edges, 649 markings/sec, 170 secs
lola: 114663 markings, 368807 edges, 650 markings/sec, 175 secs
lola: 117905 markings, 380348 edges, 648 markings/sec, 180 secs
lola: 121142 markings, 392177 edges, 647 markings/sec, 185 secs
lola: 124377 markings, 403917 edges, 647 markings/sec, 190 secs
lola: 127614 markings, 415525 edges, 647 markings/sec, 195 secs
lola: 130850 markings, 427073 edges, 647 markings/sec, 200 secs
lola: 134092 markings, 438406 edges, 648 markings/sec, 205 secs
lola: 137335 markings, 449852 edges, 649 markings/sec, 210 secs
lola: 140581 markings, 461207 edges, 649 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: 4448 markings, 9061 edges, 890 markings/sec, 0 secs
lola: 7757 markings, 20873 edges, 662 markings/sec, 5 secs
lola: 11135 markings, 32514 edges, 676 markings/sec, 10 secs
lola: 14544 markings, 44395 edges, 682 markings/sec, 15 secs
lola: 17826 markings, 57692 edges, 656 markings/sec, 20 secs
lola: 21109 markings, 71084 edges, 657 markings/sec, 25 secs
lola: 24390 markings, 84423 edges, 656 markings/sec, 30 secs
lola: 27672 markings, 97807 edges, 656 markings/sec, 35 secs
lola: 30952 markings, 111246 edges, 656 markings/sec, 40 secs
lola: 33987 markings, 123669 edges, 607 markings/sec, 45 secs
lola: 37254 markings, 136927 edges, 653 markings/sec, 50 secs
lola: 40558 markings, 150384 edges, 661 markings/sec, 55 secs
lola: 43857 markings, 163801 edges, 660 markings/sec, 60 secs
lola: 47133 markings, 177154 edges, 655 markings/sec, 65 secs
lola: 50386 markings, 190463 edges, 651 markings/sec, 70 secs
lola: 53801 markings, 198389 edges, 683 markings/sec, 75 secs
lola: 57149 markings, 208866 edges, 670 markings/sec, 80 secs
lola: 60431 markings, 231119 edges, 656 markings/sec, 85 secs
lola: 63882 markings, 235180 edges, 690 markings/sec, 90 secs
lola: 67195 markings, 254818 edges, 663 markings/sec, 95 secs
lola: 70552 markings, 268129 edges, 671 markings/sec, 100 secs
lola: 73916 markings, 282267 edges, 673 markings/sec, 105 secs
lola: 77234 markings, 300681 edges, 664 markings/sec, 110 secs
lola: 80579 markings, 314369 edges, 669 markings/sec, 115 secs
lola: 83864 markings, 328016 edges, 657 markings/sec, 120 secs
lola: 87186 markings, 341449 edges, 664 markings/sec, 125 secs
lola: 90479 markings, 355315 edges, 659 markings/sec, 130 secs
lola: 93792 markings, 368314 edges, 663 markings/sec, 135 secs
lola: 97143 markings, 381573 edges, 670 markings/sec, 140 secs
lola: 100457 markings, 396722 edges, 663 markings/sec, 145 secs
lola: 103741 markings, 409836 edges, 657 markings/sec, 150 secs
lola: 107045 markings, 424249 edges, 661 markings/sec, 155 secs
lola: 110307 markings, 437900 edges, 652 markings/sec, 160 secs
lola: 113589 markings, 451549 edges, 656 markings/sec, 165 secs
lola: 116807 markings, 464867 edges, 644 markings/sec, 170 secs
lola: 120122 markings, 476127 edges, 663 markings/sec, 175 secs
lola: 123461 markings, 489967 edges, 668 markings/sec, 180 secs
lola: 126777 markings, 505589 edges, 663 markings/sec, 185 secs
lola: 130058 markings, 519797 edges, 656 markings/sec, 190 secs
lola: 133361 markings, 533504 edges, 661 markings/sec, 195 secs
lola: 136630 markings, 547468 edges, 654 markings/sec, 200 secs
lola: 139946 markings, 561400 edges, 663 markings/sec, 205 secs
lola: 143239 markings, 575270 edges, 659 markings/sec, 210 secs
lola: 146509 markings, 589464 edges, 654 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: 5214 markings, 5396 edges, 1043 markings/sec, 0 secs
lola: 10394 markings, 10651 edges, 1036 markings/sec, 5 secs
lola: 15593 markings, 15987 edges, 1040 markings/sec, 10 secs
lola: 20796 markings, 21422 edges, 1041 markings/sec, 15 secs
lola: 26010 markings, 26904 edges, 1043 markings/sec, 20 secs
lola: 31242 markings, 32296 edges, 1046 markings/sec, 25 secs
lola: 36545 markings, 37757 edges, 1061 markings/sec, 30 secs
lola: 41804 markings, 43159 edges, 1052 markings/sec, 35 secs
lola: 47002 markings, 48483 edges, 1040 markings/sec, 40 secs
lola: 52259 markings, 53901 edges, 1051 markings/sec, 45 secs
lola: 57528 markings, 59338 edges, 1054 markings/sec, 50 secs
lola: 62803 markings, 64725 edges, 1055 markings/sec, 55 secs
lola: 68093 markings, 70223 edges, 1058 markings/sec, 60 secs
lola: 73370 markings, 75705 edges, 1055 markings/sec, 65 secs
lola: 78642 markings, 81119 edges, 1054 markings/sec, 70 secs
lola: 83857 markings, 86459 edges, 1043 markings/sec, 75 secs
lola: 89081 markings, 91856 edges, 1045 markings/sec, 80 secs
lola: 94363 markings, 97293 edges, 1056 markings/sec, 85 secs
lola: 99586 markings, 102751 edges, 1045 markings/sec, 90 secs
lola: 104736 markings, 108323 edges, 1030 markings/sec, 95 secs
lola: 109893 markings, 113815 edges, 1031 markings/sec, 100 secs
lola: 115141 markings, 119210 edges, 1050 markings/sec, 105 secs
lola: 120401 markings, 124666 edges, 1052 markings/sec, 110 secs
lola: 125600 markings, 130008 edges, 1040 markings/sec, 115 secs
lola: 130628 markings, 135259 edges, 1006 markings/sec, 120 secs
lola: 135903 markings, 140823 edges, 1055 markings/sec, 125 secs
lola: 141254 markings, 146409 edges, 1070 markings/sec, 130 secs
lola: 146611 markings, 151923 edges, 1071 markings/sec, 135 secs
lola: 151926 markings, 157468 edges, 1063 markings/sec, 140 secs
lola: 157237 markings, 163036 edges, 1062 markings/sec, 145 secs
lola: 162586 markings, 168724 edges, 1070 markings/sec, 150 secs
lola: 167853 markings, 174105 edges, 1053 markings/sec, 155 secs
lola: 173145 markings, 179541 edges, 1058 markings/sec, 160 secs
lola: 178447 markings, 185060 edges, 1060 markings/sec, 165 secs
lola: 183743 markings, 190539 edges, 1059 markings/sec, 170 secs
lola: 189005 markings, 195965 edges, 1052 markings/sec, 175 secs
lola: 194299 markings, 201449 edges, 1059 markings/sec, 180 secs
lola: 199660 markings, 206957 edges, 1072 markings/sec, 185 secs
lola: 204958 markings, 212533 edges, 1060 markings/sec, 190 secs
lola: 210276 markings, 218063 edges, 1064 markings/sec, 195 secs
lola: 215582 markings, 223544 edges, 1061 markings/sec, 200 secs
lola: 220884 markings, 229114 edges, 1060 markings/sec, 205 secs
lola: 226180 markings, 234575 edges, 1059 markings/sec, 210 secs
lola: 231420 markings, 240105 edges, 1048 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: 5236 markings, 5418 edges, 1047 markings/sec, 0 secs
lola: 10439 markings, 10696 edges, 1041 markings/sec, 5 secs
lola: 15651 markings, 16046 edges, 1042 markings/sec, 10 secs
lola: 20870 markings, 21509 edges, 1044 markings/sec, 15 secs
lola: 26093 markings, 27004 edges, 1045 markings/sec, 20 secs
lola: 31338 markings, 32392 edges, 1049 markings/sec, 25 secs
lola: 36659 markings, 37871 edges, 1064 markings/sec, 30 secs
lola: 41930 markings, 43285 edges, 1054 markings/sec, 35 secs
lola: 47098 markings, 48579 edges, 1034 markings/sec, 40 secs
lola: 52264 markings, 53906 edges, 1033 markings/sec, 45 secs
lola: 57224 markings, 59033 edges, 992 markings/sec, 50 secs
lola: 62166 markings, 64054 edges, 988 markings/sec, 55 secs
lola: 67466 markings, 69594 edges, 1060 markings/sec, 60 secs
lola: 72704 markings, 75023 edges, 1048 markings/sec, 65 secs
lola: 77754 markings, 80200 edges, 1010 markings/sec, 70 secs
lola: 82744 markings, 85312 edges, 998 markings/sec, 75 secs
lola: 87731 markings, 90456 edges, 997 markings/sec, 80 secs
lola: 92796 markings, 95701 edges, 1013 markings/sec, 85 secs
lola: 97830 markings, 100906 edges, 1007 markings/sec, 90 secs
lola: 102793 markings, 106208 edges, 993 markings/sec, 95 secs
lola: 107734 markings, 111547 edges, 988 markings/sec, 100 secs
lola: 112707 markings, 116701 edges, 995 markings/sec, 105 secs
lola: 117669 markings, 121827 edges, 992 markings/sec, 110 secs
lola: 122759 markings, 127092 edges, 1018 markings/sec, 115 secs
lola: 127762 markings, 132222 edges, 1001 markings/sec, 120 secs
lola: 132809 markings, 137565 edges, 1009 markings/sec, 125 secs
lola: 137890 markings, 142892 edges, 1016 markings/sec, 130 secs
lola: 142948 markings, 148157 edges, 1012 markings/sec, 135 secs
lola: 147998 markings, 153397 edges, 1010 markings/sec, 140 secs
lola: 153068 markings, 158660 edges, 1014 markings/sec, 145 secs
lola: 158150 markings, 164087 edges, 1016 markings/sec, 150 secs
lola: 163244 markings, 169402 edges, 1019 markings/sec, 155 secs
lola: 168288 markings, 174564 edges, 1009 markings/sec, 160 secs
lola: 173338 markings, 179735 edges, 1010 markings/sec, 165 secs
lola: 178402 markings, 185015 edges, 1013 markings/sec, 170 secs
lola: 183463 markings, 190258 edges, 1012 markings/sec, 175 secs
lola: 188492 markings, 195447 edges, 1006 markings/sec, 180 secs
lola: 193557 markings, 200702 edges, 1013 markings/sec, 185 secs
lola: 198674 markings, 205938 edges, 1023 markings/sec, 190 secs
lola: 203737 markings, 211245 edges, 1013 markings/sec, 195 secs
lola: 208835 markings, 216583 edges, 1020 markings/sec, 200 secs
lola: 213922 markings, 221863 edges, 1017 markings/sec, 205 secs
lola: 218953 markings, 227143 edges, 1006 markings/sec, 210 secs
lola: 224060 markings, 232383 edges, 1021 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 1496509962634

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

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

Sequence of Actions to be Executed by the VM

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

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