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-3253
Executing tool lola
Input is CSRepetitions-PT-05, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436308900119
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494620700117


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ CSRepetitions-PT-05 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 531/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 206 places, 325 transitions, 176 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 501 transition conflict sets
lola: TASK
lola: reading formula from CSRepetitions-COL-05-UpperBounds.task
lola: MAX(RequestBufferSlots) : MAX(RequestBufferSlots) : MAX(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Client_Waiting_14 + Client_Waiting_13 + Client_Waiting_12 + Client_Waiting_11 + Client_Waiting_10) : MAX(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_9 + Client_Sending_8 + Client_Sending_7 + Client_Sending_6 + Client_Sending_5 + Client_Sending_4 + Client_Sending_3 + Client_Sending_2 + Client_Sending_1) : MAX(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Client_Waiting_14 + Client_Waiting_13 + Client_Waiting_12 + Client_Waiting_11 + Client_Waiting_10) : MAX(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Client_Waiting_14 + Client_Waiting_13 + Client_Waiting_12 + Client_Waiting_11 + Client_Waiting_10) : MAX(Server_Anwering_4_1 + Server_Anwering_4_2 + Server_Anwering_4_3 + Server_Anwering_4_4 + Server_Anwering_4_5 + Server_Anwering_23_1 + Server_Anwering_23_2 + Server_Anwering_23_3 + Server_Anwering_23_4 + Server_Anwering_23_5 + Server_Anwering_10_1 + Server_Anwering_10_2 + Server_Anwering_10_3 + Server_Anwering_10_4 + Server_Anwering_10_5 + Server_Anwering_5_1 + Server_Anwering_5_2 + Server_Anwering_5_3 + Server_Anwering_5_4 + Server_Anwering_5_5 + Server_Anwering_24_1 + Server_Anwering_24_2 + Server_Anwering_24_3 + Server_Anwering_24_4 + Server_Anwering_24_5 + Server_Anwering_11_1 + Server_Anwering_11_2 + Server_Anwering_11_3 + Server_Anwering_11_4 + Server_Anwering_11_5 + Server_Anwering_6_1 + Server_Anwering_6_2 + Server_Anwering_6_3 + Server_Anwering_6_4 + Server_Anwering_6_5 + Server_Anwering_25_1 + Server_Anwering_25_2 + Server_Anwering_25_3 + Server_Anwering_25_4 + Server_Anwering_25_5 + Server_Anwering_12_1 + Server_Anwering_12_2 + Server_Anwering_12_3 + Server_Anwering_12_4 + Server_Anwering_12_5 + Server_Anwering_7_1 + Server_Anwering_7_2 + Server_Anwering_7_3 + Server_Anwering_7_4 + Server_Anwering_7_5 + Server_Anwering_13_1 + Server_Anwering_13_2 + Server_Anwering_13_3 + Server_Anwering_13_4 + Server_Anwering_13_5 + Server_Anwering_8_1 + Server_Anwering_8_2 + Server_Anwering_8_3 + Server_Anwering_8_4 + Server_Anwering_8_5 + Server_Anwering_14_1 + Server_Anwering_14_2 + Server_Anwering_14_3 + Server_Anwering_14_4 + Server_Anwering_14_5 + Server_Anwering_9_1 + Server_Anwering_9_2 + Server_Anwering_9_3 + Server_Anwering_9_4 + Server_Anwering_9_5 + Server_Anwering_15_1 + Server_Anwering_15_2 + Server_Anwering_15_3 + Server_Anwering_15_4 + Server_Anwering_15_5 + Server_Anwering_16_1 + Server_Anwering_16_2 + Server_Anwering_16_3 + Server_Anwering_16_4 + Server_Anwering_16_5 + Server_Anwering_3_5 + Server_Anwering_3_4 + Server_Anwering_3_3 + Server_Anwering_3_2 + Server_Anwering_3_1 + Server_Anwering_17_1 + Server_Anwering_17_2 + Server_Anwering_17_3 + Server_Anwering_17_4 + Server_Anwering_17_5 + Server_Anwering_18_1 + Server_Anwering_18_2 + Server_Anwering_18_3 + Server_Anwering_18_4 + Server_Anwering_18_5 + Server_Anwering_19_1 + Server_Anwering_19_2 + Server_Anwering_19_3 + Server_Anwering_19_4 + Server_Anwering_19_5 + Server_Anwering_21_5 + Server_Anwering_21_4 + Server_Anwering_21_3 + Server_Anwering_21_2 + Server_Anwering_21_1 + Server_Anwering_2_5 + Server_Anwering_2_4 + Server_Anwering_2_3 + Server_Anwering_2_2 + Server_Anwering_2_1 + Server_Anwering_20_5 + Server_Anwering_20_4 + Server_Anwering_20_3 + Server_Anwering_20_2 + Server_Anwering_20_1 + Server_Anwering_1_1 + Server_Anwering_1_2 + Server_Anwering_1_3 + Server_Anwering_1_4 + Server_Anwering_1_5 + Server_Anwering_22_1 + Server_Anwering_22_2 + Server_Anwering_22_3 + Server_Anwering_22_4 + Server_Anwering_22_5) : MAX(RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + RequestBuffer_22 + RequestBuffer_23 + RequestBuffer_24 + RequestBuffer_25) : MAX(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Client_Waiting_14 + Client_Waiting_13 + Client_Waiting_12 + Client_Waiting_11 + Client_Waiting_10) : MAX(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Client_Waiting_14 + Client_Waiting_13 + Client_Waiting_12 + Client_Waiting_11 + Client_Waiting_10) : MAX(RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + RequestBuffer_22 + RequestBuffer_23 + RequestBuffer_24 + RequestBuffer_25) : MAX(RequestBufferSlots) : MAX(RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + RequestBuffer_22 + RequestBuffer_23 + RequestBuffer_24 + RequestBuffer_25) : MAX(Server_Waiting_5 + Server_Waiting_4 + Server_Waiting_3 + Server_Waiting_2 + Server_Waiting_1) : MAX(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_9 + Client_Sending_8 + Client_Sending_7 + Client_Sending_6 + Client_Sending_5 + Client_Sending_4 + Client_Sending_3 + Client_Sending_2 + Client_Sending_1) : MAX(RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + RequestBuffer_22 + RequestBuffer_23 + RequestBuffer_24 + RequestBuffer_25)
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(RequestBufferSlots)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 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: 260190 markings, 1006807 edges, 52038 markings/sec, 0 secs
lola: 516794 markings, 2023186 edges, 51321 markings/sec, 5 secs
lola: 821461 markings, 2849288 edges, 60933 markings/sec, 10 secs
lola: 1078436 markings, 3898617 edges, 51395 markings/sec, 15 secs
lola: 1486907 markings, 4307099 edges, 81694 markings/sec, 20 secs
lola: 1773227 markings, 5152865 edges, 57264 markings/sec, 25 secs
lola: 1953772 markings, 6394424 edges, 36109 markings/sec, 30 secs
lola: 2121447 markings, 7704010 edges, 33535 markings/sec, 35 secs
lola: 2301531 markings, 9037166 edges, 36017 markings/sec, 40 secs
lola: 2489950 markings, 10270417 edges, 37684 markings/sec, 45 secs
lola: 2716992 markings, 11142716 edges, 45408 markings/sec, 50 secs
lola: 2934762 markings, 12048298 edges, 43554 markings/sec, 55 secs
lola: 3166086 markings, 13064928 edges, 46265 markings/sec, 60 secs
lola: 3468760 markings, 13835432 edges, 60535 markings/sec, 65 secs
lola: 3656600 markings, 15032864 edges, 37568 markings/sec, 70 secs
lola: 3939166 markings, 15896535 edges, 56513 markings/sec, 75 secs
lola: 4162778 markings, 17010609 edges, 44722 markings/sec, 80 secs
lola: 4563250 markings, 17411095 edges, 80094 markings/sec, 85 secs
lola: 4865875 markings, 18140653 edges, 60525 markings/sec, 90 secs
lola: 5036157 markings, 19320274 edges, 34056 markings/sec, 95 secs
lola: 5194383 markings, 20521988 edges, 31645 markings/sec, 100 secs
lola: 5359091 markings, 21786642 edges, 32942 markings/sec, 105 secs
lola: 5521589 markings, 23035037 edges, 32500 markings/sec, 110 secs
lola: 5899114 markings, 23538334 edges, 75505 markings/sec, 115 secs
lola: 6304583 markings, 23943804 edges, 81094 markings/sec, 120 secs
lola: 6713071 markings, 24352292 edges, 81698 markings/sec, 125 secs
lola: 7119600 markings, 24758821 edges, 81306 markings/sec, 130 secs
lola: 7526240 markings, 25165461 edges, 81328 markings/sec, 135 secs
lola: 7935982 markings, 25575203 edges, 81948 markings/sec, 140 secs
lola: 8344918 markings, 25984139 edges, 81787 markings/sec, 145 secs
lola: 8754403 markings, 26393625 edges, 81897 markings/sec, 150 secs
lola: 9162428 markings, 26801650 edges, 81605 markings/sec, 155 secs
lola: 9568469 markings, 27207691 edges, 81208 markings/sec, 160 secs
lola: 9977285 markings, 27616507 edges, 81763 markings/sec, 165 secs
lola: 10383740 markings, 28022962 edges, 81291 markings/sec, 170 secs
lola: 10788897 markings, 28428118 edges, 81031 markings/sec, 175 secs
lola: 11195460 markings, 28834681 edges, 81313 markings/sec, 180 secs
lola: 11599803 markings, 29239025 edges, 80869 markings/sec, 185 secs
lola: 12005992 markings, 29645213 edges, 81238 markings/sec, 190 secs
lola: 12410727 markings, 30049948 edges, 80947 markings/sec, 195 secs
lola: 12814358 markings, 30453579 edges, 80726 markings/sec, 200 secs
lola: 13220315 markings, 30859536 edges, 81191 markings/sec, 205 secs
lola: 13625956 markings, 31265177 edges, 81128 markings/sec, 210 secs
lola: 14033685 markings, 31672906 edges, 81546 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(RequestBufferSlots)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 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: 257502 markings, 984936 edges, 51500 markings/sec, 0 secs
lola: 505924 markings, 1955593 edges, 49684 markings/sec, 5 secs
lola: 802805 markings, 2727781 edges, 59376 markings/sec, 10 secs
lola: 1007989 markings, 3828169 edges, 41037 markings/sec, 15 secs
lola: 1411151 markings, 4231343 edges, 80632 markings/sec, 20 secs
lola: 1733609 markings, 4855927 edges, 64492 markings/sec, 25 secs
lola: 1897889 markings, 6010867 edges, 32856 markings/sec, 30 secs
lola: 2054099 markings, 7157203 edges, 31242 markings/sec, 35 secs
lola: 2210748 markings, 8392222 edges, 31330 markings/sec, 40 secs
lola: 2372342 markings, 9599750 edges, 32319 markings/sec, 45 secs
lola: 2581214 markings, 10533331 edges, 41774 markings/sec, 50 secs
lola: 2770804 markings, 11379506 edges, 37918 markings/sec, 55 secs
lola: 2961255 markings, 12190550 edges, 38090 markings/sec, 60 secs
lola: 3178120 markings, 13161153 edges, 43373 markings/sec, 65 secs
lola: 3473067 markings, 13860732 edges, 58989 markings/sec, 70 secs
lola: 3633833 markings, 14981583 edges, 32153 markings/sec, 75 secs
lola: 3917513 markings, 15734272 edges, 56736 markings/sec, 80 secs
lola: 4071782 markings, 16919613 edges, 30854 markings/sec, 85 secs
lola: 4458102 markings, 17305945 edges, 77264 markings/sec, 90 secs
lola: 4815700 markings, 17760816 edges, 71520 markings/sec, 95 secs
lola: 4963181 markings, 18844748 edges, 29496 markings/sec, 100 secs
lola: 5117231 markings, 19913932 edges, 30810 markings/sec, 105 secs
lola: 5259336 markings, 21046400 edges, 28421 markings/sec, 110 secs
lola: 5415121 markings, 22182968 edges, 31157 markings/sec, 115 secs
lola: 5588034 markings, 23227254 edges, 34583 markings/sec, 120 secs
lola: 5993606 markings, 23632828 edges, 81114 markings/sec, 125 secs
lola: 6396939 markings, 24036161 edges, 80667 markings/sec, 130 secs
lola: 6802477 markings, 24441699 edges, 81108 markings/sec, 135 secs
lola: 7205374 markings, 24844596 edges, 80579 markings/sec, 140 secs
lola: 7605888 markings, 25245109 edges, 80103 markings/sec, 145 secs
lola: 8009867 markings, 25649089 edges, 80796 markings/sec, 150 secs
lola: 8409543 markings, 26048765 edges, 79935 markings/sec, 155 secs
lola: 8810851 markings, 26450073 edges, 80262 markings/sec, 160 secs
lola: 9209312 markings, 26848534 edges, 79692 markings/sec, 165 secs
lola: 9605722 markings, 27244944 edges, 79282 markings/sec, 170 secs
lola: 10003807 markings, 27643029 edges, 79617 markings/sec, 175 secs
lola: 10397179 markings, 28036401 edges, 78674 markings/sec, 180 secs
lola: 10789838 markings, 28429059 edges, 78532 markings/sec, 185 secs
lola: 11184466 markings, 28823687 edges, 78926 markings/sec, 190 secs
lola: 11576070 markings, 29215292 edges, 78321 markings/sec, 195 secs
lola: 11969315 markings, 29608536 edges, 78649 markings/sec, 200 secs
lola: 12361811 markings, 30001033 edges, 78499 markings/sec, 205 secs
lola: 12753173 markings, 30392394 edges, 78272 markings/sec, 210 secs
lola: 13145226 markings, 30784448 edges, 78411 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(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Clien... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 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: 332543 markings, 788793 edges, 66509 markings/sec, 0 secs
lola: 586282 markings, 1384111 edges, 50748 markings/sec, 5 secs
lola: 817886 markings, 1967987 edges, 46321 markings/sec, 10 secs
lola: 1043715 markings, 2560073 edges, 45166 markings/sec, 15 secs
lola: 1265890 markings, 3157953 edges, 44435 markings/sec, 20 secs
lola: 1497666 markings, 3759789 edges, 46355 markings/sec, 25 secs
lola: 1713575 markings, 4339907 edges, 43182 markings/sec, 30 secs
lola: 1929376 markings, 4936466 edges, 43160 markings/sec, 35 secs
lola: 2139066 markings, 5514078 edges, 41938 markings/sec, 40 secs
lola: 2351011 markings, 6108407 edges, 42389 markings/sec, 45 secs
lola: 2564575 markings, 6692667 edges, 42713 markings/sec, 50 secs
lola: 2772313 markings, 7282973 edges, 41548 markings/sec, 55 secs
lola: 2988773 markings, 7876833 edges, 43292 markings/sec, 60 secs
lola: 3197894 markings, 8483224 edges, 41824 markings/sec, 65 secs
lola: 3406836 markings, 9082300 edges, 41788 markings/sec, 70 secs
lola: 3613655 markings, 9674888 edges, 41364 markings/sec, 75 secs
lola: 3824270 markings, 10279432 edges, 42123 markings/sec, 80 secs
lola: 4028709 markings, 10867115 edges, 40888 markings/sec, 85 secs
lola: 4235348 markings, 11468266 edges, 41328 markings/sec, 90 secs
lola: 4434607 markings, 12073948 edges, 39852 markings/sec, 95 secs
lola: 4646678 markings, 12663036 edges, 42414 markings/sec, 100 secs
lola: 4846327 markings, 13234581 edges, 39930 markings/sec, 105 secs
lola: 5051071 markings, 13822311 edges, 40949 markings/sec, 110 secs
lola: 5254302 markings, 14405144 edges, 40646 markings/sec, 115 secs
lola: 5454019 markings, 14982928 edges, 39943 markings/sec, 120 secs
lola: 5656953 markings, 15586628 edges, 40587 markings/sec, 125 secs
lola: 5862920 markings, 16168360 edges, 41193 markings/sec, 130 secs
lola: 6067115 markings, 16776453 edges, 40839 markings/sec, 135 secs
lola: 6266082 markings, 17360953 edges, 39793 markings/sec, 140 secs
lola: 6466425 markings, 17931155 edges, 40069 markings/sec, 145 secs
lola: 6664499 markings, 18556438 edges, 39615 markings/sec, 150 secs
lola: 6857652 markings, 19125255 edges, 38631 markings/sec, 155 secs
lola: 7050829 markings, 19708793 edges, 38635 markings/sec, 160 secs
lola: 7245219 markings, 20319838 edges, 38878 markings/sec, 165 secs
lola: 7437243 markings, 20899400 edges, 38405 markings/sec, 170 secs
lola: 7625133 markings, 21476646 edges, 37578 markings/sec, 175 secs
lola: 7817152 markings, 22058068 edges, 38404 markings/sec, 180 secs
lola: 8006409 markings, 22637366 edges, 37851 markings/sec, 185 secs
lola: 8197903 markings, 23222103 edges, 38299 markings/sec, 190 secs
lola: 8394473 markings, 23821313 edges, 39314 markings/sec, 195 secs
lola: 8590409 markings, 24421776 edges, 39187 markings/sec, 200 secs
lola: 8795679 markings, 25016174 edges, 41054 markings/sec, 205 secs
lola: 8992828 markings, 25616146 edges, 39430 markings/sec, 210 secs
lola: 9198095 markings, 26215842 edges, 41053 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(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_9 + Client_Sending_8 + Client_Sending_7 + Client_Sending_6 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 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: 212296 markings, 1329399 edges, 42459 markings/sec, 0 secs
lola: 424919 markings, 2820882 edges, 42525 markings/sec, 5 secs
lola: 633657 markings, 4331839 edges, 41748 markings/sec, 10 secs
lola: 835048 markings, 5844097 edges, 40278 markings/sec, 15 secs
lola: 1027233 markings, 7399143 edges, 38437 markings/sec, 20 secs
lola: 1233916 markings, 8884342 edges, 41337 markings/sec, 25 secs
lola: 1432322 markings, 10415159 edges, 39681 markings/sec, 30 secs
lola: 1621239 markings, 11936838 edges, 37783 markings/sec, 35 secs
lola: 1806269 markings, 13429990 edges, 37006 markings/sec, 40 secs
lola: 1992232 markings, 15007128 edges, 37193 markings/sec, 45 secs
lola: 2177394 markings, 16509986 edges, 37032 markings/sec, 50 secs
lola: 2367471 markings, 17941247 edges, 38015 markings/sec, 55 secs
lola: 2561654 markings, 19456854 edges, 38837 markings/sec, 60 secs
lola: 2751239 markings, 20974792 edges, 37917 markings/sec, 65 secs
lola: 2933548 markings, 22472168 edges, 36462 markings/sec, 70 secs
lola: 3105544 markings, 23981450 edges, 34399 markings/sec, 75 secs
lola: 3290778 markings, 25477243 edges, 37047 markings/sec, 80 secs
lola: 3470552 markings, 26972638 edges, 35955 markings/sec, 85 secs
lola: 3639642 markings, 28466559 edges, 33818 markings/sec, 90 secs
lola: 3818844 markings, 30008972 edges, 35840 markings/sec, 95 secs
lola: 3989608 markings, 31557288 edges, 34153 markings/sec, 100 secs
lola: 4152612 markings, 33110853 edges, 32601 markings/sec, 105 secs
lola: 4341606 markings, 34560545 edges, 37799 markings/sec, 110 secs
lola: 4535645 markings, 36026003 edges, 38808 markings/sec, 115 secs
lola: 4717404 markings, 37538893 edges, 36352 markings/sec, 120 secs
lola: 4906283 markings, 38993881 edges, 37776 markings/sec, 125 secs
lola: 5089030 markings, 40531298 edges, 36549 markings/sec, 130 secs
lola: 5259877 markings, 42052733 edges, 34169 markings/sec, 135 secs
lola: 5447039 markings, 43523267 edges, 37432 markings/sec, 140 secs
lola: 5626040 markings, 45038258 edges, 35800 markings/sec, 145 secs
lola: 5792114 markings, 46517542 edges, 33215 markings/sec, 150 secs
lola: 5959796 markings, 47963996 edges, 33536 markings/sec, 155 secs
lola: 6125125 markings, 49473531 edges, 33066 markings/sec, 160 secs
lola: 6275445 markings, 50941055 edges, 30064 markings/sec, 165 secs
lola: 6458863 markings, 52392511 edges, 36684 markings/sec, 170 secs
lola: 6634343 markings, 53859267 edges, 35096 markings/sec, 175 secs
lola: 6796278 markings, 55308605 edges, 32387 markings/sec, 180 secs
lola: 6967851 markings, 56774680 edges, 34315 markings/sec, 185 secs
lola: 7127946 markings, 58227580 edges, 32019 markings/sec, 190 secs
lola: 7281909 markings, 59687855 edges, 30793 markings/sec, 195 secs
lola: 7443898 markings, 61136330 edges, 32398 markings/sec, 200 secs
lola: 7596876 markings, 62528425 edges, 30596 markings/sec, 205 secs
lola: 7754036 markings, 63964477 edges, 31432 markings/sec, 210 secs
lola: 7898669 markings, 65363243 edges, 28927 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(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Clien... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 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: 344770 markings, 820103 edges, 68954 markings/sec, 0 secs
lola: 605856 markings, 1430723 edges, 52217 markings/sec, 5 secs
lola: 844936 markings, 2040128 edges, 47816 markings/sec, 10 secs
lola: 1080176 markings, 2653634 edges, 47048 markings/sec, 15 secs
lola: 1317182 markings, 3277142 edges, 47401 markings/sec, 20 secs
lola: 1542327 markings, 3880431 edges, 45029 markings/sec, 25 secs
lola: 1762566 markings, 4470855 edges, 44048 markings/sec, 30 secs
lola: 1979323 markings, 5070490 edges, 43351 markings/sec, 35 secs
lola: 2188768 markings, 5662655 edges, 41889 markings/sec, 40 secs
lola: 2405743 markings, 6250687 edges, 43395 markings/sec, 45 secs
lola: 2617364 markings, 6842578 edges, 42324 markings/sec, 50 secs
lola: 2829791 markings, 7440982 edges, 42485 markings/sec, 55 secs
lola: 3050205 markings, 8051119 edges, 44083 markings/sec, 60 secs
lola: 3259533 markings, 8658338 edges, 41866 markings/sec, 65 secs
lola: 3467938 markings, 9260247 edges, 41681 markings/sec, 70 secs
lola: 3675420 markings, 9856154 edges, 41496 markings/sec, 75 secs
lola: 3892492 markings, 10470852 edges, 43414 markings/sec, 80 secs
lola: 4097995 markings, 11067284 edges, 41101 markings/sec, 85 secs
lola: 4308871 markings, 11704131 edges, 42175 markings/sec, 90 secs
lola: 4527143 markings, 12324949 edges, 43654 markings/sec, 95 secs
lola: 4740835 markings, 12941458 edges, 42738 markings/sec, 100 secs
lola: 4955664 markings, 13553498 edges, 42966 markings/sec, 105 secs
lola: 5167568 markings, 14152727 edges, 42381 markings/sec, 110 secs
lola: 5380468 markings, 14767659 edges, 42580 markings/sec, 115 secs
lola: 5590692 markings, 15390405 edges, 42045 markings/sec, 120 secs
lola: 5791830 markings, 15979057 edges, 40228 markings/sec, 125 secs
lola: 6005989 markings, 16585599 edges, 42832 markings/sec, 130 secs
lola: 6201006 markings, 17167067 edges, 39003 markings/sec, 135 secs
lola: 6391638 markings, 17722755 edges, 38126 markings/sec, 140 secs
lola: 6589387 markings, 18320982 edges, 39550 markings/sec, 145 secs
lola: 6779580 markings, 18893896 edges, 38039 markings/sec, 150 secs
lola: 6967772 markings, 19462068 edges, 37638 markings/sec, 155 secs
lola: 7162642 markings, 20049331 edges, 38974 markings/sec, 160 secs
lola: 7353136 markings, 20648733 edges, 38099 markings/sec, 165 secs
lola: 7543232 markings, 21225488 edges, 38019 markings/sec, 170 secs
lola: 7730619 markings, 21799282 edges, 37477 markings/sec, 175 secs
lola: 7925044 markings, 22373955 edges, 38885 markings/sec, 180 secs
lola: 8109941 markings, 22958492 edges, 36979 markings/sec, 185 secs
lola: 8308982 markings, 23557377 edges, 39808 markings/sec, 190 secs
lola: 8515431 markings, 24194069 edges, 41290 markings/sec, 195 secs
lola: 8722828 markings, 24796791 edges, 41479 markings/sec, 200 secs
lola: 8927277 markings, 25405795 edges, 40890 markings/sec, 205 secs
lola: 9136041 markings, 26028386 edges, 41753 markings/sec, 210 secs
lola: 9341838 markings, 26629364 edges, 41159 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(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Clien... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 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: 336055 markings, 798677 edges, 67211 markings/sec, 0 secs
lola: 592347 markings, 1397790 edges, 51258 markings/sec, 5 secs
lola: 824410 markings, 1985563 edges, 46413 markings/sec, 10 secs
lola: 1050779 markings, 2578629 edges, 45274 markings/sec, 15 secs
lola: 1273947 markings, 3178340 edges, 44634 markings/sec, 20 secs
lola: 1505209 markings, 3780355 edges, 46252 markings/sec, 25 secs
lola: 1722350 markings, 4362833 edges, 43428 markings/sec, 30 secs
lola: 1938561 markings, 4958560 edges, 43242 markings/sec, 35 secs
lola: 2147761 markings, 5538358 edges, 41840 markings/sec, 40 secs
lola: 2360321 markings, 6134943 edges, 42512 markings/sec, 45 secs
lola: 2573579 markings, 6718826 edges, 42652 markings/sec, 50 secs
lola: 2780632 markings, 7305795 edges, 41411 markings/sec, 55 secs
lola: 2995284 markings, 7894316 edges, 42930 markings/sec, 60 secs
lola: 3204397 markings, 8500832 edges, 41823 markings/sec, 65 secs
lola: 3412479 markings, 9097720 edges, 41616 markings/sec, 70 secs
lola: 3618391 markings, 9688987 edges, 41182 markings/sec, 75 secs
lola: 3829273 markings, 10295121 edges, 42176 markings/sec, 80 secs
lola: 4034014 markings, 10883240 edges, 40948 markings/sec, 85 secs
lola: 4237483 markings, 11477233 edges, 40694 markings/sec, 90 secs
lola: 4435500 markings, 12076115 edges, 39603 markings/sec, 95 secs
lola: 4647678 markings, 12666539 edges, 42436 markings/sec, 100 secs
lola: 4846125 markings, 13234040 edges, 39689 markings/sec, 105 secs
lola: 5048865 markings, 13816431 edges, 40548 markings/sec, 110 secs
lola: 5250922 markings, 14394818 edges, 40411 markings/sec, 115 secs
lola: 5447904 markings, 14966946 edges, 39396 markings/sec, 120 secs
lola: 5648130 markings, 15564330 edges, 40045 markings/sec, 125 secs
lola: 5850753 markings, 16139167 edges, 40525 markings/sec, 130 secs
lola: 6054020 markings, 16736900 edges, 40653 markings/sec, 135 secs
lola: 6249915 markings, 17316012 edges, 39179 markings/sec, 140 secs
lola: 6445746 markings, 17875106 edges, 39166 markings/sec, 145 secs
lola: 6642336 markings, 18493774 edges, 39318 markings/sec, 150 secs
lola: 6836805 markings, 19058735 edges, 38894 markings/sec, 155 secs
lola: 7024362 markings, 19634765 edges, 37511 markings/sec, 160 secs
lola: 7216823 markings, 20234531 edges, 38492 markings/sec, 165 secs
lola: 7405546 markings, 20807223 edges, 37745 markings/sec, 170 secs
lola: 7592367 markings, 21377933 edges, 37364 markings/sec, 175 secs
lola: 7778315 markings, 21941124 edges, 37190 markings/sec, 180 secs
lola: 7968876 markings, 22515824 edges, 38112 markings/sec, 185 secs
lola: 8150583 markings, 23087187 edges, 36341 markings/sec, 190 secs
lola: 8346231 markings, 23672803 edges, 39130 markings/sec, 195 secs
lola: 8537759 markings, 24266394 edges, 38306 markings/sec, 200 secs
lola: 8734389 markings, 24834096 edges, 39326 markings/sec, 205 secs
lola: 8926636 markings, 25403622 edges, 38449 markings/sec, 210 secs
lola: 9120376 markings, 25984396 edges, 38748 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(Server_Anwering_4_1 + Server_Anwering_4_2 + Server_Anwering_4_3 + Server_Anwering_4_4 + Server_Anwering_4_5 + Server_Anwering_23_1 + Server_Anwering_23_2 + Server_Anwering_23_3 + Server_Anwering_23_4 + Server_Anwering_23_5 + Server_Anwering_10_1 + Server_Anwering_10_2 + Server_Anwering_10_3 + Server_Anwering_10_4 + Server_Anwering_10_5 + Server_Anwering_5_1 + Server_Anwering_5_2 + Server_Anwer... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 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: 267047 markings, 1031655 edges, 53409 markings/sec, 0 secs
lola: 522234 markings, 2064794 edges, 51037 markings/sec, 5 secs
lola: 825466 markings, 2875329 edges, 60646 markings/sec, 10 secs
lola: 1081482 markings, 3901663 edges, 51203 markings/sec, 15 secs
lola: 1488649 markings, 4308842 edges, 81433 markings/sec, 20 secs
lola: 1772570 markings, 5147941 edges, 56784 markings/sec, 25 secs
lola: 1948744 markings, 6353218 edges, 35235 markings/sec, 30 secs
lola: 2109982 markings, 7610624 edges, 32248 markings/sec, 35 secs
lola: 2284009 markings, 8918793 edges, 34805 markings/sec, 40 secs
lola: 2462702 markings, 10153669 edges, 35739 markings/sec, 45 secs
lola: 2684087 markings, 11011217 edges, 44277 markings/sec, 50 secs
lola: 2884923 markings, 11879166 edges, 40167 markings/sec, 55 secs
lola: 3104282 markings, 12813951 edges, 43872 markings/sec, 60 secs
lola: 3405965 markings, 13523666 edges, 60337 markings/sec, 65 secs
lola: 3584021 markings, 14623944 edges, 35611 markings/sec, 70 secs
lola: 3870934 markings, 15378783 edges, 57383 markings/sec, 75 secs
lola: 4024737 markings, 16589658 edges, 30761 markings/sec, 80 secs
lola: 4349926 markings, 17197758 edges, 65038 markings/sec, 85 secs
lola: 4729130 markings, 17576975 edges, 75841 markings/sec, 90 secs
lola: 4931926 markings, 18617916 edges, 40559 markings/sec, 95 secs
lola: 5099009 markings, 19778956 edges, 33417 markings/sec, 100 secs
lola: 5254703 markings, 21007169 edges, 31139 markings/sec, 105 secs
lola: 5424045 markings, 22247106 edges, 33868 markings/sec, 110 secs
lola: 5617596 markings, 23256815 edges, 38710 markings/sec, 115 secs
lola: 6017751 markings, 23656972 edges, 80031 markings/sec, 120 secs
lola: 6415216 markings, 24054438 edges, 79493 markings/sec, 125 secs
lola: 6814869 markings, 24454090 edges, 79931 markings/sec, 130 secs
lola: 7215709 markings, 24854930 edges, 80168 markings/sec, 135 secs
lola: 7613949 markings, 25253170 edges, 79648 markings/sec, 140 secs
lola: 8014951 markings, 25654172 edges, 80200 markings/sec, 145 secs
lola: 8412730 markings, 26051952 edges, 79556 markings/sec, 150 secs
lola: 8813870 markings, 26453091 edges, 80228 markings/sec, 155 secs
lola: 9214097 markings, 26853318 edges, 80045 markings/sec, 160 secs
lola: 9608412 markings, 27247633 edges, 78863 markings/sec, 165 secs
lola: 10004876 markings, 27644097 edges, 79293 markings/sec, 170 secs
lola: 10400636 markings, 28039858 edges, 79152 markings/sec, 175 secs
lola: 10798054 markings, 28437275 edges, 79484 markings/sec, 180 secs
lola: 11196707 markings, 28835928 edges, 79731 markings/sec, 185 secs
lola: 11593189 markings, 29232410 edges, 79296 markings/sec, 190 secs
lola: 11993132 markings, 29632353 edges, 79989 markings/sec, 195 secs
lola: 12390521 markings, 30029742 edges, 79478 markings/sec, 200 secs
lola: 12783353 markings, 30422574 edges, 78566 markings/sec, 205 secs
lola: 13178502 markings, 30817724 edges, 79030 markings/sec, 210 secs
lola: 13573598 markings, 31212819 edges, 79019 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(RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + Reques... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 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: 395783 markings, 395916 edges, 79157 markings/sec, 0 secs
lola: 784852 markings, 784985 edges, 77814 markings/sec, 5 secs
lola: 1162805 markings, 1162937 edges, 75591 markings/sec, 10 secs
lola: 1526186 markings, 1526318 edges, 72676 markings/sec, 15 secs
lola: 1888327 markings, 1888459 edges, 72428 markings/sec, 20 secs
lola: 2249106 markings, 2249238 edges, 72156 markings/sec, 25 secs
lola: 2606513 markings, 2606645 edges, 71481 markings/sec, 30 secs
lola: 2963046 markings, 2963179 edges, 71307 markings/sec, 35 secs
lola: 3323099 markings, 3323231 edges, 72011 markings/sec, 40 secs
lola: 3682721 markings, 3682854 edges, 71924 markings/sec, 45 secs
lola: 4041824 markings, 4041956 edges, 71821 markings/sec, 50 secs
lola: 4398872 markings, 4399004 edges, 71410 markings/sec, 55 secs
lola: 4753900 markings, 4754032 edges, 71006 markings/sec, 60 secs
lola: 5108652 markings, 5108785 edges, 70950 markings/sec, 65 secs
lola: 5465194 markings, 5465326 edges, 71308 markings/sec, 70 secs
lola: 5817478 markings, 5817611 edges, 70457 markings/sec, 75 secs
lola: 6166938 markings, 6167071 edges, 69892 markings/sec, 80 secs
lola: 6518056 markings, 6518189 edges, 70224 markings/sec, 85 secs
lola: 6868307 markings, 6868439 edges, 70050 markings/sec, 90 secs
lola: 7216982 markings, 7217114 edges, 69735 markings/sec, 95 secs
lola: 7567775 markings, 7567907 edges, 70159 markings/sec, 100 secs
lola: 7918234 markings, 7918367 edges, 70092 markings/sec, 105 secs
lola: 8268453 markings, 8268586 edges, 70044 markings/sec, 110 secs
lola: 8620292 markings, 8620424 edges, 70368 markings/sec, 115 secs
lola: 8970620 markings, 8970753 edges, 70066 markings/sec, 120 secs
lola: 9319262 markings, 9319394 edges, 69728 markings/sec, 125 secs
lola: 9669483 markings, 9669615 edges, 70044 markings/sec, 130 secs
lola: 10018080 markings, 10018213 edges, 69719 markings/sec, 135 secs
lola: 10364671 markings, 10364804 edges, 69318 markings/sec, 140 secs
lola: 10713140 markings, 10713273 edges, 69694 markings/sec, 145 secs
lola: 11061406 markings, 11061538 edges, 69653 markings/sec, 150 secs
lola: 11409325 markings, 11409457 edges, 69584 markings/sec, 155 secs
lola: 11758968 markings, 11759100 edges, 69929 markings/sec, 160 secs
lola: 12107128 markings, 12107260 edges, 69632 markings/sec, 165 secs
lola: 12453973 markings, 12454106 edges, 69369 markings/sec, 170 secs
lola: 12804654 markings, 12804786 edges, 70136 markings/sec, 175 secs
lola: 13150806 markings, 13150938 edges, 69230 markings/sec, 180 secs
lola: 13497753 markings, 13497885 edges, 69389 markings/sec, 185 secs
lola: 13847207 markings, 13847340 edges, 69891 markings/sec, 190 secs
lola: 14195855 markings, 14195988 edges, 69730 markings/sec, 195 secs
lola: 14542936 markings, 14543069 edges, 69416 markings/sec, 200 secs
lola: 14889569 markings, 14889702 edges, 69327 markings/sec, 205 secs
lola: 15236098 markings, 15236230 edges, 69306 markings/sec, 210 secs
lola: 15582762 markings, 15582894 edges, 69333 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(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Clien... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 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: 341163 markings, 812791 edges, 68233 markings/sec, 0 secs
lola: 599672 markings, 1416230 edges, 51702 markings/sec, 5 secs
lola: 837514 markings, 2020975 edges, 47568 markings/sec, 10 secs
lola: 1070759 markings, 2628723 edges, 46649 markings/sec, 15 secs
lola: 1301274 markings, 3240611 edges, 46103 markings/sec, 20 secs
lola: 1528353 markings, 3843461 edges, 45416 markings/sec, 25 secs
lola: 1747316 markings, 4431585 edges, 43793 markings/sec, 30 secs
lola: 1969030 markings, 5041078 edges, 44343 markings/sec, 35 secs
lola: 2181853 markings, 5643061 edges, 42565 markings/sec, 40 secs
lola: 2403802 markings, 6245795 edges, 44390 markings/sec, 45 secs
lola: 2622711 markings, 6859691 edges, 43782 markings/sec, 50 secs
lola: 2839938 markings, 7471508 edges, 43445 markings/sec, 55 secs
lola: 3066568 markings, 8098032 edges, 45326 markings/sec, 60 secs
lola: 3281586 markings, 8716345 edges, 43004 markings/sec, 65 secs
lola: 3492720 markings, 9332941 edges, 42227 markings/sec, 70 secs
lola: 3703844 markings, 9934904 edges, 42225 markings/sec, 75 secs
lola: 3921839 markings, 10554149 edges, 43599 markings/sec, 80 secs
lola: 4127812 markings, 11152488 edges, 41195 markings/sec, 85 secs
lola: 4338160 markings, 11790563 edges, 42070 markings/sec, 90 secs
lola: 4551473 markings, 12396136 edges, 42663 markings/sec, 95 secs
lola: 4763112 markings, 13002285 edges, 42328 markings/sec, 100 secs
lola: 4975013 markings, 13606371 edges, 42380 markings/sec, 105 secs
lola: 5182359 markings, 14196014 edges, 41469 markings/sec, 110 secs
lola: 5392879 markings, 14803489 edges, 42104 markings/sec, 115 secs
lola: 5600187 markings, 15420986 edges, 41462 markings/sec, 120 secs
lola: 5808119 markings, 16031002 edges, 41586 markings/sec, 125 secs
lola: 6028276 markings, 16652953 edges, 44031 markings/sec, 130 secs
lola: 6231319 markings, 17262534 edges, 40609 markings/sec, 135 secs
lola: 6427978 markings, 17827188 edges, 39332 markings/sec, 140 secs
lola: 6625386 markings, 18436731 edges, 39482 markings/sec, 145 secs
lola: 6816599 markings, 19000299 edges, 38243 markings/sec, 150 secs
lola: 7004315 markings, 19577239 edges, 37543 markings/sec, 155 secs
lola: 7206714 markings, 20189544 edges, 40480 markings/sec, 160 secs
lola: 7401704 markings, 20795463 edges, 38998 markings/sec, 165 secs
lola: 7592901 markings, 21379709 edges, 38239 markings/sec, 170 secs
lola: 7779205 markings, 21943909 edges, 37261 markings/sec, 175 secs
lola: 7973259 markings, 22535639 edges, 38811 markings/sec, 180 secs
lola: 8166264 markings, 23127796 edges, 38601 markings/sec, 185 secs
lola: 8368263 markings, 23735227 edges, 40400 markings/sec, 190 secs
lola: 8569085 markings, 24355552 edges, 40164 markings/sec, 195 secs
lola: 8775394 markings, 24953710 edges, 41262 markings/sec, 200 secs
lola: 8970572 markings, 25545908 edges, 39036 markings/sec, 205 secs
lola: 9170024 markings, 26131538 edges, 39890 markings/sec, 210 secs
lola: 9359115 markings, 26681413 edges, 37818 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(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Clien... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 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: 337471 markings, 802585 edges, 67494 markings/sec, 0 secs
lola: 593371 markings, 1400192 edges, 51180 markings/sec, 5 secs
lola: 828367 markings, 1996181 edges, 46999 markings/sec, 10 secs
lola: 1058143 markings, 2597355 edges, 45955 markings/sec, 15 secs
lola: 1282626 markings, 3199017 edges, 44897 markings/sec, 20 secs
lola: 1511761 markings, 3797900 edges, 45827 markings/sec, 25 secs
lola: 1730571 markings, 4386240 edges, 43762 markings/sec, 30 secs
lola: 1948656 markings, 4984742 edges, 43617 markings/sec, 35 secs
lola: 2157469 markings, 5571097 edges, 41763 markings/sec, 40 secs
lola: 2371217 markings, 6165716 edges, 42750 markings/sec, 45 secs
lola: 2585270 markings, 6750360 edges, 42811 markings/sec, 50 secs
lola: 2794285 markings, 7342379 edges, 41803 markings/sec, 55 secs
lola: 3016987 markings, 7960356 edges, 44540 markings/sec, 60 secs
lola: 3229999 markings, 8573013 edges, 42602 markings/sec, 65 secs
lola: 3444329 markings, 9189656 edges, 42866 markings/sec, 70 secs
lola: 3653976 markings, 9792133 edges, 41929 markings/sec, 75 secs
lola: 3871914 markings, 10413907 edges, 43588 markings/sec, 80 secs
lola: 4081196 markings, 11016283 edges, 41856 markings/sec, 85 secs
lola: 4290600 markings, 11647384 edges, 41881 markings/sec, 90 secs
lola: 4504027 markings, 12256321 edges, 42685 markings/sec, 95 secs
lola: 4715658 markings, 12866207 edges, 42326 markings/sec, 100 secs
lola: 4926078 markings, 13460485 edges, 42084 markings/sec, 105 secs
lola: 5135912 markings, 14063993 edges, 41967 markings/sec, 110 secs
lola: 5348384 markings, 14672135 edges, 42494 markings/sec, 115 secs
lola: 5555079 markings, 15285132 edges, 41339 markings/sec, 120 secs
lola: 5759444 markings, 15885761 edges, 40873 markings/sec, 125 secs
lola: 5978117 markings, 16495129 edges, 43735 markings/sec, 130 secs
lola: 6182809 markings, 17111776 edges, 40938 markings/sec, 135 secs
lola: 6382551 markings, 17694352 edges, 39948 markings/sec, 140 secs
lola: 6586230 markings, 18310813 edges, 40736 markings/sec, 145 secs
lola: 6780291 markings, 18895884 edges, 38812 markings/sec, 150 secs
lola: 6974708 markings, 19483364 edges, 38883 markings/sec, 155 secs
lola: 7181460 markings, 20105277 edges, 41350 markings/sec, 160 secs
lola: 7383594 markings, 20741473 edges, 40427 markings/sec, 165 secs
lola: 7583869 markings, 21349670 edges, 40055 markings/sec, 170 secs
lola: 7782553 markings, 21953684 edges, 39737 markings/sec, 175 secs
lola: 7985135 markings, 22572383 edges, 40516 markings/sec, 180 secs
lola: 8183178 markings, 23177537 edges, 39609 markings/sec, 185 secs
lola: 8387671 markings, 23797705 edges, 40899 markings/sec, 190 secs
lola: 8588524 markings, 24415562 edges, 40171 markings/sec, 195 secs
lola: 8793602 markings, 25009487 edges, 41016 markings/sec, 200 secs
lola: 8989985 markings, 25607462 edges, 39277 markings/sec, 205 secs
lola: 9194997 markings, 26206468 edges, 41002 markings/sec, 210 secs
lola: 9393844 markings, 26787848 edges, 39769 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(RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + Reques... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 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: 399532 markings, 399665 edges, 79906 markings/sec, 0 secs
lola: 787203 markings, 787336 edges, 77534 markings/sec, 5 secs
lola: 1170232 markings, 1170364 edges, 76606 markings/sec, 10 secs
lola: 1550113 markings, 1550246 edges, 75976 markings/sec, 15 secs
lola: 1928749 markings, 1928882 edges, 75727 markings/sec, 20 secs
lola: 2310810 markings, 2310942 edges, 76412 markings/sec, 25 secs
lola: 2692509 markings, 2692641 edges, 76340 markings/sec, 30 secs
lola: 3071950 markings, 3072083 edges, 75888 markings/sec, 35 secs
lola: 3453356 markings, 3453488 edges, 76281 markings/sec, 40 secs
lola: 3832901 markings, 3833033 edges, 75909 markings/sec, 45 secs
lola: 4211086 markings, 4211219 edges, 75637 markings/sec, 50 secs
lola: 4592195 markings, 4592327 edges, 76222 markings/sec, 55 secs
lola: 4968782 markings, 4968915 edges, 75317 markings/sec, 60 secs
lola: 5342342 markings, 5342475 edges, 74712 markings/sec, 65 secs
lola: 5717206 markings, 5717339 edges, 74973 markings/sec, 70 secs
lola: 6090811 markings, 6090943 edges, 74721 markings/sec, 75 secs
lola: 6454554 markings, 6454686 edges, 72749 markings/sec, 80 secs
lola: 6810054 markings, 6810186 edges, 71100 markings/sec, 85 secs
lola: 7160318 markings, 7160450 edges, 70053 markings/sec, 90 secs
lola: 7515631 markings, 7515763 edges, 71063 markings/sec, 95 secs
lola: 7869377 markings, 7869510 edges, 70749 markings/sec, 100 secs
lola: 8223857 markings, 8223990 edges, 70896 markings/sec, 105 secs
lola: 8578600 markings, 8578732 edges, 70949 markings/sec, 110 secs
lola: 8931297 markings, 8931429 edges, 70539 markings/sec, 115 secs
lola: 9281203 markings, 9281336 edges, 69981 markings/sec, 120 secs
lola: 9636350 markings, 9636483 edges, 71029 markings/sec, 125 secs
lola: 9985863 markings, 9985996 edges, 69903 markings/sec, 130 secs
lola: 10331388 markings, 10331520 edges, 69105 markings/sec, 135 secs
lola: 10678352 markings, 10678484 edges, 69393 markings/sec, 140 secs
lola: 11027851 markings, 11027983 edges, 69900 markings/sec, 145 secs
lola: 11378243 markings, 11378375 edges, 70078 markings/sec, 150 secs
lola: 11728935 markings, 11729067 edges, 70138 markings/sec, 155 secs
lola: 12076339 markings, 12076471 edges, 69481 markings/sec, 160 secs
lola: 12423575 markings, 12423707 edges, 69447 markings/sec, 165 secs
lola: 12769577 markings, 12769709 edges, 69200 markings/sec, 170 secs
lola: 13114964 markings, 13115096 edges, 69077 markings/sec, 175 secs
lola: 13460109 markings, 13460242 edges, 69029 markings/sec, 180 secs
lola: 13804349 markings, 13804482 edges, 68848 markings/sec, 185 secs
lola: 14148490 markings, 14148622 edges, 68828 markings/sec, 190 secs
lola: 14492989 markings, 14493122 edges, 68900 markings/sec, 195 secs
lola: 14837683 markings, 14837815 edges, 68939 markings/sec, 200 secs
lola: 15183995 markings, 15184127 edges, 69262 markings/sec, 205 secs
lola: 15534086 markings, 15534218 edges, 70018 markings/sec, 210 secs
lola: 15875037 markings, 15875169 edges, 68190 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(RequestBufferSlots)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 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: 260601 markings, 1010437 edges, 52120 markings/sec, 0 secs
lola: 513545 markings, 1995883 edges, 50589 markings/sec, 5 secs
lola: 811992 markings, 2796059 edges, 59689 markings/sec, 10 secs
lola: 1043075 markings, 3863254 edges, 46217 markings/sec, 15 secs
lola: 1449006 markings, 4269198 edges, 81186 markings/sec, 20 secs
lola: 1751541 markings, 4988987 edges, 60507 markings/sec, 25 secs
lola: 1922593 markings, 6176366 edges, 34210 markings/sec, 30 secs
lola: 2080691 markings, 7374920 edges, 31620 markings/sec, 35 secs
lola: 2246147 markings, 8646335 edges, 33091 markings/sec, 40 secs
lola: 2409252 markings, 9900294 edges, 32621 markings/sec, 45 secs
lola: 2626069 markings, 10782449 edges, 43363 markings/sec, 50 secs
lola: 2843839 markings, 11604002 edges, 43554 markings/sec, 55 secs
lola: 3035493 markings, 12520331 edges, 38331 markings/sec, 60 secs
lola: 3291306 markings, 13408998 edges, 51163 markings/sec, 65 secs
lola: 3535208 markings, 14282577 edges, 48780 markings/sec, 70 secs
lola: 3793299 markings, 15169574 edges, 51618 markings/sec, 75 secs
lola: 3983652 markings, 16255496 edges, 38071 markings/sec, 80 secs
lola: 4250564 markings, 17098397 edges, 53382 markings/sec, 85 secs
lola: 4640484 markings, 17488329 edges, 77984 markings/sec, 90 secs
lola: 4889072 markings, 18315640 edges, 49718 markings/sec, 95 secs
lola: 5053952 markings, 19436103 edges, 32976 markings/sec, 100 secs
lola: 5202586 markings, 20588633 edges, 29727 markings/sec, 105 secs
lola: 5360637 markings, 21798021 edges, 31610 markings/sec, 110 secs
lola: 5509492 markings, 22939615 edges, 29771 markings/sec, 115 secs
lola: 5863288 markings, 23502508 edges, 70759 markings/sec, 120 secs
lola: 6269695 markings, 23908916 edges, 81281 markings/sec, 125 secs
lola: 6668485 markings, 24307707 edges, 79758 markings/sec, 130 secs
lola: 7062071 markings, 24701292 edges, 78717 markings/sec, 135 secs
lola: 7468807 markings, 25108029 edges, 81347 markings/sec, 140 secs
lola: 7876496 markings, 25515717 edges, 81538 markings/sec, 145 secs
lola: 8281164 markings, 25920386 edges, 80934 markings/sec, 150 secs
lola: 8685171 markings, 26324392 edges, 80801 markings/sec, 155 secs
lola: 9091958 markings, 26731180 edges, 81357 markings/sec, 160 secs
lola: 9495921 markings, 27135142 edges, 80793 markings/sec, 165 secs
lola: 9888191 markings, 27527412 edges, 78454 markings/sec, 170 secs
lola: 10289422 markings, 27928643 edges, 80246 markings/sec, 175 secs
lola: 10687824 markings, 28327046 edges, 79680 markings/sec, 180 secs
lola: 11089326 markings, 28728547 edges, 80300 markings/sec, 185 secs
lola: 11491912 markings, 29131133 edges, 80517 markings/sec, 190 secs
lola: 11897118 markings, 29536339 edges, 81041 markings/sec, 195 secs
lola: 12298402 markings, 29937623 edges, 80257 markings/sec, 200 secs
lola: 12703694 markings, 30342916 edges, 81058 markings/sec, 205 secs
lola: 13112567 markings, 30751788 edges, 81775 markings/sec, 210 secs
lola: 13522283 markings, 31161505 edges, 81943 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + Reques... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 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: 395323 markings, 395455 edges, 79065 markings/sec, 0 secs
lola: 788989 markings, 789121 edges, 78733 markings/sec, 5 secs
lola: 1174405 markings, 1174538 edges, 77083 markings/sec, 10 secs
lola: 1534177 markings, 1534309 edges, 71954 markings/sec, 15 secs
lola: 1902147 markings, 1902279 edges, 73594 markings/sec, 20 secs
lola: 2282373 markings, 2282506 edges, 76045 markings/sec, 25 secs
lola: 2659162 markings, 2659295 edges, 75358 markings/sec, 30 secs
lola: 3038595 markings, 3038727 edges, 75887 markings/sec, 35 secs
lola: 3418139 markings, 3418271 edges, 75909 markings/sec, 40 secs
lola: 3792858 markings, 3792991 edges, 74944 markings/sec, 45 secs
lola: 4160920 markings, 4161053 edges, 73612 markings/sec, 50 secs
lola: 4527861 markings, 4527994 edges, 73388 markings/sec, 55 secs
lola: 4897365 markings, 4897497 edges, 73901 markings/sec, 60 secs
lola: 5264142 markings, 5264275 edges, 73355 markings/sec, 65 secs
lola: 5637564 markings, 5637696 edges, 74684 markings/sec, 70 secs
lola: 6009619 markings, 6009752 edges, 74411 markings/sec, 75 secs
lola: 6381210 markings, 6381342 edges, 74318 markings/sec, 80 secs
lola: 6755577 markings, 6755709 edges, 74873 markings/sec, 85 secs
lola: 7126271 markings, 7126403 edges, 74139 markings/sec, 90 secs
lola: 7499068 markings, 7499201 edges, 74559 markings/sec, 95 secs
lola: 7870730 markings, 7870862 edges, 74332 markings/sec, 100 secs
lola: 8240673 markings, 8240805 edges, 73989 markings/sec, 105 secs
lola: 8611041 markings, 8611173 edges, 74074 markings/sec, 110 secs
lola: 8980306 markings, 8980438 edges, 73853 markings/sec, 115 secs
lola: 9347625 markings, 9347758 edges, 73464 markings/sec, 120 secs
lola: 9715139 markings, 9715271 edges, 73503 markings/sec, 125 secs
lola: 10084068 markings, 10084200 edges, 73786 markings/sec, 130 secs
lola: 10452375 markings, 10452507 edges, 73661 markings/sec, 135 secs
lola: 10825008 markings, 10825141 edges, 74527 markings/sec, 140 secs
lola: 11194545 markings, 11194678 edges, 73907 markings/sec, 145 secs
lola: 11563629 markings, 11563761 edges, 73817 markings/sec, 150 secs
lola: 11931860 markings, 11931993 edges, 73646 markings/sec, 155 secs
lola: 12293843 markings, 12293976 edges, 72397 markings/sec, 160 secs
lola: 12653259 markings, 12653391 edges, 71883 markings/sec, 165 secs
lola: 13016705 markings, 13016838 edges, 72689 markings/sec, 170 secs
lola: 13378406 markings, 13378539 edges, 72340 markings/sec, 175 secs
lola: 13741173 markings, 13741306 edges, 72553 markings/sec, 180 secs
lola: 14103394 markings, 14103527 edges, 72444 markings/sec, 185 secs
lola: 14462878 markings, 14463010 edges, 71897 markings/sec, 190 secs
lola: 14822627 markings, 14822759 edges, 71950 markings/sec, 195 secs
lola: 15182491 markings, 15182623 edges, 71973 markings/sec, 200 secs
lola: 15540874 markings, 15541006 edges, 71677 markings/sec, 205 secs
lola: 15899825 markings, 15899958 edges, 71790 markings/sec, 210 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(Server_Waiting_5 + Server_Waiting_4 + Server_Waiting_3 + Server_Waiting_2 + Server_Waiting_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 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: 342195 markings, 814808 edges, 68439 markings/sec, 0 secs
lola: 602587 markings, 1423024 edges, 52078 markings/sec, 5 secs
lola: 837276 markings, 2020307 edges, 46938 markings/sec, 10 secs
lola: 1069856 markings, 2626234 edges, 46516 markings/sec, 15 secs
lola: 1301933 markings, 3242100 edges, 46415 markings/sec, 20 secs
lola: 1533542 markings, 3857199 edges, 46322 markings/sec, 25 secs
lola: 1758506 markings, 4460586 edges, 44993 markings/sec, 30 secs
lola: 1981407 markings, 5076372 edges, 44580 markings/sec, 35 secs
lola: 2197641 markings, 5685583 edges, 43247 markings/sec, 40 secs
lola: 2420753 markings, 6287515 edges, 44622 markings/sec, 45 secs
lola: 2636878 markings, 6908243 edges, 43225 markings/sec, 50 secs
lola: 2852396 markings, 7506642 edges, 43104 markings/sec, 55 secs
lola: 3076563 markings, 8125480 edges, 44833 markings/sec, 60 secs
lola: 3291908 markings, 8743947 edges, 43069 markings/sec, 65 secs
lola: 3500638 markings, 9355915 edges, 41746 markings/sec, 70 secs
lola: 3709394 markings, 9951301 edges, 41751 markings/sec, 75 secs
lola: 3926642 markings, 10567741 edges, 43450 markings/sec, 80 secs
lola: 4132088 markings, 11165087 edges, 41089 markings/sec, 85 secs
lola: 4342953 markings, 11803536 edges, 42173 markings/sec, 90 secs
lola: 4554943 markings, 12406194 edges, 42398 markings/sec, 95 secs
lola: 4766345 markings, 13011037 edges, 42280 markings/sec, 100 secs
lola: 4972116 markings, 13598492 edges, 41154 markings/sec, 105 secs
lola: 5176378 markings, 14179132 edges, 40852 markings/sec, 110 secs
lola: 5385430 markings, 14781962 edges, 41810 markings/sec, 115 secs
lola: 5587869 markings, 15381231 edges, 40488 markings/sec, 120 secs
lola: 5789735 markings, 15972718 edges, 40373 markings/sec, 125 secs
lola: 6009010 markings, 16594088 edges, 43855 markings/sec, 130 secs
lola: 6212645 markings, 17201323 edges, 40727 markings/sec, 135 secs
lola: 6416048 markings, 17791427 edges, 40681 markings/sec, 140 secs
lola: 6622652 markings, 18428841 edges, 41321 markings/sec, 145 secs
lola: 6824353 markings, 19023188 edges, 40340 markings/sec, 150 secs
lola: 7022597 markings, 19629164 edges, 39649 markings/sec, 155 secs
lola: 7225542 markings, 20259619 edges, 40589 markings/sec, 160 secs
lola: 7420754 markings, 20852502 edges, 39042 markings/sec, 165 secs
lola: 7618430 markings, 21455979 edges, 39535 markings/sec, 170 secs
lola: 7817506 markings, 22059036 edges, 39815 markings/sec, 175 secs
lola: 8014718 markings, 22661950 edges, 39442 markings/sec, 180 secs
lola: 8211093 markings, 23261912 edges, 39275 markings/sec, 185 secs
lola: 8411790 markings, 23874817 edges, 40139 markings/sec, 190 secs
lola: 8610894 markings, 24475655 edges, 39821 markings/sec, 195 secs
lola: 8812559 markings, 25062875 edges, 40333 markings/sec, 200 secs
lola: 9007912 markings, 25660358 edges, 39071 markings/sec, 205 secs
lola: 9211429 markings, 26253710 edges, 40703 markings/sec, 210 secs
lola: 9407625 markings, 26829001 edges, 39239 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_9 + Client_Sending_8 + Client_Sending_7 + Client_Sending_6 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 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: 218154 markings, 1368726 edges, 43631 markings/sec, 0 secs
lola: 439656 markings, 2926308 edges, 44300 markings/sec, 5 secs
lola: 653383 markings, 4487335 edges, 42745 markings/sec, 10 secs
lola: 855032 markings, 5999198 edges, 40330 markings/sec, 15 secs
lola: 1045838 markings, 7572995 edges, 38161 markings/sec, 20 secs
lola: 1260678 markings, 9089186 edges, 42968 markings/sec, 25 secs
lola: 1459484 markings, 10629332 edges, 39761 markings/sec, 30 secs
lola: 1648038 markings, 12140702 edges, 37711 markings/sec, 35 secs
lola: 1831081 markings, 13656375 edges, 36609 markings/sec, 40 secs
lola: 2022985 markings, 15282474 edges, 38381 markings/sec, 45 secs
lola: 2218027 markings, 16806327 edges, 39008 markings/sec, 50 secs
lola: 2416187 markings, 18293564 edges, 39632 markings/sec, 55 secs
lola: 2606321 markings, 19842836 edges, 38027 markings/sec, 60 secs
lola: 2800706 markings, 21359533 edges, 38877 markings/sec, 65 secs
lola: 2984442 markings, 22903726 edges, 36747 markings/sec, 70 secs
lola: 3157333 markings, 24450897 edges, 34578 markings/sec, 75 secs
lola: 3353065 markings, 25984786 edges, 39146 markings/sec, 80 secs
lola: 3540070 markings, 27581445 edges, 37401 markings/sec, 85 secs
lola: 3717721 markings, 29137451 edges, 35530 markings/sec, 90 secs
lola: 3894346 markings, 30688571 edges, 35325 markings/sec, 95 secs
lola: 4069366 markings, 32309817 edges, 35004 markings/sec, 100 secs
lola: 4236514 markings, 33812380 edges, 33430 markings/sec, 105 secs
lola: 4426396 markings, 35199129 edges, 37976 markings/sec, 110 secs
lola: 4618741 markings, 36689644 edges, 38469 markings/sec, 115 secs
lola: 4812992 markings, 38242527 edges, 38850 markings/sec, 120 secs
lola: 4995077 markings, 39750879 edges, 36417 markings/sec, 125 secs
lola: 5170528 markings, 41251512 edges, 35090 markings/sec, 130 secs
lola: 5344403 markings, 42690451 edges, 34775 markings/sec, 135 secs
lola: 5516472 markings, 44119205 edges, 34414 markings/sec, 140 secs
lola: 5691588 markings, 45611814 edges, 35023 markings/sec, 145 secs
lola: 5867747 markings, 47149803 edges, 35232 markings/sec, 150 secs
lola: 6032416 markings, 48649325 edges, 32934 markings/sec, 155 secs
lola: 6202872 markings, 50210961 edges, 34091 markings/sec, 160 secs
lola: 6373167 markings, 51709867 edges, 34059 markings/sec, 165 secs
lola: 6552149 markings, 53199234 edges, 35796 markings/sec, 170 secs
lola: 6736783 markings, 54755630 edges, 36927 markings/sec, 175 secs
lola: 6913518 markings, 56301965 edges, 35347 markings/sec, 180 secs
lola: 7080303 markings, 57819149 edges, 33357 markings/sec, 185 secs
lola: 7249582 markings, 59368723 edges, 33856 markings/sec, 190 secs
lola: 7422481 markings, 60952018 edges, 34580 markings/sec, 195 secs
lola: 7589716 markings, 62455813 edges, 33447 markings/sec, 200 secs
lola: 7760759 markings, 64027895 edges, 34209 markings/sec, 205 secs
lola: 7921459 markings, 65567394 edges, 32140 markings/sec, 210 secs
lola: 8083558 markings, 67111476 edges, 32420 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + Reques... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 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: 402279 markings, 402411 edges, 80456 markings/sec, 0 secs
lola: 778042 markings, 778175 edges, 75153 markings/sec, 5 secs
lola: 1173500 markings, 1173633 edges, 79092 markings/sec, 10 secs
lola: 1563148 markings, 1563281 edges, 77930 markings/sec, 15 secs
lola: 1935668 markings, 1935801 edges, 74504 markings/sec, 20 secs
lola: 2301427 markings, 2301560 edges, 73152 markings/sec, 25 secs
lola: 2664860 markings, 2664993 edges, 72687 markings/sec, 30 secs
lola: 3029133 markings, 3029266 edges, 72855 markings/sec, 35 secs
lola: 3398724 markings, 3398857 edges, 73918 markings/sec, 40 secs
lola: 3769893 markings, 3770025 edges, 74234 markings/sec, 45 secs
lola: 4134611 markings, 4134744 edges, 72944 markings/sec, 50 secs
lola: 4497230 markings, 4497363 edges, 72524 markings/sec, 55 secs
lola: 4856237 markings, 4856370 edges, 71801 markings/sec, 60 secs
lola: 5208001 markings, 5208134 edges, 70353 markings/sec, 65 secs
lola: 5560355 markings, 5560487 edges, 70471 markings/sec, 70 secs
lola: 5911209 markings, 5911342 edges, 70171 markings/sec, 75 secs
lola: 6262248 markings, 6262381 edges, 70208 markings/sec, 80 secs
lola: 6613697 markings, 6613835 edges, 70290 markings/sec, 85 secs
lola: 6965880 markings, 6966013 edges, 70437 markings/sec, 90 secs
lola: 7315188 markings, 7315320 edges, 69862 markings/sec, 95 secs
lola: 7668835 markings, 7668968 edges, 70729 markings/sec, 100 secs
lola: 8017890 markings, 8018023 edges, 69811 markings/sec, 105 secs
lola: 8358902 markings, 8359035 edges, 68202 markings/sec, 110 secs
lola: 8702086 markings, 8702219 edges, 68637 markings/sec, 115 secs
lola: 9046657 markings, 9046790 edges, 68914 markings/sec, 120 secs
lola: 9391873 markings, 9392005 edges, 69043 markings/sec, 125 secs
lola: 9738835 markings, 9738968 edges, 69392 markings/sec, 130 secs
lola: 10089424 markings, 10089557 edges, 70118 markings/sec, 135 secs
lola: 10431923 markings, 10432056 edges, 68500 markings/sec, 140 secs
lola: 10772818 markings, 10772951 edges, 68179 markings/sec, 145 secs
lola: 11112100 markings, 11112233 edges, 67856 markings/sec, 150 secs
lola: 11453507 markings, 11453639 edges, 68281 markings/sec, 155 secs
lola: 11794340 markings, 11794473 edges, 68167 markings/sec, 160 secs
lola: 12133651 markings, 12133784 edges, 67862 markings/sec, 165 secs
lola: 12483839 markings, 12483972 edges, 70038 markings/sec, 170 secs
lola: 12847401 markings, 12847533 edges, 72712 markings/sec, 175 secs
lola: 13211035 markings, 13211168 edges, 72727 markings/sec, 180 secs
lola: 13571436 markings, 13571569 edges, 72080 markings/sec, 185 secs
lola: 13933626 markings, 13933759 edges, 72438 markings/sec, 190 secs
lola: 14285732 markings, 14285865 edges, 70421 markings/sec, 195 secs
lola: 14638953 markings, 14639086 edges, 70644 markings/sec, 200 secs
lola: 14994680 markings, 14994813 edges, 71145 markings/sec, 205 secs
lola: 15331177 markings, 15331310 edges, 67299 markings/sec, 210 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 CSRepetitions-COL-05-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494624240338

--------------------
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="CSRepetitions-PT-05"
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/CSRepetitions-PT-05.tgz
mv CSRepetitions-PT-05 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is CSRepetitions-PT-05, 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 r018-ebro-149436308900119"
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 ;