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

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

=== Now, execution of the tool begins

BK_START 1494738184891


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-PT-S06J06T06 @ 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: 11440/65536 symbol table entries, 6628 collisions
lola: preprocessing...
lola: finding significant places
lola: 700 places, 10740 transitions, 642 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3155 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J06T06-UpperBounds.task
lola: MAX(DisablePollingB_5_1 + DisablePollingB_5_2 + DisablePollingB_5_3 + DisablePollingB_5_4 + DisablePollingB_5_5 + DisablePollingB_5_6 + DisablePollingB_6_1 + DisablePollingB_6_2 + DisablePollingB_6_3 + DisablePollingB_6_4 + DisablePollingB_6_5 + DisablePollingB_6_6 + DisablePollingB_4_5 + DisablePollingB_4_4 + DisablePollingB_4_3 + DisablePollingB_4_2 + DisablePollingB_4_1 + DisablePollingB_1_1 + DisablePollingB_1_2 + DisablePollingB_1_3 + DisablePollingB_1_4 + DisablePollingB_1_5 + DisablePollingB_1_6 + DisablePollingB_3_6 + DisablePollingB_3_5 + DisablePollingB_3_4 + DisablePollingB_3_3 + DisablePollingB_3_2 + DisablePollingB_3_1 + DisablePollingB_2_1 + DisablePollingB_2_2 + DisablePollingB_2_3 + DisablePollingB_2_4 + DisablePollingB_2_5 + DisablePollingB_2_6 + DisablePollingB_4_6) : MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5 + ModifiedSrc_6) : MAX(P_1097) : MAX(P_1158_1 + P_1158_2 + P_1158_3 + P_1158_4 + P_1158_5 + P_1158_6) : MAX(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4 + P_1617_5 + P_1617_6) : MAX(NotifyEventSourceAddedB_1 + NotifyEventSourceAddedB_2 + NotifyEventSourceAddedB_3 + NotifyEventSourceAddedB_4 + NotifyEventSourceAddedB_5 + NotifyEventSourceAddedB_6) : MAX(ScheduleTaskE_Check_1 + ScheduleTaskE_Check_2 + ScheduleTaskE_Check_3 + ScheduleTaskE_Check_4 + ScheduleTaskE_Check_5 + ScheduleTaskE_Check_6) : MAX(ProcessingEvt_1 + ProcessingEvt_2 + ProcessingEvt_3 + ProcessingEvt_4 + ProcessingEvt_5 + ProcessingEvt_6) : MAX(ProcessingEvt_1 + ProcessingEvt_2 + ProcessingEvt_3 + ProcessingEvt_4 + ProcessingEvt_5 + ProcessingEvt_6) : MAX(P_2318_1 + P_2318_2 + P_2318_3 + P_2318_4 + P_2318_5 + P_2318_6) : MAX(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_6) : MAX(cBlockedTasks) : MAX(RunE_1 + RunE_2 + RunE_3 + RunE_4 + RunE_5 + RunE_6) : MAX(NotifyEventEndOfCheckSourcesE_1 + NotifyEventEndOfCheckSourcesE_2 + NotifyEventEndOfCheckSourcesE_3 + NotifyEventEndOfCheckSourcesE_4 + NotifyEventEndOfCheckSourcesE_5 + NotifyEventEndOfCheckSourcesE_6) : MAX(cJobCnt) : MAX(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_6)
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(DisablePollingB_5_1 + DisablePollingB_5_2 + DisablePollingB_5_3 + DisablePollingB_5_4 + DisablePollingB_5_5 + DisablePollingB_5_6 + DisablePollingB_6_1 + DisablePollingB_6_2 + DisablePollingB_6_3 + DisablePollingB_6_4 + DisablePollingB_6_5 + DisablePollingB_6_6 + DisablePollingB_4_5 + DisablePollingB_4_4 + DisablePollingB_4_3 + DisablePollingB_4_2 + DisablePollingB_4_1 + DisablePollingB_1_1 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 4949 markings, 14136 edges, 990 markings/sec, 0 secs
lola: 9753 markings, 30975 edges, 961 markings/sec, 5 secs
lola: 14575 markings, 47535 edges, 964 markings/sec, 10 secs
lola: 19389 markings, 64117 edges, 963 markings/sec, 15 secs
lola: 24191 markings, 80730 edges, 960 markings/sec, 20 secs
lola: 28974 markings, 97865 edges, 957 markings/sec, 25 secs
lola: 33776 markings, 114360 edges, 960 markings/sec, 30 secs
lola: 38608 markings, 130811 edges, 966 markings/sec, 35 secs
lola: 43428 markings, 147154 edges, 964 markings/sec, 40 secs
lola: 48235 markings, 163654 edges, 961 markings/sec, 45 secs
lola: 53180 markings, 175456 edges, 989 markings/sec, 50 secs
lola: 58076 markings, 189155 edges, 979 markings/sec, 55 secs
lola: 62996 markings, 201664 edges, 984 markings/sec, 60 secs
lola: 67938 markings, 214018 edges, 988 markings/sec, 65 secs
lola: 72877 markings, 226259 edges, 988 markings/sec, 70 secs
lola: 77726 markings, 242534 edges, 970 markings/sec, 75 secs
lola: 82635 markings, 256722 edges, 982 markings/sec, 80 secs
lola: 87669 markings, 266864 edges, 1007 markings/sec, 85 secs
lola: 92655 markings, 278708 edges, 997 markings/sec, 90 secs
lola: 97601 markings, 292074 edges, 989 markings/sec, 95 secs
lola: 102618 markings, 302761 edges, 1003 markings/sec, 100 secs
lola: 107636 markings, 313373 edges, 1004 markings/sec, 105 secs
lola: 112611 markings, 327281 edges, 995 markings/sec, 110 secs
lola: 117463 markings, 344129 edges, 970 markings/sec, 115 secs
lola: 122323 markings, 360067 edges, 972 markings/sec, 120 secs
lola: 127145 markings, 377090 edges, 964 markings/sec, 125 secs
lola: 132012 markings, 393204 edges, 973 markings/sec, 130 secs
lola: 136859 markings, 409679 edges, 969 markings/sec, 135 secs
lola: 141810 markings, 422536 edges, 990 markings/sec, 140 secs
lola: 146764 markings, 435378 edges, 991 markings/sec, 145 secs
lola: 151728 markings, 447719 edges, 993 markings/sec, 150 secs
lola: 156707 markings, 459685 edges, 996 markings/sec, 155 secs
lola: 161664 markings, 472337 edges, 991 markings/sec, 160 secs
lola: 166603 markings, 485789 edges, 988 markings/sec, 165 secs
lola: 171555 markings, 499535 edges, 990 markings/sec, 170 secs
lola: 176450 markings, 516056 edges, 979 markings/sec, 175 secs
lola: 181329 markings, 531705 edges, 976 markings/sec, 180 secs
lola: 186258 markings, 545316 edges, 986 markings/sec, 185 secs
lola: 191109 markings, 562033 edges, 970 markings/sec, 190 secs
lola: 196019 markings, 576562 edges, 982 markings/sec, 195 secs
lola: 200954 markings, 590192 edges, 987 markings/sec, 200 secs
lola: 205882 markings, 605113 edges, 986 markings/sec, 205 secs
lola: 210773 markings, 619983 edges, 978 markings/sec, 210 secs
lola: 215657 markings, 635326 edges, 977 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(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5 + ModifiedSrc_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 9841 markings, 10099 edges, 1968 markings/sec, 0 secs
lola: 20438 markings, 21070 edges, 2119 markings/sec, 5 secs
lola: 30361 markings, 31393 edges, 1985 markings/sec, 10 secs
lola: 41422 markings, 42998 edges, 2212 markings/sec, 15 secs
lola: 52682 markings, 54751 edges, 2252 markings/sec, 20 secs
lola: 63345 markings, 65865 edges, 2133 markings/sec, 25 secs
lola: 74362 markings, 77361 edges, 2203 markings/sec, 30 secs
lola: 85039 markings, 88546 edges, 2135 markings/sec, 35 secs
lola: 95159 markings, 99138 edges, 2024 markings/sec, 40 secs
lola: 105822 markings, 110337 edges, 2133 markings/sec, 45 secs
lola: 115932 markings, 120862 edges, 2022 markings/sec, 50 secs
lola: 126068 markings, 131411 edges, 2027 markings/sec, 55 secs
lola: 136903 markings, 142867 edges, 2167 markings/sec, 60 secs
lola: 147481 markings, 154212 edges, 2116 markings/sec, 65 secs
lola: 156947 markings, 164249 edges, 1893 markings/sec, 70 secs
lola: 166986 markings, 174737 edges, 2008 markings/sec, 75 secs
lola: 176934 markings, 185220 edges, 1990 markings/sec, 80 secs
lola: 186505 markings, 195156 edges, 1914 markings/sec, 85 secs
lola: 196061 markings, 205247 edges, 1911 markings/sec, 90 secs
lola: 205775 markings, 215547 edges, 1943 markings/sec, 95 secs
lola: 215944 markings, 226284 edges, 2034 markings/sec, 100 secs
lola: 226471 markings, 237241 edges, 2105 markings/sec, 105 secs
lola: 237180 markings, 248492 edges, 2142 markings/sec, 110 secs
lola: 247752 markings, 259446 edges, 2114 markings/sec, 115 secs
lola: 258142 markings, 270436 edges, 2078 markings/sec, 120 secs
lola: 268338 markings, 280854 edges, 2039 markings/sec, 125 secs
lola: 278860 markings, 292128 edges, 2104 markings/sec, 130 secs
lola: 288866 markings, 302512 edges, 2001 markings/sec, 135 secs
lola: 298437 markings, 312629 edges, 1914 markings/sec, 140 secs
lola: 307812 markings, 322494 edges, 1875 markings/sec, 145 secs
lola: 317081 markings, 332159 edges, 1854 markings/sec, 150 secs
lola: 327402 markings, 342852 edges, 2064 markings/sec, 155 secs
lola: 337182 markings, 353109 edges, 1956 markings/sec, 160 secs
lola: 347689 markings, 364038 edges, 2101 markings/sec, 165 secs
lola: 358785 markings, 375572 edges, 2219 markings/sec, 170 secs
lola: 367608 markings, 384722 edges, 1765 markings/sec, 175 secs
lola: 377452 markings, 395185 edges, 1969 markings/sec, 180 secs
lola: 387896 markings, 406108 edges, 2089 markings/sec, 185 secs
lola: 397901 markings, 416672 edges, 2001 markings/sec, 190 secs
lola: 407532 markings, 426819 edges, 1926 markings/sec, 195 secs
lola: 417175 markings, 436881 edges, 1929 markings/sec, 200 secs
lola: 427451 markings, 447484 edges, 2055 markings/sec, 205 secs
lola: 437279 markings, 457706 edges, 1966 markings/sec, 210 secs
lola: 448289 markings, 469366 edges, 2202 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P_1097)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 10357 markings, 10665 edges, 2071 markings/sec, 0 secs
lola: 21584 markings, 22349 edges, 2245 markings/sec, 5 secs
lola: 32297 markings, 33498 edges, 2143 markings/sec, 10 secs
lola: 43623 markings, 45239 edges, 2265 markings/sec, 15 secs
lola: 54498 markings, 56499 edges, 2175 markings/sec, 20 secs
lola: 63811 markings, 66087 edges, 1863 markings/sec, 25 secs
lola: 74023 markings, 76635 edges, 2042 markings/sec, 30 secs
lola: 85029 markings, 88025 edges, 2201 markings/sec, 35 secs
lola: 94807 markings, 98216 edges, 1956 markings/sec, 40 secs
lola: 105482 markings, 109234 edges, 2135 markings/sec, 45 secs
lola: 116196 markings, 120390 edges, 2143 markings/sec, 50 secs
lola: 126765 markings, 131471 edges, 2114 markings/sec, 55 secs
lola: 137576 markings, 142787 edges, 2162 markings/sec, 60 secs
lola: 148731 markings, 154540 edges, 2231 markings/sec, 65 secs
lola: 159700 markings, 166050 edges, 2194 markings/sec, 70 secs
lola: 169647 markings, 176509 edges, 1989 markings/sec, 75 secs
lola: 180105 markings, 187606 edges, 2092 markings/sec, 80 secs
lola: 191273 markings, 199260 edges, 2234 markings/sec, 85 secs
lola: 201995 markings, 210391 edges, 2144 markings/sec, 90 secs
lola: 212396 markings, 221208 edges, 2080 markings/sec, 95 secs
lola: 222791 markings, 232023 edges, 2079 markings/sec, 100 secs
lola: 233869 markings, 243539 edges, 2216 markings/sec, 105 secs
lola: 243164 markings, 253197 edges, 1859 markings/sec, 110 secs
lola: 253268 markings, 263831 edges, 2021 markings/sec, 115 secs
lola: 262929 markings, 273909 edges, 1932 markings/sec, 120 secs
lola: 273765 markings, 285300 edges, 2167 markings/sec, 125 secs
lola: 283463 markings, 295355 edges, 1940 markings/sec, 130 secs
lola: 294113 markings, 306451 edges, 2130 markings/sec, 135 secs
lola: 304197 markings, 316980 edges, 2017 markings/sec, 140 secs
lola: 315420 markings, 328716 edges, 2245 markings/sec, 145 secs
lola: 325372 markings, 339242 edges, 1990 markings/sec, 150 secs
lola: 334823 markings, 349173 edges, 1890 markings/sec, 155 secs
lola: 345404 markings, 360123 edges, 2116 markings/sec, 160 secs
lola: 356122 markings, 371370 edges, 2144 markings/sec, 165 secs
lola: 366131 markings, 381886 edges, 2002 markings/sec, 170 secs
lola: 376705 markings, 393024 edges, 2115 markings/sec, 175 secs
lola: 386650 markings, 403459 edges, 1989 markings/sec, 180 secs
lola: 397717 markings, 414989 edges, 2213 markings/sec, 185 secs
lola: 407912 markings, 425809 edges, 2039 markings/sec, 190 secs
lola: 417744 markings, 436162 edges, 1966 markings/sec, 195 secs
lola: 426659 markings, 445535 edges, 1783 markings/sec, 200 secs
lola: 436577 markings, 455733 edges, 1984 markings/sec, 205 secs
lola: 446817 markings, 466419 edges, 2048 markings/sec, 210 secs
lola: 456808 markings, 476850 edges, 1998 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_1158_1 + P_1158_2 + P_1158_3 + P_1158_4 + P_1158_5 + P_1158_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7494 markings, 7735 edges, 1499 markings/sec, 0 secs
lola: 15052 markings, 15653 edges, 1512 markings/sec, 5 secs
lola: 22502 markings, 23395 edges, 1490 markings/sec, 10 secs
lola: 30018 markings, 31112 edges, 1503 markings/sec, 15 secs
lola: 37472 markings, 38753 edges, 1491 markings/sec, 20 secs
lola: 44941 markings, 46445 edges, 1494 markings/sec, 25 secs
lola: 52410 markings, 54108 edges, 1494 markings/sec, 30 secs
lola: 59875 markings, 61802 edges, 1493 markings/sec, 35 secs
lola: 67318 markings, 69495 edges, 1489 markings/sec, 40 secs
lola: 74735 markings, 77168 edges, 1483 markings/sec, 45 secs
lola: 82151 markings, 84876 edges, 1483 markings/sec, 50 secs
lola: 89644 markings, 92739 edges, 1499 markings/sec, 55 secs
lola: 97059 markings, 100546 edges, 1483 markings/sec, 60 secs
lola: 104422 markings, 108394 edges, 1473 markings/sec, 65 secs
lola: 111948 markings, 116349 edges, 1505 markings/sec, 70 secs
lola: 119459 markings, 124106 edges, 1502 markings/sec, 75 secs
lola: 126890 markings, 131824 edges, 1486 markings/sec, 80 secs
lola: 134362 markings, 139766 edges, 1494 markings/sec, 85 secs
lola: 141923 markings, 147656 edges, 1512 markings/sec, 90 secs
lola: 149466 markings, 155533 edges, 1509 markings/sec, 95 secs
lola: 156931 markings, 163334 edges, 1493 markings/sec, 100 secs
lola: 164494 markings, 171146 edges, 1513 markings/sec, 105 secs
lola: 172038 markings, 178932 edges, 1509 markings/sec, 110 secs
lola: 179501 markings, 186708 edges, 1493 markings/sec, 115 secs
lola: 187000 markings, 194367 edges, 1500 markings/sec, 120 secs
lola: 194454 markings, 202135 edges, 1491 markings/sec, 125 secs
lola: 201848 markings, 209772 edges, 1479 markings/sec, 130 secs
lola: 209303 markings, 217442 edges, 1491 markings/sec, 135 secs
lola: 216897 markings, 225314 edges, 1519 markings/sec, 140 secs
lola: 224275 markings, 232879 edges, 1476 markings/sec, 145 secs
lola: 231665 markings, 240560 edges, 1478 markings/sec, 150 secs
lola: 239168 markings, 248542 edges, 1501 markings/sec, 155 secs
lola: 246702 markings, 256454 edges, 1507 markings/sec, 160 secs
lola: 254097 markings, 264149 edges, 1479 markings/sec, 165 secs
lola: 261571 markings, 271860 edges, 1495 markings/sec, 170 secs
lola: 269053 markings, 279619 edges, 1496 markings/sec, 175 secs
lola: 276489 markings, 287311 edges, 1487 markings/sec, 180 secs
lola: 283916 markings, 294987 edges, 1485 markings/sec, 185 secs
lola: 291373 markings, 302819 edges, 1491 markings/sec, 190 secs
lola: 298877 markings, 310665 edges, 1501 markings/sec, 195 secs
lola: 306320 markings, 318425 edges, 1489 markings/sec, 200 secs
lola: 313767 markings, 326204 edges, 1489 markings/sec, 205 secs
lola: 321224 markings, 333973 edges, 1491 markings/sec, 210 secs
lola: 328603 markings, 341730 edges, 1476 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4 + P_1617_5 + P_1617_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7245 markings, 8141 edges, 1449 markings/sec, 0 secs
lola: 14320 markings, 17417 edges, 1415 markings/sec, 5 secs
lola: 21304 markings, 28480 edges, 1397 markings/sec, 10 secs
lola: 28542 markings, 37136 edges, 1448 markings/sec, 15 secs
lola: 35610 markings, 47354 edges, 1414 markings/sec, 20 secs
lola: 42636 markings, 57273 edges, 1405 markings/sec, 25 secs
lola: 49767 markings, 66552 edges, 1426 markings/sec, 30 secs
lola: 56790 markings, 76623 edges, 1405 markings/sec, 35 secs
lola: 63806 markings, 87062 edges, 1403 markings/sec, 40 secs
lola: 70932 markings, 96114 edges, 1425 markings/sec, 45 secs
lola: 77949 markings, 106271 edges, 1403 markings/sec, 50 secs
lola: 85054 markings, 116102 edges, 1421 markings/sec, 55 secs
lola: 92202 markings, 124322 edges, 1430 markings/sec, 60 secs
lola: 99254 markings, 134160 edges, 1410 markings/sec, 65 secs
lola: 106257 markings, 145097 edges, 1401 markings/sec, 70 secs
lola: 113362 markings, 153340 edges, 1421 markings/sec, 75 secs
lola: 120405 markings, 163926 edges, 1409 markings/sec, 80 secs
lola: 127521 markings, 174119 edges, 1423 markings/sec, 85 secs
lola: 134771 markings, 182345 edges, 1450 markings/sec, 90 secs
lola: 141811 markings, 192462 edges, 1408 markings/sec, 95 secs
lola: 148828 markings, 202614 edges, 1403 markings/sec, 100 secs
lola: 155950 markings, 211973 edges, 1424 markings/sec, 105 secs
lola: 162964 markings, 222059 edges, 1403 markings/sec, 110 secs
lola: 170005 markings, 232209 edges, 1408 markings/sec, 115 secs
lola: 177085 markings, 241590 edges, 1416 markings/sec, 120 secs
lola: 184091 markings, 251802 edges, 1401 markings/sec, 125 secs
lola: 191159 markings, 261249 edges, 1414 markings/sec, 130 secs
lola: 198209 markings, 271276 edges, 1410 markings/sec, 135 secs
lola: 205218 markings, 280850 edges, 1402 markings/sec, 140 secs
lola: 212293 markings, 290291 edges, 1415 markings/sec, 145 secs
lola: 219322 markings, 300446 edges, 1406 markings/sec, 150 secs
lola: 226326 markings, 310476 edges, 1401 markings/sec, 155 secs
lola: 233634 markings, 319135 edges, 1462 markings/sec, 160 secs
lola: 240721 markings, 328664 edges, 1417 markings/sec, 165 secs
lola: 247746 markings, 338758 edges, 1405 markings/sec, 170 secs
lola: 254831 markings, 348230 edges, 1417 markings/sec, 175 secs
lola: 261893 markings, 358434 edges, 1412 markings/sec, 180 secs
lola: 268908 markings, 368115 edges, 1403 markings/sec, 185 secs
lola: 276013 markings, 377399 edges, 1421 markings/sec, 190 secs
lola: 283045 markings, 387501 edges, 1406 markings/sec, 195 secs
lola: 290045 markings, 397680 edges, 1400 markings/sec, 200 secs
lola: 297088 markings, 407947 edges, 1409 markings/sec, 205 secs
lola: 304175 markings, 417528 edges, 1417 markings/sec, 210 secs
lola: 311252 markings, 427082 edges, 1415 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(NotifyEventSourceAddedB_1 + NotifyEventSourceAddedB_2 + NotifyEventSourceAddedB_3 + NotifyEventSourceAddedB_4 + NotifyEventSourceAddedB_5 + NotifyEventSourceAddedB_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 4818 markings, 16255 edges, 964 markings/sec, 0 secs
lola: 9606 markings, 31340 edges, 958 markings/sec, 5 secs
lola: 14400 markings, 45434 edges, 959 markings/sec, 10 secs
lola: 19198 markings, 60345 edges, 960 markings/sec, 15 secs
lola: 23988 markings, 74877 edges, 958 markings/sec, 20 secs
lola: 28828 markings, 88168 edges, 968 markings/sec, 25 secs
lola: 33497 markings, 97148 edges, 934 markings/sec, 30 secs
lola: 37863 markings, 112824 edges, 873 markings/sec, 35 secs
lola: 42373 markings, 129034 edges, 902 markings/sec, 40 secs
lola: 46906 markings, 145084 edges, 907 markings/sec, 45 secs
lola: 51830 markings, 161942 edges, 985 markings/sec, 50 secs
lola: 56762 markings, 178751 edges, 986 markings/sec, 55 secs
lola: 61762 markings, 196068 edges, 1000 markings/sec, 60 secs
lola: 66778 markings, 213162 edges, 1003 markings/sec, 65 secs
lola: 71765 markings, 230604 edges, 997 markings/sec, 70 secs
lola: 76748 markings, 246858 edges, 997 markings/sec, 75 secs
lola: 81747 markings, 258337 edges, 1000 markings/sec, 80 secs
lola: 86736 markings, 271562 edges, 998 markings/sec, 85 secs
lola: 91727 markings, 284286 edges, 998 markings/sec, 90 secs
lola: 96712 markings, 297207 edges, 997 markings/sec, 95 secs
lola: 101734 markings, 309551 edges, 1004 markings/sec, 100 secs
lola: 106722 markings, 326236 edges, 998 markings/sec, 105 secs
lola: 111721 markings, 338317 edges, 1000 markings/sec, 110 secs
lola: 116758 markings, 348173 edges, 1007 markings/sec, 115 secs
lola: 121807 markings, 357632 edges, 1010 markings/sec, 120 secs
lola: 126912 markings, 368352 edges, 1021 markings/sec, 125 secs
lola: 132000 markings, 378950 edges, 1018 markings/sec, 130 secs
lola: 137102 markings, 390038 edges, 1020 markings/sec, 135 secs
lola: 142187 markings, 405531 edges, 1017 markings/sec, 140 secs
lola: 147202 markings, 423720 edges, 1003 markings/sec, 145 secs
lola: 152222 markings, 441634 edges, 1004 markings/sec, 150 secs
lola: 157235 markings, 458876 edges, 1003 markings/sec, 155 secs
lola: 162252 markings, 476516 edges, 1003 markings/sec, 160 secs
lola: 167263 markings, 494008 edges, 1002 markings/sec, 165 secs
lola: 172337 markings, 507414 edges, 1015 markings/sec, 170 secs
lola: 177355 markings, 518198 edges, 1004 markings/sec, 175 secs
lola: 182377 markings, 530667 edges, 1004 markings/sec, 180 secs
lola: 187403 markings, 543790 edges, 1005 markings/sec, 185 secs
lola: 192450 markings, 555510 edges, 1009 markings/sec, 190 secs
lola: 197561 markings, 567322 edges, 1022 markings/sec, 195 secs
lola: 202674 markings, 580040 edges, 1023 markings/sec, 200 secs
lola: 207749 markings, 595824 edges, 1015 markings/sec, 205 secs
lola: 212767 markings, 613495 edges, 1004 markings/sec, 210 secs
lola: 217799 markings, 629209 edges, 1006 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(ScheduleTaskE_Check_1 + ScheduleTaskE_Check_2 + ScheduleTaskE_Check_3 + ScheduleTaskE_Check_4 + ScheduleTaskE_Check_5 + ScheduleTaskE_Check_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7250 markings, 7396 edges, 1450 markings/sec, 0 secs
lola: 14652 markings, 16639 edges, 1480 markings/sec, 5 secs
lola: 19562 markings, 36541 edges, 982 markings/sec, 10 secs
lola: 24471 markings, 56409 edges, 982 markings/sec, 15 secs
lola: 29407 markings, 76281 edges, 987 markings/sec, 20 secs
lola: 34359 markings, 95369 edges, 990 markings/sec, 25 secs
lola: 39270 markings, 112256 edges, 982 markings/sec, 30 secs
lola: 44263 markings, 130328 edges, 999 markings/sec, 35 secs
lola: 49308 markings, 141935 edges, 1009 markings/sec, 40 secs
lola: 54281 markings, 160265 edges, 995 markings/sec, 45 secs
lola: 59313 markings, 176209 edges, 1006 markings/sec, 50 secs
lola: 64328 markings, 192734 edges, 1003 markings/sec, 55 secs
lola: 69338 markings, 210068 edges, 1002 markings/sec, 60 secs
lola: 74331 markings, 228572 edges, 999 markings/sec, 65 secs
lola: 79312 markings, 246852 edges, 996 markings/sec, 70 secs
lola: 86106 markings, 257834 edges, 1359 markings/sec, 75 secs
lola: 91839 markings, 274061 edges, 1147 markings/sec, 80 secs
lola: 96748 markings, 294198 edges, 982 markings/sec, 85 secs
lola: 101679 markings, 314247 edges, 986 markings/sec, 90 secs
lola: 106658 markings, 333858 edges, 996 markings/sec, 95 secs
lola: 111582 markings, 353407 edges, 985 markings/sec, 100 secs
lola: 116641 markings, 369162 edges, 1012 markings/sec, 105 secs
lola: 121845 markings, 381302 edges, 1041 markings/sec, 110 secs
lola: 127038 markings, 393385 edges, 1039 markings/sec, 115 secs
lola: 132226 markings, 405109 edges, 1038 markings/sec, 120 secs
lola: 137430 markings, 416102 edges, 1041 markings/sec, 125 secs
lola: 144248 markings, 427935 edges, 1364 markings/sec, 130 secs
lola: 149151 markings, 447681 edges, 981 markings/sec, 135 secs
lola: 154045 markings, 467723 edges, 979 markings/sec, 140 secs
lola: 158952 markings, 487655 edges, 981 markings/sec, 145 secs
lola: 163891 markings, 507204 edges, 988 markings/sec, 150 secs
lola: 168827 markings, 526164 edges, 987 markings/sec, 155 secs
lola: 173708 markings, 545571 edges, 976 markings/sec, 160 secs
lola: 178590 markings, 564787 edges, 976 markings/sec, 165 secs
lola: 183575 markings, 579431 edges, 997 markings/sec, 170 secs
lola: 188577 markings, 590624 edges, 1000 markings/sec, 175 secs
lola: 193538 markings, 603999 edges, 992 markings/sec, 180 secs
lola: 198486 markings, 617690 edges, 990 markings/sec, 185 secs
lola: 203428 markings, 630029 edges, 988 markings/sec, 190 secs
lola: 208836 markings, 644693 edges, 1082 markings/sec, 195 secs
lola: 213703 markings, 664523 edges, 973 markings/sec, 200 secs
lola: 218652 markings, 684653 edges, 990 markings/sec, 205 secs
lola: 225269 markings, 697826 edges, 1323 markings/sec, 210 secs
lola: 231511 markings, 711503 edges, 1248 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(ProcessingEvt_1 + ProcessingEvt_2 + ProcessingEvt_3 + ProcessingEvt_4 + ProcessingEvt_5 + ProcessingEvt_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 11211 markings, 11236 edges, 2242 markings/sec, 0 secs
lola: 23264 markings, 23334 edges, 2411 markings/sec, 5 secs
lola: 34047 markings, 34149 edges, 2157 markings/sec, 10 secs
lola: 44913 markings, 45105 edges, 2173 markings/sec, 15 secs
lola: 55928 markings, 56206 edges, 2203 markings/sec, 20 secs
lola: 66608 markings, 66966 edges, 2136 markings/sec, 25 secs
lola: 78267 markings, 78663 edges, 2332 markings/sec, 30 secs
lola: 89580 markings, 90075 edges, 2263 markings/sec, 35 secs
lola: 100333 markings, 100871 edges, 2151 markings/sec, 40 secs
lola: 111546 markings, 112148 edges, 2243 markings/sec, 45 secs
lola: 122969 markings, 123621 edges, 2285 markings/sec, 50 secs
lola: 133389 markings, 134125 edges, 2084 markings/sec, 55 secs
lola: 143338 markings, 144235 edges, 1990 markings/sec, 60 secs
lola: 154214 markings, 155176 edges, 2175 markings/sec, 65 secs
lola: 164060 markings, 165178 edges, 1969 markings/sec, 70 secs
lola: 173430 markings, 174595 edges, 1874 markings/sec, 75 secs
lola: 183786 markings, 184981 edges, 2071 markings/sec, 80 secs
lola: 195480 markings, 196749 edges, 2339 markings/sec, 85 secs
lola: 206903 markings, 208228 edges, 2285 markings/sec, 90 secs
lola: 217413 markings, 218898 edges, 2102 markings/sec, 95 secs
lola: 227664 markings, 229270 edges, 2050 markings/sec, 100 secs
lola: 238670 markings, 240391 edges, 2201 markings/sec, 105 secs
lola: 249721 markings, 251507 edges, 2210 markings/sec, 110 secs
lola: 260488 markings, 262511 edges, 2153 markings/sec, 115 secs
lola: 270351 markings, 272477 edges, 1973 markings/sec, 120 secs
lola: 281117 markings, 283373 edges, 2153 markings/sec, 125 secs
lola: 291835 markings, 294183 edges, 2144 markings/sec, 130 secs
lola: 303632 markings, 306098 edges, 2359 markings/sec, 135 secs
lola: 314921 markings, 317434 edges, 2258 markings/sec, 140 secs
lola: 325786 markings, 328404 edges, 2173 markings/sec, 145 secs
lola: 335582 markings, 338337 edges, 1959 markings/sec, 150 secs
lola: 345489 markings, 348419 edges, 1981 markings/sec, 155 secs
lola: 356881 markings, 359884 edges, 2278 markings/sec, 160 secs
lola: 368025 markings, 371154 edges, 2229 markings/sec, 165 secs
lola: 378922 markings, 382214 edges, 2179 markings/sec, 170 secs
lola: 390258 markings, 393737 edges, 2267 markings/sec, 175 secs
lola: 401514 markings, 405089 edges, 2251 markings/sec, 180 secs
lola: 411614 markings, 415344 edges, 2020 markings/sec, 185 secs
lola: 421906 markings, 425744 edges, 2058 markings/sec, 190 secs
lola: 433415 markings, 437455 edges, 2302 markings/sec, 195 secs
lola: 443236 markings, 447340 edges, 1964 markings/sec, 200 secs
lola: 454194 markings, 458479 edges, 2192 markings/sec, 205 secs
lola: 464551 markings, 469003 edges, 2071 markings/sec, 210 secs
lola: 474189 markings, 478736 edges, 1928 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(ProcessingEvt_1 + ProcessingEvt_2 + ProcessingEvt_3 + ProcessingEvt_4 + ProcessingEvt_5 + ProcessingEvt_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 11316 markings, 11341 edges, 2263 markings/sec, 0 secs
lola: 23482 markings, 23552 edges, 2433 markings/sec, 5 secs
lola: 34374 markings, 34476 edges, 2178 markings/sec, 10 secs
lola: 45353 markings, 45547 edges, 2196 markings/sec, 15 secs
lola: 56399 markings, 56678 edges, 2209 markings/sec, 20 secs
lola: 67273 markings, 67631 edges, 2175 markings/sec, 25 secs
lola: 78967 markings, 79363 edges, 2339 markings/sec, 30 secs
lola: 90271 markings, 90773 edges, 2261 markings/sec, 35 secs
lola: 101238 markings, 101778 edges, 2193 markings/sec, 40 secs
lola: 112647 markings, 113252 edges, 2282 markings/sec, 45 secs
lola: 124053 markings, 124709 edges, 2281 markings/sec, 50 secs
lola: 134488 markings, 135275 edges, 2087 markings/sec, 55 secs
lola: 144769 markings, 145689 edges, 2056 markings/sec, 60 secs
lola: 155510 markings, 156487 edges, 2148 markings/sec, 65 secs
lola: 165432 markings, 166557 edges, 1984 markings/sec, 70 secs
lola: 174882 markings, 176051 edges, 1890 markings/sec, 75 secs
lola: 185434 markings, 186633 edges, 2110 markings/sec, 80 secs
lola: 197259 markings, 198533 edges, 2365 markings/sec, 85 secs
lola: 208935 markings, 210288 edges, 2335 markings/sec, 90 secs
lola: 220435 markings, 221948 edges, 2300 markings/sec, 95 secs
lola: 231761 markings, 233433 edges, 2265 markings/sec, 100 secs
lola: 242711 markings, 244456 edges, 2190 markings/sec, 105 secs
lola: 253607 markings, 255507 edges, 2179 markings/sec, 110 secs
lola: 263702 markings, 265730 edges, 2019 markings/sec, 115 secs
lola: 274240 markings, 276466 edges, 2108 markings/sec, 120 secs
lola: 284492 markings, 286820 edges, 2050 markings/sec, 125 secs
lola: 296194 markings, 298548 edges, 2340 markings/sec, 130 secs
lola: 307800 markings, 310278 edges, 2321 markings/sec, 135 secs
lola: 318783 markings, 321312 edges, 2197 markings/sec, 140 secs
lola: 329448 markings, 332148 edges, 2133 markings/sec, 145 secs
lola: 339321 markings, 342100 edges, 1975 markings/sec, 150 secs
lola: 348859 markings, 351810 edges, 1908 markings/sec, 155 secs
lola: 360435 markings, 363481 edges, 2315 markings/sec, 160 secs
lola: 371365 markings, 374599 edges, 2186 markings/sec, 165 secs
lola: 382383 markings, 385769 edges, 2204 markings/sec, 170 secs
lola: 393621 markings, 397127 edges, 2248 markings/sec, 175 secs
lola: 404102 markings, 407718 edges, 2096 markings/sec, 180 secs
lola: 414741 markings, 418479 edges, 2128 markings/sec, 185 secs
lola: 424987 markings, 428863 edges, 2049 markings/sec, 190 secs
lola: 436450 markings, 440518 edges, 2293 markings/sec, 195 secs
lola: 445996 markings, 450157 edges, 1909 markings/sec, 200 secs
lola: 456911 markings, 461202 edges, 2183 markings/sec, 205 secs
lola: 467035 markings, 471499 edges, 2025 markings/sec, 210 secs
lola: 477392 markings, 481946 edges, 2071 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P_2318_1 + P_2318_2 + P_2318_3 + P_2318_4 + P_2318_5 + P_2318_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7611 markings, 7896 edges, 1522 markings/sec, 0 secs
lola: 15263 markings, 15972 edges, 1530 markings/sec, 5 secs
lola: 22818 markings, 23806 edges, 1511 markings/sec, 10 secs
lola: 30430 markings, 31673 edges, 1522 markings/sec, 15 secs
lola: 38005 markings, 39552 edges, 1515 markings/sec, 20 secs
lola: 45578 markings, 47400 edges, 1515 markings/sec, 25 secs
lola: 53151 markings, 55224 edges, 1515 markings/sec, 30 secs
lola: 60723 markings, 63074 edges, 1514 markings/sec, 35 secs
lola: 68264 markings, 70907 edges, 1508 markings/sec, 40 secs
lola: 75786 markings, 78729 edges, 1504 markings/sec, 45 secs
lola: 83320 markings, 86573 edges, 1507 markings/sec, 50 secs
lola: 90892 markings, 94562 edges, 1514 markings/sec, 55 secs
lola: 98363 markings, 102500 edges, 1494 markings/sec, 60 secs
lola: 105816 markings, 110485 edges, 1491 markings/sec, 65 secs
lola: 113442 markings, 118533 edges, 1525 markings/sec, 70 secs
lola: 121072 markings, 126450 edges, 1526 markings/sec, 75 secs
lola: 128600 markings, 134359 edges, 1506 markings/sec, 80 secs
lola: 136163 markings, 142451 edges, 1513 markings/sec, 85 secs
lola: 143807 markings, 150460 edges, 1529 markings/sec, 90 secs
lola: 151475 markings, 158520 edges, 1534 markings/sec, 95 secs
lola: 159095 markings, 166583 edges, 1524 markings/sec, 100 secs
lola: 166739 markings, 174540 edges, 1529 markings/sec, 105 secs
lola: 174381 markings, 182589 edges, 1528 markings/sec, 110 secs
lola: 182025 markings, 190576 edges, 1529 markings/sec, 115 secs
lola: 189445 markings, 198248 edges, 1484 markings/sec, 120 secs
lola: 196731 markings, 205858 edges, 1457 markings/sec, 125 secs
lola: 204080 markings, 213525 edges, 1470 markings/sec, 130 secs
lola: 211274 markings, 221029 edges, 1439 markings/sec, 135 secs
lola: 218706 markings, 228725 edges, 1486 markings/sec, 140 secs
lola: 226281 markings, 236647 edges, 1515 markings/sec, 145 secs
lola: 233872 markings, 244630 edges, 1518 markings/sec, 150 secs
lola: 241568 markings, 252853 edges, 1539 markings/sec, 155 secs
lola: 249255 markings, 261034 edges, 1537 markings/sec, 160 secs
lola: 256848 markings, 268997 edges, 1519 markings/sec, 165 secs
lola: 264514 markings, 276967 edges, 1533 markings/sec, 170 secs
lola: 272192 markings, 285044 edges, 1536 markings/sec, 175 secs
lola: 279813 markings, 293014 edges, 1524 markings/sec, 180 secs
lola: 287424 markings, 300975 edges, 1522 markings/sec, 185 secs
lola: 295088 markings, 309053 edges, 1533 markings/sec, 190 secs
lola: 302744 markings, 317176 edges, 1531 markings/sec, 195 secs
lola: 310389 markings, 325215 edges, 1529 markings/sec, 200 secs
lola: 318010 markings, 333242 edges, 1524 markings/sec, 205 secs
lola: 325626 markings, 341222 edges, 1523 markings/sec, 210 secs
lola: 333245 markings, 349253 edges, 1524 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(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7469 markings, 7710 edges, 1494 markings/sec, 0 secs
lola: 14982 markings, 15583 edges, 1503 markings/sec, 5 secs
lola: 22388 markings, 23281 edges, 1481 markings/sec, 10 secs
lola: 29860 markings, 30953 edges, 1494 markings/sec, 15 secs
lola: 37283 markings, 38564 edges, 1485 markings/sec, 20 secs
lola: 44719 markings, 46222 edges, 1487 markings/sec, 25 secs
lola: 52160 markings, 53843 edges, 1488 markings/sec, 30 secs
lola: 59592 markings, 61517 edges, 1486 markings/sec, 35 secs
lola: 67013 markings, 69173 edges, 1484 markings/sec, 40 secs
lola: 74323 markings, 76741 edges, 1462 markings/sec, 45 secs
lola: 81673 markings, 84380 edges, 1470 markings/sec, 50 secs
lola: 89136 markings, 92198 edges, 1493 markings/sec, 55 secs
lola: 96402 markings, 99834 edges, 1453 markings/sec, 60 secs
lola: 103720 markings, 107660 edges, 1464 markings/sec, 65 secs
lola: 111160 markings, 115511 edges, 1488 markings/sec, 70 secs
lola: 118569 markings, 123212 edges, 1482 markings/sec, 75 secs
lola: 125899 markings, 130816 edges, 1466 markings/sec, 80 secs
lola: 133343 markings, 138677 edges, 1489 markings/sec, 85 secs
lola: 140839 markings, 146524 edges, 1499 markings/sec, 90 secs
lola: 148393 markings, 154378 edges, 1511 markings/sec, 95 secs
lola: 155861 markings, 162245 edges, 1494 markings/sec, 100 secs
lola: 163389 markings, 170019 edges, 1506 markings/sec, 105 secs
lola: 170896 markings, 177761 edges, 1501 markings/sec, 110 secs
lola: 178390 markings, 185546 edges, 1499 markings/sec, 115 secs
lola: 185806 markings, 193151 edges, 1483 markings/sec, 120 secs
lola: 193201 markings, 200834 edges, 1479 markings/sec, 125 secs
lola: 200637 markings, 208521 edges, 1487 markings/sec, 130 secs
lola: 208043 markings, 216163 edges, 1481 markings/sec, 135 secs
lola: 215614 markings, 223979 edges, 1514 markings/sec, 140 secs
lola: 222999 markings, 231565 edges, 1477 markings/sec, 145 secs
lola: 230408 markings, 239254 edges, 1482 markings/sec, 150 secs
lola: 237885 markings, 247113 edges, 1495 markings/sec, 155 secs
lola: 245428 markings, 255103 edges, 1509 markings/sec, 160 secs
lola: 252860 markings, 262847 edges, 1486 markings/sec, 165 secs
lola: 260293 markings, 270557 edges, 1487 markings/sec, 170 secs
lola: 267816 markings, 278359 edges, 1505 markings/sec, 175 secs
lola: 275065 markings, 285799 edges, 1450 markings/sec, 180 secs
lola: 282490 markings, 293527 edges, 1485 markings/sec, 185 secs
lola: 289872 markings, 301232 edges, 1476 markings/sec, 190 secs
lola: 297401 markings, 309129 edges, 1506 markings/sec, 195 secs
lola: 304851 markings, 316852 edges, 1490 markings/sec, 200 secs
lola: 312397 markings, 324778 edges, 1509 markings/sec, 205 secs
lola: 319969 markings, 332679 edges, 1514 markings/sec, 210 secs
lola: 327432 markings, 340490 edges, 1493 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(cBlockedTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 4733 markings, 15945 edges, 947 markings/sec, 0 secs
lola: 9790 markings, 31740 edges, 1011 markings/sec, 5 secs
lola: 14845 markings, 46582 edges, 1011 markings/sec, 10 secs
lola: 19917 markings, 62581 edges, 1014 markings/sec, 15 secs
lola: 24966 markings, 76936 edges, 1010 markings/sec, 20 secs
lola: 30025 markings, 90400 edges, 1012 markings/sec, 25 secs
lola: 35339 markings, 103725 edges, 1063 markings/sec, 30 secs
lola: 40809 markings, 123431 edges, 1094 markings/sec, 35 secs
lola: 46206 markings, 142590 edges, 1079 markings/sec, 40 secs
lola: 51574 markings, 161021 edges, 1074 markings/sec, 45 secs
lola: 56919 markings, 179241 edges, 1069 markings/sec, 50 secs
lola: 62250 markings, 198023 edges, 1066 markings/sec, 55 secs
lola: 67628 markings, 216623 edges, 1076 markings/sec, 60 secs
lola: 72970 markings, 234915 edges, 1068 markings/sec, 65 secs
lola: 78235 markings, 250344 edges, 1053 markings/sec, 70 secs
lola: 83396 markings, 262014 edges, 1032 markings/sec, 75 secs
lola: 88617 markings, 275936 edges, 1044 markings/sec, 80 secs
lola: 93857 markings, 290212 edges, 1048 markings/sec, 85 secs
lola: 99031 markings, 302789 edges, 1035 markings/sec, 90 secs
lola: 104331 markings, 318596 edges, 1060 markings/sec, 95 secs
lola: 109649 markings, 334814 edges, 1064 markings/sec, 100 secs
lola: 114715 markings, 343226 edges, 1013 markings/sec, 105 secs
lola: 119886 markings, 353307 edges, 1034 markings/sec, 110 secs
lola: 125113 markings, 364589 edges, 1045 markings/sec, 115 secs
lola: 130329 markings, 375804 edges, 1043 markings/sec, 120 secs
lola: 135519 markings, 386492 edges, 1038 markings/sec, 125 secs
lola: 143684 markings, 398081 edges, 1633 markings/sec, 130 secs
lola: 154512 markings, 409113 edges, 2166 markings/sec, 135 secs
lola: 165307 markings, 420064 edges, 2159 markings/sec, 140 secs
lola: 175917 markings, 430979 edges, 2122 markings/sec, 145 secs
lola: 186533 markings, 441822 edges, 2123 markings/sec, 150 secs
lola: 197335 markings, 452886 edges, 2160 markings/sec, 155 secs
lola: 208151 markings, 464149 edges, 2163 markings/sec, 160 secs
lola: 218265 markings, 474524 edges, 2023 markings/sec, 165 secs
lola: 229058 markings, 485772 edges, 2159 markings/sec, 170 secs
lola: 240075 markings, 496976 edges, 2203 markings/sec, 175 secs
lola: 250698 markings, 507859 edges, 2125 markings/sec, 180 secs
lola: 261581 markings, 518952 edges, 2177 markings/sec, 185 secs
lola: 272507 markings, 530152 edges, 2185 markings/sec, 190 secs
lola: 283134 markings, 541294 edges, 2125 markings/sec, 195 secs
lola: 293863 markings, 552568 edges, 2146 markings/sec, 200 secs
lola: 304578 markings, 563671 edges, 2143 markings/sec, 205 secs
lola: 315297 markings, 574757 edges, 2144 markings/sec, 210 secs
lola: 325977 markings, 585738 edges, 2136 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(RunE_1 + RunE_2 + RunE_3 + RunE_4 + RunE_5 + RunE_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 4806 markings, 17000 edges, 961 markings/sec, 0 secs
lola: 9908 markings, 32804 edges, 1020 markings/sec, 5 secs
lola: 14994 markings, 51035 edges, 1017 markings/sec, 10 secs
lola: 20098 markings, 66410 edges, 1021 markings/sec, 15 secs
lola: 25269 markings, 83696 edges, 1034 markings/sec, 20 secs
lola: 30367 markings, 103185 edges, 1020 markings/sec, 25 secs
lola: 35462 markings, 121877 edges, 1019 markings/sec, 30 secs
lola: 40544 markings, 138727 edges, 1016 markings/sec, 35 secs
lola: 45631 markings, 153903 edges, 1017 markings/sec, 40 secs
lola: 50725 markings, 173158 edges, 1019 markings/sec, 45 secs
lola: 55806 markings, 190009 edges, 1016 markings/sec, 50 secs
lola: 60898 markings, 207438 edges, 1018 markings/sec, 55 secs
lola: 65967 markings, 224621 edges, 1014 markings/sec, 60 secs
lola: 71057 markings, 245065 edges, 1018 markings/sec, 65 secs
lola: 76156 markings, 261264 edges, 1020 markings/sec, 70 secs
lola: 81228 markings, 280693 edges, 1014 markings/sec, 75 secs
lola: 86567 markings, 297884 edges, 1068 markings/sec, 80 secs
lola: 91904 markings, 318837 edges, 1067 markings/sec, 85 secs
lola: 97267 markings, 338706 edges, 1073 markings/sec, 90 secs
lola: 102502 markings, 354016 edges, 1047 markings/sec, 95 secs
lola: 107763 markings, 370355 edges, 1052 markings/sec, 100 secs
lola: 113113 markings, 391982 edges, 1070 markings/sec, 105 secs
lola: 118313 markings, 406835 edges, 1040 markings/sec, 110 secs
lola: 123637 markings, 428606 edges, 1065 markings/sec, 115 secs
lola: 128851 markings, 444568 edges, 1043 markings/sec, 120 secs
lola: 134110 markings, 464097 edges, 1052 markings/sec, 125 secs
lola: 139415 markings, 484833 edges, 1061 markings/sec, 130 secs
lola: 144958 markings, 500767 edges, 1109 markings/sec, 135 secs
lola: 151215 markings, 517770 edges, 1251 markings/sec, 140 secs
lola: 156899 markings, 539433 edges, 1137 markings/sec, 145 secs
lola: 162459 markings, 556875 edges, 1112 markings/sec, 150 secs
lola: 168037 markings, 576703 edges, 1116 markings/sec, 155 secs
lola: 173585 markings, 596870 edges, 1110 markings/sec, 160 secs
lola: 179159 markings, 618151 edges, 1115 markings/sec, 165 secs
lola: 184504 markings, 635776 edges, 1069 markings/sec, 170 secs
lola: 189594 markings, 654443 edges, 1018 markings/sec, 175 secs
lola: 194788 markings, 669375 edges, 1039 markings/sec, 180 secs
lola: 199966 markings, 685662 edges, 1036 markings/sec, 185 secs
lola: 205133 markings, 703198 edges, 1033 markings/sec, 190 secs
lola: 210286 markings, 721411 edges, 1031 markings/sec, 195 secs
lola: 215631 markings, 738126 edges, 1069 markings/sec, 200 secs
lola: 221018 markings, 759209 edges, 1077 markings/sec, 205 secs
lola: 226408 markings, 779118 edges, 1078 markings/sec, 210 secs
lola: 231683 markings, 794558 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 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventEndOfCheckSourcesE_1 + NotifyEventEndOfCheckSourcesE_2 + NotifyEventEndOfCheckSourcesE_3 + NotifyEventEndOfCheckSourcesE_4 + NotifyEventEndOfCheckSourcesE_5 + NotifyEventEndOfCheckSourcesE_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 4865 markings, 16428 edges, 973 markings/sec, 0 secs
lola: 9859 markings, 31936 edges, 999 markings/sec, 5 secs
lola: 14850 markings, 46592 edges, 998 markings/sec, 10 secs
lola: 19886 markings, 62507 edges, 1007 markings/sec, 15 secs
lola: 24927 markings, 76880 edges, 1008 markings/sec, 20 secs
lola: 29968 markings, 90303 edges, 1008 markings/sec, 25 secs
lola: 35276 markings, 103499 edges, 1062 markings/sec, 30 secs
lola: 40739 markings, 123178 edges, 1093 markings/sec, 35 secs
lola: 46126 markings, 142305 edges, 1077 markings/sec, 40 secs
lola: 51483 markings, 160747 edges, 1071 markings/sec, 45 secs
lola: 56824 markings, 178941 edges, 1068 markings/sec, 50 secs
lola: 62140 markings, 197627 edges, 1063 markings/sec, 55 secs
lola: 67522 markings, 216240 edges, 1076 markings/sec, 60 secs
lola: 72855 markings, 234492 edges, 1067 markings/sec, 65 secs
lola: 78120 markings, 250146 edges, 1053 markings/sec, 70 secs
lola: 83278 markings, 261816 edges, 1032 markings/sec, 75 secs
lola: 88489 markings, 275499 edges, 1042 markings/sec, 80 secs
lola: 93719 markings, 289984 edges, 1046 markings/sec, 85 secs
lola: 98877 markings, 302476 edges, 1032 markings/sec, 90 secs
lola: 104144 markings, 317928 edges, 1053 markings/sec, 95 secs
lola: 109467 markings, 334494 edges, 1065 markings/sec, 100 secs
lola: 114522 markings, 342950 edges, 1011 markings/sec, 105 secs
lola: 119675 markings, 352915 edges, 1031 markings/sec, 110 secs
lola: 124900 markings, 364271 edges, 1045 markings/sec, 115 secs
lola: 130099 markings, 375264 edges, 1040 markings/sec, 120 secs
lola: 135272 markings, 385819 edges, 1035 markings/sec, 125 secs
lola: 143184 markings, 397572 edges, 1582 markings/sec, 130 secs
lola: 154132 markings, 408732 edges, 2190 markings/sec, 135 secs
lola: 165113 markings, 419869 edges, 2196 markings/sec, 140 secs
lola: 175862 markings, 430924 edges, 2150 markings/sec, 145 secs
lola: 186613 markings, 441903 edges, 2150 markings/sec, 150 secs
lola: 197573 markings, 453124 edges, 2192 markings/sec, 155 secs
lola: 208604 markings, 464607 edges, 2206 markings/sec, 160 secs
lola: 219012 markings, 475283 edges, 2082 markings/sec, 165 secs
lola: 229776 markings, 486496 edges, 2153 markings/sec, 170 secs
lola: 240786 markings, 497712 edges, 2202 markings/sec, 175 secs
lola: 251344 markings, 508518 edges, 2112 markings/sec, 180 secs
lola: 262145 markings, 519518 edges, 2160 markings/sec, 185 secs
lola: 273063 markings, 530717 edges, 2184 markings/sec, 190 secs
lola: 283783 markings, 541994 edges, 2144 markings/sec, 195 secs
lola: 294365 markings, 553078 edges, 2116 markings/sec, 200 secs
lola: 305126 markings, 564242 edges, 2152 markings/sec, 205 secs
lola: 315755 markings, 575226 edges, 2126 markings/sec, 210 secs
lola: 326411 markings, 586227 edges, 2131 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(cJobCnt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 5156 markings, 18088 edges, 1031 markings/sec, 0 secs
lola: 10303 markings, 34036 edges, 1029 markings/sec, 5 secs
lola: 15429 markings, 50988 edges, 1025 markings/sec, 10 secs
lola: 20559 markings, 67569 edges, 1026 markings/sec, 15 secs
lola: 25683 markings, 84299 edges, 1025 markings/sec, 20 secs
lola: 30823 markings, 101147 edges, 1028 markings/sec, 25 secs
lola: 35962 markings, 117815 edges, 1028 markings/sec, 30 secs
lola: 41100 markings, 134283 edges, 1028 markings/sec, 35 secs
lola: 46244 markings, 151051 edges, 1029 markings/sec, 40 secs
lola: 51385 markings, 167682 edges, 1028 markings/sec, 45 secs
lola: 56497 markings, 185710 edges, 1022 markings/sec, 50 secs
lola: 61632 markings, 202754 edges, 1027 markings/sec, 55 secs
lola: 66752 markings, 220268 edges, 1024 markings/sec, 60 secs
lola: 71869 markings, 237741 edges, 1023 markings/sec, 65 secs
lola: 76989 markings, 255072 edges, 1024 markings/sec, 70 secs
lola: 82100 markings, 272377 edges, 1022 markings/sec, 75 secs
lola: 87201 markings, 289638 edges, 1020 markings/sec, 80 secs
lola: 92318 markings, 307043 edges, 1023 markings/sec, 85 secs
lola: 97438 markings, 324380 edges, 1024 markings/sec, 90 secs
lola: 102577 markings, 340769 edges, 1028 markings/sec, 95 secs
lola: 107744 markings, 354880 edges, 1033 markings/sec, 100 secs
lola: 112917 markings, 368808 edges, 1035 markings/sec, 105 secs
lola: 118027 markings, 387066 edges, 1022 markings/sec, 110 secs
lola: 123163 markings, 404056 edges, 1027 markings/sec, 115 secs
lola: 128281 markings, 421620 edges, 1024 markings/sec, 120 secs
lola: 133397 markings, 438981 edges, 1023 markings/sec, 125 secs
lola: 138513 markings, 456350 edges, 1023 markings/sec, 130 secs
lola: 143621 markings, 473644 edges, 1022 markings/sec, 135 secs
lola: 148729 markings, 490902 edges, 1022 markings/sec, 140 secs
lola: 153845 markings, 508172 edges, 1023 markings/sec, 145 secs
lola: 158962 markings, 525620 edges, 1023 markings/sec, 150 secs
lola: 164136 markings, 542899 edges, 1035 markings/sec, 155 secs
lola: 169265 markings, 561232 edges, 1026 markings/sec, 160 secs
lola: 174401 markings, 578880 edges, 1027 markings/sec, 165 secs
lola: 179539 markings, 596394 edges, 1028 markings/sec, 170 secs
lola: 184673 markings, 614335 edges, 1027 markings/sec, 175 secs
lola: 189810 markings, 632452 edges, 1027 markings/sec, 180 secs
lola: 194941 markings, 650535 edges, 1026 markings/sec, 185 secs
lola: 200081 markings, 668264 edges, 1028 markings/sec, 190 secs
lola: 204991 markings, 685738 edges, 982 markings/sec, 195 secs
lola: 210093 markings, 703820 edges, 1020 markings/sec, 200 secs
lola: 215198 markings, 721173 edges, 1021 markings/sec, 205 secs
lola: 220316 markings, 738076 edges, 1024 markings/sec, 210 secs
lola: 225447 markings, 754736 edges, 1026 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(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7233 markings, 7474 edges, 1447 markings/sec, 0 secs
lola: 14743 markings, 15327 edges, 1502 markings/sec, 5 secs
lola: 22153 markings, 23045 edges, 1482 markings/sec, 10 secs
lola: 29605 markings, 30698 edges, 1490 markings/sec, 15 secs
lola: 37014 markings, 38280 edges, 1482 markings/sec, 20 secs
lola: 44466 markings, 45953 edges, 1490 markings/sec, 25 secs
lola: 51898 markings, 53579 edges, 1486 markings/sec, 30 secs
lola: 59242 markings, 61166 edges, 1469 markings/sec, 35 secs
lola: 66502 markings, 68656 edges, 1452 markings/sec, 40 secs
lola: 73978 markings, 76394 edges, 1495 markings/sec, 45 secs
lola: 81446 markings, 84140 edges, 1494 markings/sec, 50 secs
lola: 88955 markings, 92017 edges, 1502 markings/sec, 55 secs
lola: 96227 markings, 99651 edges, 1454 markings/sec, 60 secs
lola: 103399 markings, 107320 edges, 1434 markings/sec, 65 secs
lola: 110945 markings, 115296 edges, 1509 markings/sec, 70 secs
lola: 118469 markings, 123112 edges, 1505 markings/sec, 75 secs
lola: 125911 markings, 130828 edges, 1488 markings/sec, 80 secs
lola: 133388 markings, 138723 edges, 1495 markings/sec, 85 secs
lola: 140944 markings, 146632 edges, 1511 markings/sec, 90 secs
lola: 148395 markings, 154380 edges, 1490 markings/sec, 95 secs
lola: 155624 markings, 161994 edges, 1446 markings/sec, 100 secs
lola: 162917 markings, 169530 edges, 1459 markings/sec, 105 secs
lola: 170173 markings, 176998 edges, 1451 markings/sec, 110 secs
lola: 177436 markings, 184542 edges, 1453 markings/sec, 115 secs
lola: 184697 markings, 192025 edges, 1452 markings/sec, 120 secs
lola: 191905 markings, 199487 edges, 1442 markings/sec, 125 secs
lola: 199097 markings, 206914 edges, 1438 markings/sec, 130 secs
lola: 206289 markings, 214366 edges, 1438 markings/sec, 135 secs
lola: 213577 markings, 221871 edges, 1458 markings/sec, 140 secs
lola: 220803 markings, 229331 edges, 1445 markings/sec, 145 secs
lola: 227943 markings, 236697 edges, 1428 markings/sec, 150 secs
lola: 235179 markings, 244231 edges, 1447 markings/sec, 155 secs
lola: 242446 markings, 251975 edges, 1453 markings/sec, 160 secs
lola: 249641 markings, 259503 edges, 1439 markings/sec, 165 secs
lola: 256837 markings, 267011 edges, 1439 markings/sec, 170 secs
lola: 264077 markings, 274434 edges, 1448 markings/sec, 175 secs
lola: 271291 markings, 281903 edges, 1443 markings/sec, 180 secs
lola: 278494 markings, 289383 edges, 1441 markings/sec, 185 secs
lola: 285653 markings, 296821 edges, 1432 markings/sec, 190 secs
lola: 292906 markings, 304410 edges, 1451 markings/sec, 195 secs
lola: 300139 markings, 311964 edges, 1447 markings/sec, 200 secs
lola: 307350 markings, 319493 edges, 1442 markings/sec, 205 secs
lola: 314536 markings, 326995 edges, 1437 markings/sec, 210 secs
lola: 321744 markings, 334545 edges, 1442 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-S06J06T06-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494741724099

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