About the Execution of LoLA for FMS-PT-500
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15952.180 | 3540149.00 | 3546776.00 | 2507.40 | ? ? ? ? ? ? ? ? ? ? ? ? ? 500 ? ? | 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 FMS-PT-500, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264300416
=====================================================================
--------------------
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 1494701056337
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 4666438 markings, 7858471 edges, 933288 markings/sec, 0 secs
lola: 9351697 markings, 15802896 edges, 937052 markings/sec, 5 secs
lola: 14095130 markings, 23835574 edges, 948687 markings/sec, 10 secs
lola: 18964101 markings, 32081732 edges, 973794 markings/sec, 15 secs
lola: 23999449 markings, 40603230 edges, 1007070 markings/sec, 20 secs
lola: 29029678 markings, 49134285 edges, 1006046 markings/sec, 25 secs
lola: 33977436 markings, 57506383 edges, 989552 markings/sec, 30 secs
lola: 38943067 markings, 65908277 edges, 993126 markings/sec, 35 secs
lola: 43745794 markings, 74044583 edges, 960545 markings/sec, 40 secs
lola: 48650562 markings, 82363301 edges, 980954 markings/sec, 45 secs
lola: 54635370 markings, 90484111 edges, 1196962 markings/sec, 50 secs
lola: 58674511 markings, 98018040 edges, 807828 markings/sec, 55 secs
lola: 62687946 markings, 105545004 edges, 802687 markings/sec, 60 secs
lola: 67463233 markings, 113616842 edges, 955057 markings/sec, 65 secs
lola: 73340161 markings, 122506747 edges, 1175386 markings/sec, 70 secs
lola: 77861735 markings, 130995041 edges, 904315 markings/sec, 75 secs
lola: 82503863 markings, 139638892 edges, 928426 markings/sec, 80 secs
lola: 88342603 markings, 147637502 edges, 1167748 markings/sec, 85 secs
lola: 92611253 markings, 155656442 edges, 853730 markings/sec, 90 secs
lola: 97001889 markings, 163894157 edges, 878127 markings/sec, 95 secs
lola: 102737236 markings, 172542664 edges, 1147069 markings/sec, 100 secs
lola: 106937681 markings, 179461336 edges, 840089 markings/sec, 105 secs
lola: 111038096 markings, 187161889 edges, 820083 markings/sec, 110 secs
lola: 115218936 markings, 195006592 edges, 836168 markings/sec, 115 secs
lola: 121227106 markings, 203254511 edges, 1201634 markings/sec, 120 secs
lola: 125594087 markings, 211446220 edges, 873396 markings/sec, 125 secs
lola: 130019229 markings, 219761660 edges, 885028 markings/sec, 130 secs
lola: 135925355 markings, 228677049 edges, 1181225 markings/sec, 135 secs
lola: 140908682 markings, 237146579 edges, 996665 markings/sec, 140 secs
lola: 144649567 markings, 244172911 edges, 748177 markings/sec, 145 secs
lola: 149210330 markings, 252576973 edges, 912153 markings/sec, 150 secs
lola: 155411698 markings, 261268957 edges, 1240274 markings/sec, 155 secs
lola: 159733609 markings, 269383936 edges, 864382 markings/sec, 160 secs
lola: 164193998 markings, 277750935 edges, 892078 markings/sec, 165 secs
lola: 170018100 markings, 286162583 edges, 1164820 markings/sec, 170 secs
lola: 174475213 markings, 294008101 edges, 891423 markings/sec, 175 secs
lola: 178672463 markings, 301890186 edges, 839450 markings/sec, 180 secs
lola: 183244967 markings, 309850365 edges, 914501 markings/sec, 185 secs
lola: 188655672 markings, 317567025 edges, 1082141 markings/sec, 190 secs
lola: 192665371 markings, 325105262 edges, 801940 markings/sec, 195 secs
lola: 196728701 markings, 332731043 edges, 812666 markings/sec, 200 secs
lola: 202117241 markings, 341113350 edges, 1077708 markings/sec, 205 secs
lola: 207298721 markings, 349429661 edges, 1036296 markings/sec, 210 secs
lola: 211296069 markings, 356935688 edges, 799470 markings/sec, 215 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: 7121992 markings, 9372886 edges, 1424398 markings/sec, 0 secs
lola: 11048188 markings, 17263378 edges, 785239 markings/sec, 5 secs
lola: 14956492 markings, 25129353 edges, 781661 markings/sec, 10 secs
lola: 18881429 markings, 33037141 edges, 784987 markings/sec, 15 secs
lola: 22860383 markings, 41050024 edges, 795791 markings/sec, 20 secs
lola: 26845147 markings, 49069387 edges, 796953 markings/sec, 25 secs
lola: 30947599 markings, 57329454 edges, 820490 markings/sec, 30 secs
lola: 34995322 markings, 65485300 edges, 809545 markings/sec, 35 secs
lola: 39025181 markings, 73593980 edges, 805972 markings/sec, 40 secs
lola: 43063130 markings, 81731285 edges, 807590 markings/sec, 45 secs
lola: 47977933 markings, 89816285 edges, 982961 markings/sec, 50 secs
lola: 53741305 markings, 97368195 edges, 1152674 markings/sec, 55 secs
lola: 59466092 markings, 104871148 edges, 1144957 markings/sec, 60 secs
lola: 64465469 markings, 112332515 edges, 999875 markings/sec, 65 secs
lola: 67429254 markings, 120511399 edges, 592757 markings/sec, 70 secs
lola: 70401411 markings, 128709288 edges, 594431 markings/sec, 75 secs
lola: 73398255 markings, 136980884 edges, 599369 markings/sec, 80 secs
lola: 76409141 markings, 145282018 edges, 602177 markings/sec, 85 secs
lola: 79439423 markings, 153649538 edges, 606056 markings/sec, 90 secs
lola: 82808762 markings, 161776710 edges, 673868 markings/sec, 95 secs
lola: 86164059 markings, 168532209 edges, 671059 markings/sec, 100 secs
lola: 90058065 markings, 176369589 edges, 778801 markings/sec, 105 secs
lola: 93940322 markings, 184197997 edges, 776451 markings/sec, 110 secs
lola: 97823168 markings, 192028308 edges, 776569 markings/sec, 115 secs
lola: 101375057 markings, 199176265 edges, 710378 markings/sec, 120 secs
lola: 105146107 markings, 206773598 edges, 754210 markings/sec, 125 secs
lola: 109102945 markings, 214754327 edges, 791368 markings/sec, 130 secs
lola: 113049136 markings, 222698343 edges, 789238 markings/sec, 135 secs
lola: 116360013 markings, 229372871 edges, 662175 markings/sec, 140 secs
lola: 121682243 markings, 236931586 edges, 1064446 markings/sec, 145 secs
lola: 127602949 markings, 244690844 edges, 1184141 markings/sec, 150 secs
lola: 133389771 markings, 252277040 edges, 1157364 markings/sec, 155 secs
lola: 137186759 markings, 259508138 edges, 759398 markings/sec, 160 secs
lola: 140026846 markings, 267344264 edges, 568017 markings/sec, 165 secs
lola: 143041317 markings, 275652988 edges, 602894 markings/sec, 170 secs
lola: 146042996 markings, 283934472 edges, 600336 markings/sec, 175 secs
lola: 148800826 markings, 291543857 edges, 551566 markings/sec, 180 secs
lola: 151718942 markings, 299605080 edges, 583623 markings/sec, 185 secs
lola: 155234045 markings, 307654512 edges, 703021 markings/sec, 190 secs
lola: 159092445 markings, 315440415 edges, 771680 markings/sec, 195 secs
lola: 162991340 markings, 323282768 edges, 779779 markings/sec, 200 secs
lola: 166849735 markings, 331067394 edges, 771679 markings/sec, 205 secs
lola: 170753378 markings, 338918533 edges, 780729 markings/sec, 210 secs
lola: 174705906 markings, 346880622 edges, 790506 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: 7482592 markings, 10449552 edges, 1496518 markings/sec, 0 secs
lola: 14770180 markings, 20628085 edges, 1457518 markings/sec, 5 secs
lola: 21159778 markings, 29915120 edges, 1277920 markings/sec, 10 secs
lola: 26847275 markings, 38623223 edges, 1137499 markings/sec, 15 secs
lola: 32284941 markings, 46943319 edges, 1087533 markings/sec, 20 secs
lola: 38067718 markings, 55803339 edges, 1156555 markings/sec, 25 secs
lola: 43952899 markings, 64808789 edges, 1177036 markings/sec, 30 secs
lola: 49835407 markings, 73821042 edges, 1176502 markings/sec, 35 secs
lola: 55636490 markings, 82696458 edges, 1160217 markings/sec, 40 secs
lola: 60154604 markings, 91760473 edges, 903623 markings/sec, 45 secs
lola: 64115191 markings, 100162793 edges, 792117 markings/sec, 50 secs
lola: 67410012 markings, 107860000 edges, 658964 markings/sec, 55 secs
lola: 70920796 markings, 116054793 edges, 702157 markings/sec, 60 secs
lola: 74524048 markings, 124475234 edges, 720650 markings/sec, 65 secs
lola: 78085828 markings, 132623225 edges, 712356 markings/sec, 70 secs
lola: 83924731 markings, 141811444 edges, 1167781 markings/sec, 75 secs
lola: 89557249 markings, 150674900 edges, 1126504 markings/sec, 80 secs
lola: 94177008 markings, 158607779 edges, 923952 markings/sec, 85 secs
lola: 98578992 markings, 166353740 edges, 880397 markings/sec, 90 secs
lola: 102889798 markings, 173937091 edges, 862161 markings/sec, 95 secs
lola: 106439396 markings, 180185360 edges, 709920 markings/sec, 100 secs
lola: 110890866 markings, 188023445 edges, 890294 markings/sec, 105 secs
lola: 115417685 markings, 195989662 edges, 905364 markings/sec, 110 secs
lola: 120820337 markings, 204744726 edges, 1080530 markings/sec, 115 secs
lola: 126519898 markings, 213713421 edges, 1139912 markings/sec, 120 secs
lola: 131548057 markings, 221996966 edges, 1005632 markings/sec, 125 secs
lola: 135948600 markings, 229740620 edges, 880109 markings/sec, 130 secs
lola: 140295773 markings, 237393439 edges, 869435 markings/sec, 135 secs
lola: 143924079 markings, 243773104 edges, 725661 markings/sec, 140 secs
lola: 148446384 markings, 251735478 edges, 904461 markings/sec, 145 secs
lola: 152904712 markings, 259581144 edges, 891666 markings/sec, 150 secs
lola: 157851604 markings, 267891358 edges, 989378 markings/sec, 155 secs
lola: 163655334 markings, 277024128 edges, 1160746 markings/sec, 160 secs
lola: 169107366 markings, 285720832 edges, 1090406 markings/sec, 165 secs
lola: 173545789 markings, 293525104 edges, 887685 markings/sec, 170 secs
lola: 177997023 markings, 301366588 edges, 890247 markings/sec, 175 secs
lola: 182527743 markings, 309335269 edges, 906144 markings/sec, 180 secs
lola: 187053863 markings, 317296580 edges, 905224 markings/sec, 185 secs
lola: 191618358 markings, 325336016 edges, 912899 markings/sec, 190 secs
lola: 196604445 markings, 333747332 edges, 997217 markings/sec, 195 secs
lola: 202302166 markings, 342713115 edges, 1139544 markings/sec, 200 secs
lola: 207772532 markings, 351381410 edges, 1094073 markings/sec, 205 secs
lola: 208864841 markings, 353312500 edges, 218462 markings/sec, 210 secs
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: 4493216 markings, 7576911 edges, 898643 markings/sec, 0 secs
lola: 8903754 markings, 15046634 edges, 882108 markings/sec, 5 secs
lola: 13353354 markings, 22595787 edges, 889920 markings/sec, 10 secs
lola: 18087104 markings, 30003262 edges, 946750 markings/sec, 15 secs
lola: 21921252 markings, 37088913 edges, 766830 markings/sec, 20 secs
lola: 26561227 markings, 44749659 edges, 927995 markings/sec, 25 secs
lola: 31058553 markings, 52123875 edges, 899465 markings/sec, 30 secs
lola: 35629132 markings, 59624208 edges, 914116 markings/sec, 35 secs
lola: 39588056 markings, 67024395 edges, 791785 markings/sec, 40 secs
lola: 44219200 markings, 74655466 edges, 926229 markings/sec, 45 secs
lola: 49163140 markings, 82818311 edges, 988788 markings/sec, 50 secs
lola: 53975633 markings, 90730135 edges, 962499 markings/sec, 55 secs
lola: 58320272 markings, 98640588 edges, 868928 markings/sec, 60 secs
lola: 62877467 markings, 106286425 edges, 911439 markings/sec, 65 secs
lola: 67450035 markings, 113713615 edges, 914514 markings/sec, 70 secs
lola: 71880203 markings, 121253734 edges, 886034 markings/sec, 75 secs
lola: 76119062 markings, 128813206 edges, 847772 markings/sec, 80 secs
lola: 80837263 markings, 136474497 edges, 943640 markings/sec, 85 secs
lola: 85665925 markings, 144319628 edges, 965732 markings/sec, 90 secs
lola: 89486027 markings, 151494602 edges, 764020 markings/sec, 95 secs
lola: 93990235 markings, 158727545 edges, 900842 markings/sec, 100 secs
lola: 98511220 markings, 166250618 edges, 904197 markings/sec, 105 secs
lola: 102683299 markings, 173797747 edges, 834416 markings/sec, 110 secs
lola: 107366240 markings, 181337701 edges, 936588 markings/sec, 115 secs
lola: 111825073 markings, 188951158 edges, 891767 markings/sec, 120 secs
lola: 116009125 markings, 196277983 edges, 836810 markings/sec, 125 secs
lola: 120638298 markings, 203681052 edges, 925835 markings/sec, 130 secs
lola: 124587266 markings, 210969902 edges, 789794 markings/sec, 135 secs
lola: 129343478 markings, 218722851 edges, 951242 markings/sec, 140 secs
lola: 134123532 markings, 226366197 edges, 956011 markings/sec, 145 secs
lola: 138225148 markings, 234070346 edges, 820323 markings/sec, 150 secs
lola: 143063495 markings, 241815937 edges, 967669 markings/sec, 155 secs
lola: 147375784 markings, 249257524 edges, 862458 markings/sec, 160 secs
lola: 151684665 markings, 256643267 edges, 861776 markings/sec, 165 secs
lola: 156584872 markings, 264460446 edges, 980041 markings/sec, 170 secs
lola: 160633978 markings, 272021779 edges, 809821 markings/sec, 175 secs
lola: 165443149 markings, 279702431 edges, 961834 markings/sec, 180 secs
lola: 169742930 markings, 287203715 edges, 859956 markings/sec, 185 secs
lola: 174135380 markings, 294624158 edges, 878490 markings/sec, 190 secs
lola: 178886681 markings, 302124597 edges, 950260 markings/sec, 195 secs
lola: 182754770 markings, 309387054 edges, 773618 markings/sec, 200 secs
lola: 186768234 markings, 315481568 edges, 802693 markings/sec, 205 secs
lola: 190709091 markings, 322877989 edges, 788171 markings/sec, 210 secs
lola: 195508047 markings, 330436821 edges, 959791 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: 4645151 markings, 7826362 edges, 929030 markings/sec, 0 secs
lola: 9254506 markings, 15632172 edges, 921871 markings/sec, 5 secs
lola: 13889567 markings, 23495181 edges, 927012 markings/sec, 10 secs
lola: 18469732 markings, 31238535 edges, 916033 markings/sec, 15 secs
lola: 23136390 markings, 39141930 edges, 933332 markings/sec, 20 secs
lola: 27863653 markings, 47153391 edges, 945453 markings/sec, 25 secs
lola: 32645426 markings, 55249054 edges, 956355 markings/sec, 30 secs
lola: 37385783 markings, 63277211 edges, 948071 markings/sec, 35 secs
lola: 42302833 markings, 71599917 edges, 983410 markings/sec, 40 secs
lola: 47256947 markings, 79993523 edges, 990823 markings/sec, 45 secs
lola: 53029841 markings, 88387771 edges, 1154579 markings/sec, 50 secs
lola: 57750365 markings, 96273966 edges, 944105 markings/sec, 55 secs
lola: 61924816 markings, 104108767 edges, 834890 markings/sec, 60 secs
lola: 66224314 markings, 111999328 edges, 859900 markings/sec, 65 secs
lola: 72420998 markings, 120788160 edges, 1239337 markings/sec, 70 secs
lola: 76602041 markings, 128633192 edges, 836209 markings/sec, 75 secs
lola: 80817494 markings, 136551028 edges, 843091 markings/sec, 80 secs
lola: 86402510 markings, 144729051 edges, 1117003 markings/sec, 85 secs
lola: 91004214 markings, 152639574 edges, 920341 markings/sec, 90 secs
lola: 95212140 markings, 160526816 edges, 841585 markings/sec, 95 secs
lola: 99754773 markings, 168648834 edges, 908527 markings/sec, 100 secs
lola: 105691240 markings, 177120032 edges, 1187293 markings/sec, 105 secs
lola: 109758562 markings, 184766536 edges, 813464 markings/sec, 110 secs
lola: 113887128 markings, 192513467 edges, 825713 markings/sec, 115 secs
lola: 119217723 markings, 200461468 edges, 1066119 markings/sec, 120 secs
lola: 123851304 markings, 208179643 edges, 926716 markings/sec, 125 secs
lola: 127929032 markings, 215835396 edges, 815546 markings/sec, 130 secs
lola: 132055312 markings, 223585675 edges, 825256 markings/sec, 135 secs
lola: 137955256 markings, 231613676 edges, 1179989 markings/sec, 140 secs
lola: 141405864 markings, 238091497 edges, 690122 markings/sec, 145 secs
lola: 145488040 markings, 245745427 edges, 816435 markings/sec, 150 secs
lola: 150153827 markings, 253808628 edges, 933157 markings/sec, 155 secs
lola: 155786645 markings, 261967090 edges, 1126564 markings/sec, 160 secs
lola: 159907722 markings, 269705954 edges, 824215 markings/sec, 165 secs
lola: 164092977 markings, 277570513 edges, 837051 markings/sec, 170 secs
lola: 169841576 markings, 285932230 edges, 1149720 markings/sec, 175 secs
lola: 174165561 markings, 293430685 edges, 864797 markings/sec, 180 secs
lola: 178103517 markings, 300820951 edges, 787591 markings/sec, 185 secs
lola: 182084055 markings, 308296711 edges, 796108 markings/sec, 190 secs
lola: 187817993 markings, 315995741 edges, 1146788 markings/sec, 195 secs
lola: 191682979 markings, 323253416 edges, 772997 markings/sec, 200 secs
lola: 195673566 markings, 330744751 edges, 798117 markings/sec, 205 secs
lola: 200159343 markings, 338556978 edges, 897155 markings/sec, 210 secs
lola: 206042593 markings, 347061747 edges, 1176650 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: 4681410 markings, 7898707 edges, 936282 markings/sec, 0 secs
lola: 9139884 markings, 15434903 edges, 891695 markings/sec, 5 secs
lola: 13823841 markings, 23375511 edges, 936791 markings/sec, 10 secs
lola: 18531113 markings, 31341520 edges, 941454 markings/sec, 15 secs
lola: 23236656 markings, 39320836 edges, 941109 markings/sec, 20 secs
lola: 27820419 markings, 47073602 edges, 916753 markings/sec, 25 secs
lola: 32554363 markings, 55091716 edges, 946789 markings/sec, 30 secs
lola: 37314246 markings, 63148955 edges, 951977 markings/sec, 35 secs
lola: 42075320 markings, 71224489 edges, 952215 markings/sec, 40 secs
lola: 46686526 markings, 79032175 edges, 922241 markings/sec, 45 secs
lola: 52405287 markings, 87572316 edges, 1143752 markings/sec, 50 secs
lola: 57301542 markings, 95439810 edges, 979251 markings/sec, 55 secs
lola: 61350906 markings, 103042033 edges, 809873 markings/sec, 60 secs
lola: 65285728 markings, 110429178 edges, 786964 markings/sec, 65 secs
lola: 71672351 markings, 119374385 edges, 1277325 markings/sec, 70 secs
lola: 75903824 markings, 127328317 edges, 846295 markings/sec, 75 secs
lola: 80217682 markings, 135426404 edges, 862772 markings/sec, 80 secs
lola: 85841652 markings, 143996830 edges, 1124794 markings/sec, 85 secs
lola: 90871892 markings, 152388610 edges, 1006048 markings/sec, 90 secs
lola: 95265345 markings, 160628774 edges, 878691 markings/sec, 95 secs
lola: 100000087 markings, 168969020 edges, 946948 markings/sec, 100 secs
lola: 105824841 markings, 177380738 edges, 1164951 markings/sec, 105 secs
lola: 109886865 markings, 185007129 edges, 812405 markings/sec, 110 secs
lola: 114032608 markings, 192782731 edges, 829149 markings/sec, 115 secs
lola: 119481286 markings, 200805678 edges, 1089736 markings/sec, 120 secs
lola: 124057713 markings, 208564257 edges, 915285 markings/sec, 125 secs
lola: 128148971 markings, 216244424 edges, 818252 markings/sec, 130 secs
lola: 132516858 markings, 224226733 edges, 873577 markings/sec, 135 secs
lola: 138591548 markings, 232800150 edges, 1214938 markings/sec, 140 secs
lola: 142591733 markings, 240316859 edges, 800037 markings/sec, 145 secs
lola: 146606411 markings, 247849224 edges, 802936 markings/sec, 150 secs
lola: 151640963 markings, 255750473 edges, 1006910 markings/sec, 155 secs
lola: 156660829 markings, 263614435 edges, 1003973 markings/sec, 160 secs
lola: 160799969 markings, 271378560 edges, 827828 markings/sec, 165 secs
lola: 165024507 markings, 279306949 edges, 844908 markings/sec, 170 secs
lola: 171154108 markings, 287768881 edges, 1225920 markings/sec, 175 secs
lola: 175075962 markings, 295134191 edges, 784371 markings/sec, 180 secs
lola: 179019501 markings, 302533113 edges, 788708 markings/sec, 185 secs
lola: 183440265 markings, 310105335 edges, 884153 markings/sec, 190 secs
lola: 188630409 markings, 317527851 edges, 1038029 markings/sec, 195 secs
lola: 192424889 markings, 324653345 edges, 758896 markings/sec, 200 secs
lola: 196435482 markings, 332179098 edges, 802119 markings/sec, 205 secs
lola: 201416708 markings, 340198785 edges, 996245 markings/sec, 210 secs
lola: 206594015 markings, 348108541 edges, 1035461 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: 6749544 markings, 8018113 edges, 1349909 markings/sec, 0 secs
lola: 13124989 markings, 15679232 edges, 1275089 markings/sec, 5 secs
lola: 18610607 markings, 22615802 edges, 1097124 markings/sec, 10 secs
lola: 21561740 markings, 29320444 edges, 590227 markings/sec, 15 secs
lola: 24610616 markings, 36275783 edges, 609775 markings/sec, 20 secs
lola: 27723112 markings, 43358578 edges, 622499 markings/sec, 25 secs
lola: 30833271 markings, 50441557 edges, 622032 markings/sec, 30 secs
lola: 35740893 markings, 57272789 edges, 981524 markings/sec, 35 secs
lola: 39627528 markings, 64011182 edges, 777327 markings/sec, 40 secs
lola: 42597499 markings, 70913019 edges, 593994 markings/sec, 45 secs
lola: 45601480 markings, 77882416 edges, 600796 markings/sec, 50 secs
lola: 48597525 markings, 84852672 edges, 599209 markings/sec, 55 secs
lola: 53132766 markings, 91630787 edges, 907048 markings/sec, 60 secs
lola: 57333170 markings, 98301699 edges, 840081 markings/sec, 65 secs
lola: 60294112 markings, 105182907 edges, 592188 markings/sec, 70 secs
lola: 63256090 markings, 112063852 edges, 592396 markings/sec, 75 secs
lola: 66233785 markings, 118982971 edges, 595539 markings/sec, 80 secs
lola: 70387841 markings, 125880707 edges, 830811 markings/sec, 85 secs
lola: 75066967 markings, 132614387 edges, 935825 markings/sec, 90 secs
lola: 77978498 markings, 139383879 edges, 582306 markings/sec, 95 secs
lola: 80933568 markings, 146258420 edges, 591014 markings/sec, 100 secs
lola: 83940919 markings, 153249052 edges, 601470 markings/sec, 105 secs
lola: 87703780 markings, 160257217 edges, 752572 markings/sec, 110 secs
lola: 92813141 markings, 166954706 edges, 1021872 markings/sec, 115 secs
lola: 95804086 markings, 173901122 edges, 598189 markings/sec, 120 secs
lola: 98799919 markings, 180866921 edges, 599167 markings/sec, 125 secs
lola: 101803921 markings, 187839363 edges, 600800 markings/sec, 130 secs
lola: 105111993 markings, 194797672 edges, 661614 markings/sec, 135 secs
lola: 110677732 markings, 201533267 edges, 1113148 markings/sec, 140 secs
lola: 113686343 markings, 208522234 edges, 601722 markings/sec, 145 secs
lola: 116697396 markings, 215517562 edges, 602211 markings/sec, 150 secs
lola: 119734504 markings, 222573738 edges, 607422 markings/sec, 155 secs
lola: 122821335 markings, 229679315 edges, 617366 markings/sec, 160 secs
lola: 128380684 markings, 236355108 edges, 1111870 markings/sec, 165 secs
lola: 131653272 markings, 243300828 edges, 654518 markings/sec, 170 secs
lola: 134655904 markings, 250278197 edges, 600526 markings/sec, 175 secs
lola: 137634304 markings, 257197349 edges, 595680 markings/sec, 180 secs
lola: 140620676 markings, 264148206 edges, 597274 markings/sec, 185 secs
lola: 145778119 markings, 270991374 edges, 1031489 markings/sec, 190 secs
lola: 149537275 markings, 277873625 edges, 751831 markings/sec, 195 secs
lola: 152556455 markings, 284885845 edges, 603836 markings/sec, 200 secs
lola: 155571425 markings, 291891195 edges, 602994 markings/sec, 205 secs
lola: 158596966 markings, 298913718 edges, 605108 markings/sec, 210 secs
lola: 163290890 markings, 305819112 edges, 938785 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: 7133133 markings, 9961784 edges, 1426627 markings/sec, 0 secs
lola: 14072881 markings, 19654232 edges, 1387950 markings/sec, 5 secs
lola: 20381099 markings, 28726467 edges, 1261644 markings/sec, 10 secs
lola: 25838908 markings, 37075165 edges, 1091562 markings/sec, 15 secs
lola: 31400208 markings, 45589002 edges, 1112260 markings/sec, 20 secs
lola: 36951019 markings, 54094020 edges, 1110162 markings/sec, 25 secs
lola: 42475329 markings, 62544571 edges, 1104862 markings/sec, 30 secs
lola: 48093637 markings, 71154416 edges, 1123662 markings/sec, 35 secs
lola: 53710545 markings, 79747949 edges, 1123382 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: 6632744 markings, 8158203 edges, 1326549 markings/sec, 0 secs
lola: 13100355 markings, 16113583 edges, 1293522 markings/sec, 5 secs
lola: 18670994 markings, 23103506 edges, 1114128 markings/sec, 10 secs
lola: 23468543 markings, 29720995 edges, 959510 markings/sec, 15 secs
lola: 27496353 markings, 36194227 edges, 805562 markings/sec, 20 secs
lola: 31579670 markings, 42747375 edges, 816663 markings/sec, 25 secs
lola: 35559798 markings, 49149285 edges, 796026 markings/sec, 30 secs
lola: 40124355 markings, 55809755 edges, 912911 markings/sec, 35 secs
lola: 45577160 markings, 62576592 edges, 1090561 markings/sec, 40 secs
lola: 49524752 markings, 69006569 edges, 789518 markings/sec, 45 secs
lola: 53485252 markings, 75466979 edges, 792100 markings/sec, 50 secs
lola: 57514932 markings, 82038798 edges, 805936 markings/sec, 55 secs
lola: 61938661 markings, 88637612 edges, 884746 markings/sec, 60 secs
lola: 67419442 markings, 95379072 edges, 1096156 markings/sec, 65 secs
lola: 71406069 markings, 101830339 edges, 797325 markings/sec, 70 secs
lola: 75385160 markings, 108317804 edges, 795818 markings/sec, 75 secs
lola: 79328242 markings, 114743233 edges, 788616 markings/sec, 80 secs
lola: 83522523 markings, 121205521 edges, 838856 markings/sec, 85 secs
lola: 89176763 markings, 128160583 edges, 1130848 markings/sec, 90 secs
lola: 93267425 markings, 134609233 edges, 818132 markings/sec, 95 secs
lola: 97198898 markings, 141016009 edges, 786295 markings/sec, 100 secs
lola: 101187228 markings, 147520799 edges, 797666 markings/sec, 105 secs
lola: 105202670 markings, 153915997 edges, 803088 markings/sec, 110 secs
lola: 110626177 markings, 160587215 edges, 1084701 markings/sec, 115 secs
lola: 114899159 markings, 167008617 edges, 854596 markings/sec, 120 secs
lola: 118860429 markings, 173468974 edges, 792254 markings/sec, 125 secs
lola: 122771272 markings, 179833260 edges, 782169 markings/sec, 130 secs
lola: 126658260 markings, 186178877 edges, 777398 markings/sec, 135 secs
lola: 132080518 markings, 193043371 edges, 1084452 markings/sec, 140 secs
lola: 136652070 markings, 199584083 edges, 914310 markings/sec, 145 secs
lola: 140564897 markings, 205965609 edges, 782565 markings/sec, 150 secs
lola: 144476038 markings, 212344870 edges, 782228 markings/sec, 155 secs
lola: 148446629 markings, 218815464 edges, 794118 markings/sec, 160 secs
lola: 153545806 markings, 225537194 edges, 1019835 markings/sec, 165 secs
lola: 158363639 markings, 232089415 edges, 963567 markings/sec, 170 secs
lola: 162290435 markings, 238489082 edges, 785359 markings/sec, 175 secs
lola: 166340069 markings, 245093571 edges, 809927 markings/sec, 180 secs
lola: 170409146 markings, 251725962 edges, 813815 markings/sec, 185 secs
lola: 175442704 markings, 258585426 edges, 1006712 markings/sec, 190 secs
lola: 180584401 markings, 265415679 edges, 1028339 markings/sec, 195 secs
lola: 184600358 markings, 271955300 edges, 803191 markings/sec, 200 secs
lola: 188620216 markings, 278513451 edges, 803972 markings/sec, 205 secs
lola: 192632539 markings, 285046409 edges, 802465 markings/sec, 210 secs
lola: 197436647 markings, 291776947 edges, 960822 markings/sec, 215 secs
lola: 202586642 markings, 298369336 edges, 1029999 markings/sec, 220 secs
lola: 206485519 markings, 304716061 edges, 779775 markings/sec, 225 secs
lola: 210441185 markings, 311171025 edges, 791133 markings/sec, 230 secs
lola: 214387467 markings, 317598308 edges, 789256 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: 6550132 markings, 8056593 edges, 1310026 markings/sec, 0 secs
lola: 12974433 markings, 15958637 edges, 1284860 markings/sec, 5 secs
lola: 18560919 markings, 22964517 edges, 1117297 markings/sec, 10 secs
lola: 23406806 markings, 29628006 edges, 969177 markings/sec, 15 secs
lola: 27501331 markings, 36206019 edges, 818905 markings/sec, 20 secs
lola: 31593855 markings, 42778703 edges, 818505 markings/sec, 25 secs
lola: 35717810 markings, 49397851 edges, 824791 markings/sec, 30 secs
lola: 40452086 markings, 56212807 edges, 946855 markings/sec, 35 secs
lola: 45895495 markings, 63091949 edges, 1088682 markings/sec, 40 secs
lola: 49883118 markings, 69593895 edges, 797525 markings/sec, 45 secs
lola: 53883710 markings, 76120120 edges, 800118 markings/sec, 50 secs
lola: 57915371 markings, 82684805 edges, 806332 markings/sec, 55 secs
lola: 62547512 markings, 89386451 edges, 926428 markings/sec, 60 secs
lola: 67919078 markings, 96156171 edges, 1074313 markings/sec, 65 secs
lola: 71950989 markings, 102721091 edges, 806382 markings/sec, 70 secs
lola: 75980387 markings, 109287847 edges, 805880 markings/sec, 75 secs
lola: 80007003 markings, 115856384 edges, 805323 markings/sec, 80 secs
lola: 84647791 markings, 122589795 edges, 928158 markings/sec, 85 secs
lola: 90134941 markings, 129513900 edges, 1097430 markings/sec, 90 secs
lola: 94105468 markings, 135975490 edges, 794105 markings/sec, 95 secs
lola: 98130724 markings, 142540292 edges, 805051 markings/sec, 100 secs
lola: 102154784 markings, 149104388 edges, 804812 markings/sec, 105 secs
lola: 106749250 markings, 155818279 edges, 918893 markings/sec, 110 secs
lola: 112201231 markings, 162616738 edges, 1090396 markings/sec, 115 secs
lola: 116264256 markings, 169234519 edges, 812605 markings/sec, 120 secs
lola: 120346388 markings, 175890473 edges, 816426 markings/sec, 125 secs
lola: 124441989 markings, 182559732 edges, 819120 markings/sec, 130 secs
lola: 129160408 markings, 189451673 edges, 943684 markings/sec, 135 secs
lola: 134696518 markings, 196403573 edges, 1107222 markings/sec, 140 secs
lola: 138690710 markings, 202915460 edges, 798838 markings/sec, 145 secs
lola: 142730369 markings, 209497950 edges, 807932 markings/sec, 150 secs
lola: 146781030 markings, 216100905 edges, 810132 markings/sec, 155 secs
lola: 151350394 markings, 222836631 edges, 913873 markings/sec, 160 secs
lola: 156902291 markings, 229712318 edges, 1110379 markings/sec, 165 secs
lola: 160959286 markings, 236321141 edges, 811399 markings/sec, 170 secs
lola: 165006857 markings, 242917508 edges, 809514 markings/sec, 175 secs
lola: 169103035 markings, 249596351 edges, 819236 markings/sec, 180 secs
lola: 173680668 markings, 256417875 edges, 915527 markings/sec, 185 secs
lola: 179435683 markings, 263534199 edges, 1151003 markings/sec, 190 secs
lola: 183460553 markings, 270100425 edges, 804974 markings/sec, 195 secs
lola: 187532841 markings, 276731264 edges, 814458 markings/sec, 200 secs
lola: 191471923 markings, 283160254 edges, 787816 markings/sec, 205 secs
lola: 196009856 markings, 290021714 edges, 907587 markings/sec, 210 secs
lola: 201548475 markings, 296834554 edges, 1107724 markings/sec, 215 secs
lola: 205673838 markings, 303399356 edges, 825073 markings/sec, 220 secs
lola: 209691264 markings, 309943058 edges, 803485 markings/sec, 225 secs
lola: 213724898 markings, 316520899 edges, 806727 markings/sec, 230 secs
lola: 217877939 markings, 323082373 edges, 830608 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: 4525454 markings, 6324136 edges, 905091 markings/sec, 0 secs
lola: 8764131 markings, 12259637 edges, 847735 markings/sec, 5 secs
lola: 12953088 markings, 18125575 edges, 837791 markings/sec, 10 secs
lola: 17028357 markings, 23831475 edges, 815054 markings/sec, 15 secs
lola: 21131677 markings, 29576502 edges, 820664 markings/sec, 20 secs
lola: 25155259 markings, 35211523 edges, 804716 markings/sec, 25 secs
lola: 29064360 markings, 40686528 edges, 781820 markings/sec, 30 secs
lola: 32898638 markings, 46054889 edges, 766856 markings/sec, 35 secs
lola: 36566745 markings, 51190856 edges, 733621 markings/sec, 40 secs
lola: 40291823 markings, 56405632 edges, 745016 markings/sec, 45 secs
lola: 44383331 markings, 62135038 edges, 818302 markings/sec, 50 secs
lola: 48348274 markings, 67686884 edges, 792989 markings/sec, 55 secs
lola: 52419647 markings, 73386904 edges, 814275 markings/sec, 60 secs
lola: 56365527 markings, 78912173 edges, 789176 markings/sec, 65 secs
lola: 60295645 markings, 84413759 edges, 786024 markings/sec, 70 secs
lola: 64154831 markings, 89818141 edges, 771837 markings/sec, 75 secs
lola: 67838093 markings, 94975335 edges, 736652 markings/sec, 80 secs
lola: 71556797 markings, 100181502 edges, 743741 markings/sec, 85 secs
lola: 75163585 markings, 105232036 edges, 721358 markings/sec, 90 secs
lola: 78718592 markings, 110209709 edges, 711001 markings/sec, 95 secs
lola: 82524091 markings, 115537410 edges, 761100 markings/sec, 100 secs
lola: 86294049 markings, 120816213 edges, 753992 markings/sec, 105 secs
lola: 90034989 markings, 126052921 edges, 748188 markings/sec, 110 secs
lola: 93925459 markings, 131501127 edges, 778094 markings/sec, 115 secs
lola: 97701084 markings, 136787609 edges, 755125 markings/sec, 120 secs
lola: 101518487 markings, 142132077 edges, 763481 markings/sec, 125 secs
lola: 105236134 markings, 147337653 edges, 743529 markings/sec, 130 secs
lola: 108902538 markings, 152471227 edges, 733281 markings/sec, 135 secs
lola: 112545507 markings, 157571589 edges, 728594 markings/sec, 140 secs
lola: 116093703 markings, 162539934 edges, 709639 markings/sec, 145 secs
lola: 119556017 markings, 167387750 edges, 692463 markings/sec, 150 secs
lola: 123333934 markings, 172677063 edges, 755583 markings/sec, 155 secs
lola: 126957421 markings, 177750768 edges, 724697 markings/sec, 160 secs
lola: 130622945 markings, 182882147 edges, 733105 markings/sec, 165 secs
lola: 134156845 markings, 187830735 edges, 706780 markings/sec, 170 secs
lola: 137550028 markings, 192581802 edges, 678637 markings/sec, 175 secs
lola: 141135773 markings, 197601704 edges, 717149 markings/sec, 180 secs
lola: 144691131 markings, 202580185 edges, 711072 markings/sec, 185 secs
lola: 148169975 markings, 207451293 edges, 695769 markings/sec, 190 secs
lola: 151702640 markings, 212396946 edges, 706533 markings/sec, 195 secs
lola: 155086244 markings, 217134781 edges, 676721 markings/sec, 200 secs
lola: 158450046 markings, 221844823 edges, 672760 markings/sec, 205 secs
lola: 162099976 markings, 226954541 edges, 729986 markings/sec, 210 secs
lola: 165757903 markings, 232076462 edges, 731585 markings/sec, 215 secs
lola: 169346207 markings, 237100954 edges, 717661 markings/sec, 220 secs
lola: 173175724 markings, 242462504 edges, 765903 markings/sec, 225 secs
lola: 176878216 markings, 247646780 edges, 740498 markings/sec, 230 secs
lola: 180688273 markings, 252980484 edges, 762011 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 244 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: 5197348 markings, 8413005 edges, 1039470 markings/sec, 0 secs
lola: 10170396 markings, 16478510 edges, 994610 markings/sec, 5 secs
lola: 15327921 markings, 24819865 edges, 1031505 markings/sec, 10 secs
lola: 20482440 markings, 33201060 edges, 1030904 markings/sec, 15 secs
lola: 25636683 markings, 41564335 edges, 1030849 markings/sec, 20 secs
lola: 30864034 markings, 50007836 edges, 1045470 markings/sec, 25 secs
lola: 36032126 markings, 58423290 edges, 1033618 markings/sec, 30 secs
lola: 41174039 markings, 66746453 edges, 1028383 markings/sec, 35 secs
lola: 46485944 markings, 75352792 edges, 1062381 markings/sec, 40 secs
lola: 51696639 markings, 83831397 edges, 1042139 markings/sec, 45 secs
lola: 56927119 markings, 92303190 edges, 1046096 markings/sec, 50 secs
lola: 62173567 markings, 100780055 edges, 1049290 markings/sec, 55 secs
lola: 67334667 markings, 109195535 edges, 1032220 markings/sec, 60 secs
lola: 72603252 markings, 117693695 edges, 1053717 markings/sec, 65 secs
lola: 77763310 markings, 126111079 edges, 1032012 markings/sec, 70 secs
lola: 82950610 markings, 134524821 edges, 1037460 markings/sec, 75 secs
lola: 88105233 markings, 142861389 edges, 1030925 markings/sec, 80 secs
lola: 93236346 markings, 151192222 edges, 1026223 markings/sec, 85 secs
lola: 98449539 markings, 159662846 edges, 1042639 markings/sec, 90 secs
lola: 103575448 markings, 167977765 edges, 1025182 markings/sec, 95 secs
lola: 108839632 markings, 176450470 edges, 1052837 markings/sec, 100 secs
lola: 113931604 markings, 184767047 edges, 1018394 markings/sec, 105 secs
lola: 119121082 markings, 193134750 edges, 1037896 markings/sec, 110 secs
lola: 124305693 markings, 201588570 edges, 1036922 markings/sec, 115 secs
lola: 129393212 markings, 209853548 edges, 1017504 markings/sec, 120 secs
lola: 134654530 markings, 218385980 edges, 1052264 markings/sec, 125 secs
lola: 139751628 markings, 226654485 edges, 1019420 markings/sec, 130 secs
lola: 144838746 markings, 234905700 edges, 1017424 markings/sec, 135 secs
lola: 149739556 markings, 242854495 edges, 980162 markings/sec, 140 secs
lola: 154782891 markings, 251035150 edges, 1008667 markings/sec, 145 secs
lola: 159905954 markings, 259343513 edges, 1024613 markings/sec, 150 secs
lola: 165057221 markings, 267698967 edges, 1030253 markings/sec, 155 secs
lola: 169970564 markings, 275608429 edges, 982669 markings/sec, 160 secs
lola: 174858370 markings, 283571149 edges, 977561 markings/sec, 165 secs
lola: 179785217 markings, 291527705 edges, 985369 markings/sec, 170 secs
lola: 184638376 markings, 299454384 edges, 970632 markings/sec, 175 secs
lola: 189771308 markings, 307785199 edges, 1026586 markings/sec, 180 secs
lola: 194758773 markings, 315875333 edges, 997493 markings/sec, 185 secs
lola: 199878254 markings, 324177930 edges, 1023896 markings/sec, 190 secs
lola: 204843883 markings, 332175479 edges, 993126 markings/sec, 195 secs
lola: 209741548 markings, 340161652 edges, 979533 markings/sec, 200 secs
lola: 214779414 markings, 348317267 edges, 1007573 markings/sec, 205 secs
lola: 217061908 markings, 351978474 edges, 456499 markings/sec, 210 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: 4818252 markings, 5914458 edges, 963650 markings/sec, 0 secs
lola: 9060530 markings, 11201786 edges, 848456 markings/sec, 5 secs
lola: 11406764 markings, 14902302 edges, 469247 markings/sec, 10 secs
lola: 14150108 markings, 18489699 edges, 548669 markings/sec, 15 secs
lola: 17200186 markings, 22477942 edges, 610016 markings/sec, 20 secs
lola: 19888767 markings, 25994038 edges, 537716 markings/sec, 25 secs
lola: 23035197 markings, 30108400 edges, 629286 markings/sec, 30 secs
lola: 25604485 markings, 33467037 edges, 513858 markings/sec, 35 secs
lola: 28890682 markings, 37763683 edges, 657239 markings/sec, 40 secs
lola: 31700813 markings, 41438505 edges, 562026 markings/sec, 45 secs
lola: 34933310 markings, 45664942 edges, 646499 markings/sec, 50 secs
lola: 38213012 markings, 49953683 edges, 655940 markings/sec, 55 secs
lola: 41794565 markings, 54637116 edges, 716311 markings/sec, 60 secs
lola: 44811554 markings, 58582259 edges, 603398 markings/sec, 65 secs
lola: 47582822 markings, 62205971 edges, 554254 markings/sec, 70 secs
lola: 50336987 markings, 65807535 edges, 550833 markings/sec, 75 secs
lola: 53382256 markings, 69789628 edges, 609054 markings/sec, 80 secs
lola: 56847453 markings, 74320385 edges, 693039 markings/sec, 85 secs
lola: 60064249 markings, 78526773 edges, 643359 markings/sec, 90 secs
lola: 63071381 markings, 82458957 edges, 601426 markings/sec, 95 secs
lola: 66037900 markings, 86338115 edges, 593304 markings/sec, 100 secs
lola: 69160393 markings, 90421242 edges, 624499 markings/sec, 105 secs
lola: 72055142 markings, 94206533 edges, 578950 markings/sec, 110 secs
lola: 75336557 markings, 98497270 edges, 656283 markings/sec, 115 secs
lola: 78366736 markings, 102459809 edges, 606036 markings/sec, 120 secs
lola: 81879467 markings, 107052807 edges, 702546 markings/sec, 125 secs
lola: 85141557 markings, 111318276 edges, 652418 markings/sec, 130 secs
lola: 88487874 markings, 115693843 edges, 669263 markings/sec, 135 secs
lola: 91650831 markings, 119829760 edges, 632591 markings/sec, 140 secs
lola: 95019807 markings, 124234932 edges, 673795 markings/sec, 145 secs
lola: 98129138 markings, 128300860 edges, 621866 markings/sec, 150 secs
lola: 101368912 markings, 132537242 edges, 647955 markings/sec, 155 secs
lola: 104325719 markings, 136403641 edges, 591361 markings/sec, 160 secs
lola: 107929283 markings, 141115606 edges, 720713 markings/sec, 165 secs
lola: 111367643 markings, 145611427 edges, 687672 markings/sec, 170 secs
lola: 114831595 markings, 150140830 edges, 692790 markings/sec, 175 secs
lola: 118146597 markings, 154475098 edges, 663000 markings/sec, 180 secs
lola: 121563212 markings, 158942766 edges, 683323 markings/sec, 185 secs
lola: 124885704 markings, 163287309 edges, 664498 markings/sec, 190 secs
lola: 128134225 markings, 167535261 edges, 649704 markings/sec, 195 secs
lola: 131378745 markings, 171777665 edges, 648904 markings/sec, 200 secs
lola: 134750920 markings, 176186872 edges, 674435 markings/sec, 205 secs
lola: 138099258 markings, 180565450 edges, 669668 markings/sec, 210 secs
lola: 141316063 markings, 184771727 edges, 643361 markings/sec, 215 secs
lola: 144540619 markings, 188988191 edges, 644911 markings/sec, 220 secs
lola: 147743821 markings, 193176759 edges, 640640 markings/sec, 225 secs
lola: 150932068 markings, 197345704 edges, 637649 markings/sec, 230 secs
lola: 154048705 markings, 201420820 edges, 623327 markings/sec, 235 secs
lola: 157147676 markings, 205473361 edges, 619794 markings/sec, 240 secs
lola: 160525935 markings, 209890543 edges, 675652 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 250 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: 6490682 markings, 8750416 edges, 1298136 markings/sec, 0 secs
lola: 11894948 markings, 16061504 edges, 1080853 markings/sec, 5 secs
lola: 17100454 markings, 23103896 edges, 1041101 markings/sec, 10 secs
lola: 21698850 markings, 29896508 edges, 919679 markings/sec, 15 secs
lola: 26176790 markings, 36750164 edges, 895588 markings/sec, 20 secs
lola: 30815235 markings, 43831977 edges, 927689 markings/sec, 25 secs
lola: 36441933 markings, 51415060 edges, 1125340 markings/sec, 30 secs
lola: 42023719 markings, 58937657 edges, 1116357 markings/sec, 35 secs
lola: 46476287 markings, 65781967 edges, 890514 markings/sec, 40 secs
lola: 50999004 markings, 72771429 edges, 904543 markings/sec, 45 secs
lola: 56056298 markings, 80021780 edges, 1011459 markings/sec, 50 secs
lola: 61387727 markings, 87207461 edges, 1066286 markings/sec, 55 secs
lola: 66279241 markings, 94114265 edges, 978303 markings/sec, 60 secs
lola: 70764560 markings, 101045632 edges, 897064 markings/sec, 65 secs
lola: 75339368 markings, 108115221 edges, 914962 markings/sec, 70 secs
lola: 80964796 markings, 115763893 edges, 1125086 markings/sec, 75 secs
lola: 86637833 markings, 123409711 edges, 1134607 markings/sec, 80 secs
lola: 91175205 markings, 130316382 edges, 907474 markings/sec, 85 secs
lola: 95661028 markings, 137248702 edges, 897165 markings/sec, 90 secs
lola: 100599461 markings, 144398835 edges, 987687 markings/sec, 95 secs
lola: 105956735 markings, 151618565 edges, 1071455 markings/sec, 100 secs
lola: 110980299 markings, 158651886 edges, 1004713 markings/sec, 105 secs
lola: 115464839 markings, 165582082 edges, 896908 markings/sec, 110 secs
lola: 119924325 markings, 172473703 edges, 891897 markings/sec, 115 secs
lola: 125382304 markings, 179971141 edges, 1091596 markings/sec, 120 secs
lola: 130946356 markings, 187470060 edges, 1112810 markings/sec, 125 secs
lola: 135573981 markings, 194387621 edges, 925525 markings/sec, 130 secs
lola: 140011808 markings, 201245756 edges, 887565 markings/sec, 135 secs
lola: 144751694 markings, 208248034 edges, 947977 markings/sec, 140 secs
lola: 150111205 markings, 215471257 edges, 1071902 markings/sec, 145 secs
lola: 155250265 markings, 222522931 edges, 1027812 markings/sec, 150 secs
lola: 159775960 markings, 229517412 edges, 905139 markings/sec, 155 secs
lola: 164364672 markings, 236609225 edges, 917742 markings/sec, 160 secs
lola: 169778687 markings, 244149022 edges, 1082803 markings/sec, 165 secs
lola: 175402384 markings, 251728907 edges, 1124739 markings/sec, 170 secs
lola: 180170469 markings, 258763398 edges, 953617 markings/sec, 175 secs
lola: 184648058 markings, 265683173 edges, 895518 markings/sec, 180 secs
lola: 189401320 markings, 272767236 edges, 950652 markings/sec, 185 secs
lola: 194762095 markings, 279992346 edges, 1072155 markings/sec, 190 secs
lola: 199929590 markings, 287027954 edges, 1033499 markings/sec, 195 secs
lola: 204367297 markings, 293885908 edges, 887541 markings/sec, 200 secs
lola: 208841283 markings, 300800005 edges, 894797 markings/sec, 205 secs
lola: 214048018 markings, 308156132 edges, 1041347 markings/sec, 210 secs
lola: 219581109 markings, 315613963 edges, 1106618 markings/sec, 215 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 265 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: 4239013 markings, 5922777 edges, 847803 markings/sec, 0 secs
lola: 8245456 markings, 11533602 edges, 801289 markings/sec, 5 secs
lola: 12211480 markings, 17086882 edges, 793205 markings/sec, 10 secs
lola: 16079907 markings, 22504360 edges, 773685 markings/sec, 15 secs
lola: 19971710 markings, 27953587 edges, 778361 markings/sec, 20 secs
lola: 23797319 markings, 33310869 edges, 765122 markings/sec, 25 secs
lola: 27577629 markings, 38602915 edges, 756062 markings/sec, 30 secs
lola: 31251707 markings, 43748602 edges, 734816 markings/sec, 35 secs
lola: 34774262 markings, 48681233 edges, 704511 markings/sec, 40 secs
lola: 38233210 markings, 53524447 edges, 691790 markings/sec, 45 secs
lola: 41878004 markings, 58627019 edges, 728959 markings/sec, 50 secs
lola: 45578715 markings, 63808660 edges, 740142 markings/sec, 55 secs
lola: 49230214 markings, 68921764 edges, 730300 markings/sec, 60 secs
lola: 52962247 markings, 74146717 edges, 746407 markings/sec, 65 secs
lola: 56596038 markings, 79234882 edges, 726758 markings/sec, 70 secs
lola: 60194915 markings, 84272709 edges, 719775 markings/sec, 75 secs
lola: 63771828 markings, 89281837 edges, 715383 markings/sec, 80 secs
lola: 67245989 markings, 94146255 edges, 694832 markings/sec, 85 secs
lola: 70720446 markings, 99010223 edges, 694891 markings/sec, 90 secs
lola: 74140147 markings, 103798924 edges, 683940 markings/sec, 95 secs
lola: 77490359 markings, 108489903 edges, 670042 markings/sec, 100 secs
lola: 80943170 markings, 113323586 edges, 690562 markings/sec, 105 secs
lola: 84530484 markings, 118346957 edges, 717463 markings/sec, 110 secs
lola: 88047565 markings, 123271449 edges, 703416 markings/sec, 115 secs
lola: 91656192 markings, 128323505 edges, 721725 markings/sec, 120 secs
lola: 95247448 markings, 133352220 edges, 718251 markings/sec, 125 secs
lola: 98797536 markings, 138323048 edges, 710018 markings/sec, 130 secs
lola: 102388463 markings, 143350358 edges, 718185 markings/sec, 135 secs
lola: 105884411 markings, 148245469 edges, 699190 markings/sec, 140 secs
lola: 109320591 markings, 153056335 edges, 687236 markings/sec, 145 secs
lola: 112784408 markings, 157906127 edges, 692763 markings/sec, 150 secs
lola: 116133310 markings, 162595196 edges, 669780 markings/sec, 155 secs
lola: 119405664 markings, 167177141 edges, 654471 markings/sec, 160 secs
lola: 122949015 markings, 172137958 edges, 708670 markings/sec, 165 secs
lola: 126408051 markings, 176981566 edges, 691807 markings/sec, 170 secs
lola: 129858717 markings, 181811605 edges, 690133 markings/sec, 175 secs
lola: 133430031 markings, 186813060 edges, 714263 markings/sec, 180 secs
lola: 136905991 markings, 191679812 edges, 695192 markings/sec, 185 secs
lola: 140370257 markings, 196529625 edges, 692853 markings/sec, 190 secs
lola: 143801582 markings, 201334624 edges, 686265 markings/sec, 195 secs
lola: 147143799 markings, 206014469 edges, 668443 markings/sec, 200 secs
lola: 150489989 markings, 210698726 edges, 669238 markings/sec, 205 secs
lola: 153794290 markings, 215325895 edges, 660860 markings/sec, 210 secs
lola: 157026237 markings, 219850910 edges, 646389 markings/sec, 215 secs
lola: 160330439 markings, 224476722 edges, 660840 markings/sec, 220 secs
lola: 163952828 markings, 229549257 edges, 724478 markings/sec, 225 secs
lola: 167410320 markings, 234390430 edges, 691498 markings/sec, 230 secs
lola: 171002459 markings, 239419247 edges, 718428 markings/sec, 235 secs
lola: 174630009 markings, 244498816 edges, 725510 markings/sec, 240 secs
lola: 178093608 markings, 249348552 edges, 692720 markings/sec, 245 secs
lola: 181612472 markings, 254274712 edges, 703773 markings/sec, 250 secs
lola: 185044718 markings, 259080962 edges, 686449 markings/sec, 255 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 264 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: 4234049 markings, 5915972 edges, 846810 markings/sec, 0 secs
lola: 8197888 markings, 11467770 edges, 792768 markings/sec, 5 secs
lola: 12213707 markings, 17090544 edges, 803164 markings/sec, 10 secs
lola: 16083542 markings, 22509129 edges, 773967 markings/sec, 15 secs
lola: 19916638 markings, 27877188 edges, 766619 markings/sec, 20 secs
lola: 23678348 markings, 33145189 edges, 752342 markings/sec, 25 secs
lola: 27480700 markings, 38466817 edges, 760470 markings/sec, 30 secs
lola: 31151242 markings, 43607883 edges, 734108 markings/sec, 35 secs
lola: 34510619 markings, 48312106 edges, 671875 markings/sec, 40 secs
lola: 37785635 markings, 52897607 edges, 655003 markings/sec, 45 secs
lola: 41162723 markings, 57625420 edges, 675418 markings/sec, 50 secs
lola: 44776350 markings, 62685558 edges, 722725 markings/sec, 55 secs
lola: 48326135 markings, 67655838 edges, 709957 markings/sec, 60 secs
lola: 51957735 markings, 72740089 edges, 726320 markings/sec, 65 secs
lola: 55473669 markings, 77663315 edges, 703187 markings/sec, 70 secs
lola: 58926795 markings, 82498357 edges, 690625 markings/sec, 75 secs
lola: 62431381 markings, 87404822 edges, 700917 markings/sec, 80 secs
lola: 65823026 markings, 92153782 edges, 678329 markings/sec, 85 secs
lola: 69185068 markings, 96861280 edges, 672408 markings/sec, 90 secs
lola: 72587540 markings, 101624813 edges, 680494 markings/sec, 95 secs
lola: 75820977 markings, 106152423 edges, 646687 markings/sec, 100 secs
lola: 79026304 markings, 110640501 edges, 641065 markings/sec, 105 secs
lola: 82523119 markings, 115536092 edges, 699363 markings/sec, 110 secs
lola: 85938666 markings, 120318697 edges, 683109 markings/sec, 115 secs
lola: 89289662 markings, 125010452 edges, 670199 markings/sec, 120 secs
lola: 92863853 markings, 130014481 edges, 714838 markings/sec, 125 secs
lola: 96310585 markings, 134840745 edges, 689346 markings/sec, 130 secs
lola: 99686026 markings, 139566922 edges, 675088 markings/sec, 135 secs
lola: 103158901 markings, 144428841 edges, 694575 markings/sec, 140 secs
lola: 106506675 markings, 149116743 edges, 669555 markings/sec, 145 secs
lola: 109817245 markings, 153750640 edges, 662114 markings/sec, 150 secs
lola: 113155858 markings, 158425998 edges, 667723 markings/sec, 155 secs
lola: 116398002 markings, 162965569 edges, 648429 markings/sec, 160 secs
lola: 119595577 markings, 167443136 edges, 639515 markings/sec, 165 secs
lola: 123062795 markings, 172297202 edges, 693444 markings/sec, 170 secs
lola: 126424024 markings, 177003913 edges, 672246 markings/sec, 175 secs
lola: 129733313 markings, 181635825 edges, 661858 markings/sec, 180 secs
lola: 133206179 markings, 186499561 edges, 694573 markings/sec, 185 secs
lola: 136554743 markings, 191188254 edges, 669713 markings/sec, 190 secs
lola: 139882416 markings, 195846298 edges, 665535 markings/sec, 195 secs
lola: 143263690 markings, 200581338 edges, 676255 markings/sec, 200 secs
lola: 146503796 markings, 205118428 edges, 648021 markings/sec, 205 secs
lola: 149629900 markings, 209495394 edges, 625221 markings/sec, 210 secs
lola: 152918497 markings, 214099582 edges, 657719 markings/sec, 215 secs
lola: 156057482 markings, 218494807 edges, 627797 markings/sec, 220 secs
lola: 159288578 markings, 223018879 edges, 646219 markings/sec, 225 secs
lola: 162863245 markings, 228023366 edges, 714933 markings/sec, 230 secs
lola: 166318607 markings, 232861857 edges, 691072 markings/sec, 235 secs
lola: 169761957 markings, 237681778 edges, 688670 markings/sec, 240 secs
lola: 173403035 markings, 242780723 edges, 728216 markings/sec, 245 secs
lola: 176839075 markings, 247591590 edges, 687208 markings/sec, 250 secs
lola: 180191926 markings, 252285554 edges, 670570 markings/sec, 255 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 500 unknown unknown unknown unknown unknown unknown unknown
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 1494704596486
--------------------
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="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/FMS-PT-500.tgz
mv 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 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 r028-blw3-149440264300416"
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 ;