About the Execution of LoLA for ResAllocation-PT-R003C100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10718.390 | 3540116.00 | 3551189.00 | 285.10 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 ResAllocation-PT-R003C100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r068-csrt-149440963100110
=====================================================================
--------------------
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 ResAllocation-PT-R003C100-UpperBounds-0
FORMULA_NAME ResAllocation-PT-R003C100-UpperBounds-1
FORMULA_NAME ResAllocation-PT-R003C100-UpperBounds-10
FORMULA_NAME ResAllocation-PT-R003C100-UpperBounds-11
FORMULA_NAME ResAllocation-PT-R003C100-UpperBounds-12
FORMULA_NAME ResAllocation-PT-R003C100-UpperBounds-13
FORMULA_NAME ResAllocation-PT-R003C100-UpperBounds-14
FORMULA_NAME ResAllocation-PT-R003C100-UpperBounds-15
FORMULA_NAME ResAllocation-PT-R003C100-UpperBounds-2
FORMULA_NAME ResAllocation-PT-R003C100-UpperBounds-3
FORMULA_NAME ResAllocation-PT-R003C100-UpperBounds-4
FORMULA_NAME ResAllocation-PT-R003C100-UpperBounds-5
FORMULA_NAME ResAllocation-PT-R003C100-UpperBounds-6
FORMULA_NAME ResAllocation-PT-R003C100-UpperBounds-7
FORMULA_NAME ResAllocation-PT-R003C100-UpperBounds-8
FORMULA_NAME ResAllocation-PT-R003C100-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494802426529
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ ResAllocation-PT-R003C100 @ 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: 1000/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 600 places, 400 transitions, 300 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 700 transition conflict sets
lola: TASK
lola: reading formula from ResAllocation-PT-R003C100-UpperBounds.task
lola: MAX(r_61_1) : MAX(p_35_1) : MAX(r_21_2) : MAX(p_17_1) : MAX(r_69_1) : MAX(p_4_1) : MAX(r_53_0) : MAX(p_45_1) : MAX(r_66_0) : MAX(r_12_0) : MAX(r_87_0) : MAX(p_30_2) : MAX(p_60_1) : MAX(p_78_0) : MAX(r_29_1) : MAX(r_93_0)
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(r_61_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 20 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: 2526840 markings, 2526893 edges, 505368 markings/sec, 0 secs
lola: 5095274 markings, 5095542 edges, 513687 markings/sec, 5 secs
lola: 7677945 markings, 7678495 edges, 516534 markings/sec, 10 secs
lola: 10295935 markings, 10296992 edges, 523598 markings/sec, 15 secs
lola: 12892685 markings, 12894316 edges, 519350 markings/sec, 20 secs
lola: 15435769 markings, 15438434 edges, 508617 markings/sec, 25 secs
lola: 17983957 markings, 17987222 edges, 509638 markings/sec, 30 secs
lola: 20516274 markings, 20520582 edges, 506463 markings/sec, 35 secs
lola: 23054647 markings, 23060056 edges, 507675 markings/sec, 40 secs
lola: 25551426 markings, 25558307 edges, 499356 markings/sec, 45 secs
lola: 28094162 markings, 28102665 edges, 508547 markings/sec, 50 secs
lola: 30658540 markings, 30667989 edges, 512876 markings/sec, 55 secs
lola: 33190301 markings, 33200999 edges, 506352 markings/sec, 60 secs
lola: 35735439 markings, 35747704 edges, 509028 markings/sec, 65 secs
lola: 38351846 markings, 38366077 edges, 523281 markings/sec, 70 secs
lola: 41127383 markings, 41143650 edges, 555107 markings/sec, 75 secs
lola: 43837299 markings, 43855607 edges, 541983 markings/sec, 80 secs
lola: 46570896 markings, 46590986 edges, 546719 markings/sec, 85 secs
lola: 49250816 markings, 49275414 edges, 535984 markings/sec, 90 secs
lola: 51895247 markings, 51920395 edges, 528886 markings/sec, 95 secs
lola: 54519006 markings, 54544717 edges, 524752 markings/sec, 100 secs
lola: 57180445 markings, 57206759 edges, 532288 markings/sec, 105 secs
lola: 59891397 markings, 59918349 edges, 542190 markings/sec, 110 secs
lola: 62631263 markings, 62658885 edges, 547973 markings/sec, 115 secs
lola: 65287390 markings, 65315647 edges, 531225 markings/sec, 120 secs
lola: 67947191 markings, 67976132 edges, 531960 markings/sec, 125 secs
lola: 70592335 markings, 70622103 edges, 529029 markings/sec, 130 secs
lola: 73333603 markings, 73364062 edges, 548254 markings/sec, 135 secs
lola: 76070832 markings, 76102012 edges, 547446 markings/sec, 140 secs
lola: 78780211 markings, 78812195 edges, 541876 markings/sec, 145 secs
lola: 81295239 markings, 81327974 edges, 503006 markings/sec, 150 secs
lola: 83751670 markings, 83785155 edges, 491286 markings/sec, 155 secs
lola: 86265862 markings, 86300232 edges, 502838 markings/sec, 160 secs
lola: 88773981 markings, 88809347 edges, 501624 markings/sec, 165 secs
lola: 91255920 markings, 91291967 edges, 496388 markings/sec, 170 secs
lola: 93770343 markings, 93807118 edges, 502885 markings/sec, 175 secs
lola: 96239833 markings, 96277360 edges, 493898 markings/sec, 180 secs
lola: 98745471 markings, 98783813 edges, 501128 markings/sec, 185 secs
lola: 101233131 markings, 101272373 edges, 497532 markings/sec, 190 secs
lola: 103751957 markings, 103792191 edges, 503765 markings/sec, 195 secs
lola: 106222893 markings, 106263982 edges, 494187 markings/sec, 200 secs
lola: 108716988 markings, 108758976 edges, 498819 markings/sec, 205 secs
lola: 111207963 markings, 111250989 edges, 498195 markings/sec, 210 secs
lola: 113678874 markings, 113723073 edges, 494182 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(p_35_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 20 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: 3013438 markings, 3013445 edges, 602688 markings/sec, 0 secs
lola: 5859721 markings, 5859727 edges, 569257 markings/sec, 5 secs
lola: 8851615 markings, 8851622 edges, 598379 markings/sec, 10 secs
lola: 11933448 markings, 11933455 edges, 616367 markings/sec, 15 secs
lola: 14998969 markings, 14998976 edges, 613104 markings/sec, 20 secs
lola: 18065145 markings, 18065152 edges, 613235 markings/sec, 25 secs
lola: 21373171 markings, 21373178 edges, 661605 markings/sec, 30 secs
lola: 24712149 markings, 24712156 edges, 667796 markings/sec, 35 secs
lola: 28044830 markings, 28044837 edges, 666536 markings/sec, 40 secs
lola: 31289188 markings, 31289195 edges, 648872 markings/sec, 45 secs
lola: 34339914 markings, 34339921 edges, 610145 markings/sec, 50 secs
lola: 37312854 markings, 37312860 edges, 594588 markings/sec, 55 secs
lola: 40410351 markings, 40410358 edges, 619499 markings/sec, 60 secs
lola: 43626882 markings, 43626889 edges, 643306 markings/sec, 65 secs
lola: 46773718 markings, 46773724 edges, 629367 markings/sec, 70 secs
lola: 49750671 markings, 49750678 edges, 595391 markings/sec, 75 secs
lola: 52733430 markings, 52733437 edges, 596552 markings/sec, 80 secs
lola: 55729412 markings, 55729419 edges, 599196 markings/sec, 85 secs
lola: 58883382 markings, 58883388 edges, 630794 markings/sec, 90 secs
lola: 62005211 markings, 62005218 edges, 624366 markings/sec, 95 secs
lola: 65081936 markings, 65081943 edges, 615345 markings/sec, 100 secs
lola: 68240175 markings, 68240181 edges, 631648 markings/sec, 105 secs
lola: 71401136 markings, 71401143 edges, 632192 markings/sec, 110 secs
lola: 74507474 markings, 74507481 edges, 621268 markings/sec, 115 secs
lola: 77512675 markings, 77512681 edges, 601040 markings/sec, 120 secs
lola: 80684851 markings, 80684858 edges, 634435 markings/sec, 125 secs
lola: 83796433 markings, 83796440 edges, 622316 markings/sec, 130 secs
lola: 86681015 markings, 86681021 edges, 576916 markings/sec, 135 secs
lola: 89622967 markings, 89622973 edges, 588390 markings/sec, 140 secs
lola: 92527611 markings, 92527618 edges, 580929 markings/sec, 145 secs
lola: 95416934 markings, 95416941 edges, 577865 markings/sec, 150 secs
lola: 98319238 markings, 98319245 edges, 580461 markings/sec, 155 secs
lola: 101232516 markings, 101232523 edges, 582656 markings/sec, 160 secs
lola: 104156265 markings, 104156272 edges, 584750 markings/sec, 165 secs
lola: 107096942 markings, 107096949 edges, 588135 markings/sec, 170 secs
lola: 109977048 markings, 109977055 edges, 576021 markings/sec, 175 secs
lola: 112858008 markings, 112858015 edges, 576192 markings/sec, 180 secs
lola: 115721163 markings, 115721170 edges, 572631 markings/sec, 185 secs
lola: 118567544 markings, 118567551 edges, 569276 markings/sec, 190 secs
lola: 121441723 markings, 121441729 edges, 574836 markings/sec, 195 secs
lola: 124326739 markings, 124326746 edges, 577003 markings/sec, 200 secs
lola: 127239512 markings, 127239518 edges, 582555 markings/sec, 205 secs
lola: 130194509 markings, 130194516 edges, 590999 markings/sec, 210 secs
lola: 133165875 markings, 133165882 edges, 594273 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(r_21_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 20 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: 3403732 markings, 3414986 edges, 680746 markings/sec, 0 secs
lola: 6638690 markings, 6680848 edges, 646992 markings/sec, 5 secs
lola: 9827928 markings, 9915020 edges, 637848 markings/sec, 10 secs
lola: 12966273 markings, 13115912 edges, 627669 markings/sec, 15 secs
lola: 15918364 markings, 16147848 edges, 590418 markings/sec, 20 secs
lola: 18782247 markings, 19072639 edges, 572777 markings/sec, 25 secs
lola: 21647535 markings, 22032740 edges, 573058 markings/sec, 30 secs
lola: 24508343 markings, 25015941 edges, 572162 markings/sec, 35 secs
lola: 27430624 markings, 28084894 edges, 584456 markings/sec, 40 secs
lola: 30450174 markings, 31187516 edges, 603910 markings/sec, 45 secs
lola: 33379661 markings, 34230627 edges, 585897 markings/sec, 50 secs
lola: 36333649 markings, 37339726 edges, 590798 markings/sec, 55 secs
lola: 39209171 markings, 40380767 edges, 575104 markings/sec, 60 secs
lola: 42088604 markings, 43453421 edges, 575887 markings/sec, 65 secs
lola: 44919467 markings, 46507676 edges, 566173 markings/sec, 70 secs
lola: 47731161 markings, 49526963 edges, 562339 markings/sec, 75 secs
lola: 50717535 markings, 52705851 edges, 597275 markings/sec, 80 secs
lola: 53626790 markings, 55751621 edges, 581851 markings/sec, 85 secs
lola: 56437059 markings, 58715838 edges, 562054 markings/sec, 90 secs
lola: 59155835 markings, 61628453 edges, 543755 markings/sec, 95 secs
lola: 62032653 markings, 64720552 edges, 575364 markings/sec, 100 secs
lola: 64882783 markings, 67849088 edges, 570026 markings/sec, 105 secs
lola: 67634321 markings, 70861123 edges, 550308 markings/sec, 110 secs
lola: 70332555 markings, 73810388 edges, 539647 markings/sec, 115 secs
lola: 73106732 markings, 76884087 edges, 554835 markings/sec, 120 secs
lola: 75839772 markings, 79956811 edges, 546608 markings/sec, 125 secs
lola: 78525719 markings, 83008978 edges, 537189 markings/sec, 130 secs
lola: 81244886 markings, 86074973 edges, 543833 markings/sec, 135 secs
lola: 83922055 markings, 89085840 edges, 535434 markings/sec, 140 secs
lola: 86569785 markings, 92143537 edges, 529546 markings/sec, 145 secs
lola: 89457348 markings, 95205958 edges, 577513 markings/sec, 150 secs
lola: 92289354 markings, 98233988 edges, 566401 markings/sec, 155 secs
lola: 95066003 markings, 101232648 edges, 555330 markings/sec, 160 secs
lola: 97794599 markings, 104184736 edges, 545719 markings/sec, 165 secs
lola: 100439484 markings, 107076790 edges, 528977 markings/sec, 170 secs
lola: 103044961 markings, 109963391 edges, 521095 markings/sec, 175 secs
lola: 105702732 markings, 112945125 edges, 531554 markings/sec, 180 secs
lola: 108429023 markings, 115996918 edges, 545258 markings/sec, 185 secs
lola: 111113467 markings, 119015074 edges, 536889 markings/sec, 190 secs
lola: 113714376 markings, 122018956 edges, 520182 markings/sec, 195 secs
lola: 116208813 markings, 124936272 edges, 498887 markings/sec, 200 secs
lola: 118685541 markings, 127814731 edges, 495346 markings/sec, 205 secs
lola: 121270273 markings, 130758456 edges, 516946 markings/sec, 210 secs
lola: 123795419 markings, 133668495 edges, 505029 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(p_17_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 20 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: 2558600 markings, 3177356 edges, 511720 markings/sec, 0 secs
lola: 4571027 markings, 6375165 edges, 402485 markings/sec, 5 secs
lola: 6442347 markings, 9675611 edges, 374264 markings/sec, 10 secs
lola: 7897943 markings, 12998445 edges, 291119 markings/sec, 15 secs
lola: 9568989 markings, 16168303 edges, 334209 markings/sec, 20 secs
lola: 11020902 markings, 19461966 edges, 290383 markings/sec, 25 secs
lola: 12307808 markings, 22757605 edges, 257381 markings/sec, 30 secs
lola: 13469845 markings, 26242687 edges, 232407 markings/sec, 35 secs
lola: 14543397 markings, 29592526 edges, 214710 markings/sec, 40 secs
lola: 16783413 markings, 32743774 edges, 448003 markings/sec, 45 secs
lola: 19863492 markings, 35823853 edges, 616016 markings/sec, 50 secs
lola: 22973051 markings, 38933412 edges, 621912 markings/sec, 55 secs
lola: 26130344 markings, 42090705 edges, 631459 markings/sec, 60 secs
lola: 29219960 markings, 45180320 edges, 617923 markings/sec, 65 secs
lola: 32307933 markings, 48268294 edges, 617595 markings/sec, 70 secs
lola: 35299277 markings, 51259638 edges, 598269 markings/sec, 75 secs
lola: 38292564 markings, 54252925 edges, 598657 markings/sec, 80 secs
lola: 41209549 markings, 57169910 edges, 583397 markings/sec, 85 secs
lola: 44064063 markings, 60024424 edges, 570903 markings/sec, 90 secs
lola: 46949338 markings, 62909699 edges, 577055 markings/sec, 95 secs
lola: 49796825 markings, 65757186 edges, 569497 markings/sec, 100 secs
lola: 52702383 markings, 68662744 edges, 581112 markings/sec, 105 secs
lola: 55670414 markings, 71630775 edges, 593606 markings/sec, 110 secs
lola: 58594640 markings, 74555001 edges, 584845 markings/sec, 115 secs
lola: 61480301 markings, 77440662 edges, 577132 markings/sec, 120 secs
lola: 64417518 markings, 80377879 edges, 587443 markings/sec, 125 secs
lola: 67365741 markings, 83326102 edges, 589645 markings/sec, 130 secs
lola: 70318876 markings, 86279237 edges, 590627 markings/sec, 135 secs
lola: 73320540 markings, 89280901 edges, 600333 markings/sec, 140 secs
lola: 76274001 markings, 92234362 edges, 590692 markings/sec, 145 secs
lola: 79174833 markings, 95135193 edges, 580166 markings/sec, 150 secs
lola: 82112073 markings, 98072434 edges, 587448 markings/sec, 155 secs
lola: 85037099 markings, 100997460 edges, 585005 markings/sec, 160 secs
lola: 88084618 markings, 104044978 edges, 609504 markings/sec, 165 secs
lola: 91159671 markings, 107120032 edges, 615011 markings/sec, 170 secs
lola: 94217944 markings, 110178305 edges, 611655 markings/sec, 175 secs
lola: 97227263 markings, 113187624 edges, 601864 markings/sec, 180 secs
lola: 100300591 markings, 116260952 edges, 614666 markings/sec, 185 secs
lola: 103400511 markings, 119360872 edges, 619984 markings/sec, 190 secs
lola: 106431322 markings, 122391683 edges, 606162 markings/sec, 195 secs
lola: 109451112 markings, 125411473 edges, 603958 markings/sec, 200 secs
lola: 112486922 markings, 128447283 edges, 607162 markings/sec, 205 secs
lola: 115506579 markings, 131466939 edges, 603931 markings/sec, 210 secs
lola: 118518870 markings, 134479231 edges, 602458 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(r_69_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 20 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: 3181685 markings, 3181690 edges, 636337 markings/sec, 0 secs
lola: 6349053 markings, 6349058 edges, 633474 markings/sec, 5 secs
lola: 9498641 markings, 9498645 edges, 629918 markings/sec, 10 secs
lola: 12623011 markings, 12623016 edges, 624874 markings/sec, 15 secs
lola: 15520847 markings, 15520851 edges, 579567 markings/sec, 20 secs
lola: 18404772 markings, 18404776 edges, 576785 markings/sec, 25 secs
lola: 21305310 markings, 21305315 edges, 580108 markings/sec, 30 secs
lola: 24366020 markings, 24366025 edges, 612142 markings/sec, 35 secs
lola: 27486859 markings, 27486864 edges, 624168 markings/sec, 40 secs
lola: 30640253 markings, 30640257 edges, 630679 markings/sec, 45 secs
lola: 33541610 markings, 33541615 edges, 580271 markings/sec, 50 secs
lola: 36448438 markings, 36448443 edges, 581366 markings/sec, 55 secs
lola: 39626780 markings, 39626785 edges, 635668 markings/sec, 60 secs
lola: 42792886 markings, 42792891 edges, 633221 markings/sec, 65 secs
lola: 45960028 markings, 45960033 edges, 633428 markings/sec, 70 secs
lola: 49023528 markings, 49023533 edges, 612700 markings/sec, 75 secs
lola: 51918180 markings, 51918185 edges, 578930 markings/sec, 80 secs
lola: 54953483 markings, 54953488 edges, 607061 markings/sec, 85 secs
lola: 57773881 markings, 57773885 edges, 564080 markings/sec, 90 secs
lola: 60775801 markings, 60775806 edges, 600384 markings/sec, 95 secs
lola: 63614359 markings, 63614364 edges, 567712 markings/sec, 100 secs
lola: 66471915 markings, 66471920 edges, 571511 markings/sec, 105 secs
lola: 69205167 markings, 69205171 edges, 546650 markings/sec, 110 secs
lola: 71971898 markings, 71971903 edges, 553346 markings/sec, 115 secs
lola: 74835224 markings, 74835229 edges, 572665 markings/sec, 120 secs
lola: 77766796 markings, 77766801 edges, 586314 markings/sec, 125 secs
lola: 80675703 markings, 80675708 edges, 581781 markings/sec, 130 secs
lola: 83606983 markings, 83606988 edges, 586256 markings/sec, 135 secs
lola: 86389006 markings, 86389011 edges, 556405 markings/sec, 140 secs
lola: 89154760 markings, 89154765 edges, 553151 markings/sec, 145 secs
lola: 91954798 markings, 91954803 edges, 560008 markings/sec, 150 secs
lola: 94747084 markings, 94747088 edges, 558457 markings/sec, 155 secs
lola: 97600332 markings, 97600337 edges, 570650 markings/sec, 160 secs
lola: 100458352 markings, 100458357 edges, 571604 markings/sec, 165 secs
lola: 103317056 markings, 103317061 edges, 571741 markings/sec, 170 secs
lola: 106140196 markings, 106140201 edges, 564628 markings/sec, 175 secs
lola: 109001537 markings, 109001542 edges, 572268 markings/sec, 180 secs
lola: 111840585 markings, 111840590 edges, 567810 markings/sec, 185 secs
lola: 114651706 markings, 114651711 edges, 562224 markings/sec, 190 secs
lola: 117401084 markings, 117401089 edges, 549876 markings/sec, 195 secs
lola: 120178850 markings, 120178855 edges, 555553 markings/sec, 200 secs
lola: 122937834 markings, 122937839 edges, 551797 markings/sec, 205 secs
lola: 125704206 markings, 125704211 edges, 553274 markings/sec, 210 secs
lola: 128489844 markings, 128489849 edges, 557128 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(p_4_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 20 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: 2950362 markings, 2950390 edges, 590072 markings/sec, 0 secs
lola: 6045433 markings, 6045460 edges, 619014 markings/sec, 5 secs
lola: 9244815 markings, 9244843 edges, 639876 markings/sec, 10 secs
lola: 12375749 markings, 12375777 edges, 626187 markings/sec, 15 secs
lola: 15416277 markings, 15416305 edges, 608106 markings/sec, 20 secs
lola: 18389309 markings, 18389337 edges, 594606 markings/sec, 25 secs
lola: 21362362 markings, 21362390 edges, 594611 markings/sec, 30 secs
lola: 24320752 markings, 24320780 edges, 591678 markings/sec, 35 secs
lola: 27246805 markings, 27246832 edges, 585211 markings/sec, 40 secs
lola: 30172686 markings, 30172714 edges, 585176 markings/sec, 45 secs
lola: 33025515 markings, 33025543 edges, 570566 markings/sec, 50 secs
lola: 35912466 markings, 35912494 edges, 577390 markings/sec, 55 secs
lola: 38792381 markings, 38792408 edges, 575983 markings/sec, 60 secs
lola: 41652461 markings, 41652489 edges, 572016 markings/sec, 65 secs
lola: 44506946 markings, 44506974 edges, 570897 markings/sec, 70 secs
lola: 47315984 markings, 47316012 edges, 561808 markings/sec, 75 secs
lola: 50203545 markings, 50203573 edges, 577512 markings/sec, 80 secs
lola: 53057152 markings, 53057180 edges, 570721 markings/sec, 85 secs
lola: 55969521 markings, 55969549 edges, 582474 markings/sec, 90 secs
lola: 58864039 markings, 58864067 edges, 578904 markings/sec, 95 secs
lola: 61723756 markings, 61723784 edges, 571943 markings/sec, 100 secs
lola: 64599428 markings, 64599456 edges, 575134 markings/sec, 105 secs
lola: 67440405 markings, 67440432 edges, 568195 markings/sec, 110 secs
lola: 70220180 markings, 70220208 edges, 555955 markings/sec, 115 secs
lola: 73029128 markings, 73029156 edges, 561790 markings/sec, 120 secs
lola: 75824302 markings, 75824330 edges, 559035 markings/sec, 125 secs
lola: 78654333 markings, 78654361 edges, 566006 markings/sec, 130 secs
lola: 81512285 markings, 81512313 edges, 571590 markings/sec, 135 secs
lola: 84315271 markings, 84315299 edges, 560597 markings/sec, 140 secs
lola: 87035879 markings, 87035907 edges, 544122 markings/sec, 145 secs
lola: 89731967 markings, 89731995 edges, 539218 markings/sec, 150 secs
lola: 92436816 markings, 92436843 edges, 540970 markings/sec, 155 secs
lola: 95142151 markings, 95142179 edges, 541067 markings/sec, 160 secs
lola: 97887798 markings, 97887826 edges, 549129 markings/sec, 165 secs
lola: 100619523 markings, 100619550 edges, 546345 markings/sec, 170 secs
lola: 103366539 markings, 103366567 edges, 549403 markings/sec, 175 secs
lola: 106168826 markings, 106168854 edges, 560457 markings/sec, 180 secs
lola: 109245401 markings, 109245429 edges, 615315 markings/sec, 185 secs
lola: 112109190 markings, 112109217 edges, 572758 markings/sec, 190 secs
lola: 115067913 markings, 115067941 edges, 591745 markings/sec, 195 secs
lola: 117875734 markings, 117875761 edges, 561564 markings/sec, 200 secs
lola: 120708197 markings, 120708224 edges, 566493 markings/sec, 205 secs
lola: 123509146 markings, 123509173 edges, 560190 markings/sec, 210 secs
lola: 126265770 markings, 126265798 edges, 551325 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(r_53_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 20 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: 2964642 markings, 2964649 edges, 592928 markings/sec, 0 secs
lola: 5945654 markings, 5945660 edges, 596202 markings/sec, 5 secs
lola: 8993693 markings, 8993700 edges, 609608 markings/sec, 10 secs
lola: 11952177 markings, 11952184 edges, 591697 markings/sec, 15 secs
lola: 14938522 markings, 14938528 edges, 597269 markings/sec, 20 secs
lola: 17889049 markings, 17889056 edges, 590105 markings/sec, 25 secs
lola: 20824699 markings, 20824706 edges, 587130 markings/sec, 30 secs
lola: 23899541 markings, 23899548 edges, 614968 markings/sec, 35 secs
lola: 26973796 markings, 26973802 edges, 614851 markings/sec, 40 secs
lola: 30005374 markings, 30005381 edges, 606316 markings/sec, 45 secs
lola: 33091956 markings, 33091963 edges, 617316 markings/sec, 50 secs
lola: 36173341 markings, 36173348 edges, 616277 markings/sec, 55 secs
lola: 39187927 markings, 39187934 edges, 602917 markings/sec, 60 secs
lola: 42299959 markings, 42299966 edges, 622406 markings/sec, 65 secs
lola: 45376609 markings, 45376616 edges, 615330 markings/sec, 70 secs
lola: 48353233 markings, 48353240 edges, 595325 markings/sec, 75 secs
lola: 51279408 markings, 51279414 edges, 585235 markings/sec, 80 secs
lola: 54249222 markings, 54249229 edges, 593963 markings/sec, 85 secs
lola: 57256310 markings, 57256316 edges, 601418 markings/sec, 90 secs
lola: 60230428 markings, 60230435 edges, 594824 markings/sec, 95 secs
lola: 63068531 markings, 63068538 edges, 567621 markings/sec, 100 secs
lola: 65919833 markings, 65919840 edges, 570260 markings/sec, 105 secs
lola: 68825138 markings, 68825145 edges, 581061 markings/sec, 110 secs
lola: 71948397 markings, 71948404 edges, 624652 markings/sec, 115 secs
lola: 75128139 markings, 75128146 edges, 635948 markings/sec, 120 secs
lola: 78250497 markings, 78250504 edges, 624472 markings/sec, 125 secs
lola: 81312850 markings, 81312856 edges, 612471 markings/sec, 130 secs
lola: 84361025 markings, 84361032 edges, 609635 markings/sec, 135 secs
lola: 87301338 markings, 87301345 edges, 588063 markings/sec, 140 secs
lola: 90151060 markings, 90151067 edges, 569944 markings/sec, 145 secs
lola: 93065392 markings, 93065399 edges, 582866 markings/sec, 150 secs
lola: 96116017 markings, 96116024 edges, 610125 markings/sec, 155 secs
lola: 99229454 markings, 99229461 edges, 622687 markings/sec, 160 secs
lola: 102334658 markings, 102334665 edges, 621041 markings/sec, 165 secs
lola: 105391223 markings, 105391230 edges, 611313 markings/sec, 170 secs
lola: 108348318 markings, 108348325 edges, 591419 markings/sec, 175 secs
lola: 111537514 markings, 111537521 edges, 637839 markings/sec, 180 secs
lola: 114647233 markings, 114647240 edges, 621944 markings/sec, 185 secs
lola: 117768041 markings, 117768047 edges, 624162 markings/sec, 190 secs
lola: 120829936 markings, 120829943 edges, 612379 markings/sec, 195 secs
lola: 123819158 markings, 123819165 edges, 597844 markings/sec, 200 secs
lola: 126805720 markings, 126805726 edges, 597312 markings/sec, 205 secs
lola: 129740172 markings, 129740179 edges, 586890 markings/sec, 210 secs
lola: 132495642 markings, 132495649 edges, 551094 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(p_45_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 20 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: 2958963 markings, 2958970 edges, 591793 markings/sec, 0 secs
lola: 5934315 markings, 5934322 edges, 595070 markings/sec, 5 secs
lola: 8988224 markings, 8988230 edges, 610782 markings/sec, 10 secs
lola: 12203875 markings, 12203882 edges, 643130 markings/sec, 15 secs
lola: 15424247 markings, 15424253 edges, 644074 markings/sec, 20 secs
lola: 18664884 markings, 18664890 edges, 648127 markings/sec, 25 secs
lola: 21675652 markings, 21675659 edges, 602154 markings/sec, 30 secs
lola: 24841804 markings, 24841811 edges, 633230 markings/sec, 35 secs
lola: 28001487 markings, 28001493 edges, 631937 markings/sec, 40 secs
lola: 31131021 markings, 31131028 edges, 625907 markings/sec, 45 secs
lola: 34261921 markings, 34261928 edges, 626180 markings/sec, 50 secs
lola: 37393872 markings, 37393879 edges, 626390 markings/sec, 55 secs
lola: 40536006 markings, 40536012 edges, 628427 markings/sec, 60 secs
lola: 43768620 markings, 43768627 edges, 646523 markings/sec, 65 secs
lola: 47087293 markings, 47087300 edges, 663735 markings/sec, 70 secs
lola: 50358185 markings, 50358192 edges, 654178 markings/sec, 75 secs
lola: 53670054 markings, 53670061 edges, 662374 markings/sec, 80 secs
lola: 56956161 markings, 56956168 edges, 657221 markings/sec, 85 secs
lola: 60190590 markings, 60190597 edges, 646886 markings/sec, 90 secs
lola: 63431723 markings, 63431730 edges, 648227 markings/sec, 95 secs
lola: 66667338 markings, 66667345 edges, 647123 markings/sec, 100 secs
lola: 69723951 markings, 69723957 edges, 611323 markings/sec, 105 secs
lola: 72779000 markings, 72779007 edges, 611010 markings/sec, 110 secs
lola: 75898329 markings, 75898336 edges, 623866 markings/sec, 115 secs
lola: 79119680 markings, 79119687 edges, 644270 markings/sec, 120 secs
lola: 82293365 markings, 82293372 edges, 634737 markings/sec, 125 secs
lola: 85307697 markings, 85307704 edges, 602866 markings/sec, 130 secs
lola: 88376219 markings, 88376226 edges, 613704 markings/sec, 135 secs
lola: 91604619 markings, 91604626 edges, 645680 markings/sec, 140 secs
lola: 94715602 markings, 94715609 edges, 622197 markings/sec, 145 secs
lola: 97788614 markings, 97788621 edges, 614602 markings/sec, 150 secs
lola: 100890058 markings, 100890064 edges, 620289 markings/sec, 155 secs
lola: 104054162 markings, 104054169 edges, 632821 markings/sec, 160 secs
lola: 107138825 markings, 107138832 edges, 616933 markings/sec, 165 secs
lola: 110272923 markings, 110272930 edges, 626820 markings/sec, 170 secs
lola: 113385845 markings, 113385852 edges, 622584 markings/sec, 175 secs
lola: 116426941 markings, 116426948 edges, 608219 markings/sec, 180 secs
lola: 119501141 markings, 119501148 edges, 614840 markings/sec, 185 secs
lola: 122530977 markings, 122530984 edges, 605967 markings/sec, 190 secs
lola: 125565296 markings, 125565303 edges, 606864 markings/sec, 195 secs
lola: 128581832 markings, 128581838 edges, 603307 markings/sec, 200 secs
lola: 131589259 markings, 131589266 edges, 601485 markings/sec, 205 secs
lola: 134594508 markings, 134594515 edges, 601050 markings/sec, 210 secs
lola: 137629670 markings, 137629676 edges, 607032 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(r_66_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 20 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: 2930507 markings, 2930511 edges, 586101 markings/sec, 0 secs
lola: 5864715 markings, 5864720 edges, 586842 markings/sec, 5 secs
lola: 8785627 markings, 8785632 edges, 584182 markings/sec, 10 secs
lola: 11671095 markings, 11671100 edges, 577094 markings/sec, 15 secs
lola: 14486746 markings, 14486751 edges, 563130 markings/sec, 20 secs
lola: 17265815 markings, 17265819 edges, 555814 markings/sec, 25 secs
lola: 20004628 markings, 20004633 edges, 547763 markings/sec, 30 secs
lola: 22686273 markings, 22686278 edges, 536329 markings/sec, 35 secs
lola: 25328449 markings, 25328454 edges, 528435 markings/sec, 40 secs
lola: 27924940 markings, 27924945 edges, 519298 markings/sec, 45 secs
lola: 30549416 markings, 30549421 edges, 524895 markings/sec, 50 secs
lola: 33021302 markings, 33021307 edges, 494377 markings/sec, 55 secs
lola: 35495380 markings, 35495384 edges, 494816 markings/sec, 60 secs
lola: 38005588 markings, 38005592 edges, 502042 markings/sec, 65 secs
lola: 40525049 markings, 40525054 edges, 503892 markings/sec, 70 secs
lola: 42956802 markings, 42956807 edges, 486351 markings/sec, 75 secs
lola: 45425127 markings, 45425131 edges, 493665 markings/sec, 80 secs
lola: 48032877 markings, 48032882 edges, 521550 markings/sec, 85 secs
lola: 50739600 markings, 50739604 edges, 541345 markings/sec, 90 secs
lola: 53390932 markings, 53390936 edges, 530266 markings/sec, 95 secs
lola: 55941912 markings, 55941917 edges, 510196 markings/sec, 100 secs
lola: 58452538 markings, 58452542 edges, 502125 markings/sec, 105 secs
lola: 60991690 markings, 60991695 edges, 507830 markings/sec, 110 secs
lola: 63593502 markings, 63593507 edges, 520362 markings/sec, 115 secs
lola: 66183513 markings, 66183518 edges, 518002 markings/sec, 120 secs
lola: 68774783 markings, 68774788 edges, 518254 markings/sec, 125 secs
lola: 71609666 markings, 71609670 edges, 566977 markings/sec, 130 secs
lola: 74423543 markings, 74423548 edges, 562775 markings/sec, 135 secs
lola: 77233078 markings, 77233083 edges, 561907 markings/sec, 140 secs
lola: 79989852 markings, 79989857 edges, 551355 markings/sec, 145 secs
lola: 82652474 markings, 82652479 edges, 532524 markings/sec, 150 secs
lola: 85397390 markings, 85397394 edges, 548983 markings/sec, 155 secs
lola: 88151010 markings, 88151015 edges, 550724 markings/sec, 160 secs
lola: 90841224 markings, 90841228 edges, 538043 markings/sec, 165 secs
lola: 93514619 markings, 93514624 edges, 534679 markings/sec, 170 secs
lola: 96371482 markings, 96371487 edges, 571373 markings/sec, 175 secs
lola: 99197100 markings, 99197105 edges, 565124 markings/sec, 180 secs
lola: 101935937 markings, 101935941 edges, 547767 markings/sec, 185 secs
lola: 104621146 markings, 104621151 edges, 537042 markings/sec, 190 secs
lola: 107327003 markings, 107327008 edges, 541171 markings/sec, 195 secs
lola: 110132252 markings, 110132257 edges, 561050 markings/sec, 200 secs
lola: 112940807 markings, 112940811 edges, 561711 markings/sec, 205 secs
lola: 115675958 markings, 115675963 edges, 547030 markings/sec, 210 secs
lola: 118358963 markings, 118358968 edges, 536601 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(r_12_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 20 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: 2759133 markings, 2759138 edges, 551827 markings/sec, 0 secs
lola: 5565698 markings, 5565703 edges, 561313 markings/sec, 5 secs
lola: 8365000 markings, 8365005 edges, 559860 markings/sec, 10 secs
lola: 11090174 markings, 11090179 edges, 545035 markings/sec, 15 secs
lola: 13952164 markings, 13952169 edges, 572398 markings/sec, 20 secs
lola: 16996238 markings, 16996243 edges, 608815 markings/sec, 25 secs
lola: 20137204 markings, 20137209 edges, 628193 markings/sec, 30 secs
lola: 23279974 markings, 23279979 edges, 628554 markings/sec, 35 secs
lola: 26277611 markings, 26277616 edges, 599527 markings/sec, 40 secs
lola: 29346377 markings, 29346382 edges, 613753 markings/sec, 45 secs
lola: 32479946 markings, 32479950 edges, 626714 markings/sec, 50 secs
lola: 35579176 markings, 35579180 edges, 619846 markings/sec, 55 secs
lola: 38661704 markings, 38661708 edges, 616506 markings/sec, 60 secs
lola: 41700114 markings, 41700119 edges, 607682 markings/sec, 65 secs
lola: 44759484 markings, 44759489 edges, 611874 markings/sec, 70 secs
lola: 47569321 markings, 47569326 edges, 561967 markings/sec, 75 secs
lola: 50372676 markings, 50372680 edges, 560671 markings/sec, 80 secs
lola: 53180621 markings, 53180626 edges, 561589 markings/sec, 85 secs
lola: 56075345 markings, 56075350 edges, 578945 markings/sec, 90 secs
lola: 58980053 markings, 58980058 edges, 580942 markings/sec, 95 secs
lola: 61825787 markings, 61825792 edges, 569147 markings/sec, 100 secs
lola: 64613569 markings, 64613574 edges, 557556 markings/sec, 105 secs
lola: 67465971 markings, 67465976 edges, 570480 markings/sec, 110 secs
lola: 70312534 markings, 70312539 edges, 569313 markings/sec, 115 secs
lola: 73177917 markings, 73177921 edges, 573077 markings/sec, 120 secs
lola: 76069886 markings, 76069891 edges, 578394 markings/sec, 125 secs
lola: 79036097 markings, 79036102 edges, 593242 markings/sec, 130 secs
lola: 82000597 markings, 82000602 edges, 592900 markings/sec, 135 secs
lola: 84789209 markings, 84789214 edges, 557722 markings/sec, 140 secs
lola: 87544176 markings, 87544181 edges, 550993 markings/sec, 145 secs
lola: 90328445 markings, 90328450 edges, 556854 markings/sec, 150 secs
lola: 93149935 markings, 93149940 edges, 564298 markings/sec, 155 secs
lola: 96003230 markings, 96003235 edges, 570659 markings/sec, 160 secs
lola: 98858664 markings, 98858668 edges, 571087 markings/sec, 165 secs
lola: 101741798 markings, 101741802 edges, 576627 markings/sec, 170 secs
lola: 104483879 markings, 104483884 edges, 548416 markings/sec, 175 secs
lola: 107047870 markings, 107047875 edges, 512798 markings/sec, 180 secs
lola: 109633457 markings, 109633461 edges, 517117 markings/sec, 185 secs
lola: 112252824 markings, 112252828 edges, 523873 markings/sec, 190 secs
lola: 114854315 markings, 114854320 edges, 520298 markings/sec, 195 secs
lola: 117432005 markings, 117432010 edges, 515538 markings/sec, 200 secs
lola: 120215784 markings, 120215789 edges, 556756 markings/sec, 205 secs
lola: 123087416 markings, 123087421 edges, 574326 markings/sec, 210 secs
lola: 125973690 markings, 125973695 edges, 577255 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(r_87_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 20 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: 3302050 markings, 3302055 edges, 660410 markings/sec, 0 secs
lola: 6549168 markings, 6549172 edges, 649424 markings/sec, 5 secs
lola: 9755874 markings, 9755879 edges, 641341 markings/sec, 10 secs
lola: 13022100 markings, 13022104 edges, 653245 markings/sec, 15 secs
lola: 16156510 markings, 16156515 edges, 626882 markings/sec, 20 secs
lola: 19343275 markings, 19343279 edges, 637353 markings/sec, 25 secs
lola: 22452724 markings, 22452729 edges, 621890 markings/sec, 30 secs
lola: 25619774 markings, 25619779 edges, 633410 markings/sec, 35 secs
lola: 28743413 markings, 28743418 edges, 624728 markings/sec, 40 secs
lola: 31879490 markings, 31879495 edges, 627215 markings/sec, 45 secs
lola: 35051976 markings, 35051981 edges, 634497 markings/sec, 50 secs
lola: 38273442 markings, 38273447 edges, 644293 markings/sec, 55 secs
lola: 41417813 markings, 41417818 edges, 628874 markings/sec, 60 secs
lola: 44692846 markings, 44692850 edges, 655007 markings/sec, 65 secs
lola: 47908547 markings, 47908551 edges, 643140 markings/sec, 70 secs
lola: 51030027 markings, 51030032 edges, 624296 markings/sec, 75 secs
lola: 54169026 markings, 54169031 edges, 627800 markings/sec, 80 secs
lola: 57378624 markings, 57378629 edges, 641920 markings/sec, 85 secs
lola: 60446589 markings, 60446594 edges, 613593 markings/sec, 90 secs
lola: 63550586 markings, 63550591 edges, 620799 markings/sec, 95 secs
lola: 66636407 markings, 66636412 edges, 617164 markings/sec, 100 secs
lola: 69681235 markings, 69681240 edges, 608966 markings/sec, 105 secs
lola: 72804288 markings, 72804293 edges, 624611 markings/sec, 110 secs
lola: 75992384 markings, 75992389 edges, 637619 markings/sec, 115 secs
lola: 79095056 markings, 79095061 edges, 620534 markings/sec, 120 secs
lola: 82051438 markings, 82051443 edges, 591276 markings/sec, 125 secs
lola: 85050030 markings, 85050035 edges, 599718 markings/sec, 130 secs
lola: 88039368 markings, 88039373 edges, 597868 markings/sec, 135 secs
lola: 91061520 markings, 91061525 edges, 604430 markings/sec, 140 secs
lola: 94173923 markings, 94173928 edges, 622481 markings/sec, 145 secs
lola: 97165003 markings, 97165008 edges, 598216 markings/sec, 150 secs
lola: 100065165 markings, 100065170 edges, 580032 markings/sec, 155 secs
lola: 103032301 markings, 103032306 edges, 593427 markings/sec, 160 secs
lola: 106008930 markings, 106008934 edges, 595326 markings/sec, 165 secs
lola: 109010416 markings, 109010421 edges, 600297 markings/sec, 170 secs
lola: 112099213 markings, 112099218 edges, 617759 markings/sec, 175 secs
lola: 115252459 markings, 115252464 edges, 630649 markings/sec, 180 secs
lola: 118267228 markings, 118267233 edges, 602954 markings/sec, 185 secs
lola: 121283101 markings, 121283105 edges, 603175 markings/sec, 190 secs
lola: 124278202 markings, 124278206 edges, 599020 markings/sec, 195 secs
lola: 127319696 markings, 127319701 edges, 608299 markings/sec, 200 secs
lola: 130317620 markings, 130317624 edges, 599585 markings/sec, 205 secs
lola: 133533721 markings, 133533726 edges, 643220 markings/sec, 210 secs
lola: 136511178 markings, 136511183 edges, 595491 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(p_30_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 20 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: 3040820 markings, 3040822 edges, 608164 markings/sec, 0 secs
lola: 6167756 markings, 6167757 edges, 625387 markings/sec, 5 secs
lola: 9120807 markings, 9120809 edges, 590610 markings/sec, 10 secs
lola: 11941819 markings, 11941821 edges, 564202 markings/sec, 15 secs
lola: 14738032 markings, 14738034 edges, 559243 markings/sec, 20 secs
lola: 17522556 markings, 17522558 edges, 556905 markings/sec, 25 secs
lola: 20201358 markings, 20201360 edges, 535760 markings/sec, 30 secs
lola: 22871805 markings, 22871807 edges, 534089 markings/sec, 35 secs
lola: 25468039 markings, 25468040 edges, 519247 markings/sec, 40 secs
lola: 28086140 markings, 28086142 edges, 523620 markings/sec, 45 secs
lola: 30651690 markings, 30651692 edges, 513110 markings/sec, 50 secs
lola: 33176584 markings, 33176586 edges, 504979 markings/sec, 55 secs
lola: 35737015 markings, 35737017 edges, 512086 markings/sec, 60 secs
lola: 38364602 markings, 38364604 edges, 525517 markings/sec, 65 secs
lola: 40972794 markings, 40972795 edges, 521638 markings/sec, 70 secs
lola: 43493918 markings, 43493919 edges, 504225 markings/sec, 75 secs
lola: 46031665 markings, 46031667 edges, 507549 markings/sec, 80 secs
lola: 48621462 markings, 48621463 edges, 517959 markings/sec, 85 secs
lola: 51176529 markings, 51176531 edges, 511013 markings/sec, 90 secs
lola: 53694027 markings, 53694029 edges, 503500 markings/sec, 95 secs
lola: 56418822 markings, 56418824 edges, 544959 markings/sec, 100 secs
lola: 59042605 markings, 59042607 edges, 524757 markings/sec, 105 secs
lola: 61625402 markings, 61625403 edges, 516559 markings/sec, 110 secs
lola: 64175774 markings, 64175776 edges, 510074 markings/sec, 115 secs
lola: 66715504 markings, 66715506 edges, 507946 markings/sec, 120 secs
lola: 69285996 markings, 69285998 edges, 514098 markings/sec, 125 secs
lola: 71843891 markings, 71843892 edges, 511579 markings/sec, 130 secs
lola: 74514466 markings, 74514467 edges, 534115 markings/sec, 135 secs
lola: 77088272 markings, 77088274 edges, 514761 markings/sec, 140 secs
lola: 79624089 markings, 79624091 edges, 507163 markings/sec, 145 secs
lola: 82141523 markings, 82141525 edges, 503487 markings/sec, 150 secs
lola: 84784164 markings, 84784166 edges, 528528 markings/sec, 155 secs
lola: 87390497 markings, 87390499 edges, 521267 markings/sec, 160 secs
lola: 89907393 markings, 89907395 edges, 503379 markings/sec, 165 secs
lola: 92443454 markings, 92443456 edges, 507212 markings/sec, 170 secs
lola: 94949441 markings, 94949443 edges, 501197 markings/sec, 175 secs
lola: 97485429 markings, 97485431 edges, 507198 markings/sec, 180 secs
lola: 99914197 markings, 99914199 edges, 485754 markings/sec, 185 secs
lola: 102425055 markings, 102425057 edges, 502172 markings/sec, 190 secs
lola: 104982757 markings, 104982759 edges, 511540 markings/sec, 195 secs
lola: 107465070 markings, 107465072 edges, 496463 markings/sec, 200 secs
lola: 109886844 markings, 109886846 edges, 484355 markings/sec, 205 secs
lola: 112350006 markings, 112350008 edges, 492632 markings/sec, 210 secs
lola: 114992090 markings, 114992091 edges, 528417 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(p_60_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 20 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: 2955887 markings, 2955893 edges, 591177 markings/sec, 0 secs
lola: 5676353 markings, 5676361 edges, 544093 markings/sec, 5 secs
lola: 8403854 markings, 8403868 edges, 545500 markings/sec, 10 secs
lola: 11059153 markings, 11059178 edges, 531060 markings/sec, 15 secs
lola: 13927919 markings, 13927955 edges, 573753 markings/sec, 20 secs
lola: 16689887 markings, 16689947 edges, 552394 markings/sec, 25 secs
lola: 19565925 markings, 19566011 edges, 575208 markings/sec, 30 secs
lola: 22340749 markings, 22340854 edges, 554965 markings/sec, 35 secs
lola: 25098609 markings, 25098749 edges, 551572 markings/sec, 40 secs
lola: 27789807 markings, 27789985 edges, 538240 markings/sec, 45 secs
lola: 30418851 markings, 30419062 edges, 525809 markings/sec, 50 secs
lola: 33411511 markings, 33411786 edges, 598532 markings/sec, 55 secs
lola: 36373827 markings, 36374136 edges, 592463 markings/sec, 60 secs
lola: 39322277 markings, 39322627 edges, 589690 markings/sec, 65 secs
lola: 42161376 markings, 42161772 edges, 567820 markings/sec, 70 secs
lola: 45032323 markings, 45032777 edges, 574189 markings/sec, 75 secs
lola: 47774981 markings, 47775503 edges, 548532 markings/sec, 80 secs
lola: 50421747 markings, 50422311 edges, 529353 markings/sec, 85 secs
lola: 53146414 markings, 53147043 edges, 544933 markings/sec, 90 secs
lola: 56065027 markings, 56065869 edges, 583723 markings/sec, 95 secs
lola: 58840451 markings, 58841340 edges, 555085 markings/sec, 100 secs
lola: 61731336 markings, 61732284 edges, 578177 markings/sec, 105 secs
lola: 64789705 markings, 64790721 edges, 611674 markings/sec, 110 secs
lola: 67795694 markings, 67796779 edges, 601198 markings/sec, 115 secs
lola: 70855180 markings, 70856357 edges, 611897 markings/sec, 120 secs
lola: 73904559 markings, 73905827 edges, 609876 markings/sec, 125 secs
lola: 76866786 markings, 76868185 edges, 592445 markings/sec, 130 secs
lola: 79806757 markings, 79808280 edges, 587994 markings/sec, 135 secs
lola: 82692543 markings, 82694156 edges, 577157 markings/sec, 140 secs
lola: 85647584 markings, 85649338 edges, 591008 markings/sec, 145 secs
lola: 88500328 markings, 88502168 edges, 570549 markings/sec, 150 secs
lola: 91322004 markings, 91323931 edges, 564335 markings/sec, 155 secs
lola: 94073231 markings, 94075418 edges, 550245 markings/sec, 160 secs
lola: 96929265 markings, 96931700 edges, 571207 markings/sec, 165 secs
lola: 100006001 markings, 100008671 edges, 615347 markings/sec, 170 secs
lola: 102915136 markings, 102917893 edges, 581827 markings/sec, 175 secs
lola: 105842968 markings, 105845820 edges, 585566 markings/sec, 180 secs
lola: 108769043 markings, 108772001 edges, 585215 markings/sec, 185 secs
lola: 111781614 markings, 111784693 edges, 602514 markings/sec, 190 secs
lola: 114728824 markings, 114732016 edges, 589442 markings/sec, 195 secs
lola: 117580350 markings, 117583668 edges, 570305 markings/sec, 200 secs
lola: 120395581 markings, 120399070 edges, 563046 markings/sec, 205 secs
lola: 123428598 markings, 123432238 edges, 606603 markings/sec, 210 secs
lola: 126271629 markings, 126275448 edges, 568606 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_78_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 20 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: 3298871 markings, 3298885 edges, 659774 markings/sec, 0 secs
lola: 6556324 markings, 6556337 edges, 651491 markings/sec, 5 secs
lola: 9826557 markings, 9826571 edges, 654047 markings/sec, 10 secs
lola: 13125371 markings, 13125385 edges, 659763 markings/sec, 15 secs
lola: 16422172 markings, 16422186 edges, 659360 markings/sec, 20 secs
lola: 19670256 markings, 19670270 edges, 649617 markings/sec, 25 secs
lola: 22863816 markings, 22863830 edges, 638712 markings/sec, 30 secs
lola: 25841671 markings, 25841685 edges, 595571 markings/sec, 35 secs
lola: 28689921 markings, 28689935 edges, 569650 markings/sec, 40 secs
lola: 31548447 markings, 31548460 edges, 571705 markings/sec, 45 secs
lola: 34522879 markings, 34522893 edges, 594886 markings/sec, 50 secs
lola: 37417122 markings, 37417135 edges, 578849 markings/sec, 55 secs
lola: 40368680 markings, 40368694 edges, 590312 markings/sec, 60 secs
lola: 43278209 markings, 43278223 edges, 581906 markings/sec, 65 secs
lola: 46125430 markings, 46125444 edges, 569444 markings/sec, 70 secs
lola: 48960726 markings, 48960740 edges, 567059 markings/sec, 75 secs
lola: 51725008 markings, 51725022 edges, 552856 markings/sec, 80 secs
lola: 54527573 markings, 54527587 edges, 560513 markings/sec, 85 secs
lola: 57353542 markings, 57353556 edges, 565194 markings/sec, 90 secs
lola: 60158217 markings, 60158231 edges, 560935 markings/sec, 95 secs
lola: 62888136 markings, 62888150 edges, 545984 markings/sec, 100 secs
lola: 65618310 markings, 65618324 edges, 546035 markings/sec, 105 secs
lola: 68248507 markings, 68248521 edges, 526039 markings/sec, 110 secs
lola: 70909873 markings, 70909886 edges, 532273 markings/sec, 115 secs
lola: 73617850 markings, 73617864 edges, 541595 markings/sec, 120 secs
lola: 76526770 markings, 76526784 edges, 581784 markings/sec, 125 secs
lola: 79349646 markings, 79349660 edges, 564575 markings/sec, 130 secs
lola: 82112987 markings, 82113001 edges, 552668 markings/sec, 135 secs
lola: 84843396 markings, 84843410 edges, 546082 markings/sec, 140 secs
lola: 87619695 markings, 87619708 edges, 555260 markings/sec, 145 secs
lola: 90491231 markings, 90491245 edges, 574307 markings/sec, 150 secs
lola: 93421467 markings, 93421481 edges, 586047 markings/sec, 155 secs
lola: 96275679 markings, 96275693 edges, 570842 markings/sec, 160 secs
lola: 99056414 markings, 99056428 edges, 556147 markings/sec, 165 secs
lola: 102020607 markings, 102020621 edges, 592839 markings/sec, 170 secs
lola: 104942421 markings, 104942435 edges, 584363 markings/sec, 175 secs
lola: 107814474 markings, 107814488 edges, 574411 markings/sec, 180 secs
lola: 110652456 markings, 110652470 edges, 567596 markings/sec, 185 secs
lola: 113519748 markings, 113519762 edges, 573458 markings/sec, 190 secs
lola: 116408178 markings, 116408192 edges, 577686 markings/sec, 195 secs
lola: 119258403 markings, 119258417 edges, 570045 markings/sec, 200 secs
lola: 122072853 markings, 122072867 edges, 562890 markings/sec, 205 secs
lola: 124897815 markings, 124897829 edges, 564992 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(r_29_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 20 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: 3392588 markings, 3392748 edges, 678518 markings/sec, 0 secs
lola: 6756254 markings, 6756809 edges, 672733 markings/sec, 5 secs
lola: 10085437 markings, 10086877 edges, 665837 markings/sec, 10 secs
lola: 13464822 markings, 13467616 edges, 675877 markings/sec, 15 secs
lola: 16871322 markings, 16875319 edges, 681300 markings/sec, 20 secs
lola: 20231937 markings, 20237782 edges, 672123 markings/sec, 25 secs
lola: 23580636 markings, 23589046 edges, 669740 markings/sec, 30 secs
lola: 26672968 markings, 26682751 edges, 618466 markings/sec, 35 secs
lola: 29734292 markings, 29746235 edges, 612265 markings/sec, 40 secs
lola: 32754245 markings, 32768885 edges, 603991 markings/sec, 45 secs
lola: 35854630 markings, 35872180 edges, 620077 markings/sec, 50 secs
lola: 38959209 markings, 38979496 edges, 620916 markings/sec, 55 secs
lola: 42082327 markings, 42107868 edges, 624624 markings/sec, 60 secs
lola: 45272313 markings, 45300018 edges, 637997 markings/sec, 65 secs
lola: 48345143 markings, 48375678 edges, 614566 markings/sec, 70 secs
lola: 51500417 markings, 51534709 edges, 631055 markings/sec, 75 secs
lola: 54685767 markings, 54724875 edges, 637070 markings/sec, 80 secs
lola: 57883252 markings, 57927253 edges, 639497 markings/sec, 85 secs
lola: 61099005 markings, 61147634 edges, 643151 markings/sec, 90 secs
lola: 64265977 markings, 64320879 edges, 633394 markings/sec, 95 secs
lola: 67370282 markings, 67430694 edges, 620861 markings/sec, 100 secs
lola: 70463630 markings, 70528120 edges, 618670 markings/sec, 105 secs
lola: 73576997 markings, 73652003 edges, 622673 markings/sec, 110 secs
lola: 76783215 markings, 76861464 edges, 641244 markings/sec, 115 secs
lola: 79981810 markings, 80063940 edges, 639719 markings/sec, 120 secs
lola: 83072493 markings, 83158923 edges, 618137 markings/sec, 125 secs
lola: 86202356 markings, 86293513 edges, 625973 markings/sec, 130 secs
lola: 89368843 markings, 89466390 edges, 633297 markings/sec, 135 secs
lola: 92598362 markings, 92702402 edges, 645904 markings/sec, 140 secs
lola: 95590639 markings, 95701512 edges, 598455 markings/sec, 145 secs
lola: 98538075 markings, 98656989 edges, 589487 markings/sec, 150 secs
lola: 101506205 markings, 101632671 edges, 593626 markings/sec, 155 secs
lola: 104681536 markings, 104815905 edges, 635066 markings/sec, 160 secs
lola: 107880185 markings, 108022215 edges, 639730 markings/sec, 165 secs
lola: 111097568 markings, 111249443 edges, 643477 markings/sec, 170 secs
lola: 114227894 markings, 114390162 edges, 626065 markings/sec, 175 secs
lola: 117231239 markings, 117403345 edges, 600669 markings/sec, 180 secs
lola: 120142020 markings, 120320702 edges, 582156 markings/sec, 185 secs
lola: 123080158 markings, 123268040 edges, 587628 markings/sec, 190 secs
lola: 126004999 markings, 126201771 edges, 584968 markings/sec, 195 secs
lola: 128904093 markings, 129123307 edges, 579819 markings/sec, 200 secs
lola: 131913128 markings, 132136881 edges, 601807 markings/sec, 205 secs
lola: 134911170 markings, 135139984 edges, 599608 markings/sec, 210 secs
lola: 137800246 markings, 138034616 edges, 577815 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(r_93_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 20 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: 3071289 markings, 3071294 edges, 614258 markings/sec, 0 secs
lola: 6126455 markings, 6126460 edges, 611033 markings/sec, 5 secs
lola: 9154571 markings, 9154575 edges, 605623 markings/sec, 10 secs
lola: 12272153 markings, 12272158 edges, 623516 markings/sec, 15 secs
lola: 15601539 markings, 15601544 edges, 665877 markings/sec, 20 secs
lola: 18818850 markings, 18818855 edges, 643462 markings/sec, 25 secs
lola: 22100738 markings, 22100743 edges, 656378 markings/sec, 30 secs
lola: 25306908 markings, 25306913 edges, 641234 markings/sec, 35 secs
lola: 28573865 markings, 28573870 edges, 653391 markings/sec, 40 secs
lola: 31796716 markings, 31796721 edges, 644570 markings/sec, 45 secs
lola: 35034017 markings, 35034022 edges, 647460 markings/sec, 50 secs
lola: 38236087 markings, 38236092 edges, 640414 markings/sec, 55 secs
lola: 41415672 markings, 41415677 edges, 635917 markings/sec, 60 secs
lola: 44526054 markings, 44526059 edges, 622076 markings/sec, 65 secs
lola: 47662601 markings, 47662606 edges, 627309 markings/sec, 70 secs
lola: 50838712 markings, 50838717 edges, 635222 markings/sec, 75 secs
lola: 54136907 markings, 54136912 edges, 659639 markings/sec, 80 secs
lola: 57430156 markings, 57430161 edges, 658650 markings/sec, 85 secs
lola: 60683777 markings, 60683782 edges, 650724 markings/sec, 90 secs
lola: 63915879 markings, 63915884 edges, 646420 markings/sec, 95 secs
lola: 66764111 markings, 66764115 edges, 569646 markings/sec, 100 secs
lola: 69582505 markings, 69582510 edges, 563679 markings/sec, 105 secs
lola: 72412406 markings, 72412411 edges, 565980 markings/sec, 110 secs
lola: 75325190 markings, 75325195 edges, 582557 markings/sec, 115 secs
lola: 78322561 markings, 78322566 edges, 599474 markings/sec, 120 secs
lola: 81340105 markings, 81340110 edges, 603509 markings/sec, 125 secs
lola: 84426477 markings, 84426482 edges, 617274 markings/sec, 130 secs
lola: 87538596 markings, 87538601 edges, 622424 markings/sec, 135 secs
lola: 90644099 markings, 90644104 edges, 621101 markings/sec, 140 secs
lola: 93737332 markings, 93737337 edges, 618647 markings/sec, 145 secs
lola: 96809468 markings, 96809472 edges, 614427 markings/sec, 150 secs
lola: 99863376 markings, 99863381 edges, 610782 markings/sec, 155 secs
lola: 102684139 markings, 102684144 edges, 564153 markings/sec, 160 secs
lola: 105454443 markings, 105454448 edges, 554061 markings/sec, 165 secs
lola: 108224532 markings, 108224537 edges, 554018 markings/sec, 170 secs
lola: 111127947 markings, 111127951 edges, 580683 markings/sec, 175 secs
lola: 114151234 markings, 114151239 edges, 604657 markings/sec, 180 secs
lola: 117150736 markings, 117150740 edges, 599900 markings/sec, 185 secs
lola: 120158523 markings, 120158528 edges, 601557 markings/sec, 190 secs
lola: 123151014 markings, 123151019 edges, 598498 markings/sec, 195 secs
lola: 126204345 markings, 126204350 edges, 610666 markings/sec, 200 secs
lola: 129258993 markings, 129258998 edges, 610930 markings/sec, 205 secs
lola: 132432924 markings, 132432929 edges, 634786 markings/sec, 210 secs
lola: 135476873 markings, 135476878 edges, 608790 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 ResAllocation-PT-R003C100-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C100-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C100-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C100-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C100-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C100-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C100-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C100-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C100-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C100-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C100-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C100-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C100-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C100-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C100-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C100-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494805966645
--------------------
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="ResAllocation-PT-R003C100"
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/ResAllocation-PT-R003C100.tgz
mv ResAllocation-PT-R003C100 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 ResAllocation-PT-R003C100, 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 r068-csrt-149440963100110"
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 ;