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-40, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443464100236
=====================================================================

--------------------
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-40-UpperBounds-0
FORMULA_NAME TCPcondis-PT-40-UpperBounds-1
FORMULA_NAME TCPcondis-PT-40-UpperBounds-10
FORMULA_NAME TCPcondis-PT-40-UpperBounds-11
FORMULA_NAME TCPcondis-PT-40-UpperBounds-12
FORMULA_NAME TCPcondis-PT-40-UpperBounds-13
FORMULA_NAME TCPcondis-PT-40-UpperBounds-14
FORMULA_NAME TCPcondis-PT-40-UpperBounds-15
FORMULA_NAME TCPcondis-PT-40-UpperBounds-2
FORMULA_NAME TCPcondis-PT-40-UpperBounds-3
FORMULA_NAME TCPcondis-PT-40-UpperBounds-4
FORMULA_NAME TCPcondis-PT-40-UpperBounds-5
FORMULA_NAME TCPcondis-PT-40-UpperBounds-6
FORMULA_NAME TCPcondis-PT-40-UpperBounds-7
FORMULA_NAME TCPcondis-PT-40-UpperBounds-8
FORMULA_NAME TCPcondis-PT-40-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496566194241


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_TCPcondis-PT-40: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_TCPcondis-PT-40: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_TCPcondis-PT-40 @ 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-40-UpperBounds.task
lola: MAX(xESTAB) : MAX(xFINWAIT2) : MAX(FINACK) : MAX(xFIN) : MAX(SYNSENT) : MAX(LISTEN) : MAX(xSYN) : MAX(xCLOSING) : MAX(SYNRCVD) : MAX(CLOSEWAIT) : MAX(FINWAIT2) : MAX(xSYN) : MAX(SYNRCVD) : MAX(LASTACK) : MAX(FINACK) : MAX(xLASTACK)
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(xESTAB)
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: 880950 markings, 2405331 edges, 176190 markings/sec, 0 secs
lola: 1630693 markings, 4667944 edges, 149949 markings/sec, 5 secs
lola: 2336263 markings, 6857799 edges, 141114 markings/sec, 10 secs
lola: 3009336 markings, 8988276 edges, 134615 markings/sec, 15 secs
lola: 3656151 markings, 11052381 edges, 129363 markings/sec, 20 secs
lola: 4283933 markings, 13068912 edges, 125556 markings/sec, 25 secs
lola: 4895397 markings, 15061361 edges, 122293 markings/sec, 30 secs
lola: 5497219 markings, 17034225 edges, 120364 markings/sec, 35 secs
lola: 6089889 markings, 18981929 edges, 118534 markings/sec, 40 secs
lola: 6673264 markings, 20913668 edges, 116675 markings/sec, 45 secs
lola: 7231674 markings, 22770835 edges, 111682 markings/sec, 50 secs
lola: 7706432 markings, 24358748 edges, 94952 markings/sec, 55 secs
lola: 8182975 markings, 25947033 edges, 95309 markings/sec, 60 secs
lola: 8748445 markings, 27836133 edges, 113094 markings/sec, 65 secs
lola: 9302110 markings, 29695632 edges, 110733 markings/sec, 70 secs
lola: 9847565 markings, 31534093 edges, 109091 markings/sec, 75 secs
lola: 10386502 markings, 33358782 edges, 107787 markings/sec, 80 secs
lola: 10924119 markings, 35178726 edges, 107523 markings/sec, 85 secs
lola: 11449137 markings, 36961958 edges, 105004 markings/sec, 90 secs
lola: 11981767 markings, 38776800 edges, 106526 markings/sec, 95 secs
lola: 12517041 markings, 40596963 edges, 107055 markings/sec, 100 secs
lola: 13049029 markings, 42415681 edges, 106398 markings/sec, 105 secs
lola: 13576793 markings, 44225348 edges, 105553 markings/sec, 110 secs
lola: 14104144 markings, 46033151 edges, 105470 markings/sec, 115 secs
lola: 14629038 markings, 47832193 edges, 104979 markings/sec, 120 secs
lola: 15146776 markings, 49614636 edges, 103548 markings/sec, 125 secs
lola: 15660917 markings, 51387226 edges, 102828 markings/sec, 130 secs
lola: 16175370 markings, 53161368 edges, 102891 markings/sec, 135 secs
lola: 16687166 markings, 54927869 edges, 102359 markings/sec, 140 secs
lola: 17197995 markings, 56690621 edges, 102166 markings/sec, 145 secs
lola: 17700170 markings, 58437489 edges, 100435 markings/sec, 150 secs
lola: 18204581 markings, 60186706 edges, 100882 markings/sec, 155 secs
lola: 18703132 markings, 61927528 edges, 99710 markings/sec, 160 secs
lola: 19204441 markings, 63671551 edges, 100262 markings/sec, 165 secs
lola: 19704932 markings, 65415866 edges, 100098 markings/sec, 170 secs
lola: 20203503 markings, 67153726 edges, 99714 markings/sec, 175 secs
lola: 20703936 markings, 68891892 edges, 100087 markings/sec, 180 secs
lola: 21198095 markings, 70618680 edges, 98832 markings/sec, 185 secs
lola: 21687429 markings, 72336484 edges, 97867 markings/sec, 190 secs
lola: 22180005 markings, 74061361 edges, 98515 markings/sec, 195 secs
lola: 22669086 markings, 75776590 edges, 97816 markings/sec, 200 secs
lola: 23157070 markings, 77484288 edges, 97597 markings/sec, 205 secs
lola: 23643101 markings, 79187860 edges, 97206 markings/sec, 210 secs
lola: 24123458 markings, 80881203 edges, 96071 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(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: 1250872 markings, 2227397 edges, 250174 markings/sec, 0 secs
lola: 2309154 markings, 4158810 edges, 211656 markings/sec, 5 secs
lola: 3302906 markings, 5985670 edges, 198750 markings/sec, 10 secs
lola: 4253027 markings, 7738520 edges, 190024 markings/sec, 15 secs
lola: 5170005 markings, 9441263 edges, 183396 markings/sec, 20 secs
lola: 6060313 markings, 11099549 edges, 178062 markings/sec, 25 secs
lola: 6928736 markings, 12723377 edges, 173685 markings/sec, 30 secs
lola: 7779935 markings, 14321642 edges, 170240 markings/sec, 35 secs
lola: 8627375 markings, 15906994 edges, 169488 markings/sec, 40 secs
lola: 9462759 markings, 17469241 edges, 167077 markings/sec, 45 secs
lola: 10275673 markings, 19001515 edges, 162583 markings/sec, 50 secs
lola: 11077455 markings, 20514413 edges, 160356 markings/sec, 55 secs
lola: 11863892 markings, 22001795 edges, 157287 markings/sec, 60 secs
lola: 12654597 markings, 23491813 edges, 158141 markings/sec, 65 secs
lola: 13426405 markings, 24954935 edges, 154362 markings/sec, 70 secs
lola: 14186871 markings, 26407491 edges, 152093 markings/sec, 75 secs
lola: 14949702 markings, 27858129 edges, 152566 markings/sec, 80 secs
lola: 15712300 markings, 29302055 edges, 152520 markings/sec, 85 secs
lola: 16464949 markings, 30732296 edges, 150530 markings/sec, 90 secs
lola: 17234030 markings, 32174901 edges, 153816 markings/sec, 95 secs
lola: 17982364 markings, 33597409 edges, 149667 markings/sec, 100 secs
lola: 18723336 markings, 35008062 edges, 148194 markings/sec, 105 secs
lola: 19453274 markings, 36403059 edges, 145988 markings/sec, 110 secs
lola: 20172015 markings, 37788621 edges, 143748 markings/sec, 115 secs
lola: 20898718 markings, 39179969 edges, 145341 markings/sec, 120 secs
lola: 21628060 markings, 40567872 edges, 145868 markings/sec, 125 secs
lola: 22350491 markings, 41950283 edges, 144486 markings/sec, 130 secs
lola: 23058985 markings, 43317493 edges, 141699 markings/sec, 135 secs
lola: 23772965 markings, 44688767 edges, 142796 markings/sec, 140 secs
lola: 24473037 markings, 46041765 edges, 140014 markings/sec, 145 secs
lola: 25181546 markings, 47398815 edges, 141702 markings/sec, 150 secs
lola: 25890698 markings, 48753778 edges, 141830 markings/sec, 155 secs
lola: 26585949 markings, 50095172 edges, 139050 markings/sec, 160 secs
lola: 27282553 markings, 51434107 edges, 139321 markings/sec, 165 secs
lola: 27976262 markings, 52761950 edges, 138742 markings/sec, 170 secs
lola: 28664729 markings, 54092557 edges, 137693 markings/sec, 175 secs
lola: 29359859 markings, 55430243 edges, 139026 markings/sec, 180 secs
lola: 30044667 markings, 56757375 edges, 136962 markings/sec, 185 secs
lola: 30736929 markings, 58091415 edges, 138452 markings/sec, 190 secs
lola: 31426539 markings, 59420143 edges, 137922 markings/sec, 195 secs
lola: 32122399 markings, 60753584 edges, 139172 markings/sec, 200 secs
lola: 32801855 markings, 62074124 edges, 135891 markings/sec, 205 secs
lola: 33482143 markings, 63389803 edges, 136058 markings/sec, 210 secs
lola: 34160195 markings, 64702784 edges, 135610 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(FINACK)
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: 1095896 markings, 2031613 edges, 219179 markings/sec, 0 secs
lola: 1976857 markings, 3718138 edges, 176192 markings/sec, 5 secs
lola: 2820163 markings, 5356944 edges, 168661 markings/sec, 10 secs
lola: 3591373 markings, 6854577 edges, 154242 markings/sec, 15 secs
lola: 4330220 markings, 8302614 edges, 147769 markings/sec, 20 secs
lola: 5058983 markings, 9731034 edges, 145753 markings/sec, 25 secs
lola: 5772709 markings, 11136398 edges, 142745 markings/sec, 30 secs
lola: 6499100 markings, 12565485 edges, 145278 markings/sec, 35 secs
lola: 7222717 markings, 13994881 edges, 144723 markings/sec, 40 secs
lola: 8059799 markings, 15649435 edges, 167416 markings/sec, 45 secs
lola: 8929535 markings, 17378708 edges, 173947 markings/sec, 50 secs
lola: 9795253 markings, 19098174 edges, 173144 markings/sec, 55 secs
lola: 10653270 markings, 20805926 edges, 171603 markings/sec, 60 secs
lola: 11506419 markings, 22502090 edges, 170630 markings/sec, 65 secs
lola: 12349420 markings, 24178756 edges, 168600 markings/sec, 70 secs
lola: 13187672 markings, 25851465 edges, 167650 markings/sec, 75 secs
lola: 14020574 markings, 27512189 edges, 166580 markings/sec, 80 secs
lola: 14850654 markings, 29162498 edges, 166016 markings/sec, 85 secs
lola: 15673614 markings, 30806028 edges, 164592 markings/sec, 90 secs
lola: 16498017 markings, 32447241 edges, 164881 markings/sec, 95 secs
lola: 17304631 markings, 34066899 edges, 161323 markings/sec, 100 secs
lola: 18105049 markings, 35676405 edges, 160084 markings/sec, 105 secs
lola: 18911631 markings, 37295030 edges, 161316 markings/sec, 110 secs
lola: 19704100 markings, 38893350 edges, 158494 markings/sec, 115 secs
lola: 20502304 markings, 40490417 edges, 159641 markings/sec, 120 secs
lola: 21289437 markings, 42075051 edges, 157427 markings/sec, 125 secs
lola: 22078422 markings, 43661653 edges, 157797 markings/sec, 130 secs
lola: 22861929 markings, 45241256 edges, 156701 markings/sec, 135 secs
lola: 23647367 markings, 46818983 edges, 157088 markings/sec, 140 secs
lola: 24429321 markings, 48394061 edges, 156391 markings/sec, 145 secs
lola: 25202896 markings, 49953657 edges, 154715 markings/sec, 150 secs
lola: 25980184 markings, 51517467 edges, 155458 markings/sec, 155 secs
lola: 26747514 markings, 53071248 edges, 153466 markings/sec, 160 secs
lola: 27518180 markings, 54626719 edges, 154133 markings/sec, 165 secs
lola: 28287489 markings, 56179453 edges, 153862 markings/sec, 170 secs
lola: 29059361 markings, 57729172 edges, 154374 markings/sec, 175 secs
lola: 29816061 markings, 59260292 edges, 151340 markings/sec, 180 secs
lola: 30565204 markings, 60777282 edges, 149829 markings/sec, 185 secs
lola: 31310840 markings, 62290271 edges, 149127 markings/sec, 190 secs
lola: 32060876 markings, 63807067 edges, 150007 markings/sec, 195 secs
lola: 32808106 markings, 65320594 edges, 149446 markings/sec, 200 secs
lola: 33554208 markings, 66831021 edges, 149220 markings/sec, 205 secs
lola: 34295016 markings, 68331615 edges, 148162 markings/sec, 210 secs
lola: 35031433 markings, 69831751 edges, 147283 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(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: 1085716 markings, 2352230 edges, 217143 markings/sec, 0 secs
lola: 2019098 markings, 4446245 edges, 186676 markings/sec, 5 secs
lola: 2901964 markings, 6448852 edges, 176573 markings/sec, 10 secs
lola: 3746582 markings, 8384002 edges, 168924 markings/sec, 15 secs
lola: 4569647 markings, 10274314 edges, 164613 markings/sec, 20 secs
lola: 5367944 markings, 12119134 edges, 159659 markings/sec, 25 secs
lola: 6149199 markings, 13926708 edges, 156251 markings/sec, 30 secs
lola: 6919049 markings, 15713825 edges, 153970 markings/sec, 35 secs
lola: 7679000 markings, 17481210 edges, 151990 markings/sec, 40 secs
lola: 8432368 markings, 19242176 edges, 150674 markings/sec, 45 secs
lola: 9181362 markings, 20989000 edges, 149799 markings/sec, 50 secs
lola: 9922318 markings, 22720804 edges, 148191 markings/sec, 55 secs
lola: 10652968 markings, 24433921 edges, 146130 markings/sec, 60 secs
lola: 11380711 markings, 26139401 edges, 145549 markings/sec, 65 secs
lola: 12097463 markings, 27823844 edges, 143350 markings/sec, 70 secs
lola: 12806152 markings, 29494778 edges, 141738 markings/sec, 75 secs
lola: 13512412 markings, 31160294 edges, 141252 markings/sec, 80 secs
lola: 14214965 markings, 32817798 edges, 140511 markings/sec, 85 secs
lola: 14914798 markings, 34466919 edges, 139967 markings/sec, 90 secs
lola: 15608803 markings, 36108040 edges, 138801 markings/sec, 95 secs
lola: 16300967 markings, 37744758 edges, 138433 markings/sec, 100 secs
lola: 16987962 markings, 39374225 edges, 137399 markings/sec, 105 secs
lola: 17670644 markings, 40994223 edges, 136536 markings/sec, 110 secs
lola: 18347755 markings, 42601648 edges, 135422 markings/sec, 115 secs
lola: 19023802 markings, 44204718 edges, 135209 markings/sec, 120 secs
lola: 19694253 markings, 45800084 edges, 134090 markings/sec, 125 secs
lola: 20362603 markings, 47387887 edges, 133670 markings/sec, 130 secs
lola: 21030674 markings, 48975778 edges, 133614 markings/sec, 135 secs
lola: 21703383 markings, 50567509 edges, 134542 markings/sec, 140 secs
lola: 22363145 markings, 52140792 edges, 131952 markings/sec, 145 secs
lola: 23020480 markings, 53712094 edges, 131467 markings/sec, 150 secs
lola: 23681339 markings, 55290140 edges, 132172 markings/sec, 155 secs
lola: 24344992 markings, 56869741 edges, 132731 markings/sec, 160 secs
lola: 24996555 markings, 58426449 edges, 130313 markings/sec, 165 secs
lola: 25653321 markings, 59988651 edges, 131353 markings/sec, 170 secs
lola: 26301680 markings, 61542988 edges, 129672 markings/sec, 175 secs
lola: 26950416 markings, 63094367 edges, 129747 markings/sec, 180 secs
lola: 27600206 markings, 64647278 edges, 129958 markings/sec, 185 secs
lola: 28247688 markings, 66198668 edges, 129496 markings/sec, 190 secs
lola: 28891699 markings, 67744748 edges, 128802 markings/sec, 195 secs
lola: 29541381 markings, 69296292 edges, 129936 markings/sec, 200 secs
lola: 30187803 markings, 70843963 edges, 129284 markings/sec, 205 secs
lola: 30831877 markings, 72385945 edges, 128815 markings/sec, 210 secs
lola: 31472828 markings, 73927343 edges, 128190 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(SYNSENT)
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: 905608 markings, 2440275 edges, 181122 markings/sec, 0 secs
lola: 1657684 markings, 4600861 edges, 150415 markings/sec, 5 secs
lola: 2363885 markings, 6664236 edges, 141240 markings/sec, 10 secs
lola: 3034969 markings, 8651766 edges, 134217 markings/sec, 15 secs
lola: 3679844 markings, 10585131 edges, 128975 markings/sec, 20 secs
lola: 4306673 markings, 12473475 edges, 125366 markings/sec, 25 secs
lola: 4918724 markings, 14325636 edges, 122410 markings/sec, 30 secs
lola: 5517088 markings, 16146481 edges, 119673 markings/sec, 35 secs
lola: 6101536 markings, 17941777 edges, 116890 markings/sec, 40 secs
lola: 6677269 markings, 19711811 edges, 115147 markings/sec, 45 secs
lola: 7241886 markings, 21461015 edges, 112923 markings/sec, 50 secs
lola: 7802563 markings, 23195706 edges, 112135 markings/sec, 55 secs
lola: 8356279 markings, 24916067 edges, 110743 markings/sec, 60 secs
lola: 8897262 markings, 26612110 edges, 108197 markings/sec, 65 secs
lola: 9429707 markings, 28288297 edges, 106489 markings/sec, 70 secs
lola: 9958795 markings, 29956593 edges, 105818 markings/sec, 75 secs
lola: 10484990 markings, 31613477 edges, 105239 markings/sec, 80 secs
lola: 11005411 markings, 33256888 edges, 104084 markings/sec, 85 secs
lola: 11521931 markings, 34887971 edges, 103304 markings/sec, 90 secs
lola: 12033433 markings, 36509611 edges, 102300 markings/sec, 95 secs
lola: 12543467 markings, 38124100 edges, 102007 markings/sec, 100 secs
lola: 13046022 markings, 39728693 edges, 100511 markings/sec, 105 secs
lola: 13544639 markings, 41318811 edges, 99723 markings/sec, 110 secs
lola: 14040639 markings, 42895182 edges, 99200 markings/sec, 115 secs
lola: 14531199 markings, 44463383 edges, 98112 markings/sec, 120 secs
lola: 15021248 markings, 46029683 edges, 98010 markings/sec, 125 secs
lola: 15507237 markings, 47585002 edges, 97198 markings/sec, 130 secs
lola: 15992148 markings, 49131759 edges, 96982 markings/sec, 135 secs
lola: 16472369 markings, 50673454 edges, 96044 markings/sec, 140 secs
lola: 16954005 markings, 52213494 edges, 96327 markings/sec, 145 secs
lola: 17431004 markings, 53748155 edges, 95400 markings/sec, 150 secs
lola: 17912340 markings, 55284570 edges, 96267 markings/sec, 155 secs
lola: 18386991 markings, 56811288 edges, 94930 markings/sec, 160 secs
lola: 18861353 markings, 58332621 edges, 94872 markings/sec, 165 secs
lola: 19329830 markings, 59848225 edges, 93695 markings/sec, 170 secs
lola: 19741903 markings, 61176919 edges, 82415 markings/sec, 175 secs
lola: 20191533 markings, 62629641 edges, 89926 markings/sec, 180 secs
lola: 20646379 markings, 64099399 edges, 90969 markings/sec, 185 secs
lola: 21106870 markings, 65590544 edges, 92098 markings/sec, 190 secs
lola: 21564530 markings, 67077943 edges, 91532 markings/sec, 195 secs
lola: 22026045 markings, 68565259 edges, 92303 markings/sec, 200 secs
lola: 22489900 markings, 70059817 edges, 92771 markings/sec, 205 secs
lola: 22951220 markings, 71552280 edges, 92264 markings/sec, 210 secs
lola: 23407595 markings, 73038352 edges, 91275 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(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: 1151793 markings, 2513780 edges, 230359 markings/sec, 0 secs
lola: 2149115 markings, 4782499 edges, 199464 markings/sec, 5 secs
lola: 3071800 markings, 6943373 edges, 184537 markings/sec, 10 secs
lola: 3980080 markings, 9069705 edges, 181656 markings/sec, 15 secs
lola: 4859161 markings, 11148411 edges, 175816 markings/sec, 20 secs
lola: 5720020 markings, 13189990 edges, 172172 markings/sec, 25 secs
lola: 6556551 markings, 15184887 edges, 167306 markings/sec, 30 secs
lola: 7360062 markings, 17134047 edges, 160702 markings/sec, 35 secs
lola: 8182660 markings, 19101008 edges, 164520 markings/sec, 40 secs
lola: 8983075 markings, 21037271 edges, 160083 markings/sec, 45 secs
lola: 9756040 markings, 22931217 edges, 154593 markings/sec, 50 secs
lola: 10536301 markings, 24829218 edges, 156052 markings/sec, 55 secs
lola: 11308694 markings, 26710336 edges, 154479 markings/sec, 60 secs
lola: 12080175 markings, 28596226 edges, 154296 markings/sec, 65 secs
lola: 12849342 markings, 30476761 edges, 153833 markings/sec, 70 secs
lola: 13604392 markings, 32335076 edges, 151010 markings/sec, 75 secs
lola: 14345275 markings, 34162438 edges, 148177 markings/sec, 80 secs
lola: 15088354 markings, 35993577 edges, 148616 markings/sec, 85 secs
lola: 15816033 markings, 37801489 edges, 145536 markings/sec, 90 secs
lola: 16553408 markings, 39625222 edges, 147475 markings/sec, 95 secs
lola: 17217247 markings, 41271511 edges, 132768 markings/sec, 100 secs
lola: 17891920 markings, 42962635 edges, 134935 markings/sec, 105 secs
lola: 18607110 markings, 44752447 edges, 143038 markings/sec, 110 secs
lola: 19313711 markings, 46531454 edges, 141320 markings/sec, 115 secs
lola: 20024227 markings, 48310847 edges, 142103 markings/sec, 120 secs
lola: 20721932 markings, 50067956 edges, 139541 markings/sec, 125 secs
lola: 21416394 markings, 51818754 edges, 138892 markings/sec, 130 secs
lola: 22108845 markings, 53566124 edges, 138490 markings/sec, 135 secs
lola: 22803547 markings, 55318870 edges, 138940 markings/sec, 140 secs
lola: 23493092 markings, 57058162 edges, 137909 markings/sec, 145 secs
lola: 24186528 markings, 58803168 edges, 138687 markings/sec, 150 secs
lola: 24866600 markings, 60533612 edges, 136014 markings/sec, 155 secs
lola: 25540974 markings, 62244084 edges, 134875 markings/sec, 160 secs
lola: 26210989 markings, 63943268 edges, 134003 markings/sec, 165 secs
lola: 26874425 markings, 65633041 edges, 132687 markings/sec, 170 secs
lola: 27533789 markings, 67317534 edges, 131873 markings/sec, 175 secs
lola: 28197121 markings, 69006048 edges, 132666 markings/sec, 180 secs
lola: 28852631 markings, 70684493 edges, 131102 markings/sec, 185 secs
lola: 29508375 markings, 72361597 edges, 131149 markings/sec, 190 secs
lola: 30159596 markings, 74030928 edges, 130244 markings/sec, 195 secs
lola: 30802530 markings, 75682778 edges, 128587 markings/sec, 200 secs
lola: 31450377 markings, 77342816 edges, 129569 markings/sec, 205 secs
lola: 32094628 markings, 78994961 edges, 128850 markings/sec, 210 secs
lola: 32731761 markings, 80631974 edges, 127427 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(xSYN)
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: 1103840 markings, 2354578 edges, 220768 markings/sec, 0 secs
lola: 2030403 markings, 4474335 edges, 185313 markings/sec, 5 secs
lola: 2900930 markings, 6508209 edges, 174105 markings/sec, 10 secs
lola: 3730212 markings, 8484466 edges, 165856 markings/sec, 15 secs
lola: 4529881 markings, 10413964 edges, 159934 markings/sec, 20 secs
lola: 5308989 markings, 12302079 edges, 155822 markings/sec, 25 secs
lola: 6069445 markings, 14159714 edges, 152091 markings/sec, 30 secs
lola: 6814497 markings, 15996615 edges, 149010 markings/sec, 35 secs
lola: 7551688 markings, 17810384 edges, 147438 markings/sec, 40 secs
lola: 8275118 markings, 19597746 edges, 144686 markings/sec, 45 secs
lola: 8994531 markings, 21374690 edges, 143883 markings/sec, 50 secs
lola: 9707814 markings, 23141541 edges, 142657 markings/sec, 55 secs
lola: 10415458 markings, 24890848 edges, 141529 markings/sec, 60 secs
lola: 11105400 markings, 26630986 edges, 137988 markings/sec, 65 secs
lola: 11792976 markings, 28350731 edges, 137515 markings/sec, 70 secs
lola: 12473955 markings, 30068787 edges, 136196 markings/sec, 75 secs
lola: 13150840 markings, 31777395 edges, 135377 markings/sec, 80 secs
lola: 13824815 markings, 33477895 edges, 134795 markings/sec, 85 secs
lola: 14486143 markings, 35169389 edges, 132266 markings/sec, 90 secs
lola: 15153662 markings, 36861285 edges, 133504 markings/sec, 95 secs
lola: 15816737 markings, 38552962 edges, 132615 markings/sec, 100 secs
lola: 16474278 markings, 40226951 edges, 131508 markings/sec, 105 secs
lola: 17126553 markings, 41899418 edges, 130455 markings/sec, 110 secs
lola: 17777545 markings, 43563876 edges, 130198 markings/sec, 115 secs
lola: 18425831 markings, 45223170 edges, 129657 markings/sec, 120 secs
lola: 19076420 markings, 46886124 edges, 130118 markings/sec, 125 secs
lola: 19720288 markings, 48536444 edges, 128774 markings/sec, 130 secs
lola: 20356734 markings, 50183598 edges, 127289 markings/sec, 135 secs
lola: 20991335 markings, 51831152 edges, 126920 markings/sec, 140 secs
lola: 21628288 markings, 53468392 edges, 127391 markings/sec, 145 secs
lola: 22257827 markings, 55104238 edges, 125908 markings/sec, 150 secs
lola: 22888876 markings, 56736538 edges, 126210 markings/sec, 155 secs
lola: 23518575 markings, 58364611 edges, 125940 markings/sec, 160 secs
lola: 24138208 markings, 59990292 edges, 123927 markings/sec, 165 secs
lola: 24754245 markings, 61611317 edges, 123207 markings/sec, 170 secs
lola: 25376605 markings, 63234133 edges, 124472 markings/sec, 175 secs
lola: 25996194 markings, 64847671 edges, 123918 markings/sec, 180 secs
lola: 26554287 markings, 66301030 edges, 111619 markings/sec, 185 secs
lola: 27170083 markings, 67914781 edges, 123159 markings/sec, 190 secs
lola: 27779456 markings, 69515000 edges, 121875 markings/sec, 195 secs
lola: 28386220 markings, 71120425 edges, 121353 markings/sec, 200 secs
lola: 28995993 markings, 72713157 edges, 121955 markings/sec, 205 secs
lola: 29604569 markings, 74301254 edges, 121715 markings/sec, 210 secs
lola: 30208286 markings, 75885236 edges, 120743 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(xCLOSING)
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: 1320020 markings, 2197854 edges, 264004 markings/sec, 0 secs
lola: 2480773 markings, 4162258 edges, 232151 markings/sec, 5 secs
lola: 3571527 markings, 6015894 edges, 218151 markings/sec, 10 secs
lola: 4633136 markings, 7827997 edges, 212322 markings/sec, 15 secs
lola: 5673372 markings, 9602891 edges, 208047 markings/sec, 20 secs
lola: 6697074 markings, 11356100 edges, 204740 markings/sec, 25 secs
lola: 7701942 markings, 13079839 edges, 200974 markings/sec, 30 secs
lola: 8689016 markings, 14774828 edges, 197415 markings/sec, 35 secs
lola: 9669762 markings, 16458718 edges, 196149 markings/sec, 40 secs
lola: 10635626 markings, 18118658 edges, 193173 markings/sec, 45 secs
lola: 11590366 markings, 19760590 edges, 190948 markings/sec, 50 secs
lola: 12535690 markings, 21388043 edges, 189065 markings/sec, 55 secs
lola: 13481846 markings, 23016523 edges, 189231 markings/sec, 60 secs
lola: 14417932 markings, 24631818 edges, 187217 markings/sec, 65 secs
lola: 15352178 markings, 26241868 edges, 186849 markings/sec, 70 secs
lola: 16283681 markings, 27844587 edges, 186301 markings/sec, 75 secs
lola: 17209853 markings, 29441265 edges, 185234 markings/sec, 80 secs
lola: 18122468 markings, 31022724 edges, 182523 markings/sec, 85 secs
lola: 19040202 markings, 32604053 edges, 183547 markings/sec, 90 secs
lola: 19950122 markings, 34175101 edges, 181984 markings/sec, 95 secs
lola: 20851978 markings, 35735528 edges, 180371 markings/sec, 100 secs
lola: 21762034 markings, 37304580 edges, 182011 markings/sec, 105 secs
lola: 22658012 markings, 38852966 edges, 179196 markings/sec, 110 secs
lola: 23557112 markings, 40406890 edges, 179820 markings/sec, 115 secs
lola: 24464022 markings, 41968988 edges, 181382 markings/sec, 120 secs
lola: 25358194 markings, 43516067 edges, 178834 markings/sec, 125 secs
lola: 26252909 markings, 45059922 edges, 178943 markings/sec, 130 secs
lola: 27145489 markings, 46601542 edges, 178516 markings/sec, 135 secs
lola: 28039448 markings, 48142996 edges, 178792 markings/sec, 140 secs
lola: 28928085 markings, 49676758 edges, 177727 markings/sec, 145 secs
lola: 29815089 markings, 51206777 edges, 177401 markings/sec, 150 secs
lola: 30695093 markings, 52734056 edges, 176001 markings/sec, 155 secs
lola: 31578321 markings, 54260998 edges, 176646 markings/sec, 160 secs
lola: 32450675 markings, 55770357 edges, 174471 markings/sec, 165 secs
lola: 33321929 markings, 57283454 edges, 174251 markings/sec, 170 secs
lola: 34187808 markings, 58784493 edges, 173176 markings/sec, 175 secs
lola: 35055749 markings, 60285525 edges, 173588 markings/sec, 180 secs
lola: 35918720 markings, 61777121 edges, 172594 markings/sec, 185 secs
lola: 36783779 markings, 63273264 edges, 173012 markings/sec, 190 secs
lola: 37642209 markings, 64762320 edges, 171686 markings/sec, 195 secs
lola: 38497784 markings, 66248739 edges, 171115 markings/sec, 200 secs
lola: 39349295 markings, 67729726 edges, 170302 markings/sec, 205 secs
lola: 40193236 markings, 69194998 edges, 168788 markings/sec, 210 secs
lola: 41039746 markings, 70666720 edges, 169302 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(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: 1183127 markings, 2470548 edges, 236625 markings/sec, 0 secs
lola: 2122602 markings, 4656710 edges, 187895 markings/sec, 5 secs
lola: 3005541 markings, 6756655 edges, 176588 markings/sec, 10 secs
lola: 3858858 markings, 8805541 edges, 170663 markings/sec, 15 secs
lola: 4680623 markings, 10813061 edges, 164353 markings/sec, 20 secs
lola: 5485664 markings, 12790023 edges, 161008 markings/sec, 25 secs
lola: 6275078 markings, 14735291 edges, 157883 markings/sec, 30 secs
lola: 7053645 markings, 16661404 edges, 155713 markings/sec, 35 secs
lola: 7822127 markings, 18568446 edges, 153696 markings/sec, 40 secs
lola: 8577728 markings, 20459043 edges, 151120 markings/sec, 45 secs
lola: 9322531 markings, 22320717 edges, 148961 markings/sec, 50 secs
lola: 10060740 markings, 24168773 edges, 147642 markings/sec, 55 secs
lola: 10788747 markings, 26006778 edges, 145601 markings/sec, 60 secs
lola: 11512157 markings, 27833064 edges, 144682 markings/sec, 65 secs
lola: 12226954 markings, 29644506 edges, 142959 markings/sec, 70 secs
lola: 12930878 markings, 31435285 edges, 140785 markings/sec, 75 secs
lola: 13634660 markings, 33220342 edges, 140756 markings/sec, 80 secs
lola: 14338433 markings, 34999973 edges, 140755 markings/sec, 85 secs
lola: 15027461 markings, 36766064 edges, 137806 markings/sec, 90 secs
lola: 15718990 markings, 38528739 edges, 138306 markings/sec, 95 secs
lola: 16410720 markings, 40296642 edges, 138346 markings/sec, 100 secs
lola: 17100389 markings, 42061053 edges, 137934 markings/sec, 105 secs
lola: 17791842 markings, 43825499 edges, 138291 markings/sec, 110 secs
lola: 18472606 markings, 45576294 edges, 136153 markings/sec, 115 secs
lola: 19146359 markings, 47321311 edges, 134751 markings/sec, 120 secs
lola: 19824922 markings, 49064702 edges, 135713 markings/sec, 125 secs
lola: 20497384 markings, 50801828 edges, 134492 markings/sec, 130 secs
lola: 21170792 markings, 52536434 edges, 134682 markings/sec, 135 secs
lola: 21834929 markings, 54260652 edges, 132827 markings/sec, 140 secs
lola: 22505615 markings, 55986846 edges, 134137 markings/sec, 145 secs
lola: 23169932 markings, 57709347 edges, 132863 markings/sec, 150 secs
lola: 23836155 markings, 59428840 edges, 133245 markings/sec, 155 secs
lola: 24499221 markings, 61144009 edges, 132613 markings/sec, 160 secs
lola: 25153935 markings, 62850165 edges, 130943 markings/sec, 165 secs
lola: 25811954 markings, 64558454 edges, 131604 markings/sec, 170 secs
lola: 26456528 markings, 66254147 edges, 128915 markings/sec, 175 secs
lola: 27108089 markings, 67950753 edges, 130312 markings/sec, 180 secs
lola: 27766317 markings, 69652154 edges, 131646 markings/sec, 185 secs
lola: 28409046 markings, 71342311 edges, 128546 markings/sec, 190 secs
lola: 29057008 markings, 73030192 edges, 129592 markings/sec, 195 secs
lola: 29706099 markings, 74723181 edges, 129818 markings/sec, 200 secs
lola: 30347737 markings, 76407184 edges, 128328 markings/sec, 205 secs
lola: 30991705 markings, 78086823 edges, 128794 markings/sec, 210 secs
lola: 31626341 markings, 79752165 edges, 126927 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(CLOSEWAIT)
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: 1126029 markings, 2234618 edges, 225206 markings/sec, 0 secs
lola: 2068553 markings, 4218203 edges, 188505 markings/sec, 5 secs
lola: 2947336 markings, 6103130 edges, 175757 markings/sec, 10 secs
lola: 3787510 markings, 7926366 edges, 168035 markings/sec, 15 secs
lola: 4604202 markings, 9713010 edges, 163338 markings/sec, 20 secs
lola: 5397461 markings, 11460950 edges, 158652 markings/sec, 25 secs
lola: 6176764 markings, 13178493 edges, 155861 markings/sec, 30 secs
lola: 6935172 markings, 14867791 edges, 151682 markings/sec, 35 secs
lola: 7683857 markings, 16534920 edges, 149737 markings/sec, 40 secs
lola: 8420342 markings, 18184242 edges, 147297 markings/sec, 45 secs
lola: 9143658 markings, 19813956 edges, 144663 markings/sec, 50 secs
lola: 9861223 markings, 21429701 edges, 143513 markings/sec, 55 secs
lola: 10569501 markings, 23029328 edges, 141656 markings/sec, 60 secs
lola: 11270164 markings, 24615360 edges, 140133 markings/sec, 65 secs
lola: 11962568 markings, 26187043 edges, 138481 markings/sec, 70 secs
lola: 12649609 markings, 27748940 edges, 137408 markings/sec, 75 secs
lola: 13328409 markings, 29302900 edges, 135760 markings/sec, 80 secs
lola: 14005568 markings, 30849119 edges, 135432 markings/sec, 85 secs
lola: 14675393 markings, 32386937 edges, 133965 markings/sec, 90 secs
lola: 15342536 markings, 33915985 edges, 133429 markings/sec, 95 secs
lola: 16001753 markings, 35426714 edges, 131843 markings/sec, 100 secs
lola: 16647538 markings, 36916767 edges, 129157 markings/sec, 105 secs
lola: 17293518 markings, 38398644 edges, 129196 markings/sec, 110 secs
lola: 17944824 markings, 39897069 edges, 130261 markings/sec, 115 secs
lola: 18591433 markings, 41390998 edges, 129322 markings/sec, 120 secs
lola: 19235386 markings, 42876951 edges, 128791 markings/sec, 125 secs
lola: 19873658 markings, 44352485 edges, 127654 markings/sec, 130 secs
lola: 20506014 markings, 45817760 edges, 126471 markings/sec, 135 secs
lola: 21134895 markings, 47281913 edges, 125776 markings/sec, 140 secs
lola: 21761833 markings, 48741925 edges, 125388 markings/sec, 145 secs
lola: 22388054 markings, 50198671 edges, 125244 markings/sec, 150 secs
lola: 22988737 markings, 51593493 edges, 120137 markings/sec, 155 secs
lola: 23531966 markings, 52858558 edges, 108646 markings/sec, 160 secs
lola: 24151109 markings, 54301904 edges, 123829 markings/sec, 165 secs
lola: 24769229 markings, 55746158 edges, 123624 markings/sec, 170 secs
lola: 25385594 markings, 57184104 edges, 123273 markings/sec, 175 secs
lola: 26003718 markings, 58625515 edges, 123625 markings/sec, 180 secs
lola: 26611322 markings, 60054547 edges, 121521 markings/sec, 185 secs
lola: 27221042 markings, 61481515 edges, 121944 markings/sec, 190 secs
lola: 27832926 markings, 62913256 edges, 122377 markings/sec, 195 secs
lola: 28445799 markings, 64339887 edges, 122575 markings/sec, 200 secs
lola: 29051086 markings, 65758431 edges, 121057 markings/sec, 205 secs
lola: 29650967 markings, 67170823 edges, 119976 markings/sec, 210 secs
lola: 30251988 markings, 68581500 edges, 120204 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(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: 1219010 markings, 2143231 edges, 243802 markings/sec, 0 secs
lola: 2260151 markings, 4052859 edges, 208228 markings/sec, 5 secs
lola: 3245692 markings, 5878792 edges, 197108 markings/sec, 10 secs
lola: 4189810 markings, 7644026 edges, 188824 markings/sec, 15 secs
lola: 5108062 markings, 9369995 edges, 183650 markings/sec, 20 secs
lola: 6000964 markings, 11059002 edges, 178580 markings/sec, 25 secs
lola: 6880381 markings, 12720283 edges, 175883 markings/sec, 30 secs
lola: 7738840 markings, 14356508 edges, 171692 markings/sec, 35 secs
lola: 8579433 markings, 15969775 edges, 168119 markings/sec, 40 secs
lola: 9412360 markings, 17565471 edges, 166585 markings/sec, 45 secs
lola: 10236702 markings, 19150585 edges, 164868 markings/sec, 50 secs
lola: 11053133 markings, 20722142 edges, 163286 markings/sec, 55 secs
lola: 11864062 markings, 22281425 edges, 162186 markings/sec, 60 secs
lola: 12658724 markings, 23823568 edges, 158932 markings/sec, 65 secs
lola: 13443511 markings, 25345338 edges, 156957 markings/sec, 70 secs
lola: 14224545 markings, 26861058 edges, 156207 markings/sec, 75 secs
lola: 15002857 markings, 28366146 edges, 155662 markings/sec, 80 secs
lola: 15777890 markings, 29871201 edges, 155007 markings/sec, 85 secs
lola: 16540330 markings, 31362746 edges, 152488 markings/sec, 90 secs
lola: 17295518 markings, 32846443 edges, 151038 markings/sec, 95 secs
lola: 18052875 markings, 34329907 edges, 151471 markings/sec, 100 secs
lola: 18791758 markings, 35780830 edges, 147777 markings/sec, 105 secs
lola: 19528097 markings, 37222929 edges, 147268 markings/sec, 110 secs
lola: 20271548 markings, 38677068 edges, 148690 markings/sec, 115 secs
lola: 21004236 markings, 40121683 edges, 146538 markings/sec, 120 secs
lola: 21745851 markings, 41575737 edges, 148323 markings/sec, 125 secs
lola: 22482699 markings, 43026203 edges, 147370 markings/sec, 130 secs
lola: 23214331 markings, 44470396 edges, 146326 markings/sec, 135 secs
lola: 23947300 markings, 45911471 edges, 146594 markings/sec, 140 secs
lola: 24674312 markings, 47345137 edges, 145402 markings/sec, 145 secs
lola: 25397346 markings, 48775864 edges, 144607 markings/sec, 150 secs
lola: 26123193 markings, 50202631 edges, 145169 markings/sec, 155 secs
lola: 26841611 markings, 51628199 edges, 143684 markings/sec, 160 secs
lola: 27554314 markings, 53045711 edges, 142541 markings/sec, 165 secs
lola: 28276391 markings, 54467691 edges, 144415 markings/sec, 170 secs
lola: 28996611 markings, 55884683 edges, 144044 markings/sec, 175 secs
lola: 29705131 markings, 57293378 edges, 141704 markings/sec, 180 secs
lola: 30416812 markings, 58699067 edges, 142336 markings/sec, 185 secs
lola: 31113469 markings, 60094196 edges, 139331 markings/sec, 190 secs
lola: 31816892 markings, 61490804 edges, 140685 markings/sec, 195 secs
lola: 32519070 markings, 62887193 edges, 140436 markings/sec, 200 secs
lola: 33216533 markings, 64278074 edges, 139493 markings/sec, 205 secs
lola: 33901606 markings, 65654204 edges, 137015 markings/sec, 210 secs
lola: 34590254 markings, 67022886 edges, 137730 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(xSYN)
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: 1092578 markings, 2329726 edges, 218516 markings/sec, 0 secs
lola: 2026849 markings, 4466702 edges, 186854 markings/sec, 5 secs
lola: 2896181 markings, 6497864 edges, 173866 markings/sec, 10 secs
lola: 3722588 markings, 8466307 edges, 165281 markings/sec, 15 secs
lola: 4521096 markings, 10392370 edges, 159702 markings/sec, 20 secs
lola: 5297383 markings, 12272646 edges, 155257 markings/sec, 25 secs
lola: 6055327 markings, 14125379 edges, 151589 markings/sec, 30 secs
lola: 6798197 markings, 15955616 edges, 148574 markings/sec, 35 secs
lola: 7535530 markings, 17770998 edges, 147467 markings/sec, 40 secs
lola: 8259412 markings, 19559695 edges, 144776 markings/sec, 45 secs
lola: 8976400 markings, 21328622 edges, 143398 markings/sec, 50 secs
lola: 9687382 markings, 23088495 edges, 142196 markings/sec, 55 secs
lola: 10391092 markings, 24831786 edges, 140742 markings/sec, 60 secs
lola: 11078266 markings, 26560137 edges, 137435 markings/sec, 65 secs
lola: 11759998 markings, 28271404 edges, 136346 markings/sec, 70 secs
lola: 12437149 markings, 29978116 edges, 135430 markings/sec, 75 secs
lola: 13110757 markings, 31673930 edges, 134722 markings/sec, 80 secs
lola: 13780473 markings, 33367430 edges, 133943 markings/sec, 85 secs
lola: 14439344 markings, 35051122 edges, 131774 markings/sec, 90 secs
lola: 15099742 markings, 36724797 edges, 132080 markings/sec, 95 secs
lola: 15769164 markings, 38434406 edges, 133884 markings/sec, 100 secs
lola: 16434843 markings, 40128264 edges, 133136 markings/sec, 105 secs
lola: 17090750 markings, 41806190 edges, 131181 markings/sec, 110 secs
lola: 17740851 markings, 43470292 edges, 130020 markings/sec, 115 secs
lola: 18388685 markings, 45126897 edges, 129567 markings/sec, 120 secs
lola: 19031922 markings, 46773496 edges, 128647 markings/sec, 125 secs
lola: 19678728 markings, 48426187 edges, 129361 markings/sec, 130 secs
lola: 20309401 markings, 50061448 edges, 126135 markings/sec, 135 secs
lola: 20939724 markings, 51694408 edges, 126065 markings/sec, 140 secs
lola: 21575365 markings, 53327961 edges, 127128 markings/sec, 145 secs
lola: 22200443 markings, 54954729 edges, 125016 markings/sec, 150 secs
lola: 22824932 markings, 56574642 edges, 124898 markings/sec, 155 secs
lola: 23443510 markings, 58175363 edges, 123716 markings/sec, 160 secs
lola: 24057720 markings, 59775927 edges, 122842 markings/sec, 165 secs
lola: 24662785 markings, 61372324 edges, 121013 markings/sec, 170 secs
lola: 25271516 markings, 62954246 edges, 121746 markings/sec, 175 secs
lola: 25871056 markings, 64519346 edges, 119908 markings/sec, 180 secs
lola: 26471129 markings, 66082332 edges, 120015 markings/sec, 185 secs
lola: 27052806 markings, 67608704 edges, 116335 markings/sec, 190 secs
lola: 27632100 markings, 69126078 edges, 115859 markings/sec, 195 secs
lola: 28202151 markings, 70632643 edges, 114010 markings/sec, 200 secs
lola: 28780383 markings, 72140715 edges, 115646 markings/sec, 205 secs
lola: 29352763 markings, 73639297 edges, 114476 markings/sec, 210 secs
lola: 29919436 markings, 75118359 edges, 113335 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: 1106446 markings, 2296649 edges, 221289 markings/sec, 0 secs
lola: 1993397 markings, 4354889 edges, 177390 markings/sec, 5 secs
lola: 2816474 markings, 6300561 edges, 164615 markings/sec, 10 secs
lola: 3603212 markings, 8189378 edges, 157348 markings/sec, 15 secs
lola: 4361261 markings, 10033558 edges, 151610 markings/sec, 20 secs
lola: 5108412 markings, 11865048 edges, 149430 markings/sec, 25 secs
lola: 5842377 markings, 13668018 edges, 146793 markings/sec, 30 secs
lola: 6561927 markings, 15442095 edges, 143910 markings/sec, 35 secs
lola: 7267937 markings, 17191958 edges, 141202 markings/sec, 40 secs
lola: 7993147 markings, 18995672 edges, 145042 markings/sec, 45 secs
lola: 8728548 markings, 20834957 edges, 147080 markings/sec, 50 secs
lola: 9456627 markings, 22659045 edges, 145616 markings/sec, 55 secs
lola: 10180716 markings, 24470683 edges, 144818 markings/sec, 60 secs
lola: 10890793 markings, 26269060 edges, 142015 markings/sec, 65 secs
lola: 11601140 markings, 28056387 edges, 142069 markings/sec, 70 secs
lola: 12301582 markings, 29834397 edges, 140088 markings/sec, 75 secs
lola: 12995761 markings, 31601528 edges, 138836 markings/sec, 80 secs
lola: 13691809 markings, 33363190 edges, 139210 markings/sec, 85 secs
lola: 14385073 markings, 35118960 edges, 138653 markings/sec, 90 secs
lola: 15064566 markings, 36861308 edges, 135899 markings/sec, 95 secs
lola: 15743073 markings, 38590991 edges, 135701 markings/sec, 100 secs
lola: 16424019 markings, 40328558 edges, 136189 markings/sec, 105 secs
lola: 17097651 markings, 42053843 edges, 134726 markings/sec, 110 secs
lola: 17773430 markings, 43778240 edges, 135156 markings/sec, 115 secs
lola: 18438103 markings, 45488681 edges, 132935 markings/sec, 120 secs
lola: 19098375 markings, 47195680 edges, 132054 markings/sec, 125 secs
lola: 19766472 markings, 48913856 edges, 133619 markings/sec, 130 secs
lola: 20429709 markings, 50624355 edges, 132647 markings/sec, 135 secs
lola: 21090894 markings, 52329177 edges, 132237 markings/sec, 140 secs
lola: 21739396 markings, 54011139 edges, 129700 markings/sec, 145 secs
lola: 22390306 markings, 55691930 edges, 130182 markings/sec, 150 secs
lola: 23039657 markings, 57369816 edges, 129870 markings/sec, 155 secs
lola: 23685744 markings, 59034571 edges, 129217 markings/sec, 160 secs
lola: 24324612 markings, 60694394 edges, 127774 markings/sec, 165 secs
lola: 24945607 markings, 62307650 edges, 124199 markings/sec, 170 secs
lola: 25590525 markings, 63978567 edges, 128984 markings/sec, 175 secs
lola: 26221618 markings, 65641786 edges, 126219 markings/sec, 180 secs
lola: 26862486 markings, 67306802 edges, 128174 markings/sec, 185 secs
lola: 27501487 markings, 68961989 edges, 127800 markings/sec, 190 secs
lola: 28135568 markings, 70618291 edges, 126816 markings/sec, 195 secs
lola: 28763148 markings, 72268614 edges, 125516 markings/sec, 200 secs
lola: 29402253 markings, 73933320 edges, 127821 markings/sec, 205 secs
lola: 30033805 markings, 75581531 edges, 126310 markings/sec, 210 secs
lola: 30659651 markings, 77223803 edges, 125169 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 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: 1325372 markings, 2189162 edges, 265074 markings/sec, 0 secs
lola: 2443650 markings, 4123778 edges, 223656 markings/sec, 5 secs
lola: 3489803 markings, 5968964 edges, 209231 markings/sec, 10 secs
lola: 4490595 markings, 7749363 edges, 200158 markings/sec, 15 secs
lola: 5462702 markings, 9483063 edges, 194421 markings/sec, 20 secs
lola: 6402110 markings, 11172085 edges, 187882 markings/sec, 25 secs
lola: 7325289 markings, 12836466 edges, 184636 markings/sec, 30 secs
lola: 8231552 markings, 14474214 edges, 181253 markings/sec, 35 secs
lola: 9118985 markings, 16095794 edges, 177487 markings/sec, 40 secs
lola: 9992337 markings, 17694115 edges, 174670 markings/sec, 45 secs
lola: 10853406 markings, 19268645 edges, 172214 markings/sec, 50 secs
lola: 11712623 markings, 20850107 edges, 171843 markings/sec, 55 secs
lola: 12571918 markings, 22421521 edges, 171859 markings/sec, 60 secs
lola: 13415560 markings, 23973555 edges, 168728 markings/sec, 65 secs
lola: 14249877 markings, 25515796 edges, 166863 markings/sec, 70 secs
lola: 15073612 markings, 27038938 edges, 164747 markings/sec, 75 secs
lola: 15900993 markings, 28565100 edges, 165476 markings/sec, 80 secs
lola: 16705130 markings, 30055575 edges, 160827 markings/sec, 85 secs
lola: 17483177 markings, 31505359 edges, 155609 markings/sec, 90 secs
lola: 18263093 markings, 32947551 edges, 155983 markings/sec, 95 secs
lola: 19055748 markings, 34422704 edges, 158531 markings/sec, 100 secs
lola: 19823084 markings, 35854478 edges, 153467 markings/sec, 105 secs
lola: 20589263 markings, 37290486 edges, 153236 markings/sec, 110 secs
lola: 21354204 markings, 38713317 edges, 152988 markings/sec, 115 secs
lola: 22109400 markings, 40126812 edges, 151039 markings/sec, 120 secs
lola: 22869450 markings, 41551020 edges, 152010 markings/sec, 125 secs
lola: 23613125 markings, 42956462 edges, 148735 markings/sec, 130 secs
lola: 24370970 markings, 44370927 edges, 151569 markings/sec, 135 secs
lola: 25122409 markings, 45785193 edges, 150288 markings/sec, 140 secs
lola: 25879428 markings, 47193245 edges, 151404 markings/sec, 145 secs
lola: 26627252 markings, 48596546 edges, 149565 markings/sec, 150 secs
lola: 27374453 markings, 50002543 edges, 149440 markings/sec, 155 secs
lola: 28111565 markings, 51386289 edges, 147422 markings/sec, 160 secs
lola: 28833443 markings, 52747476 edges, 144376 markings/sec, 165 secs
lola: 29562443 markings, 54116132 edges, 145800 markings/sec, 170 secs
lola: 30286987 markings, 55486343 edges, 144909 markings/sec, 175 secs
lola: 30999693 markings, 56828750 edges, 142541 markings/sec, 180 secs
lola: 31715515 markings, 58176861 edges, 143164 markings/sec, 185 secs
lola: 32428247 markings, 59521694 edges, 142546 markings/sec, 190 secs
lola: 33134618 markings, 60863264 edges, 141274 markings/sec, 195 secs
lola: 33846010 markings, 62194183 edges, 142278 markings/sec, 200 secs
lola: 34544475 markings, 63522091 edges, 139693 markings/sec, 205 secs
lola: 35237362 markings, 64832304 edges, 138577 markings/sec, 210 secs
lola: 35937530 markings, 66157286 edges, 140034 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(FINACK)
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: 1207345 markings, 2242504 edges, 241469 markings/sec, 0 secs
lola: 2246868 markings, 4242340 edges, 207905 markings/sec, 5 secs
lola: 3224167 markings, 6141773 edges, 195460 markings/sec, 10 secs
lola: 4162012 markings, 7972150 edges, 187569 markings/sec, 15 secs
lola: 5076877 markings, 9765743 edges, 182973 markings/sec, 20 secs
lola: 5971074 markings, 11525838 edges, 178839 markings/sec, 25 secs
lola: 6849697 markings, 13258470 edges, 175725 markings/sec, 30 secs
lola: 7719085 markings, 14975486 edges, 173878 markings/sec, 35 secs
lola: 8575774 markings, 16674098 edges, 171338 markings/sec, 40 secs
lola: 9414337 markings, 18342616 edges, 167713 markings/sec, 45 secs
lola: 10253711 markings, 20009065 edges, 167875 markings/sec, 50 secs
lola: 11082937 markings, 21658682 edges, 165845 markings/sec, 55 secs
lola: 11906112 markings, 23294494 edges, 164635 markings/sec, 60 secs
lola: 12716178 markings, 24914817 edges, 162013 markings/sec, 65 secs
lola: 13534203 markings, 26540095 edges, 163605 markings/sec, 70 secs
lola: 14337641 markings, 28143204 edges, 160688 markings/sec, 75 secs
lola: 15141328 markings, 29740965 edges, 160737 markings/sec, 80 secs
lola: 15935069 markings, 31328911 edges, 158748 markings/sec, 85 secs
lola: 16729298 markings, 32913202 edges, 158846 markings/sec, 90 secs
lola: 17513813 markings, 34487100 edges, 156903 markings/sec, 95 secs
lola: 18294117 markings, 36054618 edges, 156061 markings/sec, 100 secs
lola: 19079944 markings, 37633866 edges, 157165 markings/sec, 105 secs
lola: 19851447 markings, 39190145 edges, 154301 markings/sec, 110 secs
lola: 20635755 markings, 40756417 edges, 156862 markings/sec, 115 secs
lola: 21400831 markings, 42299866 edges, 153015 markings/sec, 120 secs
lola: 22166716 markings, 43839711 edges, 153177 markings/sec, 125 secs
lola: 22922610 markings, 45366399 edges, 151179 markings/sec, 130 secs
lola: 23685433 markings, 46896510 edges, 152565 markings/sec, 135 secs
lola: 24441632 markings, 48418867 edges, 151240 markings/sec, 140 secs
lola: 25187312 markings, 49922927 edges, 149136 markings/sec, 145 secs
lola: 25938654 markings, 51433729 edges, 150268 markings/sec, 150 secs
lola: 26681438 markings, 52936833 edges, 148557 markings/sec, 155 secs
lola: 27426466 markings, 54441441 edges, 149006 markings/sec, 160 secs
lola: 28169507 markings, 55943361 edges, 148608 markings/sec, 165 secs
lola: 28923135 markings, 57457179 edges, 150726 markings/sec, 170 secs
lola: 29666819 markings, 58961680 edges, 148737 markings/sec, 175 secs
lola: 30384383 markings, 60411801 edges, 143513 markings/sec, 180 secs
lola: 31115515 markings, 61897106 edges, 146226 markings/sec, 185 secs
lola: 31847909 markings, 63379375 edges, 146479 markings/sec, 190 secs
lola: 32586403 markings, 64869241 edges, 147699 markings/sec, 195 secs
lola: 33319307 markings, 66354996 edges, 146581 markings/sec, 200 secs
lola: 34040981 markings, 67816505 edges, 144335 markings/sec, 205 secs
lola: 34762743 markings, 69283543 edges, 144352 markings/sec, 210 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(xLASTACK)
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: 1548540 markings, 2322784 edges, 309708 markings/sec, 0 secs
lola: 2883967 markings, 4409860 edges, 267085 markings/sec, 5 secs
lola: 4131214 markings, 6397409 edges, 249449 markings/sec, 10 secs
lola: 5338347 markings, 8321037 edges, 241427 markings/sec, 15 secs
lola: 6508632 markings, 10193535 edges, 234057 markings/sec, 20 secs
lola: 7646617 markings, 12029881 edges, 227597 markings/sec, 25 secs
lola: 8766229 markings, 13838133 edges, 223922 markings/sec, 30 secs
lola: 9884767 markings, 15645110 edges, 223708 markings/sec, 35 secs
lola: 10996801 markings, 17438008 edges, 222407 markings/sec, 40 secs
lola: 12086734 markings, 19204551 edges, 217987 markings/sec, 45 secs
lola: 13174402 markings, 20965387 edges, 217534 markings/sec, 50 secs
lola: 14249910 markings, 22706912 edges, 215102 markings/sec, 55 secs
lola: 15324099 markings, 24444654 edges, 214838 markings/sec, 60 secs
lola: 16380336 markings, 26158042 edges, 211247 markings/sec, 65 secs
lola: 17440910 markings, 27877500 edges, 212115 markings/sec, 70 secs
lola: 18486600 markings, 29576892 edges, 209138 markings/sec, 75 secs
lola: 19522940 markings, 31263441 edges, 207268 markings/sec, 80 secs
lola: 20556415 markings, 32943979 edges, 206695 markings/sec, 85 secs
lola: 21590093 markings, 34627491 edges, 206736 markings/sec, 90 secs
lola: 22616474 markings, 36297659 edges, 205276 markings/sec, 95 secs
lola: 23633656 markings, 37963564 edges, 203436 markings/sec, 100 secs
lola: 24664355 markings, 39641270 edges, 206140 markings/sec, 105 secs
lola: 25679170 markings, 41299584 edges, 202963 markings/sec, 110 secs
lola: 26687701 markings, 42948814 edges, 201706 markings/sec, 115 secs
lola: 27700646 markings, 44599360 edges, 202589 markings/sec, 120 secs
lola: 28705857 markings, 46245146 edges, 201042 markings/sec, 125 secs
lola: 29719929 markings, 47894667 edges, 202814 markings/sec, 130 secs
lola: 30719816 markings, 49525016 edges, 199977 markings/sec, 135 secs
lola: 31698514 markings, 51132496 edges, 195740 markings/sec, 140 secs
lola: 32686336 markings, 52743258 edges, 197564 markings/sec, 145 secs
lola: 33667233 markings, 54348621 edges, 196179 markings/sec, 150 secs
lola: 34652833 markings, 55963211 edges, 197120 markings/sec, 155 secs
lola: 35637797 markings, 57573020 edges, 196993 markings/sec, 160 secs
lola: 36614748 markings, 59172913 edges, 195390 markings/sec, 165 secs
lola: 37593220 markings, 60775267 edges, 195694 markings/sec, 170 secs
lola: 38575417 markings, 62384294 edges, 196439 markings/sec, 175 secs
lola: 39537091 markings, 63961582 edges, 192335 markings/sec, 180 secs
lola: 40513353 markings, 65561303 edges, 195252 markings/sec, 185 secs
lola: 41478909 markings, 67146522 edges, 193111 markings/sec, 190 secs
lola: 42448619 markings, 68733725 edges, 193942 markings/sec, 195 secs
lola: 43395791 markings, 70293430 edges, 189434 markings/sec, 200 secs
lola: 44340012 markings, 71847501 edges, 188844 markings/sec, 205 secs
lola: 45297646 markings, 73417768 edges, 191527 markings/sec, 210 secs
lola: 46255127 markings, 74990399 edges, 191496 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-40-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496569734640

--------------------
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-40"
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-40.tgz
mv S_TCPcondis-PT-40 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-40, 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-149443464100236"
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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;