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

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


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ BridgeAndVehicles-COL-V50P20N20 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 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(p74 + p75) : MAX(p137) : MAX(p77) : 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 + p134 + p98 + p97 + p96 + p95 + p94 + p93 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p99) : MAX(p0) : MAX(p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73) : MAX(p137) : MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51) : MAX(p0) : MAX(p136) : MAX(p0) : MAX(p76) : MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51) : MAX(p52) : MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51) : MAX(p82)
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(p74 + p75)
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: 5683 markings, 11461 edges, 1137 markings/sec, 0 secs
lola: 11591 markings, 25292 edges, 1182 markings/sec, 5 secs
lola: 17453 markings, 39954 edges, 1172 markings/sec, 10 secs
lola: 24352 markings, 56561 edges, 1380 markings/sec, 15 secs
lola: 29823 markings, 70426 edges, 1094 markings/sec, 20 secs
lola: 36141 markings, 87016 edges, 1264 markings/sec, 25 secs
lola: 42391 markings, 102342 edges, 1250 markings/sec, 30 secs
lola: 47274 markings, 114616 edges, 977 markings/sec, 35 secs
lola: 52306 markings, 126626 edges, 1006 markings/sec, 40 secs
lola: 56766 markings, 139128 edges, 892 markings/sec, 45 secs
lola: 62468 markings, 154440 edges, 1140 markings/sec, 50 secs
lola: 68276 markings, 170283 edges, 1162 markings/sec, 55 secs
lola: 75027 markings, 186427 edges, 1350 markings/sec, 60 secs
lola: 80645 markings, 201270 edges, 1124 markings/sec, 65 secs
lola: 85912 markings, 215174 edges, 1053 markings/sec, 70 secs
lola: 91921 markings, 230110 edges, 1202 markings/sec, 75 secs
lola: 97642 markings, 244705 edges, 1144 markings/sec, 80 secs
lola: 102464 markings, 258367 edges, 964 markings/sec, 85 secs
lola: 108161 markings, 273424 edges, 1139 markings/sec, 90 secs
lola: 113724 markings, 289548 edges, 1113 markings/sec, 95 secs
lola: 119333 markings, 305348 edges, 1122 markings/sec, 100 secs
lola: 125392 markings, 321146 edges, 1212 markings/sec, 105 secs
lola: 131848 markings, 336913 edges, 1291 markings/sec, 110 secs
lola: 137616 markings, 352391 edges, 1154 markings/sec, 115 secs
lola: 143425 markings, 367832 edges, 1162 markings/sec, 120 secs
lola: 148476 markings, 380851 edges, 1010 markings/sec, 125 secs
lola: 153062 markings, 392988 edges, 917 markings/sec, 130 secs
lola: 157810 markings, 405225 edges, 950 markings/sec, 135 secs
lola: 163566 markings, 419787 edges, 1151 markings/sec, 140 secs
lola: 169564 markings, 434924 edges, 1200 markings/sec, 145 secs
lola: 174092 markings, 448920 edges, 906 markings/sec, 150 secs
lola: 179877 markings, 464089 edges, 1157 markings/sec, 155 secs
lola: 184661 markings, 476879 edges, 957 markings/sec, 160 secs
lola: 189332 markings, 490510 edges, 934 markings/sec, 165 secs
lola: 193322 markings, 502615 edges, 798 markings/sec, 170 secs
lola: 198849 markings, 518722 edges, 1105 markings/sec, 175 secs
lola: 204734 markings, 535314 edges, 1177 markings/sec, 180 secs
lola: 210364 markings, 550795 edges, 1126 markings/sec, 185 secs
lola: 216865 markings, 567248 edges, 1300 markings/sec, 190 secs
lola: 223548 markings, 583706 edges, 1337 markings/sec, 195 secs
lola: 229388 markings, 599276 edges, 1168 markings/sec, 200 secs
lola: 235125 markings, 614799 edges, 1147 markings/sec, 205 secs
lola: 240120 markings, 628249 edges, 999 markings/sec, 210 secs
lola: 244921 markings, 641334 edges, 960 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(p137)
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(p77)
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: 25880 markings, 45245 edges, 5176 markings/sec, 0 secs
lola: 53250 markings, 93230 edges, 5474 markings/sec, 5 secs
lola: 81585 markings, 142684 edges, 5667 markings/sec, 10 secs
lola: 111196 markings, 196061 edges, 5922 markings/sec, 15 secs
lola: 137275 markings, 237402 edges, 5216 markings/sec, 20 secs
lola: 161643 markings, 277419 edges, 4874 markings/sec, 25 secs
lola: 184721 markings, 315116 edges, 4616 markings/sec, 30 secs
lola: 207231 markings, 351534 edges, 4502 markings/sec, 35 secs
lola: 231721 markings, 392618 edges, 4898 markings/sec, 40 secs
lola: 254982 markings, 430969 edges, 4652 markings/sec, 45 secs
lola: 279336 markings, 471590 edges, 4871 markings/sec, 50 secs
lola: 310335 markings, 528281 edges, 6200 markings/sec, 55 secs
lola: 345365 markings, 598801 edges, 7006 markings/sec, 60 secs
lola: 385798 markings, 683043 edges, 8087 markings/sec, 65 secs
lola: 425303 markings, 765380 edges, 7901 markings/sec, 70 secs
lola: 465238 markings, 850412 edges, 7987 markings/sec, 75 secs
lola: 507582 markings, 939507 edges, 8469 markings/sec, 80 secs
lola: 550139 markings, 1028846 edges, 8511 markings/sec, 85 secs
lola: 592313 markings, 1117922 edges, 8435 markings/sec, 90 secs
lola: 633397 markings, 1204086 edges, 8217 markings/sec, 95 secs
lola: 674140 markings, 1289612 edges, 8149 markings/sec, 100 secs
lola: 714475 markings, 1374454 edges, 8067 markings/sec, 105 secs
lola: 755885 markings, 1461682 edges, 8282 markings/sec, 110 secs
lola: 796288 markings, 1546551 edges, 8081 markings/sec, 115 secs
lola: 836157 markings, 1630483 edges, 7974 markings/sec, 120 secs
lola: 876007 markings, 1713291 edges, 7970 markings/sec, 125 secs
lola: 918333 markings, 1802631 edges, 8465 markings/sec, 130 secs
lola: 955658 markings, 1880459 edges, 7465 markings/sec, 135 secs
lola: 996563 markings, 1966589 edges, 8181 markings/sec, 140 secs
lola: 1035120 markings, 2046851 edges, 7711 markings/sec, 145 secs
lola: 1074518 markings, 2138442 edges, 7880 markings/sec, 150 secs
lola: 1103883 markings, 2205248 edges, 5873 markings/sec, 155 secs
lola: 1137422 markings, 2282671 edges, 6708 markings/sec, 160 secs
lola: 1177279 markings, 2379858 edges, 7971 markings/sec, 165 secs
lola: 1214973 markings, 2472246 edges, 7539 markings/sec, 170 secs
lola: 1253596 markings, 2566547 edges, 7725 markings/sec, 175 secs
lola: 1289077 markings, 2653613 edges, 7096 markings/sec, 180 secs
lola: 1326148 markings, 2743370 edges, 7414 markings/sec, 185 secs
lola: 1360689 markings, 2828206 edges, 6908 markings/sec, 190 secs
lola: 1397138 markings, 2917490 edges, 7290 markings/sec, 195 secs
lola: 1431688 markings, 2999974 edges, 6910 markings/sec, 200 secs
lola: 1472953 markings, 3103501 edges, 8253 markings/sec, 205 secs
lola: 1509402 markings, 3190086 edges, 7290 markings/sec, 210 secs
lola: 1548117 markings, 3287613 edges, 7743 markings/sec, 215 secs
lola: 1585295 markings, 3376995 edges, 7436 markings/sec, 220 secs
lola: 1620091 markings, 3460261 edges, 6959 markings/sec, 225 secs
lola: 1659223 markings, 3558610 edges, 7826 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(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 + p134 + p98 + p97 + p96 + p95 + p94 + p93 + 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 4 will run for 256 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: 24408 markings, 41233 edges, 4882 markings/sec, 0 secs
lola: 52694 markings, 92571 edges, 5657 markings/sec, 5 secs
lola: 79301 markings, 139520 edges, 5321 markings/sec, 10 secs
lola: 105213 markings, 184778 edges, 5182 markings/sec, 15 secs
lola: 131069 markings, 229062 edges, 5171 markings/sec, 20 secs
lola: 151344 markings, 264615 edges, 4055 markings/sec, 25 secs
lola: 174840 markings, 304719 edges, 4699 markings/sec, 30 secs
lola: 198422 markings, 344514 edges, 4716 markings/sec, 35 secs
lola: 221385 markings, 383631 edges, 4593 markings/sec, 40 secs
lola: 244488 markings, 422009 edges, 4621 markings/sec, 45 secs
lola: 266748 markings, 459416 edges, 4452 markings/sec, 50 secs
lola: 289148 markings, 497288 edges, 4480 markings/sec, 55 secs
lola: 312350 markings, 537818 edges, 4640 markings/sec, 60 secs
lola: 342108 markings, 594814 edges, 5952 markings/sec, 65 secs
lola: 368676 markings, 649489 edges, 5314 markings/sec, 70 secs
lola: 397111 markings, 708601 edges, 5687 markings/sec, 75 secs
lola: 431186 markings, 781073 edges, 6815 markings/sec, 80 secs
lola: 466336 markings, 854774 edges, 7030 markings/sec, 85 secs
lola: 508529 markings, 945341 edges, 8439 markings/sec, 90 secs
lola: 545561 markings, 1023034 edges, 7406 markings/sec, 95 secs
lola: 582391 markings, 1100831 edges, 7366 markings/sec, 100 secs
lola: 619036 markings, 1178269 edges, 7329 markings/sec, 105 secs
lola: 658252 markings, 1261778 edges, 7843 markings/sec, 110 secs
lola: 698565 markings, 1347248 edges, 8063 markings/sec, 115 secs
lola: 736117 markings, 1426685 edges, 7510 markings/sec, 120 secs
lola: 773928 markings, 1507104 edges, 7562 markings/sec, 125 secs
lola: 810479 markings, 1584256 edges, 7310 markings/sec, 130 secs
lola: 847141 markings, 1661842 edges, 7332 markings/sec, 135 secs
lola: 883766 markings, 1739319 edges, 7325 markings/sec, 140 secs
lola: 921995 markings, 1820548 edges, 7646 markings/sec, 145 secs
lola: 957830 markings, 1896128 edges, 7167 markings/sec, 150 secs
lola: 991716 markings, 1967587 edges, 6777 markings/sec, 155 secs
lola: 1026791 markings, 2041547 edges, 7015 markings/sec, 160 secs
lola: 1063560 markings, 2119587 edges, 7354 markings/sec, 165 secs
lola: 1095893 markings, 2187508 edges, 6467 markings/sec, 170 secs
lola: 1131877 markings, 2267649 edges, 7197 markings/sec, 175 secs
lola: 1169196 markings, 2360928 edges, 7464 markings/sec, 180 secs
lola: 1182799 markings, 2389026 edges, 2721 markings/sec, 185 secs
lola: 1208123 markings, 2447492 edges, 5065 markings/sec, 190 secs
lola: 1229272 markings, 2496617 edges, 4230 markings/sec, 195 secs
lola: 1265773 markings, 2586483 edges, 7300 markings/sec, 200 secs
lola: 1304085 markings, 2682060 edges, 7662 markings/sec, 205 secs
lola: 1336749 markings, 2759203 edges, 6533 markings/sec, 210 secs
lola: 1377542 markings, 2862355 edges, 8159 markings/sec, 215 secs
lola: 1408083 markings, 2934548 edges, 6108 markings/sec, 220 secs
lola: 1447909 markings, 3034822 edges, 7965 markings/sec, 225 secs
lola: 1477756 markings, 3104888 edges, 5969 markings/sec, 230 secs
lola: 1517175 markings, 3204327 edges, 7884 markings/sec, 235 secs
lola: 1546957 markings, 3275101 edges, 5956 markings/sec, 240 secs
lola: 1585474 markings, 3372067 edges, 7703 markings/sec, 245 secs
lola: 1617482 markings, 3448037 edges, 6402 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(p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73)
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(p137)
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(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51)
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(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: 26326 markings, 45066 edges, 5265 markings/sec, 0 secs
lola: 54975 markings, 95643 edges, 5730 markings/sec, 5 secs
lola: 82970 markings, 145122 edges, 5599 markings/sec, 10 secs
lola: 111021 markings, 195320 edges, 5610 markings/sec, 15 secs
lola: 135373 markings, 235216 edges, 4870 markings/sec, 20 secs
lola: 156957 markings, 272184 edges, 4317 markings/sec, 25 secs
lola: 181320 markings, 313968 edges, 4873 markings/sec, 30 secs
lola: 205082 markings, 354268 edges, 4752 markings/sec, 35 secs
lola: 229222 markings, 395582 edges, 4828 markings/sec, 40 secs
lola: 252819 markings, 436536 edges, 4719 markings/sec, 45 secs
lola: 276468 markings, 476806 edges, 4730 markings/sec, 50 secs
lola: 299174 markings, 515419 edges, 4541 markings/sec, 55 secs
lola: 321396 markings, 552545 edges, 4444 markings/sec, 60 secs
lola: 360570 markings, 634207 edges, 7835 markings/sec, 65 secs
lola: 383036 markings, 678607 edges, 4493 markings/sec, 70 secs
lola: 408436 markings, 732214 edges, 5080 markings/sec, 75 secs
lola: 448519 markings, 817697 edges, 8017 markings/sec, 80 secs
lola: 483181 markings, 891084 edges, 6932 markings/sec, 85 secs
lola: 516454 markings, 961058 edges, 6655 markings/sec, 90 secs
lola: 556970 markings, 1047428 edges, 8103 markings/sec, 95 secs
lola: 593142 markings, 1124220 edges, 7234 markings/sec, 100 secs
lola: 628811 markings, 1199073 edges, 7134 markings/sec, 105 secs
lola: 665223 markings, 1276132 edges, 7282 markings/sec, 110 secs
lola: 703998 markings, 1358858 edges, 7755 markings/sec, 115 secs
lola: 744896 markings, 1445873 edges, 8180 markings/sec, 120 secs
lola: 780080 markings, 1519806 edges, 7037 markings/sec, 125 secs
lola: 814758 markings, 1593315 edges, 6936 markings/sec, 130 secs
lola: 849575 markings, 1667097 edges, 6963 markings/sec, 135 secs
lola: 883364 markings, 1738555 edges, 6758 markings/sec, 140 secs
lola: 917518 markings, 1810831 edges, 6831 markings/sec, 145 secs
lola: 951935 markings, 1883713 edges, 6883 markings/sec, 150 secs
lola: 986666 markings, 1957078 edges, 6946 markings/sec, 155 secs
lola: 1020042 markings, 2027611 edges, 6675 markings/sec, 160 secs
lola: 1056635 markings, 2104625 edges, 7319 markings/sec, 165 secs
lola: 1090179 markings, 2175711 edges, 6709 markings/sec, 170 secs
lola: 1118904 markings, 2236238 edges, 5745 markings/sec, 175 secs
lola: 1159794 markings, 2337655 edges, 8178 markings/sec, 180 secs
lola: 1177988 markings, 2378987 edges, 3639 markings/sec, 185 secs
lola: 1194963 markings, 2415052 edges, 3395 markings/sec, 190 secs
lola: 1225514 markings, 2488179 edges, 6110 markings/sec, 195 secs
lola: 1254901 markings, 2558676 edges, 5877 markings/sec, 200 secs
lola: 1296991 markings, 2664638 edges, 8418 markings/sec, 205 secs
lola: 1328536 markings, 2739109 edges, 6309 markings/sec, 210 secs
lola: 1370705 markings, 2844803 edges, 8434 markings/sec, 215 secs
lola: 1402307 markings, 2919919 edges, 6320 markings/sec, 220 secs
lola: 1444679 markings, 3026635 edges, 8474 markings/sec, 225 secs
lola: 1475846 markings, 3100321 edges, 6233 markings/sec, 230 secs
lola: 1516451 markings, 3202563 edges, 8121 markings/sec, 235 secs
lola: 1546793 markings, 3274759 edges, 6068 markings/sec, 240 secs
lola: 1586868 markings, 3375565 edges, 8015 markings/sec, 245 secs
lola: 1617590 markings, 3448280 edges, 6144 markings/sec, 250 secs
lola: 1657375 markings, 3548761 edges, 7957 markings/sec, 255 secs
lola: 1689032 markings, 3624449 edges, 6331 markings/sec, 260 secs
lola: 1725899 markings, 3715616 edges, 7373 markings/sec, 265 secs
lola: 1760438 markings, 3800320 edges, 6908 markings/sec, 270 secs
lola: 1791092 markings, 3874067 edges, 6131 markings/sec, 275 secs
lola: 1831597 markings, 3975613 edges, 8101 markings/sec, 280 secs
lola: 1863351 markings, 4051934 edges, 6351 markings/sec, 285 secs
lola: 1895811 markings, 4131765 edges, 6492 markings/sec, 290 secs
lola: 1933386 markings, 4224825 edges, 7515 markings/sec, 295 secs
lola: 1965077 markings, 4301119 edges, 6338 markings/sec, 300 secs
lola: 1995189 markings, 4374347 edges, 6022 markings/sec, 305 secs
lola: 2034335 markings, 4471789 edges, 7829 markings/sec, 310 secs
lola: 2066582 markings, 4550538 edges, 6449 markings/sec, 315 secs
lola: 2097326 markings, 4624389 edges, 6149 markings/sec, 320 secs
lola: 2128562 markings, 4699812 edges, 6247 markings/sec, 325 secs
lola: 2160148 markings, 4777073 edges, 6317 markings/sec, 330 secs
lola: 2193465 markings, 4858953 edges, 6663 markings/sec, 335 secs
lola: 2226115 markings, 4938472 edges, 6530 markings/sec, 340 secs
lola: 2257512 markings, 5015035 edges, 6279 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(p136)
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: 5697 markings, 9262 edges, 1139 markings/sec, 0 secs
lola: 11004 markings, 17371 edges, 1061 markings/sec, 5 secs
lola: 16425 markings, 25703 edges, 1084 markings/sec, 10 secs
lola: 21898 markings, 34173 edges, 1095 markings/sec, 15 secs
lola: 27464 markings, 42741 edges, 1113 markings/sec, 20 secs
lola: 33042 markings, 51488 edges, 1116 markings/sec, 25 secs
lola: 38530 markings, 60075 edges, 1098 markings/sec, 30 secs
lola: 43940 markings, 68518 edges, 1082 markings/sec, 35 secs
lola: 49422 markings, 77018 edges, 1096 markings/sec, 40 secs
lola: 54849 markings, 85404 edges, 1085 markings/sec, 45 secs
lola: 60310 markings, 93797 edges, 1092 markings/sec, 50 secs
lola: 65732 markings, 102229 edges, 1084 markings/sec, 55 secs
lola: 71237 markings, 110855 edges, 1101 markings/sec, 60 secs
lola: 76820 markings, 119628 edges, 1117 markings/sec, 65 secs
lola: 82274 markings, 128042 edges, 1091 markings/sec, 70 secs
lola: 87593 markings, 136251 edges, 1064 markings/sec, 75 secs
lola: 93006 markings, 144786 edges, 1083 markings/sec, 80 secs
lola: 98132 markings, 152601 edges, 1025 markings/sec, 85 secs
lola: 103396 markings, 160848 edges, 1053 markings/sec, 90 secs
lola: 108491 markings, 169929 edges, 1019 markings/sec, 95 secs
lola: 113696 markings, 179613 edges, 1041 markings/sec, 100 secs
lola: 118857 markings, 189089 edges, 1032 markings/sec, 105 secs
lola: 124643 markings, 197021 edges, 1157 markings/sec, 110 secs
lola: 135989 markings, 217213 edges, 2269 markings/sec, 115 secs
lola: 148209 markings, 239655 edges, 2444 markings/sec, 120 secs
lola: 161947 markings, 264830 edges, 2748 markings/sec, 125 secs
lola: 173484 markings, 285799 edges, 2307 markings/sec, 130 secs
lola: 184096 markings, 304237 edges, 2122 markings/sec, 135 secs
lola: 197190 markings, 328601 edges, 2619 markings/sec, 140 secs
lola: 208017 markings, 347873 edges, 2165 markings/sec, 145 secs
lola: 218228 markings, 365879 edges, 2042 markings/sec, 150 secs
lola: 230221 markings, 387914 edges, 2399 markings/sec, 155 secs
lola: 241665 markings, 408476 edges, 2289 markings/sec, 160 secs
lola: 252073 markings, 427049 edges, 2082 markings/sec, 165 secs
lola: 262734 markings, 445952 edges, 2132 markings/sec, 170 secs
lola: 274844 markings, 468518 edges, 2422 markings/sec, 175 secs
lola: 281831 markings, 484986 edges, 1397 markings/sec, 180 secs
lola: 286455 markings, 494911 edges, 925 markings/sec, 185 secs
lola: 291171 markings, 505787 edges, 943 markings/sec, 190 secs
lola: 295672 markings, 516124 edges, 900 markings/sec, 195 secs
lola: 300187 markings, 526461 edges, 903 markings/sec, 200 secs
lola: 304945 markings, 537417 edges, 952 markings/sec, 205 secs
lola: 309711 markings, 548448 edges, 953 markings/sec, 210 secs
lola: 315511 markings, 562058 edges, 1160 markings/sec, 215 secs
lola: 320930 markings, 574526 edges, 1084 markings/sec, 220 secs
lola: 325687 markings, 585425 edges, 951 markings/sec, 225 secs
lola: 330449 markings, 596326 edges, 952 markings/sec, 230 secs
lola: 335201 markings, 607195 edges, 950 markings/sec, 235 secs
lola: 339941 markings, 618113 edges, 948 markings/sec, 240 secs
lola: 344679 markings, 629081 edges, 948 markings/sec, 245 secs
lola: 350239 markings, 641740 edges, 1112 markings/sec, 250 secs
lola: 355998 markings, 655390 edges, 1152 markings/sec, 255 secs
lola: 360959 markings, 666773 edges, 992 markings/sec, 260 secs
lola: 365843 markings, 677946 edges, 977 markings/sec, 265 secs
lola: 370779 markings, 689313 edges, 987 markings/sec, 270 secs
lola: 375737 markings, 700710 edges, 992 markings/sec, 275 secs
lola: 380201 markings, 711050 edges, 893 markings/sec, 280 secs
lola: 385675 markings, 723843 edges, 1095 markings/sec, 285 secs
lola: 390735 markings, 735505 edges, 1012 markings/sec, 290 secs
lola: 395459 markings, 746325 edges, 945 markings/sec, 295 secs
lola: 400226 markings, 757231 edges, 953 markings/sec, 300 secs
lola: 404930 markings, 768072 edges, 941 markings/sec, 305 secs
lola: 409606 markings, 778831 edges, 935 markings/sec, 310 secs
lola: 414084 markings, 789199 edges, 896 markings/sec, 315 secs
lola: 419583 markings, 802172 edges, 1100 markings/sec, 320 secs
lola: 424664 markings, 813716 edges, 1016 markings/sec, 325 secs
lola: 429613 markings, 825038 edges, 990 markings/sec, 330 secs
lola: 434309 markings, 835871 edges, 939 markings/sec, 335 secs
lola: 438890 markings, 846344 edges, 916 markings/sec, 340 secs
lola: 443530 markings, 857094 edges, 928 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(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: 23919 markings, 40581 edges, 4784 markings/sec, 0 secs
lola: 49985 markings, 86870 edges, 5213 markings/sec, 5 secs
lola: 75762 markings, 132207 edges, 5155 markings/sec, 10 secs
lola: 103106 markings, 180762 edges, 5469 markings/sec, 15 secs
lola: 130083 markings, 227748 edges, 5395 markings/sec, 20 secs
lola: 151185 markings, 264403 edges, 4220 markings/sec, 25 secs
lola: 175042 markings, 305111 edges, 4771 markings/sec, 30 secs
lola: 199060 markings, 345753 edges, 4804 markings/sec, 35 secs
lola: 223006 markings, 386047 edges, 4789 markings/sec, 40 secs
lola: 246109 markings, 424175 edges, 4621 markings/sec, 45 secs
lola: 269813 markings, 465601 edges, 4741 markings/sec, 50 secs
lola: 293272 markings, 505447 edges, 4692 markings/sec, 55 secs
lola: 316650 markings, 544158 edges, 4676 markings/sec, 60 secs
lola: 354029 markings, 620359 edges, 7476 markings/sec, 65 secs
lola: 374233 markings, 660051 edges, 4041 markings/sec, 70 secs
lola: 400666 markings, 716470 edges, 5287 markings/sec, 75 secs
lola: 438903 markings, 797081 edges, 7647 markings/sec, 80 secs
lola: 474652 markings, 872614 edges, 7150 markings/sec, 85 secs
lola: 511557 markings, 951332 edges, 7381 markings/sec, 90 secs
lola: 555670 markings, 1044721 edges, 8823 markings/sec, 95 secs
lola: 593133 markings, 1124208 edges, 7493 markings/sec, 100 secs
lola: 630414 markings, 1202669 edges, 7456 markings/sec, 105 secs
lola: 666571 markings, 1278978 edges, 7231 markings/sec, 110 secs
lola: 703460 markings, 1357451 edges, 7378 markings/sec, 115 secs
lola: 740823 markings, 1436732 edges, 7473 markings/sec, 120 secs
lola: 775998 markings, 1511144 edges, 7035 markings/sec, 125 secs
lola: 811336 markings, 1586177 edges, 7068 markings/sec, 130 secs
lola: 845565 markings, 1658350 edges, 6846 markings/sec, 135 secs
lola: 884454 markings, 1740867 edges, 7778 markings/sec, 140 secs
lola: 922397 markings, 1821240 edges, 7589 markings/sec, 145 secs
lola: 959107 markings, 1898874 edges, 7342 markings/sec, 150 secs
lola: 992613 markings, 1969787 edges, 6701 markings/sec, 155 secs
lola: 1029759 markings, 2047815 edges, 7429 markings/sec, 160 secs
lola: 1066348 markings, 2125404 edges, 7318 markings/sec, 165 secs
lola: 1100298 markings, 2196806 edges, 6790 markings/sec, 170 secs
lola: 1137017 markings, 2280847 edges, 7344 markings/sec, 175 secs
lola: 1170713 markings, 2364035 edges, 6739 markings/sec, 180 secs
lola: 1183458 markings, 2390305 edges, 2549 markings/sec, 185 secs
lola: 1207435 markings, 2445944 edges, 4795 markings/sec, 190 secs
lola: 1228261 markings, 2494366 edges, 4165 markings/sec, 195 secs
lola: 1259810 markings, 2570624 edges, 6310 markings/sec, 200 secs
lola: 1299118 markings, 2670123 edges, 7862 markings/sec, 205 secs
lola: 1330928 markings, 2745037 edges, 6362 markings/sec, 210 secs
lola: 1373132 markings, 2851302 edges, 8441 markings/sec, 215 secs
lola: 1405278 markings, 2927495 edges, 6429 markings/sec, 220 secs
lola: 1446427 markings, 3030969 edges, 8230 markings/sec, 225 secs
lola: 1476803 markings, 3102750 edges, 6075 markings/sec, 230 secs
lola: 1518707 markings, 3208174 edges, 8381 markings/sec, 235 secs
lola: 1547065 markings, 3275341 edges, 5672 markings/sec, 240 secs
lola: 1585352 markings, 3371646 edges, 7657 markings/sec, 245 secs
lola: 1613202 markings, 3437309 edges, 5570 markings/sec, 250 secs
lola: 1654604 markings, 3541606 edges, 8280 markings/sec, 255 secs
lola: 1687303 markings, 3619627 edges, 6540 markings/sec, 260 secs
lola: 1725238 markings, 3714472 edges, 7587 markings/sec, 265 secs
lola: 1758116 markings, 3794030 edges, 6576 markings/sec, 270 secs
lola: 1787808 markings, 3866791 edges, 5938 markings/sec, 275 secs
lola: 1825723 markings, 3961129 edges, 7583 markings/sec, 280 secs
lola: 1854156 markings, 4028742 edges, 5687 markings/sec, 285 secs
lola: 1891610 markings, 4122684 edges, 7491 markings/sec, 290 secs
lola: 1925756 markings, 4205369 edges, 6829 markings/sec, 295 secs
lola: 1956542 markings, 4279599 edges, 6157 markings/sec, 300 secs
lola: 1992435 markings, 4368287 edges, 7179 markings/sec, 305 secs
lola: 2026659 markings, 4453311 edges, 6845 markings/sec, 310 secs
lola: 2058209 markings, 4529134 edges, 6310 markings/sec, 315 secs
lola: 2088583 markings, 4602288 edges, 6075 markings/sec, 320 secs
lola: 2120439 markings, 4680927 edges, 6371 markings/sec, 325 secs
lola: 2155207 markings, 4766634 edges, 6954 markings/sec, 330 secs
lola: 2185659 markings, 4841355 edges, 6090 markings/sec, 335 secs
lola: 2216057 markings, 4914534 edges, 6080 markings/sec, 340 secs
lola: 2248813 markings, 4994790 edges, 6551 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(p76)
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: 18220 markings, 32517 edges, 3644 markings/sec, 0 secs
lola: 36051 markings, 70264 edges, 3566 markings/sec, 5 secs
lola: 53597 markings, 108404 edges, 3509 markings/sec, 10 secs
lola: 71824 markings, 148755 edges, 3645 markings/sec, 15 secs
lola: 90734 markings, 190884 edges, 3782 markings/sec, 20 secs
lola: 111744 markings, 243206 edges, 4202 markings/sec, 25 secs
lola: 130595 markings, 284534 edges, 3770 markings/sec, 30 secs
lola: 150538 markings, 335357 edges, 3989 markings/sec, 35 secs
lola: 171604 markings, 383364 edges, 4213 markings/sec, 40 secs
lola: 194504 markings, 442335 edges, 4580 markings/sec, 45 secs
lola: 216607 markings, 492134 edges, 4421 markings/sec, 50 secs
lola: 240204 markings, 553311 edges, 4719 markings/sec, 55 secs
lola: 262283 markings, 606029 edges, 4416 markings/sec, 60 secs
lola: 286132 markings, 664850 edges, 4770 markings/sec, 65 secs
lola: 310107 markings, 728546 edges, 4795 markings/sec, 70 secs
lola: 333168 markings, 782917 edges, 4612 markings/sec, 75 secs
lola: 358051 markings, 845884 edges, 4977 markings/sec, 80 secs
lola: 382700 markings, 911307 edges, 4930 markings/sec, 85 secs
lola: 406311 markings, 969415 edges, 4722 markings/sec, 90 secs
lola: 433340 markings, 1037381 edges, 5406 markings/sec, 95 secs
lola: 458117 markings, 1102959 edges, 4955 markings/sec, 100 secs
lola: 482724 markings, 1170130 edges, 4921 markings/sec, 105 secs
lola: 507247 markings, 1225647 edges, 4905 markings/sec, 110 secs
lola: 533008 markings, 1291823 edges, 5152 markings/sec, 115 secs
lola: 560623 markings, 1368708 edges, 5523 markings/sec, 120 secs
lola: 585782 markings, 1437103 edges, 5032 markings/sec, 125 secs
lola: 611054 markings, 1494785 edges, 5054 markings/sec, 130 secs
lola: 638599 markings, 1566628 edges, 5509 markings/sec, 135 secs
lola: 663718 markings, 1632810 edges, 5024 markings/sec, 140 secs
lola: 690502 markings, 1707550 edges, 5357 markings/sec, 145 secs
lola: 715301 markings, 1772898 edges, 4960 markings/sec, 150 secs
lola: 743717 markings, 1839642 edges, 5683 markings/sec, 155 secs
lola: 769833 markings, 1907757 edges, 5223 markings/sec, 160 secs
lola: 797230 markings, 1983412 edges, 5479 markings/sec, 165 secs
lola: 824534 markings, 2060280 edges, 5461 markings/sec, 170 secs
lola: 849527 markings, 2127715 edges, 4999 markings/sec, 175 secs
lola: 875251 markings, 2184550 edges, 5145 markings/sec, 180 secs
lola: 905093 markings, 2264060 edges, 5968 markings/sec, 185 secs
lola: 932047 markings, 2336780 edges, 5391 markings/sec, 190 secs
lola: 960386 markings, 2415688 edges, 5668 markings/sec, 195 secs
lola: 989452 markings, 2500241 edges, 5813 markings/sec, 200 secs
lola: 1013564 markings, 2553901 edges, 4822 markings/sec, 205 secs
lola: 1043103 markings, 2627575 edges, 5908 markings/sec, 210 secs
lola: 1070060 markings, 2699226 edges, 5391 markings/sec, 215 secs
lola: 1098724 markings, 2777036 edges, 5733 markings/sec, 220 secs
lola: 1127553 markings, 2859447 edges, 5766 markings/sec, 225 secs
lola: 1157571 markings, 2946890 edges, 6004 markings/sec, 230 secs
lola: 1179126 markings, 2995304 edges, 4311 markings/sec, 235 secs
lola: 1205624 markings, 3057227 edges, 5300 markings/sec, 240 secs
lola: 1232900 markings, 3129530 edges, 5455 markings/sec, 245 secs
lola: 1259223 markings, 3200898 edges, 5265 markings/sec, 250 secs
lola: 1288055 markings, 3281149 edges, 5766 markings/sec, 255 secs
lola: 1316198 markings, 3359403 edges, 5629 markings/sec, 260 secs
lola: 1345665 markings, 3444754 edges, 5893 markings/sec, 265 secs
lola: 1371890 markings, 3504970 edges, 5245 markings/sec, 270 secs
lola: 1401901 markings, 3578279 edges, 6002 markings/sec, 275 secs
lola: 1433050 markings, 3662250 edges, 6230 markings/sec, 280 secs
lola: 1461461 markings, 3740059 edges, 5682 markings/sec, 285 secs
lola: 1490777 markings, 3821635 edges, 5863 markings/sec, 290 secs
lola: 1516952 markings, 3893545 edges, 5235 markings/sec, 295 secs
lola: 1547429 markings, 3984050 edges, 6095 markings/sec, 300 secs
lola: 1568539 markings, 4033189 edges, 4222 markings/sec, 305 secs
lola: 1598261 markings, 4101704 edges, 5944 markings/sec, 310 secs
lola: 1624252 markings, 4168071 edges, 5198 markings/sec, 315 secs
lola: 1651872 markings, 4244041 edges, 5524 markings/sec, 320 secs
lola: 1680289 markings, 4324612 edges, 5683 markings/sec, 325 secs
lola: 1704005 markings, 4388967 edges, 4743 markings/sec, 330 secs
lola: 1729614 markings, 4460536 edges, 5122 markings/sec, 335 secs
lola: 1759099 markings, 4546791 edges, 5897 markings/sec, 340 secs
lola: 1784613 markings, 4615640 edges, 5103 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(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51)
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(p52)
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: 74440 markings, 95261 edges, 14888 markings/sec, 0 secs
lola: 143104 markings, 183917 edges, 13733 markings/sec, 5 secs
lola: 159192 markings, 210618 edges, 3218 markings/sec, 10 secs
lola: 168936 markings, 229639 edges, 1949 markings/sec, 15 secs
lola: 178678 markings, 248606 edges, 1948 markings/sec, 20 secs
lola: 188380 markings, 267317 edges, 1940 markings/sec, 25 secs
lola: 199338 markings, 286897 edges, 2192 markings/sec, 30 secs
lola: 208910 markings, 305067 edges, 1914 markings/sec, 35 secs
lola: 217974 markings, 322745 edges, 1813 markings/sec, 40 secs
lola: 226800 markings, 339857 edges, 1765 markings/sec, 45 secs
lola: 237258 markings, 358671 edges, 2092 markings/sec, 50 secs
lola: 245994 markings, 374912 edges, 1747 markings/sec, 55 secs
lola: 254692 markings, 391861 edges, 1740 markings/sec, 60 secs
lola: 264168 markings, 410273 edges, 1895 markings/sec, 65 secs
lola: 273868 markings, 428513 edges, 1940 markings/sec, 70 secs
lola: 284876 markings, 448262 edges, 2202 markings/sec, 75 secs
lola: 294142 markings, 466352 edges, 1853 markings/sec, 80 secs
lola: 303696 markings, 484930 edges, 1911 markings/sec, 85 secs
lola: 313022 markings, 502579 edges, 1865 markings/sec, 90 secs
lola: 323066 markings, 520335 edges, 2009 markings/sec, 95 secs
lola: 331774 markings, 537313 edges, 1742 markings/sec, 100 secs
lola: 340522 markings, 554328 edges, 1750 markings/sec, 105 secs
lola: 349984 markings, 572480 edges, 1892 markings/sec, 110 secs
lola: 360830 markings, 591577 edges, 2169 markings/sec, 115 secs
lola: 369830 markings, 609147 edges, 1800 markings/sec, 120 secs
lola: 379530 markings, 627975 edges, 1940 markings/sec, 125 secs
lola: 389354 markings, 646229 edges, 1965 markings/sec, 130 secs
lola: 400100 markings, 665813 edges, 2149 markings/sec, 135 secs
lola: 409678 markings, 684449 edges, 1916 markings/sec, 140 secs
lola: 419356 markings, 703214 edges, 1936 markings/sec, 145 secs
lola: 430292 markings, 722963 edges, 2187 markings/sec, 150 secs
lola: 439968 markings, 741236 edges, 1935 markings/sec, 155 secs
lola: 449662 markings, 760068 edges, 1939 markings/sec, 160 secs
lola: 459368 markings, 778538 edges, 1941 markings/sec, 165 secs
lola: 470368 markings, 798226 edges, 2200 markings/sec, 170 secs
lola: 479990 markings, 816913 edges, 1924 markings/sec, 175 secs
lola: 489732 markings, 835746 edges, 1948 markings/sec, 180 secs
lola: 500752 markings, 855352 edges, 2204 markings/sec, 185 secs
lola: 510340 markings, 873848 edges, 1918 markings/sec, 190 secs
lola: 519960 markings, 892476 edges, 1924 markings/sec, 195 secs
lola: 530808 markings, 912120 edges, 2170 markings/sec, 200 secs
lola: 540564 markings, 930560 edges, 1951 markings/sec, 205 secs
lola: 550244 markings, 949339 edges, 1936 markings/sec, 210 secs
lola: 561156 markings, 969123 edges, 2182 markings/sec, 215 secs
lola: 570710 markings, 987145 edges, 1911 markings/sec, 220 secs
lola: 580332 markings, 1005805 edges, 1924 markings/sec, 225 secs
lola: 591170 markings, 1025451 edges, 2168 markings/sec, 230 secs
lola: 600860 markings, 1043789 edges, 1938 markings/sec, 235 secs
lola: 610412 markings, 1062277 edges, 1910 markings/sec, 240 secs
lola: 621366 markings, 1082109 edges, 2191 markings/sec, 245 secs
lola: 631176 markings, 1100730 edges, 1962 markings/sec, 250 secs
lola: 639932 markings, 1117647 edges, 1751 markings/sec, 255 secs
lola: 649558 markings, 1134897 edges, 1925 markings/sec, 260 secs
lola: 658276 markings, 1151455 edges, 1744 markings/sec, 265 secs
lola: 668098 markings, 1170414 edges, 1964 markings/sec, 270 secs
lola: 678926 markings, 1189715 edges, 2166 markings/sec, 275 secs
lola: 688646 markings, 1208547 edges, 1944 markings/sec, 280 secs
lola: 699446 markings, 1228152 edges, 2160 markings/sec, 285 secs
lola: 709090 markings, 1246432 edges, 1929 markings/sec, 290 secs
lola: 718532 markings, 1264614 edges, 1888 markings/sec, 295 secs
lola: 729028 markings, 1283345 edges, 2099 markings/sec, 300 secs
lola: 738276 markings, 1301205 edges, 1850 markings/sec, 305 secs
lola: 747752 markings, 1318283 edges, 1895 markings/sec, 310 secs
lola: 756366 markings, 1334577 edges, 1723 markings/sec, 315 secs
lola: 764942 markings, 1351072 edges, 1715 markings/sec, 320 secs
lola: 775416 markings, 1369842 edges, 2095 markings/sec, 325 secs
lola: 785160 markings, 1388564 edges, 1949 markings/sec, 330 secs
lola: 795880 markings, 1407799 edges, 2144 markings/sec, 335 secs
lola: 805592 markings, 1426478 edges, 1942 markings/sec, 340 secs
lola: 814938 markings, 1443387 edges, 1869 markings/sec, 345 secs
lola: 824198 markings, 1461509 edges, 1852 markings/sec, 350 secs
lola: 833380 markings, 1479313 edges, 1836 markings/sec, 355 secs
lola: 843040 markings, 1497317 edges, 1932 markings/sec, 360 secs
lola: 853080 markings, 1516935 edges, 2008 markings/sec, 365 secs
lola: 863078 markings, 1536328 edges, 2000 markings/sec, 370 secs
lola: 873724 markings, 1555381 edges, 2129 markings/sec, 375 secs
lola: 883112 markings, 1573212 edges, 1878 markings/sec, 380 secs
lola: 892556 markings, 1590141 edges, 1889 markings/sec, 385 secs
lola: 902134 markings, 1608890 edges, 1916 markings/sec, 390 secs
lola: 911712 markings, 1627529 edges, 1916 markings/sec, 395 secs
lola: 921242 markings, 1645232 edges, 1906 markings/sec, 400 secs
lola: 930762 markings, 1663814 edges, 1904 markings/sec, 405 secs
lola: 940542 markings, 1682865 edges, 1956 markings/sec, 410 secs
lola: 950298 markings, 1701508 edges, 1951 markings/sec, 415 secs
lola: 960336 markings, 1719294 edges, 2008 markings/sec, 420 secs
lola: 969772 markings, 1736712 edges, 1887 markings/sec, 425 secs
lola: 978562 markings, 1753382 edges, 1758 markings/sec, 430 secs
lola: 987324 markings, 1770501 edges, 1752 markings/sec, 435 secs
lola: 996764 markings, 1788277 edges, 1888 markings/sec, 440 secs
lola: 1006464 markings, 1806944 edges, 1940 markings/sec, 445 secs
lola: 1015324 markings, 1824197 edges, 1772 markings/sec, 450 secs
lola: 1024062 markings, 1841073 edges, 1748 markings/sec, 455 secs
lola: 1033988 markings, 1858537 edges, 1985 markings/sec, 460 secs
lola: 1043742 markings, 1877213 edges, 1951 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(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51)
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(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: 12436 markings, 19308 edges, 2487 markings/sec, 0 secs
lola: 21023 markings, 37472 edges, 1717 markings/sec, 5 secs
lola: 27427 markings, 48025 edges, 1281 markings/sec, 10 secs
lola: 37200 markings, 65892 edges, 1955 markings/sec, 15 secs
lola: 44012 markings, 77148 edges, 1362 markings/sec, 20 secs
lola: 50591 markings, 88402 edges, 1316 markings/sec, 25 secs
lola: 57050 markings, 99456 edges, 1292 markings/sec, 30 secs
lola: 63775 markings, 110877 edges, 1345 markings/sec, 35 secs
lola: 71169 markings, 123303 edges, 1479 markings/sec, 40 secs
lola: 78465 markings, 135582 edges, 1459 markings/sec, 45 secs
lola: 85740 markings, 147929 edges, 1455 markings/sec, 50 secs
lola: 93172 markings, 160761 edges, 1486 markings/sec, 55 secs
lola: 100481 markings, 172956 edges, 1462 markings/sec, 60 secs
lola: 107762 markings, 185526 edges, 1456 markings/sec, 65 secs
lola: 115139 markings, 197860 edges, 1475 markings/sec, 70 secs
lola: 122152 markings, 209892 edges, 1403 markings/sec, 75 secs
lola: 128913 markings, 221403 edges, 1352 markings/sec, 80 secs
lola: 136469 markings, 234470 edges, 1511 markings/sec, 85 secs
lola: 147612 markings, 256170 edges, 2229 markings/sec, 90 secs
lola: 156739 markings, 276442 edges, 1825 markings/sec, 95 secs
lola: 164261 markings, 289855 edges, 1504 markings/sec, 100 secs
lola: 171449 markings, 302858 edges, 1438 markings/sec, 105 secs
lola: 180677 markings, 321393 edges, 1846 markings/sec, 110 secs
lola: 189048 markings, 339052 edges, 1674 markings/sec, 115 secs
lola: 198625 markings, 364962 edges, 1915 markings/sec, 120 secs
lola: 205010 markings, 375433 edges, 1277 markings/sec, 125 secs
lola: 212214 markings, 387702 edges, 1441 markings/sec, 130 secs
lola: 219327 markings, 399394 edges, 1423 markings/sec, 135 secs
lola: 226883 markings, 412160 edges, 1511 markings/sec, 140 secs
lola: 234358 markings, 424881 edges, 1495 markings/sec, 145 secs
lola: 241408 markings, 436792 edges, 1410 markings/sec, 150 secs
lola: 248386 markings, 448249 edges, 1396 markings/sec, 155 secs
lola: 255741 markings, 460588 edges, 1471 markings/sec, 160 secs
lola: 262957 markings, 472826 edges, 1443 markings/sec, 165 secs
lola: 270254 markings, 485187 edges, 1459 markings/sec, 170 secs
lola: 277419 markings, 497231 edges, 1433 markings/sec, 175 secs
lola: 284433 markings, 509044 edges, 1403 markings/sec, 180 secs
lola: 291486 markings, 520890 edges, 1411 markings/sec, 185 secs
lola: 298978 markings, 533444 edges, 1498 markings/sec, 190 secs
lola: 306456 markings, 545988 edges, 1496 markings/sec, 195 secs
lola: 313658 markings, 557939 edges, 1440 markings/sec, 200 secs
lola: 320808 markings, 569948 edges, 1430 markings/sec, 205 secs
lola: 328226 markings, 582575 edges, 1484 markings/sec, 210 secs
lola: 335519 markings, 594685 edges, 1459 markings/sec, 215 secs
lola: 345134 markings, 613554 edges, 1923 markings/sec, 220 secs
lola: 355794 markings, 638675 edges, 2132 markings/sec, 225 secs
lola: 365058 markings, 656833 edges, 1853 markings/sec, 230 secs
lola: 374505 markings, 680700 edges, 1889 markings/sec, 235 secs
lola: 381906 markings, 692859 edges, 1480 markings/sec, 240 secs
lola: 390647 markings, 709537 edges, 1748 markings/sec, 245 secs
lola: 400640 markings, 731431 edges, 1999 markings/sec, 250 secs
lola: 410825 markings, 753181 edges, 2037 markings/sec, 255 secs
lola: 420986 markings, 781360 edges, 2032 markings/sec, 260 secs
lola: 430596 markings, 807384 edges, 1922 markings/sec, 265 secs
lola: 441621 markings, 837699 edges, 2205 markings/sec, 270 secs
lola: 448804 markings, 849566 edges, 1437 markings/sec, 275 secs
lola: 456040 markings, 861433 edges, 1447 markings/sec, 280 secs
lola: 463425 markings, 874018 edges, 1477 markings/sec, 285 secs
lola: 470642 markings, 885850 edges, 1443 markings/sec, 290 secs
lola: 478032 markings, 898364 edges, 1478 markings/sec, 295 secs
lola: 485347 markings, 910775 edges, 1463 markings/sec, 300 secs
lola: 492612 markings, 922676 edges, 1453 markings/sec, 305 secs
lola: 499899 markings, 935068 edges, 1457 markings/sec, 310 secs
lola: 507019 markings, 946734 edges, 1424 markings/sec, 315 secs
lola: 514353 markings, 959189 edges, 1467 markings/sec, 320 secs
lola: 521685 markings, 971524 edges, 1466 markings/sec, 325 secs
lola: 528908 markings, 983289 edges, 1445 markings/sec, 330 secs
lola: 536173 markings, 995664 edges, 1453 markings/sec, 335 secs
lola: 543371 markings, 1007762 edges, 1440 markings/sec, 340 secs
lola: 550467 markings, 1019371 edges, 1419 markings/sec, 345 secs
lola: 557946 markings, 1031922 edges, 1496 markings/sec, 350 secs
lola: 565409 markings, 1044521 edges, 1493 markings/sec, 355 secs
lola: 572943 markings, 1057136 edges, 1507 markings/sec, 360 secs
lola: 580420 markings, 1069647 edges, 1495 markings/sec, 365 secs
lola: 587788 markings, 1081975 edges, 1474 markings/sec, 370 secs
lola: 594220 markings, 1092495 edges, 1286 markings/sec, 375 secs
lola: 600742 markings, 1103402 edges, 1304 markings/sec, 380 secs
lola: 607277 markings, 1114329 edges, 1307 markings/sec, 385 secs
lola: 613793 markings, 1125216 edges, 1303 markings/sec, 390 secs
lola: 620089 markings, 1135726 edges, 1259 markings/sec, 395 secs
lola: 628079 markings, 1152130 edges, 1598 markings/sec, 400 secs
lola: 637000 markings, 1171202 edges, 1784 markings/sec, 405 secs
lola: 646742 markings, 1198009 edges, 1948 markings/sec, 410 secs
lola: 657311 markings, 1223818 edges, 2114 markings/sec, 415 secs
lola: 666142 markings, 1241105 edges, 1766 markings/sec, 420 secs
lola: 675644 markings, 1267931 edges, 1900 markings/sec, 425 secs
lola: 683026 markings, 1280162 edges, 1476 markings/sec, 430 secs
lola: 690201 markings, 1291819 edges, 1435 markings/sec, 435 secs
lola: 698922 markings, 1309878 edges, 1744 markings/sec, 440 secs
lola: 708040 markings, 1330729 edges, 1824 markings/sec, 445 secs
lola: 717309 markings, 1352079 edges, 1854 markings/sec, 450 secs
lola: 727100 markings, 1373743 edges, 1958 markings/sec, 455 secs
lola: 736855 markings, 1402051 edges, 1951 markings/sec, 460 secs
lola: 746769 markings, 1432539 edges, 1983 markings/sec, 465 secs
lola: 755940 markings, 1457384 edges, 1834 markings/sec, 470 secs
lola: 766563 markings, 1489166 edges, 2125 markings/sec, 475 secs
lola: 776183 markings, 1514467 edges, 1924 markings/sec, 480 secs
lola: 785628 markings, 1537745 edges, 1889 markings/sec, 485 secs
lola: 792707 markings, 1549469 edges, 1416 markings/sec, 490 secs
lola: 799954 markings, 1561318 edges, 1449 markings/sec, 495 secs
lola: 807245 markings, 1573752 edges, 1458 markings/sec, 500 secs
lola: 814792 markings, 1586112 edges, 1509 markings/sec, 505 secs
lola: 822515 markings, 1599240 edges, 1545 markings/sec, 510 secs
lola: 829852 markings, 1611274 edges, 1467 markings/sec, 515 secs
lola: 837154 markings, 1623673 edges, 1460 markings/sec, 520 secs
lola: 844598 markings, 1635917 edges, 1489 markings/sec, 525 secs
lola: 852246 markings, 1648838 edges, 1530 markings/sec, 530 secs
lola: 859830 markings, 1661311 edges, 1517 markings/sec, 535 secs
lola: 867461 markings, 1674203 edges, 1526 markings/sec, 540 secs
lola: 875050 markings, 1686650 edges, 1518 markings/sec, 545 secs
lola: 882679 markings, 1699543 edges, 1526 markings/sec, 550 secs
lola: 890214 markings, 1711853 edges, 1507 markings/sec, 555 secs
lola: 897865 markings, 1724815 edges, 1530 markings/sec, 560 secs
lola: 905420 markings, 1737176 edges, 1511 markings/sec, 565 secs
lola: 912967 markings, 1749943 edges, 1509 markings/sec, 570 secs
lola: 920479 markings, 1762524 edges, 1502 markings/sec, 575 secs
lola: 927596 markings, 1774135 edges, 1423 markings/sec, 580 secs
lola: 934855 markings, 1786419 edges, 1452 markings/sec, 585 secs
lola: 942347 markings, 1798941 edges, 1498 markings/sec, 590 secs
lola: 949523 markings, 1810672 edges, 1435 markings/sec, 595 secs
lola: 956935 markings, 1823170 edges, 1482 markings/sec, 600 secs
lola: 964588 markings, 1835937 edges, 1531 markings/sec, 605 secs
lola: 972100 markings, 1848468 edges, 1502 markings/sec, 610 secs
lola: 978612 markings, 1859093 edges, 1302 markings/sec, 615 secs
lola: 984853 markings, 1869632 edges, 1248 markings/sec, 620 secs
lola: 991246 markings, 1880291 edges, 1279 markings/sec, 625 secs
lola: 998728 markings, 1892740 edges, 1496 markings/sec, 630 secs
lola: 1006354 markings, 1905703 edges, 1525 markings/sec, 635 secs
lola: 1016777 markings, 1929876 edges, 2085 markings/sec, 640 secs
lola: 1026931 markings, 1952647 edges, 2031 markings/sec, 645 secs
lola: 1037042 markings, 1982019 edges, 2022 markings/sec, 650 secs
lola: 1047032 markings, 2010154 edges, 1998 markings/sec, 655 secs
lola: 1057359 markings, 2036508 edges, 2065 markings/sec, 660 secs
lola: 1067745 markings, 2060066 edges, 2077 markings/sec, 665 secs
lola: 1075062 markings, 2078083 edges, 1463 markings/sec, 670 secs
lola: 1083191 markings, 2100416 edges, 1626 markings/sec, 675 secs
lola: 1089616 markings, 2111052 edges, 1285 markings/sec, 680 secs
lola: 1096507 markings, 2122361 edges, 1378 markings/sec, 685 secs
lola: 1103918 markings, 2134794 edges, 1482 markings/sec, 690 secs
lola: 1114417 markings, 2159268 edges, 2100 markings/sec, 695 secs
lola: 1124240 markings, 2182434 edges, 1965 markings/sec, 700 secs
lola: 1134181 markings, 2206245 edges, 1988 markings/sec, 705 secs
lola: 1144219 markings, 2229859 edges, 2008 markings/sec, 710 secs
lola: 1153715 markings, 2253580 edges, 1899 markings/sec, 715 secs
lola: 1163720 markings, 2284990 edges, 2001 markings/sec, 720 secs
lola: 1173806 markings, 2316616 edges, 2017 markings/sec, 725 secs
lola: 1183582 markings, 2345971 edges, 1955 markings/sec, 730 secs
lola: 1193293 markings, 2373820 edges, 1942 markings/sec, 735 secs
lola: 1203174 markings, 2404192 edges, 1976 markings/sec, 740 secs
lola: 1211989 markings, 2427980 edges, 1763 markings/sec, 745 secs
lola: 1222635 markings, 2459903 edges, 2129 markings/sec, 750 secs
lola: 1232600 markings, 2486218 edges, 1993 markings/sec, 755 secs
lola: 1242377 markings, 2510403 edges, 1955 markings/sec, 760 secs
lola: 1249428 markings, 2522084 edges, 1410 markings/sec, 765 secs
lola: 1256532 markings, 2533716 edges, 1421 markings/sec, 770 secs
lola: 1263946 markings, 2546317 edges, 1483 markings/sec, 775 secs
lola: 1271021 markings, 2558027 edges, 1415 markings/sec, 780 secs
lola: 1277604 markings, 2568772 edges, 1317 markings/sec, 785 secs
lola: 1284112 markings, 2579873 edges, 1302 markings/sec, 790 secs
lola: 1290451 markings, 2590374 edges, 1268 markings/sec, 795 secs
lola: 1297185 markings, 2601361 edges, 1347 markings/sec, 800 secs
lola: 1304407 markings, 2613638 edges, 1444 markings/sec, 805 secs
lola: 1311459 markings, 2625313 edges, 1410 markings/sec, 810 secs
lola: 1318535 markings, 2636855 edges, 1415 markings/sec, 815 secs
lola: 1325724 markings, 2649082 edges, 1438 markings/sec, 820 secs
lola: 1332797 markings, 2660661 edges, 1415 markings/sec, 825 secs
lola: 1340180 markings, 2673152 edges, 1477 markings/sec, 830 secs
lola: 1347129 markings, 2684647 edges, 1390 markings/sec, 835 secs
lola: 1354148 markings, 2696103 edges, 1404 markings/sec, 840 secs
lola: 1361324 markings, 2708279 edges, 1435 markings/sec, 845 secs
lola: 1368444 markings, 2719830 edges, 1424 markings/sec, 850 secs
lola: 1375599 markings, 2732023 edges, 1431 markings/sec, 855 secs
lola: 1382935 markings, 2743986 edges, 1467 markings/sec, 860 secs
lola: 1390358 markings, 2756557 edges, 1485 markings/sec, 865 secs
lola: 1397690 markings, 2768528 edges, 1466 markings/sec, 870 secs
lola: 1404724 markings, 2780431 edges, 1407 markings/sec, 875 secs
lola: 1411681 markings, 2791784 edges, 1391 markings/sec, 880 secs
lola: 1419501 markings, 2804971 edges, 1564 markings/sec, 885 secs
lola: 1427054 markings, 2817307 edges, 1511 markings/sec, 890 secs
lola: 1434580 markings, 2830006 edges, 1505 markings/sec, 895 secs
lola: 1442248 markings, 2842790 edges, 1534 markings/sec, 900 secs
lola: 1448625 markings, 2853259 edges, 1275 markings/sec, 905 secs
lola: 1454995 markings, 2863944 edges, 1274 markings/sec, 910 secs
lola: 1461311 markings, 2874243 edges, 1263 markings/sec, 915 secs
lola: 1467726 markings, 2885060 edges, 1283 markings/sec, 920 secs
lola: 1474003 markings, 2895292 edges, 1255 markings/sec, 925 secs
lola: 1480511 markings, 2906242 edges, 1302 markings/sec, 930 secs
lola: 1487350 markings, 2917638 edges, 1368 markings/sec, 935 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 50 unknown 1 unknown 1 50 1 unknown unknown unknown unknown 1 unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
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 1494609949110

--------------------
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="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/BridgeAndVehicles-COL-V50P20N20.tgz
mv 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 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 r008-csrt-149436126200335"
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 ;