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 S_CSRepetitions-COL-05, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455500083
=====================================================================

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


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_CSRepetitions-COL-05: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_CSRepetitions-COL-05: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_CSRepetitions-COL-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(p150) : MAX(p150) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10) : MAX(p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p160 + p159 + p158 + p157 + p156 + p155 + p154 + p153 + p152 + p151) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p70 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p95 + p96 + p97 + p98 + p99) : MAX(p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10) : MAX(p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200) : MAX(p150) : MAX(p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200) : MAX(p201 + p202 + p203 + p204 + p205) : MAX(p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p160 + p159 + p158 + p157 + p156 + p155 + p154 + p153 + p152 + p151) : MAX(p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200)
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(p150)
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: 409100 markings, 409155 edges, 81820 markings/sec, 0 secs
lola: 809950 markings, 810005 edges, 80170 markings/sec, 5 secs
lola: 1207670 markings, 1207726 edges, 79544 markings/sec, 10 secs
lola: 1600070 markings, 1600126 edges, 78480 markings/sec, 15 secs
lola: 1994852 markings, 1994908 edges, 78956 markings/sec, 20 secs
lola: 2351282 markings, 2351338 edges, 71286 markings/sec, 25 secs
lola: 2717015 markings, 2717070 edges, 73147 markings/sec, 30 secs
lola: 3090371 markings, 3090427 edges, 74671 markings/sec, 35 secs
lola: 3463318 markings, 3463373 edges, 74589 markings/sec, 40 secs
lola: 3834560 markings, 3834616 edges, 74248 markings/sec, 45 secs
lola: 4204616 markings, 4204671 edges, 74011 markings/sec, 50 secs
lola: 4574350 markings, 4574406 edges, 73947 markings/sec, 55 secs
lola: 4943926 markings, 4943982 edges, 73915 markings/sec, 60 secs
lola: 5312874 markings, 5312930 edges, 73790 markings/sec, 65 secs
lola: 5681492 markings, 5681548 edges, 73724 markings/sec, 70 secs
lola: 6050462 markings, 6050518 edges, 73794 markings/sec, 75 secs
lola: 6419922 markings, 6419978 edges, 73892 markings/sec, 80 secs
lola: 6792405 markings, 6792460 edges, 74497 markings/sec, 85 secs
lola: 7165518 markings, 7165574 edges, 74623 markings/sec, 90 secs
lola: 7538535 markings, 7538590 edges, 74603 markings/sec, 95 secs
lola: 7910735 markings, 7910791 edges, 74440 markings/sec, 100 secs
lola: 8280890 markings, 8280946 edges, 74031 markings/sec, 105 secs
lola: 8650964 markings, 8651020 edges, 74015 markings/sec, 110 secs
lola: 9022919 markings, 9022975 edges, 74391 markings/sec, 115 secs
lola: 9392574 markings, 9392629 edges, 73931 markings/sec, 120 secs
lola: 9763437 markings, 9763493 edges, 74173 markings/sec, 125 secs
lola: 10129626 markings, 10129681 edges, 73238 markings/sec, 130 secs
lola: 10490825 markings, 10490881 edges, 72240 markings/sec, 135 secs
lola: 10853056 markings, 10853111 edges, 72446 markings/sec, 140 secs
lola: 11217368 markings, 11217424 edges, 72862 markings/sec, 145 secs
lola: 11575917 markings, 11575973 edges, 71710 markings/sec, 150 secs
lola: 11937052 markings, 11937108 edges, 72227 markings/sec, 155 secs
lola: 12298966 markings, 12299021 edges, 72383 markings/sec, 160 secs
lola: 12659022 markings, 12659078 edges, 72011 markings/sec, 165 secs
lola: 13020563 markings, 13020623 edges, 72308 markings/sec, 170 secs
lola: 13382907 markings, 13382962 edges, 72469 markings/sec, 175 secs
lola: 13744428 markings, 13744484 edges, 72304 markings/sec, 180 secs
lola: 14106533 markings, 14106588 edges, 72421 markings/sec, 185 secs
lola: 14467978 markings, 14468033 edges, 72289 markings/sec, 190 secs
lola: 14829608 markings, 14829664 edges, 72326 markings/sec, 195 secs
lola: 15193417 markings, 15193473 edges, 72762 markings/sec, 200 secs
lola: 15555771 markings, 15555826 edges, 72471 markings/sec, 205 secs
lola: 15916164 markings, 15916220 edges, 72079 markings/sec, 210 secs
lola: 16277705 markings, 16277760 edges, 72308 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(p150)
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: 394972 markings, 395028 edges, 78994 markings/sec, 0 secs
lola: 799267 markings, 799323 edges, 80859 markings/sec, 5 secs
lola: 1199558 markings, 1199614 edges, 80058 markings/sec, 10 secs
lola: 1594547 markings, 1594603 edges, 78998 markings/sec, 15 secs
lola: 1987958 markings, 1988014 edges, 78682 markings/sec, 20 secs
lola: 2381173 markings, 2381229 edges, 78643 markings/sec, 25 secs
lola: 2774791 markings, 2774847 edges, 78724 markings/sec, 30 secs
lola: 3168154 markings, 3168210 edges, 78673 markings/sec, 35 secs
lola: 3555080 markings, 3555135 edges, 77385 markings/sec, 40 secs
lola: 3940728 markings, 3940784 edges, 77130 markings/sec, 45 secs
lola: 4327902 markings, 4327958 edges, 77435 markings/sec, 50 secs
lola: 4719379 markings, 4719435 edges, 78295 markings/sec, 55 secs
lola: 5109895 markings, 5109951 edges, 78103 markings/sec, 60 secs
lola: 5500875 markings, 5500930 edges, 78196 markings/sec, 65 secs
lola: 5890775 markings, 5890831 edges, 77980 markings/sec, 70 secs
lola: 6264849 markings, 6264905 edges, 74815 markings/sec, 75 secs
lola: 6646709 markings, 6646765 edges, 76372 markings/sec, 80 secs
lola: 7029848 markings, 7029903 edges, 76628 markings/sec, 85 secs
lola: 7411618 markings, 7411674 edges, 76354 markings/sec, 90 secs
lola: 7793319 markings, 7793375 edges, 76340 markings/sec, 95 secs
lola: 8174133 markings, 8174189 edges, 76163 markings/sec, 100 secs
lola: 8554923 markings, 8554978 edges, 76158 markings/sec, 105 secs
lola: 8936690 markings, 8936746 edges, 76353 markings/sec, 110 secs
lola: 9317459 markings, 9317515 edges, 76154 markings/sec, 115 secs
lola: 9696826 markings, 9696882 edges, 75873 markings/sec, 120 secs
lola: 10075735 markings, 10075791 edges, 75782 markings/sec, 125 secs
lola: 10452515 markings, 10452571 edges, 75356 markings/sec, 130 secs
lola: 10832185 markings, 10832241 edges, 75934 markings/sec, 135 secs
lola: 11210986 markings, 11211042 edges, 75760 markings/sec, 140 secs
lola: 11587959 markings, 11588015 edges, 75395 markings/sec, 145 secs
lola: 11966539 markings, 11966595 edges, 75716 markings/sec, 150 secs
lola: 12342737 markings, 12342793 edges, 75240 markings/sec, 155 secs
lola: 12722351 markings, 12722406 edges, 75923 markings/sec, 160 secs
lola: 13106812 markings, 13106868 edges, 76892 markings/sec, 165 secs
lola: 13491483 markings, 13491539 edges, 76934 markings/sec, 170 secs
lola: 13875799 markings, 13875854 edges, 76863 markings/sec, 175 secs
lola: 14257562 markings, 14257618 edges, 76353 markings/sec, 180 secs
lola: 14633330 markings, 14633385 edges, 75154 markings/sec, 185 secs
lola: 15011559 markings, 15011615 edges, 75646 markings/sec, 190 secs
lola: 15391543 markings, 15391599 edges, 75997 markings/sec, 195 secs
lola: 15769478 markings, 15769533 edges, 75587 markings/sec, 200 secs
lola: 16146821 markings, 16146876 edges, 75469 markings/sec, 205 secs
lola: 16521031 markings, 16521086 edges, 74842 markings/sec, 210 secs
lola: 16897538 markings, 16897594 edges, 75301 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(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10)
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: 335291 markings, 1004595 edges, 67058 markings/sec, 0 secs
lola: 647399 markings, 2018961 edges, 62422 markings/sec, 5 secs
lola: 950043 markings, 3042311 edges, 60529 markings/sec, 10 secs
lola: 1249913 markings, 4044540 edges, 59974 markings/sec, 15 secs
lola: 1540986 markings, 5053182 edges, 58215 markings/sec, 20 secs
lola: 1829740 markings, 6072412 edges, 57751 markings/sec, 25 secs
lola: 2111680 markings, 7117027 edges, 56388 markings/sec, 30 secs
lola: 2403298 markings, 8067438 edges, 58324 markings/sec, 35 secs
lola: 2683703 markings, 9047775 edges, 56081 markings/sec, 40 secs
lola: 2962718 markings, 10040779 edges, 55803 markings/sec, 45 secs
lola: 3242678 markings, 11066041 edges, 55992 markings/sec, 50 secs
lola: 3523653 markings, 12078787 edges, 56195 markings/sec, 55 secs
lola: 3798507 markings, 13112260 edges, 54971 markings/sec, 60 secs
lola: 4071530 markings, 14169390 edges, 54605 markings/sec, 65 secs
lola: 4357383 markings, 15189127 edges, 57171 markings/sec, 70 secs
lola: 4643639 markings, 16167084 edges, 57251 markings/sec, 75 secs
lola: 4926807 markings, 17160596 edges, 56634 markings/sec, 80 secs
lola: 5202345 markings, 18182604 edges, 55108 markings/sec, 85 secs
lola: 5483802 markings, 19182594 edges, 56291 markings/sec, 90 secs
lola: 5755829 markings, 20201112 edges, 54405 markings/sec, 95 secs
lola: 6029050 markings, 21232325 edges, 54644 markings/sec, 100 secs
lola: 6294889 markings, 22291404 edges, 53168 markings/sec, 105 secs
lola: 6579010 markings, 23283260 edges, 56824 markings/sec, 110 secs
lola: 6853880 markings, 24310784 edges, 54974 markings/sec, 115 secs
lola: 7127609 markings, 25347933 edges, 54746 markings/sec, 120 secs
lola: 7396012 markings, 26406544 edges, 53681 markings/sec, 125 secs
lola: 7665244 markings, 27432344 edges, 53846 markings/sec, 130 secs
lola: 7934511 markings, 28507963 edges, 53853 markings/sec, 135 secs
lola: 8202102 markings, 29595790 edges, 53518 markings/sec, 140 secs
lola: 8474428 markings, 30666013 edges, 54465 markings/sec, 145 secs
lola: 8762239 markings, 31629281 edges, 57562 markings/sec, 150 secs
lola: 9043899 markings, 32620177 edges, 56332 markings/sec, 155 secs
lola: 9319598 markings, 33616941 edges, 55140 markings/sec, 160 secs
lola: 9597311 markings, 34617541 edges, 55543 markings/sec, 165 secs
lola: 9861871 markings, 35584587 edges, 52912 markings/sec, 170 secs
lola: 10133821 markings, 36603874 edges, 54390 markings/sec, 175 secs
lola: 10399535 markings, 37644318 edges, 53143 markings/sec, 180 secs
lola: 10675108 markings, 38654062 edges, 55115 markings/sec, 185 secs
lola: 10941596 markings, 39636538 edges, 53298 markings/sec, 190 secs
lola: 11187715 markings, 40556200 edges, 49224 markings/sec, 195 secs
lola: 11440519 markings, 41546050 edges, 50561 markings/sec, 200 secs
lola: 11697090 markings, 42532295 edges, 51314 markings/sec, 205 secs
lola: 11952717 markings, 43529264 edges, 51125 markings/sec, 210 secs
lola: 12202674 markings, 44530082 edges, 49991 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(p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p160 + p159 + p158 + p157 + p156 + p155 + p154 + p153 + p152 + p151)
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: 240066 markings, 1527414 edges, 48013 markings/sec, 0 secs
lola: 470207 markings, 3159249 edges, 46028 markings/sec, 5 secs
lola: 695338 markings, 4779191 edges, 45026 markings/sec, 10 secs
lola: 908688 markings, 6423417 edges, 42670 markings/sec, 15 secs
lola: 1120232 markings, 8063967 edges, 42309 markings/sec, 20 secs
lola: 1334758 markings, 9660911 edges, 42905 markings/sec, 25 secs
lola: 1538501 markings, 11284619 edges, 40749 markings/sec, 30 secs
lola: 1744627 markings, 12908954 edges, 41225 markings/sec, 35 secs
lola: 1941472 markings, 14563907 edges, 39369 markings/sec, 40 secs
lola: 2135472 markings, 16223397 edges, 38800 markings/sec, 45 secs
lola: 2347248 markings, 17782357 edges, 42355 markings/sec, 50 secs
lola: 2550728 markings, 19365748 edges, 40696 markings/sec, 55 secs
lola: 2749535 markings, 20958627 edges, 39761 markings/sec, 60 secs
lola: 2944469 markings, 22565406 edges, 38987 markings/sec, 65 secs
lola: 3128766 markings, 24204764 edges, 36859 markings/sec, 70 secs
lola: 3329966 markings, 25791565 edges, 40240 markings/sec, 75 secs
lola: 3521615 markings, 27408713 edges, 38330 markings/sec, 80 secs
lola: 3705836 markings, 29041386 edges, 36844 markings/sec, 85 secs
lola: 3891767 markings, 30664205 edges, 37186 markings/sec, 90 secs
lola: 4070470 markings, 32319445 edges, 35741 markings/sec, 95 secs
lola: 4256256 markings, 33951069 edges, 37157 markings/sec, 100 secs
lola: 4461022 markings, 35480973 edges, 40953 markings/sec, 105 secs
lola: 4660257 markings, 37032329 edges, 39847 markings/sec, 110 secs
lola: 4856368 markings, 38595990 edges, 39222 markings/sec, 115 secs
lola: 5046724 markings, 40176176 edges, 38071 markings/sec, 120 secs
lola: 5227182 markings, 41780757 edges, 36092 markings/sec, 125 secs
lola: 5424585 markings, 43334149 edges, 39481 markings/sec, 130 secs
lola: 5613128 markings, 44920496 edges, 37709 markings/sec, 135 secs
lola: 5793705 markings, 46529903 edges, 36115 markings/sec, 140 secs
lola: 5979169 markings, 48138165 edges, 37093 markings/sec, 145 secs
lola: 6154976 markings, 49764157 edges, 35161 markings/sec, 150 secs
lola: 6332131 markings, 51397083 edges, 35431 markings/sec, 155 secs
lola: 6527829 markings, 52973314 edges, 39140 markings/sec, 160 secs
lola: 6715810 markings, 54570797 edges, 37596 markings/sec, 165 secs
lola: 6898700 markings, 56171790 edges, 36578 markings/sec, 170 secs
lola: 7075499 markings, 57775347 edges, 35360 markings/sec, 175 secs
lola: 7252104 markings, 59392288 edges, 35321 markings/sec, 180 secs
lola: 7430305 markings, 61018101 edges, 35640 markings/sec, 185 secs
lola: 7609545 markings, 62641871 edges, 35848 markings/sec, 190 secs
lola: 7785987 markings, 64270995 edges, 35288 markings/sec, 195 secs
lola: 7958260 markings, 65904659 edges, 34455 markings/sec, 200 secs
lola: 8124353 markings, 67541887 edges, 33219 markings/sec, 205 secs
lola: 8290737 markings, 69188974 edges, 33277 markings/sec, 210 secs
lola: 8469954 markings, 70782152 edges, 35843 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(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10)
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: 333878 markings, 1000301 edges, 66776 markings/sec, 0 secs
lola: 645806 markings, 2013165 edges, 62386 markings/sec, 5 secs
lola: 948706 markings, 3037092 edges, 60580 markings/sec, 10 secs
lola: 1250347 markings, 4045912 edges, 60328 markings/sec, 15 secs
lola: 1544058 markings, 5064117 edges, 58742 markings/sec, 20 secs
lola: 1834882 markings, 6094226 edges, 58165 markings/sec, 25 secs
lola: 2122490 markings, 7148496 edges, 57522 markings/sec, 30 secs
lola: 2419039 markings, 8121180 edges, 59310 markings/sec, 35 secs
lola: 2707145 markings, 9125720 edges, 57621 markings/sec, 40 secs
lola: 2991232 markings, 10146712 edges, 56817 markings/sec, 45 secs
lola: 3273761 markings, 11177816 edges, 56506 markings/sec, 50 secs
lola: 3556943 markings, 12203175 edges, 56636 markings/sec, 55 secs
lola: 3835968 markings, 13249443 edges, 55805 markings/sec, 60 secs
lola: 4109788 markings, 14320508 edges, 54764 markings/sec, 65 secs
lola: 4394070 markings, 15311827 edges, 56856 markings/sec, 70 secs
lola: 4674607 markings, 16279155 edges, 56107 markings/sec, 75 secs
lola: 4952897 markings, 17257226 edges, 55658 markings/sec, 80 secs
lola: 5222573 markings, 18263634 edges, 53935 markings/sec, 85 secs
lola: 5499571 markings, 19244377 edges, 55400 markings/sec, 90 secs
lola: 5767352 markings, 20251038 edges, 53556 markings/sec, 95 secs
lola: 6036909 markings, 21258967 edges, 53911 markings/sec, 100 secs
lola: 6297287 markings, 22298348 edges, 52076 markings/sec, 105 secs
lola: 6576275 markings, 23273648 edges, 55798 markings/sec, 110 secs
lola: 6846757 markings, 24286427 edges, 54096 markings/sec, 115 secs
lola: 7117102 markings, 25307387 edges, 54069 markings/sec, 120 secs
lola: 7380428 markings, 26350411 edges, 52665 markings/sec, 125 secs
lola: 7649471 markings, 27369890 edges, 53809 markings/sec, 130 secs
lola: 7911488 markings, 28417988 edges, 52403 markings/sec, 135 secs
lola: 8173925 markings, 29479558 edges, 52487 markings/sec, 140 secs
lola: 8437870 markings, 30552293 edges, 52789 markings/sec, 145 secs
lola: 8723754 markings, 31496607 edges, 57177 markings/sec, 150 secs
lola: 9001856 markings, 32467684 edges, 55620 markings/sec, 155 secs
lola: 9276165 markings, 33453358 edges, 54862 markings/sec, 160 secs
lola: 9550390 markings, 34453720 edges, 54845 markings/sec, 165 secs
lola: 9825446 markings, 35450204 edges, 55011 markings/sec, 170 secs
lola: 10094549 markings, 36460603 edges, 53821 markings/sec, 175 secs
lola: 10359117 markings, 37485600 edges, 52914 markings/sec, 180 secs
lola: 10629598 markings, 38493605 edges, 54096 markings/sec, 185 secs
lola: 10903461 markings, 39490113 edges, 54773 markings/sec, 190 secs
lola: 11173663 markings, 40504276 edges, 54040 markings/sec, 195 secs
lola: 11438294 markings, 41537467 edges, 52926 markings/sec, 200 secs
lola: 11704600 markings, 42559659 edges, 53261 markings/sec, 205 secs
lola: 11969081 markings, 43594721 edges, 52896 markings/sec, 210 secs
lola: 12230393 markings, 44640063 edges, 52262 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(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10)
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: 318615 markings, 952248 edges, 63723 markings/sec, 0 secs
lola: 612147 markings, 1902087 edges, 58706 markings/sec, 5 secs
lola: 906383 markings, 2889666 edges, 58847 markings/sec, 10 secs
lola: 1208473 markings, 3905948 edges, 60418 markings/sec, 15 secs
lola: 1503893 markings, 4917567 edges, 59084 markings/sec, 20 secs
lola: 1795391 markings, 5940797 edges, 58300 markings/sec, 25 secs
lola: 2080001 markings, 7004721 edges, 56922 markings/sec, 30 secs
lola: 2377392 markings, 7983772 edges, 59478 markings/sec, 35 secs
lola: 2665638 markings, 8985583 edges, 57649 markings/sec, 40 secs
lola: 2951232 markings, 10000783 edges, 57119 markings/sec, 45 secs
lola: 3232098 markings, 11028498 edges, 56173 markings/sec, 50 secs
lola: 3514076 markings, 12041991 edges, 56396 markings/sec, 55 secs
lola: 3790971 markings, 13081754 edges, 55379 markings/sec, 60 secs
lola: 4063410 markings, 14139877 edges, 54488 markings/sec, 65 secs
lola: 4346385 markings, 15152593 edges, 56595 markings/sec, 70 secs
lola: 4630144 markings, 16118093 edges, 56752 markings/sec, 75 secs
lola: 4909615 markings, 17098947 edges, 55894 markings/sec, 80 secs
lola: 5181426 markings, 18102178 edges, 54362 markings/sec, 85 secs
lola: 5459061 markings, 19090023 edges, 55527 markings/sec, 90 secs
lola: 5730976 markings, 20100626 edges, 54383 markings/sec, 95 secs
lola: 6002183 markings, 21119686 edges, 54241 markings/sec, 100 secs
lola: 6265550 markings, 22166657 edges, 52673 markings/sec, 105 secs
lola: 6545195 markings, 23164955 edges, 55929 markings/sec, 110 secs
lola: 6818556 markings, 24190867 edges, 54672 markings/sec, 115 secs
lola: 7092813 markings, 25217325 edges, 54851 markings/sec, 120 secs
lola: 7359087 markings, 26275959 edges, 53255 markings/sec, 125 secs
lola: 7634484 markings, 27314163 edges, 55079 markings/sec, 130 secs
lola: 7898828 markings, 28370523 edges, 52869 markings/sec, 135 secs
lola: 8166051 markings, 29447445 edges, 53445 markings/sec, 140 secs
lola: 8430911 markings, 30530121 edges, 52972 markings/sec, 145 secs
lola: 8716226 markings, 31473351 edges, 57063 markings/sec, 150 secs
lola: 8992983 markings, 32437642 edges, 55351 markings/sec, 155 secs
lola: 9266075 markings, 33415242 edges, 54618 markings/sec, 160 secs
lola: 9536872 markings, 34406427 edges, 54159 markings/sec, 165 secs
lola: 9809698 markings, 35388443 edges, 54565 markings/sec, 170 secs
lola: 10076253 markings, 36389111 edges, 53311 markings/sec, 175 secs
lola: 10339032 markings, 37403183 edges, 52556 markings/sec, 180 secs
lola: 10606000 markings, 38411222 edges, 53394 markings/sec, 185 secs
lola: 10877883 markings, 39398545 edges, 54377 markings/sec, 190 secs
lola: 11145723 markings, 40401414 edges, 53568 markings/sec, 195 secs
lola: 11408918 markings, 41422181 edges, 52639 markings/sec, 200 secs
lola: 11672029 markings, 42439959 edges, 52622 markings/sec, 205 secs
lola: 11936981 markings, 43467957 edges, 52990 markings/sec, 210 secs
lola: 12197220 markings, 44509466 edges, 52048 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(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 ... (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: 412330 markings, 412386 edges, 82466 markings/sec, 0 secs
lola: 813392 markings, 813448 edges, 80212 markings/sec, 5 secs
lola: 1211365 markings, 1211421 edges, 79595 markings/sec, 10 secs
lola: 1605792 markings, 1605848 edges, 78885 markings/sec, 15 secs
lola: 1999007 markings, 1999063 edges, 78643 markings/sec, 20 secs
lola: 2391724 markings, 2391780 edges, 78543 markings/sec, 25 secs
lola: 2782031 markings, 2782087 edges, 78061 markings/sec, 30 secs
lola: 3170391 markings, 3170446 edges, 77672 markings/sec, 35 secs
lola: 3559855 markings, 3559911 edges, 77893 markings/sec, 40 secs
lola: 3947370 markings, 3947426 edges, 77503 markings/sec, 45 secs
lola: 4335098 markings, 4335154 edges, 77546 markings/sec, 50 secs
lola: 4722762 markings, 4722818 edges, 77533 markings/sec, 55 secs
lola: 5110448 markings, 5110503 edges, 77537 markings/sec, 60 secs
lola: 5498365 markings, 5498420 edges, 77583 markings/sec, 65 secs
lola: 5885260 markings, 5885316 edges, 77379 markings/sec, 70 secs
lola: 6269629 markings, 6269685 edges, 76874 markings/sec, 75 secs
lola: 6657394 markings, 6657449 edges, 77553 markings/sec, 80 secs
lola: 7043477 markings, 7043532 edges, 77217 markings/sec, 85 secs
lola: 7428374 markings, 7428429 edges, 76979 markings/sec, 90 secs
lola: 7813223 markings, 7813279 edges, 76970 markings/sec, 95 secs
lola: 8197323 markings, 8197379 edges, 76820 markings/sec, 100 secs
lola: 8582442 markings, 8582498 edges, 77024 markings/sec, 105 secs
lola: 8967829 markings, 8967885 edges, 77077 markings/sec, 110 secs
lola: 9352923 markings, 9352979 edges, 77019 markings/sec, 115 secs
lola: 9739919 markings, 9739974 edges, 77399 markings/sec, 120 secs
lola: 10124787 markings, 10124843 edges, 76974 markings/sec, 125 secs
lola: 10504843 markings, 10504898 edges, 76011 markings/sec, 130 secs
lola: 10887901 markings, 10887956 edges, 76612 markings/sec, 135 secs
lola: 11268537 markings, 11268593 edges, 76127 markings/sec, 140 secs
lola: 11647812 markings, 11647868 edges, 75855 markings/sec, 145 secs
lola: 12026537 markings, 12026593 edges, 75745 markings/sec, 150 secs
lola: 12405195 markings, 12405251 edges, 75732 markings/sec, 155 secs
lola: 12787378 markings, 12787433 edges, 76437 markings/sec, 160 secs
lola: 13171160 markings, 13171215 edges, 76756 markings/sec, 165 secs
lola: 13553696 markings, 13553752 edges, 76507 markings/sec, 170 secs
lola: 13936754 markings, 13936810 edges, 76612 markings/sec, 175 secs
lola: 14317847 markings, 14317902 edges, 76219 markings/sec, 180 secs
lola: 14696532 markings, 14696588 edges, 75737 markings/sec, 185 secs
lola: 15078775 markings, 15078831 edges, 76449 markings/sec, 190 secs
lola: 15460315 markings, 15460371 edges, 76308 markings/sec, 195 secs
lola: 15841018 markings, 15841073 edges, 76141 markings/sec, 200 secs
lola: 16220980 markings, 16221035 edges, 75992 markings/sec, 205 secs
lola: 16600279 markings, 16600334 edges, 75860 markings/sec, 210 secs
lola: 16981581 markings, 16981637 edges, 76260 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(p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200)
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: 430615 markings, 430747 edges, 86123 markings/sec, 0 secs
lola: 864381 markings, 864513 edges, 86753 markings/sec, 5 secs
lola: 1302838 markings, 1302971 edges, 87691 markings/sec, 10 secs
lola: 1743913 markings, 1744046 edges, 88215 markings/sec, 15 secs
lola: 2179631 markings, 2179764 edges, 87144 markings/sec, 20 secs
lola: 2616834 markings, 2616967 edges, 87441 markings/sec, 25 secs
lola: 3053016 markings, 3053148 edges, 87236 markings/sec, 30 secs
lola: 3487838 markings, 3487971 edges, 86964 markings/sec, 35 secs
lola: 3920691 markings, 3920823 edges, 86571 markings/sec, 40 secs
lola: 4355638 markings, 4355771 edges, 86989 markings/sec, 45 secs
lola: 4792452 markings, 4792584 edges, 87363 markings/sec, 50 secs
lola: 5225414 markings, 5225546 edges, 86592 markings/sec, 55 secs
lola: 5659446 markings, 5659579 edges, 86806 markings/sec, 60 secs
lola: 6091335 markings, 6091468 edges, 86378 markings/sec, 65 secs
lola: 6522875 markings, 6523008 edges, 86308 markings/sec, 70 secs
lola: 6956059 markings, 6956192 edges, 86637 markings/sec, 75 secs
lola: 7387626 markings, 7387759 edges, 86313 markings/sec, 80 secs
lola: 7818969 markings, 7819101 edges, 86269 markings/sec, 85 secs
lola: 8247002 markings, 8247135 edges, 85607 markings/sec, 90 secs
lola: 8678816 markings, 8678949 edges, 86363 markings/sec, 95 secs
lola: 9109416 markings, 9109549 edges, 86120 markings/sec, 100 secs
lola: 9540215 markings, 9540348 edges, 86160 markings/sec, 105 secs
lola: 9969967 markings, 9970099 edges, 85950 markings/sec, 110 secs
lola: 10397727 markings, 10397859 edges, 85552 markings/sec, 115 secs
lola: 10828036 markings, 10828169 edges, 86062 markings/sec, 120 secs
lola: 11256266 markings, 11256399 edges, 85646 markings/sec, 125 secs
lola: 11682567 markings, 11682699 edges, 85260 markings/sec, 130 secs
lola: 12110398 markings, 12110531 edges, 85566 markings/sec, 135 secs
lola: 12538051 markings, 12538183 edges, 85531 markings/sec, 140 secs
lola: 12970040 markings, 12970172 edges, 86398 markings/sec, 145 secs
lola: 13401139 markings, 13401272 edges, 86220 markings/sec, 150 secs
lola: 13832578 markings, 13832710 edges, 86288 markings/sec, 155 secs
lola: 14261715 markings, 14261847 edges, 85827 markings/sec, 160 secs
lola: 14688669 markings, 14688801 edges, 85391 markings/sec, 165 secs
lola: 15118582 markings, 15118715 edges, 85983 markings/sec, 170 secs
lola: 15547740 markings, 15547873 edges, 85832 markings/sec, 175 secs
lola: 15976209 markings, 15976342 edges, 85694 markings/sec, 180 secs
lola: 16404332 markings, 16404465 edges, 85625 markings/sec, 185 secs
lola: 16831361 markings, 16831494 edges, 85406 markings/sec, 190 secs
lola: 17265973 markings, 17266106 edges, 86922 markings/sec, 195 secs
lola: 17697522 markings, 17697655 edges, 86310 markings/sec, 200 secs
lola: 18127081 markings, 18127214 edges, 85912 markings/sec, 205 secs
lola: 18553422 markings, 18553555 edges, 85268 markings/sec, 210 secs
lola: 18978673 markings, 18978806 edges, 85050 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(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10)
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: 346723 markings, 1039803 edges, 69345 markings/sec, 0 secs
lola: 669249 markings, 2088677 edges, 64505 markings/sec, 5 secs
lola: 980995 markings, 3153659 edges, 62349 markings/sec, 10 secs
lola: 1293683 markings, 4195679 edges, 62538 markings/sec, 15 secs
lola: 1596775 markings, 5249656 edges, 60618 markings/sec, 20 secs
lola: 1898208 markings, 6314520 edges, 60287 markings/sec, 25 secs
lola: 2198186 markings, 7384718 edges, 59996 markings/sec, 30 secs
lola: 2500543 markings, 8403949 edges, 60471 markings/sec, 35 secs
lola: 2796659 markings, 9438817 edges, 59223 markings/sec, 40 secs
lola: 3083365 markings, 10496566 edges, 57341 markings/sec, 45 secs
lola: 3375518 markings, 11539662 edges, 58431 markings/sec, 50 secs
lola: 3660400 markings, 12606188 edges, 56976 markings/sec, 55 secs
lola: 3945584 markings, 13677397 edges, 57037 markings/sec, 60 secs
lola: 4228664 markings, 14778287 edges, 56616 markings/sec, 65 secs
lola: 4529585 markings, 15768448 edges, 60184 markings/sec, 70 secs
lola: 4821480 markings, 16787924 edges, 58379 markings/sec, 75 secs
lola: 5108140 markings, 17826359 edges, 57332 markings/sec, 80 secs
lola: 5395591 markings, 18862732 edges, 57490 markings/sec, 85 secs
lola: 5681924 markings, 19909365 edges, 57267 markings/sec, 90 secs
lola: 5963196 markings, 20968810 edges, 56254 markings/sec, 95 secs
lola: 6238272 markings, 22052029 edges, 55015 markings/sec, 100 secs
lola: 6526688 markings, 23093346 edges, 57683 markings/sec, 105 secs
lola: 6808780 markings, 24151815 edges, 56418 markings/sec, 110 secs
lola: 7091524 markings, 25212497 edges, 56549 markings/sec, 115 secs
lola: 7366224 markings, 26300584 edges, 54940 markings/sec, 120 secs
lola: 7648258 markings, 27365107 edges, 56407 markings/sec, 125 secs
lola: 7922111 markings, 28459558 edges, 54771 markings/sec, 130 secs
lola: 8194500 markings, 29565751 edges, 54478 markings/sec, 135 secs
lola: 8470546 markings, 30654485 edges, 55209 markings/sec, 140 secs
lola: 8764400 markings, 31637394 edges, 58771 markings/sec, 145 secs
lola: 9050380 markings, 32640014 edges, 57196 markings/sec, 150 secs
lola: 9331526 markings, 33660689 edges, 56229 markings/sec, 155 secs
lola: 9615213 markings, 34680443 edges, 56737 markings/sec, 160 secs
lola: 9894622 markings, 35711167 edges, 55882 markings/sec, 165 secs
lola: 10171328 markings, 36748747 edges, 55341 markings/sec, 170 secs
lola: 10439494 markings, 37809081 edges, 53633 markings/sec, 175 secs
lola: 10722186 markings, 38826493 edges, 56538 markings/sec, 180 secs
lola: 10998629 markings, 39861553 edges, 55289 markings/sec, 185 secs
lola: 11276078 markings, 40906941 edges, 55490 markings/sec, 190 secs
lola: 11543351 markings, 41971007 edges, 53455 markings/sec, 195 secs
lola: 11820686 markings, 43011520 edges, 55467 markings/sec, 200 secs
lola: 12087825 markings, 44078932 edges, 53428 markings/sec, 205 secs
lola: 12353957 markings, 45151565 edges, 53226 markings/sec, 210 secs
lola: 12620052 markings, 46221482 edges, 53219 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10)
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: 343044 markings, 1028599 edges, 68609 markings/sec, 0 secs
lola: 665431 markings, 2076837 edges, 64477 markings/sec, 5 secs
lola: 979402 markings, 3147338 edges, 62794 markings/sec, 10 secs
lola: 1292727 markings, 4192006 edges, 62665 markings/sec, 15 secs
lola: 1597517 markings, 5252269 edges, 60958 markings/sec, 20 secs
lola: 1900210 markings, 6322693 edges, 60539 markings/sec, 25 secs
lola: 2201728 markings, 7395923 edges, 60304 markings/sec, 30 secs
lola: 2505676 markings, 8421388 edges, 60790 markings/sec, 35 secs
lola: 2804229 markings, 9466295 edges, 59711 markings/sec, 40 secs
lola: 3095787 markings, 10543752 edges, 58312 markings/sec, 45 secs
lola: 3391953 markings, 11601396 edges, 59233 markings/sec, 50 secs
lola: 3680746 markings, 12681941 edges, 57759 markings/sec, 55 secs
lola: 3968153 markings, 13761256 edges, 57481 markings/sec, 60 secs
lola: 4252841 markings, 14852556 edges, 56938 markings/sec, 65 secs
lola: 4552182 markings, 15845630 edges, 59868 markings/sec, 70 secs
lola: 4843543 markings, 16867630 edges, 58272 markings/sec, 75 secs
lola: 5132195 markings, 17913436 edges, 57730 markings/sec, 80 secs
lola: 5420820 markings, 18951463 edges, 57725 markings/sec, 85 secs
lola: 5705185 markings, 20000675 edges, 56873 markings/sec, 90 secs
lola: 5985980 markings, 21054851 edges, 56159 markings/sec, 95 secs
lola: 6258594 markings, 22138367 edges, 54523 markings/sec, 100 secs
lola: 6547904 markings, 23175573 edges, 57862 markings/sec, 105 secs
lola: 6830887 markings, 24231336 edges, 56597 markings/sec, 110 secs
lola: 7112626 markings, 25291179 edges, 56348 markings/sec, 115 secs
lola: 7386819 markings, 26373105 edges, 54839 markings/sec, 120 secs
lola: 7666797 markings, 27439005 edges, 55996 markings/sec, 125 secs
lola: 7940471 markings, 28530191 edges, 54735 markings/sec, 130 secs
lola: 8211485 markings, 29634383 edges, 54203 markings/sec, 135 secs
lola: 8489746 markings, 30715860 edges, 55652 markings/sec, 140 secs
lola: 8781216 markings, 31700335 edges, 58294 markings/sec, 145 secs
lola: 9067868 markings, 32698779 edges, 57330 markings/sec, 150 secs
lola: 9347280 markings, 33719923 edges, 55882 markings/sec, 155 secs
lola: 9631047 markings, 34739117 edges, 56753 markings/sec, 160 secs
lola: 9909875 markings, 35768409 edges, 55766 markings/sec, 165 secs
lola: 10185027 markings, 36802461 edges, 55030 markings/sec, 170 secs
lola: 10451384 markings, 37859919 edges, 53271 markings/sec, 175 secs
lola: 10734240 markings, 38872667 edges, 56571 markings/sec, 180 secs
lola: 11009336 markings, 39907931 edges, 55019 markings/sec, 185 secs
lola: 11286856 markings, 40944991 edges, 55504 markings/sec, 190 secs
lola: 11553739 markings, 42005780 edges, 53377 markings/sec, 195 secs
lola: 11828575 markings, 43041886 edges, 54967 markings/sec, 200 secs
lola: 12095268 markings, 44106845 edges, 53339 markings/sec, 205 secs
lola: 12360511 markings, 45176717 edges, 53049 markings/sec, 210 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(p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200)
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: 444794 markings, 444926 edges, 88959 markings/sec, 0 secs
lola: 886059 markings, 886192 edges, 88253 markings/sec, 5 secs
lola: 1326173 markings, 1326306 edges, 88023 markings/sec, 10 secs
lola: 1763198 markings, 1763331 edges, 87405 markings/sec, 15 secs
lola: 2198771 markings, 2198904 edges, 87115 markings/sec, 20 secs
lola: 2636235 markings, 2636368 edges, 87493 markings/sec, 25 secs
lola: 3071180 markings, 3071312 edges, 86989 markings/sec, 30 secs
lola: 3506554 markings, 3506687 edges, 87075 markings/sec, 35 secs
lola: 3939609 markings, 3939741 edges, 86611 markings/sec, 40 secs
lola: 4374447 markings, 4374580 edges, 86968 markings/sec, 45 secs
lola: 4809149 markings, 4809282 edges, 86940 markings/sec, 50 secs
lola: 5241999 markings, 5242132 edges, 86570 markings/sec, 55 secs
lola: 5676614 markings, 5676747 edges, 86923 markings/sec, 60 secs
lola: 6107520 markings, 6107652 edges, 86181 markings/sec, 65 secs
lola: 6539138 markings, 6539271 edges, 86324 markings/sec, 70 secs
lola: 6970916 markings, 6971048 edges, 86356 markings/sec, 75 secs
lola: 7400153 markings, 7400286 edges, 85847 markings/sec, 80 secs
lola: 7829452 markings, 7829585 edges, 85860 markings/sec, 85 secs
lola: 8257154 markings, 8257286 edges, 85540 markings/sec, 90 secs
lola: 8687659 markings, 8687792 edges, 86101 markings/sec, 95 secs
lola: 9118655 markings, 9118788 edges, 86199 markings/sec, 100 secs
lola: 9547594 markings, 9547726 edges, 85788 markings/sec, 105 secs
lola: 9975917 markings, 9976050 edges, 85665 markings/sec, 110 secs
lola: 10402568 markings, 10402700 edges, 85330 markings/sec, 115 secs
lola: 10831123 markings, 10831256 edges, 85711 markings/sec, 120 secs
lola: 11258609 markings, 11258742 edges, 85497 markings/sec, 125 secs
lola: 11684779 markings, 11684912 edges, 85234 markings/sec, 130 secs
lola: 12110682 markings, 12110815 edges, 85181 markings/sec, 135 secs
lola: 12536297 markings, 12536430 edges, 85123 markings/sec, 140 secs
lola: 12964528 markings, 12964661 edges, 85646 markings/sec, 145 secs
lola: 13393744 markings, 13393876 edges, 85843 markings/sec, 150 secs
lola: 13820160 markings, 13820292 edges, 85283 markings/sec, 155 secs
lola: 14246899 markings, 14247032 edges, 85348 markings/sec, 160 secs
lola: 14670749 markings, 14670881 edges, 84770 markings/sec, 165 secs
lola: 15097668 markings, 15097801 edges, 85384 markings/sec, 170 secs
lola: 15522795 markings, 15522928 edges, 85025 markings/sec, 175 secs
lola: 15946239 markings, 15946372 edges, 84689 markings/sec, 180 secs
lola: 16369446 markings, 16369579 edges, 84641 markings/sec, 185 secs
lola: 16791276 markings, 16791409 edges, 84366 markings/sec, 190 secs
lola: 17223890 markings, 17224022 edges, 86523 markings/sec, 195 secs
lola: 17653412 markings, 17653545 edges, 85904 markings/sec, 200 secs
lola: 18082695 markings, 18082827 edges, 85857 markings/sec, 205 secs
lola: 18513238 markings, 18513371 edges, 86109 markings/sec, 210 secs
lola: 18941670 markings, 18941803 edges, 85686 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p150)
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: 416633 markings, 416689 edges, 83327 markings/sec, 0 secs
lola: 829167 markings, 829223 edges, 82507 markings/sec, 5 secs
lola: 1236147 markings, 1236203 edges, 81396 markings/sec, 10 secs
lola: 1639457 markings, 1639512 edges, 80662 markings/sec, 15 secs
lola: 2041505 markings, 2041561 edges, 80410 markings/sec, 20 secs
lola: 2441443 markings, 2441499 edges, 79988 markings/sec, 25 secs
lola: 2835413 markings, 2835468 edges, 78794 markings/sec, 30 secs
lola: 3226296 markings, 3226352 edges, 78177 markings/sec, 35 secs
lola: 3619182 markings, 3619238 edges, 78577 markings/sec, 40 secs
lola: 4011519 markings, 4011574 edges, 78467 markings/sec, 45 secs
lola: 4402800 markings, 4402855 edges, 78256 markings/sec, 50 secs
lola: 4793069 markings, 4793125 edges, 78054 markings/sec, 55 secs
lola: 5181424 markings, 5181480 edges, 77671 markings/sec, 60 secs
lola: 5570513 markings, 5570569 edges, 77818 markings/sec, 65 secs
lola: 5957911 markings, 5957967 edges, 77480 markings/sec, 70 secs
lola: 6344124 markings, 6344179 edges, 77243 markings/sec, 75 secs
lola: 6732589 markings, 6732644 edges, 77693 markings/sec, 80 secs
lola: 7118170 markings, 7118226 edges, 77116 markings/sec, 85 secs
lola: 7502711 markings, 7502767 edges, 76908 markings/sec, 90 secs
lola: 7886136 markings, 7886191 edges, 76685 markings/sec, 95 secs
lola: 8268800 markings, 8268856 edges, 76533 markings/sec, 100 secs
lola: 8653110 markings, 8653166 edges, 76862 markings/sec, 105 secs
lola: 9038912 markings, 9038968 edges, 77160 markings/sec, 110 secs
lola: 9421967 markings, 9422022 edges, 76611 markings/sec, 115 secs
lola: 9805596 markings, 9805651 edges, 76726 markings/sec, 120 secs
lola: 10187088 markings, 10187144 edges, 76298 markings/sec, 125 secs
lola: 10567392 markings, 10567448 edges, 76061 markings/sec, 130 secs
lola: 10949693 markings, 10949749 edges, 76460 markings/sec, 135 secs
lola: 11331357 markings, 11331412 edges, 76333 markings/sec, 140 secs
lola: 11712124 markings, 11712180 edges, 76153 markings/sec, 145 secs
lola: 12092894 markings, 12092950 edges, 76154 markings/sec, 150 secs
lola: 12472518 markings, 12472574 edges, 75925 markings/sec, 155 secs
lola: 12855506 markings, 12855561 edges, 76598 markings/sec, 160 secs
lola: 13238578 markings, 13238634 edges, 76614 markings/sec, 165 secs
lola: 13619597 markings, 13619653 edges, 76204 markings/sec, 170 secs
lola: 14002812 markings, 14002867 edges, 76643 markings/sec, 175 secs
lola: 14385371 markings, 14385427 edges, 76512 markings/sec, 180 secs
lola: 14770279 markings, 14770335 edges, 76982 markings/sec, 185 secs
lola: 15156980 markings, 15157036 edges, 77340 markings/sec, 190 secs
lola: 15542873 markings, 15542928 edges, 77179 markings/sec, 195 secs
lola: 15927882 markings, 15927938 edges, 77002 markings/sec, 200 secs
lola: 16312227 markings, 16312283 edges, 76869 markings/sec, 205 secs
lola: 16695868 markings, 16695924 edges, 76728 markings/sec, 210 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(p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200)
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: 443588 markings, 443720 edges, 88718 markings/sec, 0 secs
lola: 883564 markings, 883697 edges, 87995 markings/sec, 5 secs
lola: 1322176 markings, 1322309 edges, 87722 markings/sec, 10 secs
lola: 1759730 markings, 1759863 edges, 87511 markings/sec, 15 secs
lola: 2195580 markings, 2195713 edges, 87170 markings/sec, 20 secs
lola: 2632236 markings, 2632368 edges, 87331 markings/sec, 25 secs
lola: 3067144 markings, 3067276 edges, 86982 markings/sec, 30 secs
lola: 3499943 markings, 3500075 edges, 86560 markings/sec, 35 secs
lola: 3929821 markings, 3929954 edges, 85976 markings/sec, 40 secs
lola: 4360504 markings, 4360637 edges, 86137 markings/sec, 45 secs
lola: 4796362 markings, 4796495 edges, 87172 markings/sec, 50 secs
lola: 5229997 markings, 5230130 edges, 86727 markings/sec, 55 secs
lola: 5664838 markings, 5664971 edges, 86968 markings/sec, 60 secs
lola: 6097464 markings, 6097597 edges, 86525 markings/sec, 65 secs
lola: 6530271 markings, 6530403 edges, 86561 markings/sec, 70 secs
lola: 6963508 markings, 6963641 edges, 86647 markings/sec, 75 secs
lola: 7395211 markings, 7395344 edges, 86341 markings/sec, 80 secs
lola: 7827044 markings, 7827177 edges, 86367 markings/sec, 85 secs
lola: 8256925 markings, 8257057 edges, 85976 markings/sec, 90 secs
lola: 8692351 markings, 8692484 edges, 87085 markings/sec, 95 secs
lola: 9127524 markings, 9127657 edges, 87035 markings/sec, 100 secs
lola: 9561341 markings, 9561473 edges, 86763 markings/sec, 105 secs
lola: 9994196 markings, 9994329 edges, 86571 markings/sec, 110 secs
lola: 10424890 markings, 10425022 edges, 86139 markings/sec, 115 secs
lola: 10857955 markings, 10858087 edges, 86613 markings/sec, 120 secs
lola: 11290035 markings, 11290168 edges, 86416 markings/sec, 125 secs
lola: 11720565 markings, 11720698 edges, 86106 markings/sec, 130 secs
lola: 12149523 markings, 12149656 edges, 85792 markings/sec, 135 secs
lola: 12576706 markings, 12576839 edges, 85437 markings/sec, 140 secs
lola: 13009042 markings, 13009175 edges, 86467 markings/sec, 145 secs
lola: 13437354 markings, 13437487 edges, 85662 markings/sec, 150 secs
lola: 13863668 markings, 13863800 edges, 85263 markings/sec, 155 secs
lola: 14289104 markings, 14289237 edges, 85087 markings/sec, 160 secs
lola: 14714567 markings, 14714700 edges, 85093 markings/sec, 165 secs
lola: 15143921 markings, 15144054 edges, 85871 markings/sec, 170 secs
lola: 15573447 markings, 15573580 edges, 85905 markings/sec, 175 secs
lola: 16000885 markings, 16001018 edges, 85488 markings/sec, 180 secs
lola: 16428238 markings, 16428370 edges, 85471 markings/sec, 185 secs
lola: 16855458 markings, 16855591 edges, 85444 markings/sec, 190 secs
lola: 17289075 markings, 17289207 edges, 86723 markings/sec, 195 secs
lola: 17716877 markings, 17717009 edges, 85560 markings/sec, 200 secs
lola: 18144958 markings, 18145091 edges, 85616 markings/sec, 205 secs
lola: 18571720 markings, 18571853 edges, 85352 markings/sec, 210 secs
lola: 18999565 markings, 18999698 edges, 85569 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p201 + p202 + p203 + p204 + p205)
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: 344625 markings, 1033628 edges, 68925 markings/sec, 0 secs
lola: 666392 markings, 2079724 edges, 64353 markings/sec, 5 secs
lola: 977375 markings, 3139490 edges, 62197 markings/sec, 10 secs
lola: 1287933 markings, 4174616 edges, 62112 markings/sec, 15 secs
lola: 1589159 markings, 5226123 edges, 60245 markings/sec, 20 secs
lola: 1889697 markings, 6282158 edges, 60108 markings/sec, 25 secs
lola: 2187625 markings, 7350220 edges, 59586 markings/sec, 30 secs
lola: 2488769 markings, 8365461 edges, 60229 markings/sec, 35 secs
lola: 2784750 markings, 9398107 edges, 59196 markings/sec, 40 secs
lola: 3072407 markings, 10453379 edges, 57531 markings/sec, 45 secs
lola: 3364301 markings, 11496528 edges, 58379 markings/sec, 50 secs
lola: 3650082 markings, 12563486 edges, 57156 markings/sec, 55 secs
lola: 3935116 markings, 13640764 edges, 57007 markings/sec, 60 secs
lola: 4217019 markings, 14742743 edges, 56381 markings/sec, 65 secs
lola: 4517671 markings, 15728759 edges, 60130 markings/sec, 70 secs
lola: 4809189 markings, 16744902 edges, 58304 markings/sec, 75 secs
lola: 5096330 markings, 17779738 edges, 57428 markings/sec, 80 secs
lola: 5381934 markings, 18817210 edges, 57121 markings/sec, 85 secs
lola: 5668067 markings, 19858025 edges, 57227 markings/sec, 90 secs
lola: 5948817 markings, 20910962 edges, 56150 markings/sec, 95 secs
lola: 6222283 markings, 21987124 edges, 54693 markings/sec, 100 secs
lola: 6508531 markings, 23025581 edges, 57250 markings/sec, 105 secs
lola: 6790488 markings, 24076359 edges, 56391 markings/sec, 110 secs
lola: 7070928 markings, 25134871 edges, 56088 markings/sec, 115 secs
lola: 7343139 markings, 26223425 edges, 54442 markings/sec, 120 secs
lola: 7625943 markings, 27281151 edges, 56561 markings/sec, 125 secs
lola: 7899265 markings, 28372092 edges, 54664 markings/sec, 130 secs
lola: 8172261 markings, 29472563 edges, 54599 markings/sec, 135 secs
lola: 8445860 markings, 30577268 edges, 54720 markings/sec, 140 secs
lola: 8741512 markings, 31556549 edges, 59130 markings/sec, 145 secs
lola: 9029147 markings, 32564209 edges, 57527 markings/sec, 150 secs
lola: 9311926 markings, 33589767 edges, 56556 markings/sec, 155 secs
lola: 9596520 markings, 34614675 edges, 56919 markings/sec, 160 secs
lola: 9878028 markings, 35645134 edges, 56302 markings/sec, 165 secs
lola: 10155225 markings, 36687663 edges, 55439 markings/sec, 170 secs
lola: 10425308 markings, 37751359 edges, 54017 markings/sec, 175 secs
lola: 10708899 markings, 38776659 edges, 56718 markings/sec, 180 secs
lola: 10987702 markings, 39816561 edges, 55761 markings/sec, 185 secs
lola: 11266018 markings, 40866890 edges, 55663 markings/sec, 190 secs
lola: 11533826 markings, 41940402 edges, 53562 markings/sec, 195 secs
lola: 11812393 markings, 42981427 edges, 55713 markings/sec, 200 secs
lola: 12080417 markings, 44050888 edges, 53605 markings/sec, 205 secs
lola: 12347414 markings, 45124387 edges, 53399 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p160 + p159 + p158 + p157 + p156 + p155 + p154 + p153 + p152 + p151)
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: 260090 markings, 1685084 edges, 52018 markings/sec, 0 secs
lola: 496137 markings, 3363263 edges, 47209 markings/sec, 5 secs
lola: 727043 markings, 5021375 edges, 46181 markings/sec, 10 secs
lola: 945958 markings, 6716261 edges, 43783 markings/sec, 15 secs
lola: 1164998 markings, 8383702 edges, 43808 markings/sec, 20 secs
lola: 1383397 markings, 10025638 edges, 43680 markings/sec, 25 secs
lola: 1588853 markings, 11702864 edges, 41091 markings/sec, 30 secs
lola: 1798836 markings, 13364813 edges, 41997 markings/sec, 35 secs
lola: 1998326 markings, 15063546 edges, 39898 markings/sec, 40 secs
lola: 2206725 markings, 16719826 edges, 41680 markings/sec, 45 secs
lola: 2420608 markings, 18329270 edges, 42777 markings/sec, 50 secs
lola: 2620047 markings, 19973082 edges, 39888 markings/sec, 55 secs
lola: 2828592 markings, 21592373 edges, 41709 markings/sec, 60 secs
lola: 3023113 markings, 23247478 edges, 38904 markings/sec, 65 secs
lola: 3218717 markings, 24904628 edges, 39121 markings/sec, 70 secs
lola: 3418225 markings, 26547533 edges, 39902 markings/sec, 75 secs
lola: 3611776 markings, 28207560 edges, 38710 markings/sec, 80 secs
lola: 3802235 markings, 29875351 edges, 38092 markings/sec, 85 secs
lola: 3989243 markings, 31553641 edges, 37402 markings/sec, 90 secs
lola: 4166418 markings, 33252349 edges, 35435 markings/sec, 95 secs
lola: 4375721 markings, 34807222 edges, 41861 markings/sec, 100 secs
lola: 4578620 markings, 36372582 edges, 40580 markings/sec, 105 secs
lola: 4775773 markings, 37956945 edges, 39431 markings/sec, 110 secs
lola: 4970484 markings, 39547922 edges, 38942 markings/sec, 115 secs
lola: 5159911 markings, 41153944 edges, 37885 markings/sec, 120 secs
lola: 5352034 markings, 42750646 edges, 38425 markings/sec, 125 secs
lola: 5545319 markings, 44346352 edges, 38657 markings/sec, 130 secs
lola: 5730291 markings, 45968143 edges, 36994 markings/sec, 135 secs
lola: 5917095 markings, 47581412 edges, 37361 markings/sec, 140 secs
lola: 6096507 markings, 49213329 edges, 35882 markings/sec, 145 secs
lola: 6268049 markings, 50861762 edges, 34308 markings/sec, 150 secs
lola: 6465616 markings, 52445874 edges, 39513 markings/sec, 155 secs
lola: 6656978 markings, 54054362 edges, 38272 markings/sec, 160 secs
lola: 6839875 markings, 55686013 edges, 36579 markings/sec, 165 secs
lola: 7027767 markings, 57313405 edges, 37578 markings/sec, 170 secs
lola: 7205435 markings, 58959247 edges, 35534 markings/sec, 175 secs
lola: 7381593 markings, 60609458 edges, 35232 markings/sec, 180 secs
lola: 7567214 markings, 62239771 edges, 37124 markings/sec, 185 secs
lola: 7734887 markings, 63794907 edges, 33535 markings/sec, 190 secs
lola: 7909582 markings, 65457632 edges, 34939 markings/sec, 195 secs
lola: 8084643 markings, 67122659 edges, 35012 markings/sec, 200 secs
lola: 8252666 markings, 68804448 edges, 33605 markings/sec, 205 secs
lola: 8424285 markings, 70470995 edges, 34324 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200)
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: 441618 markings, 441750 edges, 88324 markings/sec, 0 secs
lola: 882593 markings, 882726 edges, 88195 markings/sec, 5 secs
lola: 1322647 markings, 1322780 edges, 88011 markings/sec, 10 secs
lola: 1760985 markings, 1761118 edges, 87668 markings/sec, 15 secs
lola: 2199583 markings, 2199716 edges, 87720 markings/sec, 20 secs
lola: 2638201 markings, 2638334 edges, 87724 markings/sec, 25 secs
lola: 3074822 markings, 3074955 edges, 87324 markings/sec, 30 secs
lola: 3510192 markings, 3510325 edges, 87074 markings/sec, 35 secs
lola: 3944948 markings, 3945080 edges, 86951 markings/sec, 40 secs
lola: 4381110 markings, 4381243 edges, 87232 markings/sec, 45 secs
lola: 4817799 markings, 4817931 edges, 87338 markings/sec, 50 secs
lola: 5251038 markings, 5251171 edges, 86648 markings/sec, 55 secs
lola: 5683238 markings, 5683370 edges, 86440 markings/sec, 60 secs
lola: 6113233 markings, 6113366 edges, 85999 markings/sec, 65 secs
lola: 6542786 markings, 6542919 edges, 85911 markings/sec, 70 secs
lola: 6973139 markings, 6973271 edges, 86071 markings/sec, 75 secs
lola: 7401860 markings, 7401993 edges, 85744 markings/sec, 80 secs
lola: 7830477 markings, 7830609 edges, 85723 markings/sec, 85 secs
lola: 8257678 markings, 8257812 edges, 85440 markings/sec, 90 secs
lola: 8689741 markings, 8689873 edges, 86413 markings/sec, 95 secs
lola: 9122152 markings, 9122285 edges, 86482 markings/sec, 100 secs
lola: 9552940 markings, 9553073 edges, 86158 markings/sec, 105 secs
lola: 9982735 markings, 9982867 edges, 85959 markings/sec, 110 secs
lola: 10411349 markings, 10411481 edges, 85723 markings/sec, 115 secs
lola: 10842778 markings, 10842911 edges, 86286 markings/sec, 120 secs
lola: 11272341 markings, 11272474 edges, 85913 markings/sec, 125 secs
lola: 11700914 markings, 11701047 edges, 85715 markings/sec, 130 secs
lola: 12128226 markings, 12128358 edges, 85462 markings/sec, 135 secs
lola: 12554093 markings, 12554226 edges, 85173 markings/sec, 140 secs
lola: 12986763 markings, 12986895 edges, 86534 markings/sec, 145 secs
lola: 13417652 markings, 13417785 edges, 86178 markings/sec, 150 secs
lola: 13847550 markings, 13847683 edges, 85980 markings/sec, 155 secs
lola: 14276688 markings, 14276821 edges, 85828 markings/sec, 160 secs
lola: 14704319 markings, 14704452 edges, 85526 markings/sec, 165 secs
lola: 15133939 markings, 15134071 edges, 85924 markings/sec, 170 secs
lola: 15558938 markings, 15559071 edges, 85000 markings/sec, 175 secs
lola: 15981327 markings, 15981459 edges, 84478 markings/sec, 180 secs
lola: 16402798 markings, 16402931 edges, 84294 markings/sec, 185 secs
lola: 16824371 markings, 16824503 edges, 84315 markings/sec, 190 secs
lola: 17254566 markings, 17254699 edges, 86039 markings/sec, 195 secs
lola: 17681238 markings, 17681371 edges, 85334 markings/sec, 200 secs
lola: 18106815 markings, 18106948 edges, 85115 markings/sec, 205 secs
lola: 18531945 markings, 18532077 edges, 85026 markings/sec, 210 secs
lola: 18955424 markings, 18955557 edges, 84696 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
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 1496446368536

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_CSRepetitions-COL-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/S_CSRepetitions-COL-05.tgz
mv S_CSRepetitions-COL-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 S_CSRepetitions-COL-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 r098-ebro-149488455500083"
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 ;