About the Execution of LoLA for SimpleLoadBal-COL-20
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
379.840 | 3540156.00 | 3550399.00 | 205.10 | ? ? ? ? ? ? ? ? ? ? ? ? 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 SimpleLoadBal-COL-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r068-csrt-149440963400362
=====================================================================
--------------------
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 1494814048582
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ SimpleLoadBal-COL-20 @ 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: 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 + p151) : MAX(p150 + p151) : MAX(p44 + p43) : MAX(p44 + p43) : MAX(p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193) : MAX(p150 + p151) : 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 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p129 + p99) : MAX(p150 + p151) : MAX(p152 + p153) : MAX(p42 + p41 + p40 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23) : MAX(p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55 + p54 + p53 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p65) : MAX(p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22) : MAX(p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87) : MAX(p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87) : MAX(p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193) : MAX(p44 + p43)
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 + p151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 13 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: 21445 markings, 48624 edges, 4289 markings/sec, 0 secs
lola: 42793 markings, 100077 edges, 4270 markings/sec, 5 secs
lola: 65353 markings, 155874 edges, 4512 markings/sec, 10 secs
lola: 87272 markings, 210784 edges, 4384 markings/sec, 15 secs
lola: 108647 markings, 265066 edges, 4275 markings/sec, 20 secs
lola: 131388 markings, 322926 edges, 4548 markings/sec, 25 secs
lola: 153834 markings, 379616 edges, 4489 markings/sec, 30 secs
lola: 176226 markings, 438533 edges, 4478 markings/sec, 35 secs
lola: 198558 markings, 496674 edges, 4466 markings/sec, 40 secs
lola: 221104 markings, 556261 edges, 4509 markings/sec, 45 secs
lola: 243736 markings, 615462 edges, 4526 markings/sec, 50 secs
lola: 266183 markings, 673776 edges, 4489 markings/sec, 55 secs
lola: 288604 markings, 732367 edges, 4484 markings/sec, 60 secs
lola: 311311 markings, 792440 edges, 4541 markings/sec, 65 secs
lola: 333627 markings, 850662 edges, 4463 markings/sec, 70 secs
lola: 356324 markings, 910968 edges, 4539 markings/sec, 75 secs
lola: 378847 markings, 970983 edges, 4505 markings/sec, 80 secs
lola: 401862 markings, 1031804 edges, 4603 markings/sec, 85 secs
lola: 425082 markings, 1093834 edges, 4644 markings/sec, 90 secs
lola: 448806 markings, 1157139 edges, 4745 markings/sec, 95 secs
lola: 472257 markings, 1219376 edges, 4690 markings/sec, 100 secs
lola: 494584 markings, 1279743 edges, 4465 markings/sec, 105 secs
lola: 516859 markings, 1339333 edges, 4455 markings/sec, 110 secs
lola: 538242 markings, 1396904 edges, 4277 markings/sec, 115 secs
lola: 558813 markings, 1452387 edges, 4114 markings/sec, 120 secs
lola: 578915 markings, 1506619 edges, 4020 markings/sec, 125 secs
lola: 599072 markings, 1561935 edges, 4031 markings/sec, 130 secs
lola: 619417 markings, 1617661 edges, 4069 markings/sec, 135 secs
lola: 639754 markings, 1672635 edges, 4067 markings/sec, 140 secs
lola: 659880 markings, 1726960 edges, 4025 markings/sec, 145 secs
lola: 680193 markings, 1781918 edges, 4063 markings/sec, 150 secs
lola: 700437 markings, 1836730 edges, 4049 markings/sec, 155 secs
lola: 720567 markings, 1891578 edges, 4026 markings/sec, 160 secs
lola: 740781 markings, 1945985 edges, 4043 markings/sec, 165 secs
lola: 762070 markings, 2003673 edges, 4258 markings/sec, 170 secs
lola: 783063 markings, 2061825 edges, 4199 markings/sec, 175 secs
lola: 804398 markings, 2120667 edges, 4267 markings/sec, 180 secs
lola: 825844 markings, 2180748 edges, 4289 markings/sec, 185 secs
lola: 847093 markings, 2238841 edges, 4250 markings/sec, 190 secs
lola: 868518 markings, 2296955 edges, 4285 markings/sec, 195 secs
lola: 889036 markings, 2351530 edges, 4104 markings/sec, 200 secs
lola: 911164 markings, 2412365 edges, 4426 markings/sec, 205 secs
lola: 934015 markings, 2475827 edges, 4570 markings/sec, 210 secs
lola: 956757 markings, 2538541 edges, 4548 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 + p151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 13 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: 21668 markings, 49149 edges, 4334 markings/sec, 0 secs
lola: 43972 markings, 103094 edges, 4461 markings/sec, 5 secs
lola: 63832 markings, 152047 edges, 3972 markings/sec, 10 secs
lola: 84097 markings, 202585 edges, 4053 markings/sec, 15 secs
lola: 104525 markings, 254420 edges, 4086 markings/sec, 20 secs
lola: 125104 markings, 307109 edges, 4116 markings/sec, 25 secs
lola: 144845 markings, 356861 edges, 3948 markings/sec, 30 secs
lola: 165210 markings, 409541 edges, 4073 markings/sec, 35 secs
lola: 184766 markings, 460534 edges, 3911 markings/sec, 40 secs
lola: 205670 markings, 515452 edges, 4181 markings/sec, 45 secs
lola: 226305 markings, 569681 edges, 4127 markings/sec, 50 secs
lola: 246832 markings, 623389 edges, 4105 markings/sec, 55 secs
lola: 267984 markings, 678104 edges, 4230 markings/sec, 60 secs
lola: 288203 markings, 731270 edges, 4044 markings/sec, 65 secs
lola: 308447 markings, 784603 edges, 4049 markings/sec, 70 secs
lola: 329435 markings, 839309 edges, 4198 markings/sec, 75 secs
lola: 349876 markings, 893728 edges, 4088 markings/sec, 80 secs
lola: 370546 markings, 948298 edges, 4134 markings/sec, 85 secs
lola: 391743 markings, 1005484 edges, 4239 markings/sec, 90 secs
lola: 411377 markings, 1057533 edges, 3927 markings/sec, 95 secs
lola: 431895 markings, 1112312 edges, 4104 markings/sec, 100 secs
lola: 452235 markings, 1166349 edges, 4068 markings/sec, 105 secs
lola: 472363 markings, 1219760 edges, 4026 markings/sec, 110 secs
lola: 493272 markings, 1276339 edges, 4182 markings/sec, 115 secs
lola: 514514 markings, 1333193 edges, 4248 markings/sec, 120 secs
lola: 535690 markings, 1390224 edges, 4235 markings/sec, 125 secs
lola: 556584 markings, 1446268 edges, 4179 markings/sec, 130 secs
lola: 577412 markings, 1502807 edges, 4166 markings/sec, 135 secs
lola: 597358 markings, 1557322 edges, 3989 markings/sec, 140 secs
lola: 618589 markings, 1615356 edges, 4246 markings/sec, 145 secs
lola: 640802 markings, 1675515 edges, 4443 markings/sec, 150 secs
lola: 662573 markings, 1734316 edges, 4354 markings/sec, 155 secs
lola: 683547 markings, 1790853 edges, 4195 markings/sec, 160 secs
lola: 704584 markings, 1847887 edges, 4207 markings/sec, 165 secs
lola: 725517 markings, 1905005 edges, 4187 markings/sec, 170 secs
lola: 746507 markings, 1961359 edges, 4198 markings/sec, 175 secs
lola: 767860 markings, 2019303 edges, 4271 markings/sec, 180 secs
lola: 789110 markings, 2078671 edges, 4250 markings/sec, 185 secs
lola: 810025 markings, 2135940 edges, 4183 markings/sec, 190 secs
lola: 831268 markings, 2195971 edges, 4249 markings/sec, 195 secs
lola: 852552 markings, 2253635 edges, 4257 markings/sec, 200 secs
lola: 874334 markings, 2312682 edges, 4356 markings/sec, 205 secs
lola: 895983 markings, 2370665 edges, 4330 markings/sec, 210 secs
lola: 917883 markings, 2431242 edges, 4380 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(p44 + p43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 13 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: 21148 markings, 47164 edges, 4230 markings/sec, 0 secs
lola: 43649 markings, 101728 edges, 4500 markings/sec, 5 secs
lola: 65928 markings, 155951 edges, 4456 markings/sec, 10 secs
lola: 87996 markings, 210307 edges, 4414 markings/sec, 15 secs
lola: 110108 markings, 265371 edges, 4422 markings/sec, 20 secs
lola: 132780 markings, 322830 edges, 4534 markings/sec, 25 secs
lola: 153365 markings, 375733 edges, 4117 markings/sec, 30 secs
lola: 173569 markings, 426721 edges, 4041 markings/sec, 35 secs
lola: 194027 markings, 478918 edges, 4092 markings/sec, 40 secs
lola: 215172 markings, 533503 edges, 4229 markings/sec, 45 secs
lola: 237137 markings, 590565 edges, 4393 markings/sec, 50 secs
lola: 259315 markings, 647943 edges, 4436 markings/sec, 55 secs
lola: 281640 markings, 705817 edges, 4465 markings/sec, 60 secs
lola: 303210 markings, 762556 edges, 4314 markings/sec, 65 secs
lola: 324934 markings, 820680 edges, 4345 markings/sec, 70 secs
lola: 346937 markings, 878077 edges, 4401 markings/sec, 75 secs
lola: 369441 markings, 936580 edges, 4501 markings/sec, 80 secs
lola: 390998 markings, 992960 edges, 4311 markings/sec, 85 secs
lola: 411199 markings, 1045665 edges, 4040 markings/sec, 90 secs
lola: 431212 markings, 1098408 edges, 4003 markings/sec, 95 secs
lola: 451253 markings, 1151160 edges, 4008 markings/sec, 100 secs
lola: 471450 markings, 1205189 edges, 4039 markings/sec, 105 secs
lola: 491352 markings, 1257758 edges, 3980 markings/sec, 110 secs
lola: 510799 markings, 1308078 edges, 3889 markings/sec, 115 secs
lola: 530767 markings, 1362121 edges, 3994 markings/sec, 120 secs
lola: 550940 markings, 1415882 edges, 4035 markings/sec, 125 secs
lola: 571192 markings, 1469995 edges, 4050 markings/sec, 130 secs
lola: 591093 markings, 1522604 edges, 3980 markings/sec, 135 secs
lola: 610625 markings, 1573446 edges, 3906 markings/sec, 140 secs
lola: 630599 markings, 1627279 edges, 3995 markings/sec, 145 secs
lola: 650539 markings, 1680823 edges, 3988 markings/sec, 150 secs
lola: 670001 markings, 1734013 edges, 3892 markings/sec, 155 secs
lola: 689512 markings, 1787149 edges, 3902 markings/sec, 160 secs
lola: 709384 markings, 1840672 edges, 3974 markings/sec, 165 secs
lola: 729439 markings, 1894226 edges, 4011 markings/sec, 170 secs
lola: 749536 markings, 1947288 edges, 4019 markings/sec, 175 secs
lola: 769273 markings, 2001148 edges, 3947 markings/sec, 180 secs
lola: 789172 markings, 2053792 edges, 3980 markings/sec, 185 secs
lola: 808877 markings, 2106852 edges, 3941 markings/sec, 190 secs
lola: 828807 markings, 2161024 edges, 3986 markings/sec, 195 secs
lola: 848739 markings, 2215559 edges, 3986 markings/sec, 200 secs
lola: 868604 markings, 2269532 edges, 3973 markings/sec, 205 secs
lola: 889086 markings, 2325271 edges, 4096 markings/sec, 210 secs
lola: 910883 markings, 2383448 edges, 4359 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(p44 + p43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 13 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: 20238 markings, 44999 edges, 4048 markings/sec, 0 secs
lola: 41199 markings, 95651 edges, 4192 markings/sec, 5 secs
lola: 62117 markings, 146537 edges, 4184 markings/sec, 10 secs
lola: 82868 markings, 197499 edges, 4150 markings/sec, 15 secs
lola: 103210 markings, 248316 edges, 4068 markings/sec, 20 secs
lola: 123396 markings, 299177 edges, 4037 markings/sec, 25 secs
lola: 143825 markings, 350828 edges, 4086 markings/sec, 30 secs
lola: 164095 markings, 402819 edges, 4054 markings/sec, 35 secs
lola: 184602 markings, 455387 edges, 4101 markings/sec, 40 secs
lola: 205098 markings, 507468 edges, 4099 markings/sec, 45 secs
lola: 225405 markings, 560028 edges, 4061 markings/sec, 50 secs
lola: 245914 markings, 613471 edges, 4102 markings/sec, 55 secs
lola: 266527 markings, 666454 edges, 4123 markings/sec, 60 secs
lola: 286699 markings, 719127 edges, 4034 markings/sec, 65 secs
lola: 307138 markings, 772772 edges, 4088 markings/sec, 70 secs
lola: 327413 markings, 827229 edges, 4055 markings/sec, 75 secs
lola: 347605 markings, 879787 edges, 4038 markings/sec, 80 secs
lola: 368174 markings, 933312 edges, 4114 markings/sec, 85 secs
lola: 388482 markings, 986391 edges, 4062 markings/sec, 90 secs
lola: 409008 markings, 1039833 edges, 4105 markings/sec, 95 secs
lola: 429266 markings, 1093222 edges, 4052 markings/sec, 100 secs
lola: 449502 markings, 1146603 edges, 4047 markings/sec, 105 secs
lola: 469976 markings, 1201424 edges, 4095 markings/sec, 110 secs
lola: 490406 markings, 1255303 edges, 4086 markings/sec, 115 secs
lola: 510832 markings, 1308159 edges, 4085 markings/sec, 120 secs
lola: 531020 markings, 1362818 edges, 4038 markings/sec, 125 secs
lola: 552209 markings, 1419330 edges, 4238 markings/sec, 130 secs
lola: 573216 markings, 1475567 edges, 4201 markings/sec, 135 secs
lola: 594155 markings, 1530386 edges, 4188 markings/sec, 140 secs
lola: 614730 markings, 1584585 edges, 4115 markings/sec, 145 secs
lola: 635903 markings, 1641525 edges, 4235 markings/sec, 150 secs
lola: 656811 markings, 1697774 edges, 4182 markings/sec, 155 secs
lola: 677541 markings, 1754190 edges, 4146 markings/sec, 160 secs
lola: 697549 markings, 1809601 edges, 4002 markings/sec, 165 secs
lola: 717546 markings, 1862719 edges, 3999 markings/sec, 170 secs
lola: 737714 markings, 1916293 edges, 4034 markings/sec, 175 secs
lola: 757945 markings, 1970400 edges, 4046 markings/sec, 180 secs
lola: 778938 markings, 2026323 edges, 4199 markings/sec, 185 secs
lola: 799965 markings, 2082801 edges, 4205 markings/sec, 190 secs
lola: 820676 markings, 2138979 edges, 4142 markings/sec, 195 secs
lola: 841505 markings, 2196009 edges, 4166 markings/sec, 200 secs
lola: 862186 markings, 2251858 edges, 4136 markings/sec, 205 secs
lola: 883157 markings, 2309205 edges, 4194 markings/sec, 210 secs
lola: 903888 markings, 2364362 edges, 4146 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(p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 13 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: 31011 markings, 42558 edges, 6202 markings/sec, 0 secs
lola: 60291 markings, 85347 edges, 5856 markings/sec, 5 secs
lola: 89903 markings, 128175 edges, 5922 markings/sec, 10 secs
lola: 120064 markings, 171894 edges, 6032 markings/sec, 15 secs
lola: 149605 markings, 215429 edges, 5908 markings/sec, 20 secs
lola: 179307 markings, 258788 edges, 5940 markings/sec, 25 secs
lola: 207918 markings, 302024 edges, 5722 markings/sec, 30 secs
lola: 235909 markings, 344881 edges, 5598 markings/sec, 35 secs
lola: 264450 markings, 387592 edges, 5708 markings/sec, 40 secs
lola: 291608 markings, 429604 edges, 5432 markings/sec, 45 secs
lola: 319524 markings, 472794 edges, 5583 markings/sec, 50 secs
lola: 347794 markings, 515565 edges, 5654 markings/sec, 55 secs
lola: 375767 markings, 558340 edges, 5595 markings/sec, 60 secs
lola: 401896 markings, 600280 edges, 5226 markings/sec, 65 secs
lola: 428769 markings, 642661 edges, 5375 markings/sec, 70 secs
lola: 456019 markings, 685055 edges, 5450 markings/sec, 75 secs
lola: 484148 markings, 728201 edges, 5626 markings/sec, 80 secs
lola: 512539 markings, 771366 edges, 5678 markings/sec, 85 secs
lola: 538190 markings, 812988 edges, 5130 markings/sec, 90 secs
lola: 564930 markings, 854966 edges, 5348 markings/sec, 95 secs
lola: 592923 markings, 897709 edges, 5599 markings/sec, 100 secs
lola: 620967 markings, 940384 edges, 5609 markings/sec, 105 secs
lola: 648390 markings, 983990 edges, 5485 markings/sec, 110 secs
lola: 676546 markings, 1027342 edges, 5631 markings/sec, 115 secs
lola: 704118 markings, 1070853 edges, 5514 markings/sec, 120 secs
lola: 731196 markings, 1114413 edges, 5416 markings/sec, 125 secs
lola: 758984 markings, 1157673 edges, 5558 markings/sec, 130 secs
lola: 787963 markings, 1202221 edges, 5796 markings/sec, 135 secs
lola: 815517 markings, 1244842 edges, 5511 markings/sec, 140 secs
lola: 844115 markings, 1287628 edges, 5720 markings/sec, 145 secs
lola: 870022 markings, 1329414 edges, 5181 markings/sec, 150 secs
lola: 897676 markings, 1371112 edges, 5531 markings/sec, 155 secs
lola: 923920 markings, 1412880 edges, 5249 markings/sec, 160 secs
lola: 949672 markings, 1453571 edges, 5150 markings/sec, 165 secs
lola: 975494 markings, 1494042 edges, 5164 markings/sec, 170 secs
lola: 1000202 markings, 1534218 edges, 4942 markings/sec, 175 secs
lola: 1028085 markings, 1578035 edges, 5577 markings/sec, 180 secs
lola: 1056623 markings, 1622642 edges, 5708 markings/sec, 185 secs
lola: 1085124 markings, 1667709 edges, 5700 markings/sec, 190 secs
lola: 1112719 markings, 1711443 edges, 5519 markings/sec, 195 secs
lola: 1139301 markings, 1754510 edges, 5316 markings/sec, 200 secs
lola: 1165018 markings, 1795314 edges, 5143 markings/sec, 205 secs
lola: 1190932 markings, 1836061 edges, 5183 markings/sec, 210 secs
lola: 1218052 markings, 1877272 edges, 5424 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 + p151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 13 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: 20347 markings, 45927 edges, 4069 markings/sec, 0 secs
lola: 41308 markings, 96459 edges, 4192 markings/sec, 5 secs
lola: 62271 markings, 148169 edges, 4193 markings/sec, 10 secs
lola: 84146 markings, 202718 edges, 4375 markings/sec, 15 secs
lola: 105305 markings, 256584 edges, 4232 markings/sec, 20 secs
lola: 126828 markings, 311292 edges, 4305 markings/sec, 25 secs
lola: 148111 markings, 365416 edges, 4257 markings/sec, 30 secs
lola: 167251 markings, 415050 edges, 3828 markings/sec, 35 secs
lola: 187694 markings, 468168 edges, 4089 markings/sec, 40 secs
lola: 207840 markings, 521277 edges, 4029 markings/sec, 45 secs
lola: 228394 markings, 575417 edges, 4111 markings/sec, 50 secs
lola: 249665 markings, 630851 edges, 4254 markings/sec, 55 secs
lola: 270539 markings, 684805 edges, 4175 markings/sec, 60 secs
lola: 291926 markings, 741610 edges, 4277 markings/sec, 65 secs
lola: 313865 markings, 799019 edges, 4388 markings/sec, 70 secs
lola: 335520 markings, 855650 edges, 4331 markings/sec, 75 secs
lola: 357457 markings, 913936 edges, 4387 markings/sec, 80 secs
lola: 379348 markings, 972465 edges, 4378 markings/sec, 85 secs
lola: 401025 markings, 1029567 edges, 4335 markings/sec, 90 secs
lola: 422578 markings, 1087074 edges, 4311 markings/sec, 95 secs
lola: 444276 markings, 1144968 edges, 4340 markings/sec, 100 secs
lola: 465799 markings, 1201652 edges, 4305 markings/sec, 105 secs
lola: 486920 markings, 1258707 edges, 4224 markings/sec, 110 secs
lola: 507366 markings, 1314001 edges, 4089 markings/sec, 115 secs
lola: 528026 markings, 1369873 edges, 4132 markings/sec, 120 secs
lola: 548996 markings, 1425671 edges, 4194 markings/sec, 125 secs
lola: 569310 markings, 1480856 edges, 4063 markings/sec, 130 secs
lola: 589317 markings, 1535669 edges, 4001 markings/sec, 135 secs
lola: 609781 markings, 1590929 edges, 4093 markings/sec, 140 secs
lola: 630349 markings, 1647396 edges, 4114 markings/sec, 145 secs
lola: 650628 markings, 1701967 edges, 4056 markings/sec, 150 secs
lola: 670839 markings, 1757097 edges, 4042 markings/sec, 155 secs
lola: 691315 markings, 1811768 edges, 4095 markings/sec, 160 secs
lola: 711520 markings, 1866763 edges, 4041 markings/sec, 165 secs
lola: 731850 markings, 1922098 edges, 4066 markings/sec, 170 secs
lola: 752448 markings, 1977250 edges, 4120 markings/sec, 175 secs
lola: 772637 markings, 2032738 edges, 4038 markings/sec, 180 secs
lola: 792535 markings, 2088428 edges, 3980 markings/sec, 185 secs
lola: 812461 markings, 2142899 edges, 3985 markings/sec, 190 secs
lola: 832825 markings, 2200155 edges, 4073 markings/sec, 195 secs
lola: 853025 markings, 2254919 edges, 4040 markings/sec, 200 secs
lola: 873729 markings, 2310944 edges, 4141 markings/sec, 205 secs
lola: 894445 markings, 2366596 edges, 4143 markings/sec, 210 secs
lola: 915576 markings, 2424847 edges, 4226 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 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p129 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 13 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p150 + p151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 13 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: 20508 markings, 46284 edges, 4102 markings/sec, 0 secs
lola: 41603 markings, 97206 edges, 4219 markings/sec, 5 secs
lola: 63049 markings, 149968 edges, 4289 markings/sec, 10 secs
lola: 84098 markings, 202587 edges, 4210 markings/sec, 15 secs
lola: 105333 markings, 256647 edges, 4247 markings/sec, 20 secs
lola: 126853 markings, 311363 edges, 4304 markings/sec, 25 secs
lola: 148316 markings, 365956 edges, 4293 markings/sec, 30 secs
lola: 169710 markings, 421287 edges, 4279 markings/sec, 35 secs
lola: 191050 markings, 476990 edges, 4268 markings/sec, 40 secs
lola: 212296 markings, 532953 edges, 4249 markings/sec, 45 secs
lola: 234241 markings, 589989 edges, 4389 markings/sec, 50 secs
lola: 256555 markings, 648591 edges, 4463 markings/sec, 55 secs
lola: 279034 markings, 707056 edges, 4496 markings/sec, 60 secs
lola: 300695 markings, 764193 edges, 4332 markings/sec, 65 secs
lola: 322268 markings, 820986 edges, 4315 markings/sec, 70 secs
lola: 344819 markings, 880814 edges, 4510 markings/sec, 75 secs
lola: 367332 markings, 939946 edges, 4503 markings/sec, 80 secs
lola: 389930 markings, 1000752 edges, 4520 markings/sec, 85 secs
lola: 412004 markings, 1059151 edges, 4415 markings/sec, 90 secs
lola: 434704 markings, 1119599 edges, 4540 markings/sec, 95 secs
lola: 456073 markings, 1176490 edges, 4274 markings/sec, 100 secs
lola: 476973 markings, 1232276 edges, 4180 markings/sec, 105 secs
lola: 497594 markings, 1287765 edges, 4124 markings/sec, 110 secs
lola: 518143 markings, 1342879 edges, 4110 markings/sec, 115 secs
lola: 538508 markings, 1397675 edges, 4073 markings/sec, 120 secs
lola: 558809 markings, 1452381 edges, 4060 markings/sec, 125 secs
lola: 580305 markings, 1510439 edges, 4299 markings/sec, 130 secs
lola: 602566 markings, 1571120 edges, 4452 markings/sec, 135 secs
lola: 624589 markings, 1632038 edges, 4405 markings/sec, 140 secs
lola: 646645 markings, 1691460 edges, 4411 markings/sec, 145 secs
lola: 668675 markings, 1751190 edges, 4406 markings/sec, 150 secs
lola: 690469 markings, 1809537 edges, 4359 markings/sec, 155 secs
lola: 712438 markings, 1869258 edges, 4394 markings/sec, 160 secs
lola: 734411 markings, 1929117 edges, 4395 markings/sec, 165 secs
lola: 756497 markings, 1988617 edges, 4417 markings/sec, 170 secs
lola: 778573 markings, 2049589 edges, 4415 markings/sec, 175 secs
lola: 800140 markings, 2109195 edges, 4313 markings/sec, 180 secs
lola: 821748 markings, 2169056 edges, 4322 markings/sec, 185 secs
lola: 843880 markings, 2230161 edges, 4426 markings/sec, 190 secs
lola: 866020 markings, 2290415 edges, 4428 markings/sec, 195 secs
lola: 887748 markings, 2347950 edges, 4346 markings/sec, 200 secs
lola: 909198 markings, 2406704 edges, 4290 markings/sec, 205 secs
lola: 930922 markings, 2467546 edges, 4345 markings/sec, 210 secs
lola: 952750 markings, 2527715 edges, 4366 markings/sec, 215 secs
lola: 974129 markings, 2586753 edges, 4276 markings/sec, 220 secs
lola: 995293 markings, 2644266 edges, 4233 markings/sec, 225 secs
lola: 1016575 markings, 2702621 edges, 4256 markings/sec, 230 secs
lola: 1037662 markings, 2762477 edges, 4217 markings/sec, 235 secs
lola: 1059008 markings, 2821926 edges, 4269 markings/sec, 240 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(p152 + p153)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 13 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: 21190 markings, 47284 edges, 4238 markings/sec, 0 secs
lola: 43312 markings, 100949 edges, 4424 markings/sec, 5 secs
lola: 65151 markings, 153997 edges, 4368 markings/sec, 10 secs
lola: 86632 markings, 206931 edges, 4296 markings/sec, 15 secs
lola: 108177 markings, 260391 edges, 4309 markings/sec, 20 secs
lola: 129639 markings, 314862 edges, 4292 markings/sec, 25 secs
lola: 151350 markings, 370585 edges, 4342 markings/sec, 30 secs
lola: 172998 markings, 425224 edges, 4330 markings/sec, 35 secs
lola: 194500 markings, 480089 edges, 4300 markings/sec, 40 secs
lola: 215855 markings, 535202 edges, 4271 markings/sec, 45 secs
lola: 237425 markings, 591324 edges, 4314 markings/sec, 50 secs
lola: 258922 markings, 646900 edges, 4299 markings/sec, 55 secs
lola: 280401 markings, 702280 edges, 4296 markings/sec, 60 secs
lola: 301684 markings, 758433 edges, 4257 markings/sec, 65 secs
lola: 322933 markings, 815391 edges, 4250 markings/sec, 70 secs
lola: 344212 markings, 871033 edges, 4256 markings/sec, 75 secs
lola: 365768 markings, 927370 edges, 4311 markings/sec, 80 secs
lola: 387059 markings, 982648 edges, 4258 markings/sec, 85 secs
lola: 408403 markings, 1038331 edges, 4269 markings/sec, 90 secs
lola: 429659 markings, 1094186 edges, 4251 markings/sec, 95 secs
lola: 451541 markings, 1151856 edges, 4376 markings/sec, 100 secs
lola: 473656 markings, 1210703 edges, 4423 markings/sec, 105 secs
lola: 495646 markings, 1268908 edges, 4398 markings/sec, 110 secs
lola: 517202 markings, 1325939 edges, 4311 markings/sec, 115 secs
lola: 538465 markings, 1382890 edges, 4253 markings/sec, 120 secs
lola: 560174 markings, 1440592 edges, 4342 markings/sec, 125 secs
lola: 581654 markings, 1498230 edges, 4296 markings/sec, 130 secs
lola: 602585 markings, 1552908 edges, 4186 markings/sec, 135 secs
lola: 623608 markings, 1608452 edges, 4205 markings/sec, 140 secs
lola: 644620 markings, 1665232 edges, 4202 markings/sec, 145 secs
lola: 664663 markings, 1719234 edges, 4009 markings/sec, 150 secs
lola: 684443 markings, 1773154 edges, 3956 markings/sec, 155 secs
lola: 704597 markings, 1828438 edges, 4031 markings/sec, 160 secs
lola: 725595 markings, 1884144 edges, 4200 markings/sec, 165 secs
lola: 746773 markings, 1940091 edges, 4236 markings/sec, 170 secs
lola: 767795 markings, 1997062 edges, 4204 markings/sec, 175 secs
lola: 788886 markings, 2052907 edges, 4218 markings/sec, 180 secs
lola: 810659 markings, 2111901 edges, 4355 markings/sec, 185 secs
lola: 832381 markings, 2170851 edges, 4344 markings/sec, 190 secs
lola: 853341 markings, 2227946 edges, 4192 markings/sec, 195 secs
lola: 873533 markings, 2283378 edges, 4038 markings/sec, 200 secs
lola: 893360 markings, 2336532 edges, 3965 markings/sec, 205 secs
lola: 913810 markings, 2391236 edges, 4090 markings/sec, 210 secs
lola: 935494 markings, 2448825 edges, 4337 markings/sec, 215 secs
lola: 957141 markings, 2508972 edges, 4329 markings/sec, 220 secs
lola: 977177 markings, 2564076 edges, 4007 markings/sec, 225 secs
lola: 997312 markings, 2618457 edges, 4027 markings/sec, 230 secs
lola: 1017281 markings, 2672504 edges, 3994 markings/sec, 235 secs
lola: 1037210 markings, 2726240 edges, 3986 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(p42 + p41 + p40 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 13 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: 24881 markings, 129189 edges, 4976 markings/sec, 0 secs
lola: 52746 markings, 303006 edges, 5573 markings/sec, 5 secs
lola: 79991 markings, 474331 edges, 5449 markings/sec, 10 secs
lola: 106625 markings, 663781 edges, 5327 markings/sec, 15 secs
lola: 133435 markings, 830414 edges, 5362 markings/sec, 20 secs
lola: 158627 markings, 1007719 edges, 5038 markings/sec, 25 secs
lola: 183331 markings, 1181546 edges, 4941 markings/sec, 30 secs
lola: 207818 markings, 1372928 edges, 4897 markings/sec, 35 secs
lola: 233150 markings, 1540337 edges, 5066 markings/sec, 40 secs
lola: 259705 markings, 1723613 edges, 5311 markings/sec, 45 secs
lola: 286284 markings, 1912623 edges, 5316 markings/sec, 50 secs
lola: 312790 markings, 2118489 edges, 5301 markings/sec, 55 secs
lola: 339367 markings, 2313543 edges, 5315 markings/sec, 60 secs
lola: 365535 markings, 2516212 edges, 5234 markings/sec, 65 secs
lola: 392056 markings, 2728315 edges, 5304 markings/sec, 70 secs
lola: 418369 markings, 2955243 edges, 5263 markings/sec, 75 secs
lola: 444982 markings, 3141549 edges, 5323 markings/sec, 80 secs
lola: 471098 markings, 3320416 edges, 5223 markings/sec, 85 secs
lola: 495664 markings, 3494917 edges, 4913 markings/sec, 90 secs
lola: 520167 markings, 3682450 edges, 4901 markings/sec, 95 secs
lola: 545142 markings, 3871242 edges, 4995 markings/sec, 100 secs
lola: 571236 markings, 4067143 edges, 5219 markings/sec, 105 secs
lola: 597391 markings, 4276267 edges, 5231 markings/sec, 110 secs
lola: 623557 markings, 4495100 edges, 5233 markings/sec, 115 secs
lola: 649813 markings, 4709417 edges, 5251 markings/sec, 120 secs
lola: 676693 markings, 4910376 edges, 5376 markings/sec, 125 secs
lola: 703681 markings, 5126395 edges, 5398 markings/sec, 130 secs
lola: 730200 markings, 5348483 edges, 5304 markings/sec, 135 secs
lola: 756458 markings, 5572093 edges, 5252 markings/sec, 140 secs
lola: 782559 markings, 5790110 edges, 5220 markings/sec, 145 secs
lola: 808512 markings, 6020712 edges, 5191 markings/sec, 150 secs
lola: 834197 markings, 6256649 edges, 5137 markings/sec, 155 secs
lola: 860344 markings, 6483133 edges, 5229 markings/sec, 160 secs
lola: 886776 markings, 6654917 edges, 5286 markings/sec, 165 secs
lola: 913074 markings, 6842185 edges, 5260 markings/sec, 170 secs
lola: 939224 markings, 7035116 edges, 5230 markings/sec, 175 secs
lola: 965342 markings, 7238811 edges, 5224 markings/sec, 180 secs
lola: 991593 markings, 7431189 edges, 5250 markings/sec, 185 secs
lola: 1018473 markings, 7646566 edges, 5376 markings/sec, 190 secs
lola: 1044833 markings, 7862746 edges, 5272 markings/sec, 195 secs
lola: 1070789 markings, 8083133 edges, 5191 markings/sec, 200 secs
lola: 1095615 markings, 8264170 edges, 4965 markings/sec, 205 secs
lola: 1119932 markings, 8461161 edges, 4863 markings/sec, 210 secs
lola: 1144308 markings, 8657550 edges, 4875 markings/sec, 215 secs
lola: 1170121 markings, 8885065 edges, 5163 markings/sec, 220 secs
lola: 1196105 markings, 9093382 edges, 5197 markings/sec, 225 secs
lola: 1221679 markings, 9317910 edges, 5115 markings/sec, 230 secs
lola: 1247676 markings, 9548223 edges, 5199 markings/sec, 235 secs
lola: 1273219 markings, 9793616 edges, 5109 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(p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55 + p54 + p53 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 13 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: 23037 markings, 52467 edges, 4607 markings/sec, 0 secs
lola: 45882 markings, 107684 edges, 4569 markings/sec, 5 secs
lola: 68497 markings, 163559 edges, 4523 markings/sec, 10 secs
lola: 90942 markings, 220226 edges, 4489 markings/sec, 15 secs
lola: 113131 markings, 276401 edges, 4438 markings/sec, 20 secs
lola: 135393 markings, 332762 edges, 4452 markings/sec, 25 secs
lola: 157600 markings, 389511 edges, 4441 markings/sec, 30 secs
lola: 179643 markings, 447415 edges, 4409 markings/sec, 35 secs
lola: 201700 markings, 504731 edges, 4411 markings/sec, 40 secs
lola: 223747 markings, 563262 edges, 4409 markings/sec, 45 secs
lola: 246196 markings, 621674 edges, 4490 markings/sec, 50 secs
lola: 268391 markings, 679190 edges, 4439 markings/sec, 55 secs
lola: 290876 markings, 738629 edges, 4497 markings/sec, 60 secs
lola: 313578 markings, 798332 edges, 4540 markings/sec, 65 secs
lola: 335659 markings, 856036 edges, 4416 markings/sec, 70 secs
lola: 357722 markings, 914667 edges, 4413 markings/sec, 75 secs
lola: 380034 markings, 974303 edges, 4462 markings/sec, 80 secs
lola: 401903 markings, 1031936 edges, 4374 markings/sec, 85 secs
lola: 423750 markings, 1090201 edges, 4369 markings/sec, 90 secs
lola: 446022 markings, 1149480 edges, 4454 markings/sec, 95 secs
lola: 468598 markings, 1209644 edges, 4515 markings/sec, 100 secs
lola: 491402 markings, 1271140 edges, 4561 markings/sec, 105 secs
lola: 513445 markings, 1330326 edges, 4409 markings/sec, 110 secs
lola: 535533 markings, 1389845 edges, 4418 markings/sec, 115 secs
lola: 557119 markings, 1447706 edges, 4317 markings/sec, 120 secs
lola: 579531 markings, 1508288 edges, 4482 markings/sec, 125 secs
lola: 602268 markings, 1570244 edges, 4547 markings/sec, 130 secs
lola: 624866 markings, 1632731 edges, 4520 markings/sec, 135 secs
lola: 647445 markings, 1693639 edges, 4516 markings/sec, 140 secs
lola: 669133 markings, 1752474 edges, 4338 markings/sec, 145 secs
lola: 691595 markings, 1812520 edges, 4492 markings/sec, 150 secs
lola: 714074 markings, 1873744 edges, 4496 markings/sec, 155 secs
lola: 736763 markings, 1935403 edges, 4538 markings/sec, 160 secs
lola: 759228 markings, 1996041 edges, 4493 markings/sec, 165 secs
lola: 781386 markings, 2057457 edges, 4432 markings/sec, 170 secs
lola: 803784 markings, 2118998 edges, 4480 markings/sec, 175 secs
lola: 826093 markings, 2181443 edges, 4462 markings/sec, 180 secs
lola: 848454 markings, 2242416 edges, 4472 markings/sec, 185 secs
lola: 870432 markings, 2301996 edges, 4396 markings/sec, 190 secs
lola: 892750 markings, 2361889 edges, 4464 markings/sec, 195 secs
lola: 915142 markings, 2423606 edges, 4478 markings/sec, 200 secs
lola: 938128 markings, 2486916 edges, 4597 markings/sec, 205 secs
lola: 960494 markings, 2549039 edges, 4473 markings/sec, 210 secs
lola: 982769 markings, 2610137 edges, 4455 markings/sec, 215 secs
lola: 1004945 markings, 2670359 edges, 4435 markings/sec, 220 secs
lola: 1026552 markings, 2730838 edges, 4321 markings/sec, 225 secs
lola: 1048490 markings, 2791546 edges, 4388 markings/sec, 230 secs
lola: 1070026 markings, 2852635 edges, 4307 markings/sec, 235 secs
lola: 1092493 markings, 2912862 edges, 4493 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(p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 13 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: 27359 markings, 117846 edges, 5472 markings/sec, 0 secs
lola: 55177 markings, 255629 edges, 5564 markings/sec, 5 secs
lola: 82671 markings, 394117 edges, 5499 markings/sec, 10 secs
lola: 108737 markings, 540497 edges, 5213 markings/sec, 15 secs
lola: 136542 markings, 681192 edges, 5561 markings/sec, 20 secs
lola: 164047 markings, 835854 edges, 5501 markings/sec, 25 secs
lola: 191426 markings, 993632 edges, 5476 markings/sec, 30 secs
lola: 218829 markings, 1158702 edges, 5481 markings/sec, 35 secs
lola: 246381 markings, 1301130 edges, 5510 markings/sec, 40 secs
lola: 273923 markings, 1455922 edges, 5508 markings/sec, 45 secs
lola: 301965 markings, 1619837 edges, 5608 markings/sec, 50 secs
lola: 328300 markings, 1780320 edges, 5267 markings/sec, 55 secs
lola: 353175 markings, 1926429 edges, 4975 markings/sec, 60 secs
lola: 378001 markings, 2083303 edges, 4965 markings/sec, 65 secs
lola: 404734 markings, 2255281 edges, 5347 markings/sec, 70 secs
lola: 432244 markings, 2434658 edges, 5502 markings/sec, 75 secs
lola: 461277 markings, 2584432 edges, 5807 markings/sec, 80 secs
lola: 488501 markings, 2738338 edges, 5445 markings/sec, 85 secs
lola: 514996 markings, 2893954 edges, 5299 markings/sec, 90 secs
lola: 540105 markings, 3047996 edges, 5022 markings/sec, 95 secs
lola: 567154 markings, 3205853 edges, 5410 markings/sec, 100 secs
lola: 594381 markings, 3377400 edges, 5445 markings/sec, 105 secs
lola: 621817 markings, 3556464 edges, 5487 markings/sec, 110 secs
lola: 648779 markings, 3731547 edges, 5392 markings/sec, 115 secs
lola: 676042 markings, 3892431 edges, 5453 markings/sec, 120 secs
lola: 703387 markings, 4064838 edges, 5469 markings/sec, 125 secs
lola: 730848 markings, 4246115 edges, 5492 markings/sec, 130 secs
lola: 758030 markings, 4427498 edges, 5436 markings/sec, 135 secs
lola: 785198 markings, 4607748 edges, 5434 markings/sec, 140 secs
lola: 811956 markings, 4794193 edges, 5352 markings/sec, 145 secs
lola: 838890 markings, 4990547 edges, 5387 markings/sec, 150 secs
lola: 865819 markings, 5159384 edges, 5386 markings/sec, 155 secs
lola: 893401 markings, 5306286 edges, 5516 markings/sec, 160 secs
lola: 920923 markings, 5461632 edges, 5504 markings/sec, 165 secs
lola: 948039 markings, 5625441 edges, 5423 markings/sec, 170 secs
lola: 976474 markings, 5793180 edges, 5687 markings/sec, 175 secs
lola: 1002974 markings, 5954562 edges, 5300 markings/sec, 180 secs
lola: 1029929 markings, 6124721 edges, 5391 markings/sec, 185 secs
lola: 1056825 markings, 6306535 edges, 5379 markings/sec, 190 secs
lola: 1084075 markings, 6471549 edges, 5450 markings/sec, 195 secs
lola: 1112113 markings, 6644102 edges, 5608 markings/sec, 200 secs
lola: 1138296 markings, 6809557 edges, 5237 markings/sec, 205 secs
lola: 1162288 markings, 6970797 edges, 4798 markings/sec, 210 secs
lola: 1189980 markings, 7151828 edges, 5538 markings/sec, 215 secs
lola: 1216801 markings, 7333172 edges, 5364 markings/sec, 220 secs
lola: 1242122 markings, 7509145 edges, 5064 markings/sec, 225 secs
lola: 1268629 markings, 7704927 edges, 5301 markings/sec, 230 secs
lola: 1297754 markings, 7889089 edges, 5825 markings/sec, 235 secs
lola: 1326755 markings, 8067919 edges, 5800 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(p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 13 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: 27947 markings, 35969 edges, 5589 markings/sec, 0 secs
lola: 57058 markings, 73541 edges, 5822 markings/sec, 5 secs
lola: 86220 markings, 111128 edges, 5832 markings/sec, 10 secs
lola: 115531 markings, 148929 edges, 5862 markings/sec, 15 secs
lola: 144841 markings, 186758 edges, 5862 markings/sec, 20 secs
lola: 174148 markings, 224566 edges, 5861 markings/sec, 25 secs
lola: 203443 markings, 262344 edges, 5859 markings/sec, 30 secs
lola: 233264 markings, 300815 edges, 5964 markings/sec, 35 secs
lola: 262656 markings, 338716 edges, 5878 markings/sec, 40 secs
lola: 291965 markings, 376509 edges, 5862 markings/sec, 45 secs
lola: 321350 markings, 414391 edges, 5877 markings/sec, 50 secs
lola: 350410 markings, 451905 edges, 5812 markings/sec, 55 secs
lola: 379743 markings, 489733 edges, 5867 markings/sec, 60 secs
lola: 408762 markings, 527126 edges, 5804 markings/sec, 65 secs
lola: 437906 markings, 564763 edges, 5829 markings/sec, 70 secs
lola: 466990 markings, 602245 edges, 5817 markings/sec, 75 secs
lola: 495945 markings, 639620 edges, 5791 markings/sec, 80 secs
lola: 525009 markings, 677075 edges, 5813 markings/sec, 85 secs
lola: 554155 markings, 714673 edges, 5829 markings/sec, 90 secs
lola: 583222 markings, 752188 edges, 5813 markings/sec, 95 secs
lola: 612346 markings, 789706 edges, 5825 markings/sec, 100 secs
lola: 641539 markings, 827402 edges, 5839 markings/sec, 105 secs
lola: 670656 markings, 864936 edges, 5823 markings/sec, 110 secs
lola: 699778 markings, 902490 edges, 5824 markings/sec, 115 secs
lola: 728932 markings, 940112 edges, 5831 markings/sec, 120 secs
lola: 758208 markings, 977862 edges, 5855 markings/sec, 125 secs
lola: 787496 markings, 1015615 edges, 5858 markings/sec, 130 secs
lola: 816827 markings, 1053462 edges, 5866 markings/sec, 135 secs
lola: 846041 markings, 1091163 edges, 5843 markings/sec, 140 secs
lola: 875247 markings, 1128811 edges, 5841 markings/sec, 145 secs
lola: 904337 markings, 1166332 edges, 5818 markings/sec, 150 secs
lola: 933519 markings, 1203981 edges, 5836 markings/sec, 155 secs
lola: 962453 markings, 1241280 edges, 5787 markings/sec, 160 secs
lola: 991604 markings, 1278906 edges, 5830 markings/sec, 165 secs
lola: 1020427 markings, 1316061 edges, 5765 markings/sec, 170 secs
lola: 1049667 markings, 1353798 edges, 5848 markings/sec, 175 secs
lola: 1078692 markings, 1391192 edges, 5805 markings/sec, 180 secs
lola: 1107987 markings, 1428993 edges, 5859 markings/sec, 185 secs
lola: 1137184 markings, 1466674 edges, 5839 markings/sec, 190 secs
lola: 1166495 markings, 1504478 edges, 5862 markings/sec, 195 secs
lola: 1195737 markings, 1542156 edges, 5848 markings/sec, 200 secs
lola: 1224982 markings, 1579900 edges, 5849 markings/sec, 205 secs
lola: 1254153 markings, 1617534 edges, 5834 markings/sec, 210 secs
lola: 1283319 markings, 1655120 edges, 5833 markings/sec, 215 secs
lola: 1312450 markings, 1692724 edges, 5826 markings/sec, 220 secs
lola: 1341756 markings, 1730519 edges, 5861 markings/sec, 225 secs
lola: 1371129 markings, 1768415 edges, 5875 markings/sec, 230 secs
lola: 1400558 markings, 1806350 edges, 5886 markings/sec, 235 secs
lola: 1429934 markings, 1844225 edges, 5875 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(p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 13 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: 26093 markings, 33571 edges, 5219 markings/sec, 0 secs
lola: 54234 markings, 69895 edges, 5628 markings/sec, 5 secs
lola: 83028 markings, 107002 edges, 5759 markings/sec, 10 secs
lola: 111053 markings, 143187 edges, 5605 markings/sec, 15 secs
lola: 139262 markings, 179556 edges, 5642 markings/sec, 20 secs
lola: 167363 markings, 215793 edges, 5620 markings/sec, 25 secs
lola: 195218 markings, 251720 edges, 5571 markings/sec, 30 secs
lola: 223935 markings, 288775 edges, 5743 markings/sec, 35 secs
lola: 253051 markings, 326295 edges, 5823 markings/sec, 40 secs
lola: 281946 markings, 363598 edges, 5779 markings/sec, 45 secs
lola: 310892 markings, 400915 edges, 5789 markings/sec, 50 secs
lola: 339832 markings, 438251 edges, 5788 markings/sec, 55 secs
lola: 369039 markings, 475892 edges, 5841 markings/sec, 60 secs
lola: 397800 markings, 513006 edges, 5752 markings/sec, 65 secs
lola: 426736 markings, 550352 edges, 5787 markings/sec, 70 secs
lola: 455449 markings, 587362 edges, 5743 markings/sec, 75 secs
lola: 484268 markings, 624525 edges, 5764 markings/sec, 80 secs
lola: 512955 markings, 661557 edges, 5737 markings/sec, 85 secs
lola: 541639 markings, 698547 edges, 5737 markings/sec, 90 secs
lola: 570547 markings, 735802 edges, 5782 markings/sec, 95 secs
lola: 599355 markings, 772967 edges, 5762 markings/sec, 100 secs
lola: 627925 markings, 809830 edges, 5714 markings/sec, 105 secs
lola: 656575 markings, 846789 edges, 5730 markings/sec, 110 secs
lola: 685126 markings, 883608 edges, 5710 markings/sec, 115 secs
lola: 714085 markings, 920936 edges, 5792 markings/sec, 120 secs
lola: 742898 markings, 958110 edges, 5763 markings/sec, 125 secs
lola: 772315 markings, 996039 edges, 5883 markings/sec, 130 secs
lola: 802213 markings, 1034628 edges, 5980 markings/sec, 135 secs
lola: 831801 markings, 1072795 edges, 5918 markings/sec, 140 secs
lola: 860239 markings, 1109467 edges, 5688 markings/sec, 145 secs
lola: 889082 markings, 1146657 edges, 5769 markings/sec, 150 secs
lola: 918046 markings, 1184020 edges, 5793 markings/sec, 155 secs
lola: 946777 markings, 1221084 edges, 5746 markings/sec, 160 secs
lola: 975309 markings, 1257886 edges, 5706 markings/sec, 165 secs
lola: 1005374 markings, 1296627 edges, 6013 markings/sec, 170 secs
lola: 1034370 markings, 1334067 edges, 5799 markings/sec, 175 secs
lola: 1063204 markings, 1371232 edges, 5767 markings/sec, 180 secs
lola: 1092506 markings, 1409048 edges, 5860 markings/sec, 185 secs
lola: 1121572 markings, 1446515 edges, 5813 markings/sec, 190 secs
lola: 1150569 markings, 1483935 edges, 5799 markings/sec, 195 secs
lola: 1178858 markings, 1520417 edges, 5658 markings/sec, 200 secs
lola: 1207642 markings, 1557538 edges, 5757 markings/sec, 205 secs
lola: 1236614 markings, 1594899 edges, 5794 markings/sec, 210 secs
lola: 1265441 markings, 1632097 edges, 5765 markings/sec, 215 secs
lola: 1293989 markings, 1668921 edges, 5710 markings/sec, 220 secs
lola: 1323039 markings, 1706351 edges, 5810 markings/sec, 225 secs
lola: 1352021 markings, 1743768 edges, 5796 markings/sec, 230 secs
lola: 1381238 markings, 1781438 edges, 5843 markings/sec, 235 secs
lola: 1407285 markings, 1815023 edges, 5209 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(p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 13 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: 34718 markings, 47800 edges, 6944 markings/sec, 0 secs
lola: 69276 markings, 98384 edges, 6912 markings/sec, 5 secs
lola: 104369 markings, 148884 edges, 7019 markings/sec, 10 secs
lola: 138662 markings, 199128 edges, 6859 markings/sec, 15 secs
lola: 172413 markings, 249046 edges, 6750 markings/sec, 20 secs
lola: 206238 markings, 299417 edges, 6765 markings/sec, 25 secs
lola: 239129 markings, 349299 edges, 6578 markings/sec, 30 secs
lola: 271881 markings, 398675 edges, 6550 markings/sec, 35 secs
lola: 303807 markings, 448087 edges, 6385 markings/sec, 40 secs
lola: 334758 markings, 497211 edges, 6190 markings/sec, 45 secs
lola: 367711 markings, 546589 edges, 6591 markings/sec, 50 secs
lola: 398727 markings, 595124 edges, 6203 markings/sec, 55 secs
lola: 429195 markings, 643344 edges, 6094 markings/sec, 60 secs
lola: 460256 markings, 692015 edges, 6212 markings/sec, 65 secs
lola: 492941 markings, 741387 edges, 6537 markings/sec, 70 secs
lola: 524260 markings, 790412 edges, 6264 markings/sec, 75 secs
lola: 553966 markings, 837679 edges, 5941 markings/sec, 80 secs
lola: 585626 markings, 886521 edges, 6332 markings/sec, 85 secs
lola: 617695 markings, 935610 edges, 6414 markings/sec, 90 secs
lola: 648690 markings, 984430 edges, 6199 markings/sec, 95 secs
lola: 680341 markings, 1033459 edges, 6330 markings/sec, 100 secs
lola: 711317 markings, 1082241 edges, 6195 markings/sec, 105 secs
lola: 741985 markings, 1130624 edges, 6134 markings/sec, 110 secs
lola: 773434 markings, 1179389 edges, 6290 markings/sec, 115 secs
lola: 803972 markings, 1227945 edges, 6108 markings/sec, 120 secs
lola: 837372 markings, 1277699 edges, 6680 markings/sec, 125 secs
lola: 868481 markings, 1326777 edges, 6222 markings/sec, 130 secs
lola: 901011 markings, 1376189 edges, 6506 markings/sec, 135 secs
lola: 931487 markings, 1424823 edges, 6095 markings/sec, 140 secs
lola: 962057 markings, 1473494 edges, 6114 markings/sec, 145 secs
lola: 992430 markings, 1521832 edges, 6075 markings/sec, 150 secs
lola: 1020079 markings, 1565835 edges, 5530 markings/sec, 155 secs
lola: 1049356 markings, 1611945 edges, 5855 markings/sec, 160 secs
lola: 1080388 markings, 1660002 edges, 6206 markings/sec, 165 secs
lola: 1110392 markings, 1707533 edges, 6001 markings/sec, 170 secs
lola: 1137378 markings, 1751391 edges, 5397 markings/sec, 175 secs
lola: 1166899 markings, 1798333 edges, 5904 markings/sec, 180 secs
lola: 1194383 markings, 1841799 edges, 5497 markings/sec, 185 secs
lola: 1226990 markings, 1891561 edges, 6521 markings/sec, 190 secs
lola: 1258459 markings, 1941108 edges, 6294 markings/sec, 195 secs
lola: 1289502 markings, 1990444 edges, 6209 markings/sec, 200 secs
lola: 1320061 markings, 2037934 edges, 6112 markings/sec, 205 secs
lola: 1349598 markings, 2085948 edges, 5907 markings/sec, 210 secs
lola: 1379859 markings, 2135163 edges, 6052 markings/sec, 215 secs
lola: 1410789 markings, 2184277 edges, 6186 markings/sec, 220 secs
lola: 1442804 markings, 2234234 edges, 6403 markings/sec, 225 secs
lola: 1472858 markings, 2283143 edges, 6011 markings/sec, 230 secs
lola: 1504130 markings, 2332738 edges, 6254 markings/sec, 235 secs
lola: 1534767 markings, 2382315 edges, 6127 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(p44 + p43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 13 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: 23294 markings, 52367 edges, 4659 markings/sec, 0 secs
lola: 48298 markings, 113035 edges, 5001 markings/sec, 5 secs
lola: 73136 markings, 173402 edges, 4968 markings/sec, 10 secs
lola: 98720 markings, 236866 edges, 5117 markings/sec, 15 secs
lola: 124677 markings, 302417 edges, 5191 markings/sec, 20 secs
lola: 150599 markings, 368680 edges, 5184 markings/sec, 25 secs
lola: 176037 markings, 433126 edges, 5088 markings/sec, 30 secs
lola: 201287 markings, 497325 edges, 5050 markings/sec, 35 secs
lola: 226739 markings, 563284 edges, 5090 markings/sec, 40 secs
lola: 252565 markings, 630182 edges, 5165 markings/sec, 45 secs
lola: 278399 markings, 697391 edges, 5167 markings/sec, 50 secs
lola: 303939 markings, 764405 edges, 5108 markings/sec, 55 secs
lola: 329699 markings, 833390 edges, 5152 markings/sec, 60 secs
lola: 354149 markings, 896953 edges, 4890 markings/sec, 65 secs
lola: 378312 markings, 959583 edges, 4833 markings/sec, 70 secs
lola: 401159 markings, 1019402 edges, 4569 markings/sec, 75 secs
lola: 426179 markings, 1085408 edges, 5004 markings/sec, 80 secs
lola: 451070 markings, 1150636 edges, 4978 markings/sec, 85 secs
lola: 476163 markings, 1217470 edges, 5019 markings/sec, 90 secs
lola: 500922 markings, 1283053 edges, 4952 markings/sec, 95 secs
lola: 524391 markings, 1345254 edges, 4694 markings/sec, 100 secs
lola: 547621 markings, 1407102 edges, 4646 markings/sec, 105 secs
lola: 571007 markings, 1469464 edges, 4677 markings/sec, 110 secs
lola: 594238 markings, 1530647 edges, 4646 markings/sec, 115 secs
lola: 617194 markings, 1591124 edges, 4591 markings/sec, 120 secs
lola: 640228 markings, 1653115 edges, 4607 markings/sec, 125 secs
lola: 663078 markings, 1714881 edges, 4570 markings/sec, 130 secs
lola: 686103 markings, 1777584 edges, 4605 markings/sec, 135 secs
lola: 709261 markings, 1840365 edges, 4632 markings/sec, 140 secs
lola: 732424 markings, 1902526 edges, 4633 markings/sec, 145 secs
lola: 755714 markings, 1964160 edges, 4658 markings/sec, 150 secs
lola: 779126 markings, 2026858 edges, 4682 markings/sec, 155 secs
lola: 804317 markings, 2094480 edges, 5038 markings/sec, 160 secs
lola: 829379 markings, 2162544 edges, 5012 markings/sec, 165 secs
lola: 854538 markings, 2231123 edges, 5032 markings/sec, 170 secs
lola: 879860 markings, 2300428 edges, 5064 markings/sec, 175 secs
lola: 905166 markings, 2367921 edges, 5061 markings/sec, 180 secs
lola: 930415 markings, 2435857 edges, 5050 markings/sec, 185 secs
lola: 954651 markings, 2502078 edges, 4847 markings/sec, 190 secs
lola: 978431 markings, 2567464 edges, 4756 markings/sec, 195 secs
lola: 1000672 markings, 2626997 edges, 4448 markings/sec, 200 secs
lola: 1023550 markings, 2689320 edges, 4576 markings/sec, 205 secs
lola: 1047505 markings, 2753430 edges, 4791 markings/sec, 210 secs
lola: 1070043 markings, 2813858 edges, 4508 markings/sec, 215 secs
lola: 1094081 markings, 2880020 edges, 4808 markings/sec, 220 secs
lola: 1120139 markings, 2951442 edges, 5212 markings/sec, 225 secs
lola: 1146241 markings, 3021739 edges, 5220 markings/sec, 230 secs
lola: 1172176 markings, 3094067 edges, 5187 markings/sec, 235 secs
lola: 1197486 markings, 3162436 edges, 5062 markings/sec, 240 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 2 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
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 1494817588738
--------------------
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="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/SimpleLoadBal-COL-20.tgz
mv 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 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 r068-csrt-149440963400362"
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 ;