About the Execution of LoLA for S_MultiwaySync-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9366.180 | 3540217.00 | 3550114.00 | 222.50 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
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_MultiwaySync-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441650000218
=====================================================================
--------------------
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 MultiwaySync-PT-none-UpperBounds-0
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-1
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-10
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-11
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-12
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-13
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-14
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-15
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-2
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-3
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-4
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-5
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-6
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-7
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-8
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496362481246
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_MultiwaySync-PT-none: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_MultiwaySync-PT-none: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_MultiwaySync-PT-none @ 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: 694/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 222 places, 472 transitions, 197 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 547 transition conflict sets
lola: TASK
lola: reading formula from MultiwaySync-PT-none-UpperBounds.task
lola: MAX(p25) : MAX(p13) : MAX(p198) : MAX(p71) : MAX(p159) : MAX(p195) : MAX(p42) : MAX(p20) : MAX(p30) : MAX(p78) : MAX(p211) : MAX(p48) : MAX(p205) : MAX(p214) : MAX(p21) : MAX(p169)
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(p25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 1167025 markings, 2880411 edges, 233405 markings/sec, 0 secs
lola: 2246993 markings, 5755339 edges, 215994 markings/sec, 5 secs
lola: 3332440 markings, 8747522 edges, 217089 markings/sec, 10 secs
lola: 4285026 markings, 11445403 edges, 190517 markings/sec, 15 secs
lola: 5327048 markings, 14429235 edges, 208404 markings/sec, 20 secs
lola: 6349153 markings, 17403208 edges, 204421 markings/sec, 25 secs
lola: 7336048 markings, 20304662 edges, 197379 markings/sec, 30 secs
lola: 8302501 markings, 23165440 edges, 193291 markings/sec, 35 secs
lola: 9199994 markings, 25883858 edges, 179499 markings/sec, 40 secs
lola: 10119646 markings, 28694977 edges, 183930 markings/sec, 45 secs
lola: 10951695 markings, 31260313 edges, 166410 markings/sec, 50 secs
lola: 11851533 markings, 34072985 edges, 179968 markings/sec, 55 secs
lola: 12738839 markings, 36881488 edges, 177461 markings/sec, 60 secs
lola: 13608327 markings, 39675288 edges, 173898 markings/sec, 65 secs
lola: 14460720 markings, 42456594 edges, 170479 markings/sec, 70 secs
lola: 15266871 markings, 45140394 edges, 161230 markings/sec, 75 secs
lola: 16055000 markings, 47812353 edges, 157626 markings/sec, 80 secs
lola: 16821978 markings, 50483298 edges, 153396 markings/sec, 85 secs
lola: 17525663 markings, 53010126 edges, 140737 markings/sec, 90 secs
lola: 18221069 markings, 55644552 edges, 139081 markings/sec, 95 secs
lola: 18876444 markings, 58470216 edges, 131075 markings/sec, 100 secs
lola: 19073662 markings, 62155314 edges, 39444 markings/sec, 105 secs
lola: 19083769 markings, 66177223 edges, 2021 markings/sec, 110 secs
lola: 19089851 markings, 70387195 edges, 1216 markings/sec, 115 secs
lola: 19094478 markings, 74688088 edges, 925 markings/sec, 120 secs
lola: 19098486 markings, 78950923 edges, 802 markings/sec, 125 secs
lola: 19101958 markings, 83440285 edges, 694 markings/sec, 130 secs
lola: 19104914 markings, 88024517 edges, 591 markings/sec, 135 secs
lola: 19107702 markings, 92644938 edges, 558 markings/sec, 140 secs
lola: 19110303 markings, 97330812 edges, 520 markings/sec, 145 secs
lola: 19112641 markings, 102066978 edges, 468 markings/sec, 150 secs
lola: 19114868 markings, 106870429 edges, 445 markings/sec, 155 secs
lola: 19116788 markings, 111749464 edges, 384 markings/sec, 160 secs
lola: 19118545 markings, 116220486 edges, 351 markings/sec, 165 secs
lola: 19120149 markings, 121011161 edges, 321 markings/sec, 170 secs
lola: 19121752 markings, 125922278 edges, 321 markings/sec, 175 secs
lola: 19123288 markings, 130992523 edges, 307 markings/sec, 180 secs
lola: 19124579 markings, 136089589 edges, 258 markings/sec, 185 secs
lola: 19126024 markings, 141134501 edges, 289 markings/sec, 190 secs
lola: 19127154 markings, 146244165 edges, 226 markings/sec, 195 secs
lola: 19128321 markings, 151449219 edges, 233 markings/sec, 200 secs
lola: 19129133 markings, 156670603 edges, 162 markings/sec, 205 secs
lola: 19129928 markings, 161944111 edges, 159 markings/sec, 210 secs
lola: 19130364 markings, 167252147 edges, 87 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(p13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 1171310 markings, 2891274 edges, 234262 markings/sec, 0 secs
lola: 2319929 markings, 5955747 edges, 229724 markings/sec, 5 secs
lola: 3420623 markings, 8991338 edges, 220139 markings/sec, 10 secs
lola: 4475361 markings, 11996165 edges, 210948 markings/sec, 15 secs
lola: 5519391 markings, 14991029 edges, 208806 markings/sec, 20 secs
lola: 6539873 markings, 17964494 edges, 204096 markings/sec, 25 secs
lola: 7552036 markings, 20935573 edges, 202433 markings/sec, 30 secs
lola: 8536019 markings, 23867294 edges, 196797 markings/sec, 35 secs
lola: 9494241 markings, 26777562 edges, 191644 markings/sec, 40 secs
lola: 10434383 markings, 29661855 edges, 188028 markings/sec, 45 secs
lola: 11360385 markings, 32532778 edges, 185200 markings/sec, 50 secs
lola: 12265553 markings, 35379077 edges, 181034 markings/sec, 55 secs
lola: 13149487 markings, 38195995 edges, 176787 markings/sec, 60 secs
lola: 14008200 markings, 40976195 edges, 171743 markings/sec, 65 secs
lola: 14842823 markings, 43719456 edges, 166925 markings/sec, 70 secs
lola: 15647710 markings, 46425950 edges, 160977 markings/sec, 75 secs
lola: 16430000 markings, 49109057 edges, 156458 markings/sec, 80 secs
lola: 17178935 markings, 51755388 edges, 149787 markings/sec, 85 secs
lola: 17870566 markings, 54298207 edges, 138326 markings/sec, 90 secs
lola: 18438153 markings, 56520958 edges, 113517 markings/sec, 95 secs
lola: 19012383 markings, 59219893 edges, 114846 markings/sec, 100 secs
lola: 19075611 markings, 62670648 edges, 12646 markings/sec, 105 secs
lola: 19084134 markings, 66426833 edges, 1705 markings/sec, 110 secs
lola: 19089983 markings, 70454818 edges, 1170 markings/sec, 115 secs
lola: 19094325 markings, 74520573 edges, 868 markings/sec, 120 secs
lola: 19098159 markings, 78553043 edges, 767 markings/sec, 125 secs
lola: 19101588 markings, 82902127 edges, 686 markings/sec, 130 secs
lola: 19104444 markings, 87346070 edges, 571 markings/sec, 135 secs
lola: 19107254 markings, 91895500 edges, 562 markings/sec, 140 secs
lola: 19109812 markings, 96490759 edges, 512 markings/sec, 145 secs
lola: 19112312 markings, 101198162 edges, 500 markings/sec, 150 secs
lola: 19114541 markings, 106025763 edges, 446 markings/sec, 155 secs
lola: 19116412 markings, 110897394 edges, 374 markings/sec, 160 secs
lola: 19118373 markings, 115685192 edges, 392 markings/sec, 165 secs
lola: 19119937 markings, 120297872 edges, 313 markings/sec, 170 secs
lola: 19121426 markings, 124897415 edges, 298 markings/sec, 175 secs
lola: 19122841 markings, 129838459 edges, 283 markings/sec, 180 secs
lola: 19124317 markings, 135044358 edges, 295 markings/sec, 185 secs
lola: 19125752 markings, 140271302 edges, 287 markings/sec, 190 secs
lola: 19127064 markings, 145597663 edges, 262 markings/sec, 195 secs
lola: 19128223 markings, 150979182 edges, 232 markings/sec, 200 secs
lola: 19129138 markings, 156421391 edges, 183 markings/sec, 205 secs
lola: 19129938 markings, 161922389 edges, 160 markings/sec, 210 secs
lola: 19130411 markings, 167535860 edges, 95 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p198)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 921979 markings, 2636049 edges, 184396 markings/sec, 0 secs
lola: 1773740 markings, 5236810 edges, 170352 markings/sec, 5 secs
lola: 2622169 markings, 7888424 edges, 169686 markings/sec, 10 secs
lola: 3426131 markings, 10451201 edges, 160792 markings/sec, 15 secs
lola: 4196115 markings, 12948560 edges, 153997 markings/sec, 20 secs
lola: 4985090 markings, 15557492 edges, 157795 markings/sec, 25 secs
lola: 5756861 markings, 18162478 edges, 154354 markings/sec, 30 secs
lola: 6503066 markings, 20756776 edges, 149241 markings/sec, 35 secs
lola: 7209475 markings, 23332703 edges, 141282 markings/sec, 40 secs
lola: 7784865 markings, 25870842 edges, 115078 markings/sec, 45 secs
lola: 7887410 markings, 29799019 edges, 20509 markings/sec, 50 secs
lola: 7903429 markings, 34037174 edges, 3204 markings/sec, 55 secs
lola: 7913537 markings, 38220264 edges, 2022 markings/sec, 60 secs
lola: 7921899 markings, 42677400 edges, 1672 markings/sec, 65 secs
lola: 7928686 markings, 47192329 edges, 1357 markings/sec, 70 secs
lola: 7934459 markings, 51688992 edges, 1155 markings/sec, 75 secs
lola: 7939847 markings, 56464921 edges, 1078 markings/sec, 80 secs
lola: 7943968 markings, 60920737 edges, 824 markings/sec, 85 secs
lola: 7948020 markings, 65718259 edges, 810 markings/sec, 90 secs
lola: 7951705 markings, 70283893 edges, 737 markings/sec, 95 secs
lola: 7955054 markings, 74975162 edges, 670 markings/sec, 100 secs
lola: 7957665 markings, 79828079 edges, 522 markings/sec, 105 secs
lola: 7960441 markings, 85136693 edges, 555 markings/sec, 110 secs
lola: 7963308 markings, 90489120 edges, 573 markings/sec, 115 secs
lola: 7965532 markings, 95603205 edges, 445 markings/sec, 120 secs
lola: 7967332 markings, 101062849 edges, 360 markings/sec, 125 secs
lola: 7969368 markings, 106520886 edges, 407 markings/sec, 130 secs
lola: 7970660 markings, 111749716 edges, 258 markings/sec, 135 secs
lola: 7971571 markings, 117397516 edges, 182 markings/sec, 140 secs
lola: 8286217 markings, 121562166 edges, 62929 markings/sec, 145 secs
lola: 8917583 markings, 123350491 edges, 126273 markings/sec, 150 secs
lola: 9514731 markings, 125113429 edges, 119430 markings/sec, 155 secs
lola: 10121740 markings, 126976477 edges, 121402 markings/sec, 160 secs
lola: 10743606 markings, 128913450 edges, 124373 markings/sec, 165 secs
lola: 11358746 markings, 130856016 edges, 123028 markings/sec, 170 secs
lola: 12007898 markings, 132943623 edges, 129830 markings/sec, 175 secs
lola: 12709811 markings, 135231413 edges, 140383 markings/sec, 180 secs
lola: 13433619 markings, 137629384 edges, 144762 markings/sec, 185 secs
lola: 14137392 markings, 140009687 edges, 140755 markings/sec, 190 secs
lola: 14801934 markings, 142316062 edges, 132908 markings/sec, 195 secs
lola: 15432097 markings, 144589659 edges, 126033 markings/sec, 200 secs
lola: 15984823 markings, 146798244 edges, 110545 markings/sec, 205 secs
lola: 16238139 markings, 149790694 edges, 50663 markings/sec, 210 secs
lola: 16258517 markings, 153481268 edges, 4076 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p71)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 1194932 markings, 2952582 edges, 238986 markings/sec, 0 secs
lola: 2301869 markings, 5906029 edges, 221387 markings/sec, 5 secs
lola: 3320309 markings, 8713819 edges, 203688 markings/sec, 10 secs
lola: 4340980 markings, 11604882 edges, 204134 markings/sec, 15 secs
lola: 5342118 markings, 14474727 edges, 200228 markings/sec, 20 secs
lola: 6382678 markings, 17499024 edges, 208112 markings/sec, 25 secs
lola: 7400596 markings, 20496741 edges, 203584 markings/sec, 30 secs
lola: 8379023 markings, 23396353 edges, 195685 markings/sec, 35 secs
lola: 9300741 markings, 26187485 edges, 184344 markings/sec, 40 secs
lola: 10203848 markings, 28951045 edges, 180621 markings/sec, 45 secs
lola: 11071040 markings, 31632396 edges, 173438 markings/sec, 50 secs
lola: 11968110 markings, 34441628 edges, 179414 markings/sec, 55 secs
lola: 12811328 markings, 37113999 edges, 168644 markings/sec, 60 secs
lola: 13689013 markings, 39938128 edges, 175537 markings/sec, 65 secs
lola: 14523723 markings, 42663975 edges, 166942 markings/sec, 70 secs
lola: 15376335 markings, 45508884 edges, 170522 markings/sec, 75 secs
lola: 16208796 markings, 48341649 edges, 166492 markings/sec, 80 secs
lola: 17009349 markings, 51148086 edges, 160111 markings/sec, 85 secs
lola: 17776113 markings, 53941692 edges, 153353 markings/sec, 90 secs
lola: 18470735 markings, 56658832 edges, 138924 markings/sec, 95 secs
lola: 19050308 markings, 59686178 edges, 115915 markings/sec, 100 secs
lola: 19078652 markings, 63723453 edges, 5669 markings/sec, 105 secs
lola: 19086519 markings, 67992497 edges, 1573 markings/sec, 110 secs
lola: 19092136 markings, 72371260 edges, 1123 markings/sec, 115 secs
lola: 19096478 markings, 76810785 edges, 868 markings/sec, 120 secs
lola: 19100403 markings, 81356103 edges, 785 markings/sec, 125 secs
lola: 19103696 markings, 85995478 edges, 659 markings/sec, 130 secs
lola: 19106483 markings, 90681216 edges, 557 markings/sec, 135 secs
lola: 19109145 markings, 95433194 edges, 532 markings/sec, 140 secs
lola: 19111820 markings, 100223178 edges, 535 markings/sec, 145 secs
lola: 19114109 markings, 105096257 edges, 458 markings/sec, 150 secs
lola: 19116097 markings, 110008077 edges, 398 markings/sec, 155 secs
lola: 19118031 markings, 114970660 edges, 387 markings/sec, 160 secs
lola: 19119750 markings, 119962181 edges, 344 markings/sec, 165 secs
lola: 19121494 markings, 125033057 edges, 349 markings/sec, 170 secs
lola: 19122963 markings, 130206621 edges, 294 markings/sec, 175 secs
lola: 19124468 markings, 135388309 edges, 301 markings/sec, 180 secs
lola: 19125936 markings, 140596030 edges, 294 markings/sec, 185 secs
lola: 19127110 markings, 145866584 edges, 235 markings/sec, 190 secs
lola: 19128218 markings, 151177764 edges, 222 markings/sec, 195 secs
lola: 19129129 markings, 156532114 edges, 182 markings/sec, 200 secs
lola: 19129930 markings, 161951907 edges, 160 markings/sec, 205 secs
lola: 19130397 markings, 167481733 edges, 93 markings/sec, 210 secs
lola: 19131392 markings, 173150851 edges, 199 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p159)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 1034750 markings, 2745324 edges, 206950 markings/sec, 0 secs
lola: 2039666 markings, 5827399 edges, 200983 markings/sec, 5 secs
lola: 2980958 markings, 8870027 edges, 188258 markings/sec, 10 secs
lola: 3894720 markings, 11888189 edges, 182752 markings/sec, 15 secs
lola: 4786603 markings, 14872449 edges, 178377 markings/sec, 20 secs
lola: 5664852 markings, 17843255 edges, 175650 markings/sec, 25 secs
lola: 6525654 markings, 20792533 edges, 172160 markings/sec, 30 secs
lola: 7372192 markings, 23714800 edges, 169308 markings/sec, 35 secs
lola: 8205634 markings, 26636955 edges, 166688 markings/sec, 40 secs
lola: 9036743 markings, 29553806 edges, 166222 markings/sec, 45 secs
lola: 9855339 markings, 32452909 edges, 163719 markings/sec, 50 secs
lola: 10661628 markings, 35336161 edges, 161258 markings/sec, 55 secs
lola: 11458390 markings, 38208528 edges, 159352 markings/sec, 60 secs
lola: 12243101 markings, 41061926 edges, 156942 markings/sec, 65 secs
lola: 13017500 markings, 43898511 edges, 154880 markings/sec, 70 secs
lola: 13779673 markings, 46717414 edges, 152435 markings/sec, 75 secs
lola: 14531766 markings, 49530687 edges, 150419 markings/sec, 80 secs
lola: 15269945 markings, 52329112 edges, 147636 markings/sec, 85 secs
lola: 15990424 markings, 55093039 edges, 144096 markings/sec, 90 secs
lola: 16700403 markings, 57854367 edges, 141996 markings/sec, 95 secs
lola: 17396779 markings, 60610585 edges, 139275 markings/sec, 100 secs
lola: 18073008 markings, 63353843 edges, 135246 markings/sec, 105 secs
lola: 18725336 markings, 66100289 edges, 130466 markings/sec, 110 secs
lola: 19333696 markings, 68880325 edges, 121672 markings/sec, 115 secs
lola: 19607440 markings, 72353411 edges, 54749 markings/sec, 120 secs
lola: 19618912 markings, 76378263 edges, 2294 markings/sec, 125 secs
lola: 19625374 markings, 80479937 edges, 1292 markings/sec, 130 secs
lola: 19630161 markings, 84724034 edges, 957 markings/sec, 135 secs
lola: 19634379 markings, 89078826 edges, 844 markings/sec, 140 secs
lola: 19637997 markings, 93475330 edges, 724 markings/sec, 145 secs
lola: 19641233 markings, 97937675 edges, 647 markings/sec, 150 secs
lola: 19644060 markings, 102438514 edges, 565 markings/sec, 155 secs
lola: 19646707 markings, 106988550 edges, 529 markings/sec, 160 secs
lola: 19649073 markings, 111576221 edges, 473 markings/sec, 165 secs
lola: 19651258 markings, 116255793 edges, 437 markings/sec, 170 secs
lola: 19653126 markings, 120969606 edges, 374 markings/sec, 175 secs
lola: 19655077 markings, 125739981 edges, 390 markings/sec, 180 secs
lola: 19656782 markings, 130548975 edges, 341 markings/sec, 185 secs
lola: 19658239 markings, 135390618 edges, 291 markings/sec, 190 secs
lola: 19659816 markings, 140271667 edges, 315 markings/sec, 195 secs
lola: 19661299 markings, 145150455 edges, 297 markings/sec, 200 secs
lola: 19662535 markings, 150151729 edges, 247 markings/sec, 205 secs
lola: 19663400 markings, 155145009 edges, 173 markings/sec, 210 secs
lola: 19664702 markings, 160237384 edges, 260 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p195)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 959198 markings, 2748304 edges, 191840 markings/sec, 0 secs
lola: 1874485 markings, 5550979 edges, 183057 markings/sec, 5 secs
lola: 2754210 markings, 8305345 edges, 175945 markings/sec, 10 secs
lola: 3604961 markings, 11027667 edges, 170150 markings/sec, 15 secs
lola: 4433586 markings, 13733081 edges, 165725 markings/sec, 20 secs
lola: 5237109 markings, 16402133 edges, 160705 markings/sec, 25 secs
lola: 6017004 markings, 19058746 edges, 155979 markings/sec, 30 secs
lola: 6767141 markings, 21696285 edges, 150027 markings/sec, 35 secs
lola: 7465779 markings, 24343380 edges, 139728 markings/sec, 40 secs
lola: 7872561 markings, 27715424 edges, 81356 markings/sec, 45 secs
lola: 7897198 markings, 32113955 edges, 4927 markings/sec, 50 secs
lola: 7910333 markings, 36702007 edges, 2627 markings/sec, 55 secs
lola: 7919925 markings, 41454190 edges, 1918 markings/sec, 60 secs
lola: 7927391 markings, 46303637 edges, 1493 markings/sec, 65 secs
lola: 7933978 markings, 51227411 edges, 1317 markings/sec, 70 secs
lola: 7939657 markings, 56255077 edges, 1136 markings/sec, 75 secs
lola: 7944318 markings, 61395857 edges, 932 markings/sec, 80 secs
lola: 7948696 markings, 66548261 edges, 876 markings/sec, 85 secs
lola: 7952810 markings, 71806283 edges, 823 markings/sec, 90 secs
lola: 7955920 markings, 77122729 edges, 622 markings/sec, 95 secs
lola: 7959119 markings, 82514869 edges, 640 markings/sec, 100 secs
lola: 7961817 markings, 87982246 edges, 540 markings/sec, 105 secs
lola: 7964941 markings, 93556805 edges, 625 markings/sec, 110 secs
lola: 7966658 markings, 99116736 edges, 343 markings/sec, 115 secs
lola: 7968556 markings, 104792099 edges, 380 markings/sec, 120 secs
lola: 7970404 markings, 110643265 edges, 370 markings/sec, 125 secs
lola: 7971568 markings, 116764882 edges, 233 markings/sec, 130 secs
lola: 8235208 markings, 121414056 edges, 52728 markings/sec, 135 secs
lola: 8948308 markings, 123436127 edges, 142620 markings/sec, 140 secs
lola: 9626164 markings, 125452119 edges, 135571 markings/sec, 145 secs
lola: 10276777 markings, 127462572 edges, 130123 markings/sec, 150 secs
lola: 10928790 markings, 129496869 edges, 130403 markings/sec, 155 secs
lola: 11577354 markings, 131557337 edges, 129713 markings/sec, 160 secs
lola: 12342335 markings, 134027076 edges, 152996 markings/sec, 165 secs
lola: 13101412 markings, 136523571 edges, 151815 markings/sec, 170 secs
lola: 13842757 markings, 139007288 edges, 148269 markings/sec, 175 secs
lola: 14562543 markings, 141476552 edges, 143957 markings/sec, 180 secs
lola: 15255335 markings, 143936785 edges, 138558 markings/sec, 185 secs
lola: 15895814 markings, 146410115 edges, 128096 markings/sec, 190 secs
lola: 16236587 markings, 149619834 edges, 68155 markings/sec, 195 secs
lola: 16259012 markings, 153593800 edges, 4485 markings/sec, 200 secs
lola: 16271365 markings, 157734936 edges, 2471 markings/sec, 205 secs
lola: 16280544 markings, 161989461 edges, 1836 markings/sec, 210 secs
lola: 16287748 markings, 166327394 edges, 1441 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 980905 markings, 2646318 edges, 196181 markings/sec, 0 secs
lola: 1893825 markings, 5341364 edges, 182584 markings/sec, 5 secs
lola: 2761736 markings, 8021485 edges, 173582 markings/sec, 10 secs
lola: 3607774 markings, 10698887 edges, 169208 markings/sec, 15 secs
lola: 4433724 markings, 13354846 edges, 165190 markings/sec, 20 secs
lola: 5244794 markings, 15999584 edges, 162214 markings/sec, 25 secs
lola: 6042130 markings, 18637487 edges, 159467 markings/sec, 30 secs
lola: 6819294 markings, 21269058 edges, 155433 markings/sec, 35 secs
lola: 7588818 markings, 23907784 edges, 153905 markings/sec, 40 secs
lola: 8343491 markings, 26533931 edges, 150935 markings/sec, 45 secs
lola: 9076235 markings, 29121024 edges, 146549 markings/sec, 50 secs
lola: 9800374 markings, 31721481 edges, 144828 markings/sec, 55 secs
lola: 10511035 markings, 34322309 edges, 142132 markings/sec, 60 secs
lola: 11206768 markings, 36915018 edges, 139147 markings/sec, 65 secs
lola: 11881017 markings, 39494429 edges, 134850 markings/sec, 70 secs
lola: 12538121 markings, 42075635 edges, 131421 markings/sec, 75 secs
lola: 13171933 markings, 44663067 edges, 126762 markings/sec, 80 secs
lola: 13774454 markings, 47286683 edges, 120504 markings/sec, 85 secs
lola: 14277398 markings, 50225232 edges, 100589 markings/sec, 90 secs
lola: 14299994 markings, 54248839 edges, 4519 markings/sec, 95 secs
lola: 14306622 markings, 58541076 edges, 1326 markings/sec, 100 secs
lola: 14311619 markings, 63003411 edges, 999 markings/sec, 105 secs
lola: 14315550 markings, 67521021 edges, 786 markings/sec, 110 secs
lola: 14319074 markings, 72066042 edges, 705 markings/sec, 115 secs
lola: 14322073 markings, 76697060 edges, 600 markings/sec, 120 secs
lola: 14324649 markings, 81365920 edges, 515 markings/sec, 125 secs
lola: 14327170 markings, 86096179 edges, 504 markings/sec, 130 secs
lola: 14329613 markings, 90872344 edges, 489 markings/sec, 135 secs
lola: 14331747 markings, 95724023 edges, 427 markings/sec, 140 secs
lola: 14333601 markings, 100619885 edges, 371 markings/sec, 145 secs
lola: 14335425 markings, 105568209 edges, 365 markings/sec, 150 secs
lola: 14337086 markings, 110534035 edges, 332 markings/sec, 155 secs
lola: 14338729 markings, 115577723 edges, 329 markings/sec, 160 secs
lola: 14340160 markings, 120696212 edges, 286 markings/sec, 165 secs
lola: 14341613 markings, 125866502 edges, 291 markings/sec, 170 secs
lola: 14343021 markings, 131041476 edges, 282 markings/sec, 175 secs
lola: 14344161 markings, 136298104 edges, 228 markings/sec, 180 secs
lola: 14345246 markings, 141597346 edges, 217 markings/sec, 185 secs
lola: 14346144 markings, 146937855 edges, 180 markings/sec, 190 secs
lola: 14346913 markings, 152313379 edges, 154 markings/sec, 195 secs
lola: 14347386 markings, 157804913 edges, 95 markings/sec, 200 secs
lola: 14348292 markings, 163359571 edges, 181 markings/sec, 205 secs
lola: 14348759 markings, 169089561 edges, 93 markings/sec, 210 secs
lola: 14349031 markings, 175026883 edges, 54 markings/sec, 215 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 221 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 28 bytes per marking, with 27 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: 945311 markings, 2544320 edges, 189062 markings/sec, 0 secs
lola: 1813880 markings, 5099769 edges, 173714 markings/sec, 5 secs
lola: 2641590 markings, 7648514 edges, 165542 markings/sec, 10 secs
lola: 3452554 markings, 10199654 edges, 162193 markings/sec, 15 secs
lola: 4238763 markings, 12726433 edges, 157242 markings/sec, 20 secs
lola: 5012413 markings, 15250397 edges, 154730 markings/sec, 25 secs
lola: 5784717 markings, 17785808 edges, 154461 markings/sec, 30 secs
lola: 6529609 markings, 20276604 edges, 148978 markings/sec, 35 secs
lola: 7259564 markings, 22774195 edges, 145991 markings/sec, 40 secs
lola: 7984214 markings, 25280175 edges, 144930 markings/sec, 45 secs
lola: 8696495 markings, 27770419 edges, 142456 markings/sec, 50 secs
lola: 9400252 markings, 30279692 edges, 140751 markings/sec, 55 secs
lola: 10091420 markings, 32778603 edges, 138234 markings/sec, 60 secs
lola: 10766469 markings, 35265786 edges, 135010 markings/sec, 65 secs
lola: 11427914 markings, 37756659 edges, 132289 markings/sec, 70 secs
lola: 12073050 markings, 40240039 edges, 129027 markings/sec, 75 secs
lola: 12700003 markings, 42725716 edges, 125391 markings/sec, 80 secs
lola: 13298799 markings, 45196276 edges, 119759 markings/sec, 85 secs
lola: 13869149 markings, 47729676 edges, 114070 markings/sec, 90 secs
lola: 14284273 markings, 50671830 edges, 83025 markings/sec, 95 secs
lola: 14300797 markings, 54679436 edges, 3305 markings/sec, 100 secs
lola: 14307104 markings, 58877594 edges, 1261 markings/sec, 105 secs
lola: 14311866 markings, 63187434 edges, 952 markings/sec, 110 secs
lola: 14315615 markings, 67569985 edges, 750 markings/sec, 115 secs
lola: 14319055 markings, 72003090 edges, 688 markings/sec, 120 secs
lola: 14321992 markings, 76517061 edges, 587 markings/sec, 125 secs
lola: 14324502 markings, 81044458 edges, 502 markings/sec, 130 secs
lola: 14326905 markings, 85660975 edges, 481 markings/sec, 135 secs
lola: 14329386 markings, 90317745 edges, 496 markings/sec, 140 secs
lola: 14331497 markings, 95006238 edges, 422 markings/sec, 145 secs
lola: 14333330 markings, 99766948 edges, 367 markings/sec, 150 secs
lola: 14335149 markings, 104565577 edges, 364 markings/sec, 155 secs
lola: 14336776 markings, 109388152 edges, 325 markings/sec, 160 secs
lola: 14338231 markings, 114028424 edges, 291 markings/sec, 165 secs
lola: 14339473 markings, 118600867 edges, 248 markings/sec, 170 secs
lola: 14341000 markings, 123379427 edges, 305 markings/sec, 175 secs
lola: 14342159 markings, 127990964 edges, 232 markings/sec, 180 secs
lola: 14343327 markings, 132802783 edges, 234 markings/sec, 185 secs
lola: 14344617 markings, 137588284 edges, 258 markings/sec, 190 secs
lola: 14345413 markings, 142328059 edges, 159 markings/sec, 195 secs
lola: 14346172 markings, 147097640 edges, 152 markings/sec, 200 secs
lola: 14346934 markings, 152307942 edges, 152 markings/sec, 205 secs
lola: 14347347 markings, 157586434 edges, 83 markings/sec, 210 secs
lola: 14348142 markings, 162977785 edges, 159 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 1099967 markings, 2711777 edges, 219993 markings/sec, 0 secs
lola: 2143362 markings, 5472540 edges, 208679 markings/sec, 5 secs
lola: 3189616 markings, 8348589 edges, 209251 markings/sec, 10 secs
lola: 4127318 markings, 10992222 edges, 187540 markings/sec, 15 secs
lola: 5087466 markings, 13743489 edges, 192030 markings/sec, 20 secs
lola: 6053273 markings, 16539853 edges, 193161 markings/sec, 25 secs
lola: 6981827 markings, 19255667 edges, 185711 markings/sec, 30 secs
lola: 7919296 markings, 22025278 edges, 187494 markings/sec, 35 secs
lola: 8746553 markings, 24502710 edges, 165451 markings/sec, 40 secs
lola: 9625431 markings, 27180239 edges, 175776 markings/sec, 45 secs
lola: 10574871 markings, 30093137 edges, 189888 markings/sec, 50 secs
lola: 11508564 markings, 32996846 edges, 186739 markings/sec, 55 secs
lola: 12334728 markings, 35597971 edges, 165233 markings/sec, 60 secs
lola: 13106587 markings, 38059075 edges, 154372 markings/sec, 65 secs
lola: 13845672 markings, 40445311 edges, 147817 markings/sec, 70 secs
lola: 14593903 markings, 42895956 edges, 149646 markings/sec, 75 secs
lola: 15378890 markings, 45517363 edges, 156997 markings/sec, 80 secs
lola: 16130987 markings, 48075306 edges, 150419 markings/sec, 85 secs
lola: 16891749 markings, 50730002 edges, 152152 markings/sec, 90 secs
lola: 17577792 markings, 53205208 edges, 137209 markings/sec, 95 secs
lola: 18258489 markings, 55795750 edges, 136139 markings/sec, 100 secs
lola: 18865889 markings, 58417639 edges, 121480 markings/sec, 105 secs
lola: 19071358 markings, 61614437 edges, 41094 markings/sec, 110 secs
lola: 19082869 markings, 65617127 edges, 2302 markings/sec, 115 secs
lola: 19088696 markings, 69468147 edges, 1165 markings/sec, 120 secs
lola: 19093367 markings, 73469909 edges, 934 markings/sec, 125 secs
lola: 19097182 markings, 77437185 edges, 763 markings/sec, 130 secs
lola: 19100622 markings, 81546785 edges, 688 markings/sec, 135 secs
lola: 19103791 markings, 86053909 edges, 634 markings/sec, 140 secs
lola: 19106282 markings, 90264735 edges, 498 markings/sec, 145 secs
lola: 19108866 markings, 94831221 edges, 517 markings/sec, 150 secs
lola: 19111292 markings, 99048510 edges, 485 markings/sec, 155 secs
lola: 19113489 markings, 103505444 edges, 439 markings/sec, 160 secs
lola: 19115490 markings, 108308615 edges, 400 markings/sec, 165 secs
lola: 19117195 markings, 112761980 edges, 341 markings/sec, 170 secs
lola: 19119042 markings, 117410199 edges, 369 markings/sec, 175 secs
lola: 19120625 markings, 122324456 edges, 317 markings/sec, 180 secs
lola: 19122227 markings, 127533131 edges, 320 markings/sec, 185 secs
lola: 19123895 markings, 132915945 edges, 334 markings/sec, 190 secs
lola: 19125369 markings, 138281698 edges, 295 markings/sec, 195 secs
lola: 19126646 markings, 143754108 edges, 255 markings/sec, 200 secs
lola: 19128000 markings, 149235077 edges, 271 markings/sec, 205 secs
lola: 19128811 markings, 154750757 edges, 162 markings/sec, 210 secs
lola: 19129770 markings, 160391635 edges, 192 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p78)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 1414756 markings, 1861262 edges, 282951 markings/sec, 0 secs
lola: 2845078 markings, 3756235 edges, 286064 markings/sec, 5 secs
lola: 4224946 markings, 5889762 edges, 275974 markings/sec, 10 secs
lola: 5657910 markings, 7777067 edges, 286593 markings/sec, 15 secs
lola: 7124536 markings, 9714886 edges, 293325 markings/sec, 20 secs
lola: 8546456 markings, 11601061 edges, 284384 markings/sec, 25 secs
lola: 9975656 markings, 13495630 edges, 285840 markings/sec, 30 secs
lola: 11390123 markings, 15376706 edges, 282893 markings/sec, 35 secs
lola: 12803910 markings, 17256445 edges, 282757 markings/sec, 40 secs
lola: 14198493 markings, 19123870 edges, 278917 markings/sec, 45 secs
lola: 15603301 markings, 21206322 edges, 280962 markings/sec, 50 secs
lola: 17004423 markings, 23058615 edges, 280224 markings/sec, 55 secs
lola: 18467015 markings, 24987125 edges, 292518 markings/sec, 60 secs
lola: 19906974 markings, 26893313 edges, 287992 markings/sec, 65 secs
lola: 21321415 markings, 28774640 edges, 282888 markings/sec, 70 secs
lola: 22770172 markings, 30689555 edges, 289751 markings/sec, 75 secs
lola: 24213000 markings, 32595576 edges, 288566 markings/sec, 80 secs
lola: 25626241 markings, 34474993 edges, 282648 markings/sec, 85 secs
lola: 26867408 markings, 36153845 edges, 248233 markings/sec, 90 secs
lola: 28186664 markings, 37901943 edges, 263851 markings/sec, 95 secs
lola: 29515297 markings, 39663725 edges, 265727 markings/sec, 100 secs
lola: 30756351 markings, 41307540 edges, 248211 markings/sec, 105 secs
lola: 32026159 markings, 42991647 edges, 253962 markings/sec, 110 secs
lola: 33258999 markings, 44629620 edges, 246568 markings/sec, 115 secs
lola: 34587944 markings, 46400482 edges, 265789 markings/sec, 120 secs
lola: 35966128 markings, 48270319 edges, 275637 markings/sec, 125 secs
lola: 37362288 markings, 50133123 edges, 279232 markings/sec, 130 secs
lola: 38759140 markings, 51997351 edges, 279370 markings/sec, 135 secs
lola: 40157223 markings, 53862193 edges, 279617 markings/sec, 140 secs
lola: 41569846 markings, 55739883 edges, 282525 markings/sec, 145 secs
lola: 42962800 markings, 57597362 edges, 278591 markings/sec, 150 secs
lola: 44322445 markings, 59406674 edges, 271929 markings/sec, 155 secs
lola: 45659871 markings, 61195560 edges, 267485 markings/sec, 160 secs
lola: 46951066 markings, 62922810 edges, 258239 markings/sec, 165 secs
lola: 48236275 markings, 64636745 edges, 257042 markings/sec, 170 secs
lola: 49619630 markings, 66489279 edges, 276671 markings/sec, 175 secs
lola: 51003190 markings, 68339465 edges, 276712 markings/sec, 180 secs
lola: 52394991 markings, 70196438 edges, 278360 markings/sec, 185 secs
lola: 53762597 markings, 72141603 edges, 273521 markings/sec, 190 secs
lola: 55140964 markings, 73983388 edges, 275673 markings/sec, 195 secs
lola: 56530827 markings, 75840312 edges, 277973 markings/sec, 200 secs
lola: 57900160 markings, 77743874 edges, 273867 markings/sec, 205 secs
lola: 59269561 markings, 79622114 edges, 273880 markings/sec, 210 secs
lola: 60643623 markings, 81463009 edges, 274812 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p211)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 966657 markings, 2891269 edges, 193331 markings/sec, 0 secs
lola: 1900743 markings, 5844990 edges, 186817 markings/sec, 5 secs
lola: 2801646 markings, 8769805 edges, 180181 markings/sec, 10 secs
lola: 3681532 markings, 11662684 edges, 175977 markings/sec, 15 secs
lola: 4539975 markings, 14529249 edges, 171689 markings/sec, 20 secs
lola: 5370016 markings, 17344515 edges, 166008 markings/sec, 25 secs
lola: 6193470 markings, 20174831 edges, 164691 markings/sec, 30 secs
lola: 6995320 markings, 22982937 edges, 160370 markings/sec, 35 secs
lola: 7776193 markings, 25780678 edges, 156175 markings/sec, 40 secs
lola: 8526418 markings, 28592176 edges, 150045 markings/sec, 45 secs
lola: 9209231 markings, 31604614 edges, 136563 markings/sec, 50 secs
lola: 9368334 markings, 35733310 edges, 31821 markings/sec, 55 secs
lola: 9403528 markings, 40145493 edges, 7039 markings/sec, 60 secs
lola: 9427753 markings, 44703144 edges, 4845 markings/sec, 65 secs
lola: 9446969 markings, 49363140 edges, 3843 markings/sec, 70 secs
lola: 9463425 markings, 54114395 edges, 3291 markings/sec, 75 secs
lola: 9477595 markings, 58954810 edges, 2834 markings/sec, 80 secs
lola: 9490378 markings, 63874052 edges, 2557 markings/sec, 85 secs
lola: 9501043 markings, 68864674 edges, 2133 markings/sec, 90 secs
lola: 9511090 markings, 73905339 edges, 2009 markings/sec, 95 secs
lola: 9520754 markings, 79028339 edges, 1933 markings/sec, 100 secs
lola: 9527640 markings, 84215938 edges, 1377 markings/sec, 105 secs
lola: 9535905 markings, 89474061 edges, 1653 markings/sec, 110 secs
lola: 9542372 markings, 94790612 edges, 1293 markings/sec, 115 secs
lola: 9549464 markings, 100220212 edges, 1418 markings/sec, 120 secs
lola: 9553775 markings, 105649060 edges, 862 markings/sec, 125 secs
lola: 9558302 markings, 111227608 edges, 905 markings/sec, 130 secs
lola: 9562844 markings, 116964408 edges, 908 markings/sec, 135 secs
lola: 9565613 markings, 122938317 edges, 554 markings/sec, 140 secs
lola: 9804599 markings, 127734179 edges, 47797 markings/sec, 145 secs
lola: 10534606 markings, 129920784 edges, 146001 markings/sec, 150 secs
lola: 11259861 markings, 132143628 edges, 145051 markings/sec, 155 secs
lola: 11955214 markings, 134361105 edges, 139071 markings/sec, 160 secs
lola: 12646021 markings, 136597622 edges, 138161 markings/sec, 165 secs
lola: 13328675 markings, 138835120 edges, 136531 markings/sec, 170 secs
lola: 14122163 markings, 141467265 edges, 158698 markings/sec, 175 secs
lola: 14917557 markings, 144137894 edges, 159079 markings/sec, 180 secs
lola: 15693713 markings, 146787977 edges, 155231 markings/sec, 185 secs
lola: 16456362 markings, 149425322 edges, 152530 markings/sec, 190 secs
lola: 17203210 markings, 152055528 edges, 149370 markings/sec, 195 secs
lola: 17931165 markings, 154684169 edges, 145591 markings/sec, 200 secs
lola: 18627951 markings, 157325192 edges, 139357 markings/sec, 205 secs
lola: 19254174 markings, 160209541 edges, 125245 markings/sec, 210 secs
lola: 19370498 markings, 163931198 edges, 23265 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p48)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 1261139 markings, 3123539 edges, 252228 markings/sec, 0 secs
lola: 2452517 markings, 6312051 edges, 238276 markings/sec, 5 secs
lola: 3587036 markings, 9472967 edges, 226904 markings/sec, 10 secs
lola: 4694033 markings, 12611748 edges, 221399 markings/sec, 15 secs
lola: 5774278 markings, 15727123 edges, 216049 markings/sec, 20 secs
lola: 6832426 markings, 18820318 edges, 211630 markings/sec, 25 secs
lola: 7877400 markings, 21900638 edges, 208995 markings/sec, 30 secs
lola: 8896256 markings, 24956587 edges, 203771 markings/sec, 35 secs
lola: 9893226 markings, 27996844 edges, 199394 markings/sec, 40 secs
lola: 10877251 markings, 31028122 edges, 196805 markings/sec, 45 secs
lola: 11782228 markings, 33852393 edges, 180995 markings/sec, 50 secs
lola: 12620521 markings, 36505402 edges, 167659 markings/sec, 55 secs
lola: 13461292 markings, 39197714 edges, 168154 markings/sec, 60 secs
lola: 14293850 markings, 41910551 edges, 166512 markings/sec, 65 secs
lola: 15109154 markings, 44607348 edges, 163061 markings/sec, 70 secs
lola: 15972115 markings, 47528916 edges, 172592 markings/sec, 75 secs
lola: 16806389 markings, 50427710 edges, 166855 markings/sec, 80 secs
lola: 17557834 markings, 53130929 edges, 150289 markings/sec, 85 secs
lola: 18245540 markings, 55743418 edges, 137541 markings/sec, 90 secs
lola: 18929029 markings, 58744320 edges, 136698 markings/sec, 95 secs
lola: 19075193 markings, 62570301 edges, 29233 markings/sec, 100 secs
lola: 19084119 markings, 66420801 edges, 1785 markings/sec, 105 secs
lola: 19089548 markings, 70169960 edges, 1086 markings/sec, 110 secs
lola: 19093940 markings, 74123274 edges, 878 markings/sec, 115 secs
lola: 19097809 markings, 78138051 edges, 774 markings/sec, 120 secs
lola: 19100969 markings, 82155217 edges, 632 markings/sec, 125 secs
lola: 19103863 markings, 86299486 edges, 579 markings/sec, 130 secs
lola: 19106391 markings, 90529172 edges, 506 markings/sec, 135 secs
lola: 19108797 markings, 94827932 edges, 481 markings/sec, 140 secs
lola: 19111275 markings, 99175281 edges, 496 markings/sec, 145 secs
lola: 19113634 markings, 104015634 edges, 472 markings/sec, 150 secs
lola: 19115588 markings, 108689637 edges, 391 markings/sec, 155 secs
lola: 19117338 markings, 113201906 edges, 350 markings/sec, 160 secs
lola: 19119117 markings, 117803492 edges, 356 markings/sec, 165 secs
lola: 19120558 markings, 122374549 edges, 288 markings/sec, 170 secs
lola: 19122048 markings, 127130493 edges, 298 markings/sec, 175 secs
lola: 19123526 markings, 131806842 edges, 296 markings/sec, 180 secs
lola: 19124677 markings, 136602260 edges, 230 markings/sec, 185 secs
lola: 19126096 markings, 141475223 edges, 284 markings/sec, 190 secs
lola: 19127193 markings, 146345567 edges, 219 markings/sec, 195 secs
lola: 19128218 markings, 151193326 edges, 205 markings/sec, 200 secs
lola: 19129061 markings, 156220844 edges, 169 markings/sec, 205 secs
lola: 19129861 markings, 161324491 edges, 160 markings/sec, 210 secs
lola: 19130276 markings, 166409310 edges, 83 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p205)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 948929 markings, 2837321 edges, 189786 markings/sec, 0 secs
lola: 1865739 markings, 5732069 edges, 183362 markings/sec, 5 secs
lola: 2713583 markings, 8480258 edges, 169569 markings/sec, 10 secs
lola: 3568182 markings, 11285549 edges, 170920 markings/sec, 15 secs
lola: 4383044 markings, 14005199 edges, 162972 markings/sec, 20 secs
lola: 5181319 markings, 16703934 edges, 159655 markings/sec, 25 secs
lola: 5973852 markings, 19414258 edges, 158507 markings/sec, 30 secs
lola: 6741638 markings, 22087171 edges, 153557 markings/sec, 35 secs
lola: 7473177 markings, 24684115 edges, 146308 markings/sec, 40 secs
lola: 8193617 markings, 27320678 edges, 144088 markings/sec, 45 secs
lola: 8872267 markings, 29984452 edges, 135730 markings/sec, 50 secs
lola: 9328616 markings, 33188670 edges, 91270 markings/sec, 55 secs
lola: 9380427 markings, 36988960 edges, 10362 markings/sec, 60 secs
lola: 9408642 markings, 40989694 edges, 5643 markings/sec, 65 secs
lola: 9428990 markings, 44973505 edges, 4070 markings/sec, 70 secs
lola: 9445694 markings, 48994631 edges, 3341 markings/sec, 75 secs
lola: 9462163 markings, 53747410 edges, 3294 markings/sec, 80 secs
lola: 9475805 markings, 58380007 edges, 2728 markings/sec, 85 secs
lola: 9487502 markings, 62722125 edges, 2339 markings/sec, 90 secs
lola: 9497178 markings, 67111631 edges, 1935 markings/sec, 95 secs
lola: 9506485 markings, 71625794 edges, 1861 markings/sec, 100 secs
lola: 9515509 markings, 76097424 edges, 1805 markings/sec, 105 secs
lola: 9523179 markings, 80558177 edges, 1534 markings/sec, 110 secs
lola: 9529482 markings, 85222623 edges, 1261 markings/sec, 115 secs
lola: 9536522 markings, 90115043 edges, 1408 markings/sec, 120 secs
lola: 9542691 markings, 95043717 edges, 1234 markings/sec, 125 secs
lola: 9549417 markings, 100104699 edges, 1345 markings/sec, 130 secs
lola: 9553402 markings, 104998663 edges, 797 markings/sec, 135 secs
lola: 9557740 markings, 110048276 edges, 868 markings/sec, 140 secs
lola: 9561831 markings, 115417342 edges, 818 markings/sec, 145 secs
lola: 9564956 markings, 121010048 edges, 625 markings/sec, 150 secs
lola: 9566155 markings, 126967304 edges, 240 markings/sec, 155 secs
lola: 10263755 markings, 129105945 edges, 139520 markings/sec, 160 secs
lola: 10962091 markings, 131215881 edges, 139667 markings/sec, 165 secs
lola: 11680524 markings, 133482133 edges, 143687 markings/sec, 170 secs
lola: 12373155 markings, 135721667 edges, 138526 markings/sec, 175 secs
lola: 13061618 markings, 137960176 edges, 137693 markings/sec, 180 secs
lola: 13815558 markings, 140448534 edges, 150788 markings/sec, 185 secs
lola: 14615804 markings, 143121827 edges, 160049 markings/sec, 190 secs
lola: 15394483 markings, 145764438 edges, 155736 markings/sec, 195 secs
lola: 16168708 markings, 148425295 edges, 154845 markings/sec, 200 secs
lola: 16921866 markings, 151058148 edges, 150632 markings/sec, 205 secs
lola: 17592196 markings, 153451509 edges, 134066 markings/sec, 210 secs
lola: 18281203 markings, 155986923 edges, 137801 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p214)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 983226 markings, 2940998 edges, 196645 markings/sec, 0 secs
lola: 1919036 markings, 5904773 edges, 187162 markings/sec, 5 secs
lola: 2825644 markings, 8849620 edges, 181322 markings/sec, 10 secs
lola: 3720615 markings, 11794017 edges, 178994 markings/sec, 15 secs
lola: 4592998 markings, 14708521 edges, 174477 markings/sec, 20 secs
lola: 5454080 markings, 17630243 edges, 172216 markings/sec, 25 secs
lola: 6297370 markings, 20534680 edges, 168658 markings/sec, 30 secs
lola: 7119060 markings, 23421016 edges, 164338 markings/sec, 35 secs
lola: 7920054 markings, 26306853 edges, 160199 markings/sec, 40 secs
lola: 8683083 markings, 29208210 edges, 152606 markings/sec, 45 secs
lola: 9296138 markings, 32259033 edges, 122611 markings/sec, 50 secs
lola: 9376275 markings, 36509233 edges, 16027 markings/sec, 55 secs
lola: 9408686 markings, 40997808 edges, 6482 markings/sec, 60 secs
lola: 9431514 markings, 45529192 edges, 4566 markings/sec, 65 secs
lola: 9449832 markings, 50109143 edges, 3664 markings/sec, 70 secs
lola: 9465452 markings, 54761285 edges, 3124 markings/sec, 75 secs
lola: 9479616 markings, 59641418 edges, 2833 markings/sec, 80 secs
lola: 9491448 markings, 64378186 edges, 2366 markings/sec, 85 secs
lola: 9502321 markings, 69463480 edges, 2175 markings/sec, 90 secs
lola: 9512238 markings, 74574936 edges, 1983 markings/sec, 95 secs
lola: 9522168 markings, 79999463 edges, 1986 markings/sec, 100 secs
lola: 9529086 markings, 85009423 edges, 1384 markings/sec, 105 secs
lola: 9536187 markings, 89760417 edges, 1420 markings/sec, 110 secs
lola: 9542195 markings, 94693003 edges, 1202 markings/sec, 115 secs
lola: 9549406 markings, 100086417 edges, 1442 markings/sec, 120 secs
lola: 9553787 markings, 105769313 edges, 876 markings/sec, 125 secs
lola: 9558482 markings, 111600302 edges, 939 markings/sec, 130 secs
lola: 9563328 markings, 117616701 edges, 969 markings/sec, 135 secs
lola: 9565621 markings, 123637909 edges, 459 markings/sec, 140 secs
lola: 9881502 markings, 127977808 edges, 63176 markings/sec, 145 secs
lola: 10590411 markings, 130085310 edges, 141782 markings/sec, 150 secs
lola: 11265874 markings, 132163388 edges, 135093 markings/sec, 155 secs
lola: 11902811 markings, 134189164 edges, 127387 markings/sec, 160 secs
lola: 12576600 markings, 136370838 edges, 134758 markings/sec, 165 secs
lola: 13275182 markings, 138658252 edges, 139716 markings/sec, 170 secs
lola: 14083121 markings, 141337490 edges, 161588 markings/sec, 175 secs
lola: 14855145 markings, 143928986 edges, 154405 markings/sec, 180 secs
lola: 15631877 markings, 146575849 edges, 155346 markings/sec, 185 secs
lola: 16391914 markings, 149200242 edges, 152007 markings/sec, 190 secs
lola: 17109424 markings, 151723960 edges, 143502 markings/sec, 195 secs
lola: 17841595 markings, 154354471 edges, 146434 markings/sec, 200 secs
lola: 18552290 markings, 157027119 edges, 142139 markings/sec, 205 secs
lola: 19190413 markings, 159820524 edges, 127625 markings/sec, 210 secs
lola: 19365279 markings, 163494349 edges, 34973 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 1309009 markings, 2628112 edges, 261802 markings/sec, 0 secs
lola: 2512305 markings, 5659252 edges, 240659 markings/sec, 5 secs
lola: 3624834 markings, 8694858 edges, 222506 markings/sec, 10 secs
lola: 4637619 markings, 11540555 edges, 202557 markings/sec, 15 secs
lola: 5613321 markings, 14291171 edges, 195140 markings/sec, 20 secs
lola: 6591893 markings, 17114377 edges, 195714 markings/sec, 25 secs
lola: 7512213 markings, 19802353 edges, 184064 markings/sec, 30 secs
lola: 8445565 markings, 22581142 edges, 186670 markings/sec, 35 secs
lola: 9374527 markings, 25351938 edges, 185792 markings/sec, 40 secs
lola: 10267209 markings, 28051565 edges, 178536 markings/sec, 45 secs
lola: 11191120 markings, 30878586 edges, 184782 markings/sec, 50 secs
lola: 11992443 markings, 33363769 edges, 160265 markings/sec, 55 secs
lola: 12804192 markings, 35908411 edges, 162350 markings/sec, 60 secs
lola: 13687157 markings, 38695848 edges, 176593 markings/sec, 65 secs
lola: 14437205 markings, 41104794 edges, 150010 markings/sec, 70 secs
lola: 15280980 markings, 43859447 edges, 168755 markings/sec, 75 secs
lola: 16116859 markings, 46635946 edges, 167176 markings/sec, 80 secs
lola: 16834774 markings, 49071997 edges, 143583 markings/sec, 85 secs
lola: 17622174 markings, 51799860 edges, 157480 markings/sec, 90 secs
lola: 18344106 markings, 54386472 edges, 144386 markings/sec, 95 secs
lola: 19056559 markings, 57080363 edges, 142491 markings/sec, 100 secs
lola: 19709474 markings, 59874385 edges, 130583 markings/sec, 105 secs
lola: 19924390 markings, 63308539 edges, 42983 markings/sec, 110 secs
lola: 19934524 markings, 67056697 edges, 2027 markings/sec, 115 secs
lola: 19940542 markings, 70819766 edges, 1204 markings/sec, 120 secs
lola: 19945121 markings, 74649186 edges, 916 markings/sec, 125 secs
lola: 19949170 markings, 78932679 edges, 810 markings/sec, 130 secs
lola: 19952646 markings, 82957539 edges, 695 markings/sec, 135 secs
lola: 19955668 markings, 87016384 edges, 604 markings/sec, 140 secs
lola: 19958256 markings, 91086795 edges, 518 markings/sec, 145 secs
lola: 19960692 markings, 94896448 edges, 487 markings/sec, 150 secs
lola: 19963136 markings, 99299869 edges, 489 markings/sec, 155 secs
lola: 19965233 markings, 103476364 edges, 419 markings/sec, 160 secs
lola: 19967174 markings, 107745486 edges, 388 markings/sec, 165 secs
lola: 19968805 markings, 111989263 edges, 326 markings/sec, 170 secs
lola: 19970660 markings, 116380087 edges, 371 markings/sec, 175 secs
lola: 19972114 markings, 120543279 edges, 291 markings/sec, 180 secs
lola: 19973576 markings, 125272679 edges, 292 markings/sec, 185 secs
lola: 19974898 markings, 129700504 edges, 264 markings/sec, 190 secs
lola: 19976264 markings, 134032788 edges, 273 markings/sec, 195 secs
lola: 19977505 markings, 138517407 edges, 248 markings/sec, 200 secs
lola: 19978577 markings, 143090946 edges, 214 markings/sec, 205 secs
lola: 19979663 markings, 148158035 edges, 217 markings/sec, 210 secs
lola: 19980538 markings, 153115220 edges, 175 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p169)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 905151 markings, 3172717 edges, 181030 markings/sec, 0 secs
lola: 1785173 markings, 6352716 edges, 176004 markings/sec, 5 secs
lola: 2604148 markings, 9405418 edges, 163795 markings/sec, 10 secs
lola: 3389192 markings, 12383352 edges, 157009 markings/sec, 15 secs
lola: 4164977 markings, 15374883 edges, 155157 markings/sec, 20 secs
lola: 4959780 markings, 18456239 edges, 158961 markings/sec, 25 secs
lola: 5780377 markings, 21661936 edges, 164119 markings/sec, 30 secs
lola: 6588393 markings, 24847627 edges, 161603 markings/sec, 35 secs
lola: 7390390 markings, 28021461 edges, 160399 markings/sec, 40 secs
lola: 8185447 markings, 31181466 edges, 159011 markings/sec, 45 secs
lola: 8963266 markings, 34312528 edges, 155564 markings/sec, 50 secs
lola: 9726466 markings, 37415127 edges, 152640 markings/sec, 55 secs
lola: 10484535 markings, 40507232 edges, 151614 markings/sec, 60 secs
lola: 11230790 markings, 43578325 edges, 149251 markings/sec, 65 secs
lola: 11913713 markings, 46404877 edges, 136585 markings/sec, 70 secs
lola: 12616954 markings, 49338161 edges, 140648 markings/sec, 75 secs
lola: 13269227 markings, 52078466 edges, 130455 markings/sec, 80 secs
lola: 13979329 markings, 55092603 edges, 142020 markings/sec, 85 secs
lola: 14594653 markings, 57726487 edges, 123065 markings/sec, 90 secs
lola: 15206333 markings, 60372620 edges, 122336 markings/sec, 95 secs
lola: 15830786 markings, 63104353 edges, 124891 markings/sec, 100 secs
lola: 16488878 markings, 66020263 edges, 131618 markings/sec, 105 secs
lola: 17130642 markings, 68917169 edges, 128353 markings/sec, 110 secs
lola: 17749408 markings, 71774226 edges, 123753 markings/sec, 115 secs
lola: 18341204 markings, 74617688 edges, 118359 markings/sec, 120 secs
lola: 18871344 markings, 77405225 edges, 106028 markings/sec, 125 secs
lola: 19072114 markings, 80880946 edges, 40154 markings/sec, 130 secs
lola: 19082986 markings, 84837866 edges, 2174 markings/sec, 135 secs
lola: 19089109 markings, 88946659 edges, 1225 markings/sec, 140 secs
lola: 19093883 markings, 93180839 edges, 955 markings/sec, 145 secs
lola: 19098033 markings, 97496808 edges, 830 markings/sec, 150 secs
lola: 19101485 markings, 101891776 edges, 690 markings/sec, 155 secs
lola: 19104424 markings, 106376472 edges, 588 markings/sec, 160 secs
lola: 19107175 markings, 110919899 edges, 550 markings/sec, 165 secs
lola: 19109743 markings, 115525751 edges, 514 markings/sec, 170 secs
lola: 19112279 markings, 120179150 edges, 507 markings/sec, 175 secs
lola: 19114349 markings, 124700068 edges, 414 markings/sec, 180 secs
lola: 19116229 markings, 129476979 edges, 376 markings/sec, 185 secs
lola: 19118138 markings, 134297795 edges, 382 markings/sec, 190 secs
lola: 19119785 markings, 139130967 edges, 329 markings/sec, 195 secs
lola: 19121308 markings, 143669939 edges, 305 markings/sec, 200 secs
lola: 19122707 markings, 148450806 edges, 280 markings/sec, 205 secs
lola: 19124132 markings, 153294984 edges, 285 markings/sec, 210 secs
lola: 19125438 markings, 157972082 edges, 261 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA MultiwaySync-PT-none-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496366021463
--------------------
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_MultiwaySync-PT-none"
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_MultiwaySync-PT-none.tgz
mv S_MultiwaySync-PT-none 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_MultiwaySync-PT-none, 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-149441650000218"
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 '
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 ;