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

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

=== Now, execution of the tool begins

BK_START 1496381254266


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PermAdmissibility-COL-10: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PermAdmissibility-COL-10: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PermAdmissibility-COL-10 @ 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-10-UpperBounds.task
lola: MAX(p82) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7) : MAX(p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197) : MAX(p8) : MAX(p101) : MAX(p100 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206) : MAX(p80 + p79 + p78 + p77 + p76 + p75 + p74 + p81) : MAX(p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187) : MAX(p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32) : MAX(p100 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p8) : MAX(p8) : MAX(p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150) : MAX(p100 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126)
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(p82)
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: 269811 markings, 1539929 edges, 53962 markings/sec, 0 secs
lola: 570999 markings, 3635463 edges, 60238 markings/sec, 5 secs
lola: 834761 markings, 5721212 edges, 52752 markings/sec, 10 secs
lola: 1142978 markings, 7546476 edges, 61643 markings/sec, 15 secs
lola: 1430596 markings, 9514410 edges, 57524 markings/sec, 20 secs
lola: 1712743 markings, 11568125 edges, 56429 markings/sec, 25 secs
lola: 1960180 markings, 13554702 edges, 49487 markings/sec, 30 secs
lola: 2235248 markings, 15720266 edges, 55014 markings/sec, 35 secs
lola: 2488913 markings, 17928572 edges, 50733 markings/sec, 40 secs
lola: 2749970 markings, 20134505 edges, 52211 markings/sec, 45 secs
lola: 3054115 markings, 22085460 edges, 60829 markings/sec, 50 secs
lola: 3341027 markings, 23992156 edges, 57382 markings/sec, 55 secs
lola: 3616947 markings, 25863336 edges, 55184 markings/sec, 60 secs
lola: 3870039 markings, 28005117 edges, 50618 markings/sec, 65 secs
lola: 4138732 markings, 30072738 edges, 53739 markings/sec, 70 secs
lola: 4394561 markings, 32121677 edges, 51166 markings/sec, 75 secs
lola: 4613487 markings, 34290201 edges, 43785 markings/sec, 80 secs
lola: 4898805 markings, 35996670 edges, 57064 markings/sec, 85 secs
lola: 5178463 markings, 38011288 edges, 55932 markings/sec, 90 secs
lola: 5456988 markings, 39988113 edges, 55705 markings/sec, 95 secs
lola: 5719052 markings, 42058773 edges, 52413 markings/sec, 100 secs
lola: 6002418 markings, 43919467 edges, 56673 markings/sec, 105 secs
lola: 6260486 markings, 45950645 edges, 51614 markings/sec, 110 secs
lola: 6514327 markings, 47964308 edges, 50768 markings/sec, 115 secs
lola: 6780552 markings, 49914933 edges, 53245 markings/sec, 120 secs
lola: 7028453 markings, 52101634 edges, 49580 markings/sec, 125 secs
lola: 7263417 markings, 54348120 edges, 46993 markings/sec, 130 secs
lola: 7515376 markings, 56366424 edges, 50392 markings/sec, 135 secs
lola: 7739448 markings, 58589847 edges, 44814 markings/sec, 140 secs
lola: 7978695 markings, 60737536 edges, 47849 markings/sec, 145 secs
lola: 8242349 markings, 62831691 edges, 52731 markings/sec, 150 secs
lola: 8467270 markings, 65117885 edges, 44984 markings/sec, 155 secs
lola: 8717550 markings, 67217229 edges, 50056 markings/sec, 160 secs
lola: 8931151 markings, 69464483 edges, 42720 markings/sec, 165 secs
lola: 9182888 markings, 71512503 edges, 50347 markings/sec, 170 secs
lola: 9468638 markings, 73364246 edges, 57150 markings/sec, 175 secs
lola: 9727741 markings, 75368219 edges, 51821 markings/sec, 180 secs
lola: 10015903 markings, 77375425 edges, 57632 markings/sec, 185 secs
lola: 10296461 markings, 79249286 edges, 56112 markings/sec, 190 secs
lola: 10575508 markings, 81163758 edges, 55809 markings/sec, 195 secs
lola: 10851251 markings, 83004859 edges, 55149 markings/sec, 200 secs
lola: 11114463 markings, 84913438 edges, 52642 markings/sec, 205 secs
lola: 11361827 markings, 86878472 edges, 49473 markings/sec, 210 secs
lola: 11591186 markings, 88976886 edges, 45872 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(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 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: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197)
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: 365555 markings, 1519265 edges, 73111 markings/sec, 0 secs
lola: 731490 markings, 3321200 edges, 73187 markings/sec, 5 secs
lola: 1096683 markings, 5252888 edges, 73039 markings/sec, 10 secs
lola: 1452973 markings, 7204766 edges, 71258 markings/sec, 15 secs
lola: 1802119 markings, 9173595 edges, 69829 markings/sec, 20 secs
lola: 2150165 markings, 11170465 edges, 69609 markings/sec, 25 secs
lola: 2474979 markings, 13345034 edges, 64963 markings/sec, 30 secs
lola: 2795714 markings, 15113247 edges, 64147 markings/sec, 35 secs
lola: 3133535 markings, 16768731 edges, 67564 markings/sec, 40 secs
lola: 3456424 markings, 18517525 edges, 64578 markings/sec, 45 secs
lola: 3783236 markings, 20380622 edges, 65362 markings/sec, 50 secs
lola: 4096923 markings, 22504664 edges, 62737 markings/sec, 55 secs
lola: 4441950 markings, 24468388 edges, 69005 markings/sec, 60 secs
lola: 4770899 markings, 26473449 edges, 65790 markings/sec, 65 secs
lola: 5076662 markings, 28569885 edges, 61153 markings/sec, 70 secs
lola: 5377665 markings, 30702042 edges, 60201 markings/sec, 75 secs
lola: 5698923 markings, 32693670 edges, 64252 markings/sec, 80 secs
lola: 6011458 markings, 34839855 edges, 62507 markings/sec, 85 secs
lola: 6313916 markings, 36998187 edges, 60492 markings/sec, 90 secs
lola: 6613181 markings, 39271440 edges, 59853 markings/sec, 95 secs
lola: 6905395 markings, 41605014 edges, 58443 markings/sec, 100 secs
lola: 7259156 markings, 43550032 edges, 70752 markings/sec, 105 secs
lola: 7608011 markings, 45270072 edges, 69771 markings/sec, 110 secs
lola: 7941049 markings, 47173552 edges, 66608 markings/sec, 115 secs
lola: 8265929 markings, 49029820 edges, 64976 markings/sec, 120 secs
lola: 8574624 markings, 51159618 edges, 61739 markings/sec, 125 secs
lola: 8914120 markings, 52992129 edges, 67899 markings/sec, 130 secs
lola: 9239557 markings, 54958646 edges, 65087 markings/sec, 135 secs
lola: 9556232 markings, 57118541 edges, 63335 markings/sec, 140 secs
lola: 9864170 markings, 59301307 edges, 61588 markings/sec, 145 secs
lola: 10182094 markings, 61318534 edges, 63585 markings/sec, 150 secs
lola: 10501424 markings, 63441846 edges, 63866 markings/sec, 155 secs
lola: 10809465 markings, 65608468 edges, 61608 markings/sec, 160 secs
lola: 11095634 markings, 67931128 edges, 57234 markings/sec, 165 secs
lola: 11378405 markings, 70294933 edges, 56554 markings/sec, 170 secs
lola: 11745609 markings, 71961621 edges, 73441 markings/sec, 175 secs
lola: 12033025 markings, 73716575 edges, 57483 markings/sec, 180 secs
lola: 12349592 markings, 75468884 edges, 63313 markings/sec, 185 secs
lola: 12642152 markings, 77361528 edges, 58512 markings/sec, 190 secs
lola: 12932517 markings, 79431862 edges, 58073 markings/sec, 195 secs
lola: 13233439 markings, 81399230 edges, 60184 markings/sec, 200 secs
lola: 13516845 markings, 83534882 edges, 56681 markings/sec, 205 secs
lola: 13786562 markings, 85797628 edges, 53943 markings/sec, 210 secs
lola: 14089680 markings, 87975267 edges, 60624 markings/sec, 215 secs
lola: 14385115 markings, 89786722 edges, 59087 markings/sec, 220 secs
lola: 14686083 markings, 91860040 edges, 60194 markings/sec, 225 secs
lola: 14950075 markings, 93926496 edges, 52798 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(p8)
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 4 will run for 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p101)
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: 188136 markings, 827873 edges, 37627 markings/sec, 0 secs
lola: 384397 markings, 1675922 edges, 39252 markings/sec, 5 secs
lola: 584449 markings, 2465981 edges, 40010 markings/sec, 10 secs
lola: 780123 markings, 3264091 edges, 39135 markings/sec, 15 secs
lola: 966546 markings, 4049788 edges, 37285 markings/sec, 20 secs
lola: 1156180 markings, 4919736 edges, 37927 markings/sec, 25 secs
lola: 1347338 markings, 6025189 edges, 38232 markings/sec, 30 secs
lola: 1514462 markings, 7382885 edges, 33425 markings/sec, 35 secs
lola: 1679429 markings, 8388872 edges, 32993 markings/sec, 40 secs
lola: 1846788 markings, 9592179 edges, 33472 markings/sec, 45 secs
lola: 2011284 markings, 10641531 edges, 32899 markings/sec, 50 secs
lola: 2188712 markings, 11596120 edges, 35486 markings/sec, 55 secs
lola: 2359430 markings, 12754023 edges, 34144 markings/sec, 60 secs
lola: 2529967 markings, 13839164 edges, 34107 markings/sec, 65 secs
lola: 2705156 markings, 14695704 edges, 35038 markings/sec, 70 secs
lola: 2884245 markings, 15767237 edges, 35818 markings/sec, 75 secs
lola: 3054935 markings, 16809654 edges, 34138 markings/sec, 80 secs
lola: 3218893 markings, 17835156 edges, 32792 markings/sec, 85 secs
lola: 3376393 markings, 18857789 edges, 31500 markings/sec, 90 secs
lola: 3550878 markings, 19761265 edges, 34897 markings/sec, 95 secs
lola: 3720101 markings, 20790047 edges, 33845 markings/sec, 100 secs
lola: 3895040 markings, 21820534 edges, 34988 markings/sec, 105 secs
lola: 4085580 markings, 22691471 edges, 38108 markings/sec, 110 secs
lola: 4276927 markings, 23520518 edges, 38269 markings/sec, 115 secs
lola: 4465728 markings, 24374064 edges, 37760 markings/sec, 120 secs
lola: 4639213 markings, 25606651 edges, 34697 markings/sec, 125 secs
lola: 4802684 markings, 26799337 edges, 32694 markings/sec, 130 secs
lola: 4968009 markings, 27881954 edges, 33065 markings/sec, 135 secs
lola: 5131143 markings, 29037384 edges, 32627 markings/sec, 140 secs
lola: 5305455 markings, 29985412 edges, 34862 markings/sec, 145 secs
lola: 5473589 markings, 31119806 edges, 33627 markings/sec, 150 secs
lola: 5628219 markings, 32230080 edges, 30926 markings/sec, 155 secs
lola: 5798284 markings, 33223481 edges, 34013 markings/sec, 160 secs
lola: 5971904 markings, 34254762 edges, 34724 markings/sec, 165 secs
lola: 6147379 markings, 35452104 edges, 35095 markings/sec, 170 secs
lola: 6312002 markings, 36628749 edges, 32925 markings/sec, 175 secs
lola: 6470702 markings, 37803111 edges, 31740 markings/sec, 180 secs
lola: 6641540 markings, 38782014 edges, 34168 markings/sec, 185 secs
lola: 6807402 markings, 39726246 edges, 33172 markings/sec, 190 secs
lola: 6972815 markings, 40668648 edges, 33083 markings/sec, 195 secs
lola: 7131460 markings, 41931037 edges, 31729 markings/sec, 200 secs
lola: 7287936 markings, 43071969 edges, 31295 markings/sec, 205 secs
lola: 7442896 markings, 44181733 edges, 30992 markings/sec, 210 secs
lola: 7589129 markings, 45298804 edges, 29247 markings/sec, 215 secs
lola: 7741727 markings, 46343755 edges, 30520 markings/sec, 220 secs
lola: 7906184 markings, 47335250 edges, 32891 markings/sec, 225 secs
lola: 8060760 markings, 48427512 edges, 30915 markings/sec, 230 secs
lola: 8246199 markings, 49411285 edges, 37088 markings/sec, 235 secs
lola: 8438692 markings, 50257435 edges, 38499 markings/sec, 240 secs
lola: 8626301 markings, 51065730 edges, 37522 markings/sec, 245 secs
lola: 8808466 markings, 52099980 edges, 36433 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(p100 + p93 + p94 + p95 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 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: 257921 markings, 638804 edges, 51584 markings/sec, 0 secs
lola: 518146 markings, 1246517 edges, 52045 markings/sec, 5 secs
lola: 777040 markings, 1910137 edges, 51779 markings/sec, 10 secs
lola: 1026942 markings, 2543517 edges, 49980 markings/sec, 15 secs
lola: 1279136 markings, 3164379 edges, 50439 markings/sec, 20 secs
lola: 1504769 markings, 3831288 edges, 45127 markings/sec, 25 secs
lola: 1728470 markings, 4568906 edges, 44740 markings/sec, 30 secs
lola: 1942237 markings, 5247274 edges, 42753 markings/sec, 35 secs
lola: 2147460 markings, 5786000 edges, 41045 markings/sec, 40 secs
lola: 2390081 markings, 6358483 edges, 48524 markings/sec, 45 secs
lola: 2639434 markings, 6999365 edges, 49871 markings/sec, 50 secs
lola: 2866415 markings, 7628611 edges, 45396 markings/sec, 55 secs
lola: 3113663 markings, 8237678 edges, 49450 markings/sec, 60 secs
lola: 3350218 markings, 8904700 edges, 47311 markings/sec, 65 secs
lola: 3581252 markings, 9501383 edges, 46207 markings/sec, 70 secs
lola: 3814995 markings, 10066423 edges, 46749 markings/sec, 75 secs
lola: 4035633 markings, 10707482 edges, 44128 markings/sec, 80 secs
lola: 4266352 markings, 11281519 edges, 46144 markings/sec, 85 secs
lola: 4503313 markings, 11882186 edges, 47392 markings/sec, 90 secs
lola: 4720029 markings, 12511848 edges, 43343 markings/sec, 95 secs
lola: 4945560 markings, 13074787 edges, 45106 markings/sec, 100 secs
lola: 5168078 markings, 13652895 edges, 44504 markings/sec, 105 secs
lola: 5403700 markings, 14345941 edges, 47124 markings/sec, 110 secs
lola: 5634915 markings, 15185460 edges, 46243 markings/sec, 115 secs
lola: 5850848 markings, 16134027 edges, 43187 markings/sec, 120 secs
lola: 6064966 markings, 17161773 edges, 42824 markings/sec, 125 secs
lola: 6276268 markings, 18059728 edges, 42260 markings/sec, 130 secs
lola: 6491430 markings, 18946888 edges, 43032 markings/sec, 135 secs
lola: 6696577 markings, 19828670 edges, 41029 markings/sec, 140 secs
lola: 6907923 markings, 20718840 edges, 42269 markings/sec, 145 secs
lola: 7118769 markings, 21437577 edges, 42169 markings/sec, 150 secs
lola: 7319878 markings, 22279691 edges, 40222 markings/sec, 155 secs
lola: 7522519 markings, 23126237 edges, 40528 markings/sec, 160 secs
lola: 7747039 markings, 23848278 edges, 44904 markings/sec, 165 secs
lola: 7969352 markings, 24631037 edges, 44463 markings/sec, 170 secs
lola: 8185001 markings, 25595429 edges, 43130 markings/sec, 175 secs
lola: 8376346 markings, 26495793 edges, 38269 markings/sec, 180 secs
lola: 8572559 markings, 27325847 edges, 39243 markings/sec, 185 secs
lola: 8790581 markings, 28231068 edges, 43604 markings/sec, 190 secs
lola: 8999179 markings, 29082638 edges, 41720 markings/sec, 195 secs
lola: 9197877 markings, 29906406 edges, 39740 markings/sec, 200 secs
lola: 9389650 markings, 30872203 edges, 38355 markings/sec, 205 secs
lola: 9600698 markings, 31628200 edges, 42210 markings/sec, 210 secs
lola: 9794192 markings, 32602961 edges, 38699 markings/sec, 215 secs
lola: 9972341 markings, 33545561 edges, 35630 markings/sec, 220 secs
lola: 10174580 markings, 34426207 edges, 40448 markings/sec, 225 secs
lola: 10359243 markings, 35338883 edges, 36933 markings/sec, 230 secs
lola: 10545937 markings, 36245145 edges, 37339 markings/sec, 235 secs
lola: 10742762 markings, 37125058 edges, 39365 markings/sec, 240 secs
lola: 10916553 markings, 38115836 edges, 34758 markings/sec, 245 secs
lola: 11105390 markings, 38990365 edges, 37767 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 256 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: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 336268 markings, 707169 edges, 67254 markings/sec, 0 secs
lola: 668214 markings, 1609150 edges, 66389 markings/sec, 5 secs
lola: 975637 markings, 2843265 edges, 61485 markings/sec, 10 secs
lola: 1287010 markings, 3902703 edges, 62275 markings/sec, 15 secs
lola: 1606577 markings, 4920157 edges, 63913 markings/sec, 20 secs
lola: 1913842 markings, 6012304 edges, 61453 markings/sec, 25 secs
lola: 2186886 markings, 7538169 edges, 54609 markings/sec, 30 secs
lola: 2468476 markings, 8896223 edges, 56318 markings/sec, 35 secs
lola: 2736363 markings, 10561157 edges, 53577 markings/sec, 40 secs
lola: 3024132 markings, 11668349 edges, 57554 markings/sec, 45 secs
lola: 3308203 markings, 12755118 edges, 56814 markings/sec, 50 secs
lola: 3580610 markings, 13874868 edges, 54481 markings/sec, 55 secs
lola: 3843648 markings, 15028502 edges, 52608 markings/sec, 60 secs
lola: 4111303 markings, 16197990 edges, 53531 markings/sec, 65 secs
lola: 4374408 markings, 17396933 edges, 52621 markings/sec, 70 secs
lola: 4633547 markings, 18599295 edges, 51828 markings/sec, 75 secs
lola: 4884997 markings, 19856877 edges, 50290 markings/sec, 80 secs
lola: 5149776 markings, 20924538 edges, 52956 markings/sec, 85 secs
lola: 5448323 markings, 21883944 edges, 59709 markings/sec, 90 secs
lola: 5751064 markings, 23048743 edges, 60548 markings/sec, 95 secs
lola: 6042537 markings, 24351870 edges, 58295 markings/sec, 100 secs
lola: 6348871 markings, 25448866 edges, 61267 markings/sec, 105 secs
lola: 6622194 markings, 26597222 edges, 54665 markings/sec, 110 secs
lola: 6897869 markings, 27454593 edges, 55135 markings/sec, 115 secs
lola: 7186547 markings, 28161216 edges, 57736 markings/sec, 120 secs
lola: 7471505 markings, 28795135 edges, 56992 markings/sec, 125 secs
lola: 7741393 markings, 30274767 edges, 53978 markings/sec, 130 secs
lola: 8055075 markings, 31127085 edges, 62736 markings/sec, 135 secs
lola: 8369260 markings, 31832011 edges, 62837 markings/sec, 140 secs
lola: 8609009 markings, 33955351 edges, 47950 markings/sec, 145 secs
lola: 8905872 markings, 34945310 edges, 59373 markings/sec, 150 secs
lola: 9222063 markings, 35778262 edges, 63238 markings/sec, 155 secs
lola: 9531338 markings, 36599204 edges, 61855 markings/sec, 160 secs
lola: 9850227 markings, 37251161 edges, 63778 markings/sec, 165 secs
lola: 10082663 markings, 39674365 edges, 46487 markings/sec, 170 secs
lola: 10320164 markings, 40872168 edges, 47500 markings/sec, 175 secs
lola: 10587329 markings, 41985024 edges, 53433 markings/sec, 180 secs
lola: 10885062 markings, 43072293 edges, 59547 markings/sec, 185 secs
lola: 11172003 markings, 44102283 edges, 57388 markings/sec, 190 secs
lola: 11465811 markings, 45262842 edges, 58762 markings/sec, 195 secs
lola: 11740785 markings, 46520997 edges, 54995 markings/sec, 200 secs
lola: 11995412 markings, 48034043 edges, 50925 markings/sec, 205 secs
lola: 12268870 markings, 48972262 edges, 54692 markings/sec, 210 secs
lola: 12539864 markings, 49786630 edges, 54199 markings/sec, 215 secs
lola: 12801666 markings, 50624335 edges, 52360 markings/sec, 220 secs
lola: 13091441 markings, 51258396 edges, 57955 markings/sec, 225 secs
lola: 13374042 markings, 51876341 edges, 56520 markings/sec, 230 secs
lola: 13632897 markings, 53009257 edges, 51771 markings/sec, 235 secs
lola: 13884000 markings, 54389865 edges, 50221 markings/sec, 240 secs
lola: 14183965 markings, 55247857 edges, 59993 markings/sec, 245 secs
lola: 14480304 markings, 56162000 edges, 59268 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 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p80 + p79 + p78 + p77 + p76 + p75 + p74 + p81)
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: 512540 markings, 2542387 edges, 102508 markings/sec, 0 secs
lola: 996992 markings, 5082907 edges, 96890 markings/sec, 5 secs
lola: 1453272 markings, 7626029 edges, 91256 markings/sec, 10 secs
lola: 1911182 markings, 10130597 edges, 91582 markings/sec, 15 secs
lola: 2347081 markings, 12527506 edges, 87180 markings/sec, 20 secs
lola: 2767657 markings, 14926061 edges, 84115 markings/sec, 25 secs
lola: 3225826 markings, 17565528 edges, 91634 markings/sec, 30 secs
lola: 3662538 markings, 20204069 edges, 87342 markings/sec, 35 secs
lola: 4069406 markings, 22721370 edges, 81374 markings/sec, 40 secs
lola: 4529933 markings, 25355362 edges, 92105 markings/sec, 45 secs
lola: 4950749 markings, 27913244 edges, 84163 markings/sec, 50 secs
lola: 5357857 markings, 30460029 edges, 81422 markings/sec, 55 secs
lola: 5762703 markings, 33156501 edges, 80969 markings/sec, 60 secs
lola: 6220826 markings, 35988921 edges, 91625 markings/sec, 65 secs
lola: 6658925 markings, 38488633 edges, 87620 markings/sec, 70 secs
lola: 7089101 markings, 41117434 edges, 86035 markings/sec, 75 secs
lola: 7508817 markings, 43843010 edges, 83943 markings/sec, 80 secs
lola: 7967586 markings, 46385765 edges, 91754 markings/sec, 85 secs
lola: 8382469 markings, 48814010 edges, 82977 markings/sec, 90 secs
lola: 8791996 markings, 51379561 edges, 81905 markings/sec, 95 secs
lola: 9203918 markings, 53999721 edges, 82384 markings/sec, 100 secs
lola: 9622215 markings, 56456284 edges, 83659 markings/sec, 105 secs
lola: 10013005 markings, 58687578 edges, 78158 markings/sec, 110 secs
lola: 10409692 markings, 61005052 edges, 79337 markings/sec, 115 secs
lola: 10795452 markings, 63412655 edges, 77152 markings/sec, 120 secs
lola: 11171878 markings, 65828919 edges, 75285 markings/sec, 125 secs
lola: 11551920 markings, 68260621 edges, 76008 markings/sec, 130 secs
lola: 11934176 markings, 70673974 edges, 76451 markings/sec, 135 secs
lola: 12311436 markings, 73061272 edges, 75452 markings/sec, 140 secs
lola: 12728279 markings, 75469420 edges, 83369 markings/sec, 145 secs
lola: 13140528 markings, 77821466 edges, 82450 markings/sec, 150 secs
lola: 13537564 markings, 80191251 edges, 79407 markings/sec, 155 secs
lola: 13936311 markings, 82668291 edges, 79749 markings/sec, 160 secs
lola: 14311630 markings, 85148864 edges, 75064 markings/sec, 165 secs
lola: 14707756 markings, 87625721 edges, 79225 markings/sec, 170 secs
lola: 15100700 markings, 90059284 edges, 78589 markings/sec, 175 secs
lola: 15475621 markings, 92491396 edges, 74984 markings/sec, 180 secs
lola: 15853927 markings, 94779297 edges, 75661 markings/sec, 185 secs
lola: 16215320 markings, 97185480 edges, 72279 markings/sec, 190 secs
lola: 16582380 markings, 99553764 edges, 73412 markings/sec, 195 secs
lola: 17011269 markings, 101927135 edges, 85778 markings/sec, 200 secs
lola: 17407864 markings, 104242502 edges, 79319 markings/sec, 205 secs
lola: 17802524 markings, 106695983 edges, 78932 markings/sec, 210 secs
lola: 18173692 markings, 109137631 edges, 74234 markings/sec, 215 secs
lola: 18571770 markings, 111622515 edges, 79616 markings/sec, 220 secs
lola: 18961628 markings, 114043948 edges, 77972 markings/sec, 225 secs
lola: 19350081 markings, 116464103 edges, 77691 markings/sec, 230 secs
lola: 19708126 markings, 118806223 edges, 71609 markings/sec, 235 secs
lola: 20071365 markings, 121167087 edges, 72648 markings/sec, 240 secs
lola: 20480014 markings, 123523765 edges, 81730 markings/sec, 245 secs
lola: 20875757 markings, 125778774 edges, 79149 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187)
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: 238666 markings, 706980 edges, 47733 markings/sec, 0 secs
lola: 471645 markings, 1363674 edges, 46596 markings/sec, 5 secs
lola: 700845 markings, 2100403 edges, 45840 markings/sec, 10 secs
lola: 925019 markings, 3235596 edges, 44835 markings/sec, 15 secs
lola: 1118643 markings, 4311985 edges, 38725 markings/sec, 20 secs
lola: 1329993 markings, 5390700 edges, 42270 markings/sec, 25 secs
lola: 1516535 markings, 6266207 edges, 37308 markings/sec, 30 secs
lola: 1725375 markings, 7255701 edges, 41768 markings/sec, 35 secs
lola: 1919331 markings, 8229475 edges, 38791 markings/sec, 40 secs
lola: 2119554 markings, 9160057 edges, 40045 markings/sec, 45 secs
lola: 2315988 markings, 10017469 edges, 39287 markings/sec, 50 secs
lola: 2535325 markings, 10693276 edges, 43867 markings/sec, 55 secs
lola: 2757298 markings, 11441874 edges, 44395 markings/sec, 60 secs
lola: 2956320 markings, 12637501 edges, 39804 markings/sec, 65 secs
lola: 3145605 markings, 13772051 edges, 37857 markings/sec, 70 secs
lola: 3342402 markings, 14673545 edges, 39359 markings/sec, 75 secs
lola: 3533989 markings, 15689434 edges, 38317 markings/sec, 80 secs
lola: 3725120 markings, 16601622 edges, 38226 markings/sec, 85 secs
lola: 3918749 markings, 17683165 edges, 38726 markings/sec, 90 secs
lola: 4102129 markings, 18684201 edges, 36676 markings/sec, 95 secs
lola: 4279480 markings, 19540445 edges, 35470 markings/sec, 100 secs
lola: 4463982 markings, 20477673 edges, 36900 markings/sec, 105 secs
lola: 4637467 markings, 21423712 edges, 34697 markings/sec, 110 secs
lola: 4859932 markings, 22127129 edges, 44493 markings/sec, 115 secs
lola: 5074325 markings, 22860916 edges, 42879 markings/sec, 120 secs
lola: 5264211 markings, 24052637 edges, 37977 markings/sec, 125 secs
lola: 5442724 markings, 25015272 edges, 35703 markings/sec, 130 secs
lola: 5634420 markings, 26010158 edges, 38339 markings/sec, 135 secs
lola: 5820850 markings, 26992395 edges, 37286 markings/sec, 140 secs
lola: 6016020 markings, 28100170 edges, 39034 markings/sec, 145 secs
lola: 6212808 markings, 29417124 edges, 39358 markings/sec, 150 secs
lola: 6406993 markings, 30713517 edges, 38837 markings/sec, 155 secs
lola: 6596698 markings, 31941718 edges, 37941 markings/sec, 160 secs
lola: 6776090 markings, 32934191 edges, 35878 markings/sec, 165 secs
lola: 6959729 markings, 33856013 edges, 36728 markings/sec, 170 secs
lola: 7146668 markings, 34938005 edges, 37388 markings/sec, 175 secs
lola: 7334543 markings, 36123873 edges, 37575 markings/sec, 180 secs
lola: 7510629 markings, 37094951 edges, 35217 markings/sec, 185 secs
lola: 7701650 markings, 38049983 edges, 38204 markings/sec, 190 secs
lola: 7884640 markings, 39220858 edges, 36598 markings/sec, 195 secs
lola: 8070491 markings, 40420131 edges, 37170 markings/sec, 200 secs
lola: 8242147 markings, 41302662 edges, 34331 markings/sec, 205 secs
lola: 8415162 markings, 42349037 edges, 34603 markings/sec, 210 secs
lola: 8607737 markings, 43275217 edges, 38515 markings/sec, 215 secs
lola: 8808729 markings, 44171513 edges, 40198 markings/sec, 220 secs
lola: 9005535 markings, 44967841 edges, 39361 markings/sec, 225 secs
lola: 9191698 markings, 45918999 edges, 37233 markings/sec, 230 secs
lola: 9377832 markings, 46779500 edges, 37227 markings/sec, 235 secs
lola: 9559866 markings, 47713455 edges, 36407 markings/sec, 240 secs
lola: 9744514 markings, 48873524 edges, 36930 markings/sec, 245 secs
lola: 9922276 markings, 49842026 edges, 35552 markings/sec, 250 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 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32)
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: 259744 markings, 642814 edges, 51949 markings/sec, 0 secs
lola: 522449 markings, 1256035 edges, 52541 markings/sec, 5 secs
lola: 783748 markings, 1927357 edges, 52260 markings/sec, 10 secs
lola: 1033138 markings, 2559164 edges, 49878 markings/sec, 15 secs
lola: 1285908 markings, 3184912 edges, 50554 markings/sec, 20 secs
lola: 1522375 markings, 3887993 edges, 47293 markings/sec, 25 secs
lola: 1748825 markings, 4615664 edges, 45290 markings/sec, 30 secs
lola: 1974241 markings, 5407368 edges, 45083 markings/sec, 35 secs
lola: 2188599 markings, 5870112 edges, 42872 markings/sec, 40 secs
lola: 2444838 markings, 6502009 edges, 51248 markings/sec, 45 secs
lola: 2687061 markings, 7140977 edges, 48445 markings/sec, 50 secs
lola: 2921539 markings, 7757740 edges, 46896 markings/sec, 55 secs
lola: 3171217 markings, 8384700 edges, 49936 markings/sec, 60 secs
lola: 3397505 markings, 9027216 edges, 45258 markings/sec, 65 secs
lola: 3627223 markings, 9610495 edges, 45944 markings/sec, 70 secs
lola: 3867384 markings, 10208278 edges, 48032 markings/sec, 75 secs
lola: 4089438 markings, 10829482 edges, 44411 markings/sec, 80 secs
lola: 4322898 markings, 11431145 edges, 46692 markings/sec, 85 secs
lola: 4563889 markings, 12041326 edges, 48198 markings/sec, 90 secs
lola: 4783185 markings, 12651056 edges, 43859 markings/sec, 95 secs
lola: 5010326 markings, 13245998 edges, 45428 markings/sec, 100 secs
lola: 5239491 markings, 13856019 edges, 45833 markings/sec, 105 secs
lola: 5468657 markings, 14535255 edges, 45833 markings/sec, 110 secs
lola: 5694786 markings, 15465621 edges, 45226 markings/sec, 115 secs
lola: 5919491 markings, 16458441 edges, 44941 markings/sec, 120 secs
lola: 6132261 markings, 17450944 edges, 42554 markings/sec, 125 secs
lola: 6341476 markings, 18329294 edges, 41843 markings/sec, 130 secs
lola: 6554517 markings, 19230013 edges, 42608 markings/sec, 135 secs
lola: 6763565 markings, 20120692 edges, 41810 markings/sec, 140 secs
lola: 6974544 markings, 20971627 edges, 42196 markings/sec, 145 secs
lola: 7186171 markings, 21717918 edges, 42325 markings/sec, 150 secs
lola: 7388223 markings, 22547391 edges, 40410 markings/sec, 155 secs
lola: 7591735 markings, 23402353 edges, 40702 markings/sec, 160 secs
lola: 7821520 markings, 24068689 edges, 45957 markings/sec, 165 secs
lola: 8043020 markings, 24935749 edges, 44300 markings/sec, 170 secs
lola: 8255203 markings, 25936200 edges, 42437 markings/sec, 175 secs
lola: 8452660 markings, 26828135 edges, 39491 markings/sec, 180 secs
lola: 8651507 markings, 27667231 edges, 39769 markings/sec, 185 secs
lola: 8874903 markings, 28602649 edges, 44679 markings/sec, 190 secs
lola: 9076133 markings, 29402679 edges, 40246 markings/sec, 195 secs
lola: 9271751 markings, 30303260 edges, 39124 markings/sec, 200 secs
lola: 9472166 markings, 31133050 edges, 40083 markings/sec, 205 secs
lola: 9676780 markings, 32027295 edges, 40923 markings/sec, 210 secs
lola: 9865217 markings, 32952001 edges, 37687 markings/sec, 215 secs
lola: 10048116 markings, 33842214 edges, 36580 markings/sec, 220 secs
lola: 10246010 markings, 34766139 edges, 39579 markings/sec, 225 secs
lola: 10432617 markings, 35627943 edges, 37321 markings/sec, 230 secs
lola: 10617670 markings, 36559686 edges, 37011 markings/sec, 235 secs
lola: 10805630 markings, 37495754 edges, 37592 markings/sec, 240 secs
lola: 10984846 markings, 38440203 edges, 35843 markings/sec, 245 secs
lola: 11174481 markings, 39326050 edges, 37927 markings/sec, 250 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 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p93 + p94 + p95 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 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: 260754 markings, 645115 edges, 52151 markings/sec, 0 secs
lola: 522040 markings, 1255126 edges, 52257 markings/sec, 5 secs
lola: 780739 markings, 1919645 edges, 51740 markings/sec, 10 secs
lola: 1029643 markings, 2550379 edges, 49781 markings/sec, 15 secs
lola: 1282486 markings, 3174837 edges, 50569 markings/sec, 20 secs
lola: 1519928 markings, 3880528 edges, 47488 markings/sec, 25 secs
lola: 1745647 markings, 4607867 edges, 45144 markings/sec, 30 secs
lola: 1971706 markings, 5394691 edges, 45212 markings/sec, 35 secs
lola: 2185763 markings, 5864424 edges, 42811 markings/sec, 40 secs
lola: 2441042 markings, 6492216 edges, 51056 markings/sec, 45 secs
lola: 2682816 markings, 7129816 edges, 48355 markings/sec, 50 secs
lola: 2916901 markings, 7745416 edges, 46817 markings/sec, 55 secs
lola: 3167106 markings, 8375607 edges, 50041 markings/sec, 60 secs
lola: 3394931 markings, 9021851 edges, 45565 markings/sec, 65 secs
lola: 3625819 markings, 9607571 edges, 46178 markings/sec, 70 secs
lola: 3867336 markings, 10208183 edges, 48303 markings/sec, 75 secs
lola: 4091147 markings, 10833129 edges, 44762 markings/sec, 80 secs
lola: 4326570 markings, 11442005 edges, 47085 markings/sec, 85 secs
lola: 4570631 markings, 12059148 edges, 48812 markings/sec, 90 secs
lola: 4794045 markings, 12678061 edges, 44683 markings/sec, 95 secs
lola: 5023088 markings, 13275619 edges, 45809 markings/sec, 100 secs
lola: 5255688 markings, 13906595 edges, 46520 markings/sec, 105 secs
lola: 5486019 markings, 14588315 edges, 46066 markings/sec, 110 secs
lola: 5712476 markings, 15538543 edges, 45291 markings/sec, 115 secs
lola: 5936456 markings, 16539292 edges, 44796 markings/sec, 120 secs
lola: 6148758 markings, 17518790 edges, 42460 markings/sec, 125 secs
lola: 6357942 markings, 18393054 edges, 41837 markings/sec, 130 secs
lola: 6568537 markings, 19300298 edges, 42119 markings/sec, 135 secs
lola: 6776188 markings, 20171221 edges, 41530 markings/sec, 140 secs
lola: 6985723 markings, 21003190 edges, 41907 markings/sec, 145 secs
lola: 7195389 markings, 21759307 edges, 41933 markings/sec, 150 secs
lola: 7397110 markings, 22582910 edges, 40344 markings/sec, 155 secs
lola: 7601692 markings, 23429977 edges, 40916 markings/sec, 160 secs
lola: 7829671 markings, 24091618 edges, 45596 markings/sec, 165 secs
lola: 8051749 markings, 24967193 edges, 44416 markings/sec, 170 secs
lola: 8263725 markings, 25981879 edges, 42395 markings/sec, 175 secs
lola: 8460581 markings, 26861448 edges, 39371 markings/sec, 180 secs
lola: 8662535 markings, 27713769 edges, 40391 markings/sec, 185 secs
lola: 8882467 markings, 28632759 edges, 43986 markings/sec, 190 secs
lola: 9081382 markings, 29434977 edges, 39783 markings/sec, 195 secs
lola: 9276336 markings, 30333207 edges, 38991 markings/sec, 200 secs
lola: 9477019 markings, 31151318 edges, 40137 markings/sec, 205 secs
lola: 9681164 markings, 32042355 edges, 40829 markings/sec, 210 secs
lola: 9867805 markings, 32968943 edges, 37328 markings/sec, 215 secs
lola: 10050457 markings, 33850671 edges, 36530 markings/sec, 220 secs
lola: 10247463 markings, 34773353 edges, 39401 markings/sec, 225 secs
lola: 10433117 markings, 35630595 edges, 37131 markings/sec, 230 secs
lola: 10617217 markings, 36556750 edges, 36820 markings/sec, 235 secs
lola: 10804687 markings, 37489585 edges, 37494 markings/sec, 240 secs
lola: 10982888 markings, 38431167 edges, 35640 markings/sec, 245 secs
lola: 11172835 markings, 39315791 edges, 37989 markings/sec, 250 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 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p8)
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 12 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p8)
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 13 will run for 428 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)
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: 275042 markings, 1168637 edges, 55008 markings/sec, 0 secs
lola: 548472 markings, 2564639 edges, 54686 markings/sec, 5 secs
lola: 820646 markings, 3863790 edges, 54435 markings/sec, 10 secs
lola: 1082720 markings, 5158037 edges, 52415 markings/sec, 15 secs
lola: 1341944 markings, 6486015 edges, 51845 markings/sec, 20 secs
lola: 1607982 markings, 7793668 edges, 53208 markings/sec, 25 secs
lola: 1879441 markings, 9106041 edges, 54292 markings/sec, 30 secs
lola: 2147846 markings, 10380006 edges, 53681 markings/sec, 35 secs
lola: 2409303 markings, 11748031 edges, 52291 markings/sec, 40 secs
lola: 2660843 markings, 13218516 edges, 50308 markings/sec, 45 secs
lola: 2916461 markings, 14704735 edges, 51124 markings/sec, 50 secs
lola: 3169972 markings, 16169192 edges, 50702 markings/sec, 55 secs
lola: 3413288 markings, 17524404 edges, 48663 markings/sec, 60 secs
lola: 3657167 markings, 18882823 edges, 48776 markings/sec, 65 secs
lola: 3899437 markings, 20310021 edges, 48454 markings/sec, 70 secs
lola: 4135511 markings, 21721124 edges, 47215 markings/sec, 75 secs
lola: 4384400 markings, 23096423 edges, 49778 markings/sec, 80 secs
lola: 4631932 markings, 24477977 edges, 49506 markings/sec, 85 secs
lola: 4883820 markings, 25887065 edges, 50378 markings/sec, 90 secs
lola: 5128369 markings, 27280197 edges, 48910 markings/sec, 95 secs
lola: 5377324 markings, 28713098 edges, 49791 markings/sec, 100 secs
lola: 5619293 markings, 30346729 edges, 48394 markings/sec, 105 secs
lola: 5850904 markings, 31855508 edges, 46322 markings/sec, 110 secs
lola: 6082628 markings, 33388643 edges, 46345 markings/sec, 115 secs
lola: 6321360 markings, 34927785 edges, 47746 markings/sec, 120 secs
lola: 6578908 markings, 36298603 edges, 51510 markings/sec, 125 secs
lola: 6830151 markings, 37646006 edges, 50249 markings/sec, 130 secs
lola: 7077048 markings, 39015464 edges, 49379 markings/sec, 135 secs
lola: 7306849 markings, 40545022 edges, 45960 markings/sec, 140 secs
lola: 7534366 markings, 42246710 edges, 45503 markings/sec, 145 secs
lola: 7777172 markings, 43769028 edges, 48561 markings/sec, 150 secs
lola: 8015094 markings, 45303657 edges, 47584 markings/sec, 155 secs
lola: 8273002 markings, 46758531 edges, 51582 markings/sec, 160 secs
lola: 8526728 markings, 48235848 edges, 50745 markings/sec, 165 secs
lola: 8753540 markings, 49830554 edges, 45362 markings/sec, 170 secs
lola: 8980529 markings, 51447312 edges, 45398 markings/sec, 175 secs
lola: 9209862 markings, 52829215 edges, 45867 markings/sec, 180 secs
lola: 9432765 markings, 54347823 edges, 44581 markings/sec, 185 secs
lola: 9669434 markings, 55775352 edges, 47334 markings/sec, 190 secs
lola: 9896090 markings, 57236975 edges, 45331 markings/sec, 195 secs
lola: 10124289 markings, 58691004 edges, 45640 markings/sec, 200 secs
lola: 10351082 markings, 60230397 edges, 45359 markings/sec, 205 secs
lola: 10588434 markings, 61674705 edges, 47470 markings/sec, 210 secs
lola: 10806470 markings, 63175229 edges, 43607 markings/sec, 215 secs
lola: 11030003 markings, 64616874 edges, 44707 markings/sec, 220 secs
lola: 11266054 markings, 66024101 edges, 47210 markings/sec, 225 secs
lola: 11501906 markings, 67528325 edges, 47170 markings/sec, 230 secs
lola: 11731530 markings, 69026866 edges, 45925 markings/sec, 235 secs
lola: 11956201 markings, 70492464 edges, 44934 markings/sec, 240 secs
lola: 12195946 markings, 71871691 edges, 47949 markings/sec, 245 secs
lola: 12430395 markings, 73397157 edges, 46890 markings/sec, 250 secs
lola: 12660219 markings, 74909160 edges, 45965 markings/sec, 255 secs
lola: 12888736 markings, 76341641 edges, 45703 markings/sec, 260 secs
lola: 13115204 markings, 77779983 edges, 45294 markings/sec, 265 secs
lola: 13352918 markings, 79116275 edges, 47543 markings/sec, 270 secs
lola: 13599974 markings, 80692638 edges, 49411 markings/sec, 275 secs
lola: 13834060 markings, 82282501 edges, 46817 markings/sec, 280 secs
lola: 14065688 markings, 83830432 edges, 46326 markings/sec, 285 secs
lola: 14303650 markings, 85373724 edges, 47592 markings/sec, 290 secs
lola: 14539651 markings, 86889643 edges, 47200 markings/sec, 295 secs
lola: 14760307 markings, 88508040 edges, 44131 markings/sec, 300 secs
lola: 14983935 markings, 90269483 edges, 44726 markings/sec, 305 secs
lola: 15197501 markings, 91993441 edges, 42713 markings/sec, 310 secs
lola: 15406306 markings, 93648207 edges, 41761 markings/sec, 315 secs
lola: 15616975 markings, 95336842 edges, 42134 markings/sec, 320 secs
lola: 15827449 markings, 96973098 edges, 42095 markings/sec, 325 secs
lola: 16039538 markings, 98623633 edges, 42418 markings/sec, 330 secs
lola: 16252213 markings, 100283052 edges, 42535 markings/sec, 335 secs
lola: 16482567 markings, 101800817 edges, 46071 markings/sec, 340 secs
lola: 16706810 markings, 103353486 edges, 44849 markings/sec, 345 secs
lola: 16919837 markings, 105030330 edges, 42605 markings/sec, 350 secs
lola: 17143143 markings, 106780991 edges, 44661 markings/sec, 355 secs
lola: 17353689 markings, 108334655 edges, 42109 markings/sec, 360 secs
lola: 17569125 markings, 109902814 edges, 43087 markings/sec, 365 secs
lola: 17779686 markings, 111537504 edges, 42112 markings/sec, 370 secs
lola: 17987899 markings, 113086143 edges, 41643 markings/sec, 375 secs
lola: 18200323 markings, 114691948 edges, 42485 markings/sec, 380 secs
lola: 18419704 markings, 116286817 edges, 43876 markings/sec, 385 secs
lola: 18626696 markings, 117830570 edges, 41398 markings/sec, 390 secs
lola: 18855253 markings, 119466609 edges, 45711 markings/sec, 395 secs
lola: 19072509 markings, 121099346 edges, 43451 markings/sec, 400 secs
lola: 19288888 markings, 122727763 edges, 43276 markings/sec, 405 secs
lola: 19489792 markings, 124533669 edges, 40181 markings/sec, 410 secs
lola: 19678858 markings, 126247820 edges, 37813 markings/sec, 415 secs
lola: 19874937 markings, 127981615 edges, 39216 markings/sec, 420 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 428 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p93 + p94 + p95 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 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: 260968 markings, 645570 edges, 52194 markings/sec, 0 secs
lola: 522403 markings, 1255937 edges, 52287 markings/sec, 5 secs
lola: 781347 markings, 1921027 edges, 51789 markings/sec, 10 secs
lola: 1030216 markings, 2551811 edges, 49774 markings/sec, 15 secs
lola: 1282153 markings, 3173951 edges, 50387 markings/sec, 20 secs
lola: 1518587 markings, 3876177 edges, 47287 markings/sec, 25 secs
lola: 1743846 markings, 4604020 edges, 45052 markings/sec, 30 secs
lola: 1969003 markings, 5381165 edges, 45031 markings/sec, 35 secs
lola: 2182725 markings, 5858327 edges, 42744 markings/sec, 40 secs
lola: 2437789 markings, 6483817 edges, 51013 markings/sec, 45 secs
lola: 2678997 markings, 7118446 edges, 48242 markings/sec, 50 secs
lola: 2911721 markings, 7733066 edges, 46545 markings/sec, 55 secs
lola: 3160439 markings, 8358914 edges, 49744 markings/sec, 60 secs
lola: 3387330 markings, 9004775 edges, 45378 markings/sec, 65 secs
lola: 3616208 markings, 9587265 edges, 45776 markings/sec, 70 secs
lola: 3855029 markings, 10175436 edges, 47764 markings/sec, 75 secs
lola: 4074539 markings, 10792425 edges, 43902 markings/sec, 80 secs
lola: 4310119 markings, 11398393 edges, 47116 markings/sec, 85 secs
lola: 4552680 markings, 12012316 edges, 48512 markings/sec, 90 secs
lola: 4772618 markings, 12628202 edges, 43988 markings/sec, 95 secs
lola: 5003429 markings, 13226876 edges, 46162 markings/sec, 100 secs
lola: 5231594 markings, 13833177 edges, 45633 markings/sec, 105 secs
lola: 5462957 markings, 14519398 edges, 46273 markings/sec, 110 secs
lola: 5689780 markings, 15438903 edges, 45365 markings/sec, 115 secs
lola: 5913750 markings, 16435599 edges, 44794 markings/sec, 120 secs
lola: 6126044 markings, 17420333 edges, 42459 markings/sec, 125 secs
lola: 6335690 markings, 18305746 edges, 41929 markings/sec, 130 secs
lola: 6547017 markings, 19195451 edges, 42265 markings/sec, 135 secs
lola: 6752681 markings, 20069394 edges, 41133 markings/sec, 140 secs
lola: 6962519 markings, 20937350 edges, 41968 markings/sec, 145 secs
lola: 7176134 markings, 21665698 edges, 42723 markings/sec, 150 secs
lola: 7378392 markings, 22505948 edges, 40452 markings/sec, 155 secs
lola: 7581458 markings, 23364883 edges, 40613 markings/sec, 160 secs
lola: 7812842 markings, 24044736 edges, 46277 markings/sec, 165 secs
lola: 8034673 markings, 24913355 edges, 44366 markings/sec, 170 secs
lola: 8250088 markings, 25915025 edges, 43083 markings/sec, 175 secs
lola: 8449114 markings, 26812400 edges, 39805 markings/sec, 180 secs
lola: 8647254 markings, 27653713 edges, 39628 markings/sec, 185 secs
lola: 8872189 markings, 28591652 edges, 44987 markings/sec, 190 secs
lola: 9073479 markings, 29390503 edges, 40258 markings/sec, 195 secs
lola: 9270543 markings, 30295336 edges, 39413 markings/sec, 200 secs
lola: 9471940 markings, 31132343 edges, 40279 markings/sec, 205 secs
lola: 9676780 markings, 32027295 edges, 40968 markings/sec, 210 secs
lola: 9865515 markings, 32953877 edges, 37747 markings/sec, 215 secs
lola: 10048744 markings, 33844427 edges, 36646 markings/sec, 220 secs
lola: 10246860 markings, 34771318 edges, 39623 markings/sec, 225 secs
lola: 10433533 markings, 35632411 edges, 37335 markings/sec, 230 secs
lola: 10618398 markings, 36564351 edges, 36973 markings/sec, 235 secs
lola: 10806352 markings, 37500694 edges, 37591 markings/sec, 240 secs
lola: 10985483 markings, 38442511 edges, 35826 markings/sec, 245 secs
lola: 11175148 markings, 39328295 edges, 37933 markings/sec, 250 secs
lola: 11359955 markings, 40025051 edges, 36961 markings/sec, 255 secs
lola: 11540561 markings, 40613440 edges, 36121 markings/sec, 260 secs
lola: 11722826 markings, 41193964 edges, 36453 markings/sec, 265 secs
lola: 11900488 markings, 41779736 edges, 35532 markings/sec, 270 secs
lola: 12120498 markings, 42505595 edges, 44002 markings/sec, 275 secs
lola: 12335097 markings, 43481163 edges, 42920 markings/sec, 280 secs
lola: 12546983 markings, 44311508 edges, 42377 markings/sec, 285 secs
lola: 12773410 markings, 45163234 edges, 45285 markings/sec, 290 secs
lola: 12978492 markings, 46032409 edges, 41016 markings/sec, 295 secs
lola: 13196693 markings, 46766299 edges, 43640 markings/sec, 300 secs
lola: 13399022 markings, 47695981 edges, 40466 markings/sec, 305 secs
lola: 13591238 markings, 48541435 edges, 38443 markings/sec, 310 secs
lola: 13800264 markings, 49403881 edges, 41805 markings/sec, 315 secs
lola: 13990182 markings, 50211757 edges, 37984 markings/sec, 320 secs
lola: 14189816 markings, 51056873 edges, 39927 markings/sec, 325 secs
lola: 14368675 markings, 51924979 edges, 35772 markings/sec, 330 secs
lola: 14543801 markings, 52546472 edges, 35025 markings/sec, 335 secs
lola: 14757564 markings, 53337606 edges, 42753 markings/sec, 340 secs
lola: 14966551 markings, 54241975 edges, 41797 markings/sec, 345 secs
lola: 15187999 markings, 54961288 edges, 44290 markings/sec, 350 secs
lola: 15384557 markings, 55910018 edges, 39312 markings/sec, 355 secs
lola: 15593905 markings, 56728698 edges, 41870 markings/sec, 360 secs
lola: 15795748 markings, 57602515 edges, 40369 markings/sec, 365 secs
lola: 15993528 markings, 58403362 edges, 39556 markings/sec, 370 secs
lola: 16178883 markings, 59296102 edges, 37071 markings/sec, 375 secs
lola: 16358467 markings, 59988975 edges, 35917 markings/sec, 380 secs
lola: 16560173 markings, 60697121 edges, 40341 markings/sec, 385 secs
lola: 16764637 markings, 61563914 edges, 40893 markings/sec, 390 secs
lola: 16966606 markings, 62401707 edges, 40394 markings/sec, 395 secs
lola: 17156273 markings, 63192813 edges, 37933 markings/sec, 400 secs
lola: 17329201 markings, 63792314 edges, 34586 markings/sec, 405 secs
lola: 17515182 markings, 64396095 edges, 37196 markings/sec, 410 secs
lola: 17719135 markings, 65231603 edges, 40791 markings/sec, 415 secs
lola: 17916178 markings, 66061723 edges, 39409 markings/sec, 420 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 427 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126)
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: 384172 markings, 622245 edges, 76834 markings/sec, 0 secs
lola: 762043 markings, 1305756 edges, 75574 markings/sec, 5 secs
lola: 1119491 markings, 2086474 edges, 71490 markings/sec, 10 secs
lola: 1475221 markings, 2859130 edges, 71146 markings/sec, 15 secs
lola: 1836251 markings, 3645731 edges, 72206 markings/sec, 20 secs
lola: 2177247 markings, 4475812 edges, 68199 markings/sec, 25 secs
lola: 2501735 markings, 5404166 edges, 64898 markings/sec, 30 secs
lola: 2821046 markings, 6317547 edges, 63862 markings/sec, 35 secs
lola: 3085408 markings, 7006474 edges, 52872 markings/sec, 40 secs
lola: 3333307 markings, 7783140 edges, 49580 markings/sec, 45 secs
lola: 3578592 markings, 8542676 edges, 49057 markings/sec, 50 secs
lola: 3811820 markings, 9495693 edges, 46646 markings/sec, 55 secs
lola: 4053622 markings, 10367146 edges, 48360 markings/sec, 60 secs
lola: 4297709 markings, 11169240 edges, 48817 markings/sec, 65 secs
lola: 4527709 markings, 12146825 edges, 46000 markings/sec, 70 secs
lola: 4767856 markings, 13013516 edges, 48029 markings/sec, 75 secs
lola: 5008955 markings, 13838827 edges, 48220 markings/sec, 80 secs
lola: 5239346 markings, 14824621 edges, 46078 markings/sec, 85 secs
lola: 5474365 markings, 15726642 edges, 47004 markings/sec, 90 secs
lola: 5702515 markings, 16742707 edges, 45630 markings/sec, 95 secs
lola: 5950661 markings, 17626136 edges, 49629 markings/sec, 100 secs
lola: 6218242 markings, 18414736 edges, 53516 markings/sec, 105 secs
lola: 6475213 markings, 19184491 edges, 51394 markings/sec, 110 secs
lola: 6727384 markings, 19959480 edges, 50434 markings/sec, 115 secs
lola: 6982058 markings, 20713850 edges, 50935 markings/sec, 120 secs
lola: 7244967 markings, 21513039 edges, 52582 markings/sec, 125 secs
lola: 7493145 markings, 22381905 edges, 49636 markings/sec, 130 secs
lola: 7758911 markings, 23186417 edges, 53153 markings/sec, 135 secs
lola: 8020109 markings, 23904032 edges, 52240 markings/sec, 140 secs
lola: 8279099 markings, 24630370 edges, 51798 markings/sec, 145 secs
lola: 8527063 markings, 25554701 edges, 49593 markings/sec, 150 secs
lola: 8777775 markings, 26545498 edges, 50142 markings/sec, 155 secs
lola: 9039000 markings, 27205388 edges, 52245 markings/sec, 160 secs
lola: 9314587 markings, 27900492 edges, 55117 markings/sec, 165 secs
lola: 9543973 markings, 28941501 edges, 45877 markings/sec, 170 secs
lola: 9782931 markings, 29839704 edges, 47792 markings/sec, 175 secs
lola: 10036474 markings, 30571790 edges, 50709 markings/sec, 180 secs
lola: 10279819 markings, 31300253 edges, 48669 markings/sec, 185 secs
lola: 10520672 markings, 32164703 edges, 48171 markings/sec, 190 secs
lola: 10786925 markings, 32931969 edges, 53251 markings/sec, 195 secs
lola: 11019643 markings, 33764800 edges, 46544 markings/sec, 200 secs
lola: 11277866 markings, 34501972 edges, 51645 markings/sec, 205 secs
lola: 11527104 markings, 35300889 edges, 49848 markings/sec, 210 secs
lola: 11787112 markings, 36133455 edges, 52002 markings/sec, 215 secs
lola: 12049437 markings, 36893795 edges, 52465 markings/sec, 220 secs
lola: 12329693 markings, 37562445 edges, 56051 markings/sec, 225 secs
lola: 12556486 markings, 38593711 edges, 45359 markings/sec, 230 secs
lola: 12795716 markings, 39500174 edges, 47846 markings/sec, 235 secs
lola: 13049376 markings, 40244786 edges, 50732 markings/sec, 240 secs
lola: 13315522 markings, 41131278 edges, 53229 markings/sec, 245 secs
lola: 13591423 markings, 41989646 edges, 55180 markings/sec, 250 secs
lola: 13836581 markings, 42886152 edges, 49032 markings/sec, 255 secs
lola: 14084933 markings, 43712414 edges, 49670 markings/sec, 260 secs
lola: 14323751 markings, 44469622 edges, 47764 markings/sec, 265 secs
lola: 14554777 markings, 45100318 edges, 46205 markings/sec, 270 secs
lola: 14803431 markings, 45836329 edges, 49731 markings/sec, 275 secs
lola: 15071854 markings, 46527199 edges, 53685 markings/sec, 280 secs
lola: 15306940 markings, 47264457 edges, 47017 markings/sec, 285 secs
lola: 15577222 markings, 47946731 edges, 54056 markings/sec, 290 secs
lola: 15812013 markings, 48862850 edges, 46958 markings/sec, 295 secs
lola: 16061110 markings, 49704358 edges, 49819 markings/sec, 300 secs
lola: 16314512 markings, 50434319 edges, 50680 markings/sec, 305 secs
lola: 16540626 markings, 51316651 edges, 45223 markings/sec, 310 secs
lola: 16791446 markings, 52029084 edges, 50164 markings/sec, 315 secs
lola: 17040498 markings, 52743876 edges, 49810 markings/sec, 320 secs
lola: 17269501 markings, 53510264 edges, 45801 markings/sec, 325 secs
lola: 17450942 markings, 54013834 edges, 36288 markings/sec, 330 secs
lola: 17704517 markings, 54697000 edges, 50715 markings/sec, 335 secs
lola: 17952171 markings, 55496068 edges, 49531 markings/sec, 340 secs
lola: 18212015 markings, 56261594 edges, 51969 markings/sec, 345 secs
lola: 18451732 markings, 57041239 edges, 47943 markings/sec, 350 secs
lola: 18697077 markings, 57918110 edges, 49069 markings/sec, 355 secs
lola: 18936891 markings, 58689753 edges, 47963 markings/sec, 360 secs
lola: 19171041 markings, 59379824 edges, 46830 markings/sec, 365 secs
lola: 19413720 markings, 60099595 edges, 48536 markings/sec, 370 secs
lola: 19626439 markings, 60798096 edges, 42544 markings/sec, 375 secs
lola: 19855633 markings, 61556097 edges, 45839 markings/sec, 380 secs
lola: 20076917 markings, 62239469 edges, 44257 markings/sec, 385 secs
lola: 20303600 markings, 62948995 edges, 45337 markings/sec, 390 secs
lola: 20540752 markings, 63630525 edges, 47430 markings/sec, 395 secs
lola: 20769991 markings, 64412865 edges, 45848 markings/sec, 400 secs
lola: 20991981 markings, 65130407 edges, 44398 markings/sec, 405 secs
lola: 21240327 markings, 65810848 edges, 49669 markings/sec, 410 secs
lola: 21455036 markings, 66553768 edges, 42942 markings/sec, 415 secs
lola: 21663126 markings, 67376845 edges, 41618 markings/sec, 420 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown 20 unknown 10 unknown unknown unknown unknown unknown unknown unknown 10 10 unknown unknown unknown
FORMULA PermAdmissibility-COL-10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-1 20 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-3 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-11 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-12 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496384794324

--------------------
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-10"
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-10.tgz
mv S_PermAdmissibility-COL-10 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-10, 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-149441650200371"
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 ;