About the Execution of LoLA for ClientsAndServers-PT-N0010P0
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
11693.420 | 3513813.00 | 3533025.00 | 502.70 | ? 80 ? 80 ? ? 80 40 80 ? 80 ? ? ? ? 40 | 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-3253
Executing tool lola
Input is ClientsAndServers-PT-N0010P0, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-ebro-149580919900191
=====================================================================
--------------------
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 ClientsAndServers-PT-N0010P0-UpperBounds-0
FORMULA_NAME ClientsAndServers-PT-N0010P0-UpperBounds-1
FORMULA_NAME ClientsAndServers-PT-N0010P0-UpperBounds-10
FORMULA_NAME ClientsAndServers-PT-N0010P0-UpperBounds-11
FORMULA_NAME ClientsAndServers-PT-N0010P0-UpperBounds-12
FORMULA_NAME ClientsAndServers-PT-N0010P0-UpperBounds-13
FORMULA_NAME ClientsAndServers-PT-N0010P0-UpperBounds-14
FORMULA_NAME ClientsAndServers-PT-N0010P0-UpperBounds-15
FORMULA_NAME ClientsAndServers-PT-N0010P0-UpperBounds-2
FORMULA_NAME ClientsAndServers-PT-N0010P0-UpperBounds-3
FORMULA_NAME ClientsAndServers-PT-N0010P0-UpperBounds-4
FORMULA_NAME ClientsAndServers-PT-N0010P0-UpperBounds-5
FORMULA_NAME ClientsAndServers-PT-N0010P0-UpperBounds-6
FORMULA_NAME ClientsAndServers-PT-N0010P0-UpperBounds-7
FORMULA_NAME ClientsAndServers-PT-N0010P0-UpperBounds-8
FORMULA_NAME ClientsAndServers-PT-N0010P0-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496601323855
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
ClientsAndServers-PT-N0010P0: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
ClientsAndServers-PT-N0010P0: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ ClientsAndServers-PT-N0010P0 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 43/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 25 transition conflict sets
lola: TASK
lola: reading formula from ClientsAndServers-PT-N0010P0-UpperBounds.task
lola: MAX(Si) : MAX(Ci) : MAX(CwG) : MAX(StR) : MAX(CA) : MAX(Uf) : MAX(MpA) : MAX(SF) : MAX(SwA) : MAX(Cb) : MAX(MtF) : MAX(CR) : MAX(Mi) : MAX(MpG) : MAX(CA) : MAX(Uf)
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(Si)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1644937 markings, 3274843 edges, 328987 markings/sec, 0 secs
lola: 3197407 markings, 6523236 edges, 310494 markings/sec, 5 secs
lola: 4726082 markings, 9693646 edges, 305735 markings/sec, 10 secs
lola: 6120276 markings, 12629806 edges, 278839 markings/sec, 15 secs
lola: 7393073 markings, 15491331 edges, 254559 markings/sec, 20 secs
lola: 8302291 markings, 18312328 edges, 181844 markings/sec, 25 secs
lola: 9776390 markings, 21627022 edges, 294820 markings/sec, 30 secs
lola: 11275977 markings, 24958315 edges, 299917 markings/sec, 35 secs
lola: 12767179 markings, 28291075 edges, 298240 markings/sec, 40 secs
lola: 14189271 markings, 31483175 edges, 284418 markings/sec, 45 secs
lola: 15587141 markings, 34562311 edges, 279574 markings/sec, 50 secs
lola: 17051368 markings, 37831698 edges, 292845 markings/sec, 55 secs
lola: 18384437 markings, 40789654 edges, 266614 markings/sec, 60 secs
lola: 19700368 markings, 43718319 edges, 263186 markings/sec, 65 secs
lola: 20968428 markings, 46514252 edges, 253612 markings/sec, 70 secs
lola: 22282812 markings, 49466570 edges, 262877 markings/sec, 75 secs
lola: 23540203 markings, 52234687 edges, 251478 markings/sec, 80 secs
lola: 24833827 markings, 55117852 edges, 258725 markings/sec, 85 secs
lola: 26227621 markings, 58200479 edges, 278759 markings/sec, 90 secs
lola: 27459188 markings, 60922869 edges, 246313 markings/sec, 95 secs
lola: 28742218 markings, 63800456 edges, 256606 markings/sec, 100 secs
lola: 30050791 markings, 66674503 edges, 261715 markings/sec, 105 secs
lola: 31274007 markings, 69377596 edges, 244643 markings/sec, 110 secs
lola: 32513818 markings, 72155373 edges, 247962 markings/sec, 115 secs
lola: 33867708 markings, 75131850 edges, 270778 markings/sec, 120 secs
lola: 35081040 markings, 77813581 edges, 242666 markings/sec, 125 secs
lola: 36363990 markings, 80673410 edges, 256590 markings/sec, 130 secs
lola: 37751869 markings, 83735111 edges, 277576 markings/sec, 135 secs
lola: 38930985 markings, 86342397 edges, 235823 markings/sec, 140 secs
lola: 40251789 markings, 89264599 edges, 264161 markings/sec, 145 secs
lola: 41632073 markings, 92329710 edges, 276057 markings/sec, 150 secs
lola: 42822907 markings, 94960395 edges, 238167 markings/sec, 155 secs
lola: 44097506 markings, 97769938 edges, 254920 markings/sec, 160 secs
lola: 45349467 markings, 100570139 edges, 250392 markings/sec, 165 secs
lola: 46720894 markings, 103589369 edges, 274285 markings/sec, 170 secs
lola: 47897819 markings, 106192013 edges, 235385 markings/sec, 175 secs
lola: 49223299 markings, 109108915 edges, 265096 markings/sec, 180 secs
lola: 50507724 markings, 111987451 edges, 256885 markings/sec, 185 secs
lola: 51793639 markings, 114814114 edges, 257183 markings/sec, 190 secs
lola: 52956806 markings, 117386353 edges, 232633 markings/sec, 195 secs
lola: 54275177 markings, 120289517 edges, 263674 markings/sec, 200 secs
lola: 55584910 markings, 123216771 edges, 261947 markings/sec, 205 secs
lola: 56866843 markings, 126038026 edges, 256387 markings/sec, 210 secs
lola: 58030733 markings, 128612179 edges, 232778 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Ci)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 2 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CwG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(StR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1956011 markings, 3108568 edges, 391202 markings/sec, 0 secs
lola: 3742988 markings, 5984888 edges, 357395 markings/sec, 5 secs
lola: 4808398 markings, 8650487 edges, 213082 markings/sec, 10 secs
lola: 6303232 markings, 11817074 edges, 298967 markings/sec, 15 secs
lola: 7863943 markings, 15042130 edges, 312142 markings/sec, 20 secs
lola: 9494010 markings, 18169935 edges, 326013 markings/sec, 25 secs
lola: 11126353 markings, 21288117 edges, 326469 markings/sec, 30 secs
lola: 12781285 markings, 24454239 edges, 330986 markings/sec, 35 secs
lola: 14407521 markings, 27573312 edges, 325247 markings/sec, 40 secs
lola: 16052238 markings, 30708620 edges, 328943 markings/sec, 45 secs
lola: 17681079 markings, 33837414 edges, 325768 markings/sec, 50 secs
lola: 19307201 markings, 36931649 edges, 325224 markings/sec, 55 secs
lola: 20927766 markings, 40045829 edges, 324113 markings/sec, 60 secs
lola: 22533998 markings, 43116044 edges, 321246 markings/sec, 65 secs
lola: 24164388 markings, 46231836 edges, 326078 markings/sec, 70 secs
lola: 25813945 markings, 49393294 edges, 329911 markings/sec, 75 secs
lola: 27486570 markings, 52585849 edges, 334525 markings/sec, 80 secs
lola: 29087168 markings, 55658974 edges, 320120 markings/sec, 85 secs
lola: 30697803 markings, 58725496 edges, 322127 markings/sec, 90 secs
lola: 32259306 markings, 61725760 edges, 312301 markings/sec, 95 secs
lola: 33823369 markings, 64713796 edges, 312813 markings/sec, 100 secs
lola: 35429306 markings, 67782344 edges, 321187 markings/sec, 105 secs
lola: 37042282 markings, 70877780 edges, 322595 markings/sec, 110 secs
lola: 38699385 markings, 74036018 edges, 331421 markings/sec, 115 secs
lola: 40335370 markings, 77177821 edges, 327197 markings/sec, 120 secs
lola: 41909761 markings, 80174819 edges, 314878 markings/sec, 125 secs
lola: 43510611 markings, 83248479 edges, 320170 markings/sec, 130 secs
lola: 45078657 markings, 86249144 edges, 313609 markings/sec, 135 secs
lola: 46705814 markings, 89356373 edges, 325431 markings/sec, 140 secs
lola: 48288815 markings, 92393764 edges, 316600 markings/sec, 145 secs
lola: 49915688 markings, 95494439 edges, 325375 markings/sec, 150 secs
lola: 51512979 markings, 98560424 edges, 319458 markings/sec, 155 secs
lola: 53117117 markings, 101615409 edges, 320828 markings/sec, 160 secs
lola: 54718482 markings, 104689159 edges, 320273 markings/sec, 165 secs
lola: 56307806 markings, 107733563 edges, 317865 markings/sec, 170 secs
lola: 57971445 markings, 110908439 edges, 332728 markings/sec, 175 secs
lola: 59576582 markings, 113990706 edges, 321027 markings/sec, 180 secs
lola: 61220575 markings, 117121365 edges, 328799 markings/sec, 185 secs
lola: 62824849 markings, 120200916 edges, 320855 markings/sec, 190 secs
lola: 64452887 markings, 123309500 edges, 325608 markings/sec, 195 secs
lola: 66056139 markings, 126381735 edges, 320650 markings/sec, 200 secs
lola: 67620660 markings, 129376861 edges, 312904 markings/sec, 205 secs
lola: 69244108 markings, 132474559 edges, 324690 markings/sec, 210 secs
lola: 70789903 markings, 135442600 edges, 309159 markings/sec, 215 secs
lola: 72392755 markings, 138493631 edges, 320570 markings/sec, 220 secs
lola: 73954713 markings, 141494672 edges, 312392 markings/sec, 225 secs
lola: 75515184 markings, 144475498 edges, 312094 markings/sec, 230 secs
lola: 77107663 markings, 147522298 edges, 318496 markings/sec, 235 secs
lola: 78636195 markings, 150454968 edges, 305706 markings/sec, 240 secs
lola: 80239925 markings, 153510363 edges, 320746 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2515701 markings, 3042062 edges, 503140 markings/sec, 0 secs
lola: 5047351 markings, 6110851 edges, 506330 markings/sec, 5 secs
lola: 7502593 markings, 9090307 edges, 491048 markings/sec, 10 secs
lola: 9875809 markings, 11972651 edges, 474643 markings/sec, 15 secs
lola: 12250928 markings, 14855587 edges, 475024 markings/sec, 20 secs
lola: 14593081 markings, 17700007 edges, 468431 markings/sec, 25 secs
lola: 16920749 markings, 20527166 edges, 465534 markings/sec, 30 secs
lola: 19284583 markings, 23397870 edges, 472767 markings/sec, 35 secs
lola: 21625590 markings, 26241942 edges, 468201 markings/sec, 40 secs
lola: 23984664 markings, 29107253 edges, 471815 markings/sec, 45 secs
lola: 26280651 markings, 31896829 edges, 459197 markings/sec, 50 secs
lola: 28547235 markings, 34650875 edges, 453317 markings/sec, 55 secs
lola: 30827207 markings, 37420631 edges, 455994 markings/sec, 60 secs
lola: 33067731 markings, 40143320 edges, 448105 markings/sec, 65 secs
lola: 35294025 markings, 42848802 edges, 445259 markings/sec, 70 secs
lola: 37513038 markings, 45545509 edges, 443803 markings/sec, 75 secs
lola: 39727636 markings, 48236954 edges, 442920 markings/sec, 80 secs
lola: 41926411 markings, 50909263 edges, 439755 markings/sec, 85 secs
lola: 44116985 markings, 53572082 edges, 438115 markings/sec, 90 secs
lola: 46320996 markings, 56249558 edges, 440802 markings/sec, 95 secs
lola: 48475636 markings, 58868661 edges, 430928 markings/sec, 100 secs
lola: 50644948 markings, 61505344 edges, 433862 markings/sec, 105 secs
lola: 52829363 markings, 64160459 edges, 436883 markings/sec, 110 secs
lola: 55043851 markings, 66851857 edges, 442898 markings/sec, 115 secs
lola: 57244258 markings, 69526180 edges, 440081 markings/sec, 120 secs
lola: 59442447 markings, 72197802 edges, 439638 markings/sec, 125 secs
lola: 61644769 markings, 74874447 edges, 440464 markings/sec, 130 secs
lola: 63863713 markings, 77571293 edges, 443789 markings/sec, 135 secs
lola: 66068796 markings, 80251256 edges, 441017 markings/sec, 140 secs
lola: 68288898 markings, 82949513 edges, 444020 markings/sec, 145 secs
lola: 70533248 markings, 85676206 edges, 448870 markings/sec, 150 secs
lola: 72769315 markings, 88394420 edges, 447213 markings/sec, 155 secs
lola: 75003792 markings, 91110314 edges, 446895 markings/sec, 160 secs
lola: 77236001 markings, 93823321 edges, 446442 markings/sec, 165 secs
lola: 79458408 markings, 96524400 edges, 444481 markings/sec, 170 secs
lola: 81662714 markings, 99203433 edges, 440861 markings/sec, 175 secs
lola: 83851445 markings, 101863505 edges, 437746 markings/sec, 180 secs
lola: 86034456 markings, 104516732 edges, 436602 markings/sec, 185 secs
lola: 88223982 markings, 107177822 edges, 437905 markings/sec, 190 secs
lola: 90413855 markings, 109839351 edges, 437975 markings/sec, 195 secs
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 5 will run for 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Uf)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2121301 markings, 3021843 edges, 424260 markings/sec, 0 secs
lola: 3994311 markings, 5773918 edges, 374602 markings/sec, 5 secs
lola: 5471080 markings, 8418241 edges, 295354 markings/sec, 10 secs
lola: 7297987 markings, 11277915 edges, 365381 markings/sec, 15 secs
lola: 9118473 markings, 14119130 edges, 364097 markings/sec, 20 secs
lola: 10880860 markings, 16858228 edges, 352477 markings/sec, 25 secs
lola: 12617361 markings, 19557231 edges, 347300 markings/sec, 30 secs
lola: 14367596 markings, 22275575 edges, 350047 markings/sec, 35 secs
lola: 16130113 markings, 25013273 edges, 352503 markings/sec, 40 secs
lola: 17866693 markings, 27707876 edges, 347316 markings/sec, 45 secs
lola: 19595053 markings, 30392028 edges, 345672 markings/sec, 50 secs
lola: 21343687 markings, 33103273 edges, 349727 markings/sec, 55 secs
lola: 23089544 markings, 35815883 edges, 349171 markings/sec, 60 secs
lola: 24849593 markings, 38536941 edges, 352010 markings/sec, 65 secs
lola: 26608856 markings, 41271501 edges, 351853 markings/sec, 70 secs
lola: 28329551 markings, 43938513 edges, 344139 markings/sec, 75 secs
lola: 30040347 markings, 46587575 edges, 342159 markings/sec, 80 secs
lola: 31759947 markings, 49250907 edges, 343920 markings/sec, 85 secs
lola: 33528655 markings, 51990714 edges, 353742 markings/sec, 90 secs
lola: 35306370 markings, 54754712 edges, 355543 markings/sec, 95 secs
lola: 37032334 markings, 57424108 edges, 345193 markings/sec, 100 secs
lola: 38774434 markings, 60123532 edges, 348420 markings/sec, 105 secs
lola: 40564809 markings, 62913404 edges, 358075 markings/sec, 110 secs
lola: 42234494 markings, 65483659 edges, 333937 markings/sec, 115 secs
lola: 43954484 markings, 68148734 edges, 343998 markings/sec, 120 secs
lola: 45668793 markings, 70809137 edges, 342862 markings/sec, 125 secs
lola: 47345930 markings, 73400043 edges, 335427 markings/sec, 130 secs
lola: 49105817 markings, 76136359 edges, 351977 markings/sec, 135 secs
lola: 50768903 markings, 78702182 edges, 332617 markings/sec, 140 secs
lola: 52481477 markings, 81353750 edges, 342515 markings/sec, 145 secs
lola: 54176816 markings, 83983810 edges, 339068 markings/sec, 150 secs
lola: 55850862 markings, 86577992 edges, 334809 markings/sec, 155 secs
lola: 57599523 markings, 89288537 edges, 349732 markings/sec, 160 secs
lola: 59302485 markings, 91917964 edges, 340592 markings/sec, 165 secs
lola: 61042136 markings, 94626336 edges, 347930 markings/sec, 170 secs
lola: 62691721 markings, 97166452 edges, 329917 markings/sec, 175 secs
lola: 64446915 markings, 99908725 edges, 351039 markings/sec, 180 secs
lola: 66064022 markings, 102393122 edges, 323421 markings/sec, 185 secs
lola: 67824139 markings, 105130173 edges, 352023 markings/sec, 190 secs
lola: 69439841 markings, 107618055 edges, 323140 markings/sec, 195 secs
lola: 71193254 markings, 110350492 edges, 350683 markings/sec, 200 secs
lola: 72814072 markings, 112843504 edges, 324164 markings/sec, 205 secs
lola: 74569120 markings, 115579343 edges, 351010 markings/sec, 210 secs
lola: 76192847 markings, 118078313 edges, 324745 markings/sec, 215 secs
lola: 77971502 markings, 120848264 edges, 355731 markings/sec, 220 secs
lola: 79615268 markings, 123380378 edges, 328753 markings/sec, 225 secs
lola: 81397770 markings, 126153541 edges, 356500 markings/sec, 230 secs
lola: 83038477 markings, 128683858 edges, 328141 markings/sec, 235 secs
lola: 84819317 markings, 131460227 edges, 356168 markings/sec, 240 secs
lola: 86463629 markings, 133986052 edges, 328862 markings/sec, 245 secs
lola: 88245092 markings, 136772094 edges, 356293 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MpA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2034617 markings, 2898338 edges, 406923 markings/sec, 0 secs
lola: 3746155 markings, 5412074 edges, 342308 markings/sec, 5 secs
lola: 5044507 markings, 7745352 edges, 259670 markings/sec, 10 secs
lola: 6903424 markings, 10659480 edges, 371783 markings/sec, 15 secs
lola: 8743643 markings, 13530964 edges, 368044 markings/sec, 20 secs
lola: 10546486 markings, 16337704 edges, 360569 markings/sec, 25 secs
lola: 12301905 markings, 19064520 edges, 351084 markings/sec, 30 secs
lola: 14054871 markings, 21789133 edges, 350593 markings/sec, 35 secs
lola: 15813935 markings, 24521982 edges, 351813 markings/sec, 40 secs
lola: 17564206 markings, 27242056 edges, 350054 markings/sec, 45 secs
lola: 19282017 markings, 29903529 edges, 343562 markings/sec, 50 secs
lola: 21023378 markings, 32604165 edges, 348272 markings/sec, 55 secs
lola: 22756825 markings, 35295515 edges, 346689 markings/sec, 60 secs
lola: 24505818 markings, 38015187 edges, 349799 markings/sec, 65 secs
lola: 26221448 markings, 40669730 edges, 343126 markings/sec, 70 secs
lola: 27917640 markings, 43294761 edges, 339238 markings/sec, 75 secs
lola: 29559767 markings, 45842658 edges, 328425 markings/sec, 80 secs
lola: 31279575 markings, 48504904 edges, 343962 markings/sec, 85 secs
lola: 33002493 markings, 51186981 edges, 344584 markings/sec, 90 secs
lola: 34667784 markings, 53759532 edges, 333058 markings/sec, 95 secs
lola: 36342376 markings, 56356255 edges, 334918 markings/sec, 100 secs
lola: 38096104 markings, 59078362 edges, 350746 markings/sec, 105 secs
lola: 39774858 markings, 61672476 edges, 335751 markings/sec, 110 secs
lola: 41460445 markings, 64284596 edges, 337117 markings/sec, 115 secs
lola: 43216122 markings, 67016996 edges, 351135 markings/sec, 120 secs
lola: 44876589 markings, 69577339 edges, 332093 markings/sec, 125 secs
lola: 46590517 markings, 72228510 edges, 342786 markings/sec, 130 secs
lola: 48284993 markings, 74858787 edges, 338895 markings/sec, 135 secs
lola: 49958182 markings, 77448633 edges, 334638 markings/sec, 140 secs
lola: 51694277 markings, 80145589 edges, 347219 markings/sec, 145 secs
lola: 53352177 markings, 82705468 edges, 331580 markings/sec, 150 secs
lola: 55095353 markings, 85412851 edges, 348635 markings/sec, 155 secs
lola: 56734409 markings, 87942527 edges, 327811 markings/sec, 160 secs
lola: 58448418 markings, 90598489 edges, 342802 markings/sec, 165 secs
lola: 60097995 markings, 93153905 edges, 329915 markings/sec, 170 secs
lola: 61815292 markings, 95810619 edges, 343459 markings/sec, 175 secs
lola: 63506386 markings, 98433212 edges, 338219 markings/sec, 180 secs
lola: 65200214 markings, 101049354 edges, 338766 markings/sec, 185 secs
lola: 66873377 markings, 103648847 edges, 334633 markings/sec, 190 secs
lola: 68560267 markings, 106254903 edges, 337378 markings/sec, 195 secs
lola: 70231633 markings, 108851600 edges, 334273 markings/sec, 200 secs
lola: 71921420 markings, 111460748 edges, 337957 markings/sec, 205 secs
lola: 73588256 markings, 114050632 edges, 333367 markings/sec, 210 secs
lola: 75278470 markings, 116659115 edges, 338043 markings/sec, 215 secs
lola: 76951607 markings, 119257909 edges, 334627 markings/sec, 220 secs
lola: 78649711 markings, 121880538 edges, 339621 markings/sec, 225 secs
lola: 80320989 markings, 124479123 edges, 334256 markings/sec, 230 secs
lola: 82030563 markings, 127117944 edges, 341915 markings/sec, 235 secs
lola: 83725788 markings, 129750161 edges, 339045 markings/sec, 240 secs
lola: 85440073 markings, 132399626 edges, 342857 markings/sec, 245 secs
lola: 87116541 markings, 135003956 edges, 335294 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2041357 markings, 3047667 edges, 408271 markings/sec, 0 secs
lola: 3627954 markings, 5939764 edges, 317319 markings/sec, 5 secs
lola: 5412193 markings, 9116628 edges, 356848 markings/sec, 10 secs
lola: 7231554 markings, 12232749 edges, 363872 markings/sec, 15 secs
lola: 9022738 markings, 15294599 edges, 358237 markings/sec, 20 secs
lola: 10762500 markings, 18269088 edges, 347952 markings/sec, 25 secs
lola: 12484398 markings, 21215269 edges, 344380 markings/sec, 30 secs
lola: 14213195 markings, 24166493 edges, 345759 markings/sec, 35 secs
lola: 15957483 markings, 27145769 edges, 348858 markings/sec, 40 secs
lola: 17683653 markings, 30087539 edges, 345234 markings/sec, 45 secs
lola: 19396362 markings, 33013301 edges, 342542 markings/sec, 50 secs
lola: 21107320 markings, 35933137 edges, 342192 markings/sec, 55 secs
lola: 22818966 markings, 38851419 edges, 342329 markings/sec, 60 secs
lola: 24523575 markings, 41759609 edges, 340922 markings/sec, 65 secs
lola: 26225463 markings, 44653884 edges, 340378 markings/sec, 70 secs
lola: 27920154 markings, 47547742 edges, 338938 markings/sec, 75 secs
lola: 29629673 markings, 50461419 edges, 341904 markings/sec, 80 secs
lola: 31343705 markings, 53375723 edges, 342806 markings/sec, 85 secs
lola: 33063328 markings, 56308713 edges, 343925 markings/sec, 90 secs
lola: 34784666 markings, 59236984 edges, 344268 markings/sec, 95 secs
lola: 36496647 markings, 62152217 edges, 342396 markings/sec, 100 secs
lola: 38208650 markings, 65062619 edges, 342401 markings/sec, 105 secs
lola: 39904761 markings, 67946798 edges, 339222 markings/sec, 110 secs
lola: 41560975 markings, 70775130 edges, 331243 markings/sec, 115 secs
lola: 43252870 markings, 73649094 edges, 338379 markings/sec, 120 secs
lola: 44944361 markings, 76529229 edges, 338298 markings/sec, 125 secs
lola: 46632057 markings, 79392190 edges, 337539 markings/sec, 130 secs
lola: 48267196 markings, 82179632 edges, 327028 markings/sec, 135 secs
lola: 49934179 markings, 85012100 edges, 333397 markings/sec, 140 secs
lola: 51613840 markings, 87868926 edges, 335932 markings/sec, 145 secs
lola: 53295535 markings, 90722982 edges, 336339 markings/sec, 150 secs
lola: 54917201 markings, 93482632 edges, 324333 markings/sec, 155 secs
lola: 56592342 markings, 96332786 edges, 335028 markings/sec, 160 secs
lola: 58278720 markings, 99189300 edges, 337276 markings/sec, 165 secs
lola: 59910531 markings, 101968073 edges, 326362 markings/sec, 170 secs
lola: 61601181 markings, 104842857 edges, 338130 markings/sec, 175 secs
lola: 63310053 markings, 107735078 edges, 341774 markings/sec, 180 secs
lola: 64953169 markings, 110534727 edges, 328623 markings/sec, 185 secs
lola: 66638812 markings, 113396397 edges, 337129 markings/sec, 190 secs
lola: 68347782 markings, 116288521 edges, 341794 markings/sec, 195 secs
lola: 69997946 markings, 119098506 edges, 330033 markings/sec, 200 secs
lola: 71701974 markings, 121990806 edges, 340806 markings/sec, 205 secs
lola: 73425473 markings, 124908368 edges, 344700 markings/sec, 210 secs
lola: 75078265 markings, 127721641 edges, 330558 markings/sec, 215 secs
lola: 76784057 markings, 130613072 edges, 341158 markings/sec, 220 secs
lola: 78508455 markings, 133531335 edges, 344880 markings/sec, 225 secs
lola: 80161865 markings, 136347638 edges, 330682 markings/sec, 230 secs
lola: 81863909 markings, 139229430 edges, 340409 markings/sec, 235 secs
lola: 83567547 markings, 142116638 edges, 340728 markings/sec, 240 secs
lola: 85214071 markings, 144915362 edges, 329305 markings/sec, 245 secs
lola: 86892556 markings, 147761600 edges, 335697 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SwA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2026101 markings, 3024873 edges, 405220 markings/sec, 0 secs
lola: 3621258 markings, 5909049 edges, 319031 markings/sec, 5 secs
lola: 5360930 markings, 9029797 edges, 347934 markings/sec, 10 secs
lola: 7169107 markings, 12125970 edges, 361635 markings/sec, 15 secs
lola: 8954270 markings, 15177335 edges, 357033 markings/sec, 20 secs
lola: 10712512 markings, 18183484 edges, 351648 markings/sec, 25 secs
lola: 12450247 markings, 21152172 edges, 347547 markings/sec, 30 secs
lola: 14192862 markings, 24129233 edges, 348523 markings/sec, 35 secs
lola: 15932471 markings, 27104472 edges, 347922 markings/sec, 40 secs
lola: 17673198 markings, 30070533 edges, 348145 markings/sec, 45 secs
lola: 19392769 markings, 33007330 edges, 343914 markings/sec, 50 secs
lola: 21110575 markings, 35939340 edges, 343561 markings/sec, 55 secs
lola: 22828289 markings, 38868890 edges, 343543 markings/sec, 60 secs
lola: 24548751 markings, 41797224 edges, 344092 markings/sec, 65 secs
lola: 26262503 markings, 44720365 edges, 342750 markings/sec, 70 secs
lola: 27966267 markings, 47620130 edges, 340753 markings/sec, 75 secs
lola: 29666420 markings, 50517404 edges, 340031 markings/sec, 80 secs
lola: 31384314 markings, 53450623 edges, 343579 markings/sec, 85 secs
lola: 33094433 markings, 56362749 edges, 342024 markings/sec, 90 secs
lola: 34801277 markings, 59268348 edges, 341369 markings/sec, 95 secs
lola: 36517581 markings, 62188377 edges, 343261 markings/sec, 100 secs
lola: 38248831 markings, 65133274 edges, 346250 markings/sec, 105 secs
lola: 39979075 markings, 68072708 edges, 346049 markings/sec, 110 secs
lola: 41667098 markings, 70956672 edges, 337605 markings/sec, 115 secs
lola: 43366363 markings, 73842100 edges, 339853 markings/sec, 120 secs
lola: 45052071 markings, 76712206 edges, 337142 markings/sec, 125 secs
lola: 46746316 markings, 79588631 edges, 338849 markings/sec, 130 secs
lola: 48406535 markings, 82418298 edges, 332044 markings/sec, 135 secs
lola: 50060115 markings, 85226029 edges, 330716 markings/sec, 140 secs
lola: 51749056 markings, 88098079 edges, 337788 markings/sec, 145 secs
lola: 53452801 markings, 90987896 edges, 340749 markings/sec, 150 secs
lola: 55097515 markings, 93795382 edges, 328943 markings/sec, 155 secs
lola: 56790123 markings, 96670138 edges, 338522 markings/sec, 160 secs
lola: 58501030 markings, 99569148 edges, 342181 markings/sec, 165 secs
lola: 60158044 markings, 102390136 edges, 331403 markings/sec, 170 secs
lola: 61839728 markings, 105248467 edges, 336337 markings/sec, 175 secs
lola: 63549867 markings, 108148192 edges, 342028 markings/sec, 180 secs
lola: 65219925 markings, 110985423 edges, 334012 markings/sec, 185 secs
lola: 66901333 markings, 113843156 edges, 336282 markings/sec, 190 secs
lola: 68613373 markings, 116742311 edges, 342408 markings/sec, 195 secs
lola: 70276028 markings, 119575812 edges, 332531 markings/sec, 200 secs
lola: 71961913 markings, 122429047 edges, 337177 markings/sec, 205 secs
lola: 73671356 markings, 125325305 edges, 341889 markings/sec, 210 secs
lola: 75328950 markings, 128150298 edges, 331519 markings/sec, 215 secs
lola: 77022704 markings, 131019360 edges, 338751 markings/sec, 220 secs
lola: 78738150 markings, 133922553 edges, 343089 markings/sec, 225 secs
lola: 80395348 markings, 136744867 edges, 331440 markings/sec, 230 secs
lola: 82097290 markings, 139626984 edges, 340388 markings/sec, 235 secs
lola: 83808165 markings, 142520434 edges, 342175 markings/sec, 240 secs
lola: 85466885 markings, 145342266 edges, 331744 markings/sec, 245 secs
lola: 87151655 markings, 148198532 edges, 336954 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Cb)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2631583 markings, 3114437 edges, 526317 markings/sec, 0 secs
lola: 5195462 markings, 6181153 edges, 512776 markings/sec, 5 secs
lola: 7624683 markings, 9083061 edges, 485844 markings/sec, 10 secs
lola: 10010165 markings, 11933466 edges, 477096 markings/sec, 15 secs
lola: 12363611 markings, 14743118 edges, 470689 markings/sec, 20 secs
lola: 14682690 markings, 17517308 edges, 463816 markings/sec, 25 secs
lola: 16996439 markings, 20283259 edges, 462750 markings/sec, 30 secs
lola: 19306060 markings, 23042349 edges, 461924 markings/sec, 35 secs
lola: 21604079 markings, 25786942 edges, 459604 markings/sec, 40 secs
lola: 23898673 markings, 28527442 edges, 458919 markings/sec, 45 secs
lola: 26209989 markings, 31287570 edges, 462263 markings/sec, 50 secs
lola: 28523061 markings, 34049822 edges, 462614 markings/sec, 55 secs
lola: 30839297 markings, 36815727 edges, 463247 markings/sec, 60 secs
lola: 33148568 markings, 39573599 edges, 461854 markings/sec, 65 secs
lola: 35455987 markings, 42329363 edges, 461484 markings/sec, 70 secs
lola: 37752868 markings, 45072824 edges, 459376 markings/sec, 75 secs
lola: 40047091 markings, 47813293 edges, 458845 markings/sec, 80 secs
lola: 42345188 markings, 50556655 edges, 459619 markings/sec, 85 secs
lola: 44658281 markings, 53318997 edges, 462619 markings/sec, 90 secs
lola: 46968196 markings, 56079239 edges, 461983 markings/sec, 95 secs
lola: 49264281 markings, 58822506 edges, 459217 markings/sec, 100 secs
lola: 51551674 markings, 61555570 edges, 457479 markings/sec, 105 secs
lola: 53828876 markings, 64276777 edges, 455440 markings/sec, 110 secs
lola: 56101813 markings, 66993365 edges, 454587 markings/sec, 115 secs
lola: 58378118 markings, 69714553 edges, 455261 markings/sec, 120 secs
lola: 60659432 markings, 72442421 edges, 456263 markings/sec, 125 secs
lola: 62943848 markings, 75174981 edges, 456883 markings/sec, 130 secs
lola: 65227240 markings, 77901981 edges, 456678 markings/sec, 135 secs
lola: 67513998 markings, 80638217 edges, 457352 markings/sec, 140 secs
lola: 69797257 markings, 83370220 edges, 456652 markings/sec, 145 secs
lola: 72095764 markings, 86121254 edges, 459701 markings/sec, 150 secs
lola: 74390714 markings, 88864665 edges, 458990 markings/sec, 155 secs
lola: 76654260 markings, 91574351 edges, 452709 markings/sec, 160 secs
lola: 78926318 markings, 94294240 edges, 454412 markings/sec, 165 secs
lola: 81203153 markings, 97019822 edges, 455367 markings/sec, 170 secs
lola: 83474554 markings, 99739866 edges, 454280 markings/sec, 175 secs
lola: 85730820 markings, 102442228 edges, 451253 markings/sec, 180 secs
lola: 88002121 markings, 105163408 edges, 454260 markings/sec, 185 secs
lola: 90273860 markings, 107884668 edges, 454348 markings/sec, 190 secs
lola: 92534082 markings, 110591746 edges, 452044 markings/sec, 195 secs
lola: 94780567 markings, 113281414 edges, 449297 markings/sec, 200 secs
lola: 97033647 markings, 115978155 edges, 450616 markings/sec, 205 secs
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: subprocess 10 will run for 267 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MtF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: ========================================
lola: 1994454 markings, 2985491 edges, 398891 markings/sec, 0 secs
lola: 3696658 markings, 5852856 edges, 340441 markings/sec, 5 secs
lola: 5001022 markings, 8596548 edges, 260873 markings/sec, 10 secs
lola: 6691017 markings, 11604155 edges, 337999 markings/sec, 15 secs
lola: 8324736 markings, 14511534 edges, 326744 markings/sec, 20 secs
lola: 9924684 markings, 17331181 edges, 319990 markings/sec, 25 secs
lola: 11528937 markings, 20139458 edges, 320851 markings/sec, 30 secs
lola: 13075496 markings, 22876005 edges, 309312 markings/sec, 35 secs
lola: 14638868 markings, 25642977 edges, 312674 markings/sec, 40 secs
lola: 16219080 markings, 28406354 edges, 316042 markings/sec, 45 secs
lola: 17782798 markings, 31143684 edges, 312744 markings/sec, 50 secs
lola: 19338706 markings, 33876239 edges, 311182 markings/sec, 55 secs
lola: 20903971 markings, 36632898 edges, 313053 markings/sec, 60 secs
lola: 22470164 markings, 39405815 edges, 313239 markings/sec, 65 secs
lola: 24017086 markings, 42095548 edges, 309384 markings/sec, 70 secs
lola: 25589779 markings, 44837007 edges, 314539 markings/sec, 75 secs
lola: 27172131 markings, 47593587 edges, 316470 markings/sec, 80 secs
lola: 28748038 markings, 50357409 edges, 315181 markings/sec, 85 secs
lola: 30278175 markings, 53087220 edges, 306027 markings/sec, 90 secs
lola: 31823977 markings, 55759417 edges, 309160 markings/sec, 95 secs
lola: 33407623 markings, 58507050 edges, 316729 markings/sec, 100 secs
lola: 34947773 markings, 61259063 edges, 308030 markings/sec, 105 secs
lola: 36462935 markings, 63884590 edges, 303032 markings/sec, 110 secs
lola: 38044350 markings, 66617629 edges, 316283 markings/sec, 115 secs
lola: 39542678 markings, 69308039 edges, 299666 markings/sec, 120 secs
lola: 41085276 markings, 71960733 edges, 308520 markings/sec, 125 secs
lola: 42637081 markings, 74688937 edges, 310361 markings/sec, 130 secs
lola: 44130759 markings, 77302879 edges, 298736 markings/sec, 135 secs
lola: 45692008 markings, 80003514 edges, 312250 markings/sec, 140 secs
lola: 47149536 markings, 82597455 edges, 291506 markings/sec, 145 secs
lola: 48681738 markings, 85223228 edges, 306440 markings/sec, 150 secs
lola: 50143573 markings, 87845239 edges, 292367 markings/sec, 155 secs
lola: 51678663 markings, 90464304 edges, 307018 markings/sec, 160 secs
lola: 53185439 markings, 93181563 edges, 301355 markings/sec, 165 secs
lola: 54687159 markings, 95724094 edges, 300344 markings/sec, 170 secs
lola: 56216453 markings, 98449383 edges, 305859 markings/sec, 175 secs
lola: 57703660 markings, 100990032 edges, 297441 markings/sec, 180 secs
lola: 59239218 markings, 103717075 edges, 307112 markings/sec, 185 secs
lola: 60721161 markings, 106255372 edges, 296389 markings/sec, 190 secs
lola: 62244039 markings, 108959635 edges, 304576 markings/sec, 195 secs
lola: 63709654 markings, 111462115 edges, 293123 markings/sec, 200 secs
lola: 65232266 markings, 114176054 edges, 304522 markings/sec, 205 secs
lola: 66699832 markings, 116670838 edges, 293513 markings/sec, 210 secs
lola: 68191268 markings, 119352038 edges, 298287 markings/sec, 215 secs
lola: 69675729 markings, 121849128 edges, 296892 markings/sec, 220 secs
lola: 71139544 markings, 124468368 edges, 292763 markings/sec, 225 secs
lola: 72668873 markings, 127054309 edges, 305866 markings/sec, 230 secs
lola: 74098728 markings, 129605874 edges, 285971 markings/sec, 235 secs
lola: 75649236 markings, 132235975 edges, 310102 markings/sec, 240 secs
lola: 77066500 markings, 134757672 edges, 283453 markings/sec, 245 secs
lola: 78620083 markings, 137419078 edges, 310717 markings/sec, 250 secs
lola: 80055238 markings, 139944731 edges, 287031 markings/sec, 255 secs
lola: 81604069 markings, 142629131 edges, 309766 markings/sec, 260 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 267 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 12 will run for 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Mi)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1401880 markings, 2978654 edges, 280376 markings/sec, 0 secs
lola: 2636011 markings, 5669642 edges, 246826 markings/sec, 5 secs
lola: 3835447 markings, 8299169 edges, 239887 markings/sec, 10 secs
lola: 4995384 markings, 10859189 edges, 231987 markings/sec, 15 secs
lola: 6145460 markings, 13403380 edges, 230015 markings/sec, 20 secs
lola: 7283645 markings, 15927625 edges, 227637 markings/sec, 25 secs
lola: 8418344 markings, 18452517 edges, 226940 markings/sec, 30 secs
lola: 9539761 markings, 20948507 edges, 224283 markings/sec, 35 secs
lola: 10660533 markings, 23442042 edges, 224154 markings/sec, 40 secs
lola: 11774025 markings, 25925726 edges, 222698 markings/sec, 45 secs
lola: 12882010 markings, 28399112 edges, 221597 markings/sec, 50 secs
lola: 13995716 markings, 30884055 edges, 222741 markings/sec, 55 secs
lola: 15100208 markings, 33355779 edges, 220898 markings/sec, 60 secs
lola: 16209520 markings, 35834458 edges, 221862 markings/sec, 65 secs
lola: 17313593 markings, 38303650 edges, 220815 markings/sec, 70 secs
lola: 18418272 markings, 40776216 edges, 220936 markings/sec, 75 secs
lola: 19520699 markings, 43239721 edges, 220485 markings/sec, 80 secs
lola: 20625965 markings, 45714044 edges, 221053 markings/sec, 85 secs
lola: 21728210 markings, 48185339 edges, 220449 markings/sec, 90 secs
lola: 22831997 markings, 50659871 edges, 220757 markings/sec, 95 secs
lola: 23931032 markings, 53123837 edges, 219807 markings/sec, 100 secs
lola: 25042181 markings, 55615005 edges, 222230 markings/sec, 105 secs
lola: 26144202 markings, 58092870 edges, 220404 markings/sec, 110 secs
lola: 27250025 markings, 60583317 edges, 221165 markings/sec, 115 secs
lola: 28366141 markings, 63101000 edges, 223223 markings/sec, 120 secs
lola: 29470846 markings, 65593452 edges, 220941 markings/sec, 125 secs
lola: 30571518 markings, 68076419 edges, 220134 markings/sec, 130 secs
lola: 31671178 markings, 70555028 edges, 219932 markings/sec, 135 secs
lola: 32793971 markings, 73086152 edges, 224559 markings/sec, 140 secs
lola: 33931916 markings, 75648742 edges, 227589 markings/sec, 145 secs
lola: 35081673 markings, 78228525 edges, 229951 markings/sec, 150 secs
lola: 36236602 markings, 80802049 edges, 230986 markings/sec, 155 secs
lola: 37412245 markings, 83390765 edges, 235129 markings/sec, 160 secs
lola: 38515227 markings, 85881859 edges, 220596 markings/sec, 165 secs
lola: 39576282 markings, 88284501 edges, 212211 markings/sec, 170 secs
lola: 40612682 markings, 90640712 edges, 207280 markings/sec, 175 secs
lola: 41624954 markings, 92941253 edges, 202454 markings/sec, 180 secs
lola: 42629441 markings, 95225990 edges, 200897 markings/sec, 185 secs
lola: 43630837 markings, 97503544 edges, 200279 markings/sec, 190 secs
lola: 44640060 markings, 99801644 edges, 201845 markings/sec, 195 secs
lola: 45650041 markings, 102103438 edges, 201996 markings/sec, 200 secs
lola: 46664129 markings, 104415343 edges, 202818 markings/sec, 205 secs
lola: 47667191 markings, 106697865 edges, 200612 markings/sec, 210 secs
lola: 48679177 markings, 109003984 edges, 202397 markings/sec, 215 secs
lola: 49679227 markings, 111279605 edges, 200010 markings/sec, 220 secs
lola: 50690131 markings, 113581602 edges, 202181 markings/sec, 225 secs
lola: 51694979 markings, 115866637 edges, 200970 markings/sec, 230 secs
lola: 52702212 markings, 118156714 edges, 201447 markings/sec, 235 secs
lola: 53699291 markings, 120422460 edges, 199416 markings/sec, 240 secs
lola: 54690478 markings, 122672254 edges, 198237 markings/sec, 245 secs
lola: 55679544 markings, 125013518 edges, 197813 markings/sec, 250 secs
lola: 55887657 markings, 126623168 edges, 41623 markings/sec, 255 secs
lola: 56178436 markings, 128386385 edges, 58156 markings/sec, 260 secs
lola: 56381645 markings, 130023850 edges, 40642 markings/sec, 265 secs
lola: 56503828 markings, 131520445 edges, 24437 markings/sec, 270 secs
lola: 56608156 markings, 133015288 edges, 20866 markings/sec, 275 secs
lola: 56666080 markings, 134517747 edges, 11585 markings/sec, 280 secs
lola: 57504664 markings, 137102757 edges, 167717 markings/sec, 285 secs
lola: 58604158 markings, 139900541 edges, 219899 markings/sec, 290 secs
lola: 59694865 markings, 142680870 edges, 218141 markings/sec, 295 secs
lola: 60794467 markings, 145481841 edges, 219920 markings/sec, 300 secs
lola: 61884176 markings, 148142589 edges, 217942 markings/sec, 305 secs
lola: 62954362 markings, 150811050 edges, 214037 markings/sec, 310 secs
lola: 64015547 markings, 153511428 edges, 212237 markings/sec, 315 secs
lola: 65084609 markings, 156233156 edges, 213812 markings/sec, 320 secs
lola: 66248592 markings, 159097486 edges, 232797 markings/sec, 325 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 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MpG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2125040 markings, 2981220 edges, 425008 markings/sec, 0 secs
lola: 4088637 markings, 5807570 edges, 392719 markings/sec, 5 secs
lola: 5437472 markings, 8318125 edges, 269767 markings/sec, 10 secs
lola: 7041223 markings, 10914826 edges, 320750 markings/sec, 15 secs
lola: 8766561 markings, 13675185 edges, 345068 markings/sec, 20 secs
lola: 10483898 markings, 16404356 edges, 343467 markings/sec, 25 secs
lola: 12197954 markings, 19108704 edges, 342811 markings/sec, 30 secs
lola: 13925799 markings, 21820010 edges, 345569 markings/sec, 35 secs
lola: 15694503 markings, 24591460 edges, 353741 markings/sec, 40 secs
lola: 17435344 markings, 27307696 edges, 348168 markings/sec, 45 secs
lola: 19090666 markings, 29901263 edges, 331064 markings/sec, 50 secs
lola: 20839778 markings, 32591788 edges, 349822 markings/sec, 55 secs
lola: 22646590 markings, 35394169 edges, 361362 markings/sec, 60 secs
lola: 24256803 markings, 37904108 edges, 322043 markings/sec, 65 secs
lola: 26016598 markings, 40593025 edges, 351959 markings/sec, 70 secs
lola: 27713077 markings, 43220995 edges, 339296 markings/sec, 75 secs
lola: 29403707 markings, 45805521 edges, 338126 markings/sec, 80 secs
lola: 31215465 markings, 48591987 edges, 362352 markings/sec, 85 secs
lola: 32819073 markings, 51060385 edges, 320722 markings/sec, 90 secs
lola: 34671430 markings, 53896722 edges, 370471 markings/sec, 95 secs
lola: 36273017 markings, 56377345 edges, 320317 markings/sec, 100 secs
lola: 38105040 markings, 59158797 edges, 366405 markings/sec, 105 secs
lola: 39711895 markings, 61657006 edges, 321371 markings/sec, 110 secs
lola: 41554118 markings, 64436243 edges, 368445 markings/sec, 115 secs
lola: 43175686 markings, 66965089 edges, 324314 markings/sec, 120 secs
lola: 45036015 markings, 69763990 edges, 372066 markings/sec, 125 secs
lola: 46666095 markings, 72306916 edges, 326016 markings/sec, 130 secs
lola: 48539990 markings, 75121569 edges, 374779 markings/sec, 135 secs
lola: 50162871 markings, 77650850 edges, 324576 markings/sec, 140 secs
lola: 52032512 markings, 80460329 edges, 373928 markings/sec, 145 secs
lola: 53661792 markings, 82995364 edges, 325856 markings/sec, 150 secs
lola: 55546173 markings, 85831005 edges, 376876 markings/sec, 155 secs
lola: 57183597 markings, 88374321 edges, 327485 markings/sec, 160 secs
lola: 59064592 markings, 91207326 edges, 376199 markings/sec, 165 secs
lola: 60699402 markings, 93744012 edges, 326962 markings/sec, 170 secs
lola: 62597454 markings, 96606348 edges, 379610 markings/sec, 175 secs
lola: 64229030 markings, 99138600 edges, 326315 markings/sec, 180 secs
lola: 66121994 markings, 101993208 edges, 378593 markings/sec, 185 secs
lola: 67754651 markings, 104523180 edges, 326531 markings/sec, 190 secs
lola: 69647673 markings, 107383142 edges, 378604 markings/sec, 195 secs
lola: 71280452 markings, 109911688 edges, 326556 markings/sec, 200 secs
lola: 73169669 markings, 112766205 edges, 377843 markings/sec, 205 secs
lola: 74805352 markings, 115294960 edges, 327137 markings/sec, 210 secs
lola: 76678941 markings, 118128396 edges, 374718 markings/sec, 215 secs
lola: 78293239 markings, 120620583 edges, 322860 markings/sec, 220 secs
lola: 80160757 markings, 123451388 edges, 373504 markings/sec, 225 secs
lola: 81768615 markings, 125927601 edges, 321572 markings/sec, 230 secs
lola: 83633572 markings, 128757334 edges, 372991 markings/sec, 235 secs
lola: 85233720 markings, 131215846 edges, 320030 markings/sec, 240 secs
lola: 87100591 markings, 134058594 edges, 373374 markings/sec, 245 secs
lola: 88708736 markings, 136522248 edges, 321629 markings/sec, 250 secs
lola: 90606126 markings, 139419371 edges, 379478 markings/sec, 255 secs
lola: 92207768 markings, 141866076 edges, 320328 markings/sec, 260 secs
lola: 94101187 markings, 144757097 edges, 378684 markings/sec, 265 secs
lola: 95708044 markings, 147214194 edges, 321371 markings/sec, 270 secs
lola: 97593356 markings, 150089402 edges, 377062 markings/sec, 275 secs
lola: 99218805 markings, 152579212 edges, 325090 markings/sec, 280 secs
lola: 101113258 markings, 155471483 edges, 378891 markings/sec, 285 secs
lola: 102739132 markings, 157959906 edges, 325175 markings/sec, 290 secs
lola: 104612787 markings, 160821723 edges, 374731 markings/sec, 295 secs
lola: 106232747 markings, 163299115 edges, 323992 markings/sec, 300 secs
lola: 108080055 markings, 166123507 edges, 369462 markings/sec, 305 secs
lola: 109708310 markings, 168610356 edges, 325651 markings/sec, 310 secs
lola: 111540085 markings, 171413511 edges, 366355 markings/sec, 315 secs
lola: 113185993 markings, 173925505 edges, 329182 markings/sec, 320 secs
lola: 115002968 markings, 176706083 edges, 363395 markings/sec, 325 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2609316 markings, 3155993 edges, 521863 markings/sec, 0 secs
lola: 5176102 markings, 6267133 edges, 513357 markings/sec, 5 secs
lola: 7682395 markings, 9308554 edges, 501259 markings/sec, 10 secs
lola: 10146798 markings, 12300513 edges, 492881 markings/sec, 15 secs
lola: 12588210 markings, 15265095 edges, 488282 markings/sec, 20 secs
lola: 15010686 markings, 18206991 edges, 484495 markings/sec, 25 secs
lola: 17415976 markings, 21128398 edges, 481058 markings/sec, 30 secs
lola: 19810480 markings, 24036951 edges, 478901 markings/sec, 35 secs
lola: 22203521 markings, 26943501 edges, 478608 markings/sec, 40 secs
lola: 24577472 markings, 29827657 edges, 474790 markings/sec, 45 secs
lola: 26933221 markings, 32690382 edges, 471150 markings/sec, 50 secs
lola: 29302075 markings, 35567640 edges, 473771 markings/sec, 55 secs
lola: 31653679 markings, 38425128 edges, 470321 markings/sec, 60 secs
lola: 33996662 markings, 41272387 edges, 468597 markings/sec, 65 secs
lola: 36347089 markings, 44127762 edges, 470085 markings/sec, 70 secs
lola: 38680766 markings, 46964511 edges, 466735 markings/sec, 75 secs
lola: 41001104 markings, 49784597 edges, 464068 markings/sec, 80 secs
lola: 43313861 markings, 52595473 edges, 462551 markings/sec, 85 secs
lola: 45623208 markings, 55402228 edges, 461869 markings/sec, 90 secs
lola: 47940739 markings, 58218978 edges, 463506 markings/sec, 95 secs
lola: 50242310 markings, 61016690 edges, 460314 markings/sec, 100 secs
lola: 52558925 markings, 63831436 edges, 463323 markings/sec, 105 secs
lola: 54873807 markings, 66645210 edges, 462976 markings/sec, 110 secs
lola: 57188314 markings, 69458189 edges, 462901 markings/sec, 115 secs
lola: 59507780 markings, 72277231 edges, 463893 markings/sec, 120 secs
lola: 61824700 markings, 75093133 edges, 463384 markings/sec, 125 secs
lola: 64138257 markings, 77904982 edges, 462711 markings/sec, 130 secs
lola: 66448033 markings, 80710783 edges, 461955 markings/sec, 135 secs
lola: 68759661 markings, 83521214 edges, 462326 markings/sec, 140 secs
lola: 71060484 markings, 86317822 edges, 460165 markings/sec, 145 secs
lola: 73367763 markings, 89122051 edges, 461456 markings/sec, 150 secs
lola: 75676071 markings, 91927502 edges, 461662 markings/sec, 155 secs
lola: 77982099 markings, 94730221 edges, 461206 markings/sec, 160 secs
lola: 80295172 markings, 97541479 edges, 462615 markings/sec, 165 secs
lola: 82614190 markings, 100358646 edges, 463804 markings/sec, 170 secs
lola: 84926927 markings, 103170273 edges, 462547 markings/sec, 175 secs
lola: 87234583 markings, 105975222 edges, 461531 markings/sec, 180 secs
lola: 89543976 markings, 108781995 edges, 461879 markings/sec, 185 secs
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: subprocess 15 will run for 474 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Uf)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: ========================================
lola: 2139361 markings, 3047748 edges, 427872 markings/sec, 0 secs
lola: 3996232 markings, 5776719 edges, 371374 markings/sec, 5 secs
lola: 5489452 markings, 8446206 edges, 298644 markings/sec, 10 secs
lola: 7330619 markings, 11328422 edges, 368233 markings/sec, 15 secs
lola: 9152220 markings, 14169673 edges, 364320 markings/sec, 20 secs
lola: 10919111 markings, 16918507 edges, 353378 markings/sec, 25 secs
lola: 12661124 markings, 19625498 edges, 348403 markings/sec, 30 secs
lola: 14419187 markings, 22356364 edges, 351613 markings/sec, 35 secs
lola: 16158650 markings, 25056122 edges, 347893 markings/sec, 40 secs
lola: 17877832 markings, 27726238 edges, 343836 markings/sec, 45 secs
lola: 19595905 markings, 30393291 edges, 343615 markings/sec, 50 secs
lola: 21342710 markings, 33101830 edges, 349361 markings/sec, 55 secs
lola: 23059283 markings, 35765984 edges, 343315 markings/sec, 60 secs
lola: 24773340 markings, 38420578 edges, 342811 markings/sec, 65 secs
lola: 26499623 markings, 41107845 edges, 345257 markings/sec, 70 secs
lola: 28161463 markings, 43676323 edges, 332368 markings/sec, 75 secs
lola: 29842337 markings, 46279180 edges, 336175 markings/sec, 80 secs
lola: 31544365 markings, 48919892 edges, 340406 markings/sec, 85 secs
lola: 33297340 markings, 51638328 edges, 350595 markings/sec, 90 secs
lola: 34996601 markings, 54270855 edges, 339852 markings/sec, 95 secs
lola: 36697636 markings, 56903054 edges, 340207 markings/sec, 100 secs
lola: 38425740 markings, 59580471 edges, 345621 markings/sec, 105 secs
lola: 40129484 markings, 62224177 edges, 340749 markings/sec, 110 secs
lola: 41817385 markings, 64838372 edges, 337580 markings/sec, 115 secs
lola: 43554696 markings, 67531887 edges, 347462 markings/sec, 120 secs
lola: 45205636 markings, 70087111 edges, 330188 markings/sec, 125 secs
lola: 46861719 markings, 72659597 edges, 331217 markings/sec, 130 secs
lola: 48566819 markings, 75297299 edges, 341020 markings/sec, 135 secs
lola: 50209286 markings, 77836623 edges, 328493 markings/sec, 140 secs
lola: 51952990 markings, 80552806 edges, 348741 markings/sec, 145 secs
lola: 53577440 markings, 83051982 edges, 324890 markings/sec, 150 secs
lola: 55284329 markings, 85700072 edges, 341378 markings/sec, 155 secs
lola: 56935571 markings, 88255769 edges, 330248 markings/sec, 160 secs
lola: 58641691 markings, 90893887 edges, 341224 markings/sec, 165 secs
lola: 60331557 markings, 93513279 edges, 337973 markings/sec, 170 secs
lola: 62030863 markings, 96144079 edges, 339861 markings/sec, 175 secs
lola: 63722732 markings, 98768649 edges, 338374 markings/sec, 180 secs
lola: 65398951 markings, 101369309 edges, 335244 markings/sec, 185 secs
lola: 67111955 markings, 104018475 edges, 342601 markings/sec, 190 secs
lola: 68784191 markings, 106605347 edges, 334447 markings/sec, 195 secs
lola: 70493176 markings, 109259213 edges, 341797 markings/sec, 200 secs
lola: 72169697 markings, 111846553 edges, 335304 markings/sec, 205 secs
lola: 73874907 markings, 114497874 edges, 341042 markings/sec, 210 secs
lola: 75543236 markings, 117072681 edges, 333666 markings/sec, 215 secs
lola: 77251979 markings, 119726874 edges, 341749 markings/sec, 220 secs
lola: 78928337 markings, 122316862 edges, 335272 markings/sec, 225 secs
lola: 80630311 markings, 124960232 edges, 340395 markings/sec, 230 secs
lola: 82316122 markings, 127569929 edges, 337162 markings/sec, 235 secs
lola: 84020680 markings, 130209357 edges, 340912 markings/sec, 240 secs
lola: 85735181 markings, 132860077 edges, 342900 markings/sec, 245 secs
lola: 87424256 markings, 135482574 edges, 337815 markings/sec, 250 secs
lola: 89143815 markings, 138133446 edges, 343912 markings/sec, 255 secs
lola: 90829698 markings, 140755969 edges, 337177 markings/sec, 260 secs
lola: 92546508 markings, 143403846 edges, 343362 markings/sec, 265 secs
lola: 94213763 markings, 145995509 edges, 333451 markings/sec, 270 secs
lola: 95939624 markings, 148662798 edges, 345172 markings/sec, 275 secs
lola: 97596907 markings, 151233546 edges, 331457 markings/sec, 280 secs
lola: 99336582 markings, 153928002 edges, 347935 markings/sec, 285 secs
lola: 100958933 markings, 156439701 edges, 324470 markings/sec, 290 secs
lola: 102688422 markings, 159126705 edges, 345898 markings/sec, 295 secs
lola: 104293975 markings, 161604804 edges, 321111 markings/sec, 300 secs
lola: 106038063 markings, 164325524 edges, 348818 markings/sec, 305 secs
lola: 107635690 markings, 166777844 edges, 319525 markings/sec, 310 secs
lola: 109359324 markings, 169461333 edges, 344727 markings/sec, 315 secs
lola: 110993277 markings, 171976490 edges, 326791 markings/sec, 320 secs
lola: 112710834 markings, 174648091 edges, 343511 markings/sec, 325 secs
lola: 114367233 markings, 177194472 edges, 331280 markings/sec, 330 secs
lola: 116074371 markings, 179847810 edges, 341428 markings/sec, 335 secs
lola: 117735653 markings, 182412724 edges, 332256 markings/sec, 340 secs
lola: 119434678 markings, 185044155 edges, 339805 markings/sec, 345 secs
lola: 121112233 markings, 187626575 edges, 335511 markings/sec, 350 secs
lola: 122792259 markings, 190233794 edges, 336005 markings/sec, 355 secs
lola: 124465599 markings, 192805467 edges, 334668 markings/sec, 360 secs
lola: 126138468 markings, 195402584 edges, 334574 markings/sec, 365 secs
lola: 127795588 markings, 197954103 edges, 331424 markings/sec, 370 secs
lola: 129494849 markings, 200590230 edges, 339852 markings/sec, 375 secs
lola: 131148605 markings, 203124003 edges, 330751 markings/sec, 380 secs
lola: 132867678 markings, 205797860 edges, 343815 markings/sec, 385 secs
lola: 134507659 markings, 208312255 edges, 327996 markings/sec, 390 secs
lola: 136215964 markings, 210952949 edges, 341661 markings/sec, 395 secs
lola: 137862539 markings, 213489548 edges, 329315 markings/sec, 400 secs
lola: 139519443 markings, 216040979 edges, 331381 markings/sec, 405 secs
lola: 141229967 markings, 218685871 edges, 342105 markings/sec, 410 secs
lola: 142868695 markings, 221201892 edges, 327746 markings/sec, 415 secs
lola: 144522896 markings, 223742895 edges, 330840 markings/sec, 420 secs
lola: 146188648 markings, 226305896 edges, 333150 markings/sec, 425 secs
lola: 147853155 markings, 228858276 edges, 332901 markings/sec, 430 secs
lola: 149492006 markings, 231380113 edges, 327770 markings/sec, 435 secs
lola: 151167405 markings, 233951058 edges, 335080 markings/sec, 440 secs
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: RESULT
lola:
SUMMARY: unknown 80 80 unknown 80 unknown unknown unknown unknown 40 unknown 80 unknown unknown 80 40
lola: ========================================
FORMULA ClientsAndServers-PT-N0010P0-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P0-UpperBounds-1 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P0-UpperBounds-2 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P0-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P0-UpperBounds-4 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P0-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P0-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P0-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P0-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P0-UpperBounds-9 40 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P0-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P0-UpperBounds-11 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P0-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P0-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P0-UpperBounds-14 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P0-UpperBounds-15 40 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496604837668
--------------------
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="ClientsAndServers-PT-N0010P0"
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/ClientsAndServers-PT-N0010P0.tgz
mv ClientsAndServers-PT-N0010P0 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is ClientsAndServers-PT-N0010P0, 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 r168-ebro-149580919900191"
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 ;