About the Execution of LoLA for S_TCPcondis-PT-35
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5572.810 | 3539404.00 | 3554629.00 | 735.40 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is S_TCPcondis-PT-35, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443464100227
=====================================================================
--------------------
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-35-UpperBounds-0
FORMULA_NAME TCPcondis-PT-35-UpperBounds-1
FORMULA_NAME TCPcondis-PT-35-UpperBounds-10
FORMULA_NAME TCPcondis-PT-35-UpperBounds-11
FORMULA_NAME TCPcondis-PT-35-UpperBounds-12
FORMULA_NAME TCPcondis-PT-35-UpperBounds-13
FORMULA_NAME TCPcondis-PT-35-UpperBounds-14
FORMULA_NAME TCPcondis-PT-35-UpperBounds-15
FORMULA_NAME TCPcondis-PT-35-UpperBounds-2
FORMULA_NAME TCPcondis-PT-35-UpperBounds-3
FORMULA_NAME TCPcondis-PT-35-UpperBounds-4
FORMULA_NAME TCPcondis-PT-35-UpperBounds-5
FORMULA_NAME TCPcondis-PT-35-UpperBounds-6
FORMULA_NAME TCPcondis-PT-35-UpperBounds-7
FORMULA_NAME TCPcondis-PT-35-UpperBounds-8
FORMULA_NAME TCPcondis-PT-35-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496565758950
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_TCPcondis-PT-35: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_TCPcondis-PT-35: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_TCPcondis-PT-35 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 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-35-UpperBounds.task
lola: MAX(LISTEN) : MAX(xSYNSENT) : MAX(TIMEWAIT) : MAX(FINWAIT2) : MAX(TIMEWAIT) : MAX(SYNACK) : MAX(xCLOSED) : MAX(xFINACK) : MAX(SYN) : MAX(xLISTEN) : MAX(CLOSING) : MAX(xTIMEWAIT) : MAX(xFINWAIT2) : MAX(ESTAB) : MAX(SYN) : MAX(xFINWAIT1)
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(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: 1097391 markings, 2388817 edges, 219478 markings/sec, 0 secs
lola: 2096313 markings, 4664873 edges, 199784 markings/sec, 5 secs
lola: 3038529 markings, 6864868 edges, 188443 markings/sec, 10 secs
lola: 3965138 markings, 9039194 edges, 185322 markings/sec, 15 secs
lola: 4842286 markings, 11138176 edges, 175430 markings/sec, 20 secs
lola: 5710176 markings, 13211064 edges, 173578 markings/sec, 25 secs
lola: 6575813 markings, 15268312 edges, 173127 markings/sec, 30 secs
lola: 7415341 markings, 17294994 edges, 167906 markings/sec, 35 secs
lola: 8232369 markings, 19281740 edges, 163406 markings/sec, 40 secs
lola: 9035765 markings, 21242335 edges, 160679 markings/sec, 45 secs
lola: 9840526 markings, 23205971 edges, 160952 markings/sec, 50 secs
lola: 10641235 markings, 25165811 edges, 160142 markings/sec, 55 secs
lola: 11432044 markings, 27113714 edges, 158162 markings/sec, 60 secs
lola: 12211996 markings, 29040897 edges, 155990 markings/sec, 65 secs
lola: 12984171 markings, 30949706 edges, 154435 markings/sec, 70 secs
lola: 13633075 markings, 32561285 edges, 129781 markings/sec, 75 secs
lola: 14371223 markings, 34398478 edges, 147630 markings/sec, 80 secs
lola: 15122699 markings, 36273098 edges, 150295 markings/sec, 85 secs
lola: 15864752 markings, 38124830 edges, 148411 markings/sec, 90 secs
lola: 16601294 markings, 39971223 edges, 147308 markings/sec, 95 secs
lola: 17329088 markings, 41803396 edges, 145559 markings/sec, 100 secs
lola: 18052126 markings, 43626883 edges, 144608 markings/sec, 105 secs
lola: 18768490 markings, 45438474 edges, 143273 markings/sec, 110 secs
lola: 19478808 markings, 47241836 edges, 142064 markings/sec, 115 secs
lola: 20188289 markings, 49036836 edges, 141896 markings/sec, 120 secs
lola: 20891048 markings, 50822717 edges, 140552 markings/sec, 125 secs
lola: 21588066 markings, 52592100 edges, 139404 markings/sec, 130 secs
lola: 22286903 markings, 54371741 edges, 139767 markings/sec, 135 secs
lola: 22983507 markings, 56151872 edges, 139321 markings/sec, 140 secs
lola: 23680031 markings, 57928445 edges, 139305 markings/sec, 145 secs
lola: 24365173 markings, 59686188 edges, 137028 markings/sec, 150 secs
lola: 25046831 markings, 61434313 edges, 136332 markings/sec, 155 secs
lola: 25731184 markings, 63179927 edges, 136871 markings/sec, 160 secs
lola: 26407251 markings, 64918015 edges, 135213 markings/sec, 165 secs
lola: 27077449 markings, 66639374 edges, 134040 markings/sec, 170 secs
lola: 27748899 markings, 68364191 edges, 134290 markings/sec, 175 secs
lola: 28422150 markings, 70091106 edges, 134650 markings/sec, 180 secs
lola: 29095150 markings, 71822114 edges, 134600 markings/sec, 185 secs
lola: 29767723 markings, 73551509 edges, 134515 markings/sec, 190 secs
lola: 30433348 markings, 75270136 edges, 133125 markings/sec, 195 secs
lola: 31107626 markings, 77000780 edges, 134856 markings/sec, 200 secs
lola: 31770840 markings, 78712162 edges, 132643 markings/sec, 205 secs
lola: 32433803 markings, 80425525 edges, 132593 markings/sec, 210 secs
lola: 33093542 markings, 82133338 edges, 131948 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: 1035582 markings, 2471367 edges, 207116 markings/sec, 0 secs
lola: 1901755 markings, 4723221 edges, 173235 markings/sec, 5 secs
lola: 2704638 markings, 6866293 edges, 160577 markings/sec, 10 secs
lola: 3470713 markings, 8945193 edges, 153215 markings/sec, 15 secs
lola: 4216169 markings, 10976831 edges, 149091 markings/sec, 20 secs
lola: 4937776 markings, 12963578 edges, 144321 markings/sec, 25 secs
lola: 5641961 markings, 14917574 edges, 140837 markings/sec, 30 secs
lola: 6331206 markings, 16850095 edges, 137849 markings/sec, 35 secs
lola: 7018898 markings, 18760165 edges, 137538 markings/sec, 40 secs
lola: 7698145 markings, 20668243 edges, 135849 markings/sec, 45 secs
lola: 8364923 markings, 22557245 edges, 133356 markings/sec, 50 secs
lola: 9019284 markings, 24428783 edges, 130872 markings/sec, 55 secs
lola: 9672854 markings, 26282631 edges, 130714 markings/sec, 60 secs
lola: 10311761 markings, 28107333 edges, 127781 markings/sec, 65 secs
lola: 10944323 markings, 29925372 edges, 126512 markings/sec, 70 secs
lola: 11573753 markings, 31729208 edges, 125886 markings/sec, 75 secs
lola: 12192158 markings, 33519014 edges, 123681 markings/sec, 80 secs
lola: 12819062 markings, 35291379 edges, 125381 markings/sec, 85 secs
lola: 13430402 markings, 37051738 edges, 122268 markings/sec, 90 secs
lola: 14033825 markings, 38800328 edges, 120685 markings/sec, 95 secs
lola: 14632475 markings, 40532681 edges, 119730 markings/sec, 100 secs
lola: 15231494 markings, 42279514 edges, 119804 markings/sec, 105 secs
lola: 15834563 markings, 44025039 edges, 120614 markings/sec, 110 secs
lola: 16424976 markings, 45760125 edges, 118083 markings/sec, 115 secs
lola: 17012041 markings, 47482534 edges, 117413 markings/sec, 120 secs
lola: 17592860 markings, 49197437 edges, 116164 markings/sec, 125 secs
lola: 18177557 markings, 50910311 edges, 116939 markings/sec, 130 secs
lola: 18757501 markings, 52612662 edges, 115989 markings/sec, 135 secs
lola: 19339422 markings, 54324268 edges, 116384 markings/sec, 140 secs
lola: 19922267 markings, 56030665 edges, 116569 markings/sec, 145 secs
lola: 20494950 markings, 57721302 edges, 114537 markings/sec, 150 secs
lola: 21071470 markings, 59417258 edges, 115304 markings/sec, 155 secs
lola: 21644818 markings, 61113696 edges, 114670 markings/sec, 160 secs
lola: 22221859 markings, 62810751 edges, 115408 markings/sec, 165 secs
lola: 22797219 markings, 64504263 edges, 115072 markings/sec, 170 secs
lola: 23359071 markings, 66191454 edges, 112370 markings/sec, 175 secs
lola: 23927560 markings, 67877060 edges, 113698 markings/sec, 180 secs
lola: 24487961 markings, 69553897 edges, 112080 markings/sec, 185 secs
lola: 25044560 markings, 71208617 edges, 111320 markings/sec, 190 secs
lola: 25598628 markings, 72865883 edges, 110814 markings/sec, 195 secs
lola: 26151232 markings, 74504970 edges, 110521 markings/sec, 200 secs
lola: 26703365 markings, 76156601 edges, 110427 markings/sec, 205 secs
lola: 27257456 markings, 77792232 edges, 110818 markings/sec, 210 secs
lola: 27806062 markings, 79429568 edges, 109721 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(TIMEWAIT)
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: 1167193 markings, 2466457 edges, 233439 markings/sec, 0 secs
lola: 2141546 markings, 4710949 edges, 194871 markings/sec, 5 secs
lola: 3034800 markings, 6848353 edges, 178651 markings/sec, 10 secs
lola: 3866329 markings, 8878208 edges, 166306 markings/sec, 15 secs
lola: 4670945 markings, 10882667 edges, 160923 markings/sec, 20 secs
lola: 5454033 markings, 12848824 edges, 156618 markings/sec, 25 secs
lola: 6214296 markings, 14784185 edges, 152053 markings/sec, 30 secs
lola: 6952764 markings, 16697663 edges, 147694 markings/sec, 35 secs
lola: 7675310 markings, 18599358 edges, 144509 markings/sec, 40 secs
lola: 8390106 markings, 20486549 edges, 142959 markings/sec, 45 secs
lola: 9087887 markings, 22343955 edges, 139556 markings/sec, 50 secs
lola: 9780476 markings, 24185880 edges, 138518 markings/sec, 55 secs
lola: 10463162 markings, 26018665 edges, 136537 markings/sec, 60 secs
lola: 11127291 markings, 27825039 edges, 132826 markings/sec, 65 secs
lola: 11789203 markings, 29624973 edges, 132382 markings/sec, 70 secs
lola: 12434724 markings, 31404686 edges, 129104 markings/sec, 75 secs
lola: 13076700 markings, 33174838 edges, 128395 markings/sec, 80 secs
lola: 13716382 markings, 34936077 edges, 127936 markings/sec, 85 secs
lola: 14365049 markings, 36704290 edges, 129733 markings/sec, 90 secs
lola: 14986629 markings, 38444409 edges, 124316 markings/sec, 95 secs
lola: 15608377 markings, 40176635 edges, 124350 markings/sec, 100 secs
lola: 16235120 markings, 41911104 edges, 125349 markings/sec, 105 secs
lola: 16852182 markings, 43634719 edges, 123412 markings/sec, 110 secs
lola: 17456269 markings, 45341367 edges, 120817 markings/sec, 115 secs
lola: 18063865 markings, 47041722 edges, 121519 markings/sec, 120 secs
lola: 18660032 markings, 48727419 edges, 119233 markings/sec, 125 secs
lola: 19260979 markings, 50418614 edges, 120189 markings/sec, 130 secs
lola: 19852293 markings, 52093420 edges, 118263 markings/sec, 135 secs
lola: 20449776 markings, 53773114 edges, 119497 markings/sec, 140 secs
lola: 21045219 markings, 55447494 edges, 119089 markings/sec, 145 secs
lola: 21632662 markings, 57116301 edges, 117489 markings/sec, 150 secs
lola: 22217823 markings, 58778339 edges, 117032 markings/sec, 155 secs
lola: 22798008 markings, 60439191 edges, 116037 markings/sec, 160 secs
lola: 23374671 markings, 62095166 edges, 115333 markings/sec, 165 secs
lola: 23959074 markings, 63760295 edges, 116881 markings/sec, 170 secs
lola: 24528467 markings, 65397701 edges, 113879 markings/sec, 175 secs
lola: 25095992 markings, 67031174 edges, 113505 markings/sec, 180 secs
lola: 25667281 markings, 68667769 edges, 114258 markings/sec, 185 secs
lola: 26229741 markings, 70294269 edges, 112492 markings/sec, 190 secs
lola: 26788502 markings, 71913945 edges, 111752 markings/sec, 195 secs
lola: 27356718 markings, 73548807 edges, 113643 markings/sec, 200 secs
lola: 27922177 markings, 75178838 edges, 113092 markings/sec, 205 secs
lola: 28482834 markings, 76794230 edges, 112131 markings/sec, 210 secs
lola: 29044033 markings, 78413769 edges, 112240 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(FINWAIT2)
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: 1229154 markings, 2164850 edges, 245831 markings/sec, 0 secs
lola: 2298247 markings, 4126939 edges, 213819 markings/sec, 5 secs
lola: 3311187 markings, 6004788 edges, 202588 markings/sec, 10 secs
lola: 4279374 markings, 7819559 edges, 193637 markings/sec, 15 secs
lola: 5219357 markings, 9583390 edges, 187997 markings/sec, 20 secs
lola: 6130241 markings, 11303224 edges, 182177 markings/sec, 25 secs
lola: 7035621 markings, 13019280 edges, 181076 markings/sec, 30 secs
lola: 7917676 markings, 14707874 edges, 176411 markings/sec, 35 secs
lola: 8788963 markings, 16372054 edges, 174257 markings/sec, 40 secs
lola: 9634888 markings, 17999748 edges, 169185 markings/sec, 45 secs
lola: 10486894 markings, 19635511 edges, 170401 markings/sec, 50 secs
lola: 11315972 markings, 21230323 edges, 165816 markings/sec, 55 secs
lola: 12126459 markings, 22799275 edges, 162097 markings/sec, 60 secs
lola: 12939685 markings, 24374843 edges, 162645 markings/sec, 65 secs
lola: 13742150 markings, 25933724 edges, 160493 markings/sec, 70 secs
lola: 14545346 markings, 27481184 edges, 160639 markings/sec, 75 secs
lola: 15342969 markings, 29031572 edges, 159525 markings/sec, 80 secs
lola: 16130826 markings, 30575035 edges, 157571 markings/sec, 85 secs
lola: 16917607 markings, 32110503 edges, 157356 markings/sec, 90 secs
lola: 17697964 markings, 33638461 edges, 156071 markings/sec, 95 secs
lola: 18470890 markings, 35157122 edges, 154585 markings/sec, 100 secs
lola: 19241296 markings, 36667079 edges, 154081 markings/sec, 105 secs
lola: 20008446 markings, 38173313 edges, 153430 markings/sec, 110 secs
lola: 20771780 markings, 39673526 edges, 152667 markings/sec, 115 secs
lola: 21526776 markings, 41157402 edges, 150999 markings/sec, 120 secs
lola: 22278345 markings, 42637605 edges, 150314 markings/sec, 125 secs
lola: 23036375 markings, 44127247 edges, 151606 markings/sec, 130 secs
lola: 23785535 markings, 45605666 edges, 149832 markings/sec, 135 secs
lola: 24536343 markings, 47082467 edges, 150162 markings/sec, 140 secs
lola: 25276258 markings, 48548475 edges, 147983 markings/sec, 145 secs
lola: 26022898 markings, 50016226 edges, 149328 markings/sec, 150 secs
lola: 26764383 markings, 51483637 edges, 148297 markings/sec, 155 secs
lola: 27500275 markings, 52942966 edges, 147178 markings/sec, 160 secs
lola: 28239775 markings, 54403504 edges, 147900 markings/sec, 165 secs
lola: 28970437 markings, 55851047 edges, 146132 markings/sec, 170 secs
lola: 29708831 markings, 57302974 edges, 147679 markings/sec, 175 secs
lola: 30443404 markings, 58762070 edges, 146915 markings/sec, 180 secs
lola: 31175718 markings, 60214509 edges, 146463 markings/sec, 185 secs
lola: 31897342 markings, 61654595 edges, 144325 markings/sec, 190 secs
lola: 32619449 markings, 63088002 edges, 144421 markings/sec, 195 secs
lola: 33328814 markings, 64504460 edges, 141873 markings/sec, 200 secs
lola: 34040676 markings, 65922466 edges, 142372 markings/sec, 205 secs
lola: 34749126 markings, 67337913 edges, 141690 markings/sec, 210 secs
lola: 35457885 markings, 68752373 edges, 141752 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(TIMEWAIT)
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: 1151327 markings, 2431720 edges, 230265 markings/sec, 0 secs
lola: 2110449 markings, 4638867 edges, 191824 markings/sec, 5 secs
lola: 2996014 markings, 6755143 edges, 177113 markings/sec, 10 secs
lola: 3834875 markings, 8802100 edges, 167772 markings/sec, 15 secs
lola: 4640721 markings, 10808054 edges, 161169 markings/sec, 20 secs
lola: 5425677 markings, 12776830 edges, 156991 markings/sec, 25 secs
lola: 6185978 markings, 14710607 edges, 152060 markings/sec, 30 secs
lola: 6917989 markings, 16607325 edges, 146402 markings/sec, 35 secs
lola: 7632037 markings, 18482003 edges, 142810 markings/sec, 40 secs
lola: 8342239 markings, 20359309 edges, 142040 markings/sec, 45 secs
lola: 9039821 markings, 22216335 edges, 139516 markings/sec, 50 secs
lola: 9731661 markings, 24056781 edges, 138368 markings/sec, 55 secs
lola: 10417898 markings, 25895479 edges, 137247 markings/sec, 60 secs
lola: 11081475 markings, 27702467 edges, 132715 markings/sec, 65 secs
lola: 11743485 markings, 29500423 edges, 132402 markings/sec, 70 secs
lola: 12341373 markings, 31149589 edges, 119578 markings/sec, 75 secs
lola: 12912885 markings, 32719168 edges, 114302 markings/sec, 80 secs
lola: 13536012 markings, 34436203 edges, 124625 markings/sec, 85 secs
lola: 14183258 markings, 36205337 edges, 129449 markings/sec, 90 secs
lola: 14802706 markings, 37927653 edges, 123890 markings/sec, 95 secs
lola: 15330229 markings, 39400153 edges, 105505 markings/sec, 100 secs
lola: 15948208 markings, 41102610 edges, 123596 markings/sec, 105 secs
lola: 16564455 markings, 42827535 edges, 123249 markings/sec, 110 secs
lola: 17167081 markings, 44532793 edges, 120525 markings/sec, 115 secs
lola: 17780204 markings, 46248622 edges, 122625 markings/sec, 120 secs
lola: 18385228 markings, 47949762 edges, 121005 markings/sec, 125 secs
lola: 18990162 markings, 49652942 edges, 120987 markings/sec, 130 secs
lola: 19585006 markings, 51339241 edges, 118969 markings/sec, 135 secs
lola: 20183671 markings, 53026086 edges, 119733 markings/sec, 140 secs
lola: 20779060 markings, 54709286 edges, 119078 markings/sec, 145 secs
lola: 21383159 markings, 56402489 edges, 120820 markings/sec, 150 secs
lola: 21970500 markings, 58075278 edges, 117468 markings/sec, 155 secs
lola: 22551783 markings, 59738763 edges, 116257 markings/sec, 160 secs
lola: 23130810 markings, 61397093 edges, 115805 markings/sec, 165 secs
lola: 23707733 markings, 63039832 edges, 115385 markings/sec, 170 secs
lola: 24279227 markings, 64681263 edges, 114299 markings/sec, 175 secs
lola: 24852998 markings, 66320095 edges, 114754 markings/sec, 180 secs
lola: 25413233 markings, 67940218 edges, 112047 markings/sec, 185 secs
lola: 25981988 markings, 69573407 edges, 113751 markings/sec, 190 secs
lola: 26541675 markings, 71192992 edges, 111937 markings/sec, 195 secs
lola: 27105735 markings, 72817595 edges, 112812 markings/sec, 200 secs
lola: 27666812 markings, 74439484 edges, 112215 markings/sec, 205 secs
lola: 28227591 markings, 76059521 edges, 112156 markings/sec, 210 secs
lola: 28791383 markings, 77683351 edges, 112758 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(SYNACK)
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: 1191036 markings, 2526216 edges, 238207 markings/sec, 0 secs
lola: 2157597 markings, 4782814 edges, 193312 markings/sec, 5 secs
lola: 3067150 markings, 6958256 edges, 181911 markings/sec, 10 secs
lola: 3935299 markings, 9075186 edges, 173630 markings/sec, 15 secs
lola: 4781195 markings, 11135923 edges, 169179 markings/sec, 20 secs
lola: 5605236 markings, 13157874 edges, 164808 markings/sec, 25 secs
lola: 6405749 markings, 15138389 edges, 160103 markings/sec, 30 secs
lola: 7190224 markings, 17092832 edges, 156895 markings/sec, 35 secs
lola: 7970950 markings, 19040211 edges, 156145 markings/sec, 40 secs
lola: 8747358 markings, 20969537 edges, 155282 markings/sec, 45 secs
lola: 9508753 markings, 22886298 edges, 152279 markings/sec, 50 secs
lola: 10262121 markings, 24783059 edges, 150674 markings/sec, 55 secs
lola: 11007233 markings, 26669883 edges, 149022 markings/sec, 60 secs
lola: 11748332 markings, 28544375 edges, 148220 markings/sec, 65 secs
lola: 12484084 markings, 30411140 edges, 147150 markings/sec, 70 secs
lola: 13213296 markings, 32269174 edges, 145842 markings/sec, 75 secs
lola: 13935361 markings, 34113766 edges, 144413 markings/sec, 80 secs
lola: 14653626 markings, 35953394 edges, 143653 markings/sec, 85 secs
lola: 15372563 markings, 37787205 edges, 143787 markings/sec, 90 secs
lola: 16087906 markings, 39614221 edges, 143069 markings/sec, 95 secs
lola: 16791179 markings, 41426639 edges, 140655 markings/sec, 100 secs
lola: 17498889 markings, 43234467 edges, 141542 markings/sec, 105 secs
lola: 18198669 markings, 45030740 edges, 139956 markings/sec, 110 secs
lola: 18890554 markings, 46815995 edges, 138377 markings/sec, 115 secs
lola: 19573046 markings, 48588081 edges, 136498 markings/sec, 120 secs
lola: 20257959 markings, 50351561 edges, 136983 markings/sec, 125 secs
lola: 20936075 markings, 52113402 edges, 135623 markings/sec, 130 secs
lola: 21597764 markings, 53836899 edges, 132338 markings/sec, 135 secs
lola: 22248255 markings, 55521838 edges, 130098 markings/sec, 140 secs
lola: 22926546 markings, 57282456 edges, 135658 markings/sec, 145 secs
lola: 23597517 markings, 59034628 edges, 134194 markings/sec, 150 secs
lola: 24266335 markings, 60777673 edges, 133764 markings/sec, 155 secs
lola: 24921061 markings, 62496939 edges, 130945 markings/sec, 160 secs
lola: 25581279 markings, 64221551 edges, 132044 markings/sec, 165 secs
lola: 26242878 markings, 65947801 edges, 132320 markings/sec, 170 secs
lola: 26898922 markings, 67668453 edges, 131209 markings/sec, 175 secs
lola: 27548938 markings, 69381170 edges, 130003 markings/sec, 180 secs
lola: 28203823 markings, 71102318 edges, 130977 markings/sec, 185 secs
lola: 28855008 markings, 72817898 edges, 130237 markings/sec, 190 secs
lola: 29505248 markings, 74530738 edges, 130048 markings/sec, 195 secs
lola: 30156448 markings, 76248154 edges, 130240 markings/sec, 200 secs
lola: 30806953 markings, 77959700 edges, 130101 markings/sec, 205 secs
lola: 31450173 markings, 79663901 edges, 128644 markings/sec, 210 secs
lola: 32097046 markings, 81369925 edges, 129375 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(xCLOSED)
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: 1098795 markings, 2337058 edges, 219759 markings/sec, 0 secs
lola: 1956731 markings, 4382078 edges, 171587 markings/sec, 5 secs
lola: 2758876 markings, 6338569 edges, 160429 markings/sec, 10 secs
lola: 3519058 markings, 8223230 edges, 152036 markings/sec, 15 secs
lola: 4239475 markings, 10043123 edges, 144083 markings/sec, 20 secs
lola: 4942924 markings, 11834925 edges, 140690 markings/sec, 25 secs
lola: 5645883 markings, 13621691 edges, 140592 markings/sec, 30 secs
lola: 6337297 markings, 15378531 edges, 138283 markings/sec, 35 secs
lola: 7008865 markings, 17105930 edges, 134314 markings/sec, 40 secs
lola: 7664022 markings, 18802537 edges, 131031 markings/sec, 45 secs
lola: 8315026 markings, 20492912 edges, 130201 markings/sec, 50 secs
lola: 8968424 markings, 22181594 edges, 130680 markings/sec, 55 secs
lola: 9605764 markings, 23846510 edges, 127468 markings/sec, 60 secs
lola: 10236786 markings, 25506911 edges, 126204 markings/sec, 65 secs
lola: 10863370 markings, 27143974 edges, 125317 markings/sec, 70 secs
lola: 11490132 markings, 28781388 edges, 125352 markings/sec, 75 secs
lola: 12108871 markings, 30411769 edges, 123748 markings/sec, 80 secs
lola: 12725227 markings, 32036193 edges, 123271 markings/sec, 85 secs
lola: 13341282 markings, 33662366 edges, 123211 markings/sec, 90 secs
lola: 13947835 markings, 35271947 edges, 121311 markings/sec, 95 secs
lola: 14557340 markings, 36877673 edges, 121901 markings/sec, 100 secs
lola: 15158479 markings, 38471505 edges, 120228 markings/sec, 105 secs
lola: 15755420 markings, 40061910 edges, 119388 markings/sec, 110 secs
lola: 16345127 markings, 41637808 edges, 117941 markings/sec, 115 secs
lola: 16936644 markings, 43213223 edges, 118303 markings/sec, 120 secs
lola: 17529302 markings, 44791545 edges, 118532 markings/sec, 125 secs
lola: 18113625 markings, 46351956 edges, 116865 markings/sec, 130 secs
lola: 18704598 markings, 47925920 edges, 118195 markings/sec, 135 secs
lola: 19288728 markings, 49486807 edges, 116826 markings/sec, 140 secs
lola: 19871763 markings, 51042506 edges, 116607 markings/sec, 145 secs
lola: 20442283 markings, 52586048 edges, 114104 markings/sec, 150 secs
lola: 21013518 markings, 54121202 edges, 114247 markings/sec, 155 secs
lola: 21591447 markings, 55669261 edges, 115586 markings/sec, 160 secs
lola: 22163099 markings, 57207328 edges, 114330 markings/sec, 165 secs
lola: 22734330 markings, 58747635 edges, 114246 markings/sec, 170 secs
lola: 23306638 markings, 60291192 edges, 114462 markings/sec, 175 secs
lola: 23874682 markings, 61829446 edges, 113609 markings/sec, 180 secs
lola: 24431282 markings, 63347592 edges, 111320 markings/sec, 185 secs
lola: 24989241 markings, 64854961 edges, 111592 markings/sec, 190 secs
lola: 25537182 markings, 66340727 edges, 109588 markings/sec, 195 secs
lola: 26086473 markings, 67835336 edges, 109858 markings/sec, 200 secs
lola: 26644083 markings, 69336954 edges, 111522 markings/sec, 205 secs
lola: 27194308 markings, 70824069 edges, 110045 markings/sec, 210 secs
lola: 27727987 markings, 72284309 edges, 106736 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(xFINACK)
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: 1131138 markings, 2183807 edges, 226228 markings/sec, 0 secs
lola: 2102623 markings, 4132331 edges, 194297 markings/sec, 5 secs
lola: 3027835 markings, 6015741 edges, 185042 markings/sec, 10 secs
lola: 3923382 markings, 7845807 edges, 179109 markings/sec, 15 secs
lola: 4787184 markings, 9624483 edges, 172760 markings/sec, 20 secs
lola: 5500818 markings, 11093691 edges, 142727 markings/sec, 25 secs
lola: 6083865 markings, 12301591 edges, 116609 markings/sec, 30 secs
lola: 6654121 markings, 13481687 edges, 114051 markings/sec, 35 secs
lola: 7287410 markings, 14796738 edges, 126658 markings/sec, 40 secs
lola: 7946058 markings, 16169681 edges, 131730 markings/sec, 45 secs
lola: 8625091 markings, 17591157 edges, 135807 markings/sec, 50 secs
lola: 9249173 markings, 18898313 edges, 124816 markings/sec, 55 secs
lola: 9917166 markings, 20302210 edges, 133599 markings/sec, 60 secs
lola: 10656770 markings, 21851289 edges, 147921 markings/sec, 65 secs
lola: 11396394 markings, 23406006 edges, 147925 markings/sec, 70 secs
lola: 11943220 markings, 24562151 edges, 109365 markings/sec, 75 secs
lola: 12479578 markings, 25701342 edges, 107272 markings/sec, 80 secs
lola: 13030055 markings, 26861400 edges, 110095 markings/sec, 85 secs
lola: 13592627 markings, 28044314 edges, 112514 markings/sec, 90 secs
lola: 14152358 markings, 29222076 edges, 111946 markings/sec, 95 secs
lola: 14690653 markings, 30367195 edges, 107659 markings/sec, 100 secs
lola: 15237139 markings, 31521608 edges, 109297 markings/sec, 105 secs
lola: 15752847 markings, 32618380 edges, 103142 markings/sec, 110 secs
lola: 16253853 markings, 33683544 edges, 100201 markings/sec, 115 secs
lola: 16782770 markings, 34808209 edges, 105783 markings/sec, 120 secs
lola: 17439135 markings, 36195769 edges, 131273 markings/sec, 125 secs
lola: 18188293 markings, 37781520 edges, 149832 markings/sec, 130 secs
lola: 18925552 markings, 39352648 edges, 147452 markings/sec, 135 secs
lola: 19658864 markings, 40911785 edges, 146662 markings/sec, 140 secs
lola: 20344707 markings, 42365175 edges, 137169 markings/sec, 145 secs
lola: 21043319 markings, 43851954 edges, 139722 markings/sec, 150 secs
lola: 21708639 markings, 45273906 edges, 133064 markings/sec, 155 secs
lola: 22361408 markings, 46665126 edges, 130554 markings/sec, 160 secs
lola: 22923201 markings, 47862215 edges, 112359 markings/sec, 165 secs
lola: 23436259 markings, 48958683 edges, 102612 markings/sec, 170 secs
lola: 23909269 markings, 49966696 edges, 94602 markings/sec, 175 secs
lola: 24379206 markings, 50970440 edges, 93987 markings/sec, 180 secs
lola: 24885113 markings, 52054279 edges, 101181 markings/sec, 185 secs
lola: 25519575 markings, 53404335 edges, 126892 markings/sec, 190 secs
lola: 26220586 markings, 54906709 edges, 140202 markings/sec, 195 secs
lola: 26889605 markings, 56345956 edges, 133804 markings/sec, 200 secs
lola: 27547023 markings, 57759312 edges, 131484 markings/sec, 205 secs
lola: 28153651 markings, 59062594 edges, 121326 markings/sec, 210 secs
lola: 28853881 markings, 60563178 edges, 140046 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(SYN)
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: 1154924 markings, 2335319 edges, 230985 markings/sec, 0 secs
lola: 1968279 markings, 4135966 edges, 162671 markings/sec, 5 secs
lola: 2767580 markings, 5941959 edges, 159860 markings/sec, 10 secs
lola: 3504190 markings, 7623167 edges, 147322 markings/sec, 15 secs
lola: 4203201 markings, 9241868 edges, 139802 markings/sec, 20 secs
lola: 4966630 markings, 11018532 edges, 152686 markings/sec, 25 secs
lola: 5792108 markings, 12932666 edges, 165096 markings/sec, 30 secs
lola: 6570085 markings, 14762733 edges, 155595 markings/sec, 35 secs
lola: 7324563 markings, 16542254 edges, 150896 markings/sec, 40 secs
lola: 8100051 markings, 18373649 edges, 155098 markings/sec, 45 secs
lola: 8853033 markings, 20169398 edges, 150596 markings/sec, 50 secs
lola: 9546441 markings, 21827540 edges, 138682 markings/sec, 55 secs
lola: 10113598 markings, 23184239 edges, 113431 markings/sec, 60 secs
lola: 10639364 markings, 24445026 edges, 105153 markings/sec, 65 secs
lola: 11159209 markings, 25687734 edges, 103969 markings/sec, 70 secs
lola: 11681400 markings, 26935736 edges, 104438 markings/sec, 75 secs
lola: 12199147 markings, 28174792 edges, 103549 markings/sec, 80 secs
lola: 12715482 markings, 29417532 edges, 103267 markings/sec, 85 secs
lola: 13319244 markings, 30878583 edges, 120752 markings/sec, 90 secs
lola: 13935215 markings, 32363558 edges, 123194 markings/sec, 95 secs
lola: 14560932 markings, 33866118 edges, 125143 markings/sec, 100 secs
lola: 15156052 markings, 35308789 edges, 119024 markings/sec, 105 secs
lola: 15757832 markings, 36768195 edges, 120356 markings/sec, 110 secs
lola: 16412706 markings, 38347718 edges, 130975 markings/sec, 115 secs
lola: 17121964 markings, 40065866 edges, 141852 markings/sec, 120 secs
lola: 17825869 markings, 41784026 edges, 140781 markings/sec, 125 secs
lola: 18542507 markings, 43506501 edges, 143328 markings/sec, 130 secs
lola: 19247982 markings, 45218782 edges, 141095 markings/sec, 135 secs
lola: 19952246 markings, 46934220 edges, 140853 markings/sec, 140 secs
lola: 20648820 markings, 48633190 edges, 139315 markings/sec, 145 secs
lola: 21341453 markings, 50331520 edges, 138527 markings/sec, 150 secs
lola: 22042790 markings, 52044128 edges, 140267 markings/sec, 155 secs
lola: 22732949 markings, 53739449 edges, 138032 markings/sec, 160 secs
lola: 23418292 markings, 55422339 edges, 137069 markings/sec, 165 secs
lola: 24103181 markings, 57104332 edges, 136978 markings/sec, 170 secs
lola: 24783467 markings, 58775091 edges, 136057 markings/sec, 175 secs
lola: 25467783 markings, 60452331 edges, 136863 markings/sec, 180 secs
lola: 26145707 markings, 62120286 edges, 135585 markings/sec, 185 secs
lola: 26821049 markings, 63776407 edges, 135068 markings/sec, 190 secs
lola: 27498582 markings, 65443179 edges, 135507 markings/sec, 195 secs
lola: 28182822 markings, 67120844 edges, 136848 markings/sec, 200 secs
lola: 28863516 markings, 68796859 edges, 136139 markings/sec, 205 secs
lola: 29535580 markings, 70458046 edges, 134413 markings/sec, 210 secs
lola: 30211579 markings, 72125691 edges, 135200 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(xLISTEN)
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: 1326190 markings, 2459686 edges, 265238 markings/sec, 0 secs
lola: 2392851 markings, 4606398 edges, 213332 markings/sec, 5 secs
lola: 3381560 markings, 6675832 edges, 197742 markings/sec, 10 secs
lola: 4299737 markings, 8634052 edges, 183635 markings/sec, 15 secs
lola: 5167407 markings, 10518324 edges, 173534 markings/sec, 20 secs
lola: 6031869 markings, 12401481 edges, 172892 markings/sec, 25 secs
lola: 6860816 markings, 14225231 edges, 165789 markings/sec, 30 secs
lola: 7663753 markings, 16011549 edges, 160587 markings/sec, 35 secs
lola: 8468864 markings, 17811086 edges, 161022 markings/sec, 40 secs
lola: 9255733 markings, 19560907 edges, 157374 markings/sec, 45 secs
lola: 10032881 markings, 21298715 edges, 155430 markings/sec, 50 secs
lola: 10810752 markings, 23041332 edges, 155574 markings/sec, 55 secs
lola: 11570081 markings, 24752331 edges, 151866 markings/sec, 60 secs
lola: 12318399 markings, 26445776 edges, 149664 markings/sec, 65 secs
lola: 13066987 markings, 28145199 edges, 149718 markings/sec, 70 secs
lola: 13806028 markings, 29822598 edges, 147808 markings/sec, 75 secs
lola: 14533129 markings, 31475771 edges, 145420 markings/sec, 80 secs
lola: 15260782 markings, 33139746 edges, 145531 markings/sec, 85 secs
lola: 15983656 markings, 34787547 edges, 144575 markings/sec, 90 secs
lola: 16695924 markings, 36412528 edges, 142454 markings/sec, 95 secs
lola: 17410101 markings, 38051297 edges, 142835 markings/sec, 100 secs
lola: 18114923 markings, 39670237 edges, 140964 markings/sec, 105 secs
lola: 18820371 markings, 41295616 edges, 141090 markings/sec, 110 secs
lola: 19520849 markings, 42905312 edges, 140096 markings/sec, 115 secs
lola: 20219078 markings, 44516677 edges, 139646 markings/sec, 120 secs
lola: 20916948 markings, 46120738 edges, 139574 markings/sec, 125 secs
lola: 21613620 markings, 47733205 edges, 139334 markings/sec, 130 secs
lola: 22299821 markings, 49323423 edges, 137240 markings/sec, 135 secs
lola: 22991144 markings, 50908897 edges, 138265 markings/sec, 140 secs
lola: 23672966 markings, 52491066 edges, 136364 markings/sec, 145 secs
lola: 24349910 markings, 54059339 edges, 135389 markings/sec, 150 secs
lola: 25034398 markings, 55637913 edges, 136898 markings/sec, 155 secs
lola: 25719729 markings, 57224669 edges, 137066 markings/sec, 160 secs
lola: 26392312 markings, 58781994 edges, 134517 markings/sec, 165 secs
lola: 27068877 markings, 60356029 edges, 135313 markings/sec, 170 secs
lola: 27730405 markings, 61891252 edges, 132306 markings/sec, 175 secs
lola: 28404603 markings, 63457111 edges, 134840 markings/sec, 180 secs
lola: 29064890 markings, 64989631 edges, 132057 markings/sec, 185 secs
lola: 29722327 markings, 66530029 edges, 131487 markings/sec, 190 secs
lola: 30379554 markings, 68063992 edges, 131445 markings/sec, 195 secs
lola: 31028218 markings, 69585696 edges, 129733 markings/sec, 200 secs
lola: 31690315 markings, 71125939 edges, 132419 markings/sec, 205 secs
lola: 32341073 markings, 72650524 edges, 130152 markings/sec, 210 secs
lola: 32996319 markings, 74182199 edges, 131049 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(CLOSING)
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: 1335206 markings, 2267184 edges, 267041 markings/sec, 0 secs
lola: 2521029 markings, 4307160 edges, 237165 markings/sec, 5 secs
lola: 3670658 markings, 6290508 edges, 229926 markings/sec, 10 secs
lola: 4785582 markings, 8209960 edges, 222985 markings/sec, 15 secs
lola: 5877832 markings, 10099411 edges, 218450 markings/sec, 20 secs
lola: 6948661 markings, 11948802 edges, 214166 markings/sec, 25 secs
lola: 8009888 markings, 13789492 edges, 212245 markings/sec, 30 secs
lola: 9063460 markings, 15613996 edges, 210714 markings/sec, 35 secs
lola: 10112214 markings, 17432277 edges, 209751 markings/sec, 40 secs
lola: 11148464 markings, 19230485 edges, 207250 markings/sec, 45 secs
lola: 12168586 markings, 20997058 edges, 204024 markings/sec, 50 secs
lola: 13191487 markings, 22771774 edges, 204580 markings/sec, 55 secs
lola: 14203328 markings, 24529541 edges, 202368 markings/sec, 60 secs
lola: 15212500 markings, 26276450 edges, 201834 markings/sec, 65 secs
lola: 16204575 markings, 28001875 edges, 198415 markings/sec, 70 secs
lola: 17194628 markings, 29720619 edges, 198011 markings/sec, 75 secs
lola: 18178772 markings, 31430095 edges, 196829 markings/sec, 80 secs
lola: 19160808 markings, 33137290 edges, 196407 markings/sec, 85 secs
lola: 20144181 markings, 34846312 edges, 196675 markings/sec, 90 secs
lola: 21124603 markings, 36544937 edges, 196084 markings/sec, 95 secs
lola: 22096520 markings, 38236309 edges, 194383 markings/sec, 100 secs
lola: 23062362 markings, 39919402 edges, 193168 markings/sec, 105 secs
lola: 24025998 markings, 41595767 edges, 192727 markings/sec, 110 secs
lola: 24991036 markings, 43272549 edges, 193008 markings/sec, 115 secs
lola: 25963392 markings, 44962145 edges, 194471 markings/sec, 120 secs
lola: 26927060 markings, 46638253 edges, 192734 markings/sec, 125 secs
lola: 27887887 markings, 48310981 edges, 192165 markings/sec, 130 secs
lola: 28848642 markings, 49980572 edges, 192151 markings/sec, 135 secs
lola: 29812137 markings, 51655442 edges, 192699 markings/sec, 140 secs
lola: 30769169 markings, 53321388 edges, 191406 markings/sec, 145 secs
lola: 31723773 markings, 54980462 edges, 190921 markings/sec, 150 secs
lola: 32674895 markings, 56634253 edges, 190224 markings/sec, 155 secs
lola: 33630559 markings, 58300055 edges, 191133 markings/sec, 160 secs
lola: 34591644 markings, 59971364 edges, 192217 markings/sec, 165 secs
lola: 35542579 markings, 61627066 edges, 190187 markings/sec, 170 secs
lola: 36492810 markings, 63274657 edges, 190046 markings/sec, 175 secs
lola: 37447944 markings, 64930801 edges, 191027 markings/sec, 180 secs
lola: 38391403 markings, 66569393 edges, 188692 markings/sec, 185 secs
lola: 39342548 markings, 68225416 edges, 190229 markings/sec, 190 secs
lola: 40288679 markings, 69874354 edges, 189226 markings/sec, 195 secs
lola: 41232843 markings, 71518820 edges, 188833 markings/sec, 200 secs
lola: 42179706 markings, 73163387 edges, 189373 markings/sec, 205 secs
lola: 43129389 markings, 74815150 edges, 189937 markings/sec, 210 secs
lola: 44076548 markings, 76463808 edges, 189432 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(xTIMEWAIT)
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: 1161994 markings, 2314053 edges, 232399 markings/sec, 0 secs
lola: 2078084 markings, 4381667 edges, 183218 markings/sec, 5 secs
lola: 2918309 markings, 6358520 edges, 168045 markings/sec, 10 secs
lola: 3736246 markings, 8284728 edges, 163587 markings/sec, 15 secs
lola: 4530444 markings, 10186754 edges, 158840 markings/sec, 20 secs
lola: 5302022 markings, 12053856 edges, 154316 markings/sec, 25 secs
lola: 6070510 markings, 13913193 edges, 153698 markings/sec, 30 secs
lola: 6820583 markings, 15749791 edges, 150015 markings/sec, 35 secs
lola: 7561920 markings, 17567581 edges, 148267 markings/sec, 40 secs
lola: 8284506 markings, 19367369 edges, 144517 markings/sec, 45 secs
lola: 8994759 markings, 21166524 edges, 142051 markings/sec, 50 secs
lola: 9695244 markings, 22951516 edges, 140097 markings/sec, 55 secs
lola: 10379044 markings, 24727184 edges, 136760 markings/sec, 60 secs
lola: 11046039 markings, 26467596 edges, 133399 markings/sec, 65 secs
lola: 11702258 markings, 28188476 edges, 131244 markings/sec, 70 secs
lola: 12341948 markings, 29903694 edges, 127938 markings/sec, 75 secs
lola: 12969703 markings, 31594360 edges, 125551 markings/sec, 80 secs
lola: 13588629 markings, 33281484 edges, 123785 markings/sec, 85 secs
lola: 14198916 markings, 34951024 edges, 122057 markings/sec, 90 secs
lola: 14798382 markings, 36623400 edges, 119893 markings/sec, 95 secs
lola: 15389835 markings, 38275070 edges, 118291 markings/sec, 100 secs
lola: 15976339 markings, 39927680 edges, 117301 markings/sec, 105 secs
lola: 16557164 markings, 41569393 edges, 116165 markings/sec, 110 secs
lola: 17131063 markings, 43199641 edges, 114780 markings/sec, 115 secs
lola: 17697928 markings, 44822712 edges, 113373 markings/sec, 120 secs
lola: 18253807 markings, 46413399 edges, 111176 markings/sec, 125 secs
lola: 18801345 markings, 48000159 edges, 109508 markings/sec, 130 secs
lola: 19343297 markings, 49570368 edges, 108390 markings/sec, 135 secs
lola: 19878054 markings, 51124499 edges, 106951 markings/sec, 140 secs
lola: 20407302 markings, 52681160 edges, 105850 markings/sec, 145 secs
lola: 20933728 markings, 54222147 edges, 105285 markings/sec, 150 secs
lola: 21444936 markings, 55721585 edges, 102242 markings/sec, 155 secs
lola: 21955020 markings, 57215872 edges, 102017 markings/sec, 160 secs
lola: 22472038 markings, 58754575 edges, 103404 markings/sec, 165 secs
lola: 22991398 markings, 60288224 edges, 103872 markings/sec, 170 secs
lola: 23515507 markings, 61839711 edges, 104822 markings/sec, 175 secs
lola: 24031252 markings, 63395391 edges, 103149 markings/sec, 180 secs
lola: 24546722 markings, 64939572 edges, 103094 markings/sec, 185 secs
lola: 25058321 markings, 66481153 edges, 102320 markings/sec, 190 secs
lola: 25572278 markings, 68022858 edges, 102791 markings/sec, 195 secs
lola: 26085186 markings, 69556522 edges, 102582 markings/sec, 200 secs
lola: 26592525 markings, 71087244 edges, 101468 markings/sec, 205 secs
lola: 27093229 markings, 72607493 edges, 100141 markings/sec, 210 secs
lola: 27589459 markings, 74125922 edges, 99246 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xFINWAIT2)
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: 1280375 markings, 2280729 edges, 256075 markings/sec, 0 secs
lola: 2377228 markings, 4284314 edges, 219371 markings/sec, 5 secs
lola: 3419226 markings, 6194408 edges, 208400 markings/sec, 10 secs
lola: 4410468 markings, 8027081 edges, 198248 markings/sec, 15 secs
lola: 5366496 markings, 9806092 edges, 191206 markings/sec, 20 secs
lola: 6298092 markings, 11542803 edges, 186319 markings/sec, 25 secs
lola: 7211570 markings, 13251497 edges, 182696 markings/sec, 30 secs
lola: 8108504 markings, 14934702 edges, 179387 markings/sec, 35 secs
lola: 9002444 markings, 16604358 edges, 178788 markings/sec, 40 secs
lola: 9863086 markings, 18228428 edges, 172128 markings/sec, 45 secs
lola: 10724861 markings, 19846406 edges, 172355 markings/sec, 50 secs
lola: 11557445 markings, 21427522 edges, 166517 markings/sec, 55 secs
lola: 12401680 markings, 23017321 edges, 168847 markings/sec, 60 secs
lola: 13233335 markings, 24585823 edges, 166331 markings/sec, 65 secs
lola: 14036427 markings, 26126097 edges, 160618 markings/sec, 70 secs
lola: 14855495 markings, 27678853 edges, 163814 markings/sec, 75 secs
lola: 15669079 markings, 29218672 edges, 162717 markings/sec, 80 secs
lola: 16473559 markings, 30747646 edges, 160896 markings/sec, 85 secs
lola: 17289955 markings, 32281935 edges, 163279 markings/sec, 90 secs
lola: 18082670 markings, 33793611 edges, 158543 markings/sec, 95 secs
lola: 18872743 markings, 35295894 edges, 158015 markings/sec, 100 secs
lola: 19648870 markings, 36784747 edges, 155225 markings/sec, 105 secs
lola: 20416854 markings, 38261027 edges, 153597 markings/sec, 110 secs
lola: 21195164 markings, 39744445 edges, 155662 markings/sec, 115 secs
lola: 21970282 markings, 41221531 edges, 155024 markings/sec, 120 secs
lola: 22731477 markings, 42684246 edges, 152239 markings/sec, 125 secs
lola: 23486790 markings, 44137586 edges, 151063 markings/sec, 130 secs
lola: 24249839 markings, 45597357 edges, 152610 markings/sec, 135 secs
lola: 25010517 markings, 47053713 edges, 152136 markings/sec, 140 secs
lola: 25752701 markings, 48490909 edges, 148437 markings/sec, 145 secs
lola: 26506217 markings, 49937642 edges, 150703 markings/sec, 150 secs
lola: 27250226 markings, 51368522 edges, 148802 markings/sec, 155 secs
lola: 27989790 markings, 52792704 edges, 147913 markings/sec, 160 secs
lola: 28723027 markings, 54205688 edges, 146647 markings/sec, 165 secs
lola: 29460729 markings, 55620307 edges, 147540 markings/sec, 170 secs
lola: 30186543 markings, 57029074 edges, 145163 markings/sec, 175 secs
lola: 30919555 markings, 58441554 edges, 146602 markings/sec, 180 secs
lola: 31661417 markings, 59860329 edges, 148372 markings/sec, 185 secs
lola: 32386524 markings, 61265934 edges, 145021 markings/sec, 190 secs
lola: 33108612 markings, 62665031 edges, 144418 markings/sec, 195 secs
lola: 33834799 markings, 64063850 edges, 145237 markings/sec, 200 secs
lola: 34538518 markings, 65431446 edges, 140744 markings/sec, 205 secs
lola: 35236317 markings, 66780032 edges, 139560 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ESTAB)
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: 996261 markings, 2636382 edges, 199252 markings/sec, 0 secs
lola: 1805661 markings, 4996839 edges, 161880 markings/sec, 5 secs
lola: 2555740 markings, 7253548 edges, 150016 markings/sec, 10 secs
lola: 3267205 markings, 9437035 edges, 142293 markings/sec, 15 secs
lola: 3952954 markings, 11568839 edges, 137150 markings/sec, 20 secs
lola: 4619701 markings, 13660983 edges, 133349 markings/sec, 25 secs
lola: 5270238 markings, 15713115 edges, 130107 markings/sec, 30 secs
lola: 5910220 markings, 17746473 edges, 127996 markings/sec, 35 secs
lola: 6537692 markings, 19749634 edges, 125494 markings/sec, 40 secs
lola: 7155032 markings, 21730091 edges, 123468 markings/sec, 45 secs
lola: 7760459 markings, 23689385 edges, 121085 markings/sec, 50 secs
lola: 8362458 markings, 25636325 edges, 120400 markings/sec, 55 secs
lola: 8953877 markings, 27563567 edges, 118284 markings/sec, 60 secs
lola: 9539011 markings, 29470124 edges, 117027 markings/sec, 65 secs
lola: 10117635 markings, 31361129 edges, 115725 markings/sec, 70 secs
lola: 10693113 markings, 33247498 edges, 115096 markings/sec, 75 secs
lola: 11262727 markings, 35117020 edges, 113923 markings/sec, 80 secs
lola: 11828701 markings, 36984107 edges, 113195 markings/sec, 85 secs
lola: 12391787 markings, 38844454 edges, 112617 markings/sec, 90 secs
lola: 12953699 markings, 40704376 edges, 112382 markings/sec, 95 secs
lola: 13510113 markings, 42556187 edges, 111283 markings/sec, 100 secs
lola: 14058063 markings, 44381680 edges, 109590 markings/sec, 105 secs
lola: 14603079 markings, 46195473 edges, 109003 markings/sec, 110 secs
lola: 15135588 markings, 47977383 edges, 106502 markings/sec, 115 secs
lola: 15666914 markings, 49754954 edges, 106265 markings/sec, 120 secs
lola: 16192327 markings, 51518071 edges, 105083 markings/sec, 125 secs
lola: 16718027 markings, 53280669 edges, 105140 markings/sec, 130 secs
lola: 17239365 markings, 55033257 edges, 104268 markings/sec, 135 secs
lola: 17762474 markings, 56797735 edges, 104622 markings/sec, 140 secs
lola: 18279606 markings, 58548688 edges, 103426 markings/sec, 145 secs
lola: 18797571 markings, 60300731 edges, 103593 markings/sec, 150 secs
lola: 19317927 markings, 62057788 edges, 104071 markings/sec, 155 secs
lola: 19834023 markings, 63807691 edges, 103219 markings/sec, 160 secs
lola: 20350108 markings, 65551912 edges, 103217 markings/sec, 165 secs
lola: 20862929 markings, 67292779 edges, 102564 markings/sec, 170 secs
lola: 21372893 markings, 69030416 edges, 101993 markings/sec, 175 secs
lola: 21884656 markings, 70765053 edges, 102353 markings/sec, 180 secs
lola: 22387008 markings, 72470707 edges, 100470 markings/sec, 185 secs
lola: 22885825 markings, 74175437 edges, 99763 markings/sec, 190 secs
lola: 23386434 markings, 75884753 edges, 100122 markings/sec, 195 secs
lola: 23883476 markings, 77576207 edges, 99408 markings/sec, 200 secs
lola: 24377929 markings, 79260174 edges, 98891 markings/sec, 205 secs
lola: 24869077 markings, 80939423 edges, 98230 markings/sec, 210 secs
lola: 25358329 markings, 82612204 edges, 97850 markings/sec, 215 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(SYN)
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: 1209211 markings, 2455312 edges, 241842 markings/sec, 0 secs
lola: 2193867 markings, 4636281 edges, 196931 markings/sec, 5 secs
lola: 3109340 markings, 6723288 edges, 183095 markings/sec, 10 secs
lola: 3986831 markings, 8740343 edges, 175498 markings/sec, 15 secs
lola: 4844063 markings, 10732013 edges, 171446 markings/sec, 20 secs
lola: 5688302 markings, 12691491 edges, 168848 markings/sec, 25 secs
lola: 6503367 markings, 14601778 edges, 163013 markings/sec, 30 secs
lola: 7306679 markings, 16499339 edges, 160662 markings/sec, 35 secs
lola: 8094775 markings, 18361456 edges, 157619 markings/sec, 40 secs
lola: 8868516 markings, 20206069 edges, 154748 markings/sec, 45 secs
lola: 9642187 markings, 22055939 edges, 154734 markings/sec, 50 secs
lola: 10407149 markings, 23885446 edges, 152992 markings/sec, 55 secs
lola: 11165886 markings, 25703583 edges, 151747 markings/sec, 60 secs
lola: 11927056 markings, 27522310 edges, 152234 markings/sec, 65 secs
lola: 12673805 markings, 29318000 edges, 149350 markings/sec, 70 secs
lola: 13407914 markings, 31092022 edges, 146822 markings/sec, 75 secs
lola: 14146682 markings, 32872948 edges, 147754 markings/sec, 80 secs
lola: 14882502 markings, 34641913 edges, 147164 markings/sec, 85 secs
lola: 15609006 markings, 36403150 edges, 145301 markings/sec, 90 secs
lola: 16334853 markings, 38159848 edges, 145169 markings/sec, 95 secs
lola: 17055674 markings, 39901349 edges, 144164 markings/sec, 100 secs
lola: 17771311 markings, 41649078 edges, 143127 markings/sec, 105 secs
lola: 18496660 markings, 43396569 edges, 145070 markings/sec, 110 secs
lola: 19215740 markings, 45140621 edges, 143816 markings/sec, 115 secs
lola: 19930417 markings, 46879759 edges, 142935 markings/sec, 120 secs
lola: 20642119 markings, 48616557 edges, 142340 markings/sec, 125 secs
lola: 21351347 markings, 50356689 edges, 141846 markings/sec, 130 secs
lola: 22056399 markings, 52077735 edges, 141010 markings/sec, 135 secs
lola: 22750889 markings, 53783787 edges, 138898 markings/sec, 140 secs
lola: 23441889 markings, 55481931 edges, 138200 markings/sec, 145 secs
lola: 24136462 markings, 57184973 edges, 138915 markings/sec, 150 secs
lola: 24825146 markings, 58875567 edges, 137737 markings/sec, 155 secs
lola: 25516185 markings, 60571097 edges, 138208 markings/sec, 160 secs
lola: 26203312 markings, 62260257 edges, 137425 markings/sec, 165 secs
lola: 26899074 markings, 63970934 edges, 139152 markings/sec, 170 secs
lola: 27594134 markings, 65678974 edges, 139012 markings/sec, 175 secs
lola: 28287657 markings, 67378535 edges, 138705 markings/sec, 180 secs
lola: 28977133 markings, 69079497 edges, 137895 markings/sec, 185 secs
lola: 29665556 markings, 70777510 edges, 137685 markings/sec, 190 secs
lola: 30352682 markings, 72473916 edges, 137425 markings/sec, 195 secs
lola: 31037956 markings, 74166374 edges, 137055 markings/sec, 200 secs
lola: 31718386 markings, 75850854 edges, 136086 markings/sec, 205 secs
lola: 32397395 markings, 77536034 edges, 135802 markings/sec, 210 secs
lola: 33075276 markings, 79215573 edges, 135576 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(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: 1167996 markings, 2314988 edges, 233599 markings/sec, 0 secs
lola: 2194689 markings, 4393170 edges, 205339 markings/sec, 5 secs
lola: 3176595 markings, 6391552 edges, 196381 markings/sec, 10 secs
lola: 4123324 markings, 8333059 edges, 189346 markings/sec, 15 secs
lola: 5044213 markings, 10229109 edges, 184178 markings/sec, 20 secs
lola: 5946798 markings, 12087189 edges, 180517 markings/sec, 25 secs
lola: 6830624 markings, 13914299 edges, 176765 markings/sec, 30 secs
lola: 7695256 markings, 15709069 edges, 172926 markings/sec, 35 secs
lola: 8550566 markings, 17485539 edges, 171062 markings/sec, 40 secs
lola: 9398509 markings, 19246117 edges, 169589 markings/sec, 45 secs
lola: 10236571 markings, 20991295 edges, 167612 markings/sec, 50 secs
lola: 11070644 markings, 22729655 edges, 166815 markings/sec, 55 secs
lola: 11897595 markings, 24454079 edges, 165390 markings/sec, 60 secs
lola: 12721734 markings, 26171082 edges, 164828 markings/sec, 65 secs
lola: 13541030 markings, 27879186 edges, 163859 markings/sec, 70 secs
lola: 14348599 markings, 29572918 edges, 161514 markings/sec, 75 secs
lola: 15149718 markings, 31248507 edges, 160224 markings/sec, 80 secs
lola: 15946498 markings, 32918790 edges, 159356 markings/sec, 85 secs
lola: 16738924 markings, 34580192 edges, 158485 markings/sec, 90 secs
lola: 17527390 markings, 36232961 edges, 157693 markings/sec, 95 secs
lola: 18312363 markings, 37877341 edges, 156995 markings/sec, 100 secs
lola: 19095731 markings, 39520424 edges, 156674 markings/sec, 105 secs
lola: 19879076 markings, 41159832 edges, 156669 markings/sec, 110 secs
lola: 20652608 markings, 42787830 edges, 154706 markings/sec, 115 secs
lola: 21423184 markings, 44409156 edges, 154115 markings/sec, 120 secs
lola: 22194753 markings, 46031388 edges, 154314 markings/sec, 125 secs
lola: 22962990 markings, 47647261 edges, 153647 markings/sec, 130 secs
lola: 23727606 markings, 49259768 edges, 152923 markings/sec, 135 secs
lola: 24492303 markings, 50866734 edges, 152939 markings/sec, 140 secs
lola: 25257786 markings, 52480470 edges, 153097 markings/sec, 145 secs
lola: 26019441 markings, 54085698 edges, 152331 markings/sec, 150 secs
lola: 26779896 markings, 55688799 edges, 152091 markings/sec, 155 secs
lola: 27538583 markings, 57289562 edges, 151737 markings/sec, 160 secs
lola: 28278515 markings, 58855368 edges, 147986 markings/sec, 165 secs
lola: 29015099 markings, 60406182 edges, 147317 markings/sec, 170 secs
lola: 29745361 markings, 61949201 edges, 146052 markings/sec, 175 secs
lola: 30472630 markings, 63487783 edges, 145454 markings/sec, 180 secs
lola: 31205280 markings, 65030206 edges, 146530 markings/sec, 185 secs
lola: 31929643 markings, 66561680 edges, 144873 markings/sec, 190 secs
lola: 32651998 markings, 68091053 edges, 144471 markings/sec, 195 secs
lola: 33374294 markings, 69617051 edges, 144459 markings/sec, 200 secs
lola: 34091049 markings, 71141660 edges, 143351 markings/sec, 205 secs
lola: 34810125 markings, 72664712 edges, 143815 markings/sec, 210 secs
lola: 35527446 markings, 74186841 edges, 143464 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA TCPcondis-PT-35-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-35-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-35-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-35-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-35-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-35-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-35-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-35-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-35-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-35-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-35-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-35-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-35-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-35-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-35-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-35-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496569298354
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_TCPcondis-PT-35"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_TCPcondis-PT-35.tgz
mv S_TCPcondis-PT-35 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 S_TCPcondis-PT-35, 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 r158-ebro-149443464100227"
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 ;