About the Execution of LoLA for PermAdmissibility-COL-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8649.810 | 3540130.00 | 3549724.00 | 197.60 | ? ? ? ? ? ? ? ? ? ? ? ? ? 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-3254
Executing tool lola
Input is PermAdmissibility-COL-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440485000380
=====================================================================
--------------------
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 PermAdmissibility-COL-20-UpperBounds-0
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-1
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-10
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-11
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-12
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-13
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-14
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-15
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-2
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-3
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-4
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-5
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-6
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-7
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-8
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494653093327
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PermAdmissibility-COL-20 @ 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: 1232/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 208 places, 1024 transitions, 177 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1460 transition conflict sets
lola: TASK
lola: reading formula from PermAdmissibility-COL-20-UpperBounds.task
lola: MAX(p173) : MAX(p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127) : MAX(p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153) : MAX(p172) : MAX(p58) : MAX(p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144) : MAX(p163) : MAX(p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68) : MAX(p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171) : MAX(p173) : MAX(p90 + p89 + p88 + p87 + p91 + p92 + p93 + p94) : MAX(p86) : MAX(p59) : MAX(p172) : MAX(p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144) : MAX(p84 + p83 + p82 + p81 + p80 + p79 + p78 + p85)
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(p173)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 218757 markings, 889065 edges, 43751 markings/sec, 0 secs
lola: 464465 markings, 2052252 edges, 49142 markings/sec, 5 secs
lola: 706234 markings, 3304098 edges, 48354 markings/sec, 10 secs
lola: 920544 markings, 4358789 edges, 42862 markings/sec, 15 secs
lola: 1143734 markings, 5448429 edges, 44638 markings/sec, 20 secs
lola: 1371880 markings, 6564646 edges, 45629 markings/sec, 25 secs
lola: 1598644 markings, 7686949 edges, 45353 markings/sec, 30 secs
lola: 1838980 markings, 8835809 edges, 48067 markings/sec, 35 secs
lola: 2077163 markings, 9989634 edges, 47637 markings/sec, 40 secs
lola: 2305729 markings, 11296511 edges, 45713 markings/sec, 45 secs
lola: 2534216 markings, 12550929 edges, 45697 markings/sec, 50 secs
lola: 2763423 markings, 13792829 edges, 45841 markings/sec, 55 secs
lola: 2993650 markings, 15114894 edges, 46045 markings/sec, 60 secs
lola: 3222810 markings, 16389710 edges, 45832 markings/sec, 65 secs
lola: 3440015 markings, 17758713 edges, 43441 markings/sec, 70 secs
lola: 3666868 markings, 19280296 edges, 45371 markings/sec, 75 secs
lola: 3905484 markings, 20473914 edges, 47723 markings/sec, 80 secs
lola: 4144176 markings, 21670250 edges, 47738 markings/sec, 85 secs
lola: 4377946 markings, 22975753 edges, 46754 markings/sec, 90 secs
lola: 4618134 markings, 24414520 edges, 48038 markings/sec, 95 secs
lola: 4854161 markings, 25617526 edges, 47205 markings/sec, 100 secs
lola: 5089461 markings, 26799125 edges, 47060 markings/sec, 105 secs
lola: 5317041 markings, 28093324 edges, 45516 markings/sec, 110 secs
lola: 5540773 markings, 29493460 edges, 44746 markings/sec, 115 secs
lola: 5773048 markings, 30747049 edges, 46455 markings/sec, 120 secs
lola: 6016563 markings, 31995242 edges, 48703 markings/sec, 125 secs
lola: 6248170 markings, 33237035 edges, 46321 markings/sec, 130 secs
lola: 6470299 markings, 34556742 edges, 44426 markings/sec, 135 secs
lola: 6708865 markings, 35860239 edges, 47713 markings/sec, 140 secs
lola: 6943702 markings, 37165007 edges, 46967 markings/sec, 145 secs
lola: 7177154 markings, 38370133 edges, 46690 markings/sec, 150 secs
lola: 7404588 markings, 39703287 edges, 45487 markings/sec, 155 secs
lola: 7634663 markings, 40987673 edges, 46015 markings/sec, 160 secs
lola: 7861586 markings, 42284595 edges, 45385 markings/sec, 165 secs
lola: 8095672 markings, 43526987 edges, 46817 markings/sec, 170 secs
lola: 8334240 markings, 44708391 edges, 47714 markings/sec, 175 secs
lola: 8565099 markings, 45955868 edges, 46172 markings/sec, 180 secs
lola: 8795221 markings, 47257604 edges, 46024 markings/sec, 185 secs
lola: 9029539 markings, 48541470 edges, 46864 markings/sec, 190 secs
lola: 9264389 markings, 49835017 edges, 46970 markings/sec, 195 secs
lola: 9504707 markings, 51034358 edges, 48064 markings/sec, 200 secs
lola: 9744205 markings, 52224620 edges, 47900 markings/sec, 205 secs
lola: 9975943 markings, 53476284 edges, 46348 markings/sec, 210 secs
lola: 10206839 markings, 54794506 edges, 46179 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(p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 188108 markings, 585639 edges, 37622 markings/sec, 0 secs
lola: 386039 markings, 1118409 edges, 39586 markings/sec, 5 secs
lola: 574168 markings, 1657974 edges, 37626 markings/sec, 10 secs
lola: 761952 markings, 2309333 edges, 37557 markings/sec, 15 secs
lola: 940668 markings, 3379494 edges, 35743 markings/sec, 20 secs
lola: 1103217 markings, 4208219 edges, 32510 markings/sec, 25 secs
lola: 1272314 markings, 5149472 edges, 33819 markings/sec, 30 secs
lola: 1444759 markings, 6017940 edges, 34489 markings/sec, 35 secs
lola: 1635385 markings, 6685165 edges, 38125 markings/sec, 40 secs
lola: 1807061 markings, 7594964 edges, 34335 markings/sec, 45 secs
lola: 1981138 markings, 8455205 edges, 34815 markings/sec, 50 secs
lola: 2155125 markings, 9339628 edges, 34797 markings/sec, 55 secs
lola: 2337334 markings, 10084358 edges, 36442 markings/sec, 60 secs
lola: 2521882 markings, 10653426 edges, 36910 markings/sec, 65 secs
lola: 2705806 markings, 11247915 edges, 36785 markings/sec, 70 secs
lola: 2873478 markings, 12190100 edges, 33534 markings/sec, 75 secs
lola: 3029426 markings, 13031393 edges, 31190 markings/sec, 80 secs
lola: 3195104 markings, 13960199 edges, 33136 markings/sec, 85 secs
lola: 3361645 markings, 14777797 edges, 33308 markings/sec, 90 secs
lola: 3525899 markings, 15654108 edges, 32851 markings/sec, 95 secs
lola: 3696294 markings, 16484874 edges, 34079 markings/sec, 100 secs
lola: 3872714 markings, 17392695 edges, 35284 markings/sec, 105 secs
lola: 4033194 markings, 18298122 edges, 32096 markings/sec, 110 secs
lola: 4205905 markings, 19157030 edges, 34542 markings/sec, 115 secs
lola: 4378037 markings, 19958040 edges, 34426 markings/sec, 120 secs
lola: 4539680 markings, 20923577 edges, 32329 markings/sec, 125 secs
lola: 4714934 markings, 21691174 edges, 35051 markings/sec, 130 secs
lola: 4901731 markings, 22251585 edges, 37359 markings/sec, 135 secs
lola: 5083139 markings, 22910266 edges, 36282 markings/sec, 140 secs
lola: 5241547 markings, 23878649 edges, 31682 markings/sec, 145 secs
lola: 5407439 markings, 24791639 edges, 33178 markings/sec, 150 secs
lola: 5574582 markings, 25647968 edges, 33429 markings/sec, 155 secs
lola: 5733914 markings, 26572577 edges, 31866 markings/sec, 160 secs
lola: 5902797 markings, 27435653 edges, 33777 markings/sec, 165 secs
lola: 6065836 markings, 28473375 edges, 32608 markings/sec, 170 secs
lola: 6225256 markings, 29520259 edges, 31884 markings/sec, 175 secs
lola: 6384947 markings, 30530445 edges, 31938 markings/sec, 180 secs
lola: 6539661 markings, 31568279 edges, 30943 markings/sec, 185 secs
lola: 6703878 markings, 32556971 edges, 32843 markings/sec, 190 secs
lola: 6878784 markings, 33362382 edges, 34981 markings/sec, 195 secs
lola: 7039208 markings, 34228800 edges, 32085 markings/sec, 200 secs
lola: 7194198 markings, 35257858 edges, 30998 markings/sec, 205 secs
lola: 7354499 markings, 36267816 edges, 32060 markings/sec, 210 secs
lola: 7517729 markings, 37120172 edges, 32646 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(p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 542387 markings, 1739926 edges, 108477 markings/sec, 0 secs
lola: 1020380 markings, 3592174 edges, 95599 markings/sec, 5 secs
lola: 1453798 markings, 5501009 edges, 86684 markings/sec, 10 secs
lola: 1829235 markings, 7784440 edges, 75087 markings/sec, 15 secs
lola: 2311652 markings, 9377582 edges, 96483 markings/sec, 20 secs
lola: 2774287 markings, 11172502 edges, 92527 markings/sec, 25 secs
lola: 3190807 markings, 13134154 edges, 83304 markings/sec, 30 secs
lola: 3532619 markings, 15230401 edges, 68362 markings/sec, 35 secs
lola: 3984519 markings, 16883901 edges, 90380 markings/sec, 40 secs
lola: 4348796 markings, 19090284 edges, 72855 markings/sec, 45 secs
lola: 4726301 markings, 21197781 edges, 75501 markings/sec, 50 secs
lola: 5194155 markings, 23071572 edges, 93571 markings/sec, 55 secs
lola: 5585125 markings, 25045438 edges, 78194 markings/sec, 60 secs
lola: 5944409 markings, 27164762 edges, 71857 markings/sec, 65 secs
lola: 6396029 markings, 28969318 edges, 90324 markings/sec, 70 secs
lola: 6789606 markings, 30804709 edges, 78715 markings/sec, 75 secs
lola: 7119675 markings, 32923097 edges, 66014 markings/sec, 80 secs
lola: 7523303 markings, 34554307 edges, 80726 markings/sec, 85 secs
lola: 7797474 markings, 36616634 edges, 54834 markings/sec, 90 secs
lola: 8089310 markings, 38492297 edges, 58367 markings/sec, 95 secs
lola: 8429216 markings, 40545114 edges, 67981 markings/sec, 100 secs
lola: 8773601 markings, 42640431 edges, 68877 markings/sec, 105 secs
lola: 9079096 markings, 44688326 edges, 61099 markings/sec, 110 secs
lola: 9397291 markings, 46813260 edges, 63639 markings/sec, 115 secs
lola: 9718204 markings, 48985558 edges, 64183 markings/sec, 120 secs
lola: 10176753 markings, 50567633 edges, 91710 markings/sec, 125 secs
lola: 10648620 markings, 52100014 edges, 94373 markings/sec, 130 secs
lola: 11056320 markings, 53999254 edges, 81540 markings/sec, 135 secs
lola: 11477125 markings, 55882005 edges, 84161 markings/sec, 140 secs
lola: 11831515 markings, 57860008 edges, 70878 markings/sec, 145 secs
lola: 12184931 markings, 59797543 edges, 70683 markings/sec, 150 secs
lola: 12596911 markings, 61483348 edges, 82396 markings/sec, 155 secs
lola: 12929810 markings, 63251209 edges, 66580 markings/sec, 160 secs
lola: 13207485 markings, 64906959 edges, 55535 markings/sec, 165 secs
lola: 13544090 markings, 66790062 edges, 67321 markings/sec, 170 secs
lola: 13917362 markings, 68465375 edges, 74654 markings/sec, 175 secs
lola: 14227436 markings, 70583991 edges, 62015 markings/sec, 180 secs
lola: 14626908 markings, 72271391 edges, 79894 markings/sec, 185 secs
lola: 14942516 markings, 74266417 edges, 63122 markings/sec, 190 secs
lola: 15224205 markings, 76232345 edges, 56338 markings/sec, 195 secs
lola: 15496529 markings, 78069877 edges, 54465 markings/sec, 200 secs
lola: 15779920 markings, 80062967 edges, 56678 markings/sec, 205 secs
lola: 16055216 markings, 81967175 edges, 55059 markings/sec, 210 secs
lola: 16289523 markings, 83810572 edges, 46861 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p172)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 259746 markings, 535692 edges, 51949 markings/sec, 0 secs
lola: 523036 markings, 1060221 edges, 52658 markings/sec, 5 secs
lola: 788918 markings, 1607326 edges, 53176 markings/sec, 10 secs
lola: 1049830 markings, 2294614 edges, 52182 markings/sec, 15 secs
lola: 1304922 markings, 2988696 edges, 51018 markings/sec, 20 secs
lola: 1559015 markings, 3633083 edges, 50819 markings/sec, 25 secs
lola: 1818738 markings, 4294955 edges, 51945 markings/sec, 30 secs
lola: 2066696 markings, 5154168 edges, 49592 markings/sec, 35 secs
lola: 2309201 markings, 6315682 edges, 48501 markings/sec, 40 secs
lola: 2552912 markings, 7399802 edges, 48742 markings/sec, 45 secs
lola: 2800289 markings, 8235816 edges, 49475 markings/sec, 50 secs
lola: 3051713 markings, 8931816 edges, 50285 markings/sec, 55 secs
lola: 3303470 markings, 9700485 edges, 50351 markings/sec, 60 secs
lola: 3558050 markings, 10509927 edges, 50916 markings/sec, 65 secs
lola: 3808090 markings, 11277658 edges, 50008 markings/sec, 70 secs
lola: 4061714 markings, 12054612 edges, 50725 markings/sec, 75 secs
lola: 4314490 markings, 12807756 edges, 50555 markings/sec, 80 secs
lola: 4565204 markings, 13570662 edges, 50143 markings/sec, 85 secs
lola: 4815195 markings, 14275521 edges, 49998 markings/sec, 90 secs
lola: 5053900 markings, 15215060 edges, 47741 markings/sec, 95 secs
lola: 5286996 markings, 16546410 edges, 46619 markings/sec, 100 secs
lola: 5517238 markings, 17801020 edges, 46048 markings/sec, 105 secs
lola: 5742363 markings, 19057944 edges, 45025 markings/sec, 110 secs
lola: 5969567 markings, 20165169 edges, 45441 markings/sec, 115 secs
lola: 6200817 markings, 21365428 edges, 46250 markings/sec, 120 secs
lola: 6432205 markings, 22423072 edges, 46278 markings/sec, 125 secs
lola: 6663823 markings, 23680137 edges, 46324 markings/sec, 130 secs
lola: 6888687 markings, 25022708 edges, 44973 markings/sec, 135 secs
lola: 7119222 markings, 26341801 edges, 46107 markings/sec, 140 secs
lola: 7343248 markings, 27545988 edges, 44805 markings/sec, 145 secs
lola: 7558961 markings, 28660524 edges, 43143 markings/sec, 150 secs
lola: 7771010 markings, 29695141 edges, 42410 markings/sec, 155 secs
lola: 7980311 markings, 30732055 edges, 41860 markings/sec, 160 secs
lola: 8187535 markings, 31781999 edges, 41445 markings/sec, 165 secs
lola: 8394726 markings, 32818398 edges, 41438 markings/sec, 170 secs
lola: 8604213 markings, 33863332 edges, 41897 markings/sec, 175 secs
lola: 8804187 markings, 34991513 edges, 39995 markings/sec, 180 secs
lola: 9000292 markings, 36135355 edges, 39221 markings/sec, 185 secs
lola: 9194593 markings, 37276574 edges, 38860 markings/sec, 190 secs
lola: 9387485 markings, 38405907 edges, 38578 markings/sec, 195 secs
lola: 9580425 markings, 39537719 edges, 38588 markings/sec, 200 secs
lola: 9781310 markings, 40629142 edges, 40177 markings/sec, 205 secs
lola: 9982167 markings, 41723797 edges, 40171 markings/sec, 210 secs
lola: 10173853 markings, 42941203 edges, 38337 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(p58)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 534796 markings, 1718667 edges, 106959 markings/sec, 0 secs
lola: 1010308 markings, 3573246 edges, 95102 markings/sec, 5 secs
lola: 1438082 markings, 5430596 edges, 85555 markings/sec, 10 secs
lola: 1814264 markings, 7595426 edges, 75236 markings/sec, 15 secs
lola: 2284123 markings, 9192052 edges, 93972 markings/sec, 20 secs
lola: 2744394 markings, 11059773 edges, 92054 markings/sec, 25 secs
lola: 3159187 markings, 12941600 edges, 82959 markings/sec, 30 secs
lola: 3503253 markings, 15017184 edges, 68813 markings/sec, 35 secs
lola: 3947098 markings, 16622459 edges, 88769 markings/sec, 40 secs
lola: 4311198 markings, 18710771 edges, 72820 markings/sec, 45 secs
lola: 4662888 markings, 20775772 edges, 70338 markings/sec, 50 secs
lola: 5125071 markings, 22771567 edges, 92437 markings/sec, 55 secs
lola: 5514642 markings, 24688011 edges, 77914 markings/sec, 60 secs
lola: 5876459 markings, 26774745 edges, 72363 markings/sec, 65 secs
lola: 6301920 markings, 28559906 edges, 85092 markings/sec, 70 secs
lola: 6714717 markings, 30477294 edges, 82559 markings/sec, 75 secs
lola: 7050407 markings, 32497378 edges, 67138 markings/sec, 80 secs
lola: 7435955 markings, 34266754 edges, 77110 markings/sec, 85 secs
lola: 7765033 markings, 36420280 edges, 65816 markings/sec, 90 secs
lola: 8089633 markings, 38497515 edges, 64920 markings/sec, 95 secs
lola: 8437148 markings, 40609873 edges, 69503 markings/sec, 100 secs
lola: 8788132 markings, 42722309 edges, 70197 markings/sec, 105 secs
lola: 9096672 markings, 44781078 edges, 61708 markings/sec, 110 secs
lola: 9405100 markings, 46934752 edges, 61686 markings/sec, 115 secs
lola: 9746048 markings, 49098941 edges, 68190 markings/sec, 120 secs
lola: 10241038 markings, 50729064 edges, 98998 markings/sec, 125 secs
lola: 10677062 markings, 52558668 edges, 87205 markings/sec, 130 secs
lola: 11124944 markings, 54361676 edges, 89576 markings/sec, 135 secs
lola: 11540699 markings, 56047499 edges, 83151 markings/sec, 140 secs
lola: 11884780 markings, 58074427 edges, 68816 markings/sec, 145 secs
lola: 12243878 markings, 60004909 edges, 71820 markings/sec, 150 secs
lola: 12642277 markings, 61748859 edges, 79680 markings/sec, 155 secs
lola: 12969495 markings, 63599081 edges, 65444 markings/sec, 160 secs
lola: 13318088 markings, 65353130 edges, 69719 markings/sec, 165 secs
lola: 13694449 markings, 67189169 edges, 75272 markings/sec, 170 secs
lola: 14020992 markings, 69297556 edges, 65309 markings/sec, 175 secs
lola: 14322926 markings, 71275933 edges, 60387 markings/sec, 180 secs
lola: 14731180 markings, 72885984 edges, 81651 markings/sec, 185 secs
lola: 15023662 markings, 74956253 edges, 58496 markings/sec, 190 secs
lola: 15341276 markings, 76838185 edges, 63523 markings/sec, 195 secs
lola: 15625725 markings, 78993767 edges, 56890 markings/sec, 200 secs
lola: 15955894 markings, 80928679 edges, 66034 markings/sec, 205 secs
lola: 16206294 markings, 83162980 edges, 50080 markings/sec, 210 secs
lola: 16543334 markings, 85193719 edges, 67408 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(p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 190493 markings, 478622 edges, 38099 markings/sec, 0 secs
lola: 387654 markings, 938510 edges, 39432 markings/sec, 5 secs
lola: 584052 markings, 1397762 edges, 39280 markings/sec, 10 secs
lola: 777431 markings, 1908544 edges, 38676 markings/sec, 15 secs
lola: 971585 markings, 2401023 edges, 38831 markings/sec, 20 secs
lola: 1154457 markings, 2860057 edges, 36574 markings/sec, 25 secs
lola: 1345301 markings, 3352978 edges, 38169 markings/sec, 30 secs
lola: 1520532 markings, 3867783 edges, 35046 markings/sec, 35 secs
lola: 1702894 markings, 4405518 edges, 36472 markings/sec, 40 secs
lola: 1872920 markings, 5035709 edges, 34005 markings/sec, 45 secs
lola: 2052357 markings, 5593425 edges, 35887 markings/sec, 50 secs
lola: 2240866 markings, 5997287 edges, 37702 markings/sec, 55 secs
lola: 2432333 markings, 6466939 edges, 38293 markings/sec, 60 secs
lola: 2623128 markings, 6954679 edges, 38159 markings/sec, 65 secs
lola: 2806600 markings, 7482319 edges, 36694 markings/sec, 70 secs
lola: 3000909 markings, 7953085 edges, 38862 markings/sec, 75 secs
lola: 3191580 markings, 8429852 edges, 38134 markings/sec, 80 secs
lola: 3372872 markings, 8976310 edges, 36258 markings/sec, 85 secs
lola: 3564086 markings, 9449409 edges, 38243 markings/sec, 90 secs
lola: 3767072 markings, 9946335 edges, 40597 markings/sec, 95 secs
lola: 3959547 markings, 10477144 edges, 38495 markings/sec, 100 secs
lola: 4146564 markings, 10968239 edges, 37403 markings/sec, 105 secs
lola: 4337581 markings, 11472288 edges, 38203 markings/sec, 110 secs
lola: 4534679 markings, 11969957 edges, 39420 markings/sec, 115 secs
lola: 4720167 markings, 12514733 edges, 37098 markings/sec, 120 secs
lola: 4910919 markings, 12987331 edges, 38150 markings/sec, 125 secs
lola: 5102429 markings, 13491030 edges, 38302 markings/sec, 130 secs
lola: 5285721 markings, 14011174 edges, 36658 markings/sec, 135 secs
lola: 5463733 markings, 14530499 edges, 35602 markings/sec, 140 secs
lola: 5633547 markings, 15182912 edges, 33963 markings/sec, 145 secs
lola: 5800396 markings, 15905018 edges, 33370 markings/sec, 150 secs
lola: 5968083 markings, 16697740 edges, 33537 markings/sec, 155 secs
lola: 6133000 markings, 17455787 edges, 32983 markings/sec, 160 secs
lola: 6297402 markings, 18160184 edges, 32880 markings/sec, 165 secs
lola: 6460139 markings, 18842146 edges, 32547 markings/sec, 170 secs
lola: 6621748 markings, 19514896 edges, 32322 markings/sec, 175 secs
lola: 6783786 markings, 20225136 edges, 32408 markings/sec, 180 secs
lola: 6946260 markings, 20891796 edges, 32495 markings/sec, 185 secs
lola: 7117235 markings, 21437160 edges, 34195 markings/sec, 190 secs
lola: 7277579 markings, 22114529 edges, 32069 markings/sec, 195 secs
lola: 7436830 markings, 22773957 edges, 31850 markings/sec, 200 secs
lola: 7595258 markings, 23425001 edges, 31686 markings/sec, 205 secs
lola: 7768523 markings, 23927973 edges, 34653 markings/sec, 210 secs
lola: 7942728 markings, 24507930 edges, 34841 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(p163)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 189743 markings, 588974 edges, 37949 markings/sec, 0 secs
lola: 386517 markings, 1119882 edges, 39355 markings/sec, 5 secs
lola: 565129 markings, 1630998 edges, 35722 markings/sec, 10 secs
lola: 743552 markings, 2242682 edges, 35685 markings/sec, 15 secs
lola: 918294 markings, 3224680 edges, 34948 markings/sec, 20 secs
lola: 1057650 markings, 4018914 edges, 27871 markings/sec, 25 secs
lola: 1220805 markings, 4844515 edges, 32631 markings/sec, 30 secs
lola: 1379294 markings, 5693331 edges, 31698 markings/sec, 35 secs
lola: 1558707 markings, 6396195 edges, 35883 markings/sec, 40 secs
lola: 1733933 markings, 7291791 edges, 35045 markings/sec, 45 secs
lola: 1904136 markings, 8138351 edges, 34041 markings/sec, 50 secs
lola: 2080583 markings, 8959410 edges, 35289 markings/sec, 55 secs
lola: 2257334 markings, 9794459 edges, 35350 markings/sec, 60 secs
lola: 2441241 markings, 10411788 edges, 36781 markings/sec, 65 secs
lola: 2630015 markings, 10968859 edges, 37755 markings/sec, 70 secs
lola: 2806300 markings, 11720969 edges, 35257 markings/sec, 75 secs
lola: 2960752 markings, 12685244 edges, 30890 markings/sec, 80 secs
lola: 3117882 markings, 13614911 edges, 31426 markings/sec, 85 secs
lola: 3295331 markings, 14344531 edges, 35490 markings/sec, 90 secs
lola: 3452947 markings, 15301434 edges, 31523 markings/sec, 95 secs
lola: 3622027 markings, 16109699 edges, 33816 markings/sec, 100 secs
lola: 3795055 markings, 16891259 edges, 34606 markings/sec, 105 secs
lola: 3958423 markings, 17869192 edges, 32674 markings/sec, 110 secs
lola: 4123760 markings, 18786353 edges, 33067 markings/sec, 115 secs
lola: 4298839 markings, 19650499 edges, 35016 markings/sec, 120 secs
lola: 4468115 markings, 20496747 edges, 33855 markings/sec, 125 secs
lola: 4633018 markings, 21399365 edges, 32981 markings/sec, 130 secs
lola: 4816906 markings, 22003756 edges, 36778 markings/sec, 135 secs
lola: 5006147 markings, 22577462 edges, 37848 markings/sec, 140 secs
lola: 5171031 markings, 23498833 edges, 32977 markings/sec, 145 secs
lola: 5329150 markings, 24413964 edges, 31624 markings/sec, 150 secs
lola: 5498519 markings, 25259410 edges, 33874 markings/sec, 155 secs
lola: 5661102 markings, 26188299 edges, 32517 markings/sec, 160 secs
lola: 5828988 markings, 27049420 edges, 33577 markings/sec, 165 secs
lola: 5993220 markings, 27965849 edges, 32846 markings/sec, 170 secs
lola: 6152715 markings, 29096602 edges, 31899 markings/sec, 175 secs
lola: 6310772 markings, 30111508 edges, 31611 markings/sec, 180 secs
lola: 6471242 markings, 31115417 edges, 32094 markings/sec, 185 secs
lola: 6629569 markings, 32129733 edges, 31665 markings/sec, 190 secs
lola: 6799354 markings, 33052537 edges, 33957 markings/sec, 195 secs
lola: 6964051 markings, 33898838 edges, 32939 markings/sec, 200 secs
lola: 7123342 markings, 34754669 edges, 31858 markings/sec, 205 secs
lola: 7283134 markings, 35817454 edges, 31958 markings/sec, 210 secs
lola: 7441879 markings, 36795787 edges, 31749 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(p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: ========================================
lola: subprocess 8 will run for 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 173878 markings, 417527 edges, 34776 markings/sec, 0 secs
lola: 355295 markings, 868556 edges, 36283 markings/sec, 5 secs
lola: 541318 markings, 1315734 edges, 37205 markings/sec, 10 secs
lola: 733249 markings, 1750696 edges, 38386 markings/sec, 15 secs
lola: 912562 markings, 2186570 edges, 35863 markings/sec, 20 secs
lola: 1081853 markings, 2664583 edges, 33858 markings/sec, 25 secs
lola: 1264270 markings, 3136621 edges, 36483 markings/sec, 30 secs
lola: 1456114 markings, 3604003 edges, 38369 markings/sec, 35 secs
lola: 1625485 markings, 4022610 edges, 33874 markings/sec, 40 secs
lola: 1794470 markings, 4448936 edges, 33797 markings/sec, 45 secs
lola: 1974044 markings, 4979898 edges, 35915 markings/sec, 50 secs
lola: 2144935 markings, 5521032 edges, 34178 markings/sec, 55 secs
lola: 2313814 markings, 6029139 edges, 33776 markings/sec, 60 secs
lola: 2498334 markings, 6489603 edges, 36904 markings/sec, 65 secs
lola: 2666668 markings, 6920215 edges, 33667 markings/sec, 70 secs
lola: 2840530 markings, 7353237 edges, 34772 markings/sec, 75 secs
lola: 2996672 markings, 7766828 edges, 31228 markings/sec, 80 secs
lola: 3173616 markings, 8246691 edges, 35389 markings/sec, 85 secs
lola: 3366515 markings, 8706573 edges, 38580 markings/sec, 90 secs
lola: 3527617 markings, 9095471 edges, 32220 markings/sec, 95 secs
lola: 3704937 markings, 9502800 edges, 35464 markings/sec, 100 secs
lola: 3873507 markings, 9913813 edges, 33714 markings/sec, 105 secs
lola: 4058988 markings, 10364079 edges, 37096 markings/sec, 110 secs
lola: 4229335 markings, 10813304 edges, 34069 markings/sec, 115 secs
lola: 4422477 markings, 11289807 edges, 38628 markings/sec, 120 secs
lola: 4605802 markings, 11814965 edges, 36665 markings/sec, 125 secs
lola: 4803547 markings, 12324214 edges, 39549 markings/sec, 130 secs
lola: 5000794 markings, 12788962 edges, 39449 markings/sec, 135 secs
lola: 5192162 markings, 13229309 edges, 38274 markings/sec, 140 secs
lola: 5386539 markings, 13674478 edges, 38875 markings/sec, 145 secs
lola: 5558541 markings, 14110508 edges, 34400 markings/sec, 150 secs
lola: 5728471 markings, 14591119 edges, 33986 markings/sec, 155 secs
lola: 5906563 markings, 15048956 edges, 35618 markings/sec, 160 secs
lola: 6098871 markings, 15486774 edges, 38462 markings/sec, 165 secs
lola: 6280980 markings, 15947475 edges, 36422 markings/sec, 170 secs
lola: 6458686 markings, 16365688 edges, 35541 markings/sec, 175 secs
lola: 6623269 markings, 16790944 edges, 32917 markings/sec, 180 secs
lola: 6788697 markings, 17268985 edges, 33086 markings/sec, 185 secs
lola: 6950305 markings, 17757212 edges, 32322 markings/sec, 190 secs
lola: 7115097 markings, 18256343 edges, 32958 markings/sec, 195 secs
lola: 7299327 markings, 18703841 edges, 36846 markings/sec, 200 secs
lola: 7480064 markings, 19173750 edges, 36147 markings/sec, 205 secs
lola: 7679530 markings, 19665291 edges, 39893 markings/sec, 210 secs
lola: 7874237 markings, 20136044 edges, 38941 markings/sec, 215 secs
lola: 8043967 markings, 20587558 edges, 33946 markings/sec, 220 secs
lola: 8234668 markings, 21080743 edges, 38140 markings/sec, 225 secs
lola: 8421650 markings, 21645031 edges, 37396 markings/sec, 230 secs
lola: 8588305 markings, 22158398 edges, 33331 markings/sec, 235 secs
lola: 8762657 markings, 22725329 edges, 34870 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p173)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 248356 markings, 1015537 edges, 49671 markings/sec, 0 secs
lola: 471732 markings, 2093003 edges, 44675 markings/sec, 5 secs
lola: 699530 markings, 3280371 edges, 45560 markings/sec, 10 secs
lola: 939302 markings, 4454535 edges, 47954 markings/sec, 15 secs
lola: 1181990 markings, 5639256 edges, 48538 markings/sec, 20 secs
lola: 1422895 markings, 6806364 edges, 48181 markings/sec, 25 secs
lola: 1665264 markings, 7963070 edges, 48474 markings/sec, 30 secs
lola: 1904864 markings, 9152678 edges, 47920 markings/sec, 35 secs
lola: 2135618 markings, 10339585 edges, 46151 markings/sec, 40 secs
lola: 2364637 markings, 11625051 edges, 45804 markings/sec, 45 secs
lola: 2592113 markings, 12876804 edges, 45495 markings/sec, 50 secs
lola: 2823732 markings, 14128204 edges, 46324 markings/sec, 55 secs
lola: 3053243 markings, 15441838 edges, 45902 markings/sec, 60 secs
lola: 3277992 markings, 16735411 edges, 44950 markings/sec, 65 secs
lola: 3493572 markings, 18091892 edges, 43116 markings/sec, 70 secs
lola: 3725240 markings, 19535653 edges, 46334 markings/sec, 75 secs
lola: 3962000 markings, 20763891 edges, 47352 markings/sec, 80 secs
lola: 4200367 markings, 21956115 edges, 47673 markings/sec, 85 secs
lola: 4434716 markings, 23317374 edges, 46870 markings/sec, 90 secs
lola: 4673127 markings, 24671792 edges, 47682 markings/sec, 95 secs
lola: 4906321 markings, 25892248 edges, 46639 markings/sec, 100 secs
lola: 5140914 markings, 27089184 edges, 46919 markings/sec, 105 secs
lola: 5366397 markings, 28379444 edges, 45097 markings/sec, 110 secs
lola: 5590159 markings, 29743967 edges, 44752 markings/sec, 115 secs
lola: 5821754 markings, 31073077 edges, 46319 markings/sec, 120 secs
lola: 6067290 markings, 32263861 edges, 49107 markings/sec, 125 secs
lola: 6283022 markings, 33431130 edges, 43146 markings/sec, 130 secs
lola: 6515288 markings, 34787579 edges, 46453 markings/sec, 135 secs
lola: 6752308 markings, 36103524 edges, 47404 markings/sec, 140 secs
lola: 6989596 markings, 37388335 edges, 47458 markings/sec, 145 secs
lola: 7220835 markings, 38610469 edges, 46248 markings/sec, 150 secs
lola: 7449529 markings, 39942186 edges, 45739 markings/sec, 155 secs
lola: 7679655 markings, 41264689 edges, 46025 markings/sec, 160 secs
lola: 7901739 markings, 42521397 edges, 44417 markings/sec, 165 secs
lola: 8138059 markings, 43752294 edges, 47264 markings/sec, 170 secs
lola: 8376715 markings, 44913446 edges, 47731 markings/sec, 175 secs
lola: 8605387 markings, 46179614 edges, 45734 markings/sec, 180 secs
lola: 8836879 markings, 47496463 edges, 46298 markings/sec, 185 secs
lola: 9069473 markings, 48784433 edges, 46519 markings/sec, 190 secs
lola: 9306758 markings, 50065754 edges, 47457 markings/sec, 195 secs
lola: 9546299 markings, 51253600 edges, 47908 markings/sec, 200 secs
lola: 9786169 markings, 52427710 edges, 47974 markings/sec, 205 secs
lola: 10016056 markings, 53703496 edges, 45977 markings/sec, 210 secs
lola: 10239607 markings, 54976875 edges, 44710 markings/sec, 215 secs
lola: 10474450 markings, 56273434 edges, 46969 markings/sec, 220 secs
lola: 10713422 markings, 57542191 edges, 47794 markings/sec, 225 secs
lola: 10948735 markings, 58803575 edges, 47063 markings/sec, 230 secs
lola: 11184253 markings, 60075301 edges, 47104 markings/sec, 235 secs
lola: 11408483 markings, 61265516 edges, 44846 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p90 + p89 + p88 + p87 + p91 + p92 + p93 + p94)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 232392 markings, 381216 edges, 46478 markings/sec, 0 secs
lola: 471343 markings, 780198 edges, 47790 markings/sec, 5 secs
lola: 701364 markings, 1278565 edges, 46004 markings/sec, 10 secs
lola: 930551 markings, 1781882 edges, 45837 markings/sec, 15 secs
lola: 1159708 markings, 2283731 edges, 45831 markings/sec, 20 secs
lola: 1388963 markings, 2786426 edges, 45851 markings/sec, 25 secs
lola: 1616862 markings, 3297208 edges, 45580 markings/sec, 30 secs
lola: 1834699 markings, 3922861 edges, 43567 markings/sec, 35 secs
lola: 2053194 markings, 4549320 edges, 43699 markings/sec, 40 secs
lola: 2271239 markings, 5172722 edges, 43609 markings/sec, 45 secs
lola: 2471141 markings, 5716941 edges, 39980 markings/sec, 50 secs
lola: 2663703 markings, 6342894 edges, 38512 markings/sec, 55 secs
lola: 2855761 markings, 6966635 edges, 38412 markings/sec, 60 secs
lola: 3045947 markings, 7596326 edges, 38037 markings/sec, 65 secs
lola: 3228961 markings, 8321762 edges, 36603 markings/sec, 70 secs
lola: 3409385 markings, 9082619 edges, 36085 markings/sec, 75 secs
lola: 3599384 markings, 9742967 edges, 38000 markings/sec, 80 secs
lola: 3790494 markings, 10374327 edges, 38222 markings/sec, 85 secs
lola: 3970411 markings, 11152337 edges, 35983 markings/sec, 90 secs
lola: 4150306 markings, 11937938 edges, 35979 markings/sec, 95 secs
lola: 4340944 markings, 12582266 edges, 38128 markings/sec, 100 secs
lola: 4530469 markings, 13229000 edges, 37905 markings/sec, 105 secs
lola: 4711086 markings, 14015097 edges, 36123 markings/sec, 110 secs
lola: 4893926 markings, 14764510 edges, 36568 markings/sec, 115 secs
lola: 5075742 markings, 15532882 edges, 36363 markings/sec, 120 secs
lola: 5255700 markings, 16339747 edges, 35992 markings/sec, 125 secs
lola: 5445318 markings, 16974167 edges, 37924 markings/sec, 130 secs
lola: 5638184 markings, 17488700 edges, 38573 markings/sec, 135 secs
lola: 5840944 markings, 18048194 edges, 40552 markings/sec, 140 secs
lola: 6033825 markings, 18590668 edges, 38576 markings/sec, 145 secs
lola: 6228314 markings, 19111094 edges, 38898 markings/sec, 150 secs
lola: 6431952 markings, 19695708 edges, 40728 markings/sec, 155 secs
lola: 6628171 markings, 20228473 edges, 39244 markings/sec, 160 secs
lola: 6818220 markings, 20770192 edges, 38010 markings/sec, 165 secs
lola: 7032079 markings, 21254063 edges, 42772 markings/sec, 170 secs
lola: 7256227 markings, 21807727 edges, 44830 markings/sec, 175 secs
lola: 7445441 markings, 22468973 edges, 37843 markings/sec, 180 secs
lola: 7627978 markings, 23204321 edges, 36507 markings/sec, 185 secs
lola: 7815511 markings, 23823887 edges, 37507 markings/sec, 190 secs
lola: 8005831 markings, 24346564 edges, 38064 markings/sec, 195 secs
lola: 8196342 markings, 24871308 edges, 38102 markings/sec, 200 secs
lola: 8397470 markings, 25430175 edges, 40226 markings/sec, 205 secs
lola: 8589561 markings, 25958946 edges, 38418 markings/sec, 210 secs
lola: 8781485 markings, 26480046 edges, 38385 markings/sec, 215 secs
lola: 8975897 markings, 27005526 edges, 38882 markings/sec, 220 secs
lola: 9184238 markings, 27575499 edges, 41668 markings/sec, 225 secs
lola: 9375533 markings, 28150928 edges, 38259 markings/sec, 230 secs
lola: 9567483 markings, 28667777 edges, 38390 markings/sec, 235 secs
lola: 9760746 markings, 29185302 edges, 38653 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p86)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 186035 markings, 464759 edges, 37207 markings/sec, 0 secs
lola: 383801 markings, 928641 edges, 39553 markings/sec, 5 secs
lola: 581422 markings, 1390091 edges, 39524 markings/sec, 10 secs
lola: 775094 markings, 1902638 edges, 38734 markings/sec, 15 secs
lola: 958840 markings, 2367906 edges, 36749 markings/sec, 20 secs
lola: 1153667 markings, 2858228 edges, 38965 markings/sec, 25 secs
lola: 1345012 markings, 3352237 edges, 38269 markings/sec, 30 secs
lola: 1530919 markings, 3894126 edges, 37181 markings/sec, 35 secs
lola: 1716230 markings, 4463226 edges, 37062 markings/sec, 40 secs
lola: 1891575 markings, 5129031 edges, 35069 markings/sec, 45 secs
lola: 2075389 markings, 5640401 edges, 36763 markings/sec, 50 secs
lola: 2264970 markings, 6057629 edges, 37916 markings/sec, 55 secs
lola: 2458489 markings, 6533118 edges, 38704 markings/sec, 60 secs
lola: 2649609 markings, 7029524 edges, 38224 markings/sec, 65 secs
lola: 2833962 markings, 7547279 edges, 36871 markings/sec, 70 secs
lola: 3029240 markings, 8026639 edges, 39056 markings/sec, 75 secs
lola: 3220784 markings, 8508964 edges, 38309 markings/sec, 80 secs
lola: 3392992 markings, 9024332 edges, 34442 markings/sec, 85 secs
lola: 3575372 markings, 9483701 edges, 36476 markings/sec, 90 secs
lola: 3771991 markings, 9960237 edges, 39324 markings/sec, 95 secs
lola: 3960061 markings, 10478295 edges, 37614 markings/sec, 100 secs
lola: 4142573 markings, 10957634 edges, 36502 markings/sec, 105 secs
lola: 4326879 markings, 11444853 edges, 36861 markings/sec, 110 secs
lola: 4517675 markings, 11924043 edges, 38159 markings/sec, 115 secs
lola: 4693317 markings, 12446551 edges, 35128 markings/sec, 120 secs
lola: 4875393 markings, 12900282 edges, 36415 markings/sec, 125 secs
lola: 5068958 markings, 13393090 edges, 38713 markings/sec, 130 secs
lola: 5252974 markings, 13900986 edges, 36803 markings/sec, 135 secs
lola: 5432082 markings, 14440103 edges, 35822 markings/sec, 140 secs
lola: 5607375 markings, 15043689 edges, 35059 markings/sec, 145 secs
lola: 5775706 markings, 15765813 edges, 33666 markings/sec, 150 secs
lola: 5942841 markings, 16574590 edges, 33427 markings/sec, 155 secs
lola: 6108079 markings, 17354398 edges, 33048 markings/sec, 160 secs
lola: 6274721 markings, 18046666 edges, 33328 markings/sec, 165 secs
lola: 6437403 markings, 18751805 edges, 32536 markings/sec, 170 secs
lola: 6602096 markings, 19435011 edges, 32939 markings/sec, 175 secs
lola: 6764301 markings, 20137594 edges, 32441 markings/sec, 180 secs
lola: 6927207 markings, 20815738 edges, 32581 markings/sec, 185 secs
lola: 7099630 markings, 21364297 edges, 34485 markings/sec, 190 secs
lola: 7260861 markings, 22042586 edges, 32246 markings/sec, 195 secs
lola: 7421493 markings, 22716158 edges, 32126 markings/sec, 200 secs
lola: 7580741 markings, 23372036 edges, 31850 markings/sec, 205 secs
lola: 7760212 markings, 23904475 edges, 35894 markings/sec, 210 secs
lola: 7936893 markings, 24477158 edges, 35336 markings/sec, 215 secs
lola: 8099883 markings, 25210887 edges, 32598 markings/sec, 220 secs
lola: 8262765 markings, 25990304 edges, 32576 markings/sec, 225 secs
lola: 8424832 markings, 26724361 edges, 32413 markings/sec, 230 secs
lola: 8585180 markings, 27395926 edges, 32070 markings/sec, 235 secs
lola: 8751573 markings, 28083693 edges, 33279 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 248 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 238334 markings, 488094 edges, 47667 markings/sec, 0 secs
lola: 499694 markings, 993543 edges, 52272 markings/sec, 5 secs
lola: 746137 markings, 1573195 edges, 49289 markings/sec, 10 secs
lola: 999638 markings, 2106974 edges, 50700 markings/sec, 15 secs
lola: 1257462 markings, 2636640 edges, 51565 markings/sec, 20 secs
lola: 1510025 markings, 3202128 edges, 50513 markings/sec, 25 secs
lola: 1766929 markings, 3739810 edges, 51381 markings/sec, 30 secs
lola: 2011576 markings, 4345790 edges, 48929 markings/sec, 35 secs
lola: 2257217 markings, 4963071 edges, 49128 markings/sec, 40 secs
lola: 2511113 markings, 5517990 edges, 50779 markings/sec, 45 secs
lola: 2750235 markings, 6204463 edges, 47824 markings/sec, 50 secs
lola: 2997888 markings, 6870894 edges, 49531 markings/sec, 55 secs
lola: 3237170 markings, 7596883 edges, 47856 markings/sec, 60 secs
lola: 3473159 markings, 8310857 edges, 47198 markings/sec, 65 secs
lola: 3711549 markings, 9026437 edges, 47678 markings/sec, 70 secs
lola: 3956916 markings, 9697456 edges, 49073 markings/sec, 75 secs
lola: 4201498 markings, 10385918 edges, 48916 markings/sec, 80 secs
lola: 4441437 markings, 11071265 edges, 47988 markings/sec, 85 secs
lola: 4683554 markings, 11739125 edges, 48423 markings/sec, 90 secs
lola: 4934306 markings, 12344314 edges, 50150 markings/sec, 95 secs
lola: 5169318 markings, 13049373 edges, 47002 markings/sec, 100 secs
lola: 5401153 markings, 13770073 edges, 46367 markings/sec, 105 secs
lola: 5638399 markings, 14489173 edges, 47449 markings/sec, 110 secs
lola: 5883437 markings, 15102436 edges, 49008 markings/sec, 115 secs
lola: 6119374 markings, 15915480 edges, 47187 markings/sec, 120 secs
lola: 6337136 markings, 16998028 edges, 43552 markings/sec, 125 secs
lola: 6543416 markings, 18185877 edges, 41256 markings/sec, 130 secs
lola: 6755795 markings, 19285464 edges, 42476 markings/sec, 135 secs
lola: 6970743 markings, 20341327 edges, 42990 markings/sec, 140 secs
lola: 7182215 markings, 21432706 edges, 42294 markings/sec, 145 secs
lola: 7405873 markings, 22403027 edges, 44732 markings/sec, 150 secs
lola: 7610173 markings, 23557459 edges, 40860 markings/sec, 155 secs
lola: 7821784 markings, 24624553 edges, 42322 markings/sec, 160 secs
lola: 8044342 markings, 25536870 edges, 44512 markings/sec, 165 secs
lola: 8283675 markings, 26276370 edges, 47867 markings/sec, 170 secs
lola: 8523572 markings, 26996062 edges, 47979 markings/sec, 175 secs
lola: 8756795 markings, 27783150 edges, 46645 markings/sec, 180 secs
lola: 8993504 markings, 28505520 edges, 47342 markings/sec, 185 secs
lola: 9218822 markings, 29330530 edges, 45064 markings/sec, 190 secs
lola: 9455254 markings, 30050191 edges, 47286 markings/sec, 195 secs
lola: 9692054 markings, 30808103 edges, 47360 markings/sec, 200 secs
lola: 9928442 markings, 31574436 edges, 47278 markings/sec, 205 secs
lola: 10169832 markings, 32310969 edges, 48278 markings/sec, 210 secs
lola: 10407845 markings, 33084474 edges, 47603 markings/sec, 215 secs
lola: 10635231 markings, 33943921 edges, 45477 markings/sec, 220 secs
lola: 10865420 markings, 34727532 edges, 46038 markings/sec, 225 secs
lola: 11099549 markings, 35504347 edges, 46826 markings/sec, 230 secs
lola: 11338823 markings, 36236740 edges, 47855 markings/sec, 235 secs
lola: 11576588 markings, 36967596 edges, 47553 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p172)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 260197 markings, 536546 edges, 52039 markings/sec, 0 secs
lola: 528637 markings, 1071862 edges, 53688 markings/sec, 5 secs
lola: 794408 markings, 1619392 edges, 53154 markings/sec, 10 secs
lola: 1056036 markings, 2313128 edges, 52326 markings/sec, 15 secs
lola: 1311593 markings, 3008344 edges, 51111 markings/sec, 20 secs
lola: 1571740 markings, 3659847 edges, 52029 markings/sec, 25 secs
lola: 1830435 markings, 4320226 edges, 51739 markings/sec, 30 secs
lola: 2079131 markings, 5213990 edges, 49739 markings/sec, 35 secs
lola: 2320023 markings, 6368801 edges, 48178 markings/sec, 40 secs
lola: 2565158 markings, 7443583 edges, 49027 markings/sec, 45 secs
lola: 2814568 markings, 8274548 edges, 49882 markings/sec, 50 secs
lola: 3066903 markings, 8973107 edges, 50467 markings/sec, 55 secs
lola: 3312259 markings, 9726847 edges, 49071 markings/sec, 60 secs
lola: 3564449 markings, 10536712 edges, 50438 markings/sec, 65 secs
lola: 3814148 markings, 11293859 edges, 49940 markings/sec, 70 secs
lola: 4068090 markings, 12073455 edges, 50788 markings/sec, 75 secs
lola: 4320611 markings, 12830521 edges, 50504 markings/sec, 80 secs
lola: 4572229 markings, 13586844 edges, 50324 markings/sec, 85 secs
lola: 4822940 markings, 14295103 edges, 50142 markings/sec, 90 secs
lola: 5061051 markings, 15260166 edges, 47622 markings/sec, 95 secs
lola: 5294810 markings, 16585457 edges, 46752 markings/sec, 100 secs
lola: 5528277 markings, 17857196 edges, 46693 markings/sec, 105 secs
lola: 5758878 markings, 19119946 edges, 46120 markings/sec, 110 secs
lola: 5984703 markings, 20270662 edges, 45165 markings/sec, 115 secs
lola: 6222963 markings, 21460132 edges, 47652 markings/sec, 120 secs
lola: 6458977 markings, 22529752 edges, 47203 markings/sec, 125 secs
lola: 6692275 markings, 23840722 edges, 46660 markings/sec, 130 secs
lola: 6920472 markings, 25200293 edges, 45639 markings/sec, 135 secs
lola: 7153530 markings, 26516016 edges, 46612 markings/sec, 140 secs
lola: 7379965 markings, 27737633 edges, 45287 markings/sec, 145 secs
lola: 7598279 markings, 28847267 edges, 43663 markings/sec, 150 secs
lola: 7812531 markings, 29900829 edges, 42850 markings/sec, 155 secs
lola: 8024662 markings, 30959661 edges, 42426 markings/sec, 160 secs
lola: 8235591 markings, 32016773 edges, 42186 markings/sec, 165 secs
lola: 8446272 markings, 33082003 edges, 42136 markings/sec, 170 secs
lola: 8658189 markings, 34161990 edges, 42383 markings/sec, 175 secs
lola: 8860030 markings, 35315307 edges, 40368 markings/sec, 180 secs
lola: 9059698 markings, 36476797 edges, 39934 markings/sec, 185 secs
lola: 9257007 markings, 37640006 edges, 39462 markings/sec, 190 secs
lola: 9456326 markings, 38805833 edges, 39864 markings/sec, 195 secs
lola: 9659430 markings, 39946505 edges, 40621 markings/sec, 200 secs
lola: 9863985 markings, 41075162 edges, 40911 markings/sec, 205 secs
lola: 10067344 markings, 42252389 edges, 40672 markings/sec, 210 secs
lola: 10262108 markings, 43515167 edges, 38953 markings/sec, 215 secs
lola: 10454152 markings, 44777148 edges, 38409 markings/sec, 220 secs
lola: 10646313 markings, 46042840 edges, 38432 markings/sec, 225 secs
lola: 10839357 markings, 47304605 edges, 38609 markings/sec, 230 secs
lola: 11038175 markings, 48488698 edges, 39764 markings/sec, 235 secs
lola: 11229370 markings, 49709030 edges, 38239 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 187823 markings, 469767 edges, 37565 markings/sec, 0 secs
lola: 386815 markings, 936197 edges, 39798 markings/sec, 5 secs
lola: 585075 markings, 1400102 edges, 39652 markings/sec, 10 secs
lola: 780123 markings, 1915089 edges, 39010 markings/sec, 15 secs
lola: 977369 markings, 2415768 edges, 39449 markings/sec, 20 secs
lola: 1175377 markings, 2913204 edges, 39602 markings/sec, 25 secs
lola: 1367847 markings, 3411392 edges, 38494 markings/sec, 30 secs
lola: 1555619 markings, 3968037 edges, 37554 markings/sec, 35 secs
lola: 1740059 markings, 4558662 edges, 36888 markings/sec, 40 secs
lola: 1917782 markings, 5211671 edges, 35545 markings/sec, 45 secs
lola: 2105183 markings, 5700412 edges, 37480 markings/sec, 50 secs
lola: 2296739 markings, 6130601 edges, 38311 markings/sec, 55 secs
lola: 2490831 markings, 6614642 edges, 38818 markings/sec, 60 secs
lola: 2681566 markings, 7125439 edges, 38147 markings/sec, 65 secs
lola: 2869778 markings, 7635355 edges, 37642 markings/sec, 70 secs
lola: 3066435 markings, 8124048 edges, 39331 markings/sec, 75 secs
lola: 3257700 markings, 8612396 edges, 38253 markings/sec, 80 secs
lola: 3443909 markings, 9141976 edges, 37242 markings/sec, 85 secs
lola: 3640982 markings, 9640081 edges, 39415 markings/sec, 90 secs
lola: 3843150 markings, 10145196 edges, 40434 markings/sec, 95 secs
lola: 4031580 markings, 10700913 edges, 37686 markings/sec, 100 secs
lola: 4224568 markings, 11174467 edges, 38598 markings/sec, 105 secs
lola: 4420906 markings, 11679102 edges, 39268 markings/sec, 110 secs
lola: 4617295 markings, 12194583 edges, 39278 markings/sec, 115 secs
lola: 4804603 markings, 12714287 edges, 37462 markings/sec, 120 secs
lola: 4996416 markings, 13210577 edges, 38363 markings/sec, 125 secs
lola: 5189306 markings, 13712846 edges, 38578 markings/sec, 130 secs
lola: 5368569 markings, 14256758 edges, 35853 markings/sec, 135 secs
lola: 5546811 markings, 14767864 edges, 35648 markings/sec, 140 secs
lola: 5712643 markings, 15543271 edges, 33166 markings/sec, 145 secs
lola: 5882594 markings, 16282535 edges, 33990 markings/sec, 150 secs
lola: 6049108 markings, 17087072 edges, 33303 markings/sec, 155 secs
lola: 6215446 markings, 17803055 edges, 33268 markings/sec, 160 secs
lola: 6378481 markings, 18517195 edges, 32607 markings/sec, 165 secs
lola: 6542155 markings, 19188345 edges, 32735 markings/sec, 170 secs
lola: 6705045 markings, 19873377 edges, 32578 markings/sec, 175 secs
lola: 6868162 markings, 20568332 edges, 32623 markings/sec, 180 secs
lola: 7037355 markings, 21157981 edges, 33839 markings/sec, 185 secs
lola: 7202088 markings, 21791613 edges, 32947 markings/sec, 190 secs
lola: 7362609 markings, 22467982 edges, 32104 markings/sec, 195 secs
lola: 7521101 markings, 23103447 edges, 31698 markings/sec, 200 secs
lola: 7691394 markings, 23684822 edges, 34059 markings/sec, 205 secs
lola: 7867724 markings, 24213760 edges, 35266 markings/sec, 210 secs
lola: 8031874 markings, 24918738 edges, 32830 markings/sec, 215 secs
lola: 8197043 markings, 25668462 edges, 33034 markings/sec, 220 secs
lola: 8357738 markings, 26432612 edges, 32139 markings/sec, 225 secs
lola: 8517070 markings, 27111811 edges, 31866 markings/sec, 230 secs
lola: 8678821 markings, 27797769 edges, 32350 markings/sec, 235 secs
lola: 8846703 markings, 28493245 edges, 33576 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p84 + p83 + p82 + p81 + p80 + p79 + p78 + p85)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 659174 markings, 2411834 edges, 131835 markings/sec, 0 secs
lola: 1308525 markings, 4946477 edges, 129870 markings/sec, 5 secs
lola: 1939014 markings, 7484483 edges, 126098 markings/sec, 10 secs
lola: 2557329 markings, 10013958 edges, 123663 markings/sec, 15 secs
lola: 3227859 markings, 12526671 edges, 134106 markings/sec, 20 secs
lola: 3880814 markings, 15082567 edges, 130591 markings/sec, 25 secs
lola: 4519003 markings, 17635901 edges, 127638 markings/sec, 30 secs
lola: 5113716 markings, 20227842 edges, 118943 markings/sec, 35 secs
lola: 5655362 markings, 22789039 edges, 108329 markings/sec, 40 secs
lola: 6193772 markings, 25396485 edges, 107682 markings/sec, 45 secs
lola: 6783477 markings, 28010534 edges, 117941 markings/sec, 50 secs
lola: 7347629 markings, 30609584 edges, 112830 markings/sec, 55 secs
lola: 7895895 markings, 33136282 edges, 109653 markings/sec, 60 secs
lola: 8528521 markings, 35687711 edges, 126525 markings/sec, 65 secs
lola: 9185752 markings, 38211742 edges, 131446 markings/sec, 70 secs
lola: 9823688 markings, 40758683 edges, 127587 markings/sec, 75 secs
lola: 10391300 markings, 43176609 edges, 113522 markings/sec, 80 secs
lola: 10902278 markings, 45573603 edges, 102196 markings/sec, 85 secs
lola: 11407584 markings, 48010458 edges, 101061 markings/sec, 90 secs
lola: 11934850 markings, 50487743 edges, 105453 markings/sec, 95 secs
lola: 12501727 markings, 53054191 edges, 113375 markings/sec, 100 secs
lola: 13073747 markings, 55535622 edges, 114404 markings/sec, 105 secs
lola: 13609676 markings, 58071244 edges, 107186 markings/sec, 110 secs
lola: 14280935 markings, 60565286 edges, 134252 markings/sec, 115 secs
lola: 14927101 markings, 63083109 edges, 129233 markings/sec, 120 secs
lola: 15552086 markings, 65611370 edges, 124997 markings/sec, 125 secs
lola: 16113765 markings, 68199534 edges, 112336 markings/sec, 130 secs
lola: 16655896 markings, 70778408 edges, 108426 markings/sec, 135 secs
lola: 17177107 markings, 73336421 edges, 104242 markings/sec, 140 secs
lola: 17709859 markings, 75739157 edges, 106550 markings/sec, 145 secs
lola: 18216628 markings, 78133941 edges, 101354 markings/sec, 150 secs
lola: 18721627 markings, 80571712 edges, 101000 markings/sec, 155 secs
lola: 19188328 markings, 83022492 edges, 93340 markings/sec, 160 secs
lola: 19585483 markings, 85479318 edges, 79431 markings/sec, 165 secs
lola: 19974587 markings, 87974207 edges, 77821 markings/sec, 170 secs
lola: 20365391 markings, 90531818 edges, 78161 markings/sec, 175 secs
lola: 20749682 markings, 93064386 edges, 76858 markings/sec, 180 secs
lola: 21330260 markings, 95658408 edges, 116116 markings/sec, 185 secs
lola: 21848555 markings, 98232066 edges, 103659 markings/sec, 190 secs
lola: 22266530 markings, 100838357 edges, 83595 markings/sec, 195 secs
lola: 22819026 markings, 103304835 edges, 110499 markings/sec, 200 secs
lola: 23322228 markings, 105799356 edges, 100640 markings/sec, 205 secs
lola: 23745989 markings, 108360690 edges, 84752 markings/sec, 210 secs
lola: 24206880 markings, 110975924 edges, 92178 markings/sec, 215 secs
lola: 24848793 markings, 113464388 edges, 128383 markings/sec, 220 secs
lola: 25457623 markings, 115854937 edges, 121766 markings/sec, 225 secs
lola: 26058137 markings, 118254213 edges, 120103 markings/sec, 230 secs
lola: 26624439 markings, 120694115 edges, 113260 markings/sec, 235 secs
lola: 27139894 markings, 123132800 edges, 103091 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 40 unknown unknown unknown unknown unknown unknown unknown
FORMULA PermAdmissibility-COL-20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-7 40 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494656633457
--------------------
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="PermAdmissibility-COL-20"
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/PermAdmissibility-COL-20.tgz
mv PermAdmissibility-COL-20 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 PermAdmissibility-COL-20, 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 r038-blw7-149440485000380"
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 ;