About the Execution of LoLA for S_SimpleLoadBal-COL-20
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
767.980 | 3539373.00 | 3549066.00 | 182.70 | ? ? ? ? ? ? ? ? ? ? ? ? 2 ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_SimpleLoadBal-COL-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-csrt-149443433100362
=====================================================================
--------------------
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 SimpleLoadBal-COL-20-UpperBounds-0
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-1
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-10
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-11
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-12
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-13
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-14
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-15
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-2
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-3
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-4
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-5
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-6
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-7
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-8
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496450945712
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_SimpleLoadBal-COL-20: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_SimpleLoadBal-COL-20: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_SimpleLoadBal-COL-20 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2545/65536 symbol table entries, 24 collisions
lola: preprocessing...
lola: finding significant places
lola: 194 places, 2351 transitions, 147 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3781 transition conflict sets
lola: TASK
lola: reading formula from SimpleLoadBal-COL-20-UpperBounds.task
lola: MAX(p150 + p149) : MAX(p150 + p149) : MAX(p127 + p126) : MAX(p127 + p126) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39) : MAX(p150 + p149) : MAX(p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p172) : MAX(p150 + p149) : MAX(p100 + p101) : MAX(p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148) : MAX(p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79) : MAX(p58 + p57 + p56 + p55 + p54 + p53 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p59) : MAX(p58 + p57 + p56 + p55 + p54 + p53 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p59) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39) : MAX(p127 + p126)
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 + p149)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 588 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: 20720 markings, 46858 edges, 4144 markings/sec, 0 secs
lola: 41330 markings, 97467 edges, 4122 markings/sec, 5 secs
lola: 61963 markings, 148619 edges, 4127 markings/sec, 10 secs
lola: 82799 markings, 200428 edges, 4167 markings/sec, 15 secs
lola: 103124 markings, 251898 edges, 4065 markings/sec, 20 secs
lola: 124742 markings, 307280 edges, 4324 markings/sec, 25 secs
lola: 145787 markings, 362104 edges, 4209 markings/sec, 30 secs
lola: 166305 markings, 415300 edges, 4104 markings/sec, 35 secs
lola: 186958 markings, 468291 edges, 4131 markings/sec, 40 secs
lola: 207758 markings, 522760 edges, 4160 markings/sec, 45 secs
lola: 228117 markings, 576760 edges, 4072 markings/sec, 50 secs
lola: 249456 markings, 631427 edges, 4268 markings/sec, 55 secs
lola: 270669 markings, 687374 edges, 4243 markings/sec, 60 secs
lola: 290708 markings, 740322 edges, 4008 markings/sec, 65 secs
lola: 312051 markings, 797728 edges, 4269 markings/sec, 70 secs
lola: 332035 markings, 850700 edges, 3997 markings/sec, 75 secs
lola: 352548 markings, 904818 edges, 4103 markings/sec, 80 secs
lola: 372422 markings, 958645 edges, 3975 markings/sec, 85 secs
lola: 392534 markings, 1012662 edges, 4022 markings/sec, 90 secs
lola: 412623 markings, 1066079 edges, 4018 markings/sec, 95 secs
lola: 432619 markings, 1119673 edges, 3999 markings/sec, 100 secs
lola: 452796 markings, 1173838 edges, 4035 markings/sec, 105 secs
lola: 472766 markings, 1226946 edges, 3994 markings/sec, 110 secs
lola: 491825 markings, 1277477 edges, 3812 markings/sec, 115 secs
lola: 512439 markings, 1334941 edges, 4123 markings/sec, 120 secs
lola: 533094 markings, 1391106 edges, 4131 markings/sec, 125 secs
lola: 554270 markings, 1447845 edges, 4235 markings/sec, 130 secs
lola: 575556 markings, 1505997 edges, 4257 markings/sec, 135 secs
lola: 596836 markings, 1563288 edges, 4256 markings/sec, 140 secs
lola: 618181 markings, 1620390 edges, 4269 markings/sec, 145 secs
lola: 639114 markings, 1676754 edges, 4187 markings/sec, 150 secs
lola: 660084 markings, 1733836 edges, 4194 markings/sec, 155 secs
lola: 681162 markings, 1790763 edges, 4216 markings/sec, 160 secs
lola: 701215 markings, 1844674 edges, 4011 markings/sec, 165 secs
lola: 721303 markings, 1899626 edges, 4018 markings/sec, 170 secs
lola: 741880 markings, 1954994 edges, 4115 markings/sec, 175 secs
lola: 762870 markings, 2011318 edges, 4198 markings/sec, 180 secs
lola: 784161 markings, 2069728 edges, 4258 markings/sec, 185 secs
lola: 805020 markings, 2125643 edges, 4172 markings/sec, 190 secs
lola: 825664 markings, 2182264 edges, 4129 markings/sec, 195 secs
lola: 846495 markings, 2238654 edges, 4166 markings/sec, 200 secs
lola: 867630 markings, 2298248 edges, 4227 markings/sec, 205 secs
lola: 888731 markings, 2354018 edges, 4220 markings/sec, 210 secs
lola: 909699 markings, 2410887 edges, 4194 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 + p149)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 588 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: 20623 markings, 46674 edges, 4125 markings/sec, 0 secs
lola: 42596 markings, 100530 edges, 4395 markings/sec, 5 secs
lola: 64489 markings, 154962 edges, 4379 markings/sec, 10 secs
lola: 86574 markings, 209827 edges, 4417 markings/sec, 15 secs
lola: 107875 markings, 264246 edges, 4260 markings/sec, 20 secs
lola: 129027 markings, 318419 edges, 4230 markings/sec, 25 secs
lola: 150284 markings, 373715 edges, 4251 markings/sec, 30 secs
lola: 171659 markings, 428809 edges, 4275 markings/sec, 35 secs
lola: 192674 markings, 483189 edges, 4203 markings/sec, 40 secs
lola: 214099 markings, 539378 edges, 4285 markings/sec, 45 secs
lola: 235864 markings, 597225 edges, 4353 markings/sec, 50 secs
lola: 257335 markings, 651834 edges, 4294 markings/sec, 55 secs
lola: 278867 markings, 709322 edges, 4306 markings/sec, 60 secs
lola: 299916 markings, 764730 edges, 4210 markings/sec, 65 secs
lola: 320952 markings, 821885 edges, 4207 markings/sec, 70 secs
lola: 342125 markings, 877238 edges, 4235 markings/sec, 75 secs
lola: 362213 markings, 930946 edges, 4018 markings/sec, 80 secs
lola: 383154 markings, 987800 edges, 4188 markings/sec, 85 secs
lola: 404745 markings, 1045236 edges, 4318 markings/sec, 90 secs
lola: 425149 markings, 1100036 edges, 4081 markings/sec, 95 secs
lola: 445695 markings, 1154832 edges, 4109 markings/sec, 100 secs
lola: 467308 markings, 1211913 edges, 4323 markings/sec, 105 secs
lola: 487613 markings, 1266394 edges, 4061 markings/sec, 110 secs
lola: 507740 markings, 1322182 edges, 4025 markings/sec, 115 secs
lola: 527907 markings, 1377287 edges, 4033 markings/sec, 120 secs
lola: 547956 markings, 1431160 edges, 4010 markings/sec, 125 secs
lola: 567967 markings, 1485307 edges, 4002 markings/sec, 130 secs
lola: 588502 markings, 1541408 edges, 4107 markings/sec, 135 secs
lola: 608546 markings, 1594566 edges, 4009 markings/sec, 140 secs
lola: 628393 markings, 1647614 edges, 3969 markings/sec, 145 secs
lola: 648413 markings, 1701443 edges, 4004 markings/sec, 150 secs
lola: 667947 markings, 1755113 edges, 3907 markings/sec, 155 secs
lola: 687780 markings, 1808751 edges, 3967 markings/sec, 160 secs
lola: 707768 markings, 1862256 edges, 3998 markings/sec, 165 secs
lola: 727781 markings, 1917241 edges, 4003 markings/sec, 170 secs
lola: 748056 markings, 1971774 edges, 4055 markings/sec, 175 secs
lola: 768597 markings, 2027193 edges, 4108 markings/sec, 180 secs
lola: 788604 markings, 2081682 edges, 4001 markings/sec, 185 secs
lola: 808917 markings, 2136558 edges, 4063 markings/sec, 190 secs
lola: 828786 markings, 2190612 edges, 3974 markings/sec, 195 secs
lola: 849148 markings, 2246238 edges, 4072 markings/sec, 200 secs
lola: 869319 markings, 2302765 edges, 4034 markings/sec, 205 secs
lola: 889835 markings, 2356949 edges, 4103 markings/sec, 210 secs
lola: 909577 markings, 2410551 edges, 3948 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(p127 + p126)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 588 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: 20224 markings, 45366 edges, 4045 markings/sec, 0 secs
lola: 41627 markings, 97254 edges, 4281 markings/sec, 5 secs
lola: 62615 markings, 148668 edges, 4198 markings/sec, 10 secs
lola: 83638 markings, 200849 edges, 4205 markings/sec, 15 secs
lola: 104775 markings, 253001 edges, 4227 markings/sec, 20 secs
lola: 126436 markings, 308056 edges, 4332 markings/sec, 25 secs
lola: 147468 markings, 361922 edges, 4206 markings/sec, 30 secs
lola: 167623 markings, 414052 edges, 4031 markings/sec, 35 secs
lola: 188023 markings, 466465 edges, 4080 markings/sec, 40 secs
lola: 209514 markings, 522982 edges, 4298 markings/sec, 45 secs
lola: 230025 markings, 575830 edges, 4102 markings/sec, 50 secs
lola: 250287 markings, 628454 edges, 4052 markings/sec, 55 secs
lola: 270471 markings, 682181 edges, 4037 markings/sec, 60 secs
lola: 291697 markings, 737591 edges, 4245 markings/sec, 65 secs
lola: 312131 markings, 790883 edges, 4087 markings/sec, 70 secs
lola: 331921 markings, 843190 edges, 3958 markings/sec, 75 secs
lola: 352126 markings, 897057 edges, 4041 markings/sec, 80 secs
lola: 372775 markings, 951478 edges, 4130 markings/sec, 85 secs
lola: 393855 markings, 1007547 edges, 4216 markings/sec, 90 secs
lola: 415146 markings, 1065058 edges, 4258 markings/sec, 95 secs
lola: 435774 markings, 1119782 edges, 4126 markings/sec, 100 secs
lola: 456571 markings, 1174937 edges, 4159 markings/sec, 105 secs
lola: 477100 markings, 1228201 edges, 4106 markings/sec, 110 secs
lola: 497866 markings, 1283610 edges, 4153 markings/sec, 115 secs
lola: 519237 markings, 1339923 edges, 4274 markings/sec, 120 secs
lola: 540268 markings, 1395596 edges, 4206 markings/sec, 125 secs
lola: 561516 markings, 1453008 edges, 4250 markings/sec, 130 secs
lola: 582717 markings, 1509007 edges, 4240 markings/sec, 135 secs
lola: 603814 markings, 1564912 edges, 4219 markings/sec, 140 secs
lola: 625324 markings, 1622212 edges, 4302 markings/sec, 145 secs
lola: 646261 markings, 1678864 edges, 4187 markings/sec, 150 secs
lola: 667972 markings, 1737260 edges, 4342 markings/sec, 155 secs
lola: 689249 markings, 1794924 edges, 4255 markings/sec, 160 secs
lola: 708862 markings, 1848614 edges, 3923 markings/sec, 165 secs
lola: 728534 markings, 1901730 edges, 3934 markings/sec, 170 secs
lola: 748950 markings, 1957254 edges, 4083 markings/sec, 175 secs
lola: 770551 markings, 2015009 edges, 4320 markings/sec, 180 secs
lola: 792148 markings, 2072999 edges, 4319 markings/sec, 185 secs
lola: 813372 markings, 2131186 edges, 4245 markings/sec, 190 secs
lola: 834248 markings, 2188755 edges, 4175 markings/sec, 195 secs
lola: 855226 markings, 2245543 edges, 4196 markings/sec, 200 secs
lola: 876004 markings, 2302862 edges, 4156 markings/sec, 205 secs
lola: 897433 markings, 2361595 edges, 4286 markings/sec, 210 secs
lola: 918723 markings, 2418925 edges, 4258 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(p127 + p126)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 588 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: 22372 markings, 50479 edges, 4474 markings/sec, 0 secs
lola: 44521 markings, 104080 edges, 4430 markings/sec, 5 secs
lola: 66036 markings, 157112 edges, 4303 markings/sec, 10 secs
lola: 87839 markings, 211077 edges, 4361 markings/sec, 15 secs
lola: 109818 markings, 265862 edges, 4396 markings/sec, 20 secs
lola: 130986 markings, 319519 edges, 4234 markings/sec, 25 secs
lola: 151118 markings, 371428 edges, 4026 markings/sec, 30 secs
lola: 171181 markings, 423063 edges, 4013 markings/sec, 35 secs
lola: 191534 markings, 476037 edges, 4071 markings/sec, 40 secs
lola: 213804 markings, 533804 edges, 4454 markings/sec, 45 secs
lola: 236169 markings, 591967 edges, 4473 markings/sec, 50 secs
lola: 258427 markings, 649993 edges, 4452 markings/sec, 55 secs
lola: 280533 markings, 708365 edges, 4421 markings/sec, 60 secs
lola: 302374 markings, 765624 edges, 4368 markings/sec, 65 secs
lola: 324060 markings, 822490 edges, 4337 markings/sec, 70 secs
lola: 346113 markings, 881013 edges, 4411 markings/sec, 75 secs
lola: 367864 markings, 938692 edges, 4350 markings/sec, 80 secs
lola: 389204 markings, 995068 edges, 4268 markings/sec, 85 secs
lola: 411613 markings, 1055907 edges, 4482 markings/sec, 90 secs
lola: 433721 markings, 1114274 edges, 4422 markings/sec, 95 secs
lola: 455524 markings, 1172118 edges, 4361 markings/sec, 100 secs
lola: 476587 markings, 1226867 edges, 4213 markings/sec, 105 secs
lola: 496730 markings, 1280599 edges, 4029 markings/sec, 110 secs
lola: 516806 markings, 1333353 edges, 4015 markings/sec, 115 secs
lola: 537490 markings, 1388078 edges, 4137 markings/sec, 120 secs
lola: 558751 markings, 1445500 edges, 4252 markings/sec, 125 secs
lola: 580848 markings, 1503976 edges, 4419 markings/sec, 130 secs
lola: 602608 markings, 1561639 edges, 4352 markings/sec, 135 secs
lola: 624195 markings, 1619143 edges, 4317 markings/sec, 140 secs
lola: 645701 markings, 1677282 edges, 4301 markings/sec, 145 secs
lola: 667502 markings, 1735989 edges, 4360 markings/sec, 150 secs
lola: 689115 markings, 1794577 edges, 4323 markings/sec, 155 secs
lola: 710786 markings, 1854003 edges, 4334 markings/sec, 160 secs
lola: 732469 markings, 1912132 edges, 4337 markings/sec, 165 secs
lola: 753773 markings, 1970067 edges, 4261 markings/sec, 170 secs
lola: 774624 markings, 2026078 edges, 4170 markings/sec, 175 secs
lola: 794305 markings, 2079208 edges, 3936 markings/sec, 180 secs
lola: 814245 markings, 2133707 edges, 3988 markings/sec, 185 secs
lola: 833979 markings, 2188023 edges, 3947 markings/sec, 190 secs
lola: 853916 markings, 2242381 edges, 3987 markings/sec, 195 secs
lola: 874744 markings, 2299417 edges, 4166 markings/sec, 200 secs
lola: 896250 markings, 2358465 edges, 4301 markings/sec, 205 secs
lola: 917473 markings, 2415557 edges, 4245 markings/sec, 210 secs
lola: 939011 markings, 2474063 edges, 4308 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 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 588 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: 20514 markings, 29967 edges, 4103 markings/sec, 0 secs
lola: 40252 markings, 58733 edges, 3948 markings/sec, 5 secs
lola: 60108 markings, 87700 edges, 3971 markings/sec, 10 secs
lola: 79907 markings, 117086 edges, 3960 markings/sec, 15 secs
lola: 101135 markings, 148318 edges, 4246 markings/sec, 20 secs
lola: 122200 markings, 179702 edges, 4213 markings/sec, 25 secs
lola: 143486 markings, 210814 edges, 4257 markings/sec, 30 secs
lola: 163536 markings, 240810 edges, 4010 markings/sec, 35 secs
lola: 184467 markings, 272497 edges, 4186 markings/sec, 40 secs
lola: 205320 markings, 304356 edges, 4171 markings/sec, 45 secs
lola: 226051 markings, 336371 edges, 4146 markings/sec, 50 secs
lola: 246692 markings, 368504 edges, 4128 markings/sec, 55 secs
lola: 267312 markings, 400622 edges, 4124 markings/sec, 60 secs
lola: 287821 markings, 432873 edges, 4102 markings/sec, 65 secs
lola: 308371 markings, 465600 edges, 4110 markings/sec, 70 secs
lola: 328894 markings, 498068 edges, 4105 markings/sec, 75 secs
lola: 349189 markings, 530584 edges, 4059 markings/sec, 80 secs
lola: 369578 markings, 562951 edges, 4078 markings/sec, 85 secs
lola: 390016 markings, 595851 edges, 4088 markings/sec, 90 secs
lola: 410678 markings, 629275 edges, 4132 markings/sec, 95 secs
lola: 431222 markings, 662270 edges, 4109 markings/sec, 100 secs
lola: 451561 markings, 694941 edges, 4068 markings/sec, 105 secs
lola: 470999 markings, 725988 edges, 3888 markings/sec, 110 secs
lola: 491212 markings, 759098 edges, 4043 markings/sec, 115 secs
lola: 511527 markings, 792117 edges, 4063 markings/sec, 120 secs
lola: 531734 markings, 825103 edges, 4041 markings/sec, 125 secs
lola: 551674 markings, 857901 edges, 3988 markings/sec, 130 secs
lola: 571519 markings, 890149 edges, 3969 markings/sec, 135 secs
lola: 591375 markings, 922464 edges, 3971 markings/sec, 140 secs
lola: 611377 markings, 955344 edges, 4000 markings/sec, 145 secs
lola: 631225 markings, 987538 edges, 3970 markings/sec, 150 secs
lola: 651882 markings, 1021254 edges, 4131 markings/sec, 155 secs
lola: 672756 markings, 1053965 edges, 4175 markings/sec, 160 secs
lola: 693493 markings, 1084584 edges, 4147 markings/sec, 165 secs
lola: 714168 markings, 1114899 edges, 4135 markings/sec, 170 secs
lola: 735143 markings, 1146065 edges, 4195 markings/sec, 175 secs
lola: 756085 markings, 1177860 edges, 4188 markings/sec, 180 secs
lola: 776956 markings, 1210045 edges, 4174 markings/sec, 185 secs
lola: 797661 markings, 1242346 edges, 4141 markings/sec, 190 secs
lola: 818208 markings, 1274403 edges, 4109 markings/sec, 195 secs
lola: 838790 markings, 1306875 edges, 4116 markings/sec, 200 secs
lola: 859278 markings, 1339693 edges, 4098 markings/sec, 205 secs
lola: 879879 markings, 1372465 edges, 4120 markings/sec, 210 secs
lola: 898930 markings, 1402954 edges, 3810 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(p150 + p149)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 588 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: 22788 markings, 51852 edges, 4558 markings/sec, 0 secs
lola: 45652 markings, 108125 edges, 4573 markings/sec, 5 secs
lola: 68087 markings, 163843 edges, 4487 markings/sec, 10 secs
lola: 90876 markings, 221164 edges, 4558 markings/sec, 15 secs
lola: 112550 markings, 276201 edges, 4335 markings/sec, 20 secs
lola: 133121 markings, 328987 edges, 4114 markings/sec, 25 secs
lola: 153632 markings, 382591 edges, 4102 markings/sec, 30 secs
lola: 174089 markings, 435035 edges, 4091 markings/sec, 35 secs
lola: 194474 markings, 488134 edges, 4077 markings/sec, 40 secs
lola: 214892 markings, 541382 edges, 4084 markings/sec, 45 secs
lola: 235809 markings, 597093 edges, 4183 markings/sec, 50 secs
lola: 256249 markings, 649000 edges, 4088 markings/sec, 55 secs
lola: 276496 markings, 703183 edges, 4049 markings/sec, 60 secs
lola: 297388 markings, 758046 edges, 4178 markings/sec, 65 secs
lola: 319226 markings, 817324 edges, 4368 markings/sec, 70 secs
lola: 340942 markings, 874266 edges, 4343 markings/sec, 75 secs
lola: 362457 markings, 931611 edges, 4303 markings/sec, 80 secs
lola: 383969 markings, 990074 edges, 4302 markings/sec, 85 secs
lola: 404351 markings, 1044190 edges, 4076 markings/sec, 90 secs
lola: 424456 markings, 1098247 edges, 4021 markings/sec, 95 secs
lola: 445072 markings, 1153090 edges, 4123 markings/sec, 100 secs
lola: 466497 markings, 1209724 edges, 4285 markings/sec, 105 secs
lola: 488001 markings, 1267466 edges, 4301 markings/sec, 110 secs
lola: 509220 markings, 1326238 edges, 4244 markings/sec, 115 secs
lola: 531024 markings, 1385644 edges, 4361 markings/sec, 120 secs
lola: 551941 markings, 1441792 edges, 4183 markings/sec, 125 secs
lola: 573081 markings, 1499231 edges, 4228 markings/sec, 130 secs
lola: 594409 markings, 1556817 edges, 4266 markings/sec, 135 secs
lola: 615676 markings, 1613584 edges, 4253 markings/sec, 140 secs
lola: 636729 markings, 1670257 edges, 4211 markings/sec, 145 secs
lola: 657907 markings, 1727894 edges, 4236 markings/sec, 150 secs
lola: 678686 markings, 1784047 edges, 4156 markings/sec, 155 secs
lola: 699828 markings, 1840791 edges, 4228 markings/sec, 160 secs
lola: 721209 markings, 1899367 edges, 4276 markings/sec, 165 secs
lola: 742860 markings, 1957757 edges, 4330 markings/sec, 170 secs
lola: 764513 markings, 2015822 edges, 4331 markings/sec, 175 secs
lola: 785172 markings, 2072335 edges, 4132 markings/sec, 180 secs
lola: 806711 markings, 2130505 edges, 4308 markings/sec, 185 secs
lola: 828604 markings, 2190074 edges, 4379 markings/sec, 190 secs
lola: 850947 markings, 2251250 edges, 4469 markings/sec, 195 secs
lola: 873321 markings, 2313648 edges, 4475 markings/sec, 200 secs
lola: 895406 markings, 2372243 edges, 4417 markings/sec, 205 secs
lola: 917143 markings, 2431125 edges, 4347 markings/sec, 210 secs
lola: 938648 markings, 2489440 edges, 4301 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(p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p172)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 588 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: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: ========================================
lola: subprocess 7 will run for 245 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p150 + p149)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 588 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: 21710 markings, 49308 edges, 4342 markings/sec, 0 secs
lola: 43888 markings, 103787 edges, 4436 markings/sec, 5 secs
lola: 66177 markings, 158924 edges, 4458 markings/sec, 10 secs
lola: 88445 markings, 214626 edges, 4454 markings/sec, 15 secs
lola: 110872 markings, 271943 edges, 4485 markings/sec, 20 secs
lola: 133168 markings, 329110 edges, 4459 markings/sec, 25 secs
lola: 155714 markings, 387602 edges, 4509 markings/sec, 30 secs
lola: 177923 markings, 445174 edges, 4442 markings/sec, 35 secs
lola: 200117 markings, 503602 edges, 4439 markings/sec, 40 secs
lola: 222812 markings, 562697 edges, 4539 markings/sec, 45 secs
lola: 245297 markings, 620922 edges, 4497 markings/sec, 50 secs
lola: 267675 markings, 679113 edges, 4476 markings/sec, 55 secs
lola: 289378 markings, 736900 edges, 4341 markings/sec, 60 secs
lola: 311614 markings, 796395 edges, 4447 markings/sec, 65 secs
lola: 333501 markings, 854531 edges, 4377 markings/sec, 70 secs
lola: 355412 markings, 912486 edges, 4382 markings/sec, 75 secs
lola: 377502 markings, 972665 edges, 4418 markings/sec, 80 secs
lola: 399734 markings, 1032411 edges, 4446 markings/sec, 85 secs
lola: 421699 markings, 1090446 edges, 4393 markings/sec, 90 secs
lola: 443677 markings, 1149438 edges, 4396 markings/sec, 95 secs
lola: 465652 markings, 1207448 edges, 4395 markings/sec, 100 secs
lola: 487821 markings, 1266965 edges, 4434 markings/sec, 105 secs
lola: 509464 markings, 1326891 edges, 4329 markings/sec, 110 secs
lola: 531253 markings, 1386250 edges, 4358 markings/sec, 115 secs
lola: 553094 markings, 1444604 edges, 4368 markings/sec, 120 secs
lola: 575216 markings, 1505023 edges, 4424 markings/sec, 125 secs
lola: 597572 markings, 1565179 edges, 4471 markings/sec, 130 secs
lola: 619707 markings, 1624406 edges, 4427 markings/sec, 135 secs
lola: 641550 markings, 1683559 edges, 4369 markings/sec, 140 secs
lola: 663706 markings, 1743517 edges, 4431 markings/sec, 145 secs
lola: 685927 markings, 1803871 edges, 4444 markings/sec, 150 secs
lola: 707569 markings, 1861763 edges, 4328 markings/sec, 155 secs
lola: 728439 markings, 1919099 edges, 4174 markings/sec, 160 secs
lola: 750607 markings, 1978659 edges, 4434 markings/sec, 165 secs
lola: 772705 markings, 2038528 edges, 4420 markings/sec, 170 secs
lola: 793770 markings, 2095443 edges, 4213 markings/sec, 175 secs
lola: 816008 markings, 2156522 edges, 4448 markings/sec, 180 secs
lola: 838251 markings, 2216136 edges, 4449 markings/sec, 185 secs
lola: 860620 markings, 2278649 edges, 4474 markings/sec, 190 secs
lola: 882914 markings, 2338558 edges, 4459 markings/sec, 195 secs
lola: 904621 markings, 2397024 edges, 4341 markings/sec, 200 secs
lola: 926739 markings, 2457525 edges, 4424 markings/sec, 205 secs
lola: 948851 markings, 2517484 edges, 4422 markings/sec, 210 secs
lola: 970838 markings, 2577167 edges, 4397 markings/sec, 215 secs
lola: 992606 markings, 2637359 edges, 4354 markings/sec, 220 secs
lola: 1014732 markings, 2698085 edges, 4425 markings/sec, 225 secs
lola: 1036748 markings, 2759520 edges, 4403 markings/sec, 230 secs
lola: 1058605 markings, 2820470 edges, 4371 markings/sec, 235 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 588 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: 22224 markings, 50183 edges, 4445 markings/sec, 0 secs
lola: 44735 markings, 104637 edges, 4502 markings/sec, 5 secs
lola: 66889 markings, 159159 edges, 4431 markings/sec, 10 secs
lola: 88693 markings, 213214 edges, 4361 markings/sec, 15 secs
lola: 110835 markings, 268457 edges, 4428 markings/sec, 20 secs
lola: 133042 markings, 324699 edges, 4441 markings/sec, 25 secs
lola: 155821 markings, 383353 edges, 4556 markings/sec, 30 secs
lola: 178583 markings, 442048 edges, 4552 markings/sec, 35 secs
lola: 200955 markings, 500790 edges, 4474 markings/sec, 40 secs
lola: 223451 markings, 558867 edges, 4499 markings/sec, 45 secs
lola: 245802 markings, 616888 edges, 4470 markings/sec, 50 secs
lola: 267790 markings, 675157 edges, 4398 markings/sec, 55 secs
lola: 289917 markings, 732722 edges, 4425 markings/sec, 60 secs
lola: 312108 markings, 790833 edges, 4438 markings/sec, 65 secs
lola: 334503 markings, 849978 edges, 4479 markings/sec, 70 secs
lola: 356870 markings, 909336 edges, 4473 markings/sec, 75 secs
lola: 378631 markings, 967295 edges, 4352 markings/sec, 80 secs
lola: 400821 markings, 1026336 edges, 4438 markings/sec, 85 secs
lola: 423774 markings, 1087588 edges, 4591 markings/sec, 90 secs
lola: 446449 markings, 1148430 edges, 4535 markings/sec, 95 secs
lola: 469022 markings, 1206861 edges, 4515 markings/sec, 100 secs
lola: 491245 markings, 1266134 edges, 4445 markings/sec, 105 secs
lola: 514025 markings, 1326243 edges, 4556 markings/sec, 110 secs
lola: 536821 markings, 1386335 edges, 4559 markings/sec, 115 secs
lola: 559558 markings, 1447701 edges, 4547 markings/sec, 120 secs
lola: 582227 markings, 1507701 edges, 4534 markings/sec, 125 secs
lola: 604851 markings, 1567756 edges, 4525 markings/sec, 130 secs
lola: 627049 markings, 1626101 edges, 4440 markings/sec, 135 secs
lola: 649508 markings, 1687820 edges, 4492 markings/sec, 140 secs
lola: 672128 markings, 1748831 edges, 4524 markings/sec, 145 secs
lola: 694066 markings, 1808681 edges, 4388 markings/sec, 150 secs
lola: 716608 markings, 1869325 edges, 4508 markings/sec, 155 secs
lola: 739250 markings, 1930343 edges, 4528 markings/sec, 160 secs
lola: 761707 markings, 1991497 edges, 4491 markings/sec, 165 secs
lola: 784340 markings, 2053068 edges, 4527 markings/sec, 170 secs
lola: 806930 markings, 2113951 edges, 4518 markings/sec, 175 secs
lola: 829495 markings, 2175471 edges, 4513 markings/sec, 180 secs
lola: 852694 markings, 2238910 edges, 4640 markings/sec, 185 secs
lola: 875391 markings, 2301208 edges, 4539 markings/sec, 190 secs
lola: 897443 markings, 2361624 edges, 4410 markings/sec, 195 secs
lola: 918194 markings, 2417492 edges, 4150 markings/sec, 200 secs
lola: 939017 markings, 2474079 edges, 4165 markings/sec, 205 secs
lola: 962140 markings, 2536105 edges, 4625 markings/sec, 210 secs
lola: 985489 markings, 2599886 edges, 4670 markings/sec, 215 secs
lola: 1008606 markings, 2663318 edges, 4623 markings/sec, 220 secs
lola: 1031813 markings, 2726169 edges, 4641 markings/sec, 225 secs
lola: 1054705 markings, 2789555 edges, 4578 markings/sec, 230 secs
lola: 1078183 markings, 2853630 edges, 4696 markings/sec, 235 secs
lola: 1101455 markings, 2917563 edges, 4654 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 588 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: 21503 markings, 100673 edges, 4301 markings/sec, 0 secs
lola: 43282 markings, 204661 edges, 4356 markings/sec, 5 secs
lola: 63862 markings, 295616 edges, 4116 markings/sec, 10 secs
lola: 85553 markings, 398387 edges, 4338 markings/sec, 15 secs
lola: 106466 markings, 480174 edges, 4183 markings/sec, 20 secs
lola: 128175 markings, 603459 edges, 4342 markings/sec, 25 secs
lola: 149756 markings, 723385 edges, 4316 markings/sec, 30 secs
lola: 171341 markings, 846980 edges, 4317 markings/sec, 35 secs
lola: 192759 markings, 970571 edges, 4284 markings/sec, 40 secs
lola: 213966 markings, 1061616 edges, 4241 markings/sec, 45 secs
lola: 234811 markings, 1170262 edges, 4169 markings/sec, 50 secs
lola: 253924 markings, 1233266 edges, 3823 markings/sec, 55 secs
lola: 273760 markings, 1296591 edges, 3967 markings/sec, 60 secs
lola: 294502 markings, 1383868 edges, 4148 markings/sec, 65 secs
lola: 315300 markings, 1485084 edges, 4160 markings/sec, 70 secs
lola: 334752 markings, 1551700 edges, 3890 markings/sec, 75 secs
lola: 354666 markings, 1621686 edges, 3983 markings/sec, 80 secs
lola: 374368 markings, 1690458 edges, 3940 markings/sec, 85 secs
lola: 395516 markings, 1791632 edges, 4230 markings/sec, 90 secs
lola: 416638 markings, 1912525 edges, 4224 markings/sec, 95 secs
lola: 437405 markings, 2038240 edges, 4153 markings/sec, 100 secs
lola: 456940 markings, 2107928 edges, 3907 markings/sec, 105 secs
lola: 476653 markings, 2179177 edges, 3943 markings/sec, 110 secs
lola: 496400 markings, 2251283 edges, 3949 markings/sec, 115 secs
lola: 515587 markings, 2318270 edges, 3837 markings/sec, 120 secs
lola: 535143 markings, 2390442 edges, 3911 markings/sec, 125 secs
lola: 554662 markings, 2462138 edges, 3904 markings/sec, 130 secs
lola: 575244 markings, 2557141 edges, 4116 markings/sec, 135 secs
lola: 595824 markings, 2669444 edges, 4116 markings/sec, 140 secs
lola: 615342 markings, 2741548 edges, 3904 markings/sec, 145 secs
lola: 635324 markings, 2816188 edges, 3996 markings/sec, 150 secs
lola: 654743 markings, 2886295 edges, 3884 markings/sec, 155 secs
lola: 673971 markings, 2956791 edges, 3846 markings/sec, 160 secs
lola: 693523 markings, 3035697 edges, 3910 markings/sec, 165 secs
lola: 712880 markings, 3107736 edges, 3871 markings/sec, 170 secs
lola: 732007 markings, 3178784 edges, 3825 markings/sec, 175 secs
lola: 751478 markings, 3254632 edges, 3894 markings/sec, 180 secs
lola: 771492 markings, 3334387 edges, 4003 markings/sec, 185 secs
lola: 791170 markings, 3407962 edges, 3936 markings/sec, 190 secs
lola: 810243 markings, 3479342 edges, 3815 markings/sec, 195 secs
lola: 829811 markings, 3554043 edges, 3914 markings/sec, 200 secs
lola: 849625 markings, 3629779 edges, 3963 markings/sec, 205 secs
lola: 869094 markings, 3703726 edges, 3894 markings/sec, 210 secs
lola: 887621 markings, 3777792 edges, 3705 markings/sec, 215 secs
lola: 906845 markings, 3852200 edges, 3845 markings/sec, 220 secs
lola: 926243 markings, 3927786 edges, 3880 markings/sec, 225 secs
lola: 945573 markings, 4002260 edges, 3866 markings/sec, 230 secs
lola: 965182 markings, 4078162 edges, 3922 markings/sec, 235 secs
lola: 984736 markings, 4151385 edges, 3911 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 588 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: 24013 markings, 54846 edges, 4803 markings/sec, 0 secs
lola: 48184 markings, 114463 edges, 4834 markings/sec, 5 secs
lola: 71993 markings, 173744 edges, 4762 markings/sec, 10 secs
lola: 95492 markings, 232719 edges, 4700 markings/sec, 15 secs
lola: 119019 markings, 292548 edges, 4705 markings/sec, 20 secs
lola: 141087 markings, 349961 edges, 4414 markings/sec, 25 secs
lola: 161442 markings, 402665 edges, 4071 markings/sec, 30 secs
lola: 184573 markings, 462450 edges, 4626 markings/sec, 35 secs
lola: 208913 markings, 525878 edges, 4868 markings/sec, 40 secs
lola: 233371 markings, 590869 edges, 4892 markings/sec, 45 secs
lola: 257743 markings, 652906 edges, 4874 markings/sec, 50 secs
lola: 281854 markings, 717108 edges, 4822 markings/sec, 55 secs
lola: 305438 markings, 779473 edges, 4717 markings/sec, 60 secs
lola: 329145 markings, 842922 edges, 4741 markings/sec, 65 secs
lola: 353185 markings, 906524 edges, 4808 markings/sec, 70 secs
lola: 376889 markings, 970992 edges, 4741 markings/sec, 75 secs
lola: 400867 markings, 1035262 edges, 4796 markings/sec, 80 secs
lola: 424561 markings, 1098539 edges, 4739 markings/sec, 85 secs
lola: 448383 markings, 1162076 edges, 4764 markings/sec, 90 secs
lola: 472296 markings, 1225605 edges, 4783 markings/sec, 95 secs
lola: 496033 markings, 1289353 edges, 4747 markings/sec, 100 secs
lola: 520240 markings, 1355886 edges, 4841 markings/sec, 105 secs
lola: 544187 markings, 1420910 edges, 4789 markings/sec, 110 secs
lola: 568130 markings, 1485702 edges, 4789 markings/sec, 115 secs
lola: 592196 markings, 1551045 edges, 4813 markings/sec, 120 secs
lola: 616346 markings, 1615390 edges, 4830 markings/sec, 125 secs
lola: 640104 markings, 1679546 edges, 4752 markings/sec, 130 secs
lola: 663745 markings, 1743635 edges, 4728 markings/sec, 135 secs
lola: 687312 markings, 1807484 edges, 4713 markings/sec, 140 secs
lola: 710955 markings, 1871222 edges, 4729 markings/sec, 145 secs
lola: 734948 markings, 1936472 edges, 4799 markings/sec, 150 secs
lola: 758769 markings, 1999547 edges, 4764 markings/sec, 155 secs
lola: 782780 markings, 2066111 edges, 4802 markings/sec, 160 secs
lola: 806301 markings, 2129360 edges, 4704 markings/sec, 165 secs
lola: 830330 markings, 2194761 edges, 4806 markings/sec, 170 secs
lola: 854225 markings, 2260049 edges, 4779 markings/sec, 175 secs
lola: 878217 markings, 2326462 edges, 4798 markings/sec, 180 secs
lola: 902000 markings, 2389977 edges, 4757 markings/sec, 185 secs
lola: 925705 markings, 2454810 edges, 4741 markings/sec, 190 secs
lola: 949390 markings, 2518891 edges, 4737 markings/sec, 195 secs
lola: 973188 markings, 2583715 edges, 4760 markings/sec, 200 secs
lola: 997050 markings, 2650302 edges, 4772 markings/sec, 205 secs
lola: 1021210 markings, 2715825 edges, 4832 markings/sec, 210 secs
lola: 1045040 markings, 2783087 edges, 4766 markings/sec, 215 secs
lola: 1068605 markings, 2847930 edges, 4713 markings/sec, 220 secs
lola: 1092226 markings, 2912844 edges, 4724 markings/sec, 225 secs
lola: 1116001 markings, 2979499 edges, 4755 markings/sec, 230 secs
lola: 1139656 markings, 3044085 edges, 4731 markings/sec, 235 secs
lola: 1163363 markings, 3110065 edges, 4741 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 588 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: 22745 markings, 94470 edges, 4549 markings/sec, 0 secs
lola: 45934 markings, 206687 edges, 4638 markings/sec, 5 secs
lola: 69162 markings, 322283 edges, 4646 markings/sec, 10 secs
lola: 92179 markings, 445615 edges, 4603 markings/sec, 15 secs
lola: 115399 markings, 570831 edges, 4644 markings/sec, 20 secs
lola: 138497 markings, 690910 edges, 4620 markings/sec, 25 secs
lola: 161516 markings, 823501 edges, 4604 markings/sec, 30 secs
lola: 184634 markings, 953873 edges, 4624 markings/sec, 35 secs
lola: 207575 markings, 1095173 edges, 4588 markings/sec, 40 secs
lola: 230623 markings, 1216590 edges, 4610 markings/sec, 45 secs
lola: 253346 markings, 1340041 edges, 4545 markings/sec, 50 secs
lola: 276100 markings, 1467838 edges, 4551 markings/sec, 55 secs
lola: 298835 markings, 1601230 edges, 4547 markings/sec, 60 secs
lola: 321562 markings, 1745316 edges, 4545 markings/sec, 65 secs
lola: 344455 markings, 1875006 edges, 4579 markings/sec, 70 secs
lola: 366964 markings, 2013532 edges, 4502 markings/sec, 75 secs
lola: 389597 markings, 2155402 edges, 4527 markings/sec, 80 secs
lola: 412087 markings, 2305931 edges, 4498 markings/sec, 85 secs
lola: 434708 markings, 2445959 edges, 4524 markings/sec, 90 secs
lola: 457428 markings, 2563905 edges, 4544 markings/sec, 95 secs
lola: 480193 markings, 2695666 edges, 4553 markings/sec, 100 secs
lola: 502847 markings, 2821804 edges, 4531 markings/sec, 105 secs
lola: 525462 markings, 2960768 edges, 4523 markings/sec, 110 secs
lola: 547782 markings, 3090967 edges, 4464 markings/sec, 115 secs
lola: 570106 markings, 3224165 edges, 4465 markings/sec, 120 secs
lola: 592578 markings, 3367162 edges, 4494 markings/sec, 125 secs
lola: 614937 markings, 3511334 edges, 4472 markings/sec, 130 secs
lola: 637247 markings, 3667174 edges, 4462 markings/sec, 135 secs
lola: 659919 markings, 3795579 edges, 4534 markings/sec, 140 secs
lola: 682203 markings, 3931401 edges, 4457 markings/sec, 145 secs
lola: 704778 markings, 4074173 edges, 4515 markings/sec, 150 secs
lola: 727026 markings, 4219500 edges, 4450 markings/sec, 155 secs
lola: 749383 markings, 4374273 edges, 4471 markings/sec, 160 secs
lola: 771877 markings, 4519343 edges, 4499 markings/sec, 165 secs
lola: 794263 markings, 4671339 edges, 4477 markings/sec, 170 secs
lola: 816651 markings, 4825756 edges, 4478 markings/sec, 175 secs
lola: 838702 markings, 4989212 edges, 4410 markings/sec, 180 secs
lola: 861163 markings, 5135234 edges, 4492 markings/sec, 185 secs
lola: 883494 markings, 5251383 edges, 4466 markings/sec, 190 secs
lola: 905954 markings, 5381611 edges, 4492 markings/sec, 195 secs
lola: 928655 markings, 5507819 edges, 4540 markings/sec, 200 secs
lola: 951269 markings, 5646464 edges, 4523 markings/sec, 205 secs
lola: 973199 markings, 5774880 edges, 4386 markings/sec, 210 secs
lola: 995849 markings, 5909585 edges, 4530 markings/sec, 215 secs
lola: 1016862 markings, 6043508 edges, 4203 markings/sec, 220 secs
lola: 1038877 markings, 6186238 edges, 4403 markings/sec, 225 secs
lola: 1061953 markings, 6344401 edges, 4615 markings/sec, 230 secs
lola: 1084579 markings, 6474769 edges, 4525 markings/sec, 235 secs
lola: 1106685 markings, 6609054 edges, 4421 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p58 + p57 + p56 + p55 + p54 + p53 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 588 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: 22666 markings, 29358 edges, 4533 markings/sec, 0 secs
lola: 45732 markings, 59386 edges, 4613 markings/sec, 5 secs
lola: 68708 markings, 89228 edges, 4595 markings/sec, 10 secs
lola: 91464 markings, 118786 edges, 4551 markings/sec, 15 secs
lola: 114391 markings, 148627 edges, 4585 markings/sec, 20 secs
lola: 137434 markings, 178531 edges, 4609 markings/sec, 25 secs
lola: 160341 markings, 208357 edges, 4581 markings/sec, 30 secs
lola: 183211 markings, 238053 edges, 4574 markings/sec, 35 secs
lola: 206012 markings, 267662 edges, 4560 markings/sec, 40 secs
lola: 228534 markings, 296912 edges, 4504 markings/sec, 45 secs
lola: 251621 markings, 326960 edges, 4617 markings/sec, 50 secs
lola: 276220 markings, 358938 edges, 4920 markings/sec, 55 secs
lola: 300803 markings, 390849 edges, 4917 markings/sec, 60 secs
lola: 325130 markings, 422499 edges, 4865 markings/sec, 65 secs
lola: 350641 markings, 455692 edges, 5102 markings/sec, 70 secs
lola: 376069 markings, 488763 edges, 5086 markings/sec, 75 secs
lola: 400717 markings, 520769 edges, 4930 markings/sec, 80 secs
lola: 425300 markings, 552697 edges, 4917 markings/sec, 85 secs
lola: 449900 markings, 584688 edges, 4920 markings/sec, 90 secs
lola: 475100 markings, 617464 edges, 5040 markings/sec, 95 secs
lola: 500037 markings, 649836 edges, 4987 markings/sec, 100 secs
lola: 524358 markings, 681428 edges, 4864 markings/sec, 105 secs
lola: 548852 markings, 713320 edges, 4899 markings/sec, 110 secs
lola: 574315 markings, 746441 edges, 5093 markings/sec, 115 secs
lola: 599235 markings, 778782 edges, 4984 markings/sec, 120 secs
lola: 624060 markings, 811037 edges, 4965 markings/sec, 125 secs
lola: 648965 markings, 843387 edges, 4981 markings/sec, 130 secs
lola: 673784 markings, 875682 edges, 4964 markings/sec, 135 secs
lola: 698576 markings, 907933 edges, 4958 markings/sec, 140 secs
lola: 724199 markings, 941232 edges, 5125 markings/sec, 145 secs
lola: 749841 markings, 974510 edges, 5128 markings/sec, 150 secs
lola: 774682 markings, 1006795 edges, 4968 markings/sec, 155 secs
lola: 799323 markings, 1038880 edges, 4928 markings/sec, 160 secs
lola: 824142 markings, 1071191 edges, 4964 markings/sec, 165 secs
lola: 849719 markings, 1104349 edges, 5115 markings/sec, 170 secs
lola: 874002 markings, 1135922 edges, 4857 markings/sec, 175 secs
lola: 899342 markings, 1168824 edges, 5068 markings/sec, 180 secs
lola: 924087 markings, 1201027 edges, 4949 markings/sec, 185 secs
lola: 949129 markings, 1233611 edges, 5008 markings/sec, 190 secs
lola: 973370 markings, 1265103 edges, 4848 markings/sec, 195 secs
lola: 997870 markings, 1296990 edges, 4900 markings/sec, 200 secs
lola: 1022456 markings, 1328950 edges, 4917 markings/sec, 205 secs
lola: 1046940 markings, 1360702 edges, 4897 markings/sec, 210 secs
lola: 1071263 markings, 1392362 edges, 4865 markings/sec, 215 secs
lola: 1095266 markings, 1423567 edges, 4801 markings/sec, 220 secs
lola: 1120392 markings, 1456215 edges, 5025 markings/sec, 225 secs
lola: 1145602 markings, 1488941 edges, 5042 markings/sec, 230 secs
lola: 1170563 markings, 1521355 edges, 4992 markings/sec, 235 secs
lola: 1195537 markings, 1553858 edges, 4995 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p58 + p57 + p56 + p55 + p54 + p53 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 588 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: 23946 markings, 31053 edges, 4789 markings/sec, 0 secs
lola: 48693 markings, 63240 edges, 4949 markings/sec, 5 secs
lola: 73388 markings, 95343 edges, 4939 markings/sec, 10 secs
lola: 98115 markings, 127451 edges, 4945 markings/sec, 15 secs
lola: 122787 markings, 159501 edges, 4934 markings/sec, 20 secs
lola: 147402 markings, 191505 edges, 4923 markings/sec, 25 secs
lola: 172575 markings, 224247 edges, 5035 markings/sec, 30 secs
lola: 197361 markings, 256412 edges, 4957 markings/sec, 35 secs
lola: 222260 markings, 288813 edges, 4980 markings/sec, 40 secs
lola: 247572 markings, 321705 edges, 5062 markings/sec, 45 secs
lola: 272867 markings, 354573 edges, 5059 markings/sec, 50 secs
lola: 298284 markings, 387628 edges, 5083 markings/sec, 55 secs
lola: 323984 markings, 421054 edges, 5140 markings/sec, 60 secs
lola: 348496 markings, 452896 edges, 4902 markings/sec, 65 secs
lola: 372882 markings, 484563 edges, 4877 markings/sec, 70 secs
lola: 397664 markings, 516780 edges, 4956 markings/sec, 75 secs
lola: 423028 markings, 549790 edges, 5073 markings/sec, 80 secs
lola: 448339 markings, 582698 edges, 5062 markings/sec, 85 secs
lola: 473820 markings, 615791 edges, 5096 markings/sec, 90 secs
lola: 499314 markings, 648874 edges, 5099 markings/sec, 95 secs
lola: 524536 markings, 681679 edges, 5044 markings/sec, 100 secs
lola: 550141 markings, 714984 edges, 5121 markings/sec, 105 secs
lola: 575850 markings, 748357 edges, 5142 markings/sec, 110 secs
lola: 601166 markings, 781332 edges, 5063 markings/sec, 115 secs
lola: 626254 markings, 813955 edges, 5018 markings/sec, 120 secs
lola: 651449 markings, 846642 edges, 5039 markings/sec, 125 secs
lola: 677207 markings, 880092 edges, 5152 markings/sec, 130 secs
lola: 702912 markings, 913582 edges, 5141 markings/sec, 135 secs
lola: 728812 markings, 947167 edges, 5180 markings/sec, 140 secs
lola: 753731 markings, 979575 edges, 4984 markings/sec, 145 secs
lola: 778075 markings, 1011240 edges, 4869 markings/sec, 150 secs
lola: 799663 markings, 1039357 edges, 4318 markings/sec, 155 secs
lola: 824227 markings, 1071293 edges, 4913 markings/sec, 160 secs
lola: 848542 markings, 1102832 edges, 4863 markings/sec, 165 secs
lola: 873033 markings, 1134708 edges, 4898 markings/sec, 170 secs
lola: 898290 markings, 1167491 edges, 5051 markings/sec, 175 secs
lola: 923904 markings, 1200810 edges, 5123 markings/sec, 180 secs
lola: 947866 markings, 1231887 edges, 4792 markings/sec, 185 secs
lola: 971592 markings, 1262777 edges, 4745 markings/sec, 190 secs
lola: 993871 markings, 1291693 edges, 4456 markings/sec, 195 secs
lola: 1015825 markings, 1320287 edges, 4391 markings/sec, 200 secs
lola: 1039377 markings, 1350914 edges, 4710 markings/sec, 205 secs
lola: 1060191 markings, 1377956 edges, 4163 markings/sec, 210 secs
lola: 1083006 markings, 1407577 edges, 4563 markings/sec, 215 secs
lola: 1107478 markings, 1439405 edges, 4894 markings/sec, 220 secs
lola: 1129777 markings, 1468379 edges, 4460 markings/sec, 225 secs
lola: 1154494 markings, 1500559 edges, 4943 markings/sec, 230 secs
lola: 1180024 markings, 1533682 edges, 5106 markings/sec, 235 secs
lola: 1205628 markings, 1566992 edges, 5121 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 588 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: 23874 markings, 34797 edges, 4775 markings/sec, 0 secs
lola: 48039 markings, 70022 edges, 4833 markings/sec, 5 secs
lola: 71917 markings, 105343 edges, 4776 markings/sec, 10 secs
lola: 96100 markings, 140741 edges, 4837 markings/sec, 15 secs
lola: 120028 markings, 176531 edges, 4786 markings/sec, 20 secs
lola: 143952 markings, 211533 edges, 4785 markings/sec, 25 secs
lola: 167947 markings, 247465 edges, 4799 markings/sec, 30 secs
lola: 191491 markings, 283313 edges, 4709 markings/sec, 35 secs
lola: 214717 markings, 318711 edges, 4645 markings/sec, 40 secs
lola: 238064 markings, 355025 edges, 4669 markings/sec, 45 secs
lola: 261539 markings, 391641 edges, 4695 markings/sec, 50 secs
lola: 284852 markings, 428270 edges, 4663 markings/sec, 55 secs
lola: 308214 markings, 465345 edges, 4672 markings/sec, 60 secs
lola: 331303 markings, 501895 edges, 4618 markings/sec, 65 secs
lola: 354260 markings, 538580 edges, 4591 markings/sec, 70 secs
lola: 377214 markings, 575310 edges, 4591 markings/sec, 75 secs
lola: 397736 markings, 608383 edges, 4104 markings/sec, 80 secs
lola: 421741 markings, 647035 edges, 4801 markings/sec, 85 secs
lola: 444118 markings, 683017 edges, 4475 markings/sec, 90 secs
lola: 468063 markings, 721177 edges, 4789 markings/sec, 95 secs
lola: 492071 markings, 760517 edges, 4802 markings/sec, 100 secs
lola: 515620 markings, 798864 edges, 4710 markings/sec, 105 secs
lola: 536254 markings, 832578 edges, 4127 markings/sec, 110 secs
lola: 558236 markings, 868398 edges, 4396 markings/sec, 115 secs
lola: 578370 markings, 901374 edges, 4027 markings/sec, 120 secs
lola: 600964 markings, 938202 edges, 4519 markings/sec, 125 secs
lola: 620471 markings, 970149 edges, 3901 markings/sec, 130 secs
lola: 639947 markings, 1001685 edges, 3895 markings/sec, 135 secs
lola: 661395 markings, 1036705 edges, 4290 markings/sec, 140 secs
lola: 683046 markings, 1069072 edges, 4330 markings/sec, 145 secs
lola: 707331 markings, 1105078 edges, 4857 markings/sec, 150 secs
lola: 728472 markings, 1136162 edges, 4228 markings/sec, 155 secs
lola: 752456 markings, 1172290 edges, 4797 markings/sec, 160 secs
lola: 776525 markings, 1209402 edges, 4814 markings/sec, 165 secs
lola: 799296 markings, 1244907 edges, 4554 markings/sec, 170 secs
lola: 821240 markings, 1279220 edges, 4389 markings/sec, 175 secs
lola: 843449 markings, 1314352 edges, 4442 markings/sec, 180 secs
lola: 864261 markings, 1347709 edges, 4162 markings/sec, 185 secs
lola: 887531 markings, 1384589 edges, 4654 markings/sec, 190 secs
lola: 910938 markings, 1422514 edges, 4681 markings/sec, 195 secs
lola: 929972 markings, 1453488 edges, 3807 markings/sec, 200 secs
lola: 952929 markings, 1490947 edges, 4591 markings/sec, 205 secs
lola: 975742 markings, 1528140 edges, 4563 markings/sec, 210 secs
lola: 996342 markings, 1562039 edges, 4120 markings/sec, 215 secs
lola: 1019615 markings, 1600466 edges, 4655 markings/sec, 220 secs
lola: 1043733 markings, 1636839 edges, 4824 markings/sec, 225 secs
lola: 1067723 markings, 1672424 edges, 4798 markings/sec, 230 secs
lola: 1087770 markings, 1703619 edges, 4009 markings/sec, 235 secs
lola: 1111278 markings, 1740489 edges, 4702 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p127 + p126)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 588 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: 25144 markings, 57075 edges, 5029 markings/sec, 0 secs
lola: 51807 markings, 121935 edges, 5333 markings/sec, 5 secs
lola: 77656 markings, 185882 edges, 5170 markings/sec, 10 secs
lola: 102927 markings, 248323 edges, 5054 markings/sec, 15 secs
lola: 126987 markings, 309475 edges, 4812 markings/sec, 20 secs
lola: 152994 markings, 376225 edges, 5201 markings/sec, 25 secs
lola: 179308 markings, 443995 edges, 5263 markings/sec, 30 secs
lola: 205397 markings, 512129 edges, 5218 markings/sec, 35 secs
lola: 230473 markings, 576980 edges, 5015 markings/sec, 40 secs
lola: 256584 markings, 644940 edges, 5222 markings/sec, 45 secs
lola: 281169 markings, 710025 edges, 4917 markings/sec, 50 secs
lola: 305709 markings, 774277 edges, 4908 markings/sec, 55 secs
lola: 330048 markings, 838383 edges, 4868 markings/sec, 60 secs
lola: 354497 markings, 902978 edges, 4890 markings/sec, 65 secs
lola: 378703 markings, 967502 edges, 4841 markings/sec, 70 secs
lola: 403118 markings, 1032568 edges, 4883 markings/sec, 75 secs
lola: 427485 markings, 1097596 edges, 4873 markings/sec, 80 secs
lola: 451866 markings, 1162809 edges, 4876 markings/sec, 85 secs
lola: 476010 markings, 1225382 edges, 4829 markings/sec, 90 secs
lola: 500177 markings, 1289529 edges, 4833 markings/sec, 95 secs
lola: 524623 markings, 1353894 edges, 4889 markings/sec, 100 secs
lola: 548970 markings, 1419195 edges, 4869 markings/sec, 105 secs
lola: 573008 markings, 1483341 edges, 4808 markings/sec, 110 secs
lola: 598113 markings, 1550294 edges, 5021 markings/sec, 115 secs
lola: 621742 markings, 1612817 edges, 4726 markings/sec, 120 secs
lola: 644761 markings, 1674672 edges, 4604 markings/sec, 125 secs
lola: 668720 markings, 1739275 edges, 4792 markings/sec, 130 secs
lola: 692554 markings, 1804364 edges, 4767 markings/sec, 135 secs
lola: 716523 markings, 1869113 edges, 4794 markings/sec, 140 secs
lola: 740354 markings, 1933392 edges, 4766 markings/sec, 145 secs
lola: 764316 markings, 1998390 edges, 4792 markings/sec, 150 secs
lola: 788340 markings, 2063032 edges, 4805 markings/sec, 155 secs
lola: 812286 markings, 2128100 edges, 4789 markings/sec, 160 secs
lola: 836102 markings, 2193594 edges, 4763 markings/sec, 165 secs
lola: 859913 markings, 2258485 edges, 4762 markings/sec, 170 secs
lola: 882897 markings, 2321598 edges, 4597 markings/sec, 175 secs
lola: 907605 markings, 2389784 edges, 4942 markings/sec, 180 secs
lola: 933279 markings, 2458251 edges, 5135 markings/sec, 185 secs
lola: 958980 markings, 2527037 edges, 5140 markings/sec, 190 secs
lola: 984482 markings, 2597215 edges, 5100 markings/sec, 195 secs
lola: 1006984 markings, 2658559 edges, 4500 markings/sec, 200 secs
lola: 1031493 markings, 2725322 edges, 4902 markings/sec, 205 secs
lola: 1056581 markings, 2794761 edges, 5018 markings/sec, 210 secs
lola: 1079293 markings, 2856767 edges, 4542 markings/sec, 215 secs
lola: 1102054 markings, 2919092 edges, 4552 markings/sec, 220 secs
lola: 1124770 markings, 2981578 edges, 4543 markings/sec, 225 secs
lola: 1148011 markings, 3046293 edges, 4648 markings/sec, 230 secs
lola: 1173323 markings, 3115776 edges, 5062 markings/sec, 235 secs
lola: 1197611 markings, 3181103 edges, 4858 markings/sec, 240 secs
lola: time limit reached - aborting
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: unknown unknown unknown unknown unknown unknown 2 unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA SimpleLoadBal-COL-20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-6 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496454485085
--------------------
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_SimpleLoadBal-COL-20"
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_SimpleLoadBal-COL-20.tgz
mv S_SimpleLoadBal-COL-20 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_SimpleLoadBal-COL-20, 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 r148-csrt-149443433100362"
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 '
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 ;