Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_LamportFastMutEx-COL-7, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441649900155
=====================================================================

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


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_LamportFastMutEx-COL-7: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_LamportFastMutEx-COL-7: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_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(p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167) : MAX(p100 + p101 + p102 + p103 + 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 + p96 + p97 + p98 + p99) : MAX(p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175) : MAX(p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15) : MAX(p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151) : MAX(p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135) : MAX(p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15) : MAX(p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143) : MAX(p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7) : MAX(p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111) : MAX(p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191) : MAX(p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127) : MAX(p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183) : MAX(p30 + p28 + p26 + p24 + p22 + p20 + p16 + p18 + p17 + p19 + p21 + p23 + p25 + p27 + p29 + p31) : MAX(p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151)
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(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 728 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 308570 markings, 1321566 edges, 61714 markings/sec, 0 secs
lola: 603264 markings, 2635817 edges, 58939 markings/sec, 5 secs
lola: 904642 markings, 3968867 edges, 60276 markings/sec, 10 secs
lola: 1201417 markings, 5320188 edges, 59355 markings/sec, 15 secs
lola: 1521447 markings, 6765420 edges, 64006 markings/sec, 20 secs
lola: 1833132 markings, 8199808 edges, 62337 markings/sec, 25 secs
lola: 2145126 markings, 9653930 edges, 62399 markings/sec, 30 secs
lola: 2433377 markings, 10965318 edges, 57650 markings/sec, 35 secs
lola: 2737199 markings, 12336400 edges, 60764 markings/sec, 40 secs
lola: 3030427 markings, 13728203 edges, 58646 markings/sec, 45 secs
lola: 3305000 markings, 15018990 edges, 54915 markings/sec, 50 secs
lola: 3565438 markings, 16247223 edges, 52088 markings/sec, 55 secs
lola: 3868913 markings, 17606691 edges, 60695 markings/sec, 60 secs
lola: 4173169 markings, 19050387 edges, 60851 markings/sec, 65 secs
lola: 4447372 markings, 20355902 edges, 54841 markings/sec, 70 secs
lola: 4743361 markings, 21735814 edges, 59198 markings/sec, 75 secs
lola: 5025721 markings, 23092191 edges, 56472 markings/sec, 80 secs
lola: 5300066 markings, 24326778 edges, 54869 markings/sec, 85 secs
lola: 5601520 markings, 25739803 edges, 60291 markings/sec, 90 secs
lola: 5877163 markings, 27087068 edges, 55129 markings/sec, 95 secs
lola: 6146630 markings, 28392569 edges, 53893 markings/sec, 100 secs
lola: 6430385 markings, 29723655 edges, 56751 markings/sec, 105 secs
lola: 6727195 markings, 31199625 edges, 59362 markings/sec, 110 secs
lola: 6985734 markings, 32430337 edges, 51708 markings/sec, 115 secs
lola: 7290507 markings, 33847164 edges, 60955 markings/sec, 120 secs
lola: 7589317 markings, 35310889 edges, 59762 markings/sec, 125 secs
lola: 7890800 markings, 36727150 edges, 60297 markings/sec, 130 secs
lola: 8193121 markings, 38135748 edges, 60464 markings/sec, 135 secs
lola: 8489618 markings, 39592269 edges, 59299 markings/sec, 140 secs
lola: 8790547 markings, 41021691 edges, 60186 markings/sec, 145 secs
lola: 9068341 markings, 42323597 edges, 55559 markings/sec, 150 secs
lola: 9348176 markings, 43687956 edges, 55967 markings/sec, 155 secs
lola: 9629889 markings, 45069879 edges, 56343 markings/sec, 160 secs
lola: 9904063 markings, 46345044 edges, 54835 markings/sec, 165 secs
lola: 10193647 markings, 47693100 edges, 57917 markings/sec, 170 secs
lola: 10466812 markings, 48969294 edges, 54633 markings/sec, 175 secs
lola: 10761172 markings, 50396730 edges, 58872 markings/sec, 180 secs
lola: 11031161 markings, 51618258 edges, 53998 markings/sec, 185 secs
lola: 11292517 markings, 52873440 edges, 52271 markings/sec, 190 secs
lola: 11551403 markings, 54106696 edges, 51777 markings/sec, 195 secs
lola: 11844793 markings, 55506566 edges, 58678 markings/sec, 200 secs
lola: 12130737 markings, 56924260 edges, 57189 markings/sec, 205 secs
lola: 12423644 markings, 58372423 edges, 58581 markings/sec, 210 secs
lola: 12697133 markings, 59698720 edges, 54698 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(p100 + p101 + p102 + p103 + 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 + 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 728 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 322228 markings, 1335938 edges, 64446 markings/sec, 0 secs
lola: 643187 markings, 2698634 edges, 64192 markings/sec, 5 secs
lola: 952325 markings, 4028460 edges, 61828 markings/sec, 10 secs
lola: 1263152 markings, 5364558 edges, 62165 markings/sec, 15 secs
lola: 1585578 markings, 6752433 edges, 64485 markings/sec, 20 secs
lola: 1908454 markings, 8131661 edges, 64575 markings/sec, 25 secs
lola: 2228489 markings, 9509562 edges, 64007 markings/sec, 30 secs
lola: 2518109 markings, 10755456 edges, 57924 markings/sec, 35 secs
lola: 2789282 markings, 11912079 edges, 54235 markings/sec, 40 secs
lola: 3099477 markings, 13223871 edges, 62039 markings/sec, 45 secs
lola: 3390945 markings, 14483265 edges, 58294 markings/sec, 50 secs
lola: 3700773 markings, 15826985 edges, 61966 markings/sec, 55 secs
lola: 4017209 markings, 17243783 edges, 63287 markings/sec, 60 secs
lola: 4315156 markings, 18536755 edges, 59589 markings/sec, 65 secs
lola: 4626009 markings, 19930450 edges, 62171 markings/sec, 70 secs
lola: 4927128 markings, 21283644 edges, 60224 markings/sec, 75 secs
lola: 5245687 markings, 22656929 edges, 63712 markings/sec, 80 secs
lola: 5556002 markings, 24033271 edges, 62063 markings/sec, 85 secs
lola: 5853424 markings, 25330159 edges, 59484 markings/sec, 90 secs
lola: 6165763 markings, 26710457 edges, 62468 markings/sec, 95 secs
lola: 6478929 markings, 28106991 edges, 62633 markings/sec, 100 secs
lola: 6791035 markings, 29478260 edges, 62421 markings/sec, 105 secs
lola: 7094765 markings, 30871741 edges, 60746 markings/sec, 110 secs
lola: 7406295 markings, 32360395 edges, 62306 markings/sec, 115 secs
lola: 7694797 markings, 33647162 edges, 57700 markings/sec, 120 secs
lola: 8000675 markings, 35014482 edges, 61176 markings/sec, 125 secs
lola: 8304767 markings, 36379262 edges, 60818 markings/sec, 130 secs
lola: 8607933 markings, 37719459 edges, 60633 markings/sec, 135 secs
lola: 8906815 markings, 39075337 edges, 59776 markings/sec, 140 secs
lola: 9207396 markings, 40447046 edges, 60116 markings/sec, 145 secs
lola: 9504602 markings, 41792048 edges, 59441 markings/sec, 150 secs
lola: 9808187 markings, 43204033 edges, 60717 markings/sec, 155 secs
lola: 10115145 markings, 44615535 edges, 61392 markings/sec, 160 secs
lola: 10427858 markings, 45991798 edges, 62543 markings/sec, 165 secs
lola: 10734212 markings, 47369218 edges, 61271 markings/sec, 170 secs
lola: 11031609 markings, 48785287 edges, 59479 markings/sec, 175 secs
lola: 11332897 markings, 50206047 edges, 60258 markings/sec, 180 secs
lola: 11639370 markings, 51624772 edges, 61295 markings/sec, 185 secs
lola: 11926896 markings, 53026477 edges, 57505 markings/sec, 190 secs
lola: 12214912 markings, 54311494 edges, 57603 markings/sec, 195 secs
lola: 12486047 markings, 55522812 edges, 54227 markings/sec, 200 secs
lola: 12769683 markings, 56862997 edges, 56727 markings/sec, 205 secs
lola: 13048997 markings, 58176027 edges, 55863 markings/sec, 210 secs
lola: 13326502 markings, 59474874 edges, 55501 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(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 728 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 299961 markings, 1212999 edges, 59992 markings/sec, 0 secs
lola: 624919 markings, 2589626 edges, 64992 markings/sec, 5 secs
lola: 953723 markings, 4000597 edges, 65761 markings/sec, 10 secs
lola: 1268509 markings, 5330943 edges, 62957 markings/sec, 15 secs
lola: 1570365 markings, 6625036 edges, 60371 markings/sec, 20 secs
lola: 1884484 markings, 8012081 edges, 62824 markings/sec, 25 secs
lola: 2211637 markings, 9448448 edges, 65431 markings/sec, 30 secs
lola: 2498252 markings, 10733969 edges, 57323 markings/sec, 35 secs
lola: 2798728 markings, 12058604 edges, 60095 markings/sec, 40 secs
lola: 3105248 markings, 13351857 edges, 61304 markings/sec, 45 secs
lola: 3429652 markings, 14769936 edges, 64881 markings/sec, 50 secs
lola: 3734294 markings, 16121335 edges, 60928 markings/sec, 55 secs
lola: 4051329 markings, 17506122 edges, 63407 markings/sec, 60 secs
lola: 4371680 markings, 18923717 edges, 64070 markings/sec, 65 secs
lola: 4691917 markings, 20306818 edges, 64047 markings/sec, 70 secs
lola: 5004282 markings, 21729579 edges, 62473 markings/sec, 75 secs
lola: 5304075 markings, 23097610 edges, 59959 markings/sec, 80 secs
lola: 5625038 markings, 24519372 edges, 64193 markings/sec, 85 secs
lola: 5929348 markings, 25932605 edges, 60862 markings/sec, 90 secs
lola: 6232692 markings, 27290919 edges, 60669 markings/sec, 95 secs
lola: 6532107 markings, 28609612 edges, 59883 markings/sec, 100 secs
lola: 6830469 markings, 29958160 edges, 59672 markings/sec, 105 secs
lola: 7136486 markings, 31321938 edges, 61203 markings/sec, 110 secs
lola: 7428403 markings, 32639741 edges, 58383 markings/sec, 115 secs
lola: 7700533 markings, 33891153 edges, 54426 markings/sec, 120 secs
lola: 8012116 markings, 35299297 edges, 62317 markings/sec, 125 secs
lola: 8287552 markings, 36573966 edges, 55087 markings/sec, 130 secs
lola: 8589637 markings, 37908821 edges, 60417 markings/sec, 135 secs
lola: 8903784 markings, 39304673 edges, 62829 markings/sec, 140 secs
lola: 9209456 markings, 40739764 edges, 61134 markings/sec, 145 secs
lola: 9508721 markings, 42130837 edges, 59853 markings/sec, 150 secs
lola: 9823768 markings, 43525519 edges, 63009 markings/sec, 155 secs
lola: 10129558 markings, 44932375 edges, 61158 markings/sec, 160 secs
lola: 10433296 markings, 46319011 edges, 60748 markings/sec, 165 secs
lola: 10715919 markings, 47639196 edges, 56525 markings/sec, 170 secs
lola: 11010749 markings, 48987092 edges, 58966 markings/sec, 175 secs
lola: 11316006 markings, 50436027 edges, 61051 markings/sec, 180 secs
lola: 11605493 markings, 51812295 edges, 57897 markings/sec, 185 secs
lola: 11896301 markings, 53083214 edges, 58162 markings/sec, 190 secs
lola: 12199161 markings, 54501615 edges, 60572 markings/sec, 195 secs
lola: 12496794 markings, 55911556 edges, 59527 markings/sec, 200 secs
lola: 12798063 markings, 57337912 edges, 60254 markings/sec, 205 secs
lola: 13102267 markings, 58739902 edges, 60841 markings/sec, 210 secs
lola: 13373981 markings, 60017894 edges, 54343 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(p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 728 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 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(p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 728 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 250470 markings, 1095433 edges, 50094 markings/sec, 0 secs
lola: 498008 markings, 2264384 edges, 49508 markings/sec, 5 secs
lola: 761492 markings, 3470095 edges, 52697 markings/sec, 10 secs
lola: 1039854 markings, 4700762 edges, 55672 markings/sec, 15 secs
lola: 1318716 markings, 5947082 edges, 55772 markings/sec, 20 secs
lola: 1596777 markings, 7193943 edges, 55612 markings/sec, 25 secs
lola: 1873504 markings, 8474471 edges, 55345 markings/sec, 30 secs
lola: 2143900 markings, 9718006 edges, 54079 markings/sec, 35 secs
lola: 2413795 markings, 10952053 edges, 53979 markings/sec, 40 secs
lola: 2681442 markings, 12215787 edges, 53529 markings/sec, 45 secs
lola: 2947540 markings, 13489272 edges, 53220 markings/sec, 50 secs
lola: 3212599 markings, 14758413 edges, 53012 markings/sec, 55 secs
lola: 3473947 markings, 16032053 edges, 52270 markings/sec, 60 secs
lola: 3741134 markings, 17307580 edges, 53437 markings/sec, 65 secs
lola: 3994037 markings, 18560855 edges, 50581 markings/sec, 70 secs
lola: 4245817 markings, 19778890 edges, 50356 markings/sec, 75 secs
lola: 4491500 markings, 20991282 edges, 49137 markings/sec, 80 secs
lola: 4734439 markings, 22213937 edges, 48588 markings/sec, 85 secs
lola: 4976950 markings, 23420576 edges, 48502 markings/sec, 90 secs
lola: 5205870 markings, 24549046 edges, 45784 markings/sec, 95 secs
lola: 5443114 markings, 25746612 edges, 47449 markings/sec, 100 secs
lola: 5682237 markings, 26916981 edges, 47825 markings/sec, 105 secs
lola: 5939681 markings, 28206240 edges, 51489 markings/sec, 110 secs
lola: 6199563 markings, 29480081 edges, 51976 markings/sec, 115 secs
lola: 6441269 markings, 30682560 edges, 48341 markings/sec, 120 secs
lola: 6684633 markings, 31889332 edges, 48673 markings/sec, 125 secs
lola: 6913875 markings, 33077934 edges, 45848 markings/sec, 130 secs
lola: 7149760 markings, 34213095 edges, 47177 markings/sec, 135 secs
lola: 7406232 markings, 35492766 edges, 51294 markings/sec, 140 secs
lola: 7653429 markings, 36728057 edges, 49439 markings/sec, 145 secs
lola: 7907476 markings, 38018906 edges, 50809 markings/sec, 150 secs
lola: 8160633 markings, 39296650 edges, 50631 markings/sec, 155 secs
lola: 8417012 markings, 40592200 edges, 51276 markings/sec, 160 secs
lola: 8667278 markings, 41866632 edges, 50053 markings/sec, 165 secs
lola: 8933605 markings, 43176542 edges, 53265 markings/sec, 170 secs
lola: 9192942 markings, 44527288 edges, 51867 markings/sec, 175 secs
lola: 9452297 markings, 45832071 edges, 51871 markings/sec, 180 secs
lola: 9691502 markings, 47031392 edges, 47841 markings/sec, 185 secs
lola: 9931117 markings, 48233740 edges, 47923 markings/sec, 190 secs
lola: 10184532 markings, 49524717 edges, 50683 markings/sec, 195 secs
lola: 10428421 markings, 50787527 edges, 48778 markings/sec, 200 secs
lola: 10693328 markings, 52081269 edges, 52981 markings/sec, 205 secs
lola: 10954480 markings, 53421727 edges, 52230 markings/sec, 210 secs
lola: 11211952 markings, 54712621 edges, 51494 markings/sec, 215 secs
lola: 11478721 markings, 56058470 edges, 53354 markings/sec, 220 secs
lola: 11742859 markings, 57443602 edges, 52828 markings/sec, 225 secs
lola: 12013613 markings, 58747932 edges, 54151 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(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 728 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 300509 markings, 914773 edges, 60102 markings/sec, 0 secs
lola: 609551 markings, 1864501 edges, 61808 markings/sec, 5 secs
lola: 912166 markings, 2851818 edges, 60523 markings/sec, 10 secs
lola: 1215993 markings, 3809526 edges, 60765 markings/sec, 15 secs
lola: 1504960 markings, 4827676 edges, 57793 markings/sec, 20 secs
lola: 1804646 markings, 5827484 edges, 59937 markings/sec, 25 secs
lola: 2096446 markings, 6774172 edges, 58360 markings/sec, 30 secs
lola: 2382102 markings, 7811906 edges, 57131 markings/sec, 35 secs
lola: 2675828 markings, 8853488 edges, 58745 markings/sec, 40 secs
lola: 2962751 markings, 9891610 edges, 57385 markings/sec, 45 secs
lola: 3247556 markings, 10816098 edges, 56961 markings/sec, 50 secs
lola: 3530838 markings, 11871852 edges, 56656 markings/sec, 55 secs
lola: 3795970 markings, 12906794 edges, 53026 markings/sec, 60 secs
lola: 4066161 markings, 13902903 edges, 54038 markings/sec, 65 secs
lola: 4347309 markings, 15020763 edges, 56230 markings/sec, 70 secs
lola: 4628503 markings, 16053247 edges, 56239 markings/sec, 75 secs
lola: 4895825 markings, 17071439 edges, 53464 markings/sec, 80 secs
lola: 5181853 markings, 18202864 edges, 57206 markings/sec, 85 secs
lola: 5464513 markings, 19216353 edges, 56532 markings/sec, 90 secs
lola: 5745690 markings, 20276695 edges, 56235 markings/sec, 95 secs
lola: 6021007 markings, 21237293 edges, 55063 markings/sec, 100 secs
lola: 6293331 markings, 22284307 edges, 54465 markings/sec, 105 secs
lola: 6578036 markings, 23395880 edges, 56941 markings/sec, 110 secs
lola: 6860336 markings, 24420504 edges, 56460 markings/sec, 115 secs
lola: 7128073 markings, 25440135 edges, 53547 markings/sec, 120 secs
lola: 7409653 markings, 26518191 edges, 56316 markings/sec, 125 secs
lola: 7690587 markings, 27645332 edges, 56187 markings/sec, 130 secs
lola: 7956033 markings, 28664981 edges, 53089 markings/sec, 135 secs
lola: 8216149 markings, 29635001 edges, 52023 markings/sec, 140 secs
lola: 8463446 markings, 30639314 edges, 49459 markings/sec, 145 secs
lola: 8739305 markings, 31738000 edges, 55172 markings/sec, 150 secs
lola: 8982526 markings, 32629518 edges, 48644 markings/sec, 155 secs
lola: 9232978 markings, 33540911 edges, 50090 markings/sec, 160 secs
lola: 9502329 markings, 34658845 edges, 53870 markings/sec, 165 secs
lola: 9761267 markings, 35599966 edges, 51788 markings/sec, 170 secs
lola: 10044023 markings, 36692836 edges, 56551 markings/sec, 175 secs
lola: 10327506 markings, 37742482 edges, 56697 markings/sec, 180 secs
lola: 10604897 markings, 38854914 edges, 55478 markings/sec, 185 secs
lola: 10887540 markings, 39941376 edges, 56529 markings/sec, 190 secs
lola: 11158896 markings, 41006840 edges, 54271 markings/sec, 195 secs
lola: 11440289 markings, 42037373 edges, 56279 markings/sec, 200 secs
lola: 11720757 markings, 43100712 edges, 56094 markings/sec, 205 secs
lola: 12005552 markings, 44129831 edges, 56959 markings/sec, 210 secs
lola: 12286790 markings, 45148572 edges, 56248 markings/sec, 215 secs
lola: 12545073 markings, 46193212 edges, 51657 markings/sec, 220 secs
lola: 12802532 markings, 47136889 edges, 51492 markings/sec, 225 secs
lola: 13084329 markings, 48188636 edges, 56359 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(p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 728 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 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(p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 728 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 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(p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 728 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 338654 markings, 1405582 edges, 67731 markings/sec, 0 secs
lola: 667330 markings, 2801246 edges, 65735 markings/sec, 5 secs
lola: 976059 markings, 4134649 edges, 61746 markings/sec, 10 secs
lola: 1289340 markings, 5479451 edges, 62656 markings/sec, 15 secs
lola: 1605701 markings, 6835699 edges, 63272 markings/sec, 20 secs
lola: 1901784 markings, 8105770 edges, 59217 markings/sec, 25 secs
lola: 2197520 markings, 9376435 edges, 59147 markings/sec, 30 secs
lola: 2496262 markings, 10663297 edges, 59748 markings/sec, 35 secs
lola: 2791917 markings, 11924899 edges, 59131 markings/sec, 40 secs
lola: 3091188 markings, 13186536 edges, 59854 markings/sec, 45 secs
lola: 3377264 markings, 14430251 edges, 57215 markings/sec, 50 secs
lola: 3669054 markings, 15687213 edges, 58358 markings/sec, 55 secs
lola: 3978309 markings, 17084331 edges, 61851 markings/sec, 60 secs
lola: 4243964 markings, 18242182 edges, 53131 markings/sec, 65 secs
lola: 4535454 markings, 19529510 edges, 58298 markings/sec, 70 secs
lola: 4831481 markings, 20879707 edges, 59205 markings/sec, 75 secs
lola: 5117658 markings, 22100162 edges, 57235 markings/sec, 80 secs
lola: 5416715 markings, 23421762 edges, 59811 markings/sec, 85 secs
lola: 5731429 markings, 24783188 edges, 62943 markings/sec, 90 secs
lola: 6020555 markings, 26067802 edges, 57825 markings/sec, 95 secs
lola: 6331452 markings, 27472228 edges, 62179 markings/sec, 100 secs
lola: 6624272 markings, 28745294 edges, 58564 markings/sec, 105 secs
lola: 6930934 markings, 30100393 edges, 61332 markings/sec, 110 secs
lola: 7231219 markings, 31516434 edges, 60057 markings/sec, 115 secs
lola: 7546888 markings, 32981559 edges, 63134 markings/sec, 120 secs
lola: 7853753 markings, 34339400 edges, 61373 markings/sec, 125 secs
lola: 8159597 markings, 35719652 edges, 61169 markings/sec, 130 secs
lola: 8462145 markings, 37077491 edges, 60510 markings/sec, 135 secs
lola: 8763797 markings, 38433395 edges, 60330 markings/sec, 140 secs
lola: 9056887 markings, 39766827 edges, 58618 markings/sec, 145 secs
lola: 9354541 markings, 41124051 edges, 59531 markings/sec, 150 secs
lola: 9659188 markings, 42486206 edges, 60929 markings/sec, 155 secs
lola: 9941469 markings, 43812221 edges, 56456 markings/sec, 160 secs
lola: 10242556 markings, 45177126 edges, 60217 markings/sec, 165 secs
lola: 10542687 markings, 46490899 edges, 60026 markings/sec, 170 secs
lola: 10836136 markings, 47873771 edges, 58690 markings/sec, 175 secs
lola: 11127418 markings, 49269795 edges, 58256 markings/sec, 180 secs
lola: 11430758 markings, 50644663 edges, 60668 markings/sec, 185 secs
lola: 11735521 markings, 52098346 edges, 60953 markings/sec, 190 secs
lola: 12036504 markings, 53515271 edges, 60197 markings/sec, 195 secs
lola: 12340451 markings, 54883466 edges, 60789 markings/sec, 200 secs
lola: 12638426 markings, 56227951 edges, 59595 markings/sec, 205 secs
lola: 12935809 markings, 57664160 edges, 59477 markings/sec, 210 secs
lola: 13231366 markings, 59024940 edges, 59111 markings/sec, 215 secs
lola: 13533370 markings, 60398235 edges, 60401 markings/sec, 220 secs
lola: 13830814 markings, 61829349 edges, 59489 markings/sec, 225 secs
lola: 14129417 markings, 63233158 edges, 59721 markings/sec, 230 secs
lola: 14418239 markings, 64543442 edges, 57764 markings/sec, 235 secs
lola: 14716644 markings, 65936489 edges, 59681 markings/sec, 240 secs
lola: 15016611 markings, 67296178 edges, 59993 markings/sec, 245 secs
lola: 15319129 markings, 68629385 edges, 60504 markings/sec, 250 secs
lola: 15617822 markings, 70012139 edges, 59739 markings/sec, 255 secs
lola: 15919283 markings, 71368686 edges, 60292 markings/sec, 260 secs
lola: 16226107 markings, 72752375 edges, 61365 markings/sec, 265 secs
lola: 16531473 markings, 74125887 edges, 61073 markings/sec, 270 secs
lola: 16832814 markings, 75537761 edges, 60268 markings/sec, 275 secs
lola: 17137847 markings, 76990526 edges, 61007 markings/sec, 280 secs
lola: 17414461 markings, 78282100 edges, 55323 markings/sec, 285 secs
lola: 17691507 markings, 79552856 edges, 55409 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(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 728 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 289879 markings, 958404 edges, 57976 markings/sec, 0 secs
lola: 577983 markings, 2010505 edges, 57621 markings/sec, 5 secs
lola: 863160 markings, 2987795 edges, 57035 markings/sec, 10 secs
lola: 1157430 markings, 4017649 edges, 58854 markings/sec, 15 secs
lola: 1442824 markings, 5002305 edges, 57079 markings/sec, 20 secs
lola: 1723633 markings, 5887318 edges, 56162 markings/sec, 25 secs
lola: 2020044 markings, 6988147 edges, 59282 markings/sec, 30 secs
lola: 2318161 markings, 8064111 edges, 59623 markings/sec, 35 secs
lola: 2620442 markings, 9072567 edges, 60456 markings/sec, 40 secs
lola: 2905072 markings, 10121478 edges, 56926 markings/sec, 45 secs
lola: 3181545 markings, 11152977 edges, 55295 markings/sec, 50 secs
lola: 3436620 markings, 12180220 edges, 51015 markings/sec, 55 secs
lola: 3735579 markings, 13184028 edges, 59792 markings/sec, 60 secs
lola: 4017606 markings, 14273003 edges, 56405 markings/sec, 65 secs
lola: 4278302 markings, 15263653 edges, 52139 markings/sec, 70 secs
lola: 4562031 markings, 16324078 edges, 56746 markings/sec, 75 secs
lola: 4832995 markings, 17311843 edges, 54193 markings/sec, 80 secs
lola: 5119260 markings, 18377118 edges, 57253 markings/sec, 85 secs
lola: 5394794 markings, 19400639 edges, 55107 markings/sec, 90 secs
lola: 5679159 markings, 20438507 edges, 56873 markings/sec, 95 secs
lola: 5928981 markings, 21426152 edges, 49964 markings/sec, 100 secs
lola: 6181865 markings, 22386100 edges, 50577 markings/sec, 105 secs
lola: 6424639 markings, 23320583 edges, 48555 markings/sec, 110 secs
lola: 6674005 markings, 24298335 edges, 49873 markings/sec, 115 secs
lola: 6949861 markings, 25265307 edges, 55171 markings/sec, 120 secs
lola: 7216454 markings, 26274216 edges, 53319 markings/sec, 125 secs
lola: 7481403 markings, 27295841 edges, 52990 markings/sec, 130 secs
lola: 7749225 markings, 28306056 edges, 53564 markings/sec, 135 secs
lola: 8022290 markings, 29348383 edges, 54613 markings/sec, 140 secs
lola: 8305659 markings, 30474337 edges, 56674 markings/sec, 145 secs
lola: 8576641 markings, 31497761 edges, 54196 markings/sec, 150 secs
lola: 8801300 markings, 32403908 edges, 44932 markings/sec, 155 secs
lola: 9064717 markings, 33455851 edges, 52683 markings/sec, 160 secs
lola: 9334845 markings, 34453105 edges, 54026 markings/sec, 165 secs
lola: 9598329 markings, 35491035 edges, 52697 markings/sec, 170 secs
lola: 9865429 markings, 36593393 edges, 53420 markings/sec, 175 secs
lola: 10135649 markings, 37602648 edges, 54044 markings/sec, 180 secs
lola: 10425514 markings, 38708725 edges, 57973 markings/sec, 185 secs
lola: 10707370 markings, 39849715 edges, 56371 markings/sec, 190 secs
lola: 10994614 markings, 40853875 edges, 57449 markings/sec, 195 secs
lola: 11275866 markings, 41966104 edges, 56250 markings/sec, 200 secs
lola: 11547107 markings, 43133394 edges, 54248 markings/sec, 205 secs
lola: 11831790 markings, 44196188 edges, 56937 markings/sec, 210 secs
lola: 12113359 markings, 45320182 edges, 56314 markings/sec, 215 secs
lola: 12392364 markings, 46431404 edges, 55801 markings/sec, 220 secs
lola: 12665797 markings, 47505068 edges, 54687 markings/sec, 225 secs
lola: 12949947 markings, 48593627 edges, 56830 markings/sec, 230 secs
lola: 13227347 markings, 49745984 edges, 55480 markings/sec, 235 secs
lola: 13512096 markings, 50795911 edges, 56950 markings/sec, 240 secs
lola: 13800638 markings, 51831964 edges, 57708 markings/sec, 245 secs
lola: 14072360 markings, 53032612 edges, 54344 markings/sec, 250 secs
lola: 14348950 markings, 54157135 edges, 55318 markings/sec, 255 secs
lola: 14632779 markings, 55263225 edges, 56766 markings/sec, 260 secs
lola: 14910670 markings, 56359064 edges, 55578 markings/sec, 265 secs
lola: 15184832 markings, 57373751 edges, 54832 markings/sec, 270 secs
lola: 15464307 markings, 58475265 edges, 55895 markings/sec, 275 secs
lola: 15742810 markings, 59600926 edges, 55701 markings/sec, 280 secs
lola: 16020376 markings, 60693361 edges, 55513 markings/sec, 285 secs
lola: 16299327 markings, 61785661 edges, 55790 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(p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 728 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 314040 markings, 1303439 edges, 62808 markings/sec, 0 secs
lola: 620438 markings, 2594055 edges, 61280 markings/sec, 5 secs
lola: 903458 markings, 3834145 edges, 56604 markings/sec, 10 secs
lola: 1228251 markings, 5211369 edges, 64959 markings/sec, 15 secs
lola: 1542142 markings, 6557036 edges, 62778 markings/sec, 20 secs
lola: 1863986 markings, 7937410 edges, 64369 markings/sec, 25 secs
lola: 2175999 markings, 9283471 edges, 62403 markings/sec, 30 secs
lola: 2484019 markings, 10609969 edges, 61604 markings/sec, 35 secs
lola: 2800033 markings, 11960477 edges, 63203 markings/sec, 40 secs
lola: 3095271 markings, 13205376 edges, 59048 markings/sec, 45 secs
lola: 3389909 markings, 14479354 edges, 58928 markings/sec, 50 secs
lola: 3682070 markings, 15743702 edges, 58432 markings/sec, 55 secs
lola: 3956823 markings, 16985627 edges, 54951 markings/sec, 60 secs
lola: 4228366 markings, 18176927 edges, 54309 markings/sec, 65 secs
lola: 4470404 markings, 19227132 edges, 48408 markings/sec, 70 secs
lola: 4742266 markings, 20453622 edges, 54372 markings/sec, 75 secs
lola: 5001369 markings, 21603767 edges, 51821 markings/sec, 80 secs
lola: 5243811 markings, 22650201 edges, 48488 markings/sec, 85 secs
lola: 5518931 markings, 23863155 edges, 55024 markings/sec, 90 secs
lola: 5781914 markings, 25011440 edges, 52597 markings/sec, 95 secs
lola: 6063827 markings, 26282393 edges, 56383 markings/sec, 100 secs
lola: 6337319 markings, 27495404 edges, 54698 markings/sec, 105 secs
lola: 6625969 markings, 28753401 edges, 57730 markings/sec, 110 secs
lola: 6924238 markings, 30072906 edges, 59654 markings/sec, 115 secs
lola: 7198085 markings, 31363454 edges, 54769 markings/sec, 120 secs
lola: 7467660 markings, 32630658 edges, 53915 markings/sec, 125 secs
lola: 7729408 markings, 33802758 edges, 52350 markings/sec, 130 secs
lola: 8011101 markings, 35065189 edges, 56339 markings/sec, 135 secs
lola: 8290749 markings, 36309114 edges, 55930 markings/sec, 140 secs
lola: 8580790 markings, 37600261 edges, 58008 markings/sec, 145 secs
lola: 8850286 markings, 38824907 edges, 53899 markings/sec, 150 secs
lola: 9122160 markings, 40072593 edges, 54375 markings/sec, 155 secs
lola: 9381569 markings, 41246080 edges, 51882 markings/sec, 160 secs
lola: 9660947 markings, 42494269 edges, 55876 markings/sec, 165 secs
lola: 9954971 markings, 43880694 edges, 58805 markings/sec, 170 secs
lola: 10227981 markings, 45103658 edges, 54602 markings/sec, 175 secs
lola: 10518774 markings, 46378621 edges, 58159 markings/sec, 180 secs
lola: 10783318 markings, 47623204 edges, 52909 markings/sec, 185 secs
lola: 11048493 markings, 48874586 edges, 53035 markings/sec, 190 secs
lola: 11320415 markings, 50152987 edges, 54384 markings/sec, 195 secs
lola: 11619626 markings, 51530274 edges, 59842 markings/sec, 200 secs
lola: 11895573 markings, 52883450 edges, 55189 markings/sec, 205 secs
lola: 12193860 markings, 54204955 edges, 59657 markings/sec, 210 secs
lola: 12463058 markings, 55417243 edges, 53840 markings/sec, 215 secs
lola: 12759599 markings, 56814440 edges, 59308 markings/sec, 220 secs
lola: 13032414 markings, 58098283 edges, 54563 markings/sec, 225 secs
lola: 13316805 markings, 59430616 edges, 56878 markings/sec, 230 secs
lola: 13609714 markings, 60772401 edges, 58582 markings/sec, 235 secs
lola: 13893839 markings, 62125463 edges, 56825 markings/sec, 240 secs
lola: 14138529 markings, 63273567 edges, 48938 markings/sec, 245 secs
lola: 14423497 markings, 64568592 edges, 56994 markings/sec, 250 secs
lola: 14652835 markings, 65634471 edges, 45868 markings/sec, 255 secs
lola: 14927863 markings, 66893377 edges, 55006 markings/sec, 260 secs
lola: 15201566 markings, 68115160 edges, 54741 markings/sec, 265 secs
lola: 15474909 markings, 69332126 edges, 54669 markings/sec, 270 secs
lola: 15758148 markings, 70639794 edges, 56648 markings/sec, 275 secs
lola: 16019820 markings, 71798636 edges, 52334 markings/sec, 280 secs
lola: 16314106 markings, 73144490 edges, 58857 markings/sec, 285 secs
lola: 16622908 markings, 74559117 edges, 61760 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(p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 728 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 311164 markings, 1355785 edges, 62233 markings/sec, 0 secs
lola: 610592 markings, 2743111 edges, 59886 markings/sec, 5 secs
lola: 914099 markings, 4196745 edges, 60701 markings/sec, 10 secs
lola: 1200078 markings, 5551432 edges, 57196 markings/sec, 15 secs
lola: 1464083 markings, 6849049 edges, 52801 markings/sec, 20 secs
lola: 1726315 markings, 8130103 edges, 52446 markings/sec, 25 secs
lola: 2022001 markings, 9658834 edges, 59137 markings/sec, 30 secs
lola: 2312361 markings, 11156624 edges, 58072 markings/sec, 35 secs
lola: 2571082 markings, 12505437 edges, 51744 markings/sec, 40 secs
lola: 2836843 markings, 13875039 edges, 53152 markings/sec, 45 secs
lola: 3130642 markings, 15362633 edges, 58760 markings/sec, 50 secs
lola: 3415958 markings, 16778110 edges, 57063 markings/sec, 55 secs
lola: 3676005 markings, 18110872 edges, 52009 markings/sec, 60 secs
lola: 3953854 markings, 19520807 edges, 55570 markings/sec, 65 secs
lola: 4245666 markings, 20916904 edges, 58362 markings/sec, 70 secs
lola: 4541463 markings, 22415291 edges, 59159 markings/sec, 75 secs
lola: 4819903 markings, 23862555 edges, 55688 markings/sec, 80 secs
lola: 5083266 markings, 25206535 edges, 52673 markings/sec, 85 secs
lola: 5343791 markings, 26590672 edges, 52105 markings/sec, 90 secs
lola: 5611839 markings, 27995685 edges, 53610 markings/sec, 95 secs
lola: 5897825 markings, 29504099 edges, 57197 markings/sec, 100 secs
lola: 6182332 markings, 31024141 edges, 56901 markings/sec, 105 secs
lola: 6464599 markings, 32512772 edges, 56453 markings/sec, 110 secs
lola: 6749983 markings, 34068948 edges, 57077 markings/sec, 115 secs
lola: 7034647 markings, 35575683 edges, 56933 markings/sec, 120 secs
lola: 7318961 markings, 37063732 edges, 56863 markings/sec, 125 secs
lola: 7606236 markings, 38617267 edges, 57455 markings/sec, 130 secs
lola: 7889144 markings, 40129808 edges, 56582 markings/sec, 135 secs
lola: 8174471 markings, 41627436 edges, 57065 markings/sec, 140 secs
lola: 8457687 markings, 43117445 edges, 56643 markings/sec, 145 secs
lola: 8739970 markings, 44605306 edges, 56457 markings/sec, 150 secs
lola: 9018062 markings, 46135509 edges, 55618 markings/sec, 155 secs
lola: 9296536 markings, 47638544 edges, 55695 markings/sec, 160 secs
lola: 9572117 markings, 49114216 edges, 55116 markings/sec, 165 secs
lola: 9853856 markings, 50564689 edges, 56348 markings/sec, 170 secs
lola: 10122849 markings, 52037255 edges, 53799 markings/sec, 175 secs
lola: 10401001 markings, 53484545 edges, 55630 markings/sec, 180 secs
lola: 10676545 markings, 54971736 edges, 55109 markings/sec, 185 secs
lola: 10958826 markings, 56427761 edges, 56456 markings/sec, 190 secs
lola: 11217153 markings, 57889563 edges, 51665 markings/sec, 195 secs
lola: 11490807 markings, 59398946 edges, 54731 markings/sec, 200 secs
lola: 11769492 markings, 60942752 edges, 55737 markings/sec, 205 secs
lola: 12044019 markings, 62474295 edges, 54905 markings/sec, 210 secs
lola: 12323529 markings, 63963728 edges, 55902 markings/sec, 215 secs
lola: 12597181 markings, 65499736 edges, 54730 markings/sec, 220 secs
lola: 12875778 markings, 67033726 edges, 55719 markings/sec, 225 secs
lola: 13152473 markings, 68558520 edges, 55339 markings/sec, 230 secs
lola: 13426982 markings, 70093227 edges, 54902 markings/sec, 235 secs
lola: 13706912 markings, 71599738 edges, 55986 markings/sec, 240 secs
lola: 13993391 markings, 73100271 edges, 57296 markings/sec, 245 secs
lola: 14271584 markings, 74612545 edges, 55639 markings/sec, 250 secs
lola: 14550111 markings, 76114919 edges, 55705 markings/sec, 255 secs
lola: 14831843 markings, 77637370 edges, 56346 markings/sec, 260 secs
lola: 15115650 markings, 79139741 edges, 56761 markings/sec, 265 secs
lola: 15399783 markings, 80704312 edges, 56827 markings/sec, 270 secs
lola: 15676316 markings, 82234786 edges, 55307 markings/sec, 275 secs
lola: 15956040 markings, 83766723 edges, 55945 markings/sec, 280 secs
lola: 16237870 markings, 85250492 edges, 56366 markings/sec, 285 secs
lola: 16514061 markings, 86756200 edges, 55238 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(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 728 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 300929 markings, 1193927 edges, 60186 markings/sec, 0 secs
lola: 593765 markings, 2369722 edges, 58567 markings/sec, 5 secs
lola: 879662 markings, 3605790 edges, 57179 markings/sec, 10 secs
lola: 1167112 markings, 4807954 edges, 57490 markings/sec, 15 secs
lola: 1450509 markings, 6049394 edges, 56679 markings/sec, 20 secs
lola: 1737070 markings, 7230698 edges, 57312 markings/sec, 25 secs
lola: 2013592 markings, 8422236 edges, 55304 markings/sec, 30 secs
lola: 2294009 markings, 9604783 edges, 56083 markings/sec, 35 secs
lola: 2564073 markings, 10723717 edges, 54013 markings/sec, 40 secs
lola: 2848695 markings, 11986548 edges, 56924 markings/sec, 45 secs
lola: 3108784 markings, 13090925 edges, 52018 markings/sec, 50 secs
lola: 3377003 markings, 14279502 edges, 53644 markings/sec, 55 secs
lola: 3629182 markings, 15446697 edges, 50436 markings/sec, 60 secs
lola: 3863530 markings, 16485153 edges, 46870 markings/sec, 65 secs
lola: 4092433 markings, 17534735 edges, 45781 markings/sec, 70 secs
lola: 4324457 markings, 18613670 edges, 46405 markings/sec, 75 secs
lola: 4571275 markings, 19728976 edges, 49364 markings/sec, 80 secs
lola: 4825804 markings, 20890725 edges, 50906 markings/sec, 85 secs
lola: 5075686 markings, 22075484 edges, 49976 markings/sec, 90 secs
lola: 5340157 markings, 23288069 edges, 52894 markings/sec, 95 secs
lola: 5621084 markings, 24545168 edges, 56185 markings/sec, 100 secs
lola: 5893801 markings, 25797635 edges, 54543 markings/sec, 105 secs
lola: 6169018 markings, 27039218 edges, 55043 markings/sec, 110 secs
lola: 6447711 markings, 28285435 edges, 55739 markings/sec, 115 secs
lola: 6724470 markings, 29548345 edges, 55352 markings/sec, 120 secs
lola: 6996123 markings, 30822133 edges, 54331 markings/sec, 125 secs
lola: 7268018 markings, 32073413 edges, 54379 markings/sec, 130 secs
lola: 7544222 markings, 33317968 edges, 55241 markings/sec, 135 secs
lola: 7820854 markings, 34628287 edges, 55326 markings/sec, 140 secs
lola: 8094177 markings, 35874549 edges, 54665 markings/sec, 145 secs
lola: 8368689 markings, 37123385 edges, 54902 markings/sec, 150 secs
lola: 8641117 markings, 38362897 edges, 54486 markings/sec, 155 secs
lola: 8912397 markings, 39597004 edges, 54256 markings/sec, 160 secs
lola: 9184400 markings, 40851273 edges, 54401 markings/sec, 165 secs
lola: 9455280 markings, 42102826 edges, 54176 markings/sec, 170 secs
lola: 9729006 markings, 43358738 edges, 54745 markings/sec, 175 secs
lola: 9997634 markings, 44594112 edges, 53726 markings/sec, 180 secs
lola: 10270265 markings, 45863246 edges, 54526 markings/sec, 185 secs
lola: 10547947 markings, 47096090 edges, 55536 markings/sec, 190 secs
lola: 10818239 markings, 48351200 edges, 54058 markings/sec, 195 secs
lola: 11087538 markings, 49617505 edges, 53860 markings/sec, 200 secs
lola: 11358639 markings, 50881773 edges, 54220 markings/sec, 205 secs
lola: 11626089 markings, 52126853 edges, 53490 markings/sec, 210 secs
lola: 11894230 markings, 53390784 edges, 53628 markings/sec, 215 secs
lola: 12168505 markings, 54649899 edges, 54855 markings/sec, 220 secs
lola: 12439116 markings, 55875464 edges, 54122 markings/sec, 225 secs
lola: 12704760 markings, 57163375 edges, 53129 markings/sec, 230 secs
lola: 12969763 markings, 58413528 edges, 53001 markings/sec, 235 secs
lola: 13240268 markings, 59642664 edges, 54101 markings/sec, 240 secs
lola: 13504877 markings, 60889804 edges, 52922 markings/sec, 245 secs
lola: 13772001 markings, 62141587 edges, 53425 markings/sec, 250 secs
lola: 14039694 markings, 63392558 edges, 53539 markings/sec, 255 secs
lola: 14306061 markings, 64665849 edges, 53273 markings/sec, 260 secs
lola: 14573905 markings, 65903879 edges, 53569 markings/sec, 265 secs
lola: 14837998 markings, 67147988 edges, 52819 markings/sec, 270 secs
lola: 15101474 markings, 68427003 edges, 52695 markings/sec, 275 secs
lola: 15365496 markings, 69695440 edges, 52804 markings/sec, 280 secs
lola: 15629393 markings, 70930748 edges, 52779 markings/sec, 285 secs
lola: 15889963 markings, 72168946 edges, 52114 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(p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 728 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 269958 markings, 920770 edges, 53992 markings/sec, 0 secs
lola: 521299 markings, 1907691 edges, 50268 markings/sec, 5 secs
lola: 777945 markings, 2933226 edges, 51329 markings/sec, 10 secs
lola: 1027582 markings, 3954025 edges, 49927 markings/sec, 15 secs
lola: 1288837 markings, 5049324 edges, 52251 markings/sec, 20 secs
lola: 1530716 markings, 6068660 edges, 48376 markings/sec, 25 secs
lola: 1770779 markings, 7097751 edges, 48013 markings/sec, 30 secs
lola: 2029659 markings, 8199268 edges, 51776 markings/sec, 35 secs
lola: 2282646 markings, 9309323 edges, 50597 markings/sec, 40 secs
lola: 2524483 markings, 10403671 edges, 48367 markings/sec, 45 secs
lola: 2773376 markings, 11492638 edges, 49779 markings/sec, 50 secs
lola: 3024921 markings, 12609561 edges, 50309 markings/sec, 55 secs
lola: 3267003 markings, 13693314 edges, 48416 markings/sec, 60 secs
lola: 3499353 markings, 14778220 edges, 46470 markings/sec, 65 secs
lola: 3735333 markings, 15858764 edges, 47196 markings/sec, 70 secs
lola: 3963777 markings, 16900145 edges, 45689 markings/sec, 75 secs
lola: 4221657 markings, 18069893 edges, 51576 markings/sec, 80 secs
lola: 4489149 markings, 19271106 edges, 53498 markings/sec, 85 secs
lola: 4733041 markings, 20376638 edges, 48778 markings/sec, 90 secs
lola: 4995534 markings, 21602093 edges, 52499 markings/sec, 95 secs
lola: 5210431 markings, 22627134 edges, 42979 markings/sec, 100 secs
lola: 5471133 markings, 23851651 edges, 52140 markings/sec, 105 secs
lola: 5720859 markings, 25077451 edges, 49945 markings/sec, 110 secs
lola: 5973602 markings, 26225583 edges, 50549 markings/sec, 115 secs
lola: 6215226 markings, 27445786 edges, 48325 markings/sec, 120 secs
lola: 6463314 markings, 28654015 edges, 49618 markings/sec, 125 secs
lola: 6691824 markings, 29736699 edges, 45702 markings/sec, 130 secs
lola: 6953539 markings, 30917412 edges, 52343 markings/sec, 135 secs
lola: 7211259 markings, 32135541 edges, 51544 markings/sec, 140 secs
lola: 7473791 markings, 33339923 edges, 52506 markings/sec, 145 secs
lola: 7733760 markings, 34581092 edges, 51994 markings/sec, 150 secs
lola: 7970221 markings, 35718249 edges, 47292 markings/sec, 155 secs
lola: 8193498 markings, 36823845 edges, 44655 markings/sec, 160 secs
lola: 8412918 markings, 37864850 edges, 43884 markings/sec, 165 secs
lola: 8649088 markings, 39044383 edges, 47234 markings/sec, 170 secs
lola: 8869932 markings, 40040799 edges, 44169 markings/sec, 175 secs
lola: 9092928 markings, 41109121 edges, 44599 markings/sec, 180 secs
lola: 9346080 markings, 42242755 edges, 50630 markings/sec, 185 secs
lola: 9568922 markings, 43360577 edges, 44568 markings/sec, 190 secs
lola: 9787954 markings, 44633329 edges, 43806 markings/sec, 195 secs
lola: 10045146 markings, 45835400 edges, 51438 markings/sec, 200 secs
lola: 10298744 markings, 47075758 edges, 50720 markings/sec, 205 secs
lola: 10542136 markings, 48189060 edges, 48678 markings/sec, 210 secs
lola: 10785890 markings, 49494460 edges, 48751 markings/sec, 215 secs
lola: 11027351 markings, 50598341 edges, 48292 markings/sec, 220 secs
lola: 11255847 markings, 51703820 edges, 45699 markings/sec, 225 secs
lola: 11502865 markings, 52888760 edges, 49404 markings/sec, 230 secs
lola: 11730658 markings, 54008037 edges, 45559 markings/sec, 235 secs
lola: 11987263 markings, 55157571 edges, 51321 markings/sec, 240 secs
lola: 12238819 markings, 56350762 edges, 50311 markings/sec, 245 secs
lola: 12471380 markings, 57589828 edges, 46512 markings/sec, 250 secs
lola: 12722853 markings, 58757881 edges, 50295 markings/sec, 255 secs
lola: 12972742 markings, 59929202 edges, 49978 markings/sec, 260 secs
lola: 13222858 markings, 61048892 edges, 50023 markings/sec, 265 secs
lola: 13441217 markings, 62067860 edges, 43672 markings/sec, 270 secs
lola: 13674731 markings, 63114868 edges, 46703 markings/sec, 275 secs
lola: 13924190 markings, 64298376 edges, 49892 markings/sec, 280 secs
lola: 14178868 markings, 65498847 edges, 50936 markings/sec, 285 secs
lola: 14430660 markings, 66654342 edges, 50358 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(p30 + p28 + p26 + p24 + p22 + p20 + p16 + p18 + p17 + p19 + p21 + p23 + p25 + p27 + p29 + p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 728 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 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(p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 728 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 264564 markings, 1171645 edges, 52913 markings/sec, 0 secs
lola: 523595 markings, 2354333 edges, 51806 markings/sec, 5 secs
lola: 789773 markings, 3583313 edges, 53236 markings/sec, 10 secs
lola: 1057578 markings, 4774729 edges, 53561 markings/sec, 15 secs
lola: 1318376 markings, 5945506 edges, 52160 markings/sec, 20 secs
lola: 1556437 markings, 7029514 edges, 47612 markings/sec, 25 secs
lola: 1805548 markings, 8168522 edges, 49822 markings/sec, 30 secs
lola: 2062819 markings, 9381960 edges, 51454 markings/sec, 35 secs
lola: 2331756 markings, 10585955 edges, 53787 markings/sec, 40 secs
lola: 2576045 markings, 11738116 edges, 48858 markings/sec, 45 secs
lola: 2809570 markings, 12869089 edges, 46705 markings/sec, 50 secs
lola: 3055650 markings, 14008994 edges, 49216 markings/sec, 55 secs
lola: 3287087 markings, 15117422 edges, 46287 markings/sec, 60 secs
lola: 3539658 markings, 16335858 edges, 50514 markings/sec, 65 secs
lola: 3787472 markings, 17534884 edges, 49563 markings/sec, 70 secs
lola: 4029137 markings, 18727917 edges, 48333 markings/sec, 75 secs
lola: 4266079 markings, 19879828 edges, 47388 markings/sec, 80 secs
lola: 4498664 markings, 21028562 edges, 46517 markings/sec, 85 secs
lola: 4700239 markings, 22037184 edges, 40315 markings/sec, 90 secs
lola: 4954104 markings, 23313681 edges, 50773 markings/sec, 95 secs
lola: 5209553 markings, 24565741 edges, 51090 markings/sec, 100 secs
lola: 5463645 markings, 25850174 edges, 50818 markings/sec, 105 secs
lola: 5718050 markings, 27109018 edges, 50881 markings/sec, 110 secs
lola: 5961060 markings, 28311188 edges, 48602 markings/sec, 115 secs
lola: 6191006 markings, 29448453 edges, 45989 markings/sec, 120 secs
lola: 6431192 markings, 30629221 edges, 48037 markings/sec, 125 secs
lola: 6682479 markings, 31877666 edges, 50257 markings/sec, 130 secs
lola: 6903329 markings, 33022467 edges, 44170 markings/sec, 135 secs
lola: 7167275 markings, 34292165 edges, 52789 markings/sec, 140 secs
lola: 7416771 markings, 35549236 edges, 49899 markings/sec, 145 secs
lola: 7656804 markings, 36747148 edges, 48007 markings/sec, 150 secs
lola: 7882560 markings, 37887470 edges, 45151 markings/sec, 155 secs
lola: 8123598 markings, 39116349 edges, 48208 markings/sec, 160 secs
lola: 8373197 markings, 40373225 edges, 49920 markings/sec, 165 secs
lola: 8610660 markings, 41571983 edges, 47493 markings/sec, 170 secs
lola: 8864273 markings, 42843572 edges, 50723 markings/sec, 175 secs
lola: 9132369 markings, 44183499 edges, 53619 markings/sec, 180 secs
lola: 9370396 markings, 45418506 edges, 47605 markings/sec, 185 secs
lola: 9626380 markings, 46689106 edges, 51197 markings/sec, 190 secs
lola: 9855633 markings, 47852363 edges, 45851 markings/sec, 195 secs
lola: 10100735 markings, 49097841 edges, 49020 markings/sec, 200 secs
lola: 10336832 markings, 50340045 edges, 47219 markings/sec, 205 secs
lola: 10595495 markings, 51599070 edges, 51733 markings/sec, 210 secs
lola: 10850238 markings, 52913644 edges, 50949 markings/sec, 215 secs
lola: 11104660 markings, 54179678 edges, 50884 markings/sec, 220 secs
lola: 11361938 markings, 55496449 edges, 51456 markings/sec, 225 secs
lola: 11628456 markings, 56900369 edges, 53304 markings/sec, 230 secs
lola: 11901475 markings, 58214442 edges, 54604 markings/sec, 235 secs
lola: 12171273 markings, 59479230 edges, 53960 markings/sec, 240 secs
lola: 12426258 markings, 60799913 edges, 50997 markings/sec, 245 secs
lola: 12677092 markings, 62105635 edges, 50167 markings/sec, 250 secs
lola: 12920745 markings, 63275100 edges, 48731 markings/sec, 255 secs
lola: 13168806 markings, 64509934 edges, 49612 markings/sec, 260 secs
lola: 13431809 markings, 65800706 edges, 52601 markings/sec, 265 secs
lola: 13693592 markings, 67071560 edges, 52357 markings/sec, 270 secs
lola: 13952317 markings, 68385925 edges, 51745 markings/sec, 275 secs
lola: 14210991 markings, 69681703 edges, 51735 markings/sec, 280 secs
lola: 14477137 markings, 70996544 edges, 53229 markings/sec, 285 secs
lola: 14746218 markings, 72342574 edges, 53816 markings/sec, 290 secs
lola: 15012044 markings, 73696956 edges, 53165 markings/sec, 295 secs
lola: 15277308 markings, 75008539 edges, 53053 markings/sec, 300 secs
lola: 15535739 markings, 76300128 edges, 51686 markings/sec, 305 secs
lola: 15795933 markings, 77652505 edges, 52039 markings/sec, 310 secs
lola: 16060137 markings, 78991017 edges, 52841 markings/sec, 315 secs
lola: 16315776 markings, 80298468 edges, 51128 markings/sec, 320 secs
lola: 16585167 markings, 81627240 edges, 53878 markings/sec, 325 secs
lola: 16844669 markings, 82989167 edges, 51900 markings/sec, 330 secs
lola: 17116032 markings, 84290105 edges, 54273 markings/sec, 335 secs
lola: 17380120 markings, 85596962 edges, 52818 markings/sec, 340 secs
lola: 17638274 markings, 87034652 edges, 51631 markings/sec, 345 secs
lola: 17907104 markings, 88342890 edges, 53766 markings/sec, 350 secs
lola: 18171933 markings, 89643261 edges, 52966 markings/sec, 355 secs
lola: 18437642 markings, 90999382 edges, 53142 markings/sec, 360 secs
lola: 18702108 markings, 92415918 edges, 52893 markings/sec, 365 secs
lola: 18967895 markings, 93783124 edges, 53157 markings/sec, 370 secs
lola: 19236832 markings, 95110474 edges, 53787 markings/sec, 375 secs
lola: 19501525 markings, 96410382 edges, 52939 markings/sec, 380 secs
lola: 19762596 markings, 97736209 edges, 52214 markings/sec, 385 secs
lola: 20020564 markings, 99106000 edges, 51594 markings/sec, 390 secs
lola: 20272927 markings, 100397388 edges, 50473 markings/sec, 395 secs
lola: 20538461 markings, 101749295 edges, 53107 markings/sec, 400 secs
lola: 20800392 markings, 103121545 edges, 52386 markings/sec, 405 secs
lola: 21061882 markings, 104476167 edges, 52298 markings/sec, 410 secs
lola: 21333136 markings, 105824552 edges, 54251 markings/sec, 415 secs
lola: 21598700 markings, 107117365 edges, 53113 markings/sec, 420 secs
lola: 21855641 markings, 108495499 edges, 51388 markings/sec, 425 secs
lola: 22112611 markings, 109854282 edges, 51394 markings/sec, 430 secs
lola: 22380326 markings, 111163103 edges, 53543 markings/sec, 435 secs
lola: 22644404 markings, 112522019 edges, 52816 markings/sec, 440 secs
lola: 22909707 markings, 113833465 edges, 53061 markings/sec, 445 secs
lola: 23164196 markings, 115131240 edges, 50898 markings/sec, 450 secs
lola: 23412650 markings, 116336994 edges, 49691 markings/sec, 455 secs
lola: 23666959 markings, 117596699 edges, 50862 markings/sec, 460 secs
lola: 23926872 markings, 118972496 edges, 51983 markings/sec, 465 secs
lola: 24194473 markings, 120302104 edges, 53520 markings/sec, 470 secs
lola: 24449027 markings, 121606930 edges, 50911 markings/sec, 475 secs
lola: 24704844 markings, 122921925 edges, 51163 markings/sec, 480 secs
lola: 24951093 markings, 124225799 edges, 49250 markings/sec, 485 secs
lola: 25206458 markings, 125542285 edges, 51073 markings/sec, 490 secs
lola: 25472251 markings, 126839332 edges, 53159 markings/sec, 495 secs
lola: 25731483 markings, 128183607 edges, 51846 markings/sec, 500 secs
lola: 25988926 markings, 129495005 edges, 51489 markings/sec, 505 secs
lola: 26225657 markings, 130717667 edges, 47346 markings/sec, 510 secs
lola: 26493451 markings, 132070806 edges, 53559 markings/sec, 515 secs
lola: 26756610 markings, 133459426 edges, 52632 markings/sec, 520 secs
lola: 27018035 markings, 134793462 edges, 52285 markings/sec, 525 secs
lola: 27279950 markings, 136082421 edges, 52383 markings/sec, 530 secs
lola: 27538633 markings, 137453878 edges, 51737 markings/sec, 535 secs
lola: 27805919 markings, 138752807 edges, 53457 markings/sec, 540 secs
lola: 28062501 markings, 140123639 edges, 51316 markings/sec, 545 secs
lola: 28325221 markings, 141433847 edges, 52544 markings/sec, 550 secs
lola: 28586613 markings, 142798438 edges, 52278 markings/sec, 555 secs
lola: 28848693 markings, 144139186 edges, 52416 markings/sec, 560 secs
lola: 29104782 markings, 145493347 edges, 51218 markings/sec, 565 secs
lola: 29364988 markings, 146788484 edges, 52041 markings/sec, 570 secs
lola: 29622973 markings, 148172639 edges, 51597 markings/sec, 575 secs
lola: 29883796 markings, 149491792 edges, 52165 markings/sec, 580 secs
lola: 30144884 markings, 150799732 edges, 52218 markings/sec, 585 secs
lola: 30400111 markings, 152126248 edges, 51045 markings/sec, 590 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 unknown unknown 1 1 unknown unknown unknown unknown unknown unknown 7
lola: caught signal User defined signal 1 - aborting LoLA
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 1496358432233

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_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/S_LamportFastMutEx-COL-7.tgz
mv S_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 S_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 r118-blw7-149441649900155"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;