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_PermAdmissibility-COL-05, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441650200362
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496380449414


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PermAdmissibility-COL-05: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PermAdmissibility-COL-05: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PermAdmissibility-COL-05 @ 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: 1232/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 208 places, 1024 transitions, 177 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1460 transition conflict sets
lola: TASK
lola: reading formula from PermAdmissibility-COL-05-UpperBounds.task
lola: MAX(p70 + p69 + p64 + p65 + p66 + p67 + p68 + p71) : MAX(p90 + p89 + p91 + p92 + p93 + p94 + p95 + p96) : MAX(p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47) : MAX(p19) : MAX(p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47) : MAX(p80) : MAX(p161) : MAX(p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63) : MAX(p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206) : MAX(p18) : MAX(p20) : MAX(p31) : MAX(p29) : MAX(p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177) : MAX(p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169) : MAX(p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160)
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(p70 + p69 + p64 + p65 + p66 + p67 + p68 + p71)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p90 + p89 + p91 + p92 + p93 + p94 + p95 + p96)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 160787 markings, 357600 edges, 32157 markings/sec, 0 secs
lola: 326034 markings, 771939 edges, 33049 markings/sec, 5 secs
lola: 489270 markings, 1212045 edges, 32647 markings/sec, 10 secs
lola: 645423 markings, 1652914 edges, 31231 markings/sec, 15 secs
lola: 789571 markings, 1995843 edges, 28830 markings/sec, 20 secs
lola: 941353 markings, 2346796 edges, 30356 markings/sec, 25 secs
lola: 1097043 markings, 2729559 edges, 31138 markings/sec, 30 secs
lola: 1246631 markings, 3073074 edges, 29918 markings/sec, 35 secs
lola: 1384046 markings, 3397615 edges, 27483 markings/sec, 40 secs
lola: 1534522 markings, 3763169 edges, 30095 markings/sec, 45 secs
lola: 1670621 markings, 4074506 edges, 27220 markings/sec, 50 secs
lola: 1826241 markings, 4440375 edges, 31124 markings/sec, 55 secs
lola: 1986675 markings, 4853900 edges, 32087 markings/sec, 60 secs
lola: 2133864 markings, 5284065 edges, 29438 markings/sec, 65 secs
lola: 2272782 markings, 5623118 edges, 27784 markings/sec, 70 secs
lola: 2409278 markings, 5964953 edges, 27299 markings/sec, 75 secs
lola: 2543582 markings, 6304731 edges, 26861 markings/sec, 80 secs
lola: 2692189 markings, 6679045 edges, 29721 markings/sec, 85 secs
lola: 2859826 markings, 7071879 edges, 33527 markings/sec, 90 secs
lola: 3015177 markings, 7460409 edges, 31070 markings/sec, 95 secs
lola: 3162024 markings, 7892786 edges, 29369 markings/sec, 100 secs
lola: 3311979 markings, 8272062 edges, 29991 markings/sec, 105 secs
lola: 3466161 markings, 8653755 edges, 30836 markings/sec, 110 secs
lola: 3615076 markings, 9032397 edges, 29783 markings/sec, 115 secs
lola: 3763768 markings, 9405171 edges, 29738 markings/sec, 120 secs
lola: 3930218 markings, 9804989 edges, 33290 markings/sec, 125 secs
lola: 4083215 markings, 10229892 edges, 30599 markings/sec, 130 secs
lola: 4230917 markings, 10622679 edges, 29540 markings/sec, 135 secs
lola: 4384239 markings, 11076767 edges, 30664 markings/sec, 140 secs
lola: 4520851 markings, 11445291 edges, 27322 markings/sec, 145 secs
lola: 4652145 markings, 11884930 edges, 26259 markings/sec, 150 secs
lola: 4786835 markings, 12304717 edges, 26938 markings/sec, 155 secs
lola: 4927693 markings, 12815629 edges, 28172 markings/sec, 160 secs
lola: 5075280 markings, 13287701 edges, 29517 markings/sec, 165 secs
lola: 5219127 markings, 13703958 edges, 28769 markings/sec, 170 secs
lola: 5356845 markings, 14180965 edges, 27544 markings/sec, 175 secs
lola: 5500225 markings, 14657047 edges, 28676 markings/sec, 180 secs
lola: 5639021 markings, 15143429 edges, 27759 markings/sec, 185 secs
lola: 5780265 markings, 15628602 edges, 28249 markings/sec, 190 secs
lola: 5925283 markings, 16097393 edges, 29004 markings/sec, 195 secs
lola: 6053766 markings, 16362075 edges, 25697 markings/sec, 200 secs
lola: 6193804 markings, 16657995 edges, 28008 markings/sec, 205 secs
lola: 6343156 markings, 16968768 edges, 29870 markings/sec, 210 secs
lola: 6505322 markings, 17367348 edges, 32433 markings/sec, 215 secs
lola: 6662853 markings, 17754978 edges, 31506 markings/sec, 220 secs
lola: 6815397 markings, 18109135 edges, 30509 markings/sec, 225 secs
lola: 6965010 markings, 18492126 edges, 29923 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 135022 markings, 205381 edges, 27004 markings/sec, 0 secs
lola: 274506 markings, 419769 edges, 27897 markings/sec, 5 secs
lola: 413404 markings, 634067 edges, 27780 markings/sec, 10 secs
lola: 552741 markings, 902719 edges, 27867 markings/sec, 15 secs
lola: 691047 markings, 1194461 edges, 27661 markings/sec, 20 secs
lola: 828612 markings, 1484917 edges, 27513 markings/sec, 25 secs
lola: 967127 markings, 1776526 edges, 27703 markings/sec, 30 secs
lola: 1105033 markings, 2067624 edges, 27581 markings/sec, 35 secs
lola: 1242374 markings, 2357640 edges, 27468 markings/sec, 40 secs
lola: 1379565 markings, 2717006 edges, 27438 markings/sec, 45 secs
lola: 1515578 markings, 3102683 edges, 27203 markings/sec, 50 secs
lola: 1642015 markings, 3461225 edges, 25287 markings/sec, 55 secs
lola: 1792938 markings, 3852851 edges, 30185 markings/sec, 60 secs
lola: 1944522 markings, 4330019 edges, 30317 markings/sec, 65 secs
lola: 2090847 markings, 4898408 edges, 29265 markings/sec, 70 secs
lola: 2231755 markings, 5430062 edges, 28182 markings/sec, 75 secs
lola: 2382865 markings, 5886448 edges, 30222 markings/sec, 80 secs
lola: 2522728 markings, 6464846 edges, 27973 markings/sec, 85 secs
lola: 2664225 markings, 6949596 edges, 28299 markings/sec, 90 secs
lola: 2810828 markings, 7497341 edges, 29321 markings/sec, 95 secs
lola: 2957017 markings, 8050133 edges, 29238 markings/sec, 100 secs
lola: 3100622 markings, 8646170 edges, 28721 markings/sec, 105 secs
lola: 3244900 markings, 9271198 edges, 28856 markings/sec, 110 secs
lola: 3380322 markings, 9775868 edges, 27084 markings/sec, 115 secs
lola: 3535313 markings, 10189748 edges, 30998 markings/sec, 120 secs
lola: 3688837 markings, 10634544 edges, 30705 markings/sec, 125 secs
lola: 3835674 markings, 11073350 edges, 29367 markings/sec, 130 secs
lola: 3986873 markings, 11503257 edges, 30240 markings/sec, 135 secs
lola: 4140007 markings, 11923667 edges, 30627 markings/sec, 140 secs
lola: 4294905 markings, 12350667 edges, 30980 markings/sec, 145 secs
lola: 4444499 markings, 12786480 edges, 29919 markings/sec, 150 secs
lola: 4594907 markings, 13251165 edges, 30082 markings/sec, 155 secs
lola: 4741917 markings, 13689966 edges, 29402 markings/sec, 160 secs
lola: 4893259 markings, 14134756 edges, 30268 markings/sec, 165 secs
lola: 5027507 markings, 14548231 edges, 26850 markings/sec, 170 secs
lola: 5179798 markings, 15020200 edges, 30458 markings/sec, 175 secs
lola: 5327837 markings, 15460313 edges, 29608 markings/sec, 180 secs
lola: 5473001 markings, 15857917 edges, 29033 markings/sec, 185 secs
lola: 5625456 markings, 16333553 edges, 30491 markings/sec, 190 secs
lola: 5766940 markings, 16723294 edges, 28297 markings/sec, 195 secs
lola: 5916808 markings, 17191040 edges, 29974 markings/sec, 200 secs
lola: 6064242 markings, 17603468 edges, 29487 markings/sec, 205 secs
lola: 6212626 markings, 18022216 edges, 29677 markings/sec, 210 secs
lola: 6363532 markings, 18529593 edges, 30181 markings/sec, 215 secs
lola: 6503992 markings, 18889200 edges, 28092 markings/sec, 220 secs
lola: 6648034 markings, 19380731 edges, 28808 markings/sec, 225 secs
lola: 6788286 markings, 19809317 edges, 28050 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 185331 markings, 522668 edges, 37066 markings/sec, 0 secs
lola: 364646 markings, 1131114 edges, 35863 markings/sec, 5 secs
lola: 539282 markings, 1632950 edges, 34927 markings/sec, 10 secs
lola: 726854 markings, 2175811 edges, 37514 markings/sec, 15 secs
lola: 904605 markings, 2765302 edges, 35550 markings/sec, 20 secs
lola: 1083036 markings, 3281577 edges, 35686 markings/sec, 25 secs
lola: 1275033 markings, 3825285 edges, 38399 markings/sec, 30 secs
lola: 1460095 markings, 4344818 edges, 37012 markings/sec, 35 secs
lola: 1646193 markings, 4910473 edges, 37220 markings/sec, 40 secs
lola: 1822458 markings, 5444380 edges, 35253 markings/sec, 45 secs
lola: 1999931 markings, 5990030 edges, 35495 markings/sec, 50 secs
lola: 2165265 markings, 6500178 edges, 33067 markings/sec, 55 secs
lola: 2353062 markings, 7036214 edges, 37559 markings/sec, 60 secs
lola: 2531401 markings, 7589009 edges, 35668 markings/sec, 65 secs
lola: 2710571 markings, 8137778 edges, 35834 markings/sec, 70 secs
lola: 2895506 markings, 8702887 edges, 36987 markings/sec, 75 secs
lola: 3067262 markings, 9342993 edges, 34351 markings/sec, 80 secs
lola: 3243663 markings, 9860447 edges, 35280 markings/sec, 85 secs
lola: 3421772 markings, 10471152 edges, 35622 markings/sec, 90 secs
lola: 3595468 markings, 11013255 edges, 34739 markings/sec, 95 secs
lola: 3775419 markings, 11708943 edges, 35990 markings/sec, 100 secs
lola: 3954686 markings, 12394921 edges, 35853 markings/sec, 105 secs
lola: 4126228 markings, 13064705 edges, 34308 markings/sec, 110 secs
lola: 4291387 markings, 13733453 edges, 33032 markings/sec, 115 secs
lola: 4467338 markings, 14747972 edges, 35190 markings/sec, 120 secs
lola: 4642275 markings, 16059126 edges, 34987 markings/sec, 125 secs
lola: 4799610 markings, 17253201 edges, 31467 markings/sec, 130 secs
lola: 4969196 markings, 17997119 edges, 33917 markings/sec, 135 secs
lola: 5142846 markings, 18716930 edges, 34730 markings/sec, 140 secs
lola: 5314138 markings, 19842750 edges, 34258 markings/sec, 145 secs
lola: 5483339 markings, 20775045 edges, 33840 markings/sec, 150 secs
lola: 5655282 markings, 21632027 edges, 34389 markings/sec, 155 secs
lola: 5824907 markings, 22840303 edges, 33925 markings/sec, 160 secs
lola: 5982286 markings, 24032780 edges, 31476 markings/sec, 165 secs
lola: 6126410 markings, 24991645 edges, 28825 markings/sec, 170 secs
lola: 6289577 markings, 25750230 edges, 32633 markings/sec, 175 secs
lola: 6464023 markings, 26431031 edges, 34889 markings/sec, 180 secs
lola: 6633708 markings, 27479218 edges, 33937 markings/sec, 185 secs
lola: 6791642 markings, 28584221 edges, 31587 markings/sec, 190 secs
lola: 6982311 markings, 29341056 edges, 38134 markings/sec, 195 secs
lola: 7161032 markings, 29932918 edges, 35744 markings/sec, 200 secs
lola: 7332759 markings, 30576009 edges, 34345 markings/sec, 205 secs
lola: 7506233 markings, 31563128 edges, 34695 markings/sec, 210 secs
lola: 7681443 markings, 32397821 edges, 35042 markings/sec, 215 secs
lola: 7853364 markings, 33406206 edges, 34384 markings/sec, 220 secs
lola: 8026150 markings, 34251968 edges, 34557 markings/sec, 225 secs
lola: 8193275 markings, 34893428 edges, 33425 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 120971 markings, 183439 edges, 24194 markings/sec, 0 secs
lola: 260195 markings, 397444 edges, 27845 markings/sec, 5 secs
lola: 399185 markings, 611657 edges, 27798 markings/sec, 10 secs
lola: 538433 markings, 872453 edges, 27850 markings/sec, 15 secs
lola: 676559 markings, 1163728 edges, 27625 markings/sec, 20 secs
lola: 814462 markings, 1454941 edges, 27581 markings/sec, 25 secs
lola: 952765 markings, 1746418 edges, 27661 markings/sec, 30 secs
lola: 1090371 markings, 2037395 edges, 27521 markings/sec, 35 secs
lola: 1227914 markings, 2326775 edges, 27509 markings/sec, 40 secs
lola: 1365201 markings, 2676227 edges, 27457 markings/sec, 45 secs
lola: 1501257 markings, 3062049 edges, 27211 markings/sec, 50 secs
lola: 1636523 markings, 3445558 edges, 27053 markings/sec, 55 secs
lola: 1787162 markings, 3835745 edges, 30128 markings/sec, 60 secs
lola: 1930314 markings, 4283570 edges, 28630 markings/sec, 65 secs
lola: 2073721 markings, 4823246 edges, 28681 markings/sec, 70 secs
lola: 2221026 markings, 5390563 edges, 29461 markings/sec, 75 secs
lola: 2371502 markings, 5847145 edges, 30095 markings/sec, 80 secs
lola: 2517358 markings, 6441828 edges, 29171 markings/sec, 85 secs
lola: 2666162 markings, 6955325 edges, 29761 markings/sec, 90 secs
lola: 2812324 markings, 7503509 edges, 29232 markings/sec, 95 secs
lola: 2950909 markings, 8030845 edges, 27717 markings/sec, 100 secs
lola: 3096170 markings, 8627743 edges, 29052 markings/sec, 105 secs
lola: 3241048 markings, 9255825 edges, 28976 markings/sec, 110 secs
lola: 3357602 markings, 9706169 edges, 23311 markings/sec, 115 secs
lola: 3502395 markings, 10113514 edges, 28959 markings/sec, 120 secs
lola: 3651428 markings, 10543946 edges, 29807 markings/sec, 125 secs
lola: 3792829 markings, 10961145 edges, 28280 markings/sec, 130 secs
lola: 3943477 markings, 11374094 edges, 30130 markings/sec, 135 secs
lola: 4091947 markings, 11800105 edges, 29694 markings/sec, 140 secs
lola: 4235627 markings, 12210986 edges, 28736 markings/sec, 145 secs
lola: 4377393 markings, 12616521 edges, 28353 markings/sec, 150 secs
lola: 4528248 markings, 12995289 edges, 30171 markings/sec, 155 secs
lola: 4658633 markings, 13459964 edges, 26077 markings/sec, 160 secs
lola: 4793775 markings, 13817693 edges, 27028 markings/sec, 165 secs
lola: 4925950 markings, 14275801 edges, 26435 markings/sec, 170 secs
lola: 5055588 markings, 14633406 edges, 25928 markings/sec, 175 secs
lola: 5200605 markings, 15065627 edges, 29003 markings/sec, 180 secs
lola: 5347381 markings, 15514212 edges, 29355 markings/sec, 185 secs
lola: 5497341 markings, 15915157 edges, 29992 markings/sec, 190 secs
lola: 5648070 markings, 16414453 edges, 30146 markings/sec, 195 secs
lola: 5798509 markings, 16854533 edges, 30088 markings/sec, 200 secs
lola: 5948547 markings, 17273364 edges, 30008 markings/sec, 205 secs
lola: 6100506 markings, 17717917 edges, 30392 markings/sec, 210 secs
lola: 6251241 markings, 18106051 edges, 30147 markings/sec, 215 secs
lola: 6396889 markings, 18617146 edges, 29130 markings/sec, 220 secs
lola: 6547832 markings, 19029793 edges, 30189 markings/sec, 225 secs
lola: 6688799 markings, 19505134 edges, 28193 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p80)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 433531 markings, 2078300 edges, 86706 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: ========================================
lola: subprocess 6 will run for 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p161)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 288748 markings, 1112846 edges, 57750 markings/sec, 0 secs
lola: 556990 markings, 2218571 edges, 53648 markings/sec, 5 secs
lola: 814592 markings, 3323457 edges, 51520 markings/sec, 10 secs
lola: 1106962 markings, 4501041 edges, 58474 markings/sec, 15 secs
lola: 1351435 markings, 5539254 edges, 48895 markings/sec, 20 secs
lola: 1600166 markings, 6581262 edges, 49746 markings/sec, 25 secs
lola: 1824813 markings, 7537214 edges, 44929 markings/sec, 30 secs
lola: 2080253 markings, 8531599 edges, 51088 markings/sec, 35 secs
lola: 2316692 markings, 9516767 edges, 47288 markings/sec, 40 secs
lola: 2556035 markings, 10558680 edges, 47869 markings/sec, 45 secs
lola: 2789541 markings, 11494405 edges, 46701 markings/sec, 50 secs
lola: 3027900 markings, 12533360 edges, 47672 markings/sec, 55 secs
lola: 3282443 markings, 13611720 edges, 50909 markings/sec, 60 secs
lola: 3523543 markings, 14652142 edges, 48220 markings/sec, 65 secs
lola: 3755536 markings, 15576002 edges, 46399 markings/sec, 70 secs
lola: 3977066 markings, 16473885 edges, 44306 markings/sec, 75 secs
lola: 4225708 markings, 17498229 edges, 49728 markings/sec, 80 secs
lola: 4499032 markings, 18669034 edges, 54665 markings/sec, 85 secs
lola: 4777003 markings, 19850626 edges, 55594 markings/sec, 90 secs
lola: 5058734 markings, 21044443 edges, 56346 markings/sec, 95 secs
lola: 5324401 markings, 22182573 edges, 53133 markings/sec, 100 secs
lola: 5578004 markings, 23215666 edges, 50721 markings/sec, 105 secs
lola: 5868025 markings, 24409138 edges, 58004 markings/sec, 110 secs
lola: 6158560 markings, 25655887 edges, 58107 markings/sec, 115 secs
lola: 6438359 markings, 26830897 edges, 55960 markings/sec, 120 secs
lola: 6711144 markings, 27974273 edges, 54557 markings/sec, 125 secs
lola: 6986592 markings, 29227663 edges, 55090 markings/sec, 130 secs
lola: 7222811 markings, 30230210 edges, 47244 markings/sec, 135 secs
lola: 7459907 markings, 31240016 edges, 47419 markings/sec, 140 secs
lola: 7756366 markings, 32558169 edges, 59292 markings/sec, 145 secs
lola: 8037674 markings, 33919437 edges, 56262 markings/sec, 150 secs
lola: 8315779 markings, 35190985 edges, 55621 markings/sec, 155 secs
lola: 8563239 markings, 36432976 edges, 49492 markings/sec, 160 secs
lola: 8812537 markings, 37572666 edges, 49860 markings/sec, 165 secs
lola: 9074614 markings, 38835814 edges, 52415 markings/sec, 170 secs
lola: 9332714 markings, 40063512 edges, 51620 markings/sec, 175 secs
lola: 9612717 markings, 41420652 edges, 56001 markings/sec, 180 secs
lola: 9865656 markings, 42671797 edges, 50588 markings/sec, 185 secs
lola: 10120617 markings, 43908390 edges, 50992 markings/sec, 190 secs
lola: 10383791 markings, 45393160 edges, 52635 markings/sec, 195 secs
lola: 10633841 markings, 46864379 edges, 50010 markings/sec, 200 secs
lola: 10888999 markings, 48363196 edges, 51032 markings/sec, 205 secs
lola: 11135449 markings, 49835049 edges, 49290 markings/sec, 210 secs
lola: 11381366 markings, 51149876 edges, 49183 markings/sec, 215 secs
lola: 11683539 markings, 52571971 edges, 60435 markings/sec, 220 secs
lola: 11962474 markings, 54011247 edges, 55787 markings/sec, 225 secs
lola: 12240725 markings, 55506287 edges, 55650 markings/sec, 230 secs
lola: 12502506 markings, 57053351 edges, 52356 markings/sec, 235 secs
lola: 12765446 markings, 58796400 edges, 52588 markings/sec, 240 secs
lola: 13020880 markings, 60223704 edges, 51087 markings/sec, 245 secs
lola: 13280905 markings, 61904441 edges, 52005 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: subprocess 8 will run for 291 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: ========================================
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 9 will run for 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 295845 markings, 1265938 edges, 59169 markings/sec, 0 secs
lola: 596417 markings, 2951181 edges, 60114 markings/sec, 5 secs
lola: 844248 markings, 4380334 edges, 49566 markings/sec, 10 secs
lola: 1099109 markings, 5834817 edges, 50972 markings/sec, 15 secs
lola: 1420958 markings, 7425840 edges, 64370 markings/sec, 20 secs
lola: 1693740 markings, 9084204 edges, 54556 markings/sec, 25 secs
lola: 1970363 markings, 10566685 edges, 55325 markings/sec, 30 secs
lola: 2252345 markings, 12221432 edges, 56396 markings/sec, 35 secs
lola: 2556051 markings, 13882302 edges, 60741 markings/sec, 40 secs
lola: 2845226 markings, 15669153 edges, 57835 markings/sec, 45 secs
lola: 3140090 markings, 17611593 edges, 58973 markings/sec, 50 secs
lola: 3413164 markings, 19490597 edges, 54615 markings/sec, 55 secs
lola: 3687058 markings, 21205157 edges, 54779 markings/sec, 60 secs
lola: 3954732 markings, 22912545 edges, 53535 markings/sec, 65 secs
lola: 4220048 markings, 24710832 edges, 53063 markings/sec, 70 secs
lola: 4468984 markings, 26429321 edges, 49787 markings/sec, 75 secs
lola: 4718072 markings, 28135877 edges, 49818 markings/sec, 80 secs
lola: 5019495 markings, 29573374 edges, 60285 markings/sec, 85 secs
lola: 5301060 markings, 31310358 edges, 56313 markings/sec, 90 secs
lola: 5572549 markings, 32866394 edges, 54298 markings/sec, 95 secs
lola: 5828570 markings, 34385858 edges, 51204 markings/sec, 100 secs
lola: 6110355 markings, 35900714 edges, 56357 markings/sec, 105 secs
lola: 6375344 markings, 37457748 edges, 52998 markings/sec, 110 secs
lola: 6656357 markings, 39095720 edges, 56203 markings/sec, 115 secs
lola: 6930533 markings, 40699028 edges, 54835 markings/sec, 120 secs
lola: 7196992 markings, 42399517 edges, 53292 markings/sec, 125 secs
lola: 7447886 markings, 44165626 edges, 50179 markings/sec, 130 secs
lola: 7702345 markings, 45807878 edges, 50892 markings/sec, 135 secs
lola: 7950207 markings, 47465760 edges, 49572 markings/sec, 140 secs
lola: 8188640 markings, 49170750 edges, 47687 markings/sec, 145 secs
lola: 8425368 markings, 50777755 edges, 47346 markings/sec, 150 secs
lola: 8729744 markings, 52232460 edges, 60875 markings/sec, 155 secs
lola: 9012763 markings, 53830695 edges, 56604 markings/sec, 160 secs
lola: 9278286 markings, 55441005 edges, 53105 markings/sec, 165 secs
lola: 9579550 markings, 57039968 edges, 60253 markings/sec, 170 secs
lola: 9843652 markings, 58716521 edges, 52820 markings/sec, 175 secs
lola: 10128525 markings, 60250698 edges, 56975 markings/sec, 180 secs
lola: 10409334 markings, 61918150 edges, 56162 markings/sec, 185 secs
lola: 10680546 markings, 63647456 edges, 54242 markings/sec, 190 secs
lola: 10958996 markings, 65446865 edges, 55690 markings/sec, 195 secs
lola: 11221666 markings, 67222202 edges, 52534 markings/sec, 200 secs
lola: 11476761 markings, 68884081 edges, 51019 markings/sec, 205 secs
lola: 11725479 markings, 70601144 edges, 49744 markings/sec, 210 secs
lola: 11963927 markings, 72341159 edges, 47690 markings/sec, 215 secs
lola: 12238505 markings, 73870115 edges, 54916 markings/sec, 220 secs
lola: 12515018 markings, 75472661 edges, 55303 markings/sec, 225 secs
lola: 12766905 markings, 77013787 edges, 50377 markings/sec, 230 secs
lola: 13035191 markings, 78470003 edges, 53657 markings/sec, 235 secs
lola: 13284626 markings, 80116164 edges, 49887 markings/sec, 240 secs
lola: 13554225 markings, 81654230 edges, 53920 markings/sec, 245 secs
lola: 13817738 markings, 83235120 edges, 52703 markings/sec, 250 secs
lola: 14070790 markings, 84924299 edges, 50610 markings/sec, 255 secs
lola: 14309392 markings, 86679415 edges, 47720 markings/sec, 260 secs
lola: 14551916 markings, 88283448 edges, 48505 markings/sec, 265 secs
lola: 14786636 markings, 89969733 edges, 46944 markings/sec, 270 secs
lola: 15014817 markings, 91625642 edges, 45636 markings/sec, 275 secs
lola: 15313137 markings, 93004872 edges, 59664 markings/sec, 280 secs
lola: 15602814 markings, 94501532 edges, 57935 markings/sec, 285 secs
lola: 15860869 markings, 96140928 edges, 51611 markings/sec, 290 secs
lola: 16152925 markings, 97615910 edges, 58411 markings/sec, 295 secs
lola: 16420869 markings, 99371466 edges, 53589 markings/sec, 300 secs
lola: 16679366 markings, 100994431 edges, 51699 markings/sec, 305 secs
lola: 16945447 markings, 102536141 edges, 53216 markings/sec, 310 secs
lola: 17210592 markings, 104056801 edges, 53029 markings/sec, 315 secs
lola: 17471409 markings, 105581324 edges, 52163 markings/sec, 320 secs
lola: 17743514 markings, 107085841 edges, 54421 markings/sec, 325 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 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 228818 markings, 701620 edges, 45764 markings/sec, 0 secs
lola: 446617 markings, 1657912 edges, 43560 markings/sec, 5 secs
lola: 664467 markings, 2598330 edges, 43570 markings/sec, 10 secs
lola: 888072 markings, 3444701 edges, 44721 markings/sec, 15 secs
lola: 1103898 markings, 4356121 edges, 43165 markings/sec, 20 secs
lola: 1313896 markings, 5350731 edges, 42000 markings/sec, 25 secs
lola: 1532888 markings, 6230304 edges, 43798 markings/sec, 30 secs
lola: 1749108 markings, 7177097 edges, 43244 markings/sec, 35 secs
lola: 1965940 markings, 8088843 edges, 43366 markings/sec, 40 secs
lola: 2175937 markings, 9069831 edges, 41999 markings/sec, 45 secs
lola: 2388136 markings, 10031507 edges, 42440 markings/sec, 50 secs
lola: 2592532 markings, 11081038 edges, 40879 markings/sec, 55 secs
lola: 2791610 markings, 12160698 edges, 39816 markings/sec, 60 secs
lola: 2977395 markings, 13397740 edges, 37157 markings/sec, 65 secs
lola: 3178311 markings, 14540326 edges, 40183 markings/sec, 70 secs
lola: 3374768 markings, 15647431 edges, 39291 markings/sec, 75 secs
lola: 3573355 markings, 16767905 edges, 39717 markings/sec, 80 secs
lola: 3773698 markings, 17808169 edges, 40069 markings/sec, 85 secs
lola: 3967769 markings, 18950945 edges, 38814 markings/sec, 90 secs
lola: 4163627 markings, 20089878 edges, 39172 markings/sec, 95 secs
lola: 4364178 markings, 21124090 edges, 40110 markings/sec, 100 secs
lola: 4558750 markings, 22010669 edges, 38914 markings/sec, 105 secs
lola: 4757270 markings, 22924094 edges, 39704 markings/sec, 110 secs
lola: 4958024 markings, 23892250 edges, 40151 markings/sec, 115 secs
lola: 5167685 markings, 24788747 edges, 41932 markings/sec, 120 secs
lola: 5360489 markings, 25845472 edges, 38561 markings/sec, 125 secs
lola: 5558706 markings, 26842962 edges, 39643 markings/sec, 130 secs
lola: 5757379 markings, 27702064 edges, 39735 markings/sec, 135 secs
lola: 5956229 markings, 28632585 edges, 39770 markings/sec, 140 secs
lola: 6157968 markings, 29489268 edges, 40348 markings/sec, 145 secs
lola: 6351611 markings, 30407551 edges, 38729 markings/sec, 150 secs
lola: 6549084 markings, 31379496 edges, 39495 markings/sec, 155 secs
lola: 6753556 markings, 32263836 edges, 40894 markings/sec, 160 secs
lola: 6970347 markings, 33109649 edges, 43358 markings/sec, 165 secs
lola: 7183257 markings, 34005090 edges, 42582 markings/sec, 170 secs
lola: 7390544 markings, 34940920 edges, 41457 markings/sec, 175 secs
lola: 7591171 markings, 36003955 edges, 40125 markings/sec, 180 secs
lola: 7786802 markings, 37074048 edges, 39126 markings/sec, 185 secs
lola: 7984452 markings, 38024190 edges, 39530 markings/sec, 190 secs
lola: 8190309 markings, 38936047 edges, 41171 markings/sec, 195 secs
lola: 8406434 markings, 39751455 edges, 43225 markings/sec, 200 secs
lola: 8616238 markings, 40639285 edges, 41961 markings/sec, 205 secs
lola: 8828379 markings, 41490367 edges, 42428 markings/sec, 210 secs
lola: 9035034 markings, 42386932 edges, 41331 markings/sec, 215 secs
lola: 9241561 markings, 43300489 edges, 41305 markings/sec, 220 secs
lola: 9443852 markings, 44236871 edges, 40458 markings/sec, 225 secs
lola: 9645353 markings, 45229091 edges, 40300 markings/sec, 230 secs
lola: 9835533 markings, 46385170 edges, 38036 markings/sec, 235 secs
lola: 10028314 markings, 47448777 edges, 38556 markings/sec, 240 secs
lola: 10216706 markings, 48547452 edges, 37678 markings/sec, 245 secs
lola: 10411107 markings, 49569163 edges, 38880 markings/sec, 250 secs
lola: 10609641 markings, 50478106 edges, 39707 markings/sec, 255 secs
lola: 10801632 markings, 51491774 edges, 38398 markings/sec, 260 secs
lola: 11001006 markings, 52438148 edges, 39875 markings/sec, 265 secs
lola: 11187802 markings, 53476247 edges, 37359 markings/sec, 270 secs
lola: 11392587 markings, 54319359 edges, 40957 markings/sec, 275 secs
lola: 11578943 markings, 55313348 edges, 37271 markings/sec, 280 secs
lola: 11764080 markings, 56297304 edges, 37027 markings/sec, 285 secs
lola: 11955103 markings, 57290175 edges, 38205 markings/sec, 290 secs
lola: 12142808 markings, 58295644 edges, 37541 markings/sec, 295 secs
lola: 12336497 markings, 59214823 edges, 38738 markings/sec, 300 secs
lola: 12546921 markings, 60062492 edges, 42085 markings/sec, 305 secs
lola: 12746489 markings, 61040953 edges, 39914 markings/sec, 310 secs
lola: 12939071 markings, 62022143 edges, 38516 markings/sec, 315 secs
lola: 13137412 markings, 62966252 edges, 39668 markings/sec, 320 secs
lola: 13327070 markings, 63970885 edges, 37932 markings/sec, 325 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 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 169110 markings, 377741 edges, 33822 markings/sec, 0 secs
lola: 333595 markings, 792064 edges, 32897 markings/sec, 5 secs
lola: 492033 markings, 1219499 edges, 31688 markings/sec, 10 secs
lola: 634188 markings, 1627009 edges, 28431 markings/sec, 15 secs
lola: 790370 markings, 1997620 edges, 31236 markings/sec, 20 secs
lola: 946911 markings, 2359814 edges, 31308 markings/sec, 25 secs
lola: 1101951 markings, 2741711 edges, 31008 markings/sec, 30 secs
lola: 1251429 markings, 3084217 edges, 29896 markings/sec, 35 secs
lola: 1400750 markings, 3435972 edges, 29864 markings/sec, 40 secs
lola: 1551437 markings, 3804426 edges, 30137 markings/sec, 45 secs
lola: 1705515 markings, 4157735 edges, 30816 markings/sec, 50 secs
lola: 1872390 markings, 4554581 edges, 33375 markings/sec, 55 secs
lola: 2034370 markings, 4992669 edges, 32396 markings/sec, 60 secs
lola: 2190398 markings, 5423040 edges, 31206 markings/sec, 65 secs
lola: 2345434 markings, 5806918 edges, 31007 markings/sec, 70 secs
lola: 2495896 markings, 6186356 edges, 30092 markings/sec, 75 secs
lola: 2646146 markings, 6561538 edges, 30050 markings/sec, 80 secs
lola: 2807458 markings, 6943797 edges, 32262 markings/sec, 85 secs
lola: 2973007 markings, 7349265 edges, 33110 markings/sec, 90 secs
lola: 3132672 markings, 7802766 edges, 31933 markings/sec, 95 secs
lola: 3283428 markings, 8203546 edges, 30151 markings/sec, 100 secs
lola: 3436386 markings, 8578170 edges, 30592 markings/sec, 105 secs
lola: 3586730 markings, 8962728 edges, 30069 markings/sec, 110 secs
lola: 3736008 markings, 9336311 edges, 29856 markings/sec, 115 secs
lola: 3899030 markings, 9720592 edges, 32604 markings/sec, 120 secs
lola: 4054955 markings, 10157548 edges, 31185 markings/sec, 125 secs
lola: 4202674 markings, 10548396 edges, 29544 markings/sec, 130 secs
lola: 4352037 markings, 11001463 edges, 29873 markings/sec, 135 secs
lola: 4506238 markings, 11410936 edges, 30840 markings/sec, 140 secs
lola: 4655712 markings, 11899975 edges, 29895 markings/sec, 145 secs
lola: 4805490 markings, 12366681 edges, 29956 markings/sec, 150 secs
lola: 4952724 markings, 12884733 edges, 29447 markings/sec, 155 secs
lola: 5100886 markings, 13364414 edges, 29632 markings/sec, 160 secs
lola: 5249719 markings, 13794140 edges, 29767 markings/sec, 165 secs
lola: 5392473 markings, 14293438 edges, 28551 markings/sec, 170 secs
lola: 5537451 markings, 14783182 edges, 28996 markings/sec, 175 secs
lola: 5680822 markings, 15279829 edges, 28674 markings/sec, 180 secs
lola: 5825818 markings, 15796878 edges, 28999 markings/sec, 185 secs
lola: 5972233 markings, 16194622 edges, 29283 markings/sec, 190 secs
lola: 6121743 markings, 16505173 edges, 29902 markings/sec, 195 secs
lola: 6270445 markings, 16817342 edges, 29740 markings/sec, 200 secs
lola: 6426421 markings, 17161487 edges, 31195 markings/sec, 205 secs
lola: 6584063 markings, 17562706 edges, 31528 markings/sec, 210 secs
lola: 6738483 markings, 17926699 edges, 30884 markings/sec, 215 secs
lola: 6895319 markings, 18311795 edges, 31367 markings/sec, 220 secs
lola: 7049330 markings, 18703594 edges, 30802 markings/sec, 225 secs
lola: 7204559 markings, 19090485 edges, 31046 markings/sec, 230 secs
lola: 7360435 markings, 19491432 edges, 31175 markings/sec, 235 secs
lola: 7514616 markings, 19875877 edges, 30836 markings/sec, 240 secs
lola: 7662152 markings, 20285631 edges, 29507 markings/sec, 245 secs
lola: 7810897 markings, 20740871 edges, 29749 markings/sec, 250 secs
lola: 7956143 markings, 21206090 edges, 29049 markings/sec, 255 secs
lola: 8122874 markings, 21598103 edges, 33346 markings/sec, 260 secs
lola: 8285639 markings, 21988820 edges, 32553 markings/sec, 265 secs
lola: 8441450 markings, 22415483 edges, 31162 markings/sec, 270 secs
lola: 8594342 markings, 22797682 edges, 30578 markings/sec, 275 secs
lola: 8741089 markings, 23145126 edges, 29349 markings/sec, 280 secs
lola: 8890538 markings, 23513982 edges, 29890 markings/sec, 285 secs
lola: 9039702 markings, 23865206 edges, 29833 markings/sec, 290 secs
lola: 9198301 markings, 24262707 edges, 31720 markings/sec, 295 secs
lola: 9345445 markings, 24662947 edges, 29429 markings/sec, 300 secs
lola: 9488631 markings, 25033809 edges, 28637 markings/sec, 305 secs
lola: 9645103 markings, 25412080 edges, 31294 markings/sec, 310 secs
lola: 9798564 markings, 25819409 edges, 30692 markings/sec, 315 secs
lola: 9947465 markings, 26185807 edges, 29780 markings/sec, 320 secs
lola: 10103791 markings, 26570910 edges, 31265 markings/sec, 325 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 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p29)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: ========================================
lola: subprocess 13 will run for 444 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 245263 markings, 800465 edges, 49053 markings/sec, 0 secs
lola: 492968 markings, 1677846 edges, 49541 markings/sec, 5 secs
lola: 747778 markings, 2447400 edges, 50962 markings/sec, 10 secs
lola: 997623 markings, 3238834 edges, 49969 markings/sec, 15 secs
lola: 1248736 markings, 4030303 edges, 50223 markings/sec, 20 secs
lola: 1506193 markings, 5018853 edges, 51491 markings/sec, 25 secs
lola: 1758312 markings, 6004116 edges, 50424 markings/sec, 30 secs
lola: 2016184 markings, 6969807 edges, 51574 markings/sec, 35 secs
lola: 2267730 markings, 7801917 edges, 50309 markings/sec, 40 secs
lola: 2519649 markings, 8689053 edges, 50384 markings/sec, 45 secs
lola: 2780668 markings, 9671149 edges, 52204 markings/sec, 50 secs
lola: 3028278 markings, 10525855 edges, 49522 markings/sec, 55 secs
lola: 3262185 markings, 11667197 edges, 46781 markings/sec, 60 secs
lola: 3494584 markings, 12748577 edges, 46480 markings/sec, 65 secs
lola: 3731605 markings, 13805518 edges, 47404 markings/sec, 70 secs
lola: 3963896 markings, 14850664 edges, 46458 markings/sec, 75 secs
lola: 4193567 markings, 15912843 edges, 45934 markings/sec, 80 secs
lola: 4435113 markings, 16905755 edges, 48309 markings/sec, 85 secs
lola: 4674496 markings, 17812920 edges, 47877 markings/sec, 90 secs
lola: 4909600 markings, 18762040 edges, 47021 markings/sec, 95 secs
lola: 5143467 markings, 19721417 edges, 46773 markings/sec, 100 secs
lola: 5397397 markings, 20820690 edges, 50786 markings/sec, 105 secs
lola: 5632938 markings, 21901762 edges, 47108 markings/sec, 110 secs
lola: 5869154 markings, 23072182 edges, 47243 markings/sec, 115 secs
lola: 6121048 markings, 24126552 edges, 50379 markings/sec, 120 secs
lola: 6359164 markings, 25098261 edges, 47623 markings/sec, 125 secs
lola: 6605046 markings, 26065234 edges, 49176 markings/sec, 130 secs
lola: 6847133 markings, 27105645 edges, 48417 markings/sec, 135 secs
lola: 7089920 markings, 28086606 edges, 48557 markings/sec, 140 secs
lola: 7332921 markings, 29137413 edges, 48600 markings/sec, 145 secs
lola: 7567738 markings, 30125435 edges, 46963 markings/sec, 150 secs
lola: 7805327 markings, 31120804 edges, 47518 markings/sec, 155 secs
lola: 8023225 markings, 32377752 edges, 43580 markings/sec, 160 secs
lola: 8241961 markings, 33601368 edges, 43747 markings/sec, 165 secs
lola: 8461760 markings, 34737090 edges, 43960 markings/sec, 170 secs
lola: 8680104 markings, 35862933 edges, 43669 markings/sec, 175 secs
lola: 8902243 markings, 37071781 edges, 44428 markings/sec, 180 secs
lola: 9125612 markings, 38131511 edges, 44674 markings/sec, 185 secs
lola: 9354004 markings, 39275807 edges, 45678 markings/sec, 190 secs
lola: 9584771 markings, 40389600 edges, 46153 markings/sec, 195 secs
lola: 9795132 markings, 41773169 edges, 42072 markings/sec, 200 secs
lola: 10012644 markings, 43065681 edges, 43502 markings/sec, 205 secs
lola: 10242392 markings, 44251121 edges, 45950 markings/sec, 210 secs
lola: 10460696 markings, 45551119 edges, 43661 markings/sec, 215 secs
lola: 10656237 markings, 47099197 edges, 39108 markings/sec, 220 secs
lola: 10863161 markings, 48543773 edges, 41385 markings/sec, 225 secs
lola: 11063166 markings, 50043211 edges, 40001 markings/sec, 230 secs
lola: 11266906 markings, 51481161 edges, 40748 markings/sec, 235 secs
lola: 11479811 markings, 52733498 edges, 42581 markings/sec, 240 secs
lola: 11689849 markings, 54000455 edges, 42008 markings/sec, 245 secs
lola: 11889077 markings, 55391498 edges, 39846 markings/sec, 250 secs
lola: 12067348 markings, 56985740 edges, 35654 markings/sec, 255 secs
lola: 12259495 markings, 58475950 edges, 38429 markings/sec, 260 secs
lola: 12477981 markings, 59795080 edges, 43697 markings/sec, 265 secs
lola: 12680705 markings, 61242888 edges, 40545 markings/sec, 270 secs
lola: 12874722 markings, 62675607 edges, 38803 markings/sec, 275 secs
lola: 13040117 markings, 64511332 edges, 33079 markings/sec, 280 secs
lola: 13226009 markings, 66124723 edges, 37178 markings/sec, 285 secs
lola: 13410232 markings, 67759266 edges, 36845 markings/sec, 290 secs
lola: 13582145 markings, 69420273 edges, 34383 markings/sec, 295 secs
lola: 13763991 markings, 71001338 edges, 36369 markings/sec, 300 secs
lola: 13958645 markings, 72449638 edges, 38931 markings/sec, 305 secs
lola: 14137237 markings, 74048188 edges, 35718 markings/sec, 310 secs
lola: 14311947 markings, 75831020 edges, 34942 markings/sec, 315 secs
lola: 14469947 markings, 77776849 edges, 31600 markings/sec, 320 secs
lola: 14646521 markings, 79528253 edges, 35315 markings/sec, 325 secs
lola: 14818383 markings, 81313445 edges, 34372 markings/sec, 330 secs
lola: 15006146 markings, 82932227 edges, 37553 markings/sec, 335 secs
lola: 15184505 markings, 84719032 edges, 35672 markings/sec, 340 secs
lola: 15410542 markings, 85846271 edges, 45207 markings/sec, 345 secs
lola: 15657979 markings, 86567944 edges, 49487 markings/sec, 350 secs
lola: 15888899 markings, 87390239 edges, 46184 markings/sec, 355 secs
lola: 16126889 markings, 88163174 edges, 47598 markings/sec, 360 secs
lola: 16363288 markings, 88959499 edges, 47280 markings/sec, 365 secs
lola: 16578618 markings, 89889703 edges, 43066 markings/sec, 370 secs
lola: 16798116 markings, 90977166 edges, 43900 markings/sec, 375 secs
lola: 17007798 markings, 92174945 edges, 41936 markings/sec, 380 secs
lola: 17213291 markings, 93338082 edges, 41099 markings/sec, 385 secs
lola: 17411670 markings, 94579105 edges, 39676 markings/sec, 390 secs
lola: 17599299 markings, 95917859 edges, 37526 markings/sec, 395 secs
lola: 17784966 markings, 97237402 edges, 37133 markings/sec, 400 secs
lola: 17973376 markings, 98681200 edges, 37682 markings/sec, 405 secs
lola: 18171329 markings, 99944400 edges, 39591 markings/sec, 410 secs
lola: 18430519 markings, 100664638 edges, 51838 markings/sec, 415 secs
lola: 18674279 markings, 101488987 edges, 48752 markings/sec, 420 secs
lola: 18921712 markings, 102288925 edges, 49487 markings/sec, 425 secs
lola: 19157444 markings, 103147730 edges, 47146 markings/sec, 430 secs
lola: 19373821 markings, 104168565 edges, 43275 markings/sec, 435 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 444 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 470390 markings, 2259960 edges, 94078 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 15 will run for 880 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 149564 markings, 347607 edges, 29913 markings/sec, 0 secs
lola: 294660 markings, 694614 edges, 29019 markings/sec, 5 secs
lola: 445603 markings, 1070199 edges, 30189 markings/sec, 10 secs
lola: 590982 markings, 1478198 edges, 29076 markings/sec, 15 secs
lola: 735413 markings, 1904652 edges, 28886 markings/sec, 20 secs
lola: 879304 markings, 2337618 edges, 28778 markings/sec, 25 secs
lola: 1023764 markings, 2680994 edges, 28892 markings/sec, 30 secs
lola: 1169757 markings, 3041606 edges, 29199 markings/sec, 35 secs
lola: 1312822 markings, 3442655 edges, 28613 markings/sec, 40 secs
lola: 1455703 markings, 3764236 edges, 28576 markings/sec, 45 secs
lola: 1597940 markings, 4095333 edges, 28447 markings/sec, 50 secs
lola: 1741379 markings, 4431461 edges, 28688 markings/sec, 55 secs
lola: 1885340 markings, 4820002 edges, 28792 markings/sec, 60 secs
lola: 2026157 markings, 5165466 edges, 28163 markings/sec, 65 secs
lola: 2167251 markings, 5498983 edges, 28219 markings/sec, 70 secs
lola: 2307323 markings, 5819231 edges, 28014 markings/sec, 75 secs
lola: 2447074 markings, 6127416 edges, 27950 markings/sec, 80 secs
lola: 2585731 markings, 6429860 edges, 27731 markings/sec, 85 secs
lola: 2734715 markings, 6786892 edges, 29797 markings/sec, 90 secs
lola: 2883183 markings, 7150288 edges, 29694 markings/sec, 95 secs
lola: 3027649 markings, 7523454 edges, 28893 markings/sec, 100 secs
lola: 3173508 markings, 7900516 edges, 29172 markings/sec, 105 secs
lola: 3316689 markings, 8297679 edges, 28636 markings/sec, 110 secs
lola: 3455658 markings, 8733621 edges, 27794 markings/sec, 115 secs
lola: 3594905 markings, 9190646 edges, 27849 markings/sec, 120 secs
lola: 3732315 markings, 9643466 edges, 27482 markings/sec, 125 secs
lola: 3870134 markings, 10099857 edges, 27564 markings/sec, 130 secs
lola: 4010332 markings, 10420029 edges, 28040 markings/sec, 135 secs
lola: 4151864 markings, 10794611 edges, 28306 markings/sec, 140 secs
lola: 4289266 markings, 11128695 edges, 27480 markings/sec, 145 secs
lola: 4431811 markings, 11487078 edges, 28509 markings/sec, 150 secs
lola: 4568945 markings, 11844728 edges, 27427 markings/sec, 155 secs
lola: 4706975 markings, 12172610 edges, 27606 markings/sec, 160 secs
lola: 4844654 markings, 12527457 edges, 27536 markings/sec, 165 secs
lola: 4982810 markings, 12871076 edges, 27631 markings/sec, 170 secs
lola: 5119144 markings, 13220662 edges, 27267 markings/sec, 175 secs
lola: 5256523 markings, 13558900 edges, 27476 markings/sec, 180 secs
lola: 5392498 markings, 13887586 edges, 27195 markings/sec, 185 secs
lola: 5527012 markings, 14258089 edges, 26903 markings/sec, 190 secs
lola: 5674386 markings, 14601947 edges, 29475 markings/sec, 195 secs
lola: 5818635 markings, 14972581 edges, 28850 markings/sec, 200 secs
lola: 5958765 markings, 15391607 edges, 28026 markings/sec, 205 secs
lola: 6096365 markings, 15736676 edges, 27520 markings/sec, 210 secs
lola: 6231696 markings, 16074920 edges, 27066 markings/sec, 215 secs
lola: 6368645 markings, 16451539 edges, 27390 markings/sec, 220 secs
lola: 6504972 markings, 16878568 edges, 27265 markings/sec, 225 secs
lola: 6638825 markings, 17320151 edges, 26771 markings/sec, 230 secs
lola: 6778140 markings, 17713859 edges, 27863 markings/sec, 235 secs
lola: 6915443 markings, 18151029 edges, 27461 markings/sec, 240 secs
lola: 7051429 markings, 18551624 edges, 27197 markings/sec, 245 secs
lola: 7189940 markings, 18960961 edges, 27702 markings/sec, 250 secs
lola: 7319798 markings, 19412682 edges, 25972 markings/sec, 255 secs
lola: 7456495 markings, 19798770 edges, 27339 markings/sec, 260 secs
lola: 7586913 markings, 20236545 edges, 26084 markings/sec, 265 secs
lola: 7718117 markings, 20646539 edges, 26241 markings/sec, 270 secs
lola: 7846637 markings, 21089167 edges, 25704 markings/sec, 275 secs
lola: 7976321 markings, 21532083 edges, 25937 markings/sec, 280 secs
lola: 8109629 markings, 21913690 edges, 26662 markings/sec, 285 secs
lola: 8247429 markings, 22255992 edges, 27560 markings/sec, 290 secs
lola: 8384550 markings, 22613364 edges, 27424 markings/sec, 295 secs
lola: 8523143 markings, 22956093 edges, 27719 markings/sec, 300 secs
lola: 8666094 markings, 23363946 edges, 28590 markings/sec, 305 secs
lola: 8804220 markings, 23732463 edges, 27625 markings/sec, 310 secs
lola: 8943513 markings, 24062229 edges, 27859 markings/sec, 315 secs
lola: 9083427 markings, 24480762 edges, 27983 markings/sec, 320 secs
lola: 9219132 markings, 24847878 edges, 27141 markings/sec, 325 secs
lola: 9354842 markings, 25186077 edges, 27142 markings/sec, 330 secs
lola: 9487700 markings, 25563267 edges, 26572 markings/sec, 335 secs
lola: 9618266 markings, 25941577 edges, 26113 markings/sec, 340 secs
lola: 9749569 markings, 26238953 edges, 26261 markings/sec, 345 secs
lola: 9885353 markings, 26567200 edges, 27157 markings/sec, 350 secs
lola: 10017018 markings, 26878652 edges, 26333 markings/sec, 355 secs
lola: 10155091 markings, 27225677 edges, 27615 markings/sec, 360 secs
lola: 10287361 markings, 27545931 edges, 26454 markings/sec, 365 secs
lola: 10425795 markings, 27897855 edges, 27687 markings/sec, 370 secs
lola: 10553929 markings, 28207055 edges, 25627 markings/sec, 375 secs
lola: 10683711 markings, 28491170 edges, 25956 markings/sec, 380 secs
lola: 10823371 markings, 28853877 edges, 27932 markings/sec, 385 secs
lola: 10953703 markings, 29171044 edges, 26066 markings/sec, 390 secs
lola: 11095365 markings, 29541771 edges, 28332 markings/sec, 395 secs
lola: 11233474 markings, 29905138 edges, 27622 markings/sec, 400 secs
lola: 11362069 markings, 30203149 edges, 25719 markings/sec, 405 secs
lola: 11505812 markings, 30590390 edges, 28749 markings/sec, 410 secs
lola: 11647065 markings, 30992730 edges, 28251 markings/sec, 415 secs
lola: 11784091 markings, 31359823 edges, 27405 markings/sec, 420 secs
lola: 11922434 markings, 31700165 edges, 27669 markings/sec, 425 secs
lola: 12064412 markings, 32059338 edges, 28396 markings/sec, 430 secs
lola: 12204370 markings, 32473324 edges, 27992 markings/sec, 435 secs
lola: 12339998 markings, 32952140 edges, 27126 markings/sec, 440 secs
lola: 12477254 markings, 33338033 edges, 27451 markings/sec, 445 secs
lola: 12611576 markings, 33648342 edges, 26864 markings/sec, 450 secs
lola: 12747021 markings, 33970290 edges, 27089 markings/sec, 455 secs
lola: 12886639 markings, 34318972 edges, 27924 markings/sec, 460 secs
lola: 13020912 markings, 34687140 edges, 26855 markings/sec, 465 secs
lola: 13157432 markings, 35082312 edges, 27304 markings/sec, 470 secs
lola: 13293451 markings, 35441567 edges, 27204 markings/sec, 475 secs
lola: 13423160 markings, 35840143 edges, 25942 markings/sec, 480 secs
lola: 13552282 markings, 36226757 edges, 25824 markings/sec, 485 secs
lola: 13686936 markings, 36608700 edges, 26931 markings/sec, 490 secs
lola: 13813550 markings, 36985104 edges, 25323 markings/sec, 495 secs
lola: 13939742 markings, 37258601 edges, 25238 markings/sec, 500 secs
lola: 14072131 markings, 37575121 edges, 26478 markings/sec, 505 secs
lola: 14210656 markings, 37928585 edges, 27705 markings/sec, 510 secs
lola: 14344759 markings, 38293224 edges, 26821 markings/sec, 515 secs
lola: 14478438 markings, 38632064 edges, 26736 markings/sec, 520 secs
lola: 14614878 markings, 38981059 edges, 27288 markings/sec, 525 secs
lola: 14741417 markings, 39264441 edges, 25308 markings/sec, 530 secs
lola: 14867289 markings, 39538363 edges, 25174 markings/sec, 535 secs
lola: 14998028 markings, 39845372 edges, 26148 markings/sec, 540 secs
lola: 15139133 markings, 40205969 edges, 28221 markings/sec, 545 secs
lola: 15273562 markings, 40558252 edges, 26886 markings/sec, 550 secs
lola: 15399022 markings, 40828561 edges, 25092 markings/sec, 555 secs
lola: 15526141 markings, 41105717 edges, 25424 markings/sec, 560 secs
lola: 15654385 markings, 41406509 edges, 25649 markings/sec, 565 secs
lola: 15784098 markings, 41743604 edges, 25943 markings/sec, 570 secs
lola: 15911059 markings, 42085341 edges, 25392 markings/sec, 575 secs
lola: 16037423 markings, 42367041 edges, 25273 markings/sec, 580 secs
lola: 16164457 markings, 42666107 edges, 25407 markings/sec, 585 secs
lola: 16291098 markings, 42968583 edges, 25328 markings/sec, 590 secs
lola: 16417916 markings, 43243126 edges, 25364 markings/sec, 595 secs
lola: 16547331 markings, 43548776 edges, 25883 markings/sec, 600 secs
lola: 16675046 markings, 43851973 edges, 25543 markings/sec, 605 secs
lola: 16809763 markings, 44158443 edges, 26943 markings/sec, 610 secs
lola: 16940814 markings, 44490684 edges, 26210 markings/sec, 615 secs
lola: 17070135 markings, 44827445 edges, 25864 markings/sec, 620 secs
lola: 17195823 markings, 45225771 edges, 25138 markings/sec, 625 secs
lola: 17321905 markings, 45620391 edges, 25216 markings/sec, 630 secs
lola: 17447494 markings, 45893600 edges, 25118 markings/sec, 635 secs
lola: 17575334 markings, 46197374 edges, 25568 markings/sec, 640 secs
lola: 17702645 markings, 46511464 edges, 25462 markings/sec, 645 secs
lola: 17828399 markings, 46785351 edges, 25151 markings/sec, 650 secs
lola: 17952896 markings, 47057906 edges, 24899 markings/sec, 655 secs
lola: 18082175 markings, 47383209 edges, 25856 markings/sec, 660 secs
lola: 18207052 markings, 47654206 edges, 24975 markings/sec, 665 secs
lola: 18351238 markings, 47991276 edges, 28837 markings/sec, 670 secs
lola: 18498588 markings, 48353556 edges, 29470 markings/sec, 675 secs
lola: 18648066 markings, 48721299 edges, 29896 markings/sec, 680 secs
lola: 18791616 markings, 49107160 edges, 28710 markings/sec, 685 secs
lola: 18933077 markings, 49520323 edges, 28292 markings/sec, 690 secs
lola: 19074227 markings, 49939815 edges, 28230 markings/sec, 695 secs
lola: 19214339 markings, 50346182 edges, 28022 markings/sec, 700 secs
lola: 19355786 markings, 50682864 edges, 28289 markings/sec, 705 secs
lola: 19499416 markings, 51048214 edges, 28726 markings/sec, 710 secs
lola: 19638181 markings, 51466314 edges, 27753 markings/sec, 715 secs
lola: 19771484 markings, 51764542 edges, 26661 markings/sec, 720 secs
lola: 19900452 markings, 52067964 edges, 25794 markings/sec, 725 secs
lola: 20036985 markings, 52402013 edges, 27307 markings/sec, 730 secs
lola: 20178064 markings, 52743047 edges, 28216 markings/sec, 735 secs
lola: 20315980 markings, 53129424 edges, 27583 markings/sec, 740 secs
lola: 20455085 markings, 53455212 edges, 27821 markings/sec, 745 secs
lola: 20592406 markings, 53788904 edges, 27464 markings/sec, 750 secs
lola: 20728986 markings, 54088941 edges, 27316 markings/sec, 755 secs
lola: 20864554 markings, 54387263 edges, 27114 markings/sec, 760 secs
lola: 21001309 markings, 54682225 edges, 27351 markings/sec, 765 secs
lola: 21147598 markings, 55058842 edges, 29258 markings/sec, 770 secs
lola: 21294137 markings, 55409479 edges, 29308 markings/sec, 775 secs
lola: 21435812 markings, 55804467 edges, 28335 markings/sec, 780 secs
lola: 21580318 markings, 56182556 edges, 28901 markings/sec, 785 secs
lola: 21722117 markings, 56551194 edges, 28360 markings/sec, 790 secs
lola: 21863529 markings, 56957840 edges, 28282 markings/sec, 795 secs
lola: 21999356 markings, 57370670 edges, 27165 markings/sec, 800 secs
lola: 22136297 markings, 57807232 edges, 27388 markings/sec, 805 secs
lola: 22269287 markings, 58258752 edges, 26598 markings/sec, 810 secs
lola: 22404638 markings, 58707785 edges, 27070 markings/sec, 815 secs
lola: 22538184 markings, 59140610 edges, 26709 markings/sec, 820 secs
lola: 22674992 markings, 59458997 edges, 27362 markings/sec, 825 secs
lola: 22813844 markings, 59847126 edges, 27770 markings/sec, 830 secs
lola: 22946788 markings, 60178074 edges, 26589 markings/sec, 835 secs
lola: 23082740 markings, 60498197 edges, 27190 markings/sec, 840 secs
lola: 23221197 markings, 60867452 edges, 27691 markings/sec, 845 secs
lola: 23354680 markings, 61216179 edges, 26697 markings/sec, 850 secs
lola: 23487734 markings, 61524086 edges, 26611 markings/sec, 855 secs
lola: 23622613 markings, 61865222 edges, 26976 markings/sec, 860 secs
lola: 23752060 markings, 62198177 edges, 25889 markings/sec, 865 secs
lola: 23884108 markings, 62534545 edges, 26410 markings/sec, 870 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: 10 unknown unknown unknown unknown 5 unknown 10 10 unknown unknown unknown 5 unknown 10
FORMULA PermAdmissibility-COL-05-UpperBounds-0 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-5 5 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-7 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-8 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-12 5 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-14 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496383989629

--------------------
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_PermAdmissibility-COL-05"
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_PermAdmissibility-COL-05.tgz
mv S_PermAdmissibility-COL-05 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_PermAdmissibility-COL-05, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r118-blw7-149441650200362"
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 ;