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_BridgeAndVehicles-COL-V50P20N20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074300335
=====================================================================

--------------------
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 BridgeAndVehicles-COL-V50P20N20-UpperBounds-0
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-UpperBounds-1
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-UpperBounds-15
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-UpperBounds-2
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-UpperBounds-3
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-UpperBounds-4
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-UpperBounds-5
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-UpperBounds-6
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-UpperBounds-7
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-UpperBounds-8
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496341120575


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_BridgeAndVehicles-COL-V50P20N20: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_BridgeAndVehicles-COL-V50P20N20: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_BridgeAndVehicles-COL-V50P20N20 @ 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: 2486/65536 symbol table entries, 22 collisions
lola: preprocessing...
lola: finding significant places
lola: 138 places, 2348 transitions, 131 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2693 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V50P20N20-UpperBounds.task
lola: MAX(p29 + p30) : MAX(p2) : MAX(p82) : MAX(p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81) : MAX(p1) : MAX(p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23) : MAX(p2) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p98 + p97 + p96 + p95 + p94 + p93 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p99) : MAX(p1) : MAX(p24) : MAX(p1) : MAX(p0) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p98 + p97 + p96 + p95 + p94 + p93 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p99) : MAX(p135) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p98 + p97 + p96 + p95 + p94 + p93 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p99) : MAX(p25)
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(p29 + p30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 4717 markings, 8293 edges, 943 markings/sec, 0 secs
lola: 9166 markings, 17611 edges, 890 markings/sec, 5 secs
lola: 13644 markings, 26979 edges, 896 markings/sec, 10 secs
lola: 17598 markings, 36071 edges, 791 markings/sec, 15 secs
lola: 21989 markings, 45794 edges, 878 markings/sec, 20 secs
lola: 26145 markings, 55007 edges, 831 markings/sec, 25 secs
lola: 30103 markings, 64387 edges, 792 markings/sec, 30 secs
lola: 34321 markings, 73888 edges, 844 markings/sec, 35 secs
lola: 38874 markings, 83700 edges, 911 markings/sec, 40 secs
lola: 42494 markings, 92612 edges, 724 markings/sec, 45 secs
lola: 46420 markings, 101899 edges, 785 markings/sec, 50 secs
lola: 50119 markings, 110986 edges, 740 markings/sec, 55 secs
lola: 54235 markings, 120452 edges, 823 markings/sec, 60 secs
lola: 58848 markings, 130247 edges, 923 markings/sec, 65 secs
lola: 62708 markings, 139481 edges, 772 markings/sec, 70 secs
lola: 66165 markings, 148253 edges, 691 markings/sec, 75 secs
lola: 69880 markings, 157198 edges, 743 markings/sec, 80 secs
lola: 73564 markings, 166401 edges, 737 markings/sec, 85 secs
lola: 77417 markings, 175813 edges, 771 markings/sec, 90 secs
lola: 81282 markings, 185086 edges, 773 markings/sec, 95 secs
lola: 85849 markings, 195256 edges, 913 markings/sec, 100 secs
lola: 90311 markings, 204878 edges, 892 markings/sec, 105 secs
lola: 94019 markings, 214003 edges, 742 markings/sec, 110 secs
lola: 97417 markings, 222746 edges, 680 markings/sec, 115 secs
lola: 100936 markings, 231704 edges, 704 markings/sec, 120 secs
lola: 104681 markings, 240820 edges, 749 markings/sec, 125 secs
lola: 108102 markings, 249546 edges, 684 markings/sec, 130 secs
lola: 111297 markings, 257659 edges, 639 markings/sec, 135 secs
lola: 114769 markings, 266201 edges, 694 markings/sec, 140 secs
lola: 118127 markings, 274533 edges, 672 markings/sec, 145 secs
lola: 122294 markings, 284249 edges, 833 markings/sec, 150 secs
lola: 126813 markings, 294520 edges, 904 markings/sec, 155 secs
lola: 131292 markings, 304058 edges, 896 markings/sec, 160 secs
lola: 135039 markings, 313165 edges, 749 markings/sec, 165 secs
lola: 138294 markings, 321388 edges, 651 markings/sec, 170 secs
lola: 141441 markings, 329506 edges, 629 markings/sec, 175 secs
lola: 144451 markings, 337383 edges, 602 markings/sec, 180 secs
lola: 147691 markings, 345740 edges, 648 markings/sec, 185 secs
lola: 151166 markings, 354490 edges, 695 markings/sec, 190 secs
lola: 154984 markings, 363770 edges, 764 markings/sec, 195 secs
lola: 158560 markings, 373205 edges, 715 markings/sec, 200 secs
lola: 162196 markings, 382464 edges, 727 markings/sec, 205 secs
lola: 165689 markings, 391273 edges, 699 markings/sec, 210 secs
lola: 169001 markings, 399462 edges, 662 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(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p82)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 14247 markings, 24155 edges, 2849 markings/sec, 0 secs
lola: 26643 markings, 47231 edges, 2479 markings/sec, 5 secs
lola: 37228 markings, 68183 edges, 2117 markings/sec, 10 secs
lola: 50044 markings, 95967 edges, 2563 markings/sec, 15 secs
lola: 62530 markings, 122878 edges, 2497 markings/sec, 20 secs
lola: 74451 markings, 148377 edges, 2384 markings/sec, 25 secs
lola: 87972 markings, 177890 edges, 2704 markings/sec, 30 secs
lola: 100011 markings, 204000 edges, 2408 markings/sec, 35 secs
lola: 112671 markings, 231516 edges, 2532 markings/sec, 40 secs
lola: 123261 markings, 250923 edges, 2118 markings/sec, 45 secs
lola: 134843 markings, 274231 edges, 2316 markings/sec, 50 secs
lola: 148366 markings, 299230 edges, 2705 markings/sec, 55 secs
lola: 159801 markings, 324518 edges, 2287 markings/sec, 60 secs
lola: 166767 markings, 337148 edges, 1393 markings/sec, 65 secs
lola: 178077 markings, 361168 edges, 2262 markings/sec, 70 secs
lola: 189866 markings, 385366 edges, 2358 markings/sec, 75 secs
lola: 199226 markings, 404359 edges, 1872 markings/sec, 80 secs
lola: 209010 markings, 423697 edges, 1957 markings/sec, 85 secs
lola: 218592 markings, 442955 edges, 1916 markings/sec, 90 secs
lola: 230465 markings, 467946 edges, 2375 markings/sec, 95 secs
lola: 239569 markings, 485932 edges, 1821 markings/sec, 100 secs
lola: 250704 markings, 508908 edges, 2227 markings/sec, 105 secs
lola: 261440 markings, 530933 edges, 2147 markings/sec, 110 secs
lola: 271837 markings, 552203 edges, 2079 markings/sec, 115 secs
lola: 283775 markings, 576664 edges, 2388 markings/sec, 120 secs
lola: 295081 markings, 598366 edges, 2261 markings/sec, 125 secs
lola: 308911 markings, 628877 edges, 2766 markings/sec, 130 secs
lola: 319967 markings, 653258 edges, 2211 markings/sec, 135 secs
lola: 332987 markings, 674030 edges, 2604 markings/sec, 140 secs
lola: 347079 markings, 708125 edges, 2818 markings/sec, 145 secs
lola: 356700 markings, 730873 edges, 1924 markings/sec, 150 secs
lola: 367534 markings, 755275 edges, 2167 markings/sec, 155 secs
lola: 378278 markings, 778756 edges, 2149 markings/sec, 160 secs
lola: 387936 markings, 801057 edges, 1932 markings/sec, 165 secs
lola: 396629 markings, 819820 edges, 1739 markings/sec, 170 secs
lola: 406688 markings, 842155 edges, 2012 markings/sec, 175 secs
lola: 416697 markings, 864869 edges, 2002 markings/sec, 180 secs
lola: 426200 markings, 886297 edges, 1901 markings/sec, 185 secs
lola: 435616 markings, 907422 edges, 1883 markings/sec, 190 secs
lola: 445091 markings, 928559 edges, 1895 markings/sec, 195 secs
lola: 454326 markings, 949072 edges, 1847 markings/sec, 200 secs
lola: 465628 markings, 974951 edges, 2260 markings/sec, 205 secs
lola: 474999 markings, 995878 edges, 1874 markings/sec, 210 secs
lola: 483918 markings, 1015676 edges, 1784 markings/sec, 215 secs
lola: 494081 markings, 1038279 edges, 2033 markings/sec, 220 secs
lola: 502697 markings, 1057632 edges, 1723 markings/sec, 225 secs
lola: 512954 markings, 1079646 edges, 2051 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 13815 markings, 25046 edges, 2763 markings/sec, 0 secs
lola: 26006 markings, 48707 edges, 2438 markings/sec, 5 secs
lola: 36124 markings, 69528 edges, 2024 markings/sec, 10 secs
lola: 49165 markings, 97940 edges, 2608 markings/sec, 15 secs
lola: 61393 markings, 124516 edges, 2446 markings/sec, 20 secs
lola: 75518 markings, 156073 edges, 2825 markings/sec, 25 secs
lola: 86744 markings, 179706 edges, 2245 markings/sec, 30 secs
lola: 100870 markings, 211265 edges, 2825 markings/sec, 35 secs
lola: 113753 markings, 239246 edges, 2577 markings/sec, 40 secs
lola: 123217 markings, 257136 edges, 1893 markings/sec, 45 secs
lola: 134469 markings, 280472 edges, 2250 markings/sec, 50 secs
lola: 146869 markings, 304780 edges, 2480 markings/sec, 55 secs
lola: 156314 markings, 329597 edges, 1889 markings/sec, 60 secs
lola: 164609 markings, 345642 edges, 1659 markings/sec, 65 secs
lola: 176894 markings, 371595 edges, 2457 markings/sec, 70 secs
lola: 186816 markings, 391549 edges, 1984 markings/sec, 75 secs
lola: 196411 markings, 411099 edges, 1919 markings/sec, 80 secs
lola: 206074 markings, 430283 edges, 1933 markings/sec, 85 secs
lola: 215423 markings, 449160 edges, 1870 markings/sec, 90 secs
lola: 226861 markings, 473453 edges, 2288 markings/sec, 95 secs
lola: 235478 markings, 490627 edges, 1723 markings/sec, 100 secs
lola: 246133 markings, 513091 edges, 2131 markings/sec, 105 secs
lola: 255875 markings, 533265 edges, 1948 markings/sec, 110 secs
lola: 265610 markings, 553066 edges, 1947 markings/sec, 115 secs
lola: 276265 markings, 575100 edges, 2131 markings/sec, 120 secs
lola: 285296 markings, 592572 edges, 1806 markings/sec, 125 secs
lola: 295450 markings, 615879 edges, 2031 markings/sec, 130 secs
lola: 307624 markings, 643847 edges, 2435 markings/sec, 135 secs
lola: 318632 markings, 668135 edges, 2202 markings/sec, 140 secs
lola: 328200 markings, 687236 edges, 1914 markings/sec, 145 secs
lola: 338386 markings, 715446 edges, 2037 markings/sec, 150 secs
lola: 347476 markings, 738703 edges, 1818 markings/sec, 155 secs
lola: 357956 markings, 761515 edges, 2096 markings/sec, 160 secs
lola: 365018 markings, 777408 edges, 1412 markings/sec, 165 secs
lola: 375347 markings, 800628 edges, 2066 markings/sec, 170 secs
lola: 385365 markings, 824063 edges, 2004 markings/sec, 175 secs
lola: 395647 markings, 846290 edges, 2056 markings/sec, 180 secs
lola: 405212 markings, 867469 edges, 1913 markings/sec, 185 secs
lola: 415105 markings, 889797 edges, 1979 markings/sec, 190 secs
lola: 424702 markings, 911406 edges, 1919 markings/sec, 195 secs
lola: 434184 markings, 932676 edges, 1896 markings/sec, 200 secs
lola: 443302 markings, 953122 edges, 1824 markings/sec, 205 secs
lola: 452677 markings, 974485 edges, 1875 markings/sec, 210 secs
lola: 461190 markings, 994203 edges, 1703 markings/sec, 215 secs
lola: 469847 markings, 1013128 edges, 1731 markings/sec, 220 secs
lola: 478789 markings, 1033377 edges, 1788 markings/sec, 225 secs
lola: 488315 markings, 1055039 edges, 1905 markings/sec, 230 secs
lola: 498064 markings, 1076698 edges, 1950 markings/sec, 235 secs
lola: 506452 markings, 1094512 edges, 1678 markings/sec, 240 secs
lola: 516292 markings, 1116178 edges, 1968 markings/sec, 245 secs
lola: 526546 markings, 1141016 edges, 2051 markings/sec, 250 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 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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 6 will run for 282 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: ========================================
lola: subprocess 7 will run for 313 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p98 + p97 + p96 + p95 + p94 + p93 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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 353 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 13836 markings, 25088 edges, 2767 markings/sec, 0 secs
lola: 25695 markings, 48090 edges, 2372 markings/sec, 5 secs
lola: 35744 markings, 68772 edges, 2010 markings/sec, 10 secs
lola: 48703 markings, 97022 edges, 2592 markings/sec, 15 secs
lola: 61047 markings, 123827 edges, 2469 markings/sec, 20 secs
lola: 74061 markings, 152396 edges, 2603 markings/sec, 25 secs
lola: 86407 markings, 179079 edges, 2469 markings/sec, 30 secs
lola: 98815 markings, 206126 edges, 2482 markings/sec, 35 secs
lola: 111896 markings, 234748 edges, 2616 markings/sec, 40 secs
lola: 123168 markings, 257040 edges, 2254 markings/sec, 45 secs
lola: 134925 markings, 281372 edges, 2351 markings/sec, 50 secs
lola: 147779 markings, 306588 edges, 2571 markings/sec, 55 secs
lola: 158246 markings, 333239 edges, 2093 markings/sec, 60 secs
lola: 168756 markings, 354652 edges, 2102 markings/sec, 65 secs
lola: 179519 markings, 376001 edges, 2153 markings/sec, 70 secs
lola: 189705 markings, 396761 edges, 2037 markings/sec, 75 secs
lola: 199736 markings, 416928 edges, 2006 markings/sec, 80 secs
lola: 212279 markings, 443562 edges, 2509 markings/sec, 85 secs
lola: 221698 markings, 462280 edges, 1884 markings/sec, 90 secs
lola: 233199 markings, 486510 edges, 2300 markings/sec, 95 secs
lola: 241786 markings, 503635 edges, 1717 markings/sec, 100 secs
lola: 252207 markings, 525566 edges, 2084 markings/sec, 105 secs
lola: 262400 markings, 546571 edges, 2039 markings/sec, 110 secs
lola: 272013 markings, 566342 edges, 1923 markings/sec, 115 secs
lola: 281844 markings, 586249 edges, 1966 markings/sec, 120 secs
lola: 291319 markings, 606659 edges, 1895 markings/sec, 125 secs
lola: 304872 markings, 637698 edges, 2711 markings/sec, 130 secs
lola: 313011 markings, 655591 edges, 1628 markings/sec, 135 secs
lola: 324687 markings, 678241 edges, 2335 markings/sec, 140 secs
lola: 334469 markings, 704611 edges, 1956 markings/sec, 145 secs
lola: 343725 markings, 730295 edges, 1851 markings/sec, 150 secs
lola: 351986 markings, 748019 edges, 1652 markings/sec, 155 secs
lola: 362586 markings, 772083 edges, 2120 markings/sec, 160 secs
lola: 372546 markings, 794603 edges, 1992 markings/sec, 165 secs
lola: 382261 markings, 816122 edges, 1943 markings/sec, 170 secs
lola: 389302 markings, 831721 edges, 1408 markings/sec, 175 secs
lola: 399329 markings, 854084 edges, 2005 markings/sec, 180 secs
lola: 409059 markings, 876324 edges, 1946 markings/sec, 185 secs
lola: 418812 markings, 898333 edges, 1951 markings/sec, 190 secs
lola: 428191 markings, 919469 edges, 1876 markings/sec, 195 secs
lola: 437236 markings, 939834 edges, 1809 markings/sec, 200 secs
lola: 446107 markings, 959749 edges, 1774 markings/sec, 205 secs
lola: 454630 markings, 978870 edges, 1705 markings/sec, 210 secs
lola: 463154 markings, 997833 edges, 1705 markings/sec, 215 secs
lola: 473591 markings, 1021519 edges, 2087 markings/sec, 220 secs
lola: 482115 markings, 1041138 edges, 1705 markings/sec, 225 secs
lola: 490393 markings, 1059236 edges, 1656 markings/sec, 230 secs
lola: 500271 markings, 1081735 edges, 1976 markings/sec, 235 secs
lola: 509334 markings, 1099835 edges, 1813 markings/sec, 240 secs
lola: 519361 markings, 1124336 edges, 2005 markings/sec, 245 secs
lola: 532852 markings, 1156741 edges, 2698 markings/sec, 250 secs
lola: 541046 markings, 1176044 edges, 1639 markings/sec, 255 secs
lola: 552259 markings, 1202063 edges, 2243 markings/sec, 260 secs
lola: 562005 markings, 1219887 edges, 1949 markings/sec, 265 secs
lola: 572275 markings, 1248675 edges, 2054 markings/sec, 270 secs
lola: 582407 markings, 1276879 edges, 2026 markings/sec, 275 secs
lola: 592656 markings, 1303337 edges, 2050 markings/sec, 280 secs
lola: 600443 markings, 1321994 edges, 1557 markings/sec, 285 secs
lola: 611217 markings, 1348333 edges, 2155 markings/sec, 290 secs
lola: 618923 markings, 1366157 edges, 1541 markings/sec, 295 secs
lola: 630016 markings, 1392944 edges, 2219 markings/sec, 300 secs
lola: 640606 markings, 1417623 edges, 2118 markings/sec, 305 secs
lola: 648101 markings, 1435387 edges, 1499 markings/sec, 310 secs
lola: 658538 markings, 1460486 edges, 2087 markings/sec, 315 secs
lola: 668237 markings, 1483341 edges, 1940 markings/sec, 320 secs
lola: 676011 markings, 1501843 edges, 1555 markings/sec, 325 secs
lola: 684588 markings, 1522062 edges, 1715 markings/sec, 330 secs
lola: 694071 markings, 1545261 edges, 1897 markings/sec, 335 secs
lola: 703210 markings, 1565663 edges, 1828 markings/sec, 340 secs
lola: 710400 markings, 1583389 edges, 1438 markings/sec, 345 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 353 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 4917 markings, 8949 edges, 983 markings/sec, 0 secs
lola: 9957 markings, 18332 edges, 1008 markings/sec, 5 secs
lola: 15014 markings, 27629 edges, 1011 markings/sec, 10 secs
lola: 19756 markings, 35890 edges, 948 markings/sec, 15 secs
lola: 23288 markings, 42892 edges, 706 markings/sec, 20 secs
lola: 27089 markings, 49630 edges, 760 markings/sec, 25 secs
lola: 31406 markings, 57434 edges, 863 markings/sec, 30 secs
lola: 34661 markings, 63887 edges, 651 markings/sec, 35 secs
lola: 38597 markings, 70937 edges, 787 markings/sec, 40 secs
lola: 42861 markings, 78666 edges, 853 markings/sec, 45 secs
lola: 46202 markings, 85286 edges, 668 markings/sec, 50 secs
lola: 50153 markings, 92400 edges, 790 markings/sec, 55 secs
lola: 54364 markings, 100067 edges, 842 markings/sec, 60 secs
lola: 58372 markings, 107795 edges, 802 markings/sec, 65 secs
lola: 62041 markings, 114605 edges, 734 markings/sec, 70 secs
lola: 65951 markings, 121698 edges, 782 markings/sec, 75 secs
lola: 70064 markings, 129226 edges, 823 markings/sec, 80 secs
lola: 74106 markings, 136619 edges, 808 markings/sec, 85 secs
lola: 77745 markings, 143705 edges, 728 markings/sec, 90 secs
lola: 81348 markings, 150363 edges, 721 markings/sec, 95 secs
lola: 85030 markings, 157086 edges, 736 markings/sec, 100 secs
lola: 88937 markings, 164260 edges, 781 markings/sec, 105 secs
lola: 92897 markings, 171561 edges, 792 markings/sec, 110 secs
lola: 96896 markings, 178961 edges, 800 markings/sec, 115 secs
lola: 100849 markings, 186290 edges, 791 markings/sec, 120 secs
lola: 104761 markings, 193558 edges, 782 markings/sec, 125 secs
lola: 108635 markings, 200771 edges, 775 markings/sec, 130 secs
lola: 112418 markings, 207821 edges, 757 markings/sec, 135 secs
lola: 116413 markings, 215296 edges, 799 markings/sec, 140 secs
lola: 120569 markings, 222941 edges, 831 markings/sec, 145 secs
lola: 126436 markings, 232052 edges, 1173 markings/sec, 150 secs
lola: 131130 markings, 239878 edges, 939 markings/sec, 155 secs
lola: 138540 markings, 256315 edges, 1482 markings/sec, 160 secs
lola: 146006 markings, 272980 edges, 1493 markings/sec, 165 secs
lola: 153257 markings, 289104 edges, 1450 markings/sec, 170 secs
lola: 160515 markings, 305081 edges, 1452 markings/sec, 175 secs
lola: 167550 markings, 320554 edges, 1407 markings/sec, 180 secs
lola: 174438 markings, 335676 edges, 1378 markings/sec, 185 secs
lola: 181375 markings, 350714 edges, 1387 markings/sec, 190 secs
lola: 190791 markings, 372588 edges, 1883 markings/sec, 195 secs
lola: 197361 markings, 386389 edges, 1314 markings/sec, 200 secs
lola: 203442 markings, 399645 edges, 1216 markings/sec, 205 secs
lola: 211821 markings, 418782 edges, 1676 markings/sec, 210 secs
lola: 217628 markings, 431067 edges, 1161 markings/sec, 215 secs
lola: 225450 markings, 448524 edges, 1564 markings/sec, 220 secs
lola: 232763 markings, 464936 edges, 1463 markings/sec, 225 secs
lola: 239585 markings, 480126 edges, 1364 markings/sec, 230 secs
lola: 244989 markings, 495599 edges, 1081 markings/sec, 235 secs
lola: 250369 markings, 510773 edges, 1076 markings/sec, 240 secs
lola: 255658 markings, 526151 edges, 1058 markings/sec, 245 secs
lola: 260967 markings, 541165 edges, 1062 markings/sec, 250 secs
lola: 266249 markings, 556127 edges, 1056 markings/sec, 255 secs
lola: 271533 markings, 571121 edges, 1057 markings/sec, 260 secs
lola: 276797 markings, 586078 edges, 1053 markings/sec, 265 secs
lola: 282017 markings, 600735 edges, 1044 markings/sec, 270 secs
lola: 287251 markings, 615512 edges, 1047 markings/sec, 275 secs
lola: 292468 markings, 630102 edges, 1043 markings/sec, 280 secs
lola: 297774 markings, 644579 edges, 1061 markings/sec, 285 secs
lola: 302956 markings, 652647 edges, 1036 markings/sec, 290 secs
lola: 308993 markings, 667845 edges, 1207 markings/sec, 295 secs
lola: 316876 markings, 685523 edges, 1577 markings/sec, 300 secs
lola: 321744 markings, 696092 edges, 974 markings/sec, 305 secs
lola: 329831 markings, 717280 edges, 1617 markings/sec, 310 secs
lola: 334046 markings, 726401 edges, 843 markings/sec, 315 secs
lola: 342652 markings, 748453 edges, 1721 markings/sec, 320 secs
lola: 346431 markings, 757208 edges, 756 markings/sec, 325 secs
lola: 354389 markings, 776646 edges, 1592 markings/sec, 330 secs
lola: 358799 markings, 787741 edges, 882 markings/sec, 335 secs
lola: 365857 markings, 804359 edges, 1412 markings/sec, 340 secs
lola: 372853 markings, 822525 edges, 1399 markings/sec, 345 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 353 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 14053 markings, 25518 edges, 2811 markings/sec, 0 secs
lola: 26265 markings, 49222 edges, 2442 markings/sec, 5 secs
lola: 36666 markings, 70408 edges, 2080 markings/sec, 10 secs
lola: 49093 markings, 97797 edges, 2485 markings/sec, 15 secs
lola: 61080 markings, 123893 edges, 2397 markings/sec, 20 secs
lola: 72514 markings, 148600 edges, 2287 markings/sec, 25 secs
lola: 85495 markings, 177270 edges, 2596 markings/sec, 30 secs
lola: 96008 markings, 200264 edges, 2103 markings/sec, 35 secs
lola: 108328 markings, 227069 edges, 2464 markings/sec, 40 secs
lola: 117840 markings, 246598 edges, 1902 markings/sec, 45 secs
lola: 131053 markings, 274532 edges, 2643 markings/sec, 50 secs
lola: 142294 markings, 297599 edges, 2248 markings/sec, 55 secs
lola: 153206 markings, 320758 edges, 2182 markings/sec, 60 secs
lola: 161714 markings, 339319 edges, 1702 markings/sec, 65 secs
lola: 172246 markings, 360636 edges, 2106 markings/sec, 70 secs
lola: 182491 markings, 381540 edges, 2049 markings/sec, 75 secs
lola: 195641 markings, 409569 edges, 2630 markings/sec, 80 secs
lola: 205668 markings, 429477 edges, 2005 markings/sec, 85 secs
lola: 215138 markings, 448671 edges, 1894 markings/sec, 90 secs
lola: 227056 markings, 473840 edges, 2384 markings/sec, 95 secs
lola: 236037 markings, 491693 edges, 1796 markings/sec, 100 secs
lola: 246488 markings, 513795 edges, 2090 markings/sec, 105 secs
lola: 256509 markings, 534829 edges, 2004 markings/sec, 110 secs
lola: 264812 markings, 550993 edges, 1661 markings/sec, 115 secs
lola: 275890 markings, 574432 edges, 2216 markings/sec, 120 secs
lola: 284460 markings, 591235 edges, 1714 markings/sec, 125 secs
lola: 294893 markings, 614793 edges, 2087 markings/sec, 130 secs
lola: 307248 markings, 643100 edges, 2471 markings/sec, 135 secs
lola: 317797 markings, 666694 edges, 2110 markings/sec, 140 secs
lola: 327437 markings, 685156 edges, 1928 markings/sec, 145 secs
lola: 337921 markings, 714205 edges, 2097 markings/sec, 150 secs
lola: 347071 markings, 737479 edges, 1830 markings/sec, 155 secs
lola: 354855 markings, 754621 edges, 1557 markings/sec, 160 secs
lola: 364007 markings, 774704 edges, 1830 markings/sec, 165 secs
lola: 374635 markings, 799213 edges, 2126 markings/sec, 170 secs
lola: 384774 markings, 822289 edges, 2028 markings/sec, 175 secs
lola: 394687 markings, 843752 edges, 1983 markings/sec, 180 secs
lola: 404897 markings, 866844 edges, 2042 markings/sec, 185 secs
lola: 414629 markings, 889091 edges, 1946 markings/sec, 190 secs
lola: 424074 markings, 910620 edges, 1889 markings/sec, 195 secs
lola: 434253 markings, 932813 edges, 2036 markings/sec, 200 secs
lola: 443593 markings, 953699 edges, 1868 markings/sec, 205 secs
lola: 453208 markings, 976087 edges, 1923 markings/sec, 210 secs
lola: 462595 markings, 996764 edges, 1877 markings/sec, 215 secs
lola: 473147 markings, 1020977 edges, 2110 markings/sec, 220 secs
lola: 482203 markings, 1041399 edges, 1811 markings/sec, 225 secs
lola: 492191 markings, 1063786 edges, 1998 markings/sec, 230 secs
lola: 500854 markings, 1082886 edges, 1733 markings/sec, 235 secs
lola: 510964 markings, 1102329 edges, 2022 markings/sec, 240 secs
lola: 520482 markings, 1127421 edges, 1904 markings/sec, 245 secs
lola: 533571 markings, 1157684 edges, 2618 markings/sec, 250 secs
lola: 540747 markings, 1175449 edges, 1435 markings/sec, 255 secs
lola: 551129 markings, 1200046 edges, 2076 markings/sec, 260 secs
lola: 560662 markings, 1216571 edges, 1907 markings/sec, 265 secs
lola: 570714 markings, 1243969 edges, 2010 markings/sec, 270 secs
lola: 580965 markings, 1272565 edges, 2050 markings/sec, 275 secs
lola: 590506 markings, 1299086 edges, 1908 markings/sec, 280 secs
lola: 598574 markings, 1318504 edges, 1614 markings/sec, 285 secs
lola: 608773 markings, 1341583 edges, 2040 markings/sec, 290 secs
lola: 616361 markings, 1359765 edges, 1518 markings/sec, 295 secs
lola: 627289 markings, 1386791 edges, 2186 markings/sec, 300 secs
lola: 633818 markings, 1401519 edges, 1306 markings/sec, 305 secs
lola: 644216 markings, 1426729 edges, 2080 markings/sec, 310 secs
lola: 653924 markings, 1448784 edges, 1942 markings/sec, 315 secs
lola: 660973 markings, 1466199 edges, 1410 markings/sec, 320 secs
lola: 671499 markings, 1491276 edges, 2105 markings/sec, 325 secs
lola: 681624 markings, 1515478 edges, 2025 markings/sec, 330 secs
lola: 691174 markings, 1536959 edges, 1910 markings/sec, 335 secs
lola: 699058 markings, 1556190 edges, 1577 markings/sec, 340 secs
lola: 708528 markings, 1578683 edges, 1894 markings/sec, 345 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 353 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 12803 markings, 30876 edges, 2561 markings/sec, 0 secs
lola: 23795 markings, 60381 edges, 2198 markings/sec, 5 secs
lola: 34113 markings, 88996 edges, 2064 markings/sec, 10 secs
lola: 43689 markings, 116960 edges, 1915 markings/sec, 15 secs
lola: 53694 markings, 145076 edges, 2001 markings/sec, 20 secs
lola: 62420 markings, 170997 edges, 1745 markings/sec, 25 secs
lola: 72949 markings, 201282 edges, 2106 markings/sec, 30 secs
lola: 83372 markings, 232299 edges, 2085 markings/sec, 35 secs
lola: 93695 markings, 264331 edges, 2065 markings/sec, 40 secs
lola: 104434 markings, 294701 edges, 2148 markings/sec, 45 secs
lola: 114254 markings, 324673 edges, 1964 markings/sec, 50 secs
lola: 123148 markings, 352418 edges, 1779 markings/sec, 55 secs
lola: 133895 markings, 384000 edges, 2149 markings/sec, 60 secs
lola: 143826 markings, 413682 edges, 1986 markings/sec, 65 secs
lola: 153563 markings, 443758 edges, 1947 markings/sec, 70 secs
lola: 162920 markings, 473239 edges, 1871 markings/sec, 75 secs
lola: 172178 markings, 502194 edges, 1852 markings/sec, 80 secs
lola: 181365 markings, 528380 edges, 1837 markings/sec, 85 secs
lola: 190394 markings, 555895 edges, 1806 markings/sec, 90 secs
lola: 199298 markings, 583759 edges, 1781 markings/sec, 95 secs
lola: 208679 markings, 613626 edges, 1876 markings/sec, 100 secs
lola: 217736 markings, 642831 edges, 1811 markings/sec, 105 secs
lola: 226212 markings, 670497 edges, 1695 markings/sec, 110 secs
lola: 237927 markings, 704950 edges, 2343 markings/sec, 115 secs
lola: 247508 markings, 733699 edges, 1916 markings/sec, 120 secs
lola: 256424 markings, 761293 edges, 1783 markings/sec, 125 secs
lola: 265838 markings, 791079 edges, 1883 markings/sec, 130 secs
lola: 275444 markings, 821854 edges, 1921 markings/sec, 135 secs
lola: 283099 markings, 846976 edges, 1531 markings/sec, 140 secs
lola: 291550 markings, 874263 edges, 1690 markings/sec, 145 secs
lola: 299320 markings, 899845 edges, 1554 markings/sec, 150 secs
lola: 308834 markings, 928043 edges, 1903 markings/sec, 155 secs
lola: 317938 markings, 954826 edges, 1821 markings/sec, 160 secs
lola: 326317 markings, 980937 edges, 1676 markings/sec, 165 secs
lola: 335725 markings, 1010618 edges, 1882 markings/sec, 170 secs
lola: 345472 markings, 1041690 edges, 1949 markings/sec, 175 secs
lola: 355262 markings, 1073254 edges, 1958 markings/sec, 180 secs
lola: 363657 markings, 1100776 edges, 1679 markings/sec, 185 secs
lola: 373242 markings, 1131954 edges, 1917 markings/sec, 190 secs
lola: 381392 markings, 1159173 edges, 1630 markings/sec, 195 secs
lola: 391633 markings, 1191203 edges, 2048 markings/sec, 200 secs
lola: 401947 markings, 1221104 edges, 2063 markings/sec, 205 secs
lola: 412846 markings, 1254485 edges, 2180 markings/sec, 210 secs
lola: 422172 markings, 1284184 edges, 1865 markings/sec, 215 secs
lola: 430012 markings, 1309289 edges, 1568 markings/sec, 220 secs
lola: 439477 markings, 1339859 edges, 1893 markings/sec, 225 secs
lola: 449000 markings, 1370809 edges, 1905 markings/sec, 230 secs
lola: 456891 markings, 1396838 edges, 1578 markings/sec, 235 secs
lola: 466719 markings, 1429058 edges, 1966 markings/sec, 240 secs
lola: 474565 markings, 1455140 edges, 1569 markings/sec, 245 secs
lola: 483193 markings, 1483717 edges, 1726 markings/sec, 250 secs
lola: 494142 markings, 1517965 edges, 2190 markings/sec, 255 secs
lola: 503345 markings, 1544285 edges, 1841 markings/sec, 260 secs
lola: 512412 markings, 1572367 edges, 1813 markings/sec, 265 secs
lola: 521869 markings, 1602047 edges, 1891 markings/sec, 270 secs
lola: 531526 markings, 1632542 edges, 1931 markings/sec, 275 secs
lola: 539359 markings, 1658067 edges, 1567 markings/sec, 280 secs
lola: 548595 markings, 1688050 edges, 1847 markings/sec, 285 secs
lola: 556873 markings, 1715558 edges, 1656 markings/sec, 290 secs
lola: 566096 markings, 1745669 edges, 1845 markings/sec, 295 secs
lola: 573223 markings, 1769420 edges, 1425 markings/sec, 300 secs
lola: 582374 markings, 1799319 edges, 1830 markings/sec, 305 secs
lola: 589267 markings, 1822635 edges, 1379 markings/sec, 310 secs
lola: 596485 markings, 1846725 edges, 1444 markings/sec, 315 secs
lola: 605830 markings, 1878037 edges, 1869 markings/sec, 320 secs
lola: 615330 markings, 1905258 edges, 1900 markings/sec, 325 secs
lola: 624544 markings, 1932482 edges, 1843 markings/sec, 330 secs
lola: 633649 markings, 1961075 edges, 1821 markings/sec, 335 secs
lola: 643375 markings, 1991487 edges, 1945 markings/sec, 340 secs
lola: 652583 markings, 2021239 edges, 1842 markings/sec, 345 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 353 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p98 + p97 + p96 + p95 + p94 + p93 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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 13 will run for 471 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 8935 markings, 16845 edges, 1787 markings/sec, 0 secs
lola: 17995 markings, 34075 edges, 1812 markings/sec, 5 secs
lola: 27159 markings, 51536 edges, 1833 markings/sec, 10 secs
lola: 36847 markings, 69295 edges, 1938 markings/sec, 15 secs
lola: 46514 markings, 87631 edges, 1933 markings/sec, 20 secs
lola: 56101 markings, 105079 edges, 1917 markings/sec, 25 secs
lola: 64765 markings, 121496 edges, 1733 markings/sec, 30 secs
lola: 73686 markings, 138191 edges, 1784 markings/sec, 35 secs
lola: 83545 markings, 156548 edges, 1972 markings/sec, 40 secs
lola: 93408 markings, 174751 edges, 1973 markings/sec, 45 secs
lola: 103246 markings, 192972 edges, 1968 markings/sec, 50 secs
lola: 112833 markings, 210765 edges, 1917 markings/sec, 55 secs
lola: 122546 markings, 228866 edges, 1943 markings/sec, 60 secs
lola: 132563 markings, 247179 edges, 2003 markings/sec, 65 secs
lola: 142114 markings, 265129 edges, 1910 markings/sec, 70 secs
lola: 167295 markings, 316086 edges, 5036 markings/sec, 75 secs
lola: 195062 markings, 381503 edges, 5553 markings/sec, 80 secs
lola: 221003 markings, 440488 edges, 5188 markings/sec, 85 secs
lola: 246323 markings, 498872 edges, 5064 markings/sec, 90 secs
lola: 267817 markings, 547322 edges, 4299 markings/sec, 95 secs
lola: 278075 markings, 565371 edges, 2052 markings/sec, 100 secs
lola: 288650 markings, 582502 edges, 2115 markings/sec, 105 secs
lola: 298770 markings, 599980 edges, 2024 markings/sec, 110 secs
lola: 308870 markings, 617274 edges, 2020 markings/sec, 115 secs
lola: 319126 markings, 634581 edges, 2051 markings/sec, 120 secs
lola: 329287 markings, 651505 edges, 2032 markings/sec, 125 secs
lola: 339251 markings, 668685 edges, 1993 markings/sec, 130 secs
lola: 349773 markings, 685914 edges, 2104 markings/sec, 135 secs
lola: 359870 markings, 702580 edges, 2019 markings/sec, 140 secs
lola: 370892 markings, 725280 edges, 2204 markings/sec, 145 secs
lola: 382705 markings, 752555 edges, 2363 markings/sec, 150 secs
lola: 394660 markings, 779826 edges, 2391 markings/sec, 155 secs
lola: 405875 markings, 805166 edges, 2243 markings/sec, 160 secs
lola: 417131 markings, 830162 edges, 2251 markings/sec, 165 secs
lola: 428260 markings, 854630 edges, 2226 markings/sec, 170 secs
lola: 439718 markings, 881444 edges, 2292 markings/sec, 175 secs
lola: 451380 markings, 909561 edges, 2332 markings/sec, 180 secs
lola: 462912 markings, 939827 edges, 2306 markings/sec, 185 secs
lola: 469566 markings, 950477 edges, 1331 markings/sec, 190 secs
lola: 484314 markings, 987233 edges, 2950 markings/sec, 195 secs
lola: 495628 markings, 1015782 edges, 2263 markings/sec, 200 secs
lola: 507124 markings, 1044945 edges, 2299 markings/sec, 205 secs
lola: 519008 markings, 1075390 edges, 2377 markings/sec, 210 secs
lola: 530012 markings, 1103192 edges, 2201 markings/sec, 215 secs
lola: 540802 markings, 1129839 edges, 2158 markings/sec, 220 secs
lola: 551294 markings, 1156085 edges, 2098 markings/sec, 225 secs
lola: 561960 markings, 1182954 edges, 2133 markings/sec, 230 secs
lola: 575083 markings, 1217307 edges, 2625 markings/sec, 235 secs
lola: 585669 markings, 1243567 edges, 2117 markings/sec, 240 secs
lola: 597457 markings, 1274051 edges, 2358 markings/sec, 245 secs
lola: 608006 markings, 1300184 edges, 2110 markings/sec, 250 secs
lola: 620265 markings, 1331681 edges, 2452 markings/sec, 255 secs
lola: 631793 markings, 1360983 edges, 2306 markings/sec, 260 secs
lola: 643073 markings, 1391283 edges, 2256 markings/sec, 265 secs
lola: 649411 markings, 1409372 edges, 1268 markings/sec, 270 secs
lola: 654813 markings, 1424807 edges, 1080 markings/sec, 275 secs
lola: 660550 markings, 1441429 edges, 1147 markings/sec, 280 secs
lola: 666258 markings, 1457695 edges, 1142 markings/sec, 285 secs
lola: 672440 markings, 1475308 edges, 1236 markings/sec, 290 secs
lola: 679002 markings, 1493905 edges, 1312 markings/sec, 295 secs
lola: 685405 markings, 1511985 edges, 1281 markings/sec, 300 secs
lola: 691566 markings, 1529390 edges, 1232 markings/sec, 305 secs
lola: 698990 markings, 1550867 edges, 1485 markings/sec, 310 secs
lola: 707251 markings, 1574603 edges, 1652 markings/sec, 315 secs
lola: 716574 markings, 1601628 edges, 1865 markings/sec, 320 secs
lola: 725630 markings, 1627870 edges, 1811 markings/sec, 325 secs
lola: 734317 markings, 1652954 edges, 1737 markings/sec, 330 secs
lola: 742540 markings, 1676599 edges, 1645 markings/sec, 335 secs
lola: 751223 markings, 1701881 edges, 1737 markings/sec, 340 secs
lola: 760773 markings, 1729243 edges, 1910 markings/sec, 345 secs
lola: 770177 markings, 1756036 edges, 1881 markings/sec, 350 secs
lola: 779368 markings, 1779229 edges, 1838 markings/sec, 355 secs
lola: 784984 markings, 1788719 edges, 1123 markings/sec, 360 secs
lola: 792624 markings, 1810582 edges, 1528 markings/sec, 365 secs
lola: 800742 markings, 1828600 edges, 1624 markings/sec, 370 secs
lola: 811641 markings, 1857014 edges, 2180 markings/sec, 375 secs
lola: 818387 markings, 1875733 edges, 1349 markings/sec, 380 secs
lola: 827740 markings, 1899481 edges, 1871 markings/sec, 385 secs
lola: 834456 markings, 1917794 edges, 1343 markings/sec, 390 secs
lola: 843360 markings, 1940563 edges, 1781 markings/sec, 395 secs
lola: 850154 markings, 1958896 edges, 1359 markings/sec, 400 secs
lola: 859121 markings, 1981940 edges, 1793 markings/sec, 405 secs
lola: 867169 markings, 2004326 edges, 1610 markings/sec, 410 secs
lola: 874631 markings, 2023453 edges, 1492 markings/sec, 415 secs
lola: 885261 markings, 2051406 edges, 2126 markings/sec, 420 secs
lola: 892070 markings, 2069788 edges, 1362 markings/sec, 425 secs
lola: 900412 markings, 2091431 edges, 1668 markings/sec, 430 secs
lola: 910496 markings, 2117879 edges, 2017 markings/sec, 435 secs
lola: 920156 markings, 2144919 edges, 1932 markings/sec, 440 secs
lola: 926825 markings, 2162021 edges, 1334 markings/sec, 445 secs
lola: 934741 markings, 2181936 edges, 1583 markings/sec, 450 secs
lola: 943889 markings, 2205896 edges, 1830 markings/sec, 455 secs
lola: 952634 markings, 2229853 edges, 1749 markings/sec, 460 secs
lola: 959224 markings, 2247419 edges, 1318 markings/sec, 465 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 471 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p98 + p97 + p96 + p95 + p94 + p93 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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 15 will run for 942 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 12939 markings, 22198 edges, 2588 markings/sec, 0 secs
lola: 25078 markings, 47006 edges, 2428 markings/sec, 5 secs
lola: 38397 markings, 74847 edges, 2664 markings/sec, 10 secs
lola: 51316 markings, 101609 edges, 2584 markings/sec, 15 secs
lola: 63475 markings, 126798 edges, 2432 markings/sec, 20 secs
lola: 75122 markings, 150869 edges, 2329 markings/sec, 25 secs
lola: 88374 markings, 178651 edges, 2650 markings/sec, 30 secs
lola: 100850 markings, 204593 edges, 2495 markings/sec, 35 secs
lola: 115050 markings, 233209 edges, 2840 markings/sec, 40 secs
lola: 124664 markings, 251854 edges, 1923 markings/sec, 45 secs
lola: 136681 markings, 276167 edges, 2403 markings/sec, 50 secs
lola: 147794 markings, 298260 edges, 2223 markings/sec, 55 secs
lola: 158702 markings, 319958 edges, 2182 markings/sec, 60 secs
lola: 169724 markings, 341586 edges, 2204 markings/sec, 65 secs
lola: 179972 markings, 362042 edges, 2050 markings/sec, 70 secs
lola: 192628 markings, 388505 edges, 2531 markings/sec, 75 secs
lola: 203496 markings, 409441 edges, 2174 markings/sec, 80 secs
lola: 212908 markings, 428291 edges, 1882 markings/sec, 85 secs
lola: 222591 markings, 447785 edges, 1937 markings/sec, 90 secs
lola: 234224 markings, 471294 edges, 2327 markings/sec, 95 secs
lola: 245066 markings, 493914 edges, 2168 markings/sec, 100 secs
lola: 254294 markings, 511754 edges, 1846 markings/sec, 105 secs
lola: 264954 markings, 533366 edges, 2132 markings/sec, 110 secs
lola: 276038 markings, 556243 edges, 2217 markings/sec, 115 secs
lola: 286006 markings, 577898 edges, 1994 markings/sec, 120 secs
lola: 297015 markings, 601766 edges, 2202 markings/sec, 125 secs
lola: 310065 markings, 630628 edges, 2610 markings/sec, 130 secs
lola: 320063 markings, 653389 edges, 2000 markings/sec, 135 secs
lola: 328847 markings, 671960 edges, 1757 markings/sec, 140 secs
lola: 340144 markings, 697176 edges, 2259 markings/sec, 145 secs
lola: 351752 markings, 722623 edges, 2322 markings/sec, 150 secs
lola: 360315 markings, 741961 edges, 1713 markings/sec, 155 secs
lola: 369563 markings, 762039 edges, 1850 markings/sec, 160 secs
lola: 380266 markings, 785999 edges, 2141 markings/sec, 165 secs
lola: 391009 markings, 809648 edges, 2149 markings/sec, 170 secs
lola: 401598 markings, 833073 edges, 2118 markings/sec, 175 secs
lola: 411730 markings, 855491 edges, 2026 markings/sec, 180 secs
lola: 421788 markings, 877822 edges, 2012 markings/sec, 185 secs
lola: 431581 markings, 899628 edges, 1959 markings/sec, 190 secs
lola: 441145 markings, 920982 edges, 1913 markings/sec, 195 secs
lola: 450439 markings, 941743 edges, 1859 markings/sec, 200 secs
lola: 459544 markings, 962074 edges, 1821 markings/sec, 205 secs
lola: 468592 markings, 982168 edges, 1810 markings/sec, 210 secs
lola: 480046 markings, 1007619 edges, 2291 markings/sec, 215 secs
lola: 488810 markings, 1027271 edges, 1753 markings/sec, 220 secs
lola: 502053 markings, 1056758 edges, 2649 markings/sec, 225 secs
lola: 510653 markings, 1077817 edges, 1720 markings/sec, 230 secs
lola: 521020 markings, 1102067 edges, 2073 markings/sec, 235 secs
lola: 532025 markings, 1126808 edges, 2201 markings/sec, 240 secs
lola: 544984 markings, 1157390 edges, 2592 markings/sec, 245 secs
lola: 555580 markings, 1182586 edges, 2119 markings/sec, 250 secs
lola: 564648 markings, 1203681 edges, 1814 markings/sec, 255 secs
lola: 577773 markings, 1233829 edges, 2625 markings/sec, 260 secs
lola: 584782 markings, 1250562 edges, 1402 markings/sec, 265 secs
lola: 596690 markings, 1278412 edges, 2382 markings/sec, 270 secs
lola: 603631 markings, 1294953 edges, 1388 markings/sec, 275 secs
lola: 615255 markings, 1322265 edges, 2325 markings/sec, 280 secs
lola: 627434 markings, 1350412 edges, 2436 markings/sec, 285 secs
lola: 633856 markings, 1365788 edges, 1284 markings/sec, 290 secs
lola: 644454 markings, 1390607 edges, 2120 markings/sec, 295 secs
lola: 653096 markings, 1411147 edges, 1728 markings/sec, 300 secs
lola: 661017 markings, 1429781 edges, 1584 markings/sec, 305 secs
lola: 672246 markings, 1455932 edges, 2246 markings/sec, 310 secs
lola: 683102 markings, 1481192 edges, 2171 markings/sec, 315 secs
lola: 691755 markings, 1502197 edges, 1731 markings/sec, 320 secs
lola: 700111 markings, 1521593 edges, 1671 markings/sec, 325 secs
lola: 710280 markings, 1545680 edges, 2034 markings/sec, 330 secs
lola: 720398 markings, 1569439 edges, 2024 markings/sec, 335 secs
lola: 730351 markings, 1592829 edges, 1991 markings/sec, 340 secs
lola: 740118 markings, 1615780 edges, 1953 markings/sec, 345 secs
lola: 749623 markings, 1638222 edges, 1901 markings/sec, 350 secs
lola: 758929 markings, 1660166 edges, 1861 markings/sec, 355 secs
lola: 768085 markings, 1681774 edges, 1831 markings/sec, 360 secs
lola: 778393 markings, 1706047 edges, 2062 markings/sec, 365 secs
lola: 790394 markings, 1735117 edges, 2400 markings/sec, 370 secs
lola: 799322 markings, 1757488 edges, 1786 markings/sec, 375 secs
lola: 809707 markings, 1782553 edges, 2077 markings/sec, 380 secs
lola: 820779 markings, 1809006 edges, 2214 markings/sec, 385 secs
lola: 836030 markings, 1844842 edges, 3050 markings/sec, 390 secs
lola: 842388 markings, 1861113 edges, 1272 markings/sec, 395 secs
lola: 854133 markings, 1889659 edges, 2349 markings/sec, 400 secs
lola: 863243 markings, 1911778 edges, 1822 markings/sec, 405 secs
lola: 873721 markings, 1937300 edges, 2096 markings/sec, 410 secs
lola: 883586 markings, 1961229 edges, 1973 markings/sec, 415 secs
lola: 891614 markings, 1980823 edges, 1606 markings/sec, 420 secs
lola: 903717 markings, 2010193 edges, 2421 markings/sec, 425 secs
lola: 910965 markings, 2028010 edges, 1450 markings/sec, 430 secs
lola: 923480 markings, 2058410 edges, 2503 markings/sec, 435 secs
lola: 933170 markings, 2082059 edges, 1938 markings/sec, 440 secs
lola: 942800 markings, 2105587 edges, 1926 markings/sec, 445 secs
lola: 952881 markings, 2130117 edges, 2016 markings/sec, 450 secs
lola: 961836 markings, 2152113 edges, 1791 markings/sec, 455 secs
lola: 974088 markings, 2181340 edges, 2450 markings/sec, 460 secs
lola: 980693 markings, 2197878 edges, 1321 markings/sec, 465 secs
lola: 992322 markings, 2226052 edges, 2326 markings/sec, 470 secs
lola: 1000670 markings, 2246612 edges, 1670 markings/sec, 475 secs
lola: 1010185 markings, 2269929 edges, 1903 markings/sec, 480 secs
lola: 1021424 markings, 2297021 edges, 2248 markings/sec, 485 secs
lola: 1027764 markings, 2312948 edges, 1268 markings/sec, 490 secs
lola: 1038426 markings, 2338943 edges, 2132 markings/sec, 495 secs
lola: 1049141 markings, 2364870 edges, 2143 markings/sec, 500 secs
lola: 1057589 markings, 2385802 edges, 1690 markings/sec, 505 secs
lola: 1065765 markings, 2405997 edges, 1635 markings/sec, 510 secs
lola: 1075926 markings, 2430568 edges, 2032 markings/sec, 515 secs
lola: 1086036 markings, 2455110 edges, 2022 markings/sec, 520 secs
lola: 1095924 markings, 2479168 edges, 1978 markings/sec, 525 secs
lola: 1105236 markings, 2501838 edges, 1862 markings/sec, 530 secs
lola: 1114224 markings, 2524154 edges, 1798 markings/sec, 535 secs
lola: 1123813 markings, 2547635 edges, 1918 markings/sec, 540 secs
lola: 1136429 markings, 2579195 edges, 2523 markings/sec, 545 secs
lola: 1144299 markings, 2599479 edges, 1574 markings/sec, 550 secs
lola: 1153110 markings, 2621425 edges, 1762 markings/sec, 555 secs
lola: 1162139 markings, 2643735 edges, 1806 markings/sec, 560 secs
lola: 1173506 markings, 2671240 edges, 2273 markings/sec, 565 secs
lola: 1186396 markings, 2702241 edges, 2578 markings/sec, 570 secs
lola: 1196729 markings, 2728223 edges, 2067 markings/sec, 575 secs
lola: 1204243 markings, 2747164 edges, 1503 markings/sec, 580 secs
lola: 1215922 markings, 2775421 edges, 2336 markings/sec, 585 secs
lola: 1224391 markings, 2797657 edges, 1694 markings/sec, 590 secs
lola: 1231604 markings, 2815842 edges, 1443 markings/sec, 595 secs
lola: 1245166 markings, 2849067 edges, 2712 markings/sec, 600 secs
lola: 1251437 markings, 2865654 edges, 1254 markings/sec, 605 secs
lola: 1261900 markings, 2891454 edges, 2093 markings/sec, 610 secs
lola: 1272245 markings, 2917287 edges, 2069 markings/sec, 615 secs
lola: 1279404 markings, 2935425 edges, 1432 markings/sec, 620 secs
lola: 1292634 markings, 2967978 edges, 2646 markings/sec, 625 secs
lola: 1298911 markings, 2984480 edges, 1255 markings/sec, 630 secs
lola: 1309581 markings, 3010797 edges, 2134 markings/sec, 635 secs
lola: 1319166 markings, 3034937 edges, 1917 markings/sec, 640 secs
lola: 1326346 markings, 3053044 edges, 1436 markings/sec, 645 secs
lola: 1339075 markings, 3084632 edges, 2546 markings/sec, 650 secs
lola: 1346072 markings, 3102435 edges, 1399 markings/sec, 655 secs
lola: 1358595 markings, 3133441 edges, 2505 markings/sec, 660 secs
lola: 1365300 markings, 3150503 edges, 1341 markings/sec, 665 secs
lola: 1377470 markings, 3180652 edges, 2434 markings/sec, 670 secs
lola: 1384083 markings, 3197508 edges, 1323 markings/sec, 675 secs
lola: 1396093 markings, 3227328 edges, 2402 markings/sec, 680 secs
lola: 1402802 markings, 3244553 edges, 1342 markings/sec, 685 secs
lola: 1414477 markings, 3273588 edges, 2335 markings/sec, 690 secs
lola: 1423523 markings, 3296282 edges, 1809 markings/sec, 695 secs
lola: 1432604 markings, 3319328 edges, 1816 markings/sec, 700 secs
lola: 1443971 markings, 3347347 edges, 2273 markings/sec, 705 secs
lola: 1450611 markings, 3364475 edges, 1328 markings/sec, 710 secs
lola: 1461616 markings, 3391916 edges, 2201 markings/sec, 715 secs
lola: 1470800 markings, 3415093 edges, 1837 markings/sec, 720 secs
lola: 1479114 markings, 3435918 edges, 1663 markings/sec, 725 secs
lola: 1489559 markings, 3461979 edges, 2089 markings/sec, 730 secs
lola: 1499994 markings, 3487877 edges, 2087 markings/sec, 735 secs
lola: 1507709 markings, 3507475 edges, 1543 markings/sec, 740 secs
lola: 1516108 markings, 3528695 edges, 1680 markings/sec, 745 secs
lola: 1526063 markings, 3553407 edges, 1991 markings/sec, 750 secs
lola: 1539837 markings, 3587691 edges, 2755 markings/sec, 755 secs
lola: 1549250 markings, 3612540 edges, 1883 markings/sec, 760 secs
lola: 1557088 markings, 3633137 edges, 1568 markings/sec, 765 secs
lola: 1565850 markings, 3655276 edges, 1752 markings/sec, 770 secs
lola: 1574575 markings, 3677299 edges, 1745 markings/sec, 775 secs
lola: 1583493 markings, 3699505 edges, 1784 markings/sec, 780 secs
lola: 1594118 markings, 3725800 edges, 2125 markings/sec, 785 secs
lola: 1604663 markings, 3750998 edges, 2109 markings/sec, 790 secs
lola: 1617457 markings, 3783316 edges, 2559 markings/sec, 795 secs
lola: 1623360 markings, 3799246 edges, 1181 markings/sec, 800 secs
lola: 1631214 markings, 3819304 edges, 1571 markings/sec, 805 secs
lola: 1646254 markings, 3856762 edges, 3008 markings/sec, 810 secs
lola: 1652626 markings, 3873832 edges, 1274 markings/sec, 815 secs
lola: 1660369 markings, 3893749 edges, 1549 markings/sec, 820 secs
lola: 1671862 markings, 3922179 edges, 2299 markings/sec, 825 secs
lola: 1681417 markings, 3947373 edges, 1911 markings/sec, 830 secs
lola: 1689014 markings, 3966907 edges, 1519 markings/sec, 835 secs
lola: 1700364 markings, 3994790 edges, 2270 markings/sec, 840 secs
lola: 1709528 markings, 4019238 edges, 1833 markings/sec, 845 secs
lola: 1716918 markings, 4038233 edges, 1478 markings/sec, 850 secs
lola: 1730834 markings, 4072992 edges, 2783 markings/sec, 855 secs
lola: 1737125 markings, 4089794 edges, 1258 markings/sec, 860 secs
lola: 1744387 markings, 4108502 edges, 1452 markings/sec, 865 secs
lola: 1757988 markings, 4142512 edges, 2720 markings/sec, 870 secs
lola: 1764333 markings, 4159502 edges, 1269 markings/sec, 875 secs
lola: 1774367 markings, 4184554 edges, 2007 markings/sec, 880 secs
lola: 1784703 markings, 4210990 edges, 2067 markings/sec, 885 secs
lola: 1791487 markings, 4228569 edges, 1357 markings/sec, 890 secs
lola: 1803736 markings, 4259113 edges, 2450 markings/sec, 895 secs
lola: 1810745 markings, 4277891 edges, 1402 markings/sec, 900 secs
lola: 1820015 markings, 4301220 edges, 1854 markings/sec, 905 secs
lola: 1830082 markings, 4326898 edges, 2013 markings/sec, 910 secs
lola: 1836705 markings, 4344026 edges, 1325 markings/sec, 915 secs
lola: 1849050 markings, 4375070 edges, 2469 markings/sec, 920 secs
lola: 1855073 markings, 4391204 edges, 1205 markings/sec, 925 secs
lola: 1863898 markings, 4413290 edges, 1765 markings/sec, 930 secs
lola: 1872629 markings, 4435808 edges, 1746 markings/sec, 935 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown 50 unknown 1 unknown 1 50 1 unknown unknown unknown unknown 1 unknown 1 unknown
FORMULA BridgeAndVehicles-COL-V50P20N20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N20-UpperBounds-1 50 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N20-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N20-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N20-UpperBounds-6 50 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N20-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N20-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N20-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496344660284

--------------------
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_BridgeAndVehicles-COL-V50P20N20"
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_BridgeAndVehicles-COL-V50P20N20.tgz
mv S_BridgeAndVehicles-COL-V50P20N20 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_BridgeAndVehicles-COL-V50P20N20, 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 r088-csrt-149441074300335"
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 ;