About the Execution of LoLA for TCPcondis-PT-25
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4756.860 | 3540187.00 | 3555371.00 | 800.20 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 TCPcondis-PT-25, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008500209
=====================================================================
--------------------
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 TCPcondis-PT-25-UpperBounds-0
FORMULA_NAME TCPcondis-PT-25-UpperBounds-1
FORMULA_NAME TCPcondis-PT-25-UpperBounds-10
FORMULA_NAME TCPcondis-PT-25-UpperBounds-11
FORMULA_NAME TCPcondis-PT-25-UpperBounds-12
FORMULA_NAME TCPcondis-PT-25-UpperBounds-13
FORMULA_NAME TCPcondis-PT-25-UpperBounds-14
FORMULA_NAME TCPcondis-PT-25-UpperBounds-15
FORMULA_NAME TCPcondis-PT-25-UpperBounds-2
FORMULA_NAME TCPcondis-PT-25-UpperBounds-3
FORMULA_NAME TCPcondis-PT-25-UpperBounds-4
FORMULA_NAME TCPcondis-PT-25-UpperBounds-5
FORMULA_NAME TCPcondis-PT-25-UpperBounds-6
FORMULA_NAME TCPcondis-PT-25-UpperBounds-7
FORMULA_NAME TCPcondis-PT-25-UpperBounds-8
FORMULA_NAME TCPcondis-PT-25-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494936252687
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ TCPcondis-PT-25 @ 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: 62/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 30 places, 32 transitions, 21 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 48 transition conflict sets
lola: TASK
lola: reading formula from TCPcondis-PT-25-UpperBounds.task
lola: MAX(xCLOSEWAIT) : MAX(xSYNSENT) : MAX(xFINWAIT1) : MAX(xSYNACK) : MAX(xCLOSEWAIT) : MAX(xFIN) : MAX(FIN) : MAX(xFINWAIT1) : MAX(xSYNSENT) : MAX(LISTEN) : MAX(LASTACK) : MAX(LISTEN) : MAX(SYNRCVD) : MAX(FINWAIT1) : MAX(FINWAIT1) : MAX(CLOSED)
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(xCLOSEWAIT)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1186583 markings, 2277370 edges, 237317 markings/sec, 0 secs
lola: 2217451 markings, 4326483 edges, 206174 markings/sec, 5 secs
lola: 3155612 markings, 6208480 edges, 187632 markings/sec, 10 secs
lola: 4092188 markings, 8104573 edges, 187315 markings/sec, 15 secs
lola: 4987759 markings, 9927918 edges, 179114 markings/sec, 20 secs
lola: 5861343 markings, 11715798 edges, 174717 markings/sec, 25 secs
lola: 6724399 markings, 13479577 edges, 172611 markings/sec, 30 secs
lola: 7539962 markings, 15153087 edges, 163113 markings/sec, 35 secs
lola: 8365281 markings, 16853402 edges, 165064 markings/sec, 40 secs
lola: 9182399 markings, 18532578 edges, 163424 markings/sec, 45 secs
lola: 9987229 markings, 20189578 edges, 160966 markings/sec, 50 secs
lola: 10784008 markings, 21834643 edges, 159356 markings/sec, 55 secs
lola: 11572317 markings, 23463395 edges, 157662 markings/sec, 60 secs
lola: 12340858 markings, 25061277 edges, 153708 markings/sec, 65 secs
lola: 13105535 markings, 26651652 edges, 152935 markings/sec, 70 secs
lola: 13868472 markings, 28235202 edges, 152587 markings/sec, 75 secs
lola: 14614711 markings, 29786753 edges, 149248 markings/sec, 80 secs
lola: 15355082 markings, 31326440 edges, 148074 markings/sec, 85 secs
lola: 16061533 markings, 32800302 edges, 141290 markings/sec, 90 secs
lola: 16807255 markings, 34354413 edges, 149144 markings/sec, 95 secs
lola: 17551709 markings, 35907923 edges, 148891 markings/sec, 100 secs
lola: 18293164 markings, 37455585 edges, 148291 markings/sec, 105 secs
lola: 19030564 markings, 38992811 edges, 147480 markings/sec, 110 secs
lola: 19763904 markings, 40527394 edges, 146668 markings/sec, 115 secs
lola: 20494264 markings, 42056450 edges, 146072 markings/sec, 120 secs
lola: 21225460 markings, 43585392 edges, 146239 markings/sec, 125 secs
lola: 21955995 markings, 45109317 edges, 146107 markings/sec, 130 secs
lola: 22681162 markings, 46627384 edges, 145033 markings/sec, 135 secs
lola: 23399763 markings, 48134099 edges, 143720 markings/sec, 140 secs
lola: 24120056 markings, 49645166 edges, 144059 markings/sec, 145 secs
lola: 24837860 markings, 51145667 edges, 143561 markings/sec, 150 secs
lola: 25547737 markings, 52639318 edges, 141975 markings/sec, 155 secs
lola: 26253893 markings, 54122940 edges, 141231 markings/sec, 160 secs
lola: 26964076 markings, 55613637 edges, 142037 markings/sec, 165 secs
lola: 27668338 markings, 57094226 edges, 140852 markings/sec, 170 secs
lola: 28369198 markings, 58567550 edges, 140172 markings/sec, 175 secs
lola: 29063523 markings, 60035570 edges, 138865 markings/sec, 180 secs
lola: 29755222 markings, 61501770 edges, 138340 markings/sec, 185 secs
lola: 30453076 markings, 62968992 edges, 139571 markings/sec, 190 secs
lola: 31150117 markings, 64433401 edges, 139408 markings/sec, 195 secs
lola: 31844112 markings, 65894145 edges, 138799 markings/sec, 200 secs
lola: 32535831 markings, 67352224 edges, 138344 markings/sec, 205 secs
lola: 33220340 markings, 68801951 edges, 136902 markings/sec, 210 secs
lola: 33899801 markings, 70235461 edges, 135892 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(xSYNSENT)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1002138 markings, 2410695 edges, 200428 markings/sec, 0 secs
lola: 1840661 markings, 4593594 edges, 167705 markings/sec, 5 secs
lola: 2619424 markings, 6680351 edges, 155753 markings/sec, 10 secs
lola: 3368005 markings, 8713953 edges, 149716 markings/sec, 15 secs
lola: 4090793 markings, 10697693 edges, 144558 markings/sec, 20 secs
lola: 4800212 markings, 12645936 edges, 141884 markings/sec, 25 secs
lola: 5492508 markings, 14558696 edges, 138459 markings/sec, 30 secs
lola: 6164732 markings, 16460039 edges, 134445 markings/sec, 35 secs
lola: 6831859 markings, 18331791 edges, 133425 markings/sec, 40 secs
lola: 7489969 markings, 20171525 edges, 131622 markings/sec, 45 secs
lola: 8135851 markings, 22007626 edges, 129176 markings/sec, 50 secs
lola: 8776278 markings, 23811130 edges, 128085 markings/sec, 55 secs
lola: 9403128 markings, 25600937 edges, 125370 markings/sec, 60 secs
lola: 10018429 markings, 27372642 edges, 123060 markings/sec, 65 secs
lola: 10629848 markings, 29135602 edges, 122284 markings/sec, 70 secs
lola: 11250712 markings, 30910763 edges, 124173 markings/sec, 75 secs
lola: 11862715 markings, 32669046 edges, 122401 markings/sec, 80 secs
lola: 12456538 markings, 34397868 edges, 118765 markings/sec, 85 secs
lola: 13052044 markings, 36118234 edges, 119101 markings/sec, 90 secs
lola: 13645223 markings, 37842078 edges, 118636 markings/sec, 95 secs
lola: 14239365 markings, 39568544 edges, 118828 markings/sec, 100 secs
lola: 14823590 markings, 41270716 edges, 116845 markings/sec, 105 secs
lola: 15401372 markings, 42957133 edges, 115556 markings/sec, 110 secs
lola: 15975954 markings, 44640227 edges, 114916 markings/sec, 115 secs
lola: 16546474 markings, 46325628 edges, 114104 markings/sec, 120 secs
lola: 17117258 markings, 47987154 edges, 114157 markings/sec, 125 secs
lola: 17680634 markings, 49658475 edges, 112675 markings/sec, 130 secs
lola: 18240293 markings, 51313005 edges, 111932 markings/sec, 135 secs
lola: 18802177 markings, 52958297 edges, 112377 markings/sec, 140 secs
lola: 19360017 markings, 54597496 edges, 111568 markings/sec, 145 secs
lola: 19911189 markings, 56230804 edges, 110234 markings/sec, 150 secs
lola: 20462524 markings, 57865929 edges, 110267 markings/sec, 155 secs
lola: 21022237 markings, 59507129 edges, 111943 markings/sec, 160 secs
lola: 21572477 markings, 61145719 edges, 110048 markings/sec, 165 secs
lola: 22119389 markings, 62775111 edges, 109382 markings/sec, 170 secs
lola: 22668179 markings, 64404250 edges, 109758 markings/sec, 175 secs
lola: 23211492 markings, 66028838 edges, 108663 markings/sec, 180 secs
lola: 23761460 markings, 67643444 edges, 109994 markings/sec, 185 secs
lola: 24303946 markings, 69262419 edges, 108497 markings/sec, 190 secs
lola: 24842874 markings, 70878064 edges, 107786 markings/sec, 195 secs
lola: 25380275 markings, 72496266 edges, 107480 markings/sec, 200 secs
lola: 25913548 markings, 74094836 edges, 106655 markings/sec, 205 secs
lola: 26449465 markings, 75693345 edges, 107183 markings/sec, 210 secs
lola: 26981717 markings, 77281209 edges, 106450 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(xFINWAIT1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1160970 markings, 2300781 edges, 232194 markings/sec, 0 secs
lola: 2191558 markings, 4386960 edges, 206118 markings/sec, 5 secs
lola: 3164486 markings, 6367098 edges, 194586 markings/sec, 10 secs
lola: 4096702 markings, 8278654 edges, 186443 markings/sec, 15 secs
lola: 5008834 markings, 10155134 edges, 182426 markings/sec, 20 secs
lola: 5899429 markings, 11989101 edges, 178119 markings/sec, 25 secs
lola: 6769128 markings, 13786330 edges, 173940 markings/sec, 30 secs
lola: 7617580 markings, 15546809 edges, 169690 markings/sec, 35 secs
lola: 8457514 markings, 17291829 edges, 167987 markings/sec, 40 secs
lola: 9291647 markings, 19022920 edges, 166827 markings/sec, 45 secs
lola: 10113177 markings, 20734971 edges, 164306 markings/sec, 50 secs
lola: 10943402 markings, 22468187 edges, 166045 markings/sec, 55 secs
lola: 11786160 markings, 24221042 edges, 168552 markings/sec, 60 secs
lola: 12621691 markings, 25960233 edges, 167106 markings/sec, 65 secs
lola: 13449264 markings, 27688359 edges, 165515 markings/sec, 70 secs
lola: 14273124 markings, 29413487 edges, 164772 markings/sec, 75 secs
lola: 15095418 markings, 31132191 edges, 164459 markings/sec, 80 secs
lola: 15910631 markings, 32837312 edges, 163043 markings/sec, 85 secs
lola: 16722222 markings, 34534414 edges, 162318 markings/sec, 90 secs
lola: 17524436 markings, 36212932 edges, 160443 markings/sec, 95 secs
lola: 18306074 markings, 37851248 edges, 156328 markings/sec, 100 secs
lola: 19087144 markings, 39486027 edges, 156214 markings/sec, 105 secs
lola: 19861040 markings, 41111129 edges, 154779 markings/sec, 110 secs
lola: 20635615 markings, 42736908 edges, 154915 markings/sec, 115 secs
lola: 21406673 markings, 44356655 edges, 154212 markings/sec, 120 secs
lola: 22173537 markings, 45972772 edges, 153373 markings/sec, 125 secs
lola: 22937587 markings, 47583874 edges, 152810 markings/sec, 130 secs
lola: 23701542 markings, 49190803 edges, 152791 markings/sec, 135 secs
lola: 24464857 markings, 50798836 edges, 152663 markings/sec, 140 secs
lola: 25222312 markings, 52400061 edges, 151491 markings/sec, 145 secs
lola: 25981804 markings, 54005500 edges, 151898 markings/sec, 150 secs
lola: 26740695 markings, 55604234 edges, 151778 markings/sec, 155 secs
lola: 27495393 markings, 57198199 edges, 150940 markings/sec, 160 secs
lola: 28250559 markings, 58789869 edges, 151033 markings/sec, 165 secs
lola: 29001174 markings, 60379235 edges, 150123 markings/sec, 170 secs
lola: 29751076 markings, 61965812 edges, 149980 markings/sec, 175 secs
lola: 30498306 markings, 63547436 edges, 149446 markings/sec, 180 secs
lola: 31242142 markings, 65125325 edges, 148767 markings/sec, 185 secs
lola: 31983705 markings, 66699615 edges, 148313 markings/sec, 190 secs
lola: 32717851 markings, 68259048 edges, 146829 markings/sec, 195 secs
lola: 33448285 markings, 69814080 edges, 146087 markings/sec, 200 secs
lola: 34180440 markings, 71372381 edges, 146431 markings/sec, 205 secs
lola: 34908916 markings, 72921992 edges, 145695 markings/sec, 210 secs
lola: 35643162 markings, 74481072 edges, 146849 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(xSYNACK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1050397 markings, 2632138 edges, 210079 markings/sec, 0 secs
lola: 1964062 markings, 5042289 edges, 182733 markings/sec, 5 secs
lola: 2828948 markings, 7364866 edges, 172977 markings/sec, 10 secs
lola: 3658493 markings, 9611828 edges, 165909 markings/sec, 15 secs
lola: 4467829 markings, 11811294 edges, 161867 markings/sec, 20 secs
lola: 5259105 markings, 13969674 edges, 158255 markings/sec, 25 secs
lola: 6050968 markings, 16126331 edges, 158373 markings/sec, 30 secs
lola: 6836163 markings, 18274908 edges, 157039 markings/sec, 35 secs
lola: 7605110 markings, 20394839 edges, 153789 markings/sec, 40 secs
lola: 8358463 markings, 22472520 edges, 150671 markings/sec, 45 secs
lola: 9101967 markings, 24515687 edges, 148701 markings/sec, 50 secs
lola: 9835615 markings, 26542144 edges, 146730 markings/sec, 55 secs
lola: 10566569 markings, 28563203 edges, 146191 markings/sec, 60 secs
lola: 11289903 markings, 30567341 edges, 144667 markings/sec, 65 secs
lola: 12006531 markings, 32556773 edges, 143326 markings/sec, 70 secs
lola: 12714142 markings, 34531838 edges, 141522 markings/sec, 75 secs
lola: 13419417 markings, 36498886 edges, 141055 markings/sec, 80 secs
lola: 14119224 markings, 38457638 edges, 139961 markings/sec, 85 secs
lola: 14815450 markings, 40405440 edges, 139245 markings/sec, 90 secs
lola: 15506746 markings, 42344463 edges, 138259 markings/sec, 95 secs
lola: 16192904 markings, 44267198 edges, 137232 markings/sec, 100 secs
lola: 16867777 markings, 46180847 edges, 134975 markings/sec, 105 secs
lola: 17542267 markings, 48088993 edges, 134898 markings/sec, 110 secs
lola: 18215183 markings, 49999477 edges, 134583 markings/sec, 115 secs
lola: 18881281 markings, 51906935 edges, 133220 markings/sec, 120 secs
lola: 19547327 markings, 53814634 edges, 133209 markings/sec, 125 secs
lola: 20211192 markings, 55715330 edges, 132773 markings/sec, 130 secs
lola: 20865977 markings, 57603386 edges, 130957 markings/sec, 135 secs
lola: 21518103 markings, 59485586 edges, 130425 markings/sec, 140 secs
lola: 22165234 markings, 61355788 edges, 129426 markings/sec, 145 secs
lola: 22805322 markings, 63216926 edges, 128018 markings/sec, 150 secs
lola: 23440737 markings, 65071327 edges, 127083 markings/sec, 155 secs
lola: 24072619 markings, 66920647 edges, 126376 markings/sec, 160 secs
lola: 24697589 markings, 68762753 edges, 124994 markings/sec, 165 secs
lola: 25320928 markings, 70599663 edges, 124668 markings/sec, 170 secs
lola: 25943778 markings, 72436952 edges, 124570 markings/sec, 175 secs
lola: 26560042 markings, 74268675 edges, 123253 markings/sec, 180 secs
lola: 27171637 markings, 76089186 edges, 122319 markings/sec, 185 secs
lola: 27785283 markings, 77913038 edges, 122729 markings/sec, 190 secs
lola: 28397093 markings, 79731161 edges, 122362 markings/sec, 195 secs
lola: 29000547 markings, 81531345 edges, 120691 markings/sec, 200 secs
lola: 29603228 markings, 83336012 edges, 120536 markings/sec, 205 secs
lola: 30202337 markings, 85139883 edges, 119822 markings/sec, 210 secs
lola: 30794819 markings, 86929451 edges, 118496 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(xCLOSEWAIT)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1199426 markings, 2302755 edges, 239885 markings/sec, 0 secs
lola: 2230738 markings, 4353161 edges, 206262 markings/sec, 5 secs
lola: 3218502 markings, 6334463 edges, 197553 markings/sec, 10 secs
lola: 4171459 markings, 8265038 edges, 190591 markings/sec, 15 secs
lola: 5100370 markings, 10157183 edges, 185782 markings/sec, 20 secs
lola: 6003995 markings, 12005600 edges, 180725 markings/sec, 25 secs
lola: 6902599 markings, 13845255 edges, 179721 markings/sec, 30 secs
lola: 7782853 markings, 15652679 edges, 176051 markings/sec, 35 secs
lola: 8639066 markings, 17414811 edges, 171243 markings/sec, 40 secs
lola: 9490971 markings, 19165395 edges, 170381 markings/sec, 45 secs
lola: 10331910 markings, 20900058 edges, 168188 markings/sec, 50 secs
lola: 11161721 markings, 22614714 edges, 165962 markings/sec, 55 secs
lola: 11984526 markings, 24316323 edges, 164561 markings/sec, 60 secs
lola: 12793889 markings, 26003214 edges, 161873 markings/sec, 65 secs
lola: 13605608 markings, 27687794 edges, 162344 markings/sec, 70 secs
lola: 14406038 markings, 29353419 edges, 160086 markings/sec, 75 secs
lola: 15204267 markings, 31013964 edges, 159646 markings/sec, 80 secs
lola: 15996190 markings, 32664313 edges, 158385 markings/sec, 85 secs
lola: 16779111 markings, 34296735 edges, 156584 markings/sec, 90 secs
lola: 17552740 markings, 35910266 edges, 154726 markings/sec, 95 secs
lola: 18323805 markings, 37519486 edges, 154213 markings/sec, 100 secs
lola: 19094246 markings, 39125171 edges, 154088 markings/sec, 105 secs
lola: 19860153 markings, 40729225 edges, 153181 markings/sec, 110 secs
lola: 20625447 markings, 42331051 edges, 153059 markings/sec, 115 secs
lola: 21386558 markings, 43920697 edges, 152222 markings/sec, 120 secs
lola: 22142162 markings, 45498438 edges, 151121 markings/sec, 125 secs
lola: 22889433 markings, 47064123 edges, 149454 markings/sec, 130 secs
lola: 23635346 markings, 48628136 edges, 149183 markings/sec, 135 secs
lola: 24381719 markings, 50190416 edges, 149275 markings/sec, 140 secs
lola: 25123075 markings, 51744600 edges, 148271 markings/sec, 145 secs
lola: 25860838 markings, 53296668 edges, 147553 markings/sec, 150 secs
lola: 26596263 markings, 54839680 edges, 147085 markings/sec, 155 secs
lola: 27332170 markings, 56388057 edges, 147181 markings/sec, 160 secs
lola: 28067097 markings, 57929110 edges, 146985 markings/sec, 165 secs
lola: 28792473 markings, 59459670 edges, 145075 markings/sec, 170 secs
lola: 29512360 markings, 60984908 edges, 143977 markings/sec, 175 secs
lola: 30235517 markings, 62510545 edges, 144631 markings/sec, 180 secs
lola: 30959711 markings, 64032894 edges, 144839 markings/sec, 185 secs
lola: 31678959 markings, 65550405 edges, 143850 markings/sec, 190 secs
lola: 32401780 markings, 67069142 edges, 144564 markings/sec, 195 secs
lola: 33116677 markings, 68580550 edges, 142979 markings/sec, 200 secs
lola: 33827499 markings, 70082985 edges, 142164 markings/sec, 205 secs
lola: 34542108 markings, 71593776 edges, 142922 markings/sec, 210 secs
lola: 35256690 markings, 73105576 edges, 142916 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(xFIN)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1088197 markings, 2358113 edges, 217639 markings/sec, 0 secs
lola: 2039925 markings, 4493451 edges, 190346 markings/sec, 5 secs
lola: 2953795 markings, 6566420 edges, 182774 markings/sec, 10 secs
lola: 3828296 markings, 8571002 edges, 174900 markings/sec, 15 secs
lola: 4674473 markings, 10516507 edges, 169235 markings/sec, 20 secs
lola: 5503782 markings, 12432804 edges, 165862 markings/sec, 25 secs
lola: 6316932 markings, 14315227 edges, 162630 markings/sec, 30 secs
lola: 7123352 markings, 16187801 edges, 161284 markings/sec, 35 secs
lola: 7914793 markings, 18034660 edges, 158288 markings/sec, 40 secs
lola: 8696113 markings, 19858330 edges, 156264 markings/sec, 45 secs
lola: 9472138 markings, 21666778 edges, 155205 markings/sec, 50 secs
lola: 10237492 markings, 23459225 edges, 153071 markings/sec, 55 secs
lola: 10994907 markings, 25235849 edges, 151483 markings/sec, 60 secs
lola: 11746783 markings, 26997567 edges, 150375 markings/sec, 65 secs
lola: 12483349 markings, 28733956 edges, 147313 markings/sec, 70 secs
lola: 13211028 markings, 30450604 edges, 145536 markings/sec, 75 secs
lola: 13933675 markings, 32154539 edges, 144529 markings/sec, 80 secs
lola: 14649110 markings, 33839126 edges, 143087 markings/sec, 85 secs
lola: 15359942 markings, 35519946 edges, 142166 markings/sec, 90 secs
lola: 16068491 markings, 37196362 edges, 141710 markings/sec, 95 secs
lola: 16776339 markings, 38871016 edges, 141570 markings/sec, 100 secs
lola: 17476103 markings, 40534611 edges, 139953 markings/sec, 105 secs
lola: 18177050 markings, 42195467 edges, 140189 markings/sec, 110 secs
lola: 18878977 markings, 43860321 edges, 140385 markings/sec, 115 secs
lola: 19577685 markings, 45524070 edges, 139742 markings/sec, 120 secs
lola: 20275264 markings, 47180844 edges, 139516 markings/sec, 125 secs
lola: 20972713 markings, 48838662 edges, 139490 markings/sec, 130 secs
lola: 21668753 markings, 50486873 edges, 139208 markings/sec, 135 secs
lola: 22356245 markings, 52121310 edges, 137498 markings/sec, 140 secs
lola: 23038182 markings, 53752563 edges, 136387 markings/sec, 145 secs
lola: 23723687 markings, 55385372 edges, 137101 markings/sec, 150 secs
lola: 24406824 markings, 57014403 edges, 136627 markings/sec, 155 secs
lola: 25088815 markings, 58638781 edges, 136398 markings/sec, 160 secs
lola: 25762930 markings, 60249408 edges, 134823 markings/sec, 165 secs
lola: 26437470 markings, 61857231 edges, 134908 markings/sec, 170 secs
lola: 27112700 markings, 63462916 edges, 135046 markings/sec, 175 secs
lola: 27779219 markings, 65058920 edges, 133304 markings/sec, 180 secs
lola: 28444925 markings, 66654088 edges, 133141 markings/sec, 185 secs
lola: 29105716 markings, 68238227 edges, 132158 markings/sec, 190 secs
lola: 29766496 markings, 69824405 edges, 132156 markings/sec, 195 secs
lola: 30429625 markings, 71407976 edges, 132626 markings/sec, 200 secs
lola: 31085363 markings, 72983545 edges, 131148 markings/sec, 205 secs
lola: 31739212 markings, 74556996 edges, 130770 markings/sec, 210 secs
lola: 32398426 markings, 76137139 edges, 131843 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(FIN)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1067403 markings, 2365037 edges, 213481 markings/sec, 0 secs
lola: 1995882 markings, 4493147 edges, 185696 markings/sec, 5 secs
lola: 2878046 markings, 6531803 edges, 176433 markings/sec, 10 secs
lola: 3720770 markings, 8500144 edges, 168545 markings/sec, 15 secs
lola: 4548049 markings, 10432584 edges, 165456 markings/sec, 20 secs
lola: 5353507 markings, 12326324 edges, 161092 markings/sec, 25 secs
lola: 6143364 markings, 14188986 edges, 157971 markings/sec, 30 secs
lola: 6924320 markings, 16026150 edges, 156191 markings/sec, 35 secs
lola: 7689144 markings, 17834749 edges, 152965 markings/sec, 40 secs
lola: 8444905 markings, 19625751 edges, 151152 markings/sec, 45 secs
lola: 9192578 markings, 21399808 edges, 149535 markings/sec, 50 secs
lola: 9935644 markings, 23162848 edges, 148613 markings/sec, 55 secs
lola: 10670698 markings, 24912153 edges, 147011 markings/sec, 60 secs
lola: 11402008 markings, 26651064 edges, 146262 markings/sec, 65 secs
lola: 12128106 markings, 28377574 edges, 145220 markings/sec, 70 secs
lola: 12839498 markings, 30080129 edges, 142278 markings/sec, 75 secs
lola: 13553146 markings, 31788131 edges, 142730 markings/sec, 80 secs
lola: 14265139 markings, 33487187 edges, 142399 markings/sec, 85 secs
lola: 14963044 markings, 35167468 edges, 139581 markings/sec, 90 secs
lola: 15661194 markings, 36843484 edges, 139630 markings/sec, 95 secs
lola: 16347225 markings, 38498060 edges, 137206 markings/sec, 100 secs
lola: 17035838 markings, 40148010 edges, 137723 markings/sec, 105 secs
lola: 17725142 markings, 41798348 edges, 137861 markings/sec, 110 secs
lola: 18406970 markings, 43441070 edges, 136366 markings/sec, 115 secs
lola: 19088309 markings, 45079546 edges, 136268 markings/sec, 120 secs
lola: 19766671 markings, 46712854 edges, 135672 markings/sec, 125 secs
lola: 20444360 markings, 48341639 edges, 135538 markings/sec, 130 secs
lola: 21114120 markings, 49959496 edges, 133952 markings/sec, 135 secs
lola: 21786919 markings, 51581127 edges, 134560 markings/sec, 140 secs
lola: 22452538 markings, 53190689 edges, 133124 markings/sec, 145 secs
lola: 23121754 markings, 54800499 edges, 133843 markings/sec, 150 secs
lola: 23784573 markings, 56402147 edges, 132564 markings/sec, 155 secs
lola: 24440601 markings, 57991487 edges, 131206 markings/sec, 160 secs
lola: 25098817 markings, 59582927 edges, 131643 markings/sec, 165 secs
lola: 25751821 markings, 61166071 edges, 130601 markings/sec, 170 secs
lola: 26403600 markings, 62748459 edges, 130356 markings/sec, 175 secs
lola: 27058443 markings, 64328410 edges, 130969 markings/sec, 180 secs
lola: 27706099 markings, 65900961 edges, 129531 markings/sec, 185 secs
lola: 28351185 markings, 67467029 edges, 129017 markings/sec, 190 secs
lola: 29000549 markings, 69041065 edges, 129873 markings/sec, 195 secs
lola: 29648966 markings, 70616779 edges, 129683 markings/sec, 200 secs
lola: 30293483 markings, 72187814 edges, 128903 markings/sec, 205 secs
lola: 30937431 markings, 73760715 edges, 128790 markings/sec, 210 secs
lola: 31583708 markings, 75330166 edges, 129255 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(xFINWAIT1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1174073 markings, 2327378 edges, 234815 markings/sec, 0 secs
lola: 2206428 markings, 4416941 edges, 206471 markings/sec, 5 secs
lola: 3187071 markings, 6413316 edges, 196129 markings/sec, 10 secs
lola: 4132877 markings, 8353341 edges, 189161 markings/sec, 15 secs
lola: 5055329 markings, 10252271 edges, 184490 markings/sec, 20 secs
lola: 5959512 markings, 12113389 edges, 180837 markings/sec, 25 secs
lola: 6841455 markings, 13936909 edges, 176389 markings/sec, 30 secs
lola: 7703288 markings, 15725726 edges, 172367 markings/sec, 35 secs
lola: 8558430 markings, 17502380 edges, 171028 markings/sec, 40 secs
lola: 9409428 markings, 19268959 edges, 170200 markings/sec, 45 secs
lola: 10248685 markings, 21017262 edges, 167851 markings/sec, 50 secs
lola: 11081935 markings, 22753194 edges, 166650 markings/sec, 55 secs
lola: 11909099 markings, 24478341 edges, 165433 markings/sec, 60 secs
lola: 12730152 markings, 26189475 edges, 164211 markings/sec, 65 secs
lola: 13546537 markings, 27891001 edges, 163277 markings/sec, 70 secs
lola: 14354515 markings, 29582754 edges, 161596 markings/sec, 75 secs
lola: 15161700 markings, 31270664 edges, 161437 markings/sec, 80 secs
lola: 15964733 markings, 32949332 edges, 160607 markings/sec, 85 secs
lola: 16760838 markings, 34615551 edges, 159221 markings/sec, 90 secs
lola: 17557392 markings, 36282521 edges, 159311 markings/sec, 95 secs
lola: 18346671 markings, 37935881 edges, 157856 markings/sec, 100 secs
lola: 19134781 markings, 39586724 edges, 157622 markings/sec, 105 secs
lola: 19917386 markings, 41228447 edges, 156521 markings/sec, 110 secs
lola: 20698858 markings, 42870235 edges, 156294 markings/sec, 115 secs
lola: 21475228 markings, 44502027 edges, 155274 markings/sec, 120 secs
lola: 22249845 markings, 46134752 edges, 154923 markings/sec, 125 secs
lola: 23021750 markings, 47760165 edges, 154381 markings/sec, 130 secs
lola: 23792551 markings, 49380687 edges, 154160 markings/sec, 135 secs
lola: 24559896 markings, 50999203 edges, 153469 markings/sec, 140 secs
lola: 25322188 markings, 52610038 edges, 152458 markings/sec, 145 secs
lola: 26084117 markings, 54222240 edges, 152386 markings/sec, 150 secs
lola: 26847965 markings, 55830822 edges, 152770 markings/sec, 155 secs
lola: 27609008 markings, 57437311 edges, 152209 markings/sec, 160 secs
lola: 28368904 markings, 59040817 edges, 151979 markings/sec, 165 secs
lola: 29124794 markings, 60641448 edges, 151178 markings/sec, 170 secs
lola: 29881176 markings, 62239740 edges, 151276 markings/sec, 175 secs
lola: 30629751 markings, 63827057 edges, 149715 markings/sec, 180 secs
lola: 31380045 markings, 65416460 edges, 150059 markings/sec, 185 secs
lola: 32125767 markings, 66999439 edges, 149144 markings/sec, 190 secs
lola: 32868056 markings, 68579923 edges, 148458 markings/sec, 195 secs
lola: 33611005 markings, 70160363 edges, 148590 markings/sec, 200 secs
lola: 34353638 markings, 71740567 edges, 148527 markings/sec, 205 secs
lola: 35096546 markings, 73318172 edges, 148582 markings/sec, 210 secs
lola: 35836096 markings, 74891196 edges, 147910 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xSYNSENT)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1011503 markings, 2434663 edges, 202301 markings/sec, 0 secs
lola: 1873758 markings, 4681623 edges, 172451 markings/sec, 5 secs
lola: 2678825 markings, 6836314 edges, 161013 markings/sec, 10 secs
lola: 3442247 markings, 8914318 edges, 152684 markings/sec, 15 secs
lola: 4177561 markings, 10939082 edges, 147063 markings/sec, 20 secs
lola: 4903453 markings, 12925769 edges, 145178 markings/sec, 25 secs
lola: 5611952 markings, 14884438 edges, 141700 markings/sec, 30 secs
lola: 6300238 markings, 16844610 edges, 137657 markings/sec, 35 secs
lola: 6983072 markings, 18752750 edges, 136567 markings/sec, 40 secs
lola: 7658983 markings, 20645030 edges, 135182 markings/sec, 45 secs
lola: 8319194 markings, 22527030 edges, 132042 markings/sec, 50 secs
lola: 8970927 markings, 24372133 edges, 130347 markings/sec, 55 secs
lola: 9609446 markings, 26191116 edges, 127704 markings/sec, 60 secs
lola: 10236549 markings, 28001513 edges, 125421 markings/sec, 65 secs
lola: 10860558 markings, 29800609 edges, 124802 markings/sec, 70 secs
lola: 11487273 markings, 31584823 edges, 125343 markings/sec, 75 secs
lola: 12101120 markings, 33367546 edges, 122769 markings/sec, 80 secs
lola: 12712344 markings, 35135325 edges, 122245 markings/sec, 85 secs
lola: 13322558 markings, 36906695 edges, 122043 markings/sec, 90 secs
lola: 13932587 markings, 38676408 edges, 122006 markings/sec, 95 secs
lola: 14541772 markings, 40446144 edges, 121837 markings/sec, 100 secs
lola: 15147581 markings, 42218033 edges, 121162 markings/sec, 105 secs
lola: 15751594 markings, 43982366 edges, 120803 markings/sec, 110 secs
lola: 16349324 markings, 45736979 edges, 119546 markings/sec, 115 secs
lola: 16943733 markings, 47481059 edges, 118882 markings/sec, 120 secs
lola: 17533164 markings, 49226510 edges, 117886 markings/sec, 125 secs
lola: 18121936 markings, 50960119 edges, 117754 markings/sec, 130 secs
lola: 18710609 markings, 52688119 edges, 117735 markings/sec, 135 secs
lola: 19296873 markings, 54408535 edges, 117253 markings/sec, 140 secs
lola: 19874205 markings, 56121660 edges, 115466 markings/sec, 145 secs
lola: 20452882 markings, 57835618 edges, 115735 markings/sec, 150 secs
lola: 21037714 markings, 59550581 edges, 116966 markings/sec, 155 secs
lola: 21612914 markings, 61265963 edges, 115040 markings/sec, 160 secs
lola: 22184290 markings, 62970774 edges, 114275 markings/sec, 165 secs
lola: 22762963 markings, 64686703 edges, 115735 markings/sec, 170 secs
lola: 23345991 markings, 66417849 edges, 116606 markings/sec, 175 secs
lola: 23927395 markings, 68139940 edges, 116281 markings/sec, 180 secs
lola: 24501310 markings, 69856995 edges, 114783 markings/sec, 185 secs
lola: 25076433 markings, 71574045 edges, 115025 markings/sec, 190 secs
lola: 25638378 markings, 73268950 edges, 112389 markings/sec, 195 secs
lola: 26198185 markings, 74941455 edges, 111961 markings/sec, 200 secs
lola: 26755351 markings, 76614447 edges, 111433 markings/sec, 205 secs
lola: 27315775 markings, 78273480 edges, 112085 markings/sec, 210 secs
lola: 27865587 markings, 79929283 edges, 109962 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(LISTEN)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1175751 markings, 2566717 edges, 235150 markings/sec, 0 secs
lola: 2178769 markings, 4881615 edges, 200604 markings/sec, 5 secs
lola: 3112127 markings, 7090767 edges, 186672 markings/sec, 10 secs
lola: 4005440 markings, 9226145 edges, 178663 markings/sec, 15 secs
lola: 4873357 markings, 11314939 edges, 173583 markings/sec, 20 secs
lola: 5721736 markings, 13375245 edges, 169676 markings/sec, 25 secs
lola: 6547550 markings, 15399323 edges, 165163 markings/sec, 30 secs
lola: 7356662 markings, 17399477 edges, 161822 markings/sec, 35 secs
lola: 8166460 markings, 19395150 edges, 161960 markings/sec, 40 secs
lola: 8952135 markings, 21353509 edges, 157135 markings/sec, 45 secs
lola: 9728688 markings, 23292820 edges, 155311 markings/sec, 50 secs
lola: 10486924 markings, 25202645 edges, 151647 markings/sec, 55 secs
lola: 11238306 markings, 27095186 edges, 150276 markings/sec, 60 secs
lola: 11980697 markings, 28972374 edges, 148478 markings/sec, 65 secs
lola: 12716638 markings, 30836399 edges, 147188 markings/sec, 70 secs
lola: 13438432 markings, 32672385 edges, 144359 markings/sec, 75 secs
lola: 14160830 markings, 34509362 edges, 144480 markings/sec, 80 secs
lola: 14881224 markings, 36346414 edges, 144079 markings/sec, 85 secs
lola: 15591752 markings, 38167103 edges, 142106 markings/sec, 90 secs
lola: 16299650 markings, 39982169 edges, 141580 markings/sec, 95 secs
lola: 17003850 markings, 41787028 edges, 140840 markings/sec, 100 secs
lola: 17705691 markings, 43586375 edges, 140368 markings/sec, 105 secs
lola: 18397863 markings, 45369884 edges, 138434 markings/sec, 110 secs
lola: 19092100 markings, 47156550 edges, 138847 markings/sec, 115 secs
lola: 19779785 markings, 48928304 edges, 137537 markings/sec, 120 secs
lola: 20463454 markings, 50692437 edges, 136734 markings/sec, 125 secs
lola: 21144391 markings, 52452253 edges, 136187 markings/sec, 130 secs
lola: 21817000 markings, 54200149 edges, 134522 markings/sec, 135 secs
lola: 22485958 markings, 55942592 edges, 133792 markings/sec, 140 secs
lola: 23153658 markings, 57675408 edges, 133540 markings/sec, 145 secs
lola: 23816859 markings, 59406662 edges, 132640 markings/sec, 150 secs
lola: 24477609 markings, 61122437 edges, 132150 markings/sec, 155 secs
lola: 25129364 markings, 62819675 edges, 130351 markings/sec, 160 secs
lola: 25781930 markings, 64523482 edges, 130513 markings/sec, 165 secs
lola: 26432161 markings, 66217321 edges, 130046 markings/sec, 170 secs
lola: 27083618 markings, 67914255 edges, 130291 markings/sec, 175 secs
lola: 27729007 markings, 69603573 edges, 129078 markings/sec, 180 secs
lola: 28373021 markings, 71285153 edges, 128803 markings/sec, 185 secs
lola: 29017910 markings, 72966623 edges, 128978 markings/sec, 190 secs
lola: 29654150 markings, 74634938 edges, 127248 markings/sec, 195 secs
lola: 30291246 markings, 76303874 edges, 127419 markings/sec, 200 secs
lola: 30927972 markings, 77976837 edges, 127345 markings/sec, 205 secs
lola: 31566389 markings, 79651033 edges, 127683 markings/sec, 210 secs
lola: 32192103 markings, 81298737 edges, 125143 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(LASTACK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1340502 markings, 2229000 edges, 268100 markings/sec, 0 secs
lola: 2481116 markings, 4215493 edges, 228123 markings/sec, 5 secs
lola: 3552650 markings, 6100289 edges, 214307 markings/sec, 10 secs
lola: 4578102 markings, 7932907 edges, 205090 markings/sec, 15 secs
lola: 5572496 markings, 9715882 edges, 198879 markings/sec, 20 secs
lola: 6543835 markings, 11468240 edges, 194268 markings/sec, 25 secs
lola: 7496258 markings, 13191117 edges, 190485 markings/sec, 30 secs
lola: 8435376 markings, 14900295 edges, 187824 markings/sec, 35 secs
lola: 9356095 markings, 16578512 edges, 184144 markings/sec, 40 secs
lola: 10261475 markings, 18235906 edges, 181076 markings/sec, 45 secs
lola: 11158329 markings, 19874979 edges, 179371 markings/sec, 50 secs
lola: 12046023 markings, 21508436 edges, 177539 markings/sec, 55 secs
lola: 12924847 markings, 23122003 edges, 175765 markings/sec, 60 secs
lola: 13795503 markings, 24722369 edges, 174131 markings/sec, 65 secs
lola: 14656201 markings, 26314885 edges, 172140 markings/sec, 70 secs
lola: 15516292 markings, 27909350 edges, 172018 markings/sec, 75 secs
lola: 16367356 markings, 29491396 edges, 170213 markings/sec, 80 secs
lola: 17209685 markings, 31060696 edges, 168466 markings/sec, 85 secs
lola: 18051007 markings, 32616895 edges, 168264 markings/sec, 90 secs
lola: 18875536 markings, 34156669 edges, 164906 markings/sec, 95 secs
lola: 19700619 markings, 35692762 edges, 165017 markings/sec, 100 secs
lola: 20526961 markings, 37242712 edges, 165268 markings/sec, 105 secs
lola: 21344416 markings, 38774860 edges, 163491 markings/sec, 110 secs
lola: 22159682 markings, 40306848 edges, 163053 markings/sec, 115 secs
lola: 22971374 markings, 41828178 edges, 162338 markings/sec, 120 secs
lola: 23785556 markings, 43352813 edges, 162836 markings/sec, 125 secs
lola: 24592056 markings, 44862173 edges, 161300 markings/sec, 130 secs
lola: 25394294 markings, 46367296 edges, 160448 markings/sec, 135 secs
lola: 26198949 markings, 47868831 edges, 160931 markings/sec, 140 secs
lola: 26996153 markings, 49371936 edges, 159441 markings/sec, 145 secs
lola: 27784088 markings, 50862218 edges, 157587 markings/sec, 150 secs
lola: 28564691 markings, 52335574 edges, 156121 markings/sec, 155 secs
lola: 29348462 markings, 53819738 edges, 156754 markings/sec, 160 secs
lola: 30133960 markings, 55302089 edges, 157100 markings/sec, 165 secs
lola: 30918122 markings, 56784259 edges, 156832 markings/sec, 170 secs
lola: 31700906 markings, 58273935 edges, 156557 markings/sec, 175 secs
lola: 32482065 markings, 59755627 edges, 156232 markings/sec, 180 secs
lola: 33260464 markings, 61223047 edges, 155680 markings/sec, 185 secs
lola: 34035136 markings, 62690760 edges, 154934 markings/sec, 190 secs
lola: 34807702 markings, 64156594 edges, 154513 markings/sec, 195 secs
lola: 35580314 markings, 65626879 edges, 154522 markings/sec, 200 secs
lola: 36345688 markings, 67085337 edges, 153075 markings/sec, 205 secs
lola: 37115291 markings, 68545836 edges, 153921 markings/sec, 210 secs
lola: 37871502 markings, 69984036 edges, 151242 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(LISTEN)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1170385 markings, 2554729 edges, 234077 markings/sec, 0 secs
lola: 2174165 markings, 4870901 edges, 200756 markings/sec, 5 secs
lola: 3103900 markings, 7070710 edges, 185947 markings/sec, 10 secs
lola: 3991394 markings, 9192299 edges, 177499 markings/sec, 15 secs
lola: 4853544 markings, 11265919 edges, 172430 markings/sec, 20 secs
lola: 5692955 markings, 13304461 edges, 167882 markings/sec, 25 secs
lola: 6510080 markings, 15307192 edges, 163425 markings/sec, 30 secs
lola: 7307411 markings, 17276660 edges, 159466 markings/sec, 35 secs
lola: 8108464 markings, 19253161 edges, 160211 markings/sec, 40 secs
lola: 8888468 markings, 21194910 edges, 156001 markings/sec, 45 secs
lola: 9654612 markings, 23107606 edges, 153229 markings/sec, 50 secs
lola: 10405248 markings, 24998743 edges, 150127 markings/sec, 55 secs
lola: 11160271 markings, 26899847 edges, 151005 markings/sec, 60 secs
lola: 11910300 markings, 28794052 edges, 150006 markings/sec, 65 secs
lola: 12652975 markings, 30676186 edges, 148535 markings/sec, 70 secs
lola: 13384624 markings, 32533125 edges, 146330 markings/sec, 75 secs
lola: 14110222 markings, 34380713 edges, 145120 markings/sec, 80 secs
lola: 14830913 markings, 36216997 edges, 144138 markings/sec, 85 secs
lola: 15539741 markings, 38032952 edges, 141766 markings/sec, 90 secs
lola: 16241842 markings, 39834203 edges, 140420 markings/sec, 95 secs
lola: 16938036 markings, 41617444 edges, 139239 markings/sec, 100 secs
lola: 17633806 markings, 43400886 edges, 139154 markings/sec, 105 secs
lola: 18325084 markings, 45181003 edges, 138256 markings/sec, 110 secs
lola: 19017793 markings, 46964503 edges, 138542 markings/sec, 115 secs
lola: 19705993 markings, 48738905 edges, 137640 markings/sec, 120 secs
lola: 20393083 markings, 50509742 edges, 137418 markings/sec, 125 secs
lola: 21074891 markings, 52272408 edges, 136362 markings/sec, 130 secs
lola: 21749934 markings, 54024419 edges, 135009 markings/sec, 135 secs
lola: 22421488 markings, 55775516 edges, 134311 markings/sec, 140 secs
lola: 23088896 markings, 57506455 edges, 133482 markings/sec, 145 secs
lola: 23751849 markings, 59236841 edges, 132591 markings/sec, 150 secs
lola: 24419879 markings, 60970395 edges, 133606 markings/sec, 155 secs
lola: 25074702 markings, 62676859 edges, 130965 markings/sec, 160 secs
lola: 25729698 markings, 64387744 edges, 130999 markings/sec, 165 secs
lola: 26385745 markings, 66096803 edges, 131209 markings/sec, 170 secs
lola: 27039000 markings, 67798384 edges, 130651 markings/sec, 175 secs
lola: 27692428 markings, 69508196 edges, 130686 markings/sec, 180 secs
lola: 28343769 markings, 71208190 edges, 130268 markings/sec, 185 secs
lola: 28993210 markings, 72902681 edges, 129888 markings/sec, 190 secs
lola: 29633977 markings, 74582227 edges, 128153 markings/sec, 195 secs
lola: 30262890 markings, 76229965 edges, 125783 markings/sec, 200 secs
lola: 30888546 markings, 77875055 edges, 125131 markings/sec, 205 secs
lola: 31519950 markings, 79529155 edges, 126281 markings/sec, 210 secs
lola: 32136981 markings, 81154357 edges, 123406 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SYNRCVD)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1140619 markings, 2479078 edges, 228124 markings/sec, 0 secs
lola: 2079035 markings, 4705094 edges, 187683 markings/sec, 5 secs
lola: 2962832 markings, 6837673 edges, 176759 markings/sec, 10 secs
lola: 3808742 markings, 8908705 edges, 169182 markings/sec, 15 secs
lola: 4639476 markings, 10958686 edges, 166147 markings/sec, 20 secs
lola: 5449199 markings, 12977040 edges, 161945 markings/sec, 25 secs
lola: 6243765 markings, 14962026 edges, 158913 markings/sec, 30 secs
lola: 7017638 markings, 16915484 edges, 154775 markings/sec, 35 secs
lola: 7783363 markings, 18842973 edges, 153145 markings/sec, 40 secs
lola: 8538341 markings, 20749690 edges, 150996 markings/sec, 45 secs
lola: 9283134 markings, 22642976 edges, 148959 markings/sec, 50 secs
lola: 10017739 markings, 24522307 edges, 146921 markings/sec, 55 secs
lola: 10744217 markings, 26386238 edges, 145296 markings/sec, 60 secs
lola: 11472702 markings, 28247577 edges, 145697 markings/sec, 65 secs
lola: 12193192 markings, 30096351 edges, 144098 markings/sec, 70 secs
lola: 12907621 markings, 31932802 edges, 142886 markings/sec, 75 secs
lola: 13618154 markings, 33766741 edges, 142107 markings/sec, 80 secs
lola: 14324883 markings, 35593586 edges, 141346 markings/sec, 85 secs
lola: 15031880 markings, 37425652 edges, 141399 markings/sec, 90 secs
lola: 15735845 markings, 39255729 edges, 140793 markings/sec, 95 secs
lola: 16437188 markings, 41064028 edges, 140269 markings/sec, 100 secs
lola: 17142052 markings, 42901779 edges, 140973 markings/sec, 105 secs
lola: 17848503 markings, 44737765 edges, 141290 markings/sec, 110 secs
lola: 18552639 markings, 46571613 edges, 140827 markings/sec, 115 secs
lola: 19247570 markings, 48394752 edges, 138986 markings/sec, 120 secs
lola: 19939485 markings, 50218857 edges, 138383 markings/sec, 125 secs
lola: 20625695 markings, 52030119 edges, 137242 markings/sec, 130 secs
lola: 21309920 markings, 53836944 edges, 136845 markings/sec, 135 secs
lola: 21997050 markings, 55647853 edges, 137426 markings/sec, 140 secs
lola: 22671573 markings, 57439821 edges, 134905 markings/sec, 145 secs
lola: 23342678 markings, 59222208 edges, 134221 markings/sec, 150 secs
lola: 24016914 markings, 61014669 edges, 134847 markings/sec, 155 secs
lola: 24688110 markings, 62796594 edges, 134239 markings/sec, 160 secs
lola: 25346355 markings, 64557142 edges, 131649 markings/sec, 165 secs
lola: 25995987 markings, 66307431 edges, 129926 markings/sec, 170 secs
lola: 26643547 markings, 68059979 edges, 129512 markings/sec, 175 secs
lola: 27297699 markings, 69829188 edges, 130830 markings/sec, 180 secs
lola: 27948532 markings, 71590651 edges, 130167 markings/sec, 185 secs
lola: 28600049 markings, 73356875 edges, 130303 markings/sec, 190 secs
lola: 29244917 markings, 75114430 edges, 128974 markings/sec, 195 secs
lola: 29881276 markings, 76860694 edges, 127272 markings/sec, 200 secs
lola: 30518120 markings, 78608082 edges, 127369 markings/sec, 205 secs
lola: 31151991 markings, 80352542 edges, 126774 markings/sec, 210 secs
lola: 31782485 markings, 82092665 edges, 126099 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(FINWAIT1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1164436 markings, 2353531 edges, 232887 markings/sec, 0 secs
lola: 2165447 markings, 4432024 edges, 200202 markings/sec, 5 secs
lola: 3108689 markings, 6412158 edges, 188648 markings/sec, 10 secs
lola: 4018472 markings, 8328416 edges, 181957 markings/sec, 15 secs
lola: 4898529 markings, 10189779 edges, 176011 markings/sec, 20 secs
lola: 5758069 markings, 12013225 edges, 171908 markings/sec, 25 secs
lola: 6601721 markings, 13808257 edges, 168730 markings/sec, 30 secs
lola: 7429501 markings, 15572168 edges, 165556 markings/sec, 35 secs
lola: 8246191 markings, 17314696 edges, 163338 markings/sec, 40 secs
lola: 9053019 markings, 19040190 edges, 161366 markings/sec, 45 secs
lola: 9851494 markings, 20748694 edges, 159695 markings/sec, 50 secs
lola: 10654756 markings, 22469020 edges, 160652 markings/sec, 55 secs
lola: 11447332 markings, 24171504 edges, 158515 markings/sec, 60 secs
lola: 12224806 markings, 25842526 edges, 155495 markings/sec, 65 secs
lola: 12988641 markings, 27485771 edges, 152767 markings/sec, 70 secs
lola: 13741533 markings, 29109598 edges, 150578 markings/sec, 75 secs
lola: 14502836 markings, 30748064 edges, 152261 markings/sec, 80 secs
lola: 15240898 markings, 32342163 edges, 147612 markings/sec, 85 secs
lola: 15965741 markings, 33904749 edges, 144969 markings/sec, 90 secs
lola: 16687129 markings, 35464255 edges, 144278 markings/sec, 95 secs
lola: 17405526 markings, 37014701 edges, 143679 markings/sec, 100 secs
lola: 18111077 markings, 38542489 edges, 141110 markings/sec, 105 secs
lola: 18809236 markings, 40055105 edges, 139632 markings/sec, 110 secs
lola: 19508911 markings, 41570728 edges, 139935 markings/sec, 115 secs
lola: 20207640 markings, 43080780 edges, 139746 markings/sec, 120 secs
lola: 20905149 markings, 44592837 edges, 139502 markings/sec, 125 secs
lola: 21602273 markings, 46102304 edges, 139425 markings/sec, 130 secs
lola: 22296443 markings, 47609949 edges, 138834 markings/sec, 135 secs
lola: 22987787 markings, 49110283 edges, 138269 markings/sec, 140 secs
lola: 23681005 markings, 50615909 edges, 138644 markings/sec, 145 secs
lola: 24384778 markings, 52145190 edges, 140755 markings/sec, 150 secs
lola: 25074837 markings, 53644487 edges, 138012 markings/sec, 155 secs
lola: 25757680 markings, 55136806 edges, 136569 markings/sec, 160 secs
lola: 26441912 markings, 56626665 edges, 136846 markings/sec, 165 secs
lola: 27123519 markings, 58112691 edges, 136321 markings/sec, 170 secs
lola: 27803760 markings, 59597399 edges, 136048 markings/sec, 175 secs
lola: 28483447 markings, 61078979 edges, 135937 markings/sec, 180 secs
lola: 29161061 markings, 62559110 edges, 135523 markings/sec, 185 secs
lola: 29835878 markings, 64034204 edges, 134963 markings/sec, 190 secs
lola: 30508396 markings, 65504944 edges, 134504 markings/sec, 195 secs
lola: 31179391 markings, 66979132 edges, 134199 markings/sec, 200 secs
lola: 31849268 markings, 68448623 edges, 133975 markings/sec, 205 secs
lola: 32515652 markings, 69909241 edges, 133277 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(FINWAIT1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1124282 markings, 2271332 edges, 224856 markings/sec, 0 secs
lola: 2101015 markings, 4298883 edges, 195347 markings/sec, 5 secs
lola: 3018533 markings, 6224572 edges, 183504 markings/sec, 10 secs
lola: 3901754 markings, 8081535 edges, 176644 markings/sec, 15 secs
lola: 4760076 markings, 9896309 edges, 171664 markings/sec, 20 secs
lola: 5598532 markings, 11673188 edges, 167691 markings/sec, 25 secs
lola: 6419869 markings, 13421014 edges, 164267 markings/sec, 30 secs
lola: 7230458 markings, 15145911 edges, 162118 markings/sec, 35 secs
lola: 8025507 markings, 16844767 edges, 159010 markings/sec, 40 secs
lola: 8809715 markings, 18521294 edges, 156842 markings/sec, 45 secs
lola: 9590030 markings, 20187336 edges, 156063 markings/sec, 50 secs
lola: 10361116 markings, 21838858 edges, 154217 markings/sec, 55 secs
lola: 11124746 markings, 23477772 edges, 152726 markings/sec, 60 secs
lola: 11877414 markings, 25093841 edges, 150534 markings/sec, 65 secs
lola: 12623674 markings, 26699675 edges, 149252 markings/sec, 70 secs
lola: 13369661 markings, 28307557 edges, 149197 markings/sec, 75 secs
lola: 14105688 markings, 29894682 edges, 147205 markings/sec, 80 secs
lola: 14840404 markings, 31477963 edges, 146943 markings/sec, 85 secs
lola: 15565329 markings, 33044848 edges, 144985 markings/sec, 90 secs
lola: 16289920 markings, 34607531 edges, 144918 markings/sec, 95 secs
lola: 17015573 markings, 36172566 edges, 145131 markings/sec, 100 secs
lola: 17732677 markings, 37720615 edges, 143421 markings/sec, 105 secs
lola: 18445751 markings, 39268323 edges, 142615 markings/sec, 110 secs
lola: 19157792 markings, 40811025 edges, 142408 markings/sec, 115 secs
lola: 19867247 markings, 42347319 edges, 141891 markings/sec, 120 secs
lola: 20574587 markings, 43876607 edges, 141468 markings/sec, 125 secs
lola: 21275944 markings, 45397245 edges, 140271 markings/sec, 130 secs
lola: 21978603 markings, 46919390 edges, 140532 markings/sec, 135 secs
lola: 22674936 markings, 48431352 edges, 139267 markings/sec, 140 secs
lola: 23372451 markings, 49944645 edges, 139503 markings/sec, 145 secs
lola: 24066061 markings, 51451158 edges, 138722 markings/sec, 150 secs
lola: 24754732 markings, 52951736 edges, 137734 markings/sec, 155 secs
lola: 25441614 markings, 54448815 edges, 137376 markings/sec, 160 secs
lola: 26125538 markings, 55940752 edges, 136785 markings/sec, 165 secs
lola: 26810945 markings, 57429625 edges, 137081 markings/sec, 170 secs
lola: 27493266 markings, 58919558 edges, 136464 markings/sec, 175 secs
lola: 28174822 markings, 60405316 edges, 136311 markings/sec, 180 secs
lola: 28856116 markings, 61891416 edges, 136259 markings/sec, 185 secs
lola: 29536282 markings, 63378506 edges, 136033 markings/sec, 190 secs
lola: 30224465 markings, 64882962 edges, 137637 markings/sec, 195 secs
lola: 30910639 markings, 66387563 edges, 137235 markings/sec, 200 secs
lola: 31592290 markings, 67885727 edges, 136330 markings/sec, 205 secs
lola: 32272269 markings, 69375890 edges, 135996 markings/sec, 210 secs
lola: 32950026 markings, 70860434 edges, 135551 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CLOSED)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1048728 markings, 2546606 edges, 209746 markings/sec, 0 secs
lola: 1895580 markings, 4817880 edges, 169370 markings/sec, 5 secs
lola: 2672245 markings, 6959833 edges, 155333 markings/sec, 10 secs
lola: 3412851 markings, 9032035 edges, 148121 markings/sec, 15 secs
lola: 4132571 markings, 11063173 edges, 143944 markings/sec, 20 secs
lola: 4833058 markings, 13054585 edges, 140097 markings/sec, 25 secs
lola: 5519109 markings, 15017142 edges, 137210 markings/sec, 30 secs
lola: 6196374 markings, 16958049 edges, 135453 markings/sec, 35 secs
lola: 6860140 markings, 18877541 edges, 132753 markings/sec, 40 secs
lola: 7515390 markings, 20780376 edges, 131050 markings/sec, 45 secs
lola: 8148183 markings, 22639081 edges, 126559 markings/sec, 50 secs
lola: 8773715 markings, 24482695 edges, 125106 markings/sec, 55 secs
lola: 9393343 markings, 26309402 edges, 123926 markings/sec, 60 secs
lola: 10007714 markings, 28130971 edges, 122874 markings/sec, 65 secs
lola: 10614910 markings, 29936456 edges, 121439 markings/sec, 70 secs
lola: 11212576 markings, 31721469 edges, 119533 markings/sec, 75 secs
lola: 11803820 markings, 33489507 edges, 118249 markings/sec, 80 secs
lola: 12391805 markings, 35259450 edges, 117597 markings/sec, 85 secs
lola: 12971888 markings, 37011090 edges, 116017 markings/sec, 90 secs
lola: 13543029 markings, 38742600 edges, 114228 markings/sec, 95 secs
lola: 14110617 markings, 40469201 edges, 113518 markings/sec, 100 secs
lola: 14677007 markings, 42184286 edges, 113278 markings/sec, 105 secs
lola: 15235979 markings, 43890580 edges, 111794 markings/sec, 110 secs
lola: 15795849 markings, 45596292 edges, 111974 markings/sec, 115 secs
lola: 16353300 markings, 47294683 edges, 111490 markings/sec, 120 secs
lola: 16901740 markings, 48979353 edges, 109688 markings/sec, 125 secs
lola: 17451195 markings, 50659058 edges, 109891 markings/sec, 130 secs
lola: 17997815 markings, 52334368 edges, 109324 markings/sec, 135 secs
lola: 18546501 markings, 54010178 edges, 109737 markings/sec, 140 secs
lola: 19088832 markings, 55676905 edges, 108466 markings/sec, 145 secs
lola: 19623527 markings, 57323409 edges, 106939 markings/sec, 150 secs
lola: 20161171 markings, 58975158 edges, 107529 markings/sec, 155 secs
lola: 20691629 markings, 60615591 edges, 106092 markings/sec, 160 secs
lola: 21223407 markings, 62257632 edges, 106356 markings/sec, 165 secs
lola: 21748608 markings, 63886877 edges, 105040 markings/sec, 170 secs
lola: 22275694 markings, 65521003 edges, 105417 markings/sec, 175 secs
lola: 22799827 markings, 67144804 edges, 104827 markings/sec, 180 secs
lola: 23319090 markings, 68759615 edges, 103853 markings/sec, 185 secs
lola: 23840066 markings, 70381426 edges, 104195 markings/sec, 190 secs
lola: 24358057 markings, 71989963 edges, 103598 markings/sec, 195 secs
lola: 24878138 markings, 73603058 edges, 104016 markings/sec, 200 secs
lola: 25393517 markings, 75206698 edges, 103076 markings/sec, 205 secs
lola: 25906702 markings, 76807794 edges, 102637 markings/sec, 210 secs
lola: 26415654 markings, 78402667 edges, 101790 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA TCPcondis-PT-25-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494939792874
--------------------
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="TCPcondis-PT-25"
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/TCPcondis-PT-25.tgz
mv TCPcondis-PT-25 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 TCPcondis-PT-25, 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 r078-ebro-149441008500209"
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 ;