About the Execution of LoLA for LamportFastMutEx-COL-7
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
2927.100 | 3540079.00 | 3548954.00 | 232.50 | ? ? ? ? ? ? 7 ? ? 1 ? ? 1 1 ? ? | 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 LamportFastMutEx-COL-7, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440484600155
=====================================================================
--------------------
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 LamportFastMutEx-COL-7-UpperBounds-0
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-1
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-10
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-11
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-12
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-13
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-14
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-15
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-2
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-3
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-4
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-5
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-6
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-7
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-8
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494621945412
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ LamportFastMutEx-COL-7 @ 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: 800/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 264 places, 536 transitions, 182 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 762 transition conflict sets
lola: TASK
lola: reading formula from LamportFastMutEx-COL-7-UpperBounds.task
lola: MAX(p27 + p26 + p25 + p24 + p28 + p29 + p30 + p31) : MAX(p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95) : MAX(p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159) : MAX(p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263) : MAX(p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167) : MAX(p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255) : MAX(p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263) : MAX(p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175) : MAX(p100 + p101 + p102 + p103 + p96 + p97 + p98 + p99) : MAX(p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119) : MAX(p100 + p101 + p102 + p103 + p96 + p97 + p98 + p99) : MAX(p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135) : MAX(p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247) : MAX(p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127) : MAX(p0 + p2 + p4 + p6 + p8 + p10 + p12 + p14 + p15 + p13 + p11 + p9 + p7 + p5 + p3 + p1) : MAX(p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167)
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(p27 + p26 + p25 + p24 + p28 + p29 + p30 + p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 10 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: 342678 markings, 1417995 edges, 68536 markings/sec, 0 secs
lola: 677394 markings, 2871697 edges, 66943 markings/sec, 5 secs
lola: 1019697 markings, 4327640 edges, 68461 markings/sec, 10 secs
lola: 1337904 markings, 5741097 edges, 63641 markings/sec, 15 secs
lola: 1661397 markings, 7190453 edges, 64699 markings/sec, 20 secs
lola: 1953020 markings, 8515566 edges, 58325 markings/sec, 25 secs
lola: 2262895 markings, 9938210 edges, 61975 markings/sec, 30 secs
lola: 2589143 markings, 11459846 edges, 65250 markings/sec, 35 secs
lola: 2909711 markings, 12954518 edges, 64114 markings/sec, 40 secs
lola: 3205103 markings, 14332043 edges, 59078 markings/sec, 45 secs
lola: 3506410 markings, 15730252 edges, 60261 markings/sec, 50 secs
lola: 3829126 markings, 17233168 edges, 64543 markings/sec, 55 secs
lola: 4117512 markings, 18609405 edges, 57677 markings/sec, 60 secs
lola: 4433332 markings, 20053096 edges, 63164 markings/sec, 65 secs
lola: 4754098 markings, 21487443 edges, 64153 markings/sec, 70 secs
lola: 5068330 markings, 23001702 edges, 62846 markings/sec, 75 secs
lola: 5360721 markings, 24390169 edges, 58478 markings/sec, 80 secs
lola: 5643488 markings, 25739851 edges, 56553 markings/sec, 85 secs
lola: 5939378 markings, 27190058 edges, 59178 markings/sec, 90 secs
lola: 6259345 markings, 28687847 edges, 63993 markings/sec, 95 secs
lola: 6573425 markings, 30197951 edges, 62816 markings/sec, 100 secs
lola: 6868935 markings, 31570535 edges, 59102 markings/sec, 105 secs
lola: 7127883 markings, 32821398 edges, 51790 markings/sec, 110 secs
lola: 7432212 markings, 34260671 edges, 60866 markings/sec, 115 secs
lola: 7743061 markings, 35678847 edges, 62170 markings/sec, 120 secs
lola: 8032125 markings, 37090805 edges, 57813 markings/sec, 125 secs
lola: 8329025 markings, 38521761 edges, 59380 markings/sec, 130 secs
lola: 8587591 markings, 39771971 edges, 51713 markings/sec, 135 secs
lola: 8859659 markings, 41061589 edges, 54414 markings/sec, 140 secs
lola: 9160250 markings, 42433221 edges, 60118 markings/sec, 145 secs
lola: 9461755 markings, 43813531 edges, 60301 markings/sec, 150 secs
lola: 9771564 markings, 45280400 edges, 61962 markings/sec, 155 secs
lola: 10007986 markings, 46386498 edges, 47284 markings/sec, 160 secs
lola: 10270412 markings, 47611551 edges, 52485 markings/sec, 165 secs
lola: 10566339 markings, 48997778 edges, 59185 markings/sec, 170 secs
lola: 10875051 markings, 50410542 edges, 61742 markings/sec, 175 secs
lola: 11179482 markings, 51826641 edges, 60886 markings/sec, 180 secs
lola: 11474887 markings, 53182279 edges, 59081 markings/sec, 185 secs
lola: 11726030 markings, 54341614 edges, 50229 markings/sec, 190 secs
lola: 12010342 markings, 55684692 edges, 56862 markings/sec, 195 secs
lola: 12300179 markings, 57063794 edges, 57967 markings/sec, 200 secs
lola: 12546672 markings, 58270877 edges, 49299 markings/sec, 205 secs
lola: 12827753 markings, 59659813 edges, 56216 markings/sec, 210 secs
lola: 13094339 markings, 61009618 edges, 53317 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(p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 10 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: 351072 markings, 1383004 edges, 70214 markings/sec, 0 secs
lola: 688363 markings, 2788430 edges, 67458 markings/sec, 5 secs
lola: 1044102 markings, 4241309 edges, 71148 markings/sec, 10 secs
lola: 1370127 markings, 5635258 edges, 65205 markings/sec, 15 secs
lola: 1710733 markings, 7093286 edges, 68121 markings/sec, 20 secs
lola: 2043799 markings, 8495107 edges, 66613 markings/sec, 25 secs
lola: 2329047 markings, 9741792 edges, 57050 markings/sec, 30 secs
lola: 2655943 markings, 11112220 edges, 65379 markings/sec, 35 secs
lola: 2956676 markings, 12400847 edges, 60147 markings/sec, 40 secs
lola: 3245871 markings, 13663706 edges, 57839 markings/sec, 45 secs
lola: 3550451 markings, 15018860 edges, 60916 markings/sec, 50 secs
lola: 3861593 markings, 16422446 edges, 62228 markings/sec, 55 secs
lola: 4166683 markings, 17766180 edges, 61018 markings/sec, 60 secs
lola: 4470334 markings, 19152298 edges, 60730 markings/sec, 65 secs
lola: 4789283 markings, 20534200 edges, 63790 markings/sec, 70 secs
lola: 5103374 markings, 21936714 edges, 62818 markings/sec, 75 secs
lola: 5420441 markings, 23388997 edges, 63413 markings/sec, 80 secs
lola: 5736558 markings, 24789651 edges, 63223 markings/sec, 85 secs
lola: 6009757 markings, 26011227 edges, 54640 markings/sec, 90 secs
lola: 6322526 markings, 27408964 edges, 62554 markings/sec, 95 secs
lola: 6615191 markings, 28735463 edges, 58533 markings/sec, 100 secs
lola: 6917131 markings, 30052150 edges, 60388 markings/sec, 105 secs
lola: 7215766 markings, 31377272 edges, 59727 markings/sec, 110 secs
lola: 7546862 markings, 32824755 edges, 66219 markings/sec, 115 secs
lola: 7857751 markings, 34281145 edges, 62178 markings/sec, 120 secs
lola: 8151045 markings, 35615270 edges, 58659 markings/sec, 125 secs
lola: 8443824 markings, 36937175 edges, 58556 markings/sec, 130 secs
lola: 8770166 markings, 38401169 edges, 65268 markings/sec, 135 secs
lola: 9086483 markings, 39829835 edges, 63263 markings/sec, 140 secs
lola: 9403654 markings, 41271880 edges, 63434 markings/sec, 145 secs
lola: 9696271 markings, 42572649 edges, 58523 markings/sec, 150 secs
lola: 9961726 markings, 43782358 edges, 53091 markings/sec, 155 secs
lola: 10284512 markings, 45230690 edges, 64557 markings/sec, 160 secs
lola: 10582067 markings, 46589595 edges, 59511 markings/sec, 165 secs
lola: 10893812 markings, 47942204 edges, 62349 markings/sec, 170 secs
lola: 11146950 markings, 49110269 edges, 50628 markings/sec, 175 secs
lola: 11423088 markings, 50350760 edges, 55228 markings/sec, 180 secs
lola: 11679000 markings, 51523845 edges, 51182 markings/sec, 185 secs
lola: 11989152 markings, 52930039 edges, 62030 markings/sec, 190 secs
lola: 12306399 markings, 54350839 edges, 63449 markings/sec, 195 secs
lola: 12557933 markings, 55497507 edges, 50307 markings/sec, 200 secs
lola: 12817501 markings, 56685640 edges, 51914 markings/sec, 205 secs
lola: 13139177 markings, 58187977 edges, 64335 markings/sec, 210 secs
lola: 13457504 markings, 59647369 edges, 63665 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(p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 10 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: 351003 markings, 1387159 edges, 70201 markings/sec, 0 secs
lola: 714888 markings, 2843016 edges, 72777 markings/sec, 5 secs
lola: 1071879 markings, 4321873 edges, 71398 markings/sec, 10 secs
lola: 1431082 markings, 5768366 edges, 71841 markings/sec, 15 secs
lola: 1787626 markings, 7295654 edges, 71309 markings/sec, 20 secs
lola: 2137163 markings, 8798673 edges, 69907 markings/sec, 25 secs
lola: 2486022 markings, 10335112 edges, 69772 markings/sec, 30 secs
lola: 2828505 markings, 11803868 edges, 68497 markings/sec, 35 secs
lola: 3171462 markings, 13295204 edges, 68591 markings/sec, 40 secs
lola: 3514912 markings, 14796288 edges, 68690 markings/sec, 45 secs
lola: 3855678 markings, 16268554 edges, 68153 markings/sec, 50 secs
lola: 4199895 markings, 17762558 edges, 68843 markings/sec, 55 secs
lola: 4549432 markings, 19259375 edges, 69907 markings/sec, 60 secs
lola: 4894436 markings, 20756406 edges, 69001 markings/sec, 65 secs
lola: 5238604 markings, 22284892 edges, 68834 markings/sec, 70 secs
lola: 5581100 markings, 23787164 edges, 68499 markings/sec, 75 secs
lola: 5923973 markings, 25277850 edges, 68575 markings/sec, 80 secs
lola: 6259834 markings, 26794506 edges, 67172 markings/sec, 85 secs
lola: 6603703 markings, 28271377 edges, 68774 markings/sec, 90 secs
lola: 6945889 markings, 29838930 edges, 68437 markings/sec, 95 secs
lola: 7281771 markings, 31327101 edges, 67176 markings/sec, 100 secs
lola: 7620397 markings, 32850480 edges, 67725 markings/sec, 105 secs
lola: 7955131 markings, 34343555 edges, 66947 markings/sec, 110 secs
lola: 8294016 markings, 35855994 edges, 67777 markings/sec, 115 secs
lola: 8631726 markings, 37353913 edges, 67542 markings/sec, 120 secs
lola: 8970344 markings, 38869676 edges, 67724 markings/sec, 125 secs
lola: 9307834 markings, 40370358 edges, 67498 markings/sec, 130 secs
lola: 9641760 markings, 41853628 edges, 66785 markings/sec, 135 secs
lola: 9976389 markings, 43389910 edges, 66926 markings/sec, 140 secs
lola: 10311554 markings, 44919705 edges, 67033 markings/sec, 145 secs
lola: 10646358 markings, 46441196 edges, 66961 markings/sec, 150 secs
lola: 10978192 markings, 47974841 edges, 66367 markings/sec, 155 secs
lola: 11303548 markings, 49495036 edges, 65071 markings/sec, 160 secs
lola: 11638039 markings, 51014177 edges, 66898 markings/sec, 165 secs
lola: 11970461 markings, 52497494 edges, 66484 markings/sec, 170 secs
lola: 12300434 markings, 53997233 edges, 65995 markings/sec, 175 secs
lola: 12629148 markings, 55520415 edges, 65743 markings/sec, 180 secs
lola: 12958856 markings, 57074363 edges, 65942 markings/sec, 185 secs
lola: 13293093 markings, 58576789 edges, 66847 markings/sec, 190 secs
lola: 13625644 markings, 60074749 edges, 66510 markings/sec, 195 secs
lola: 13954730 markings, 61591650 edges, 65817 markings/sec, 200 secs
lola: 14282258 markings, 63104301 edges, 65506 markings/sec, 205 secs
lola: 14609666 markings, 64633715 edges, 65482 markings/sec, 210 secs
lola: 14942559 markings, 66149035 edges, 66579 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(p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 10 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: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 4 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 10 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: 327646 markings, 1402666 edges, 65529 markings/sec, 0 secs
lola: 653349 markings, 2723804 edges, 65141 markings/sec, 5 secs
lola: 983892 markings, 4065009 edges, 66109 markings/sec, 10 secs
lola: 1297963 markings, 5405299 edges, 62814 markings/sec, 15 secs
lola: 1617571 markings, 6749241 edges, 63922 markings/sec, 20 secs
lola: 1925361 markings, 8063582 edges, 61558 markings/sec, 25 secs
lola: 2244435 markings, 9452500 edges, 63815 markings/sec, 30 secs
lola: 2560361 markings, 10891681 edges, 63185 markings/sec, 35 secs
lola: 2879488 markings, 12287060 edges, 63825 markings/sec, 40 secs
lola: 3193245 markings, 13650309 edges, 62751 markings/sec, 45 secs
lola: 3496460 markings, 15009604 edges, 60643 markings/sec, 50 secs
lola: 3808600 markings, 16421958 edges, 62428 markings/sec, 55 secs
lola: 4121887 markings, 17799301 edges, 62657 markings/sec, 60 secs
lola: 4419296 markings, 19146621 edges, 59482 markings/sec, 65 secs
lola: 4715346 markings, 20464041 edges, 59210 markings/sec, 70 secs
lola: 5004940 markings, 21781217 edges, 57919 markings/sec, 75 secs
lola: 5299446 markings, 23148611 edges, 58901 markings/sec, 80 secs
lola: 5595858 markings, 24547407 edges, 59282 markings/sec, 85 secs
lola: 5895781 markings, 25988395 edges, 59985 markings/sec, 90 secs
lola: 6206361 markings, 27386517 edges, 62116 markings/sec, 95 secs
lola: 6508576 markings, 28804246 edges, 60443 markings/sec, 100 secs
lola: 6781393 markings, 30168065 edges, 54563 markings/sec, 105 secs
lola: 7047040 markings, 31372960 edges, 53129 markings/sec, 110 secs
lola: 7315711 markings, 32627452 edges, 53734 markings/sec, 115 secs
lola: 7591937 markings, 33935050 edges, 55245 markings/sec, 120 secs
lola: 7890223 markings, 35317165 edges, 59657 markings/sec, 125 secs
lola: 8196906 markings, 36741575 edges, 61337 markings/sec, 130 secs
lola: 8505387 markings, 38178225 edges, 61696 markings/sec, 135 secs
lola: 8810171 markings, 39536516 edges, 60957 markings/sec, 140 secs
lola: 9099151 markings, 41005250 edges, 57796 markings/sec, 145 secs
lola: 9405762 markings, 42332937 edges, 61322 markings/sec, 150 secs
lola: 9709095 markings, 43778801 edges, 60667 markings/sec, 155 secs
lola: 10010255 markings, 45224150 edges, 60232 markings/sec, 160 secs
lola: 10302756 markings, 46573253 edges, 58500 markings/sec, 165 secs
lola: 10607542 markings, 47952191 edges, 60957 markings/sec, 170 secs
lola: 10918494 markings, 49381446 edges, 62190 markings/sec, 175 secs
lola: 11227928 markings, 50770233 edges, 61887 markings/sec, 180 secs
lola: 11529694 markings, 52244651 edges, 60353 markings/sec, 185 secs
lola: 11808878 markings, 53530089 edges, 55837 markings/sec, 190 secs
lola: 12074436 markings, 54740053 edges, 53112 markings/sec, 195 secs
lola: 12354932 markings, 56060850 edges, 56099 markings/sec, 200 secs
lola: 12603714 markings, 57218934 edges, 49756 markings/sec, 205 secs
lola: 12889758 markings, 58569341 edges, 57209 markings/sec, 210 secs
lola: 13175064 markings, 59892767 edges, 57061 markings/sec, 215 secs
lola: 13475280 markings, 61282913 edges, 60043 markings/sec, 220 secs
lola: 13773080 markings, 62723276 edges, 59560 markings/sec, 225 secs
lola: 14055450 markings, 64057620 edges, 56474 markings/sec, 230 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 10 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: 292365 markings, 1014542 edges, 58473 markings/sec, 0 secs
lola: 567195 markings, 2055711 edges, 54966 markings/sec, 5 secs
lola: 844327 markings, 3136256 edges, 55426 markings/sec, 10 secs
lola: 1137928 markings, 4238272 edges, 58720 markings/sec, 15 secs
lola: 1415136 markings, 5258919 edges, 55442 markings/sec, 20 secs
lola: 1713285 markings, 6308998 edges, 59630 markings/sec, 25 secs
lola: 1972506 markings, 7241821 edges, 51844 markings/sec, 30 secs
lola: 2256571 markings, 8286533 edges, 56813 markings/sec, 35 secs
lola: 2523458 markings, 9281215 edges, 53377 markings/sec, 40 secs
lola: 2814378 markings, 10370814 edges, 58184 markings/sec, 45 secs
lola: 3099479 markings, 11454489 edges, 57020 markings/sec, 50 secs
lola: 3396751 markings, 12593902 edges, 59454 markings/sec, 55 secs
lola: 3688122 markings, 13734078 edges, 58274 markings/sec, 60 secs
lola: 3953626 markings, 14783361 edges, 53101 markings/sec, 65 secs
lola: 4253166 markings, 15939245 edges, 59908 markings/sec, 70 secs
lola: 4534835 markings, 17090785 edges, 56334 markings/sec, 75 secs
lola: 4821988 markings, 18245803 edges, 57431 markings/sec, 80 secs
lola: 5076163 markings, 19285649 edges, 50835 markings/sec, 85 secs
lola: 5318830 markings, 20255700 edges, 48533 markings/sec, 90 secs
lola: 5590974 markings, 21407096 edges, 54429 markings/sec, 95 secs
lola: 5853620 markings, 22471373 edges, 52529 markings/sec, 100 secs
lola: 6113357 markings, 23569363 edges, 51947 markings/sec, 105 secs
lola: 6391638 markings, 24663174 edges, 55656 markings/sec, 110 secs
lola: 6676045 markings, 25817721 edges, 56881 markings/sec, 115 secs
lola: 6943446 markings, 26961206 edges, 53480 markings/sec, 120 secs
lola: 7211229 markings, 28083006 edges, 53557 markings/sec, 125 secs
lola: 7484088 markings, 29253927 edges, 54572 markings/sec, 130 secs
lola: 7746559 markings, 30377798 edges, 52494 markings/sec, 135 secs
lola: 8021623 markings, 31559341 edges, 55013 markings/sec, 140 secs
lola: 8272033 markings, 32638501 edges, 50082 markings/sec, 145 secs
lola: 8535903 markings, 33813811 edges, 52774 markings/sec, 150 secs
lola: 8807335 markings, 34933727 edges, 54286 markings/sec, 155 secs
lola: 9082335 markings, 36065302 edges, 55000 markings/sec, 160 secs
lola: 9342864 markings, 37117803 edges, 52106 markings/sec, 165 secs
lola: 9631239 markings, 38284841 edges, 57675 markings/sec, 170 secs
lola: 9925170 markings, 39506834 edges, 58786 markings/sec, 175 secs
lola: 10189772 markings, 40634879 edges, 52920 markings/sec, 180 secs
lola: 10465744 markings, 41779110 edges, 55194 markings/sec, 185 secs
lola: 10744282 markings, 42947423 edges, 55708 markings/sec, 190 secs
lola: 11005918 markings, 44089265 edges, 52327 markings/sec, 195 secs
lola: 11294219 markings, 45287315 edges, 57660 markings/sec, 200 secs
lola: 11555583 markings, 46387625 edges, 52273 markings/sec, 205 secs
lola: 11843103 markings, 47572332 edges, 57504 markings/sec, 210 secs
lola: 12105512 markings, 48707978 edges, 52482 markings/sec, 215 secs
lola: 12392375 markings, 49925243 edges, 57373 markings/sec, 220 secs
lola: 12647925 markings, 50993435 edges, 51110 markings/sec, 225 secs
lola: 12936455 markings, 52257787 edges, 57706 markings/sec, 230 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 10 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: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 10 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: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 8 will run for 299 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + 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 24 bytes per marking, with 10 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: 367912 markings, 1449536 edges, 73582 markings/sec, 0 secs
lola: 716862 markings, 2904925 edges, 69790 markings/sec, 5 secs
lola: 1071347 markings, 4348414 edges, 70897 markings/sec, 10 secs
lola: 1403222 markings, 5770032 edges, 66375 markings/sec, 15 secs
lola: 1709443 markings, 7088768 edges, 61244 markings/sec, 20 secs
lola: 2049882 markings, 8520964 edges, 68088 markings/sec, 25 secs
lola: 2387343 markings, 9987232 edges, 67492 markings/sec, 30 secs
lola: 2723342 markings, 11409891 edges, 67200 markings/sec, 35 secs
lola: 3062183 markings, 12861268 edges, 67768 markings/sec, 40 secs
lola: 3395673 markings, 14339239 edges, 66698 markings/sec, 45 secs
lola: 3715634 markings, 15768441 edges, 63992 markings/sec, 50 secs
lola: 4045484 markings, 17235162 edges, 65970 markings/sec, 55 secs
lola: 4358785 markings, 18643155 edges, 62660 markings/sec, 60 secs
lola: 4679033 markings, 20057144 edges, 64050 markings/sec, 65 secs
lola: 4994985 markings, 21459688 edges, 63190 markings/sec, 70 secs
lola: 5328717 markings, 22954622 edges, 66746 markings/sec, 75 secs
lola: 5664970 markings, 24473084 edges, 67251 markings/sec, 80 secs
lola: 5988835 markings, 25921900 edges, 64773 markings/sec, 85 secs
lola: 6310695 markings, 27355752 edges, 64372 markings/sec, 90 secs
lola: 6603159 markings, 28688437 edges, 58493 markings/sec, 95 secs
lola: 6936633 markings, 30143861 edges, 66695 markings/sec, 100 secs
lola: 7266068 markings, 31611895 edges, 65887 markings/sec, 105 secs
lola: 7572818 markings, 32948317 edges, 61350 markings/sec, 110 secs
lola: 7893748 markings, 34433100 edges, 64186 markings/sec, 115 secs
lola: 8213797 markings, 35889569 edges, 64010 markings/sec, 120 secs
lola: 8545754 markings, 37408034 edges, 66391 markings/sec, 125 secs
lola: 8871896 markings, 38856830 edges, 65228 markings/sec, 130 secs
lola: 9199865 markings, 40339732 edges, 65594 markings/sec, 135 secs
lola: 9526203 markings, 41826092 edges, 65268 markings/sec, 140 secs
lola: 9852434 markings, 43294209 edges, 65246 markings/sec, 145 secs
lola: 10180468 markings, 44744716 edges, 65607 markings/sec, 150 secs
lola: 10507923 markings, 46239848 edges, 65491 markings/sec, 155 secs
lola: 10833445 markings, 47670037 edges, 65104 markings/sec, 160 secs
lola: 11160313 markings, 49166788 edges, 65374 markings/sec, 165 secs
lola: 11493248 markings, 50684323 edges, 66587 markings/sec, 170 secs
lola: 11831013 markings, 52193656 edges, 67553 markings/sec, 175 secs
lola: 12161848 markings, 53695931 edges, 66167 markings/sec, 180 secs
lola: 12488452 markings, 55186469 edges, 65321 markings/sec, 185 secs
lola: 12806485 markings, 56635565 edges, 63607 markings/sec, 190 secs
lola: 13129713 markings, 58144757 edges, 64646 markings/sec, 195 secs
lola: 13448274 markings, 59603845 edges, 63712 markings/sec, 200 secs
lola: 13771871 markings, 61056679 edges, 64719 markings/sec, 205 secs
lola: 14096961 markings, 62563017 edges, 65018 markings/sec, 210 secs
lola: 14415901 markings, 64039944 edges, 63788 markings/sec, 215 secs
lola: 14744093 markings, 65553082 edges, 65638 markings/sec, 220 secs
lola: 15063053 markings, 67051645 edges, 63792 markings/sec, 225 secs
lola: 15383626 markings, 68536552 edges, 64115 markings/sec, 230 secs
lola: 15697667 markings, 70011383 edges, 62808 markings/sec, 235 secs
lola: 16020854 markings, 71522692 edges, 64637 markings/sec, 240 secs
lola: 16343056 markings, 72965404 edges, 64440 markings/sec, 245 secs
lola: 16667538 markings, 74512116 edges, 64896 markings/sec, 250 secs
lola: 16991131 markings, 75993784 edges, 64719 markings/sec, 255 secs
lola: 17309677 markings, 77445697 edges, 63709 markings/sec, 260 secs
lola: 17634297 markings, 78957235 edges, 64924 markings/sec, 265 secs
lola: 17951510 markings, 80421943 edges, 63443 markings/sec, 270 secs
lola: 18273968 markings, 81934676 edges, 64492 markings/sec, 275 secs
lola: 18590536 markings, 83402297 edges, 63314 markings/sec, 280 secs
lola: 18903518 markings, 84908673 edges, 62596 markings/sec, 285 secs
lola: 19215175 markings, 86414019 edges, 62331 markings/sec, 290 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 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 10 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: 315904 markings, 989273 edges, 63181 markings/sec, 0 secs
lola: 626204 markings, 2121189 edges, 62060 markings/sec, 5 secs
lola: 936599 markings, 3255219 edges, 62079 markings/sec, 10 secs
lola: 1246164 markings, 4405487 edges, 61913 markings/sec, 15 secs
lola: 1558428 markings, 5630390 edges, 62453 markings/sec, 20 secs
lola: 1851659 markings, 6866362 edges, 58646 markings/sec, 25 secs
lola: 2157927 markings, 8060776 edges, 61254 markings/sec, 30 secs
lola: 2469061 markings, 9263950 edges, 62227 markings/sec, 35 secs
lola: 2778649 markings, 10516533 edges, 61918 markings/sec, 40 secs
lola: 3085532 markings, 11744191 edges, 61377 markings/sec, 45 secs
lola: 3389708 markings, 12997309 edges, 60835 markings/sec, 50 secs
lola: 3688841 markings, 14261042 edges, 59827 markings/sec, 55 secs
lola: 3977696 markings, 15588824 edges, 57771 markings/sec, 60 secs
lola: 4278007 markings, 16909556 edges, 60062 markings/sec, 65 secs
lola: 4570555 markings, 18273219 edges, 58510 markings/sec, 70 secs
lola: 4864985 markings, 19547457 edges, 58886 markings/sec, 75 secs
lola: 5166518 markings, 20789716 edges, 60307 markings/sec, 80 secs
lola: 5465505 markings, 22155093 edges, 59797 markings/sec, 85 secs
lola: 5762116 markings, 23404414 edges, 59322 markings/sec, 90 secs
lola: 6057799 markings, 24715891 edges, 59137 markings/sec, 95 secs
lola: 6348341 markings, 26028732 edges, 58108 markings/sec, 100 secs
lola: 6644538 markings, 27333171 edges, 59239 markings/sec, 105 secs
lola: 6951889 markings, 28598023 edges, 61470 markings/sec, 110 secs
lola: 7255046 markings, 29904914 edges, 60631 markings/sec, 115 secs
lola: 7547393 markings, 31162918 edges, 58469 markings/sec, 120 secs
lola: 7848289 markings, 32444612 edges, 60179 markings/sec, 125 secs
lola: 8140008 markings, 33768061 edges, 58344 markings/sec, 130 secs
lola: 8439461 markings, 35078387 edges, 59891 markings/sec, 135 secs
lola: 8732762 markings, 36338587 edges, 58660 markings/sec, 140 secs
lola: 9027185 markings, 37729290 edges, 58885 markings/sec, 145 secs
lola: 9319785 markings, 39019244 edges, 58520 markings/sec, 150 secs
lola: 9610971 markings, 40308214 edges, 58237 markings/sec, 155 secs
lola: 9906202 markings, 41593123 edges, 59046 markings/sec, 160 secs
lola: 10198847 markings, 42927898 edges, 58529 markings/sec, 165 secs
lola: 10495341 markings, 44272317 edges, 59299 markings/sec, 170 secs
lola: 10786485 markings, 45610957 edges, 58229 markings/sec, 175 secs
lola: 11078742 markings, 46935568 edges, 58451 markings/sec, 180 secs
lola: 11370812 markings, 48358344 edges, 58414 markings/sec, 185 secs
lola: 11661031 markings, 49630849 edges, 58044 markings/sec, 190 secs
lola: 11952093 markings, 50905326 edges, 58212 markings/sec, 195 secs
lola: 12247626 markings, 52258893 edges, 59107 markings/sec, 200 secs
lola: 12542608 markings, 53578759 edges, 58996 markings/sec, 205 secs
lola: 12837152 markings, 54882115 edges, 58909 markings/sec, 210 secs
lola: 13130984 markings, 56165031 edges, 58766 markings/sec, 215 secs
lola: 13431736 markings, 57463594 edges, 60150 markings/sec, 220 secs
lola: 13719193 markings, 58827301 edges, 57491 markings/sec, 225 secs
lola: 14013469 markings, 60218327 edges, 58855 markings/sec, 230 secs
lola: 14315486 markings, 61626684 edges, 60403 markings/sec, 235 secs
lola: 14608222 markings, 62995707 edges, 58547 markings/sec, 240 secs
lola: 14898008 markings, 64366498 edges, 57957 markings/sec, 245 secs
lola: 15183535 markings, 65709854 edges, 57105 markings/sec, 250 secs
lola: 15472390 markings, 67028313 edges, 57771 markings/sec, 255 secs
lola: 15765035 markings, 68359499 edges, 58529 markings/sec, 260 secs
lola: 16058375 markings, 69739980 edges, 58668 markings/sec, 265 secs
lola: 16353982 markings, 71100057 edges, 59121 markings/sec, 270 secs
lola: 16644405 markings, 72447923 edges, 58085 markings/sec, 275 secs
lola: 16934458 markings, 73798692 edges, 58011 markings/sec, 280 secs
lola: 17233009 markings, 75129322 edges, 59710 markings/sec, 285 secs
lola: 17519320 markings, 76560591 edges, 57262 markings/sec, 290 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 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + 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 24 bytes per marking, with 10 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: 359948 markings, 1418804 edges, 71990 markings/sec, 0 secs
lola: 707674 markings, 2876818 edges, 69545 markings/sec, 5 secs
lola: 1062128 markings, 4316681 edges, 70891 markings/sec, 10 secs
lola: 1403658 markings, 5772070 edges, 68306 markings/sec, 15 secs
lola: 1738357 markings, 7203600 edges, 66940 markings/sec, 20 secs
lola: 2083085 markings, 8666044 edges, 68946 markings/sec, 25 secs
lola: 2413414 markings, 10107911 edges, 66066 markings/sec, 30 secs
lola: 2749390 markings, 11532695 edges, 67195 markings/sec, 35 secs
lola: 3089704 markings, 12985041 edges, 68063 markings/sec, 40 secs
lola: 3426491 markings, 14470399 edges, 67357 markings/sec, 45 secs
lola: 3759666 markings, 15955068 edges, 66635 markings/sec, 50 secs
lola: 4097446 markings, 17468283 edges, 67556 markings/sec, 55 secs
lola: 4429816 markings, 18970426 edges, 66474 markings/sec, 60 secs
lola: 4762367 markings, 20423227 edges, 66510 markings/sec, 65 secs
lola: 5099405 markings, 21917516 edges, 67408 markings/sec, 70 secs
lola: 5427834 markings, 23419465 edges, 65686 markings/sec, 75 secs
lola: 5767970 markings, 24937952 edges, 68027 markings/sec, 80 secs
lola: 6109443 markings, 26431397 edges, 68295 markings/sec, 85 secs
lola: 6440407 markings, 27940498 edges, 66193 markings/sec, 90 secs
lola: 6766269 markings, 29418999 edges, 65172 markings/sec, 95 secs
lola: 7103668 markings, 30870696 edges, 67480 markings/sec, 100 secs
lola: 7435507 markings, 32359276 edges, 66368 markings/sec, 105 secs
lola: 7760847 markings, 33835305 edges, 65068 markings/sec, 110 secs
lola: 8085737 markings, 35333003 edges, 64978 markings/sec, 115 secs
lola: 8418820 markings, 36819257 edges, 66617 markings/sec, 120 secs
lola: 8747189 markings, 38283278 edges, 65674 markings/sec, 125 secs
lola: 9074420 markings, 39783622 edges, 65446 markings/sec, 130 secs
lola: 9397586 markings, 41246156 edges, 64633 markings/sec, 135 secs
lola: 9727528 markings, 42720436 edges, 65988 markings/sec, 140 secs
lola: 10052260 markings, 44169092 edges, 64946 markings/sec, 145 secs
lola: 10376467 markings, 45665136 edges, 64841 markings/sec, 150 secs
lola: 10700987 markings, 47107461 edges, 64904 markings/sec, 155 secs
lola: 11030147 markings, 48568374 edges, 65832 markings/sec, 160 secs
lola: 11362307 markings, 50088430 edges, 66432 markings/sec, 165 secs
lola: 11695318 markings, 51596117 edges, 66602 markings/sec, 170 secs
lola: 12026134 markings, 53085389 edges, 66163 markings/sec, 175 secs
lola: 12358340 markings, 54582890 edges, 66441 markings/sec, 180 secs
lola: 12676619 markings, 56044546 edges, 63656 markings/sec, 185 secs
lola: 12999719 markings, 57527925 edges, 64620 markings/sec, 190 secs
lola: 13320342 markings, 59038921 edges, 64125 markings/sec, 195 secs
lola: 13640946 markings, 60472828 edges, 64121 markings/sec, 200 secs
lola: 13964952 markings, 61948413 edges, 64801 markings/sec, 205 secs
lola: 14288900 markings, 63450214 edges, 64790 markings/sec, 210 secs
lola: 14613248 markings, 64932047 edges, 64870 markings/sec, 215 secs
lola: 14935430 markings, 66450822 edges, 64436 markings/sec, 220 secs
lola: 15252384 markings, 67927343 edges, 63391 markings/sec, 225 secs
lola: 15569729 markings, 69422935 edges, 63469 markings/sec, 230 secs
lola: 15884700 markings, 70892567 edges, 62994 markings/sec, 235 secs
lola: 16211798 markings, 72378344 edges, 65420 markings/sec, 240 secs
lola: 16535850 markings, 73879319 edges, 64810 markings/sec, 245 secs
lola: 16859235 markings, 75408145 edges, 64677 markings/sec, 250 secs
lola: 17180304 markings, 76830239 edges, 64214 markings/sec, 255 secs
lola: 17502139 markings, 78326710 edges, 64367 markings/sec, 260 secs
lola: 17822460 markings, 79820058 edges, 64064 markings/sec, 265 secs
lola: 18147642 markings, 81302279 edges, 65036 markings/sec, 270 secs
lola: 18462894 markings, 82818691 edges, 63050 markings/sec, 275 secs
lola: 18778690 markings, 84313437 edges, 63159 markings/sec, 280 secs
lola: 19090644 markings, 85810301 edges, 62391 markings/sec, 285 secs
lola: 19408933 markings, 87295296 edges, 63658 markings/sec, 290 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 299 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 10 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: 362658 markings, 1478257 edges, 72532 markings/sec, 0 secs
lola: 730466 markings, 2970955 edges, 73562 markings/sec, 5 secs
lola: 1092233 markings, 4458292 edges, 72353 markings/sec, 10 secs
lola: 1447075 markings, 5976988 edges, 70968 markings/sec, 15 secs
lola: 1801976 markings, 7475500 edges, 70980 markings/sec, 20 secs
lola: 2151657 markings, 8975864 edges, 69936 markings/sec, 25 secs
lola: 2500430 markings, 10508576 edges, 69755 markings/sec, 30 secs
lola: 2847560 markings, 12037095 edges, 69426 markings/sec, 35 secs
lola: 3194124 markings, 13583431 edges, 69313 markings/sec, 40 secs
lola: 3539409 markings, 15097287 edges, 69057 markings/sec, 45 secs
lola: 3880904 markings, 16652606 edges, 68299 markings/sec, 50 secs
lola: 4221913 markings, 18160655 edges, 68202 markings/sec, 55 secs
lola: 4557838 markings, 19679568 edges, 67185 markings/sec, 60 secs
lola: 4895043 markings, 21208989 edges, 67441 markings/sec, 65 secs
lola: 5232003 markings, 22752910 edges, 67392 markings/sec, 70 secs
lola: 5570473 markings, 24259937 edges, 67694 markings/sec, 75 secs
lola: 5907444 markings, 25790923 edges, 67394 markings/sec, 80 secs
lola: 6249748 markings, 27351805 edges, 68461 markings/sec, 85 secs
lola: 6587360 markings, 28892207 edges, 67522 markings/sec, 90 secs
lola: 6925513 markings, 30431990 edges, 67631 markings/sec, 95 secs
lola: 7262683 markings, 31963717 edges, 67434 markings/sec, 100 secs
lola: 7596958 markings, 33535226 edges, 66855 markings/sec, 105 secs
lola: 7934378 markings, 35073218 edges, 67484 markings/sec, 110 secs
lola: 8276867 markings, 36590877 edges, 68498 markings/sec, 115 secs
lola: 8609225 markings, 38127231 edges, 66472 markings/sec, 120 secs
lola: 8940150 markings, 39681390 edges, 66185 markings/sec, 125 secs
lola: 9272719 markings, 41204669 edges, 66514 markings/sec, 130 secs
lola: 9605018 markings, 42765621 edges, 66460 markings/sec, 135 secs
lola: 9941587 markings, 44309155 edges, 67314 markings/sec, 140 secs
lola: 10275193 markings, 45842899 edges, 66721 markings/sec, 145 secs
lola: 10607104 markings, 47393663 edges, 66382 markings/sec, 150 secs
lola: 10939452 markings, 48911002 edges, 66470 markings/sec, 155 secs
lola: 11288194 markings, 50491560 edges, 69748 markings/sec, 160 secs
lola: 11616291 markings, 52011896 edges, 65619 markings/sec, 165 secs
lola: 11944798 markings, 53582331 edges, 65701 markings/sec, 170 secs
lola: 12271416 markings, 55153705 edges, 65324 markings/sec, 175 secs
lola: 12602230 markings, 56714355 edges, 66163 markings/sec, 180 secs
lola: 12930083 markings, 58270955 edges, 65571 markings/sec, 185 secs
lola: 13254939 markings, 59867960 edges, 64971 markings/sec, 190 secs
lola: 13585926 markings, 61415120 edges, 66197 markings/sec, 195 secs
lola: 13914676 markings, 62981843 edges, 65750 markings/sec, 200 secs
lola: 14244689 markings, 64540316 edges, 66003 markings/sec, 205 secs
lola: 14570317 markings, 66110897 edges, 65126 markings/sec, 210 secs
lola: 14895648 markings, 67670230 edges, 65066 markings/sec, 215 secs
lola: 15222618 markings, 69260334 edges, 65394 markings/sec, 220 secs
lola: 15547897 markings, 70835607 edges, 65056 markings/sec, 225 secs
lola: 15875316 markings, 72447151 edges, 65484 markings/sec, 230 secs
lola: 16201118 markings, 74029213 edges, 65160 markings/sec, 235 secs
lola: 16527807 markings, 75595379 edges, 65338 markings/sec, 240 secs
lola: 16852187 markings, 77155297 edges, 64876 markings/sec, 245 secs
lola: 17175046 markings, 78741544 edges, 64572 markings/sec, 250 secs
lola: 17499987 markings, 80320712 edges, 64988 markings/sec, 255 secs
lola: 17822934 markings, 81912182 edges, 64589 markings/sec, 260 secs
lola: 18150104 markings, 83468285 edges, 65434 markings/sec, 265 secs
lola: 18475406 markings, 85050461 edges, 65060 markings/sec, 270 secs
lola: 18803795 markings, 86608496 edges, 65678 markings/sec, 275 secs
lola: 19122200 markings, 88197746 edges, 63681 markings/sec, 280 secs
lola: 19447336 markings, 89751328 edges, 65027 markings/sec, 285 secs
lola: 19769739 markings, 91332621 edges, 64481 markings/sec, 290 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 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 10 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: 336957 markings, 1368046 edges, 67391 markings/sec, 0 secs
lola: 674736 markings, 2760172 edges, 67556 markings/sec, 5 secs
lola: 1004977 markings, 4132686 edges, 66048 markings/sec, 10 secs
lola: 1331138 markings, 5496219 edges, 65232 markings/sec, 15 secs
lola: 1656961 markings, 6842524 edges, 65165 markings/sec, 20 secs
lola: 1973191 markings, 8208799 edges, 63246 markings/sec, 25 secs
lola: 2298761 markings, 9567788 edges, 65114 markings/sec, 30 secs
lola: 2617313 markings, 10925836 edges, 63710 markings/sec, 35 secs
lola: 2932249 markings, 12285569 edges, 62987 markings/sec, 40 secs
lola: 3247952 markings, 13648190 edges, 63141 markings/sec, 45 secs
lola: 3565224 markings, 15057345 edges, 63454 markings/sec, 50 secs
lola: 3878085 markings, 16413964 edges, 62572 markings/sec, 55 secs
lola: 4193577 markings, 17803076 edges, 63098 markings/sec, 60 secs
lola: 4504064 markings, 19134410 edges, 62097 markings/sec, 65 secs
lola: 4817827 markings, 20496297 edges, 62753 markings/sec, 70 secs
lola: 5122732 markings, 21852519 edges, 60981 markings/sec, 75 secs
lola: 5430172 markings, 23219134 edges, 61488 markings/sec, 80 secs
lola: 5737242 markings, 24558470 edges, 61414 markings/sec, 85 secs
lola: 6048314 markings, 25956936 edges, 62214 markings/sec, 90 secs
lola: 6350480 markings, 27311982 edges, 60433 markings/sec, 95 secs
lola: 6661829 markings, 28657810 edges, 62270 markings/sec, 100 secs
lola: 6964155 markings, 30067741 edges, 60465 markings/sec, 105 secs
lola: 7262353 markings, 31445257 edges, 59640 markings/sec, 110 secs
lola: 7554361 markings, 32831584 edges, 58402 markings/sec, 115 secs
lola: 7861108 markings, 34223709 edges, 61349 markings/sec, 120 secs
lola: 8168386 markings, 35551442 edges, 61456 markings/sec, 125 secs
lola: 8470671 markings, 36915993 edges, 60457 markings/sec, 130 secs
lola: 8774350 markings, 38281236 edges, 60736 markings/sec, 135 secs
lola: 9075352 markings, 39670168 edges, 60200 markings/sec, 140 secs
lola: 9375357 markings, 41063671 edges, 60001 markings/sec, 145 secs
lola: 9671108 markings, 42460732 edges, 59150 markings/sec, 150 secs
lola: 9966865 markings, 43824547 edges, 59151 markings/sec, 155 secs
lola: 10259856 markings, 45208033 edges, 58598 markings/sec, 160 secs
lola: 10558586 markings, 46547795 edges, 59746 markings/sec, 165 secs
lola: 10853115 markings, 47924306 edges, 58906 markings/sec, 170 secs
lola: 11149944 markings, 49339484 edges, 59366 markings/sec, 175 secs
lola: 11446669 markings, 50720307 edges, 59345 markings/sec, 180 secs
lola: 11746824 markings, 52062067 edges, 60031 markings/sec, 185 secs
lola: 12046300 markings, 53425647 edges, 59895 markings/sec, 190 secs
lola: 12345082 markings, 54777841 edges, 59756 markings/sec, 195 secs
lola: 12640053 markings, 56166252 edges, 58994 markings/sec, 200 secs
lola: 12940865 markings, 57520790 edges, 60162 markings/sec, 205 secs
lola: 13238377 markings, 58888729 edges, 59502 markings/sec, 210 secs
lola: 13526389 markings, 60257025 edges, 57602 markings/sec, 215 secs
lola: 13826704 markings, 61601763 edges, 60063 markings/sec, 220 secs
lola: 14129297 markings, 62999470 edges, 60519 markings/sec, 225 secs
lola: 14425204 markings, 64370249 edges, 59181 markings/sec, 230 secs
lola: 14718788 markings, 65761219 edges, 58717 markings/sec, 235 secs
lola: 15008029 markings, 67089611 edges, 57848 markings/sec, 240 secs
lola: 15297491 markings, 68437172 edges, 57892 markings/sec, 245 secs
lola: 15590409 markings, 69786355 edges, 58584 markings/sec, 250 secs
lola: 15878821 markings, 71141007 edges, 57682 markings/sec, 255 secs
lola: 16169145 markings, 72497623 edges, 58065 markings/sec, 260 secs
lola: 16462719 markings, 73875869 edges, 58715 markings/sec, 265 secs
lola: 16757864 markings, 75232209 edges, 59029 markings/sec, 270 secs
lola: 17056413 markings, 76599549 edges, 59710 markings/sec, 275 secs
lola: 17347956 markings, 78009300 edges, 58309 markings/sec, 280 secs
lola: 17636356 markings, 79364213 edges, 57680 markings/sec, 285 secs
lola: 17921026 markings, 80706127 edges, 56934 markings/sec, 290 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 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 10 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: 302521 markings, 1201195 edges, 60504 markings/sec, 0 secs
lola: 617448 markings, 2413257 edges, 62985 markings/sec, 5 secs
lola: 933059 markings, 3616024 edges, 63122 markings/sec, 10 secs
lola: 1234298 markings, 4851926 edges, 60248 markings/sec, 15 secs
lola: 1533137 markings, 6123888 edges, 59768 markings/sec, 20 secs
lola: 1834659 markings, 7370569 edges, 60304 markings/sec, 25 secs
lola: 2131706 markings, 8647835 edges, 59409 markings/sec, 30 secs
lola: 2430688 markings, 9870229 edges, 59796 markings/sec, 35 secs
lola: 2729228 markings, 11116648 edges, 59708 markings/sec, 40 secs
lola: 3019117 markings, 12409339 edges, 57978 markings/sec, 45 secs
lola: 3314046 markings, 13693744 edges, 58986 markings/sec, 50 secs
lola: 3604910 markings, 14945906 edges, 58173 markings/sec, 55 secs
lola: 3892960 markings, 16253807 edges, 57610 markings/sec, 60 secs
lola: 4186273 markings, 17538928 edges, 58663 markings/sec, 65 secs
lola: 4477530 markings, 18848498 edges, 58251 markings/sec, 70 secs
lola: 4759367 markings, 20118796 edges, 56367 markings/sec, 75 secs
lola: 5051447 markings, 21416330 edges, 58416 markings/sec, 80 secs
lola: 5332543 markings, 22747598 edges, 56219 markings/sec, 85 secs
lola: 5620648 markings, 24082689 edges, 57621 markings/sec, 90 secs
lola: 5911451 markings, 25406586 edges, 58161 markings/sec, 95 secs
lola: 6190718 markings, 26717956 edges, 55853 markings/sec, 100 secs
lola: 6480174 markings, 27992052 edges, 57891 markings/sec, 105 secs
lola: 6768404 markings, 29349671 edges, 57646 markings/sec, 110 secs
lola: 7050170 markings, 30658317 edges, 56353 markings/sec, 115 secs
lola: 7336023 markings, 31982679 edges, 57171 markings/sec, 120 secs
lola: 7615196 markings, 33291901 edges, 55835 markings/sec, 125 secs
lola: 7899063 markings, 34674041 edges, 56773 markings/sec, 130 secs
lola: 8178211 markings, 35917995 edges, 55830 markings/sec, 135 secs
lola: 8455673 markings, 37203678 edges, 55492 markings/sec, 140 secs
lola: 8731519 markings, 38517175 edges, 55169 markings/sec, 145 secs
lola: 9011770 markings, 39833367 edges, 56050 markings/sec, 150 secs
lola: 9291398 markings, 41130959 edges, 55926 markings/sec, 155 secs
lola: 9566740 markings, 42423322 edges, 55068 markings/sec, 160 secs
lola: 9841588 markings, 43791693 edges, 54970 markings/sec, 165 secs
lola: 10112278 markings, 45093632 edges, 54138 markings/sec, 170 secs
lola: 10393859 markings, 46400027 edges, 56316 markings/sec, 175 secs
lola: 10669041 markings, 47666602 edges, 55036 markings/sec, 180 secs
lola: 10941686 markings, 48963511 edges, 54529 markings/sec, 185 secs
lola: 11213932 markings, 50288749 edges, 54449 markings/sec, 190 secs
lola: 11496105 markings, 51623393 edges, 56435 markings/sec, 195 secs
lola: 11772403 markings, 52970692 edges, 55260 markings/sec, 200 secs
lola: 12055502 markings, 54232012 edges, 56620 markings/sec, 205 secs
lola: 12337815 markings, 55556163 edges, 56463 markings/sec, 210 secs
lola: 12621623 markings, 56841345 edges, 56762 markings/sec, 215 secs
lola: 12899141 markings, 58134022 edges, 55504 markings/sec, 220 secs
lola: 13170347 markings, 59420395 edges, 54241 markings/sec, 225 secs
lola: 13452087 markings, 60686029 edges, 56348 markings/sec, 230 secs
lola: 13728262 markings, 61994992 edges, 55235 markings/sec, 235 secs
lola: 14007473 markings, 63308804 edges, 55842 markings/sec, 240 secs
lola: 14284800 markings, 64622351 edges, 55465 markings/sec, 245 secs
lola: 14566886 markings, 65993208 edges, 56417 markings/sec, 250 secs
lola: 14839893 markings, 67293225 edges, 54601 markings/sec, 255 secs
lola: 15122766 markings, 68709647 edges, 56575 markings/sec, 260 secs
lola: 15395419 markings, 70061923 edges, 54531 markings/sec, 265 secs
lola: 15665118 markings, 71412424 edges, 53940 markings/sec, 270 secs
lola: 15936463 markings, 72682928 edges, 54269 markings/sec, 275 secs
lola: 16207730 markings, 73974392 edges, 54253 markings/sec, 280 secs
lola: 16481071 markings, 75264481 edges, 54668 markings/sec, 285 secs
lola: 16750169 markings, 76566907 edges, 53820 markings/sec, 290 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 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p2 + p4 + p6 + p8 + p10 + p12 + p14 + p15 + p13 + p11 + p9 + p7 + p5 + p3 + p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 10 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: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: ========================================
lola: subprocess 15 will run for 600 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 10 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: 327606 markings, 1402436 edges, 65521 markings/sec, 0 secs
lola: 652091 markings, 2719021 edges, 64897 markings/sec, 5 secs
lola: 981493 markings, 4054218 edges, 65880 markings/sec, 10 secs
lola: 1294615 markings, 5388595 edges, 62624 markings/sec, 15 secs
lola: 1583038 markings, 6598156 edges, 57685 markings/sec, 20 secs
lola: 1870778 markings, 7850156 edges, 57548 markings/sec, 25 secs
lola: 2176582 markings, 9149845 edges, 61161 markings/sec, 30 secs
lola: 2491535 markings, 10571143 edges, 62991 markings/sec, 35 secs
lola: 2806972 markings, 11974983 edges, 63087 markings/sec, 40 secs
lola: 3116054 markings, 13353667 edges, 61816 markings/sec, 45 secs
lola: 3421518 markings, 14670418 edges, 61093 markings/sec, 50 secs
lola: 3726968 markings, 16054603 edges, 61090 markings/sec, 55 secs
lola: 4040497 markings, 17482320 edges, 62706 markings/sec, 60 secs
lola: 4351646 markings, 18839992 edges, 62230 markings/sec, 65 secs
lola: 4657275 markings, 20193634 edges, 61126 markings/sec, 70 secs
lola: 4961479 markings, 21592555 edges, 60841 markings/sec, 75 secs
lola: 5269451 markings, 23007442 edges, 61594 markings/sec, 80 secs
lola: 5569629 markings, 24422994 edges, 60036 markings/sec, 85 secs
lola: 5851335 markings, 25768177 edges, 56341 markings/sec, 90 secs
lola: 6158059 markings, 27165599 edges, 61345 markings/sec, 95 secs
lola: 6461316 markings, 28580423 edges, 60651 markings/sec, 100 secs
lola: 6732936 markings, 29945199 edges, 54324 markings/sec, 105 secs
lola: 7040741 markings, 31340007 edges, 61561 markings/sec, 110 secs
lola: 7329940 markings, 32693851 edges, 57840 markings/sec, 115 secs
lola: 7628105 markings, 34098242 edges, 59633 markings/sec, 120 secs
lola: 7916517 markings, 35419965 edges, 57682 markings/sec, 125 secs
lola: 8219214 markings, 36830830 edges, 60539 markings/sec, 130 secs
lola: 8528089 markings, 38283491 edges, 61775 markings/sec, 135 secs
lola: 8827536 markings, 39615532 edges, 59889 markings/sec, 140 secs
lola: 9123764 markings, 41111976 edges, 59246 markings/sec, 145 secs
lola: 9408641 markings, 42348082 edges, 56975 markings/sec, 150 secs
lola: 9702793 markings, 43747582 edges, 58830 markings/sec, 155 secs
lola: 9979569 markings, 45080121 edges, 55355 markings/sec, 160 secs
lola: 10252960 markings, 46342837 edges, 54678 markings/sec, 165 secs
lola: 10556643 markings, 47687193 edges, 60737 markings/sec, 170 secs
lola: 10861844 markings, 49127291 edges, 61040 markings/sec, 175 secs
lola: 11170985 markings, 50538441 edges, 61828 markings/sec, 180 secs
lola: 11474930 markings, 51994293 edges, 60789 markings/sec, 185 secs
lola: 11781244 markings, 53389385 edges, 61263 markings/sec, 190 secs
lola: 12084875 markings, 54788288 edges, 60726 markings/sec, 195 secs
lola: 12383475 markings, 56209710 edges, 59720 markings/sec, 200 secs
lola: 12682350 markings, 57574419 edges, 59775 markings/sec, 205 secs
lola: 12984987 markings, 59005734 edges, 60527 markings/sec, 210 secs
lola: 13290206 markings, 60447261 edges, 61044 markings/sec, 215 secs
lola: 13586107 markings, 61839352 edges, 59180 markings/sec, 220 secs
lola: 13887455 markings, 63273824 edges, 60270 markings/sec, 225 secs
lola: 14181082 markings, 64686342 edges, 58725 markings/sec, 230 secs
lola: 14477165 markings, 66171170 edges, 59217 markings/sec, 235 secs
lola: 14781459 markings, 67529518 edges, 60859 markings/sec, 240 secs
lola: 15082702 markings, 68882006 edges, 60249 markings/sec, 245 secs
lola: 15350032 markings, 70146332 edges, 53466 markings/sec, 250 secs
lola: 15614339 markings, 71483376 edges, 52861 markings/sec, 255 secs
lola: 15895086 markings, 72878368 edges, 56149 markings/sec, 260 secs
lola: 16189959 markings, 74274566 edges, 58975 markings/sec, 265 secs
lola: 16468647 markings, 75557239 edges, 55738 markings/sec, 270 secs
lola: 16761824 markings, 76940610 edges, 58635 markings/sec, 275 secs
lola: 17058176 markings, 78275693 edges, 59270 markings/sec, 280 secs
lola: 17354588 markings, 79679781 edges, 59282 markings/sec, 285 secs
lola: 17649528 markings, 80997886 edges, 58988 markings/sec, 290 secs
lola: 17934176 markings, 82352087 edges, 56930 markings/sec, 295 secs
lola: 18231313 markings, 83817226 edges, 59427 markings/sec, 300 secs
lola: 18531549 markings, 85233252 edges, 60047 markings/sec, 305 secs
lola: 18831329 markings, 86657152 edges, 59956 markings/sec, 310 secs
lola: 19130280 markings, 88196012 edges, 59790 markings/sec, 315 secs
lola: 19422609 markings, 89642047 edges, 58466 markings/sec, 320 secs
lola: 19723878 markings, 91083692 edges, 60254 markings/sec, 325 secs
lola: 20004478 markings, 92570864 edges, 56120 markings/sec, 330 secs
lola: 20299791 markings, 94024004 edges, 59063 markings/sec, 335 secs
lola: 20603075 markings, 95505486 edges, 60657 markings/sec, 340 secs
lola: 20894367 markings, 96898896 edges, 58258 markings/sec, 345 secs
lola: 21181088 markings, 98400272 edges, 57344 markings/sec, 350 secs
lola: 21480241 markings, 99811172 edges, 59831 markings/sec, 355 secs
lola: 21779408 markings, 101284132 edges, 59833 markings/sec, 360 secs
lola: 22067670 markings, 102699348 edges, 57652 markings/sec, 365 secs
lola: 22371932 markings, 104116598 edges, 60852 markings/sec, 370 secs
lola: 22651239 markings, 105482876 edges, 55861 markings/sec, 375 secs
lola: 22947671 markings, 106927347 edges, 59286 markings/sec, 380 secs
lola: 23244552 markings, 108373302 edges, 59376 markings/sec, 385 secs
lola: 23493582 markings, 109657369 edges, 49806 markings/sec, 390 secs
lola: 23771942 markings, 110976037 edges, 55672 markings/sec, 395 secs
lola: 24068316 markings, 112448321 edges, 59275 markings/sec, 400 secs
lola: 24340855 markings, 113799408 edges, 54508 markings/sec, 405 secs
lola: 24640084 markings, 115187424 edges, 59846 markings/sec, 410 secs
lola: 24946741 markings, 116617129 edges, 61331 markings/sec, 415 secs
lola: 25246082 markings, 118012591 edges, 59868 markings/sec, 420 secs
lola: 25532046 markings, 119365944 edges, 57193 markings/sec, 425 secs
lola: 25807118 markings, 120708781 edges, 55014 markings/sec, 430 secs
lola: 26076616 markings, 122032005 edges, 53900 markings/sec, 435 secs
lola: 26360976 markings, 123417853 edges, 56872 markings/sec, 440 secs
lola: 26642125 markings, 124824421 edges, 56230 markings/sec, 445 secs
lola: 26933507 markings, 126206545 edges, 58276 markings/sec, 450 secs
lola: 27208015 markings, 127528404 edges, 54902 markings/sec, 455 secs
lola: 27512895 markings, 128991055 edges, 60976 markings/sec, 460 secs
lola: 27799292 markings, 130388763 edges, 57279 markings/sec, 465 secs
lola: 28092289 markings, 131830477 edges, 58599 markings/sec, 470 secs
lola: 28389077 markings, 133246818 edges, 59358 markings/sec, 475 secs
lola: 28683490 markings, 134736044 edges, 58883 markings/sec, 480 secs
lola: 28966690 markings, 136253245 edges, 56640 markings/sec, 485 secs
lola: 29249851 markings, 137810878 edges, 56632 markings/sec, 490 secs
lola: 29542849 markings, 139277196 edges, 58600 markings/sec, 495 secs
lola: 29842293 markings, 140692664 edges, 59889 markings/sec, 500 secs
lola: 30141127 markings, 142180211 edges, 59767 markings/sec, 505 secs
lola: 30396706 markings, 143412945 edges, 51116 markings/sec, 510 secs
lola: 30667484 markings, 144724938 edges, 54156 markings/sec, 515 secs
lola: 30953446 markings, 146129782 edges, 57192 markings/sec, 520 secs
lola: 31234382 markings, 147577322 edges, 56187 markings/sec, 525 secs
lola: 31497647 markings, 148962803 edges, 52653 markings/sec, 530 secs
lola: 31779083 markings, 150410779 edges, 56287 markings/sec, 535 secs
lola: 32066281 markings, 151858070 edges, 57440 markings/sec, 540 secs
lola: 32361201 markings, 153356350 edges, 58984 markings/sec, 545 secs
lola: 32662544 markings, 154769839 edges, 60269 markings/sec, 550 secs
lola: 32954380 markings, 156302007 edges, 58367 markings/sec, 555 secs
lola: 33250558 markings, 157757240 edges, 59236 markings/sec, 560 secs
lola: 33536367 markings, 159186106 edges, 57162 markings/sec, 565 secs
lola: 33827351 markings, 160625200 edges, 58197 markings/sec, 570 secs
lola: 34119676 markings, 162083128 edges, 58465 markings/sec, 575 secs
lola: 34412581 markings, 163565042 edges, 58581 markings/sec, 580 secs
lola: 34705131 markings, 165093221 edges, 58510 markings/sec, 585 secs
lola: 35002057 markings, 166530893 edges, 59385 markings/sec, 590 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown 1 unknown unknown 1 1 unknown unknown unknown unknown unknown unknown 7 unknown
FORMULA LamportFastMutEx-COL-7-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA LamportFastMutEx-COL-7-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA LamportFastMutEx-COL-7-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA LamportFastMutEx-COL-7-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA LamportFastMutEx-COL-7-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA LamportFastMutEx-COL-7-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA LamportFastMutEx-COL-7-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA LamportFastMutEx-COL-7-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA LamportFastMutEx-COL-7-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA LamportFastMutEx-COL-7-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA LamportFastMutEx-COL-7-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA LamportFastMutEx-COL-7-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA LamportFastMutEx-COL-7-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA LamportFastMutEx-COL-7-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA LamportFastMutEx-COL-7-UpperBounds-14 7 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA LamportFastMutEx-COL-7-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494625485491
--------------------
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="LamportFastMutEx-COL-7"
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/LamportFastMutEx-COL-7.tgz
mv LamportFastMutEx-COL-7 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 LamportFastMutEx-COL-7, 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 r038-blw7-149440484600155"
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 ;