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_FMS-PT-500, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612400416
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496373387360


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_FMS-PT-500: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_FMS-PT-500: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_FMS-PT-500 @ 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: 42/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 22 places, 20 transitions, 16 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 24 transition conflict sets
lola: TASK
lola: reading formula from FMS-PT-500-UpperBounds.task
lola: MAX(M2) : MAX(P2wM2) : MAX(P3s) : MAX(P2M2) : MAX(P2d) : MAX(M2) : MAX(P1wM1) : MAX(P3M2) : MAX(P1M1) : MAX(P1M1) : MAX(P12) : MAX(P2s) : MAX(M3) : MAX(P1wP2) : MAX(P12) : MAX(P12)
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(M2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4715168 markings, 7942903 edges, 943034 markings/sec, 0 secs
lola: 9425851 markings, 15931301 edges, 942137 markings/sec, 5 secs
lola: 14157765 markings, 23948460 edges, 946383 markings/sec, 10 secs
lola: 19004949 markings, 32143351 edges, 969437 markings/sec, 15 secs
lola: 23829911 markings, 40321175 edges, 964992 markings/sec, 20 secs
lola: 28631471 markings, 48443231 edges, 960312 markings/sec, 25 secs
lola: 33528471 markings, 56745225 edges, 979400 markings/sec, 30 secs
lola: 38435209 markings, 65053376 edges, 981348 markings/sec, 35 secs
lola: 43324416 markings, 73335858 edges, 977841 markings/sec, 40 secs
lola: 48319451 markings, 81795464 edges, 999007 markings/sec, 45 secs
lola: 54262696 markings, 89997620 edges, 1188649 markings/sec, 50 secs
lola: 58383693 markings, 97470015 edges, 824199 markings/sec, 55 secs
lola: 62539056 markings, 105272118 edges, 831073 markings/sec, 60 secs
lola: 67334227 markings, 113448549 edges, 959034 markings/sec, 65 secs
lola: 73258073 markings, 122358510 edges, 1184769 markings/sec, 70 secs
lola: 77603713 markings, 130517128 edges, 869128 markings/sec, 75 secs
lola: 82096771 markings, 138954841 edges, 898612 markings/sec, 80 secs
lola: 88372295 markings, 147696182 edges, 1255105 markings/sec, 85 secs
lola: 92883647 markings, 156157486 edges, 902270 markings/sec, 90 secs
lola: 97527597 markings, 164875941 edges, 928790 markings/sec, 95 secs
lola: 103731034 markings, 173840246 edges, 1240687 markings/sec, 100 secs
lola: 108165870 markings, 181774338 edges, 886967 markings/sec, 105 secs
lola: 112330350 markings, 189593681 edges, 832896 markings/sec, 110 secs
lola: 116986744 markings, 197548653 edges, 931279 markings/sec, 115 secs
lola: 122561806 markings, 205752122 edges, 1115012 markings/sec, 120 secs
lola: 126906665 markings, 213909528 edges, 868972 markings/sec, 125 secs
lola: 131247722 markings, 222061042 edges, 868211 markings/sec, 130 secs
lola: 137660051 markings, 231058651 edges, 1282466 markings/sec, 135 secs
lola: 142043281 markings, 239275648 edges, 876646 markings/sec, 140 secs
lola: 146330072 markings, 247323455 edges, 857358 markings/sec, 145 secs
lola: 151583695 markings, 255675692 edges, 1050725 markings/sec, 150 secs
lola: 156837861 markings, 263947308 edges, 1050833 markings/sec, 155 secs
lola: 161206371 markings, 272141386 edges, 873702 markings/sec, 160 secs
lola: 165640579 markings, 280447090 edges, 886842 markings/sec, 165 secs
lola: 171822337 markings, 289026207 edges, 1236352 markings/sec, 170 secs
lola: 175925944 markings, 296724542 edges, 820721 markings/sec, 175 secs
lola: 180199385 markings, 304751760 edges, 854688 markings/sec, 180 secs
lola: 185626209 markings, 312959461 edges, 1085365 markings/sec, 185 secs
lola: 190443410 markings, 320922760 edges, 963440 markings/sec, 190 secs
lola: 194661683 markings, 328844978 edges, 843655 markings/sec, 195 secs
lola: 199033559 markings, 337000280 edges, 874375 markings/sec, 200 secs
lola: 205481822 markings, 346017115 edges, 1289653 markings/sec, 205 secs
lola: 209736212 markings, 353997984 edges, 850878 markings/sec, 210 secs
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(P2wM2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 7277177 markings, 9680470 edges, 1455435 markings/sec, 0 secs
lola: 11526366 markings, 18223847 edges, 849838 markings/sec, 5 secs
lola: 15670658 markings, 26577041 edges, 828858 markings/sec, 10 secs
lola: 19554740 markings, 34391324 edges, 776816 markings/sec, 15 secs
lola: 23413754 markings, 42162913 edges, 771803 markings/sec, 20 secs
lola: 27494778 markings, 50384679 edges, 816205 markings/sec, 25 secs
lola: 31566793 markings, 58581840 edges, 814403 markings/sec, 30 secs
lola: 35615076 markings, 66736968 edges, 809657 markings/sec, 35 secs
lola: 39556882 markings, 74674607 edges, 788361 markings/sec, 40 secs
lola: 43718955 markings, 83042171 edges, 832415 markings/sec, 45 secs
lola: 48946836 markings, 91086936 edges, 1045576 markings/sec, 50 secs
lola: 54845850 markings, 98815694 edges, 1179803 markings/sec, 55 secs
lola: 60832756 markings, 106662457 edges, 1197381 markings/sec, 60 secs
lola: 65289488 markings, 114607257 edges, 891346 markings/sec, 65 secs
lola: 68272781 markings, 122835150 edges, 596659 markings/sec, 70 secs
lola: 71272742 markings, 131114946 edges, 599992 markings/sec, 75 secs
lola: 74271227 markings, 139389596 edges, 599697 markings/sec, 80 secs
lola: 77288303 markings, 147704931 edges, 603415 markings/sec, 85 secs
lola: 80433005 markings, 156385463 edges, 628940 markings/sec, 90 secs
lola: 84281234 markings, 164742884 edges, 769646 markings/sec, 95 secs
lola: 88380235 markings, 173005341 edges, 819800 markings/sec, 100 secs
lola: 92514701 markings, 181331266 edges, 826893 markings/sec, 105 secs
lola: 96320028 markings, 188999012 edges, 761065 markings/sec, 110 secs
lola: 100199993 markings, 196814811 edges, 775993 markings/sec, 115 secs
lola: 103997493 markings, 204460937 edges, 759500 markings/sec, 120 secs
lola: 108041180 markings, 212602862 edges, 808737 markings/sec, 125 secs
lola: 112082281 markings, 220756138 edges, 808220 markings/sec, 130 secs
lola: 116134689 markings, 228908208 edges, 810482 markings/sec, 135 secs
lola: 121799236 markings, 237085147 edges, 1132909 markings/sec, 140 secs
lola: 127741135 markings, 244872922 edges, 1188380 markings/sec, 145 secs
lola: 133596261 markings, 252546309 edges, 1171025 markings/sec, 150 secs
lola: 137548436 markings, 260505762 edges, 790435 markings/sec, 155 secs
lola: 140611987 markings, 268958988 edges, 612710 markings/sec, 160 secs
lola: 143759044 markings, 277642344 edges, 629411 markings/sec, 165 secs
lola: 146818682 markings, 286084250 edges, 611928 markings/sec, 170 secs
lola: 149767235 markings, 294218849 edges, 589711 markings/sec, 175 secs
lola: 152809154 markings, 302606825 edges, 608384 markings/sec, 180 secs
lola: 156578313 markings, 310375333 edges, 753832 markings/sec, 185 secs
lola: 160558245 markings, 318380109 edges, 795986 markings/sec, 190 secs
lola: 164439722 markings, 326204926 edges, 776295 markings/sec, 195 secs
lola: 168439827 markings, 334266497 edges, 800021 markings/sec, 200 secs
lola: 172308423 markings, 342063594 edges, 773719 markings/sec, 205 secs
lola: 176281619 markings, 350057066 edges, 794639 markings/sec, 210 secs
lola: 179998977 markings, 357558363 edges, 743472 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(P3s)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 7233306 markings, 10101627 edges, 1446661 markings/sec, 0 secs
lola: 14313037 markings, 19989543 edges, 1415946 markings/sec, 5 secs
lola: 20532760 markings, 28958244 edges, 1243945 markings/sec, 10 secs
lola: 25862028 markings, 37110644 edges, 1065854 markings/sec, 15 secs
lola: 31303395 markings, 45449747 edges, 1088273 markings/sec, 20 secs
lola: 36759358 markings, 53795825 edges, 1091193 markings/sec, 25 secs
lola: 42192477 markings, 62118735 edges, 1086624 markings/sec, 30 secs
lola: 47695532 markings, 70539023 edges, 1100611 markings/sec, 35 secs
lola: 53287213 markings, 79106634 edges, 1118336 markings/sec, 40 secs
lola: 58104751 markings, 87588043 edges, 963508 markings/sec, 45 secs
lola: 62141094 markings, 95804077 edges, 807269 markings/sec, 50 secs
lola: 65276187 markings, 102879178 edges, 627019 markings/sec, 55 secs
lola: 68302076 markings, 109941164 edges, 605178 markings/sec, 60 secs
lola: 71501634 markings, 117412500 edges, 639912 markings/sec, 65 secs
lola: 74733221 markings, 124962290 edges, 646317 markings/sec, 70 secs
lola: 77993124 markings, 132477397 edges, 651981 markings/sec, 75 secs
lola: 83361533 markings, 140925184 edges, 1073682 markings/sec, 80 secs
lola: 88610625 markings, 149185083 edges, 1049818 markings/sec, 85 secs
lola: 93135425 markings, 156773916 edges, 904960 markings/sec, 90 secs
lola: 97268830 markings, 164043229 edges, 826681 markings/sec, 95 secs
lola: 101311564 markings, 171160913 edges, 808547 markings/sec, 100 secs
lola: 105386821 markings, 178333912 edges, 815051 markings/sec, 105 secs
lola: 109544469 markings, 185655469 edges, 831530 markings/sec, 110 secs
lola: 113734684 markings, 193029131 edges, 838043 markings/sec, 115 secs
lola: 118322155 markings, 200813615 edges, 917494 markings/sec, 120 secs
lola: 123472251 markings, 208917759 edges, 1030019 markings/sec, 125 secs
lola: 128915655 markings, 217483354 edges, 1088681 markings/sec, 130 secs
lola: 133312482 markings, 225104505 edges, 879365 markings/sec, 135 secs
lola: 137712413 markings, 232847184 edges, 879986 markings/sec, 140 secs
lola: 141741086 markings, 239928921 edges, 805735 markings/sec, 145 secs
lola: 145986415 markings, 247407491 edges, 849066 markings/sec, 150 secs
lola: 150278078 markings, 254960206 edges, 858333 markings/sec, 155 secs
lola: 154690812 markings, 262723376 edges, 882547 markings/sec, 160 secs
lola: 160121147 markings, 271462884 edges, 1086067 markings/sec, 165 secs
lola: 165867215 markings, 280504726 edges, 1149214 markings/sec, 170 secs
lola: 170799047 markings, 288695249 edges, 986366 markings/sec, 175 secs
lola: 175130128 markings, 296311041 edges, 866216 markings/sec, 180 secs
lola: 179393703 markings, 303818816 edges, 852715 markings/sec, 185 secs
lola: 183497095 markings, 311036829 edges, 820678 markings/sec, 190 secs
lola: 187319211 markings, 317771328 edges, 764423 markings/sec, 195 secs
lola: 191662653 markings, 325406895 edges, 868688 markings/sec, 200 secs
lola: 196373013 markings, 333382950 edges, 942072 markings/sec, 205 secs
lola: 201885183 markings, 342056887 edges, 1102434 markings/sec, 210 secs
lola: 207317329 markings, 350605065 edges, 1086429 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(P2M2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4697865 markings, 7919255 edges, 939573 markings/sec, 0 secs
lola: 9222815 markings, 15589794 edges, 904990 markings/sec, 5 secs
lola: 13681020 markings, 23142750 edges, 891641 markings/sec, 10 secs
lola: 18423442 markings, 30515831 edges, 948484 markings/sec, 15 secs
lola: 22169968 markings, 37519178 edges, 749305 markings/sec, 20 secs
lola: 26887223 markings, 45365985 edges, 943451 markings/sec, 25 secs
lola: 31560460 markings, 53073774 edges, 934647 markings/sec, 30 secs
lola: 36162063 markings, 60625897 edges, 920321 markings/sec, 35 secs
lola: 39932125 markings, 67524791 edges, 754012 markings/sec, 40 secs
lola: 44113267 markings, 74452257 edges, 836228 markings/sec, 45 secs
lola: 48642737 markings, 81842035 edges, 905894 markings/sec, 50 secs
lola: 52877003 markings, 89130535 edges, 846853 markings/sec, 55 secs
lola: 56939192 markings, 96292526 edges, 812438 markings/sec, 60 secs
lola: 61338755 markings, 103405870 edges, 879913 markings/sec, 65 secs
lola: 65356511 markings, 110264827 edges, 803551 markings/sec, 70 secs
lola: 69257223 markings, 117100272 edges, 780142 markings/sec, 75 secs
lola: 73884025 markings, 124607287 edges, 925360 markings/sec, 80 secs
lola: 78239373 markings, 132062143 edges, 871070 markings/sec, 85 secs
lola: 82359517 markings, 139325195 edges, 824029 markings/sec, 90 secs
lola: 86947857 markings, 146735970 edges, 917668 markings/sec, 95 secs
lola: 90993692 markings, 153827789 edges, 809167 markings/sec, 100 secs
lola: 95206832 markings, 161003621 edges, 842628 markings/sec, 105 secs
lola: 99902326 markings, 168584671 edges, 939099 markings/sec, 110 secs
lola: 103812232 markings, 175793942 edges, 781981 markings/sec, 115 secs
lola: 108516479 markings, 183491403 edges, 940849 markings/sec, 120 secs
lola: 113266912 markings, 191129081 edges, 950087 markings/sec, 125 secs
lola: 116904606 markings, 197966317 edges, 727539 markings/sec, 130 secs
lola: 121323949 markings, 204974228 edges, 883869 markings/sec, 135 secs
lola: 125289696 markings, 211984891 edges, 793149 markings/sec, 140 secs
lola: 129719082 markings, 219422151 edges, 885877 markings/sec, 145 secs
lola: 134323881 markings, 226736365 edges, 920960 markings/sec, 150 secs
lola: 138183590 markings, 233986431 edges, 771942 markings/sec, 155 secs
lola: 142921683 markings, 241538318 edges, 947619 markings/sec, 160 secs
lola: 147039791 markings, 248818739 edges, 823622 markings/sec, 165 secs
lola: 151470472 markings, 256238913 edges, 886136 markings/sec, 170 secs
lola: 156431737 markings, 264181448 edges, 992253 markings/sec, 175 secs
lola: 160528530 markings, 271837288 edges, 819359 markings/sec, 180 secs
lola: 165282300 markings, 279409488 edges, 950754 markings/sec, 185 secs
lola: 169554468 markings, 286957634 edges, 854434 markings/sec, 190 secs
lola: 174020051 markings, 294406362 edges, 893117 markings/sec, 195 secs
lola: 178539355 markings, 301671018 edges, 903861 markings/sec, 200 secs
lola: 182374575 markings, 308664095 edges, 767044 markings/sec, 205 secs
lola: 187082477 markings, 316066246 edges, 941580 markings/sec, 210 secs
lola: 190813210 markings, 323078405 edges, 746147 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(P2d)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4574246 markings, 7705877 edges, 914849 markings/sec, 0 secs
lola: 9137068 markings, 15430651 edges, 912564 markings/sec, 5 secs
lola: 13692688 markings, 23153526 edges, 911124 markings/sec, 10 secs
lola: 18248811 markings, 30872259 edges, 911225 markings/sec, 15 secs
lola: 22997489 markings, 38910074 edges, 949736 markings/sec, 20 secs
lola: 27591326 markings, 46696359 edges, 918767 markings/sec, 25 secs
lola: 32406123 markings, 54843738 edges, 962959 markings/sec, 30 secs
lola: 37191995 markings, 62954820 edges, 957174 markings/sec, 35 secs
lola: 42014939 markings, 71116913 edges, 964589 markings/sec, 40 secs
lola: 46835320 markings, 79276209 edges, 964076 markings/sec, 45 secs
lola: 52255089 markings, 87376422 edges, 1083954 markings/sec, 50 secs
lola: 56872384 markings, 94631534 edges, 923459 markings/sec, 55 secs
lola: 60683179 markings, 101786017 edges, 762159 markings/sec, 60 secs
lola: 64670610 markings, 109266971 edges, 797486 markings/sec, 65 secs
lola: 70705356 markings, 117850074 edges, 1206949 markings/sec, 70 secs
lola: 74888286 markings, 125413316 edges, 836586 markings/sec, 75 secs
lola: 78918586 markings, 132984007 edges, 806060 markings/sec, 80 secs
lola: 83301187 markings, 140679970 edges, 876520 markings/sec, 85 secs
lola: 88956591 markings, 148784112 edges, 1131081 markings/sec, 90 secs
lola: 93184112 markings, 156720664 edges, 845504 markings/sec, 95 secs
lola: 97419054 markings, 164678407 edges, 846988 markings/sec, 100 secs
lola: 103312233 markings, 173293506 edges, 1178636 markings/sec, 105 secs
lola: 107608579 markings, 180728984 edges, 859269 markings/sec, 110 secs
lola: 111645258 markings, 188297906 edges, 807336 markings/sec, 115 secs
lola: 115897228 markings, 196126295 edges, 850394 markings/sec, 120 secs
lola: 121613126 markings, 203969802 edges, 1143180 markings/sec, 125 secs
lola: 125492720 markings, 211263524 edges, 775919 markings/sec, 130 secs
lola: 129334802 markings, 218472277 edges, 768416 markings/sec, 135 secs
lola: 134252539 markings, 226493017 edges, 983547 markings/sec, 140 secs
lola: 139534090 markings, 234567656 edges, 1056310 markings/sec, 145 secs
lola: 143527544 markings, 242063440 edges, 798691 markings/sec, 150 secs
lola: 147512749 markings, 249546436 edges, 797041 markings/sec, 155 secs
lola: 152953130 markings, 257463500 edges, 1088076 markings/sec, 160 secs
lola: 157360430 markings, 264930233 edges, 881460 markings/sec, 165 secs
lola: 161425449 markings, 272558910 edges, 813004 markings/sec, 170 secs
lola: 165562594 markings, 280317882 edges, 827429 markings/sec, 175 secs
lola: 171589814 markings, 288594014 edges, 1205444 markings/sec, 180 secs
lola: 175374638 markings, 295694595 edges, 756965 markings/sec, 185 secs
lola: 179242568 markings, 302956816 edges, 773586 markings/sec, 190 secs
lola: 183609043 markings, 310325724 edges, 873295 markings/sec, 195 secs
lola: 188932891 markings, 318094159 edges, 1064770 markings/sec, 200 secs
lola: 192854450 markings, 325459010 edges, 784312 markings/sec, 205 secs
lola: 196809040 markings, 332875075 edges, 790918 markings/sec, 210 secs
lola: 201949084 markings, 340893816 edges, 1028009 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(M2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4466993 markings, 7526793 edges, 893399 markings/sec, 0 secs
lola: 8918312 markings, 15062927 edges, 890264 markings/sec, 5 secs
lola: 13378824 markings, 22624233 edges, 892102 markings/sec, 10 secs
lola: 17998729 markings, 30442636 edges, 923981 markings/sec, 15 secs
lola: 22649090 markings, 38322527 edges, 930072 markings/sec, 20 secs
lola: 27235704 markings, 46084240 edges, 917323 markings/sec, 25 secs
lola: 31925952 markings, 54037921 edges, 938050 markings/sec, 30 secs
lola: 36619191 markings, 61978667 edges, 938648 markings/sec, 35 secs
lola: 41092003 markings, 69554143 edges, 894562 markings/sec, 40 secs
lola: 45590002 markings, 77167611 edges, 899600 markings/sec, 45 secs
lola: 50261839 markings, 84773811 edges, 934367 markings/sec, 50 secs
lola: 55619986 markings, 92274549 edges, 1071629 markings/sec, 55 secs
lola: 59495475 markings, 99556869 edges, 775098 markings/sec, 60 secs
lola: 63388935 markings, 106865421 edges, 778692 markings/sec, 65 secs
lola: 68319214 markings, 114734526 edges, 986056 markings/sec, 70 secs
lola: 73466110 markings, 122752517 edges, 1029379 markings/sec, 75 secs
lola: 77510708 markings, 130343958 edges, 808920 markings/sec, 80 secs
lola: 81594877 markings, 138009360 edges, 816834 markings/sec, 85 secs
lola: 87377824 markings, 146002514 edges, 1156589 markings/sec, 90 secs
lola: 91506901 markings, 153575225 edges, 825815 markings/sec, 95 secs
lola: 95632471 markings, 161323333 edges, 825114 markings/sec, 100 secs
lola: 100136205 markings, 169146678 edges, 900747 markings/sec, 105 secs
lola: 105593093 markings, 176946909 edges, 1091378 markings/sec, 110 secs
lola: 109485683 markings, 184248855 edges, 778518 markings/sec, 115 secs
lola: 113381290 markings, 191565923 edges, 779121 markings/sec, 120 secs
lola: 118011324 markings, 198886454 edges, 926007 markings/sec, 125 secs
lola: 123008050 markings, 206599717 edges, 999345 markings/sec, 130 secs
lola: 126733447 markings, 213582567 edges, 745079 markings/sec, 135 secs
lola: 130618218 markings, 220886875 edges, 776954 markings/sec, 140 secs
lola: 136088384 markings, 228889930 edges, 1094033 markings/sec, 145 secs
lola: 140387966 markings, 236179457 edges, 859916 markings/sec, 150 secs
lola: 144176889 markings, 243284331 edges, 757785 markings/sec, 155 secs
lola: 148057321 markings, 250567302 edges, 776086 markings/sec, 160 secs
lola: 153536216 markings, 258224983 edges, 1095779 markings/sec, 165 secs
lola: 157643232 markings, 265449217 edges, 821403 markings/sec, 170 secs
lola: 161496799 markings, 272689006 edges, 770713 markings/sec, 175 secs
lola: 165485131 markings, 280176849 edges, 797666 markings/sec, 180 secs
lola: 171397677 markings, 288224378 edges, 1182509 markings/sec, 185 secs
lola: 175057511 markings, 295105580 edges, 731967 markings/sec, 190 secs
lola: 178959988 markings, 302421373 edges, 780495 markings/sec, 195 secs
lola: 183076766 markings, 309630774 edges, 823356 markings/sec, 200 secs
lola: 188389481 markings, 317076449 edges, 1062543 markings/sec, 205 secs
lola: 192083110 markings, 324010046 edges, 738726 markings/sec, 210 secs
lola: 195760901 markings, 330916586 edges, 735558 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(P1wM1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6749401 markings, 8017941 edges, 1349880 markings/sec, 0 secs
lola: 13019355 markings, 15545632 edges, 1253991 markings/sec, 5 secs
lola: 18131034 markings, 22009563 edges, 1022336 markings/sec, 10 secs
lola: 21257474 markings, 28640154 edges, 625288 markings/sec, 15 secs
lola: 24203390 markings, 35351463 edges, 589183 markings/sec, 20 secs
lola: 27114574 markings, 41970282 edges, 582237 markings/sec, 25 secs
lola: 30000654 markings, 48548117 edges, 577216 markings/sec, 30 secs
lola: 33974470 markings, 55174147 edges, 794763 markings/sec, 35 secs
lola: 38492575 markings, 61377928 edges, 903621 markings/sec, 40 secs
lola: 41197870 markings, 67648656 edges, 541059 markings/sec, 45 secs
lola: 43979561 markings, 74121092 edges, 556338 markings/sec, 50 secs
lola: 46754623 markings, 80568539 edges, 555012 markings/sec, 55 secs
lola: 49545950 markings, 87061089 edges, 558265 markings/sec, 60 secs
lola: 54564778 markings, 93332185 edges, 1003766 markings/sec, 65 secs
lola: 57893179 markings, 99601765 edges, 665680 markings/sec, 70 secs
lola: 60722403 markings, 106177367 edges, 565845 markings/sec, 75 secs
lola: 63504991 markings, 112643235 edges, 556518 markings/sec, 80 secs
lola: 66323300 markings, 119192090 edges, 563662 markings/sec, 85 secs
lola: 70060226 markings, 125491465 edges, 747385 markings/sec, 90 secs
lola: 74711965 markings, 131802562 edges, 930348 markings/sec, 95 secs
lola: 77520721 markings, 138328988 edges, 561751 markings/sec, 100 secs
lola: 80330763 markings, 144845154 edges, 562008 markings/sec, 105 secs
lola: 83018102 markings, 151100297 edges, 537468 markings/sec, 110 secs
lola: 85795210 markings, 157554203 edges, 555422 markings/sec, 115 secs
lola: 90699968 markings, 163816855 edges, 980952 markings/sec, 120 secs
lola: 94262161 markings, 170325486 edges, 712439 markings/sec, 125 secs
lola: 97093643 markings, 176899232 edges, 566296 markings/sec, 130 secs
lola: 99956931 markings, 183557767 edges, 572658 markings/sec, 135 secs
lola: 102815164 markings, 190195361 edges, 571647 markings/sec, 140 secs
lola: 106691089 markings, 196673711 edges, 775185 markings/sec, 145 secs
lola: 111283733 markings, 202929931 edges, 918529 markings/sec, 150 secs
lola: 114079896 markings, 209439782 edges, 559233 markings/sec, 155 secs
lola: 116864392 markings, 215904071 edges, 556899 markings/sec, 160 secs
lola: 119732369 markings, 222570269 edges, 573595 markings/sec, 165 secs
lola: 122714220 markings, 229457665 edges, 596370 markings/sec, 170 secs
lola: 128053955 markings, 235966867 edges, 1067947 markings/sec, 175 secs
lola: 131278868 markings, 242438813 edges, 644983 markings/sec, 180 secs
lola: 134082854 markings, 248945845 edges, 560797 markings/sec, 185 secs
lola: 136844268 markings, 255371978 edges, 552283 markings/sec, 190 secs
lola: 139595389 markings, 261752775 edges, 550224 markings/sec, 195 secs
lola: 143303421 markings, 268051323 edges, 741606 markings/sec, 200 secs
lola: 148009723 markings, 274321628 edges, 941260 markings/sec, 205 secs
lola: 150853911 markings, 280933412 edges, 568838 markings/sec, 210 secs
lola: 153724239 markings, 287601590 edges, 574066 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(P3M2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 7080350 markings, 9888173 edges, 1416070 markings/sec, 0 secs
lola: 13827709 markings, 19311726 edges, 1349472 markings/sec, 5 secs
lola: 19908470 markings, 28003250 edges, 1216152 markings/sec, 10 secs
lola: 25132249 markings, 35999688 edges, 1044756 markings/sec, 15 secs
lola: 30467936 markings, 44163847 edges, 1067137 markings/sec, 20 secs
lola: 35832106 markings, 52379562 edges, 1072834 markings/sec, 25 secs
lola: 41260380 markings, 60686321 edges, 1085655 markings/sec, 30 secs
lola: 46743162 markings, 69087091 edges, 1096556 markings/sec, 35 secs
lola: 52248180 markings, 77516905 edges, 1101004 markings/sec, 40 secs
lola: SUBRESULT
lola: result: 500
lola: produced by: state space
lola: The maximum value of the given expression is 500
lola: ========================================
lola: subprocess 8 will run for 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P1M1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6618164 markings, 8140066 edges, 1323633 markings/sec, 0 secs
lola: 13090006 markings, 16100834 edges, 1294368 markings/sec, 5 secs
lola: 18701376 markings, 23141816 edges, 1122274 markings/sec, 10 secs
lola: 23536068 markings, 29829179 edges, 966938 markings/sec, 15 secs
lola: 27625695 markings, 36396564 edges, 817925 markings/sec, 20 secs
lola: 31718932 markings, 42976692 edges, 818647 markings/sec, 25 secs
lola: 35821161 markings, 49568444 edges, 820446 markings/sec, 30 secs
lola: 40585225 markings, 56376776 edges, 952813 markings/sec, 35 secs
lola: 45969850 markings, 63221815 edges, 1076925 markings/sec, 40 secs
lola: 49908218 markings, 69639199 edges, 787674 markings/sec, 45 secs
lola: 53863542 markings, 76077065 edges, 791065 markings/sec, 50 secs
lola: 57843634 markings, 82565855 edges, 796018 markings/sec, 55 secs
lola: 62415324 markings, 89223977 edges, 914338 markings/sec, 60 secs
lola: 67811798 markings, 95979688 edges, 1079295 markings/sec, 65 secs
lola: 71827374 markings, 102515528 edges, 803115 markings/sec, 70 secs
lola: 75841838 markings, 109067963 edges, 802893 markings/sec, 75 secs
lola: 79685299 markings, 115325340 edges, 768692 markings/sec, 80 secs
lola: 84212954 markings, 122054926 edges, 905531 markings/sec, 85 secs
lola: 89869387 markings, 129073033 edges, 1131287 markings/sec, 90 secs
lola: 93872604 markings, 135603134 edges, 800643 markings/sec, 95 secs
lola: 97913530 markings, 142182260 edges, 808185 markings/sec, 100 secs
lola: 101956975 markings, 148770864 edges, 808689 markings/sec, 105 secs
lola: 106441489 markings, 155439758 edges, 896903 markings/sec, 110 secs
lola: 111931276 markings, 162192503 edges, 1097957 markings/sec, 115 secs
lola: 115922098 markings, 168672369 edges, 798164 markings/sec, 120 secs
lola: 119918448 markings, 175183309 edges, 799270 markings/sec, 125 secs
lola: 123903187 markings, 181677647 edges, 796948 markings/sec, 130 secs
lola: 128252442 markings, 188334768 edges, 869851 markings/sec, 135 secs
lola: 133943965 markings, 195335486 edges, 1138305 markings/sec, 140 secs
lola: 138002736 markings, 201790830 edges, 811754 markings/sec, 145 secs
lola: 141978193 markings, 208273479 edges, 795091 markings/sec, 150 secs
lola: 145973493 markings, 214782417 edges, 799060 markings/sec, 155 secs
lola: 150167303 markings, 221381282 edges, 838762 markings/sec, 160 secs
lola: 155719695 markings, 228211185 edges, 1110478 markings/sec, 165 secs
lola: 159973838 markings, 234717767 edges, 850829 markings/sec, 170 secs
lola: 163982215 markings, 241251501 edges, 801675 markings/sec, 175 secs
lola: 168000895 markings, 247792716 edges, 803736 markings/sec, 180 secs
lola: 171994126 markings, 254272003 edges, 798646 markings/sec, 185 secs
lola: 177547020 markings, 261173657 edges, 1110579 markings/sec, 190 secs
lola: 182052711 markings, 267799783 edges, 901138 markings/sec, 195 secs
lola: 185991076 markings, 274225821 edges, 787673 markings/sec, 200 secs
lola: 189974036 markings, 280714120 edges, 796592 markings/sec, 205 secs
lola: 194025738 markings, 287321457 edges, 810340 markings/sec, 210 secs
lola: 199358382 markings, 294140800 edges, 1066529 markings/sec, 215 secs
lola: 204054379 markings, 300751189 edges, 939199 markings/sec, 220 secs
lola: 208045952 markings, 307259932 edges, 798315 markings/sec, 225 secs
lola: 212040858 markings, 313776635 edges, 798981 markings/sec, 230 secs
lola: 216045619 markings, 320303189 edges, 800952 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P1M1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6780305 markings, 8339556 edges, 1356061 markings/sec, 0 secs
lola: 13408802 markings, 16493061 edges, 1325699 markings/sec, 5 secs
lola: 19068189 markings, 23604190 edges, 1131877 markings/sec, 10 secs
lola: 23875336 markings, 30383588 edges, 961429 markings/sec, 15 secs
lola: 28169837 markings, 37281516 edges, 858900 markings/sec, 20 secs
lola: 32370057 markings, 44016997 edges, 840044 markings/sec, 25 secs
lola: 36505496 markings, 50663915 edges, 827088 markings/sec, 30 secs
lola: 41592363 markings, 57615475 edges, 1017373 markings/sec, 35 secs
lola: 46747266 markings, 64489685 edges, 1030981 markings/sec, 40 secs
lola: 50773377 markings, 71039572 edges, 805222 markings/sec, 45 secs
lola: 54852036 markings, 77695114 edges, 815732 markings/sec, 50 secs
lola: 58884438 markings, 84271100 edges, 806480 markings/sec, 55 secs
lola: 63931348 markings, 91088643 edges, 1009382 markings/sec, 60 secs
lola: 68977328 markings, 97877595 edges, 1009196 markings/sec, 65 secs
lola: 73043067 markings, 104507160 edges, 813148 markings/sec, 70 secs
lola: 77116423 markings, 111137695 edges, 814671 markings/sec, 75 secs
lola: 81130303 markings, 117688728 edges, 802776 markings/sec, 80 secs
lola: 86313888 markings, 124639151 edges, 1036717 markings/sec, 85 secs
lola: 91360132 markings, 131501691 edges, 1009249 markings/sec, 90 secs
lola: 95424128 markings, 138132906 edges, 812799 markings/sec, 95 secs
lola: 99510164 markings, 144785230 edges, 817207 markings/sec, 100 secs
lola: 103590777 markings, 151443451 edges, 816123 markings/sec, 105 secs
lola: 108734977 markings, 158260951 edges, 1028840 markings/sec, 110 secs
lola: 113534274 markings, 164783031 edges, 959859 markings/sec, 115 secs
lola: 117038808 markings, 170496580 edges, 700907 markings/sec, 120 secs
lola: 121127101 markings, 177164569 edges, 817659 markings/sec, 125 secs
lola: 125280672 markings, 183931538 edges, 830714 markings/sec, 130 secs
lola: 130415788 markings, 190995646 edges, 1027023 markings/sec, 135 secs
lola: 135742550 markings, 198106886 edges, 1065352 markings/sec, 140 secs
lola: 139883843 markings, 204860782 edges, 828259 markings/sec, 145 secs
lola: 143986359 markings, 211546500 edges, 820503 markings/sec, 150 secs
lola: 148034256 markings, 218144321 edges, 809579 markings/sec, 155 secs
lola: 153024496 markings, 224895775 edges, 998048 markings/sec, 160 secs
lola: 158014058 markings, 231524516 edges, 997912 markings/sec, 165 secs
lola: 162034575 markings, 238072395 edges, 804103 markings/sec, 170 secs
lola: 166098010 markings, 244693902 edges, 812687 markings/sec, 175 secs
lola: 170151928 markings, 251307147 edges, 810784 markings/sec, 180 secs
lola: 175181259 markings, 258263734 edges, 1005866 markings/sec, 185 secs
lola: 180493961 markings, 265262883 edges, 1062540 markings/sec, 190 secs
lola: 184517392 markings, 271827167 edges, 804686 markings/sec, 195 secs
lola: 188592482 markings, 278460031 edges, 815018 markings/sec, 200 secs
lola: 192652885 markings, 285082928 edges, 812081 markings/sec, 205 secs
lola: 197593442 markings, 291969635 edges, 988111 markings/sec, 210 secs
lola: 202849804 markings, 298792391 edges, 1051272 markings/sec, 215 secs
lola: 206932254 markings, 305452431 edges, 816490 markings/sec, 220 secs
lola: 210991322 markings, 312064615 edges, 811814 markings/sec, 225 secs
lola: 215086831 markings, 318742606 edges, 819102 markings/sec, 230 secs
lola: 220147962 markings, 325874380 edges, 1012226 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4616136 markings, 6451296 edges, 923227 markings/sec, 0 secs
lola: 8834230 markings, 12359145 edges, 843619 markings/sec, 5 secs
lola: 12912017 markings, 18068968 edges, 815557 markings/sec, 10 secs
lola: 16666113 markings, 23324525 edges, 750819 markings/sec, 15 secs
lola: 20480435 markings, 28664361 edges, 762864 markings/sec, 20 secs
lola: 24431718 markings, 34199879 edges, 790257 markings/sec, 25 secs
lola: 28107904 markings, 39343953 edges, 735237 markings/sec, 30 secs
lola: 31778582 markings, 44486445 edges, 734136 markings/sec, 35 secs
lola: 35314101 markings, 49437142 edges, 707104 markings/sec, 40 secs
lola: 38759993 markings, 54261900 edges, 689178 markings/sec, 45 secs
lola: 42508880 markings, 59510320 edges, 749777 markings/sec, 50 secs
lola: 46292038 markings, 64807710 edges, 756632 markings/sec, 55 secs
lola: 49978333 markings, 69967786 edges, 737259 markings/sec, 60 secs
lola: 53755303 markings, 75257208 edges, 755394 markings/sec, 65 secs
lola: 57424366 markings, 80394315 edges, 733813 markings/sec, 70 secs
lola: 61159723 markings, 85624025 edges, 747071 markings/sec, 75 secs
lola: 64720047 markings, 90609547 edges, 712065 markings/sec, 80 secs
lola: 68252514 markings, 95555271 edges, 706493 markings/sec, 85 secs
lola: 71830873 markings, 100565298 edges, 715672 markings/sec, 90 secs
lola: 74959321 markings, 104945910 edges, 625690 markings/sec, 95 secs
lola: 78059187 markings, 109286364 edges, 619973 markings/sec, 100 secs
lola: 81332892 markings, 113869262 edges, 654741 markings/sec, 105 secs
lola: 84543006 markings, 118364439 edges, 642023 markings/sec, 110 secs
lola: 87632377 markings, 122690075 edges, 617874 markings/sec, 115 secs
lola: 90811279 markings, 127140231 edges, 635780 markings/sec, 120 secs
lola: 94074734 markings, 131709930 edges, 652691 markings/sec, 125 secs
lola: 97388135 markings, 136349271 edges, 662680 markings/sec, 130 secs
lola: 100994513 markings, 141398293 edges, 721276 markings/sec, 135 secs
lola: 104571540 markings, 146407112 edges, 715405 markings/sec, 140 secs
lola: 108164321 markings, 151437761 edges, 718556 markings/sec, 145 secs
lola: 111833254 markings, 156574281 edges, 733787 markings/sec, 150 secs
lola: 115342758 markings, 161488493 edges, 701901 markings/sec, 155 secs
lola: 118736301 markings, 166240000 edges, 678709 markings/sec, 160 secs
lola: 122281952 markings, 171203747 edges, 709130 markings/sec, 165 secs
lola: 125678229 markings, 175959664 edges, 679255 markings/sec, 170 secs
lola: 129115606 markings, 180772017 edges, 687475 markings/sec, 175 secs
lola: 132822420 markings, 185962230 edges, 741363 markings/sec, 180 secs
lola: 136401435 markings, 190973565 edges, 715803 markings/sec, 185 secs
lola: 140101551 markings, 196153267 edges, 740023 markings/sec, 190 secs
lola: 143755004 markings, 201269433 edges, 730691 markings/sec, 195 secs
lola: 147140663 markings, 206010005 edges, 677132 markings/sec, 200 secs
lola: 150739134 markings, 211047518 edges, 719694 markings/sec, 205 secs
lola: 154202846 markings, 215897844 edges, 692742 markings/sec, 210 secs
lola: 157591239 markings, 220642124 edges, 677679 markings/sec, 215 secs
lola: 161399640 markings, 225973962 edges, 761680 markings/sec, 220 secs
lola: 165107658 markings, 231166274 edges, 741604 markings/sec, 225 secs
lola: 168556459 markings, 235995034 edges, 689760 markings/sec, 230 secs
lola: 172322471 markings, 241267763 edges, 753202 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P2s)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 5461052 markings, 8839412 edges, 1092210 markings/sec, 0 secs
lola: 10914068 markings, 17683616 edges, 1090603 markings/sec, 5 secs
lola: 16381928 markings, 26552625 edges, 1093572 markings/sec, 10 secs
lola: 21778224 markings, 35306414 edges, 1079259 markings/sec, 15 secs
lola: 27234246 markings, 44153726 edges, 1091204 markings/sec, 20 secs
lola: 32674870 markings, 52979434 edges, 1088125 markings/sec, 25 secs
lola: 38303102 markings, 62072854 edges, 1125646 markings/sec, 30 secs
lola: 43931138 markings, 71215975 edges, 1125607 markings/sec, 35 secs
lola: 49472622 markings, 80190407 edges, 1108297 markings/sec, 40 secs
lola: 54794981 markings, 88857662 edges, 1064472 markings/sec, 45 secs
lola: 60170886 markings, 97564432 edges, 1075181 markings/sec, 50 secs
lola: 65442318 markings, 106095470 edges, 1054286 markings/sec, 55 secs
lola: 70633920 markings, 114547190 edges, 1038320 markings/sec, 60 secs
lola: 75717607 markings, 122793566 edges, 1016737 markings/sec, 65 secs
lola: 80892554 markings, 131144136 edges, 1034989 markings/sec, 70 secs
lola: 86066737 markings, 139578171 edges, 1034837 markings/sec, 75 secs
lola: 91372098 markings, 148181550 edges, 1061072 markings/sec, 80 secs
lola: 96685765 markings, 156778084 edges, 1062733 markings/sec, 85 secs
lola: 101881030 markings, 165229586 edges, 1039053 markings/sec, 90 secs
lola: 106969097 markings, 173482475 edges, 1017613 markings/sec, 95 secs
lola: 112019728 markings, 181673958 edges, 1010126 markings/sec, 100 secs
lola: 117140934 markings, 189981568 edges, 1024241 markings/sec, 105 secs
lola: 122402915 markings, 198456753 edges, 1052396 markings/sec, 110 secs
lola: 127599659 markings, 206917696 edges, 1039349 markings/sec, 115 secs
lola: 132669592 markings, 215167272 edges, 1013987 markings/sec, 120 secs
lola: 137838942 markings, 223524822 edges, 1033870 markings/sec, 125 secs
lola: 143033631 markings, 231929610 edges, 1038938 markings/sec, 130 secs
lola: 148151282 markings, 240228811 edges, 1023530 markings/sec, 135 secs
lola: 153256287 markings, 248520572 edges, 1021001 markings/sec, 140 secs
lola: 158395508 markings, 256875031 edges, 1027844 markings/sec, 145 secs
lola: 163545610 markings, 265243736 edges, 1030020 markings/sec, 150 secs
lola: 168731600 markings, 273618794 edges, 1037198 markings/sec, 155 secs
lola: 173923018 markings, 281997632 edges, 1038284 markings/sec, 160 secs
lola: 179001292 markings, 290301160 edges, 1015655 markings/sec, 165 secs
lola: 184028821 markings, 298471271 edges, 1005506 markings/sec, 170 secs
lola: 189229076 markings, 306905751 edges, 1040051 markings/sec, 175 secs
lola: 194284290 markings, 315104473 edges, 1011043 markings/sec, 180 secs
lola: 199527464 markings, 323608074 edges, 1048635 markings/sec, 185 secs
lola: 204695132 markings, 331914771 edges, 1033534 markings/sec, 190 secs
lola: 209807511 markings, 340277092 edges, 1022476 markings/sec, 195 secs
lola: 214834814 markings, 348400695 edges, 1005461 markings/sec, 200 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 251 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(M3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 5025025 markings, 6169570 edges, 1005005 markings/sec, 0 secs
lola: 9488101 markings, 11761640 edges, 892615 markings/sec, 5 secs
lola: 11845873 markings, 15475869 edges, 471554 markings/sec, 10 secs
lola: 15333456 markings, 20036560 edges, 697517 markings/sec, 15 secs
lola: 18789782 markings, 24555770 edges, 691265 markings/sec, 20 secs
lola: 22326051 markings, 29179978 edges, 707254 markings/sec, 25 secs
lola: 25374530 markings, 33165984 edges, 609696 markings/sec, 30 secs
lola: 28940899 markings, 37829632 edges, 713274 markings/sec, 35 secs
lola: 32266231 markings, 42177731 edges, 665066 markings/sec, 40 secs
lola: 35874294 markings, 46896975 edges, 721613 markings/sec, 45 secs
lola: 38985476 markings, 50963288 edges, 622236 markings/sec, 50 secs
lola: 42550865 markings, 55626833 edges, 713078 markings/sec, 55 secs
lola: 45705734 markings, 59752438 edges, 630974 markings/sec, 60 secs
lola: 49092307 markings, 64180643 edges, 677315 markings/sec, 65 secs
lola: 52046855 markings, 68042695 edges, 590910 markings/sec, 70 secs
lola: 55661438 markings, 72770219 edges, 722917 markings/sec, 75 secs
lola: 58955434 markings, 77077451 edges, 658799 markings/sec, 80 secs
lola: 62363539 markings, 81533764 edges, 681621 markings/sec, 85 secs
lola: 65427285 markings, 85540163 edges, 612749 markings/sec, 90 secs
lola: 68829322 markings, 89988432 edges, 680407 markings/sec, 95 secs
lola: 71901770 markings, 94006196 edges, 614490 markings/sec, 100 secs
lola: 75033740 markings, 98101513 edges, 626394 markings/sec, 105 secs
lola: 77701410 markings, 101588732 edges, 533534 markings/sec, 110 secs
lola: 80877344 markings, 105741771 edges, 635187 markings/sec, 115 secs
lola: 83722305 markings, 109461931 edges, 568992 markings/sec, 120 secs
lola: 86882958 markings, 113594246 edges, 632131 markings/sec, 125 secs
lola: 89584158 markings, 117126989 edges, 540240 markings/sec, 130 secs
lola: 92477762 markings, 120910846 edges, 578721 markings/sec, 135 secs
lola: 95546976 markings, 124923998 edges, 613843 markings/sec, 140 secs
lola: 98484864 markings, 128765456 edges, 587578 markings/sec, 145 secs
lola: 101526161 markings, 132742751 edges, 608259 markings/sec, 150 secs
lola: 104302740 markings, 136373792 edges, 555316 markings/sec, 155 secs
lola: 107721678 markings, 140844152 edges, 683788 markings/sec, 160 secs
lola: 110924564 markings, 145032345 edges, 640577 markings/sec, 165 secs
lola: 114274494 markings, 149412713 edges, 669986 markings/sec, 170 secs
lola: 117283446 markings, 153347186 edges, 601790 markings/sec, 175 secs
lola: 120735899 markings, 157861512 edges, 690491 markings/sec, 180 secs
lola: 123764056 markings, 161821304 edges, 605631 markings/sec, 185 secs
lola: 127034242 markings, 166097481 edges, 654037 markings/sec, 190 secs
lola: 129898259 markings, 169840783 edges, 572803 markings/sec, 195 secs
lola: 133235716 markings, 174205168 edges, 667491 markings/sec, 200 secs
lola: 136252526 markings, 178149619 edges, 603362 markings/sec, 205 secs
lola: 139582439 markings, 182504172 edges, 665983 markings/sec, 210 secs
lola: 142472517 markings, 186283256 edges, 578016 markings/sec, 215 secs
lola: 145649610 markings, 190437971 edges, 635419 markings/sec, 220 secs
lola: 148774448 markings, 194523660 edges, 624968 markings/sec, 225 secs
lola: 152052516 markings, 198810164 edges, 655614 markings/sec, 230 secs
lola: 155024129 markings, 202695607 edges, 594323 markings/sec, 235 secs
lola: 158355113 markings, 207051532 edges, 666197 markings/sec, 240 secs
lola: 161620524 markings, 211321343 edges, 653082 markings/sec, 245 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 251 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P1wP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6529650 markings, 8803639 edges, 1305930 markings/sec, 0 secs
lola: 11981500 markings, 16178971 edges, 1090370 markings/sec, 5 secs
lola: 17313919 markings, 23393035 edges, 1066484 markings/sec, 10 secs
lola: 22019214 markings, 30386743 edges, 941059 markings/sec, 15 secs
lola: 26612382 markings, 37417056 edges, 918634 markings/sec, 20 secs
lola: 31397217 markings, 44616646 edges, 956967 markings/sec, 25 secs
lola: 37044796 markings, 52227781 edges, 1129516 markings/sec, 30 secs
lola: 42532180 markings, 59686350 edges, 1097477 markings/sec, 35 secs
lola: 46973354 markings, 66550503 edges, 888235 markings/sec, 40 secs
lola: 51313385 markings, 73256958 edges, 868006 markings/sec, 45 secs
lola: 56323793 markings, 80382914 edges, 1002082 markings/sec, 50 secs
lola: 61661368 markings, 87576747 edges, 1067515 markings/sec, 55 secs
lola: 66529655 markings, 94500851 edges, 973657 markings/sec, 60 secs
lola: 70957712 markings, 101344331 edges, 885611 markings/sec, 65 secs
lola: 75477017 markings, 108328673 edges, 903861 markings/sec, 70 secs
lola: 81060256 markings, 115892694 edges, 1116648 markings/sec, 75 secs
lola: 86625329 markings, 123393036 edges, 1113015 markings/sec, 80 secs
lola: 91143042 markings, 130267140 edges, 903543 markings/sec, 85 secs
lola: 95574799 markings, 137116158 edges, 886351 markings/sec, 90 secs
lola: 100408335 markings, 144140939 edges, 966707 markings/sec, 95 secs
lola: 105723033 markings, 151303944 edges, 1062940 markings/sec, 100 secs
lola: 110774354 markings, 158332998 edges, 1010264 markings/sec, 105 secs
lola: 115276129 markings, 165290173 edges, 900355 markings/sec, 110 secs
lola: 119899068 markings, 172434820 edges, 924588 markings/sec, 115 secs
lola: 125505711 markings, 180137421 edges, 1121329 markings/sec, 120 secs
lola: 131231214 markings, 187853380 edges, 1145101 markings/sec, 125 secs
lola: 135921639 markings, 194924061 edges, 938085 markings/sec, 130 secs
lola: 140499074 markings, 201998586 edges, 915487 markings/sec, 135 secs
lola: 145405579 markings, 209128758 edges, 981301 markings/sec, 140 secs
lola: 150828824 markings, 216437783 edges, 1084649 markings/sec, 145 secs
lola: 155914693 markings, 223550480 edges, 1017174 markings/sec, 150 secs
lola: 160432100 markings, 230530974 edges, 903481 markings/sec, 155 secs
lola: 165013200 markings, 237610997 edges, 916220 markings/sec, 160 secs
lola: 170595010 markings, 245249707 edges, 1116362 markings/sec, 165 secs
lola: 176209437 markings, 252816709 edges, 1122885 markings/sec, 170 secs
lola: 180863256 markings, 259834484 edges, 930764 markings/sec, 175 secs
lola: 185366010 markings, 266793000 edges, 900551 markings/sec, 180 secs
lola: 190330361 markings, 274019743 edges, 992870 markings/sec, 185 secs
lola: 195637622 markings, 281172411 edges, 1061452 markings/sec, 190 secs
lola: 200678654 markings, 288185444 edges, 1008206 markings/sec, 195 secs
lola: 205255373 markings, 295257902 edges, 915344 markings/sec, 200 secs
lola: 209932351 markings, 302485729 edges, 935396 markings/sec, 205 secs
lola: 215491662 markings, 310102565 edges, 1111862 markings/sec, 210 secs
lola: 221017534 markings, 317549383 edges, 1105174 markings/sec, 215 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 267 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4474522 markings, 6253229 edges, 894904 markings/sec, 0 secs
lola: 8694890 markings, 12162512 edges, 844074 markings/sec, 5 secs
lola: 12823797 markings, 17944007 edges, 825781 markings/sec, 10 secs
lola: 16863043 markings, 23601651 edges, 807849 markings/sec, 15 secs
lola: 20928849 markings, 29292688 edges, 813161 markings/sec, 20 secs
lola: 24971856 markings, 34956212 edges, 808601 markings/sec, 25 secs
lola: 28872279 markings, 40414923 edges, 780085 markings/sec, 30 secs
lola: 32698035 markings, 45773841 edges, 765151 markings/sec, 35 secs
lola: 36300788 markings, 50818633 edges, 720551 markings/sec, 40 secs
lola: 39873187 markings, 55820650 edges, 714480 markings/sec, 45 secs
lola: 43837499 markings, 61370937 edges, 792862 markings/sec, 50 secs
lola: 47667526 markings, 66733837 edges, 766005 markings/sec, 55 secs
lola: 51627921 markings, 72278255 edges, 792079 markings/sec, 60 secs
lola: 55433406 markings, 77606618 edges, 761097 markings/sec, 65 secs
lola: 59149882 markings, 82810792 edges, 743295 markings/sec, 70 secs
lola: 62944059 markings, 88122475 edges, 758835 markings/sec, 75 secs
lola: 66595842 markings, 93235970 edges, 730357 markings/sec, 80 secs
lola: 70225826 markings, 98317443 edges, 725997 markings/sec, 85 secs
lola: 73845071 markings, 103385642 edges, 723849 markings/sec, 90 secs
lola: 77342220 markings, 108282148 edges, 699430 markings/sec, 95 secs
lola: 80952211 markings, 113336216 edges, 721998 markings/sec, 100 secs
lola: 84689280 markings, 118568984 edges, 747414 markings/sec, 105 secs
lola: 88341200 markings, 123682530 edges, 730384 markings/sec, 110 secs
lola: 92265122 markings, 129176224 edges, 784784 markings/sec, 115 secs
lola: 96134968 markings, 134594940 edges, 773969 markings/sec, 120 secs
lola: 99821690 markings, 139755422 edges, 737344 markings/sec, 125 secs
lola: 103555061 markings, 144983859 edges, 746674 markings/sec, 130 secs
lola: 107127952 markings, 149986556 edges, 714578 markings/sec, 135 secs
lola: 110728593 markings, 155027103 edges, 720128 markings/sec, 140 secs
lola: 114216044 markings, 159910787 edges, 697490 markings/sec, 145 secs
lola: 117632589 markings, 164694662 edges, 683309 markings/sec, 150 secs
lola: 121184061 markings, 169666424 edges, 710294 markings/sec, 155 secs
lola: 124783975 markings, 174707109 edges, 719983 markings/sec, 160 secs
lola: 128334903 markings, 179679390 edges, 710186 markings/sec, 165 secs
lola: 132072650 markings, 184912302 edges, 747549 markings/sec, 170 secs
lola: 135757248 markings, 190071575 edges, 736920 markings/sec, 175 secs
lola: 139309006 markings, 195044783 edges, 710352 markings/sec, 180 secs
lola: 142931354 markings, 200116156 edges, 724470 markings/sec, 185 secs
lola: 146395636 markings, 204966898 edges, 692856 markings/sec, 190 secs
lola: 149882258 markings, 209847468 edges, 697324 markings/sec, 195 secs
lola: 153217784 markings, 214518283 edges, 667105 markings/sec, 200 secs
lola: 156416412 markings, 218997276 edges, 639726 markings/sec, 205 secs
lola: 159649455 markings, 223522620 edges, 646609 markings/sec, 210 secs
lola: 163344937 markings, 228698062 edges, 739096 markings/sec, 215 secs
lola: 166928446 markings, 233715539 edges, 716702 markings/sec, 220 secs
lola: 170554022 markings, 238791226 edges, 725115 markings/sec, 225 secs
lola: 174186073 markings, 243877098 edges, 726410 markings/sec, 230 secs
lola: 177770485 markings, 248896057 edges, 716882 markings/sec, 235 secs
lola: 181649310 markings, 254326396 edges, 775765 markings/sec, 240 secs
lola: 185412917 markings, 259596517 edges, 752721 markings/sec, 245 secs
lola: 189058291 markings, 264700593 edges, 729075 markings/sec, 250 secs
lola: 192745273 markings, 269862623 edges, 737396 markings/sec, 255 secs
lola: 196060896 markings, 274504852 edges, 663125 markings/sec, 260 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 267 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4144241 markings, 5790283 edges, 828848 markings/sec, 0 secs
lola: 8150077 markings, 11399973 edges, 801167 markings/sec, 5 secs
lola: 12161359 markings, 17016643 edges, 802256 markings/sec, 10 secs
lola: 16006936 markings, 22400901 edges, 769115 markings/sec, 15 secs
lola: 19875931 markings, 27819299 edges, 773799 markings/sec, 20 secs
lola: 23633484 markings, 33081643 edges, 751511 markings/sec, 25 secs
lola: 27375480 markings, 38321794 edges, 748399 markings/sec, 30 secs
lola: 31056605 markings, 43475356 edges, 736225 markings/sec, 35 secs
lola: 34527316 markings, 48335463 edges, 694142 markings/sec, 40 secs
lola: 37955421 markings, 53135398 edges, 685621 markings/sec, 45 secs
lola: 41606037 markings, 58246181 edges, 730123 markings/sec, 50 secs
lola: 45243409 markings, 63339514 edges, 727474 markings/sec, 55 secs
lola: 48766841 markings, 68272956 edges, 704686 markings/sec, 60 secs
lola: 52259334 markings, 73162468 edges, 698499 markings/sec, 65 secs
lola: 55772858 markings, 78082276 edges, 702705 markings/sec, 70 secs
lola: 59235676 markings, 82930802 edges, 692564 markings/sec, 75 secs
lola: 62808391 markings, 87932715 edges, 714543 markings/sec, 80 secs
lola: 66190441 markings, 92668307 edges, 676410 markings/sec, 85 secs
lola: 69490387 markings, 97288907 edges, 659989 markings/sec, 90 secs
lola: 72769031 markings, 101878833 edges, 655729 markings/sec, 95 secs
lola: 75940941 markings, 106320382 edges, 634382 markings/sec, 100 secs
lola: 79027238 markings, 110641797 edges, 617259 markings/sec, 105 secs
lola: 82551437 markings, 115575403 edges, 704840 markings/sec, 110 secs
lola: 86141541 markings, 120602780 edges, 718021 markings/sec, 115 secs
lola: 89646837 markings, 125510366 edges, 701059 markings/sec, 120 secs
lola: 93313686 markings, 130644434 edges, 733370 markings/sec, 125 secs
lola: 96739989 markings, 135441825 edges, 685261 markings/sec, 130 secs
lola: 100139259 markings, 140200355 edges, 679854 markings/sec, 135 secs
lola: 103547010 markings, 144972626 edges, 681550 markings/sec, 140 secs
lola: 106794339 markings, 149519587 edges, 649466 markings/sec, 145 secs
lola: 110155566 markings, 154224681 edges, 672245 markings/sec, 150 secs
lola: 113502520 markings, 158911655 edges, 669391 markings/sec, 155 secs
lola: 116794828 markings, 163521209 edges, 658462 markings/sec, 160 secs
lola: 120091552 markings, 168136449 edges, 659345 markings/sec, 165 secs
lola: 123636442 markings, 173100332 edges, 708978 markings/sec, 170 secs
lola: 126952094 markings, 177743181 edges, 663130 markings/sec, 175 secs
lola: 130206274 markings, 182298501 edges, 650836 markings/sec, 180 secs
lola: 133575519 markings, 187016701 edges, 673849 markings/sec, 185 secs
lola: 137085276 markings, 191931159 edges, 701951 markings/sec, 190 secs
lola: 140727755 markings, 197030268 edges, 728496 markings/sec, 195 secs
lola: 144064890 markings, 201703437 edges, 667427 markings/sec, 200 secs
lola: 147300220 markings, 206233299 edges, 647066 markings/sec, 205 secs
lola: 150504761 markings, 210719267 edges, 640908 markings/sec, 210 secs
lola: 153792964 markings, 215324056 edges, 657641 markings/sec, 215 secs
lola: 156900094 markings, 219674687 edges, 621426 markings/sec, 220 secs
lola: 160074290 markings, 224117913 edges, 634839 markings/sec, 225 secs
lola: 163662454 markings, 229142673 edges, 717633 markings/sec, 230 secs
lola: 167359812 markings, 234319761 edges, 739472 markings/sec, 235 secs
lola: 171126828 markings, 239593440 edges, 753403 markings/sec, 240 secs
lola: 174893902 markings, 244868398 edges, 753415 markings/sec, 245 secs
lola: 178681637 markings, 250171611 edges, 757547 markings/sec, 250 secs
lola: 182532794 markings, 255563654 edges, 770231 markings/sec, 255 secs
lola: 186259688 markings, 260782147 edges, 745379 markings/sec, 260 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 500 unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA FMS-PT-500-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FMS-PT-500-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FMS-PT-500-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FMS-PT-500-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FMS-PT-500-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FMS-PT-500-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FMS-PT-500-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FMS-PT-500-UpperBounds-7 500 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FMS-PT-500-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FMS-PT-500-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FMS-PT-500-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FMS-PT-500-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FMS-PT-500-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FMS-PT-500-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FMS-PT-500-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FMS-PT-500-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496376927572

--------------------
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_FMS-PT-500"
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_FMS-PT-500.tgz
mv S_FMS-PT-500 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_FMS-PT-500, 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 r108-blw3-149441612400416"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;