About the Execution of LoLA for TCPcondis-PT-35
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
5690.430 | 3540215.00 | 3556523.00 | 833.10 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is TCPcondis-PT-35, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008500227
=====================================================================
--------------------
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 1494937076001
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ TCPcondis-PT-35 @ 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-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: 1170128 markings, 2551135 edges, 234026 markings/sec, 0 secs
lola: 2185387 markings, 4865988 edges, 203052 markings/sec, 5 secs
lola: 3137382 markings, 7090330 edges, 190399 markings/sec, 10 secs
lola: 4052337 markings, 9250471 edges, 182991 markings/sec, 15 secs
lola: 4934878 markings, 11357775 edges, 176508 markings/sec, 20 secs
lola: 5805205 markings, 13436503 edges, 174065 markings/sec, 25 secs
lola: 6669651 markings, 15492489 edges, 172889 markings/sec, 30 secs
lola: 7507658 markings, 17518653 edges, 167601 markings/sec, 35 secs
lola: 8326839 markings, 19508977 edges, 163836 markings/sec, 40 secs
lola: 9129399 markings, 21472567 edges, 160512 markings/sec, 45 secs
lola: 9932876 markings, 23429878 edges, 160695 markings/sec, 50 secs
lola: 10720372 markings, 25360088 edges, 157499 markings/sec, 55 secs
lola: 11497087 markings, 27274693 edges, 155343 markings/sec, 60 secs
lola: 12266503 markings, 29177165 edges, 153883 markings/sec, 65 secs
lola: 13025452 markings, 31055722 edges, 151790 markings/sec, 70 secs
lola: 13782149 markings, 32933802 edges, 151339 markings/sec, 75 secs
lola: 14534726 markings, 34806724 edges, 150515 markings/sec, 80 secs
lola: 15278050 markings, 36659223 edges, 148665 markings/sec, 85 secs
lola: 16021588 markings, 38516358 edges, 148708 markings/sec, 90 secs
lola: 16756010 markings, 40362745 edges, 146884 markings/sec, 95 secs
lola: 17487275 markings, 42201553 edges, 146253 markings/sec, 100 secs
lola: 18211869 markings, 44032424 edges, 144919 markings/sec, 105 secs
lola: 18934177 markings, 45858600 edges, 144462 markings/sec, 110 secs
lola: 19645440 markings, 47663660 edges, 142253 markings/sec, 115 secs
lola: 20353000 markings, 49455636 edges, 141512 markings/sec, 120 secs
lola: 21053223 markings, 51233648 edges, 140045 markings/sec, 125 secs
lola: 21751118 markings, 53006762 edges, 139579 markings/sec, 130 secs
lola: 22447547 markings, 54779345 edges, 139286 markings/sec, 135 secs
lola: 23137649 markings, 56544626 edges, 138020 markings/sec, 140 secs
lola: 23826281 markings, 58302208 edges, 137726 markings/sec, 145 secs
lola: 24505759 markings, 60046273 edges, 135896 markings/sec, 150 secs
lola: 25181639 markings, 61780601 edges, 135176 markings/sec, 155 secs
lola: 25862855 markings, 63518409 edges, 136243 markings/sec, 160 secs
lola: 26535692 markings, 65249916 edges, 134567 markings/sec, 165 secs
lola: 27207212 markings, 66972225 edges, 134304 markings/sec, 170 secs
lola: 27877246 markings, 68693562 edges, 134007 markings/sec, 175 secs
lola: 28552662 markings, 70426311 edges, 135083 markings/sec, 180 secs
lola: 29223150 markings, 72149408 edges, 134098 markings/sec, 185 secs
lola: 29887811 markings, 73862516 edges, 132932 markings/sec, 190 secs
lola: 30549904 markings, 75565751 edges, 132419 markings/sec, 195 secs
lola: 31214063 markings, 77277381 edges, 132832 markings/sec, 200 secs
lola: 31871787 markings, 78976224 edges, 131545 markings/sec, 205 secs
lola: 32533284 markings, 80680737 edges, 132299 markings/sec, 210 secs
lola: 33187278 markings, 82375592 edges, 130799 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: 1045500 markings, 2497430 edges, 209100 markings/sec, 0 secs
lola: 1917362 markings, 4760459 edges, 174372 markings/sec, 5 secs
lola: 2725907 markings, 6924104 edges, 161709 markings/sec, 10 secs
lola: 3499204 markings, 9020784 edges, 154659 markings/sec, 15 secs
lola: 4250915 markings, 11071553 edges, 150342 markings/sec, 20 secs
lola: 4981786 markings, 13083666 edges, 146174 markings/sec, 25 secs
lola: 5693065 markings, 15064950 edges, 142256 markings/sec, 30 secs
lola: 6381942 markings, 16990970 edges, 137775 markings/sec, 35 secs
lola: 7071615 markings, 18907203 edges, 137935 markings/sec, 40 secs
lola: 7749289 markings, 20808650 edges, 135535 markings/sec, 45 secs
lola: 8412047 markings, 22694316 edges, 132552 markings/sec, 50 secs
lola: 9070696 markings, 24568588 edges, 131730 markings/sec, 55 secs
lola: 9725431 markings, 26428591 edges, 130947 markings/sec, 60 secs
lola: 10365014 markings, 28262970 edges, 127917 markings/sec, 65 secs
lola: 11001584 markings, 30086379 edges, 127314 markings/sec, 70 secs
lola: 11633565 markings, 31901351 edges, 126396 markings/sec, 75 secs
lola: 12257767 markings, 33702176 edges, 124840 markings/sec, 80 secs
lola: 12887685 markings, 35492380 edges, 125984 markings/sec, 85 secs
lola: 13507403 markings, 37277252 edges, 123944 markings/sec, 90 secs
lola: 14123368 markings, 39058759 edges, 123193 markings/sec, 95 secs
lola: 14736203 markings, 40837789 edges, 122567 markings/sec, 100 secs
lola: 15346170 markings, 42610328 edges, 121993 markings/sec, 105 secs
lola: 15956418 markings, 44378524 edges, 122050 markings/sec, 110 secs
lola: 16556226 markings, 46144348 edges, 119962 markings/sec, 115 secs
lola: 17152365 markings, 47895577 edges, 119228 markings/sec, 120 secs
lola: 17746639 markings, 49639496 edges, 118855 markings/sec, 125 secs
lola: 18337143 markings, 51383865 edges, 118101 markings/sec, 130 secs
lola: 18932123 markings, 53120523 edges, 118996 markings/sec, 135 secs
lola: 19517556 markings, 54848798 edges, 117087 markings/sec, 140 secs
lola: 20104728 markings, 56565438 edges, 117434 markings/sec, 145 secs
lola: 20686616 markings, 58278742 edges, 116378 markings/sec, 150 secs
lola: 21265976 markings, 59993040 edges, 115872 markings/sec, 155 secs
lola: 21843655 markings, 61699123 edges, 115536 markings/sec, 160 secs
lola: 22421763 markings, 63407028 edges, 115622 markings/sec, 165 secs
lola: 22999934 markings, 65105959 edges, 115634 markings/sec, 170 secs
lola: 23568576 markings, 66811807 edges, 113728 markings/sec, 175 secs
lola: 24138684 markings, 68513176 edges, 114022 markings/sec, 180 secs
lola: 24704763 markings, 70203392 edges, 113216 markings/sec, 185 secs
lola: 25272181 markings, 71891729 edges, 113484 markings/sec, 190 secs
lola: 25839378 markings, 73575070 edges, 113439 markings/sec, 195 secs
lola: 26404824 markings, 75259677 edges, 113089 markings/sec, 200 secs
lola: 26969497 markings, 76937311 edges, 112935 markings/sec, 205 secs
lola: 27535218 markings, 78611673 edges, 113144 markings/sec, 210 secs
lola: 28095913 markings, 80283394 edges, 112139 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: 1195292 markings, 2529754 edges, 239058 markings/sec, 0 secs
lola: 2187001 markings, 4819192 edges, 198342 markings/sec, 5 secs
lola: 3086307 markings, 6973933 edges, 179861 markings/sec, 10 secs
lola: 3934546 markings, 9044840 edges, 169648 markings/sec, 15 secs
lola: 4744120 markings, 11070049 edges, 161915 markings/sec, 20 secs
lola: 5538578 markings, 13059578 edges, 158892 markings/sec, 25 secs
lola: 6293283 markings, 14989852 edges, 150941 markings/sec, 30 secs
lola: 7022158 markings, 16883315 edges, 145775 markings/sec, 35 secs
lola: 7736096 markings, 18755832 edges, 142788 markings/sec, 40 secs
lola: 8435562 markings, 20608455 edges, 139893 markings/sec, 45 secs
lola: 9130821 markings, 22459205 edges, 139052 markings/sec, 50 secs
lola: 9821069 markings, 24293923 edges, 138050 markings/sec, 55 secs
lola: 10507446 markings, 26137993 edges, 137275 markings/sec, 60 secs
lola: 11173894 markings, 27949606 edges, 133290 markings/sec, 65 secs
lola: 11837602 markings, 29758964 edges, 132742 markings/sec, 70 secs
lola: 12485527 markings, 31546219 edges, 129585 markings/sec, 75 secs
lola: 13131353 markings, 33323548 edges, 129165 markings/sec, 80 secs
lola: 13773957 markings, 35090747 edges, 128521 markings/sec, 85 secs
lola: 14421752 markings, 36861007 edges, 129559 markings/sec, 90 secs
lola: 15047896 markings, 38610338 edges, 125229 markings/sec, 95 secs
lola: 15671459 markings, 40351209 edges, 124713 markings/sec, 100 secs
lola: 16302459 markings, 42097904 edges, 126200 markings/sec, 105 secs
lola: 16919269 markings, 43828661 edges, 123362 markings/sec, 110 secs
lola: 17531860 markings, 45554567 edges, 122518 markings/sec, 115 secs
lola: 18146338 markings, 47276453 edges, 122896 markings/sec, 120 secs
lola: 18748514 markings, 48975852 edges, 120435 markings/sec, 125 secs
lola: 19348295 markings, 50669745 edges, 119956 markings/sec, 130 secs
lola: 19948693 markings, 52365444 edges, 120080 markings/sec, 135 secs
lola: 20553900 markings, 54065880 edges, 121041 markings/sec, 140 secs
lola: 21158580 markings, 55768253 edges, 120936 markings/sec, 145 secs
lola: 21750318 markings, 57449742 edges, 118348 markings/sec, 150 secs
lola: 22339524 markings, 59125044 edges, 117841 markings/sec, 155 secs
lola: 22919456 markings, 60789637 edges, 115986 markings/sec, 160 secs
lola: 23499218 markings, 62448451 edges, 115952 markings/sec, 165 secs
lola: 24081907 markings, 64110400 edges, 116538 markings/sec, 170 secs
lola: 24658844 markings, 65763415 edges, 115387 markings/sec, 175 secs
lola: 25225674 markings, 67403093 edges, 113366 markings/sec, 180 secs
lola: 25798914 markings, 69050114 edges, 114648 markings/sec, 185 secs
lola: 26363088 markings, 70683528 edges, 112835 markings/sec, 190 secs
lola: 26927962 markings, 72315379 edges, 112975 markings/sec, 195 secs
lola: 27495439 markings, 73950260 edges, 113495 markings/sec, 200 secs
lola: 28062760 markings, 75581180 edges, 113464 markings/sec, 205 secs
lola: 28624111 markings, 77200290 edges, 112270 markings/sec, 210 secs
lola: 29183577 markings, 78821728 edges, 111893 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: 1234516 markings, 2174580 edges, 246903 markings/sec, 0 secs
lola: 2302377 markings, 4134555 edges, 213572 markings/sec, 5 secs
lola: 3312740 markings, 6007775 edges, 202073 markings/sec, 10 secs
lola: 4279931 markings, 7820452 edges, 193438 markings/sec, 15 secs
lola: 5229412 markings, 9601878 edges, 189896 markings/sec, 20 secs
lola: 6154095 markings, 11349371 edges, 184937 markings/sec, 25 secs
lola: 7057314 markings, 13061120 edges, 180644 markings/sec, 30 secs
lola: 7932518 markings, 14736948 edges, 175041 markings/sec, 35 secs
lola: 8810962 markings, 16415122 edges, 175689 markings/sec, 40 secs
lola: 9672729 markings, 18071521 edges, 172353 markings/sec, 45 secs
lola: 10528626 markings, 19716308 edges, 171179 markings/sec, 50 secs
lola: 11375728 markings, 21345259 edges, 169420 markings/sec, 55 secs
lola: 12207614 markings, 22956310 edges, 166377 markings/sec, 60 secs
lola: 13030799 markings, 24552843 edges, 164637 markings/sec, 65 secs
lola: 13846618 markings, 26136200 edges, 163164 markings/sec, 70 secs
lola: 14665055 markings, 27717141 edges, 163687 markings/sec, 75 secs
lola: 15474912 markings, 29286108 edges, 161971 markings/sec, 80 secs
lola: 16268047 markings, 30842251 edges, 158627 markings/sec, 85 secs
lola: 17064324 markings, 32394969 edges, 159255 markings/sec, 90 secs
lola: 17848887 markings, 33939169 edges, 156913 markings/sec, 95 secs
lola: 18634453 markings, 35478282 edges, 157113 markings/sec, 100 secs
lola: 19415747 markings, 37008134 edges, 156259 markings/sec, 105 secs
lola: 20195373 markings, 38534884 edges, 155925 markings/sec, 110 secs
lola: 20960650 markings, 40045895 edges, 153055 markings/sec, 115 secs
lola: 21733190 markings, 41559543 edges, 154508 markings/sec, 120 secs
lola: 22499826 markings, 43068903 edges, 153327 markings/sec, 125 secs
lola: 23260146 markings, 44570231 edges, 152064 markings/sec, 130 secs
lola: 24023500 markings, 46067457 edges, 152671 markings/sec, 135 secs
lola: 24774138 markings, 47555838 edges, 150128 markings/sec, 140 secs
lola: 25525251 markings, 49041287 edges, 150223 markings/sec, 145 secs
lola: 26286871 markings, 50532811 edges, 152324 markings/sec, 150 secs
lola: 27025950 markings, 52006964 edges, 147816 markings/sec, 155 secs
lola: 27776149 markings, 53485309 edges, 150040 markings/sec, 160 secs
lola: 28520674 markings, 54959838 edges, 148905 markings/sec, 165 secs
lola: 29261815 markings, 56429336 edges, 148228 markings/sec, 170 secs
lola: 30008996 markings, 57902717 edges, 149436 markings/sec, 175 secs
lola: 30748401 markings, 59367537 edges, 147881 markings/sec, 180 secs
lola: 31474654 markings, 60812727 edges, 145251 markings/sec, 185 secs
lola: 32201074 markings, 62258877 edges, 145284 markings/sec, 190 secs
lola: 32922612 markings, 63694977 edges, 144308 markings/sec, 195 secs
lola: 33643345 markings, 65132747 edges, 144147 markings/sec, 200 secs
lola: 34363183 markings, 66568402 edges, 143968 markings/sec, 205 secs
lola: 35081395 markings, 68002726 edges, 143642 markings/sec, 210 secs
lola: 35803388 markings, 69436915 edges, 144399 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: 1179515 markings, 2493184 edges, 235903 markings/sec, 0 secs
lola: 2152775 markings, 4738670 edges, 194652 markings/sec, 5 secs
lola: 3045682 markings, 6874352 edges, 178581 markings/sec, 10 secs
lola: 3887143 markings, 8928592 edges, 168292 markings/sec, 15 secs
lola: 4701747 markings, 10960724 edges, 162921 markings/sec, 20 secs
lola: 5490699 markings, 12938866 edges, 157790 markings/sec, 25 secs
lola: 6250713 markings, 14878241 edges, 152003 markings/sec, 30 secs
lola: 6982877 markings, 16779624 edges, 146433 markings/sec, 35 secs
lola: 7698967 markings, 18660231 edges, 143218 markings/sec, 40 secs
lola: 8404194 markings, 20524708 edges, 141045 markings/sec, 45 secs
lola: 9097367 markings, 22369740 edges, 138635 markings/sec, 50 secs
lola: 9785800 markings, 24199317 edges, 137687 markings/sec, 55 secs
lola: 10465865 markings, 26026229 edges, 136013 markings/sec, 60 secs
lola: 11125423 markings, 27820342 edges, 131912 markings/sec, 65 secs
lola: 11782573 markings, 29606879 edges, 131430 markings/sec, 70 secs
lola: 12432573 markings, 31398257 edges, 130000 markings/sec, 75 secs
lola: 13077808 markings, 33177858 edges, 129047 markings/sec, 80 secs
lola: 13721561 markings, 34949654 edges, 128751 markings/sec, 85 secs
lola: 14373033 markings, 36726899 edges, 130294 markings/sec, 90 secs
lola: 14999388 markings, 38480072 edges, 125271 markings/sec, 95 secs
lola: 15626017 markings, 40224773 edges, 125326 markings/sec, 100 secs
lola: 16255505 markings, 41966624 edges, 125898 markings/sec, 105 secs
lola: 16869780 markings, 43685560 edges, 122855 markings/sec, 110 secs
lola: 17470032 markings, 45381352 edges, 120050 markings/sec, 115 secs
lola: 18072279 markings, 47067075 edges, 120449 markings/sec, 120 secs
lola: 18664363 markings, 48739105 edges, 118417 markings/sec, 125 secs
lola: 19259378 markings, 50413846 edges, 119003 markings/sec, 130 secs
lola: 19844777 markings, 52072035 edges, 117080 markings/sec, 135 secs
lola: 20439816 markings, 53745151 edges, 119008 markings/sec, 140 secs
lola: 21037196 markings, 55424520 edges, 119476 markings/sec, 145 secs
lola: 21624096 markings, 57090356 edges, 117380 markings/sec, 150 secs
lola: 22206094 markings, 58746074 edges, 116400 markings/sec, 155 secs
lola: 22782340 markings, 60393802 edges, 115249 markings/sec, 160 secs
lola: 23354418 markings, 62037435 edges, 114416 markings/sec, 165 secs
lola: 23935664 markings, 63693636 edges, 116249 markings/sec, 170 secs
lola: 24508493 markings, 65338253 edges, 114566 markings/sec, 175 secs
lola: 25078601 markings, 66978993 edges, 114022 markings/sec, 180 secs
lola: 25650440 markings, 68619454 edges, 114368 markings/sec, 185 secs
lola: 26211853 markings, 70244649 edges, 112283 markings/sec, 190 secs
lola: 26772525 markings, 71868296 edges, 112134 markings/sec, 195 secs
lola: 27335468 markings, 73486716 edges, 112589 markings/sec, 200 secs
lola: 27897188 markings, 75110053 edges, 112344 markings/sec, 205 secs
lola: 28458793 markings, 76724293 edges, 112321 markings/sec, 210 secs
lola: 29016183 markings, 78334584 edges, 111478 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: 1179636 markings, 2500465 edges, 235927 markings/sec, 0 secs
lola: 2148264 markings, 4760556 edges, 193726 markings/sec, 5 secs
lola: 3056040 markings, 6931360 edges, 181555 markings/sec, 10 secs
lola: 3916132 markings, 9027939 edges, 172018 markings/sec, 15 secs
lola: 4761362 markings, 11086292 edges, 169046 markings/sec, 20 secs
lola: 5585292 markings, 13108977 edges, 164786 markings/sec, 25 secs
lola: 6385708 markings, 15090076 edges, 160083 markings/sec, 30 secs
lola: 7170677 markings, 17042824 edges, 156994 markings/sec, 35 secs
lola: 7945802 markings, 18977034 edges, 155025 markings/sec, 40 secs
lola: 8717238 markings, 20896502 edges, 154287 markings/sec, 45 secs
lola: 9474993 markings, 22799337 edges, 151551 markings/sec, 50 secs
lola: 10220536 markings, 24678581 edges, 149109 markings/sec, 55 secs
lola: 10937908 markings, 26492791 edges, 143474 markings/sec, 60 secs
lola: 11675167 markings, 28356144 edges, 147452 markings/sec, 65 secs
lola: 12400270 markings, 30197678 edges, 145021 markings/sec, 70 secs
lola: 13122354 markings, 32034081 edges, 144417 markings/sec, 75 secs
lola: 13834063 markings, 33856037 edges, 142342 markings/sec, 80 secs
lola: 14544574 markings, 35673245 edges, 142102 markings/sec, 85 secs
lola: 15254867 markings, 37486581 edges, 142059 markings/sec, 90 secs
lola: 15966959 markings, 39303807 edges, 142418 markings/sec, 95 secs
lola: 16669191 markings, 41114780 edges, 140446 markings/sec, 100 secs
lola: 17374727 markings, 42920420 edges, 141107 markings/sec, 105 secs
lola: 18080524 markings, 44723178 edges, 141159 markings/sec, 110 secs
lola: 18775024 markings, 46516898 edges, 138900 markings/sec, 115 secs
lola: 19459527 markings, 48293163 edges, 136901 markings/sec, 120 secs
lola: 20147166 markings, 50064257 edges, 137528 markings/sec, 125 secs
lola: 20828564 markings, 51830411 edges, 136280 markings/sec, 130 secs
lola: 21502378 markings, 53585302 edges, 134763 markings/sec, 135 secs
lola: 22177557 markings, 55340725 edges, 135036 markings/sec, 140 secs
lola: 22857697 markings, 57106313 edges, 136028 markings/sec, 145 secs
lola: 23534306 markings, 58868099 edges, 135322 markings/sec, 150 secs
lola: 24208589 markings, 60627206 edges, 134857 markings/sec, 155 secs
lola: 24873945 markings, 62374134 edges, 133071 markings/sec, 160 secs
lola: 25543871 markings, 64123252 edges, 133985 markings/sec, 165 secs
lola: 26211927 markings, 65868166 edges, 133611 markings/sec, 170 secs
lola: 26876341 markings, 67609632 edges, 132883 markings/sec, 175 secs
lola: 27534130 markings, 69343578 edges, 131558 markings/sec, 180 secs
lola: 28195428 markings, 71079520 edges, 132260 markings/sec, 185 secs
lola: 28853162 markings, 72813529 edges, 131547 markings/sec, 190 secs
lola: 29510188 markings, 74542992 edges, 131405 markings/sec, 195 secs
lola: 30165903 markings, 76273210 edges, 131143 markings/sec, 200 secs
lola: 30823098 markings, 78000624 edges, 131439 markings/sec, 205 secs
lola: 31469387 markings, 79715847 edges, 129258 markings/sec, 210 secs
lola: 32122582 markings, 81435903 edges, 130639 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: 1099283 markings, 2338150 edges, 219857 markings/sec, 0 secs
lola: 1952187 markings, 4370659 edges, 170581 markings/sec, 5 secs
lola: 2742278 markings, 6298815 edges, 158018 markings/sec, 10 secs
lola: 3492042 markings, 8159958 edges, 149953 markings/sec, 15 secs
lola: 4215781 markings, 9982650 edges, 144748 markings/sec, 20 secs
lola: 4915985 markings, 11764626 edges, 140041 markings/sec, 25 secs
lola: 5609246 markings, 13528948 edges, 138652 markings/sec, 30 secs
lola: 6294931 markings, 15272081 edges, 137137 markings/sec, 35 secs
lola: 6966892 markings, 16999118 edges, 134392 markings/sec, 40 secs
lola: 7624031 markings, 18699023 edges, 131428 markings/sec, 45 secs
lola: 8278423 markings, 20397365 edges, 130878 markings/sec, 50 secs
lola: 8925708 markings, 22075908 edges, 129457 markings/sec, 55 secs
lola: 9565861 markings, 23738288 edges, 128031 markings/sec, 60 secs
lola: 10192963 markings, 25389682 edges, 125420 markings/sec, 65 secs
lola: 10820119 markings, 27032348 edges, 125431 markings/sec, 70 secs
lola: 11446446 markings, 28667919 edges, 125265 markings/sec, 75 secs
lola: 12064544 markings, 30293481 edges, 123620 markings/sec, 80 secs
lola: 12678490 markings, 31915526 edges, 122789 markings/sec, 85 secs
lola: 13292679 markings, 33532576 edges, 122838 markings/sec, 90 secs
lola: 13898418 markings, 35141592 edges, 121148 markings/sec, 95 secs
lola: 14505773 markings, 36738845 edges, 121471 markings/sec, 100 secs
lola: 15102070 markings, 38326151 edges, 119259 markings/sec, 105 secs
lola: 15699849 markings, 39914695 edges, 119556 markings/sec, 110 secs
lola: 16298582 markings, 41509007 edges, 119747 markings/sec, 115 secs
lola: 16888651 markings, 43086326 edges, 118014 markings/sec, 120 secs
lola: 17486383 markings, 44675433 edges, 119546 markings/sec, 125 secs
lola: 18076324 markings, 46255647 edges, 117988 markings/sec, 130 secs
lola: 18675189 markings, 47848404 edges, 119773 markings/sec, 135 secs
lola: 19266473 markings, 49425710 edges, 118257 markings/sec, 140 secs
lola: 19852792 markings, 50990775 edges, 117264 markings/sec, 145 secs
lola: 20428378 markings, 52547586 edges, 115117 markings/sec, 150 secs
lola: 21005515 markings, 54099064 edges, 115427 markings/sec, 155 secs
lola: 21587575 markings, 55658743 edges, 116412 markings/sec, 160 secs
lola: 22170043 markings, 57225418 edges, 116494 markings/sec, 165 secs
lola: 22746863 markings, 58783030 edges, 115364 markings/sec, 170 secs
lola: 23324139 markings, 60338905 edges, 115455 markings/sec, 175 secs
lola: 23898715 markings, 61895534 edges, 114915 markings/sec, 180 secs
lola: 24461914 markings, 63432078 edges, 112640 markings/sec, 185 secs
lola: 25036800 markings, 64980990 edges, 114977 markings/sec, 190 secs
lola: 25600587 markings, 66512215 edges, 112757 markings/sec, 195 secs
lola: 26157788 markings, 68030136 edges, 111440 markings/sec, 200 secs
lola: 26727431 markings, 69562040 edges, 113929 markings/sec, 205 secs
lola: 27291791 markings, 71094976 edges, 112872 markings/sec, 210 secs
lola: 27848495 markings, 72614400 edges, 111341 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: 1176975 markings, 2276459 edges, 235395 markings/sec, 0 secs
lola: 2191690 markings, 4313242 edges, 202943 markings/sec, 5 secs
lola: 3149261 markings, 6260227 edges, 191514 markings/sec, 10 secs
lola: 4069877 markings, 8145971 edges, 184123 markings/sec, 15 secs
lola: 4961297 markings, 9981674 edges, 178284 markings/sec, 20 secs
lola: 5832970 markings, 11786146 edges, 174335 markings/sec, 25 secs
lola: 6698582 markings, 13572988 edges, 173122 markings/sec, 30 secs
lola: 7540627 markings, 15326285 edges, 168409 markings/sec, 35 secs
lola: 8370449 markings, 17056746 edges, 165964 markings/sec, 40 secs
lola: 9189352 markings, 18773942 edges, 163781 markings/sec, 45 secs
lola: 9994801 markings, 20465778 edges, 161090 markings/sec, 50 secs
lola: 10797186 markings, 22147741 edges, 160477 markings/sec, 55 secs
lola: 11605562 markings, 23848821 edges, 161675 markings/sec, 60 secs
lola: 12382759 markings, 25495507 edges, 155439 markings/sec, 65 secs
lola: 13165808 markings, 27146359 edges, 156610 markings/sec, 70 secs
lola: 13946269 markings, 28785629 edges, 156092 markings/sec, 75 secs
lola: 14705416 markings, 30398354 edges, 151829 markings/sec, 80 secs
lola: 15466149 markings, 32009208 edges, 152147 markings/sec, 85 secs
lola: 16218813 markings, 33607895 edges, 150533 markings/sec, 90 secs
lola: 16970298 markings, 35205389 edges, 150297 markings/sec, 95 secs
lola: 17729791 markings, 36810441 edges, 151899 markings/sec, 100 secs
lola: 18483242 markings, 38409287 edges, 150690 markings/sec, 105 secs
lola: 19227317 markings, 39992726 edges, 148815 markings/sec, 110 secs
lola: 19967675 markings, 41569807 edges, 148072 markings/sec, 115 secs
lola: 20705806 markings, 43137544 edges, 147626 markings/sec, 120 secs
lola: 21441975 markings, 44704169 edges, 147234 markings/sec, 125 secs
lola: 22166835 markings, 46252844 edges, 144972 markings/sec, 130 secs
lola: 22899429 markings, 47812453 edges, 146519 markings/sec, 135 secs
lola: 23633871 markings, 49379995 edges, 146888 markings/sec, 140 secs
lola: 24365301 markings, 50940458 edges, 146286 markings/sec, 145 secs
lola: 25091186 markings, 52492081 edges, 145177 markings/sec, 150 secs
lola: 25816071 markings, 54040708 edges, 144977 markings/sec, 155 secs
lola: 26532332 markings, 55578931 edges, 143252 markings/sec, 160 secs
lola: 27249350 markings, 57118546 edges, 143404 markings/sec, 165 secs
lola: 27954665 markings, 58636681 edges, 141063 markings/sec, 170 secs
lola: 28672300 markings, 60172157 edges, 143527 markings/sec, 175 secs
lola: 29384948 markings, 61700970 edges, 142530 markings/sec, 180 secs
lola: 30092163 markings, 63218925 edges, 141443 markings/sec, 185 secs
lola: 30795188 markings, 64730658 edges, 140605 markings/sec, 190 secs
lola: 31499099 markings, 66239881 edges, 140782 markings/sec, 195 secs
lola: 32196941 markings, 67743340 edges, 139568 markings/sec, 200 secs
lola: 32905641 markings, 69261043 edges, 141740 markings/sec, 205 secs
lola: 33604873 markings, 70765329 edges, 139846 markings/sec, 210 secs
lola: 34304662 markings, 72273978 edges, 139958 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: 1226473 markings, 2491260 edges, 245295 markings/sec, 0 secs
lola: 2222249 markings, 4699242 edges, 199155 markings/sec, 5 secs
lola: 3146755 markings, 6808369 edges, 184901 markings/sec, 10 secs
lola: 4033918 markings, 8847787 edges, 177433 markings/sec, 15 secs
lola: 4890576 markings, 10839816 edges, 171332 markings/sec, 20 secs
lola: 5738583 markings, 12805870 edges, 169601 markings/sec, 25 secs
lola: 6557107 markings, 14730716 edges, 163705 markings/sec, 30 secs
lola: 7361015 markings, 16628724 edges, 160782 markings/sec, 35 secs
lola: 8171817 markings, 18546433 edges, 162160 markings/sec, 40 secs
lola: 8961090 markings, 20424884 edges, 157855 markings/sec, 45 secs
lola: 9743926 markings, 22298757 edges, 156567 markings/sec, 50 secs
lola: 10518850 markings, 24155790 edges, 154985 markings/sec, 55 secs
lola: 11288441 markings, 25999040 edges, 153918 markings/sec, 60 secs
lola: 12058085 markings, 27837567 edges, 153929 markings/sec, 65 secs
lola: 12826902 markings, 29690658 edges, 153763 markings/sec, 70 secs
lola: 13603536 markings, 31559089 edges, 155327 markings/sec, 75 secs
lola: 14370788 markings, 33411016 edges, 153450 markings/sec, 80 secs
lola: 15123688 markings, 35228430 edges, 150580 markings/sec, 85 secs
lola: 15856568 markings, 37007070 edges, 146576 markings/sec, 90 secs
lola: 16588506 markings, 38776329 edges, 146388 markings/sec, 95 secs
lola: 17315364 markings, 40535929 edges, 145372 markings/sec, 100 secs
lola: 18037345 markings, 42287756 edges, 144396 markings/sec, 105 secs
lola: 18764653 markings, 44042026 edges, 145462 markings/sec, 110 secs
lola: 19482848 markings, 45785154 edges, 143639 markings/sec, 115 secs
lola: 20195743 markings, 47527671 edges, 142579 markings/sec, 120 secs
lola: 20907302 markings, 49262633 edges, 142312 markings/sec, 125 secs
lola: 21612309 markings, 50988018 edges, 141001 markings/sec, 130 secs
lola: 22316042 markings, 52711199 edges, 140747 markings/sec, 135 secs
lola: 23013205 markings, 54426903 edges, 139433 markings/sec, 140 secs
lola: 23710676 markings, 56142896 edges, 139494 markings/sec, 145 secs
lola: 24407655 markings, 57849167 edges, 139396 markings/sec, 150 secs
lola: 25098991 markings, 59545843 edges, 138267 markings/sec, 155 secs
lola: 25790817 markings, 61246145 edges, 138365 markings/sec, 160 secs
lola: 26478143 markings, 62934146 edges, 137465 markings/sec, 165 secs
lola: 27164041 markings, 64622585 edges, 137180 markings/sec, 170 secs
lola: 27852941 markings, 66311241 edges, 137780 markings/sec, 175 secs
lola: 28538708 markings, 67998031 edges, 137153 markings/sec, 180 secs
lola: 29218749 markings, 69678674 edges, 136008 markings/sec, 185 secs
lola: 29903291 markings, 71360510 edges, 136908 markings/sec, 190 secs
lola: 30579313 markings, 73038460 edges, 135204 markings/sec, 195 secs
lola: 31257503 markings, 74707117 edges, 135638 markings/sec, 200 secs
lola: 31923563 markings, 76359114 edges, 133212 markings/sec, 205 secs
lola: 32591752 markings, 78018910 edges, 133638 markings/sec, 210 secs
lola: 33257426 markings, 79668371 edges, 133135 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: 1354269 markings, 2512243 edges, 270854 markings/sec, 0 secs
lola: 2464155 markings, 4754584 edges, 221977 markings/sec, 5 secs
lola: 3466161 markings, 6853788 edges, 200401 markings/sec, 10 secs
lola: 4400283 markings, 8854623 edges, 186824 markings/sec, 15 secs
lola: 5295556 markings, 10796461 edges, 179055 markings/sec, 20 secs
lola: 6168246 markings, 12697753 edges, 174538 markings/sec, 25 secs
lola: 7011812 markings, 14559525 edges, 168713 markings/sec, 30 secs
lola: 7835045 markings, 16395992 edges, 164647 markings/sec, 35 secs
lola: 8652788 markings, 18221230 edges, 163549 markings/sec, 40 secs
lola: 9458113 markings, 20006926 edges, 161065 markings/sec, 45 secs
lola: 10252783 markings, 21791246 edges, 158934 markings/sec, 50 secs
lola: 11036247 markings, 23551569 edges, 156693 markings/sec, 55 secs
lola: 11807531 markings, 25291323 edges, 154257 markings/sec, 60 secs
lola: 12563773 markings, 27002721 edges, 151248 markings/sec, 65 secs
lola: 13311883 markings, 28700548 edges, 149622 markings/sec, 70 secs
lola: 14058667 markings, 30398497 edges, 149357 markings/sec, 75 secs
lola: 14796180 markings, 32076171 edges, 147503 markings/sec, 80 secs
lola: 15522277 markings, 33731323 edges, 145219 markings/sec, 85 secs
lola: 16245496 markings, 35383652 edges, 144644 markings/sec, 90 secs
lola: 16968678 markings, 37038317 edges, 144636 markings/sec, 95 secs
lola: 17688144 markings, 38690256 edges, 143893 markings/sec, 100 secs
lola: 18409974 markings, 40348790 edges, 144366 markings/sec, 105 secs
lola: 19128638 markings, 42006066 edges, 143733 markings/sec, 110 secs
lola: 19842865 markings, 43649656 edges, 142845 markings/sec, 115 secs
lola: 20564800 markings, 45309291 edges, 144387 markings/sec, 120 secs
lola: 21275005 markings, 46944942 edges, 142041 markings/sec, 125 secs
lola: 21981618 markings, 48589181 edges, 141323 markings/sec, 130 secs
lola: 22687099 markings, 50208309 edges, 141096 markings/sec, 135 secs
lola: 23393258 markings, 51843568 edges, 141232 markings/sec, 140 secs
lola: 24089676 markings, 53455291 edges, 139284 markings/sec, 145 secs
lola: 24785158 markings, 55062720 edges, 139096 markings/sec, 150 secs
lola: 25491288 markings, 56689665 edges, 141226 markings/sec, 155 secs
lola: 26175501 markings, 58280354 edges, 136843 markings/sec, 160 secs
lola: 26864713 markings, 59881336 edges, 137842 markings/sec, 165 secs
lola: 27548783 markings, 61474264 edges, 136814 markings/sec, 170 secs
lola: 28237036 markings, 63070258 edges, 137651 markings/sec, 175 secs
lola: 28920055 markings, 64660462 edges, 136604 markings/sec, 180 secs
lola: 29603296 markings, 66249379 edges, 136648 markings/sec, 185 secs
lola: 30273356 markings, 67818294 edges, 134012 markings/sec, 190 secs
lola: 30939308 markings, 69377606 edges, 133190 markings/sec, 195 secs
lola: 31613725 markings, 70945361 edges, 134883 markings/sec, 200 secs
lola: 32282372 markings, 72512572 edges, 133729 markings/sec, 205 secs
lola: 32949709 markings, 74072366 edges, 133467 markings/sec, 210 secs
lola: 33619431 markings, 75638186 edges, 133944 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: 1354013 markings, 2300005 edges, 270803 markings/sec, 0 secs
lola: 2587740 markings, 4421882 edges, 246745 markings/sec, 5 secs
lola: 3794740 markings, 6503674 edges, 241400 markings/sec, 10 secs
lola: 4955414 markings, 8504006 edges, 232135 markings/sec, 15 secs
lola: 6075803 markings, 10441113 edges, 224078 markings/sec, 20 secs
lola: 7181329 markings, 12350391 edges, 221105 markings/sec, 25 secs
lola: 8266011 markings, 14232295 edges, 216936 markings/sec, 30 secs
lola: 9346447 markings, 16105355 edges, 216087 markings/sec, 35 secs
lola: 10417517 markings, 17961980 edges, 214214 markings/sec, 40 secs
lola: 11474785 markings, 19796479 edges, 211454 markings/sec, 45 secs
lola: 12526080 markings, 21617238 edges, 210259 markings/sec, 50 secs
lola: 13562454 markings, 23417292 edges, 207275 markings/sec, 55 secs
lola: 14602967 markings, 25221306 edges, 208103 markings/sec, 60 secs
lola: 15631624 markings, 27005141 edges, 205731 markings/sec, 65 secs
lola: 16650273 markings, 28773540 edges, 203730 markings/sec, 70 secs
lola: 17667394 markings, 30542240 edges, 203424 markings/sec, 75 secs
lola: 18677290 markings, 32296487 edges, 201979 markings/sec, 80 secs
lola: 19689061 markings, 34054369 edges, 202354 markings/sec, 85 secs
lola: 20695110 markings, 35801790 edges, 201210 markings/sec, 90 secs
lola: 21697985 markings, 37542938 edges, 200575 markings/sec, 95 secs
lola: 22696688 markings, 39284157 edges, 199741 markings/sec, 100 secs
lola: 23697808 markings, 41025451 edges, 200224 markings/sec, 105 secs
lola: 24692931 markings, 42754839 edges, 199025 markings/sec, 110 secs
lola: 25689487 markings, 44487817 edges, 199311 markings/sec, 115 secs
lola: 26681611 markings, 46211524 edges, 198425 markings/sec, 120 secs
lola: 27664137 markings, 47920686 edges, 196505 markings/sec, 125 secs
lola: 28646899 markings, 49631970 edges, 196552 markings/sec, 130 secs
lola: 29639978 markings, 51356882 edges, 198616 markings/sec, 135 secs
lola: 30611558 markings, 53047274 edges, 194316 markings/sec, 140 secs
lola: 31587136 markings, 54742924 edges, 195116 markings/sec, 145 secs
lola: 32561699 markings, 56437229 edges, 194913 markings/sec, 150 secs
lola: 33529471 markings, 58122341 edges, 193554 markings/sec, 155 secs
lola: 34496896 markings, 59807957 edges, 193485 markings/sec, 160 secs
lola: 35470163 markings, 61500341 edges, 194653 markings/sec, 165 secs
lola: 36432950 markings, 63171107 edges, 192557 markings/sec, 170 secs
lola: 37395279 markings, 64840246 edges, 192466 markings/sec, 175 secs
lola: 38353597 markings, 66503514 edges, 191664 markings/sec, 180 secs
lola: 39312838 markings, 68173587 edges, 191848 markings/sec, 185 secs
lola: 40266526 markings, 69834743 edges, 190738 markings/sec, 190 secs
lola: 41215555 markings, 71489032 edges, 189806 markings/sec, 195 secs
lola: 42169295 markings, 73145426 edges, 190748 markings/sec, 200 secs
lola: 43122965 markings, 74803956 edges, 190734 markings/sec, 205 secs
lola: 44072674 markings, 76457210 edges, 189942 markings/sec, 210 secs
lola: 45018583 markings, 78106072 edges, 189182 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: 1149272 markings, 2284976 edges, 229854 markings/sec, 0 secs
lola: 2050544 markings, 4321045 edges, 180254 markings/sec, 5 secs
lola: 2880787 markings, 6270770 edges, 166049 markings/sec, 10 secs
lola: 3694404 markings, 8187199 edges, 162723 markings/sec, 15 secs
lola: 4481315 markings, 10069765 edges, 157382 markings/sec, 20 secs
lola: 5240895 markings, 11907918 edges, 151916 markings/sec, 25 secs
lola: 6001802 markings, 13749262 edges, 152181 markings/sec, 30 secs
lola: 6746591 markings, 15568424 edges, 148958 markings/sec, 35 secs
lola: 7477111 markings, 17358659 edges, 146104 markings/sec, 40 secs
lola: 8189899 markings, 19129010 edges, 142558 markings/sec, 45 secs
lola: 8885898 markings, 20891106 edges, 139200 markings/sec, 50 secs
lola: 9577161 markings, 22648308 edges, 138253 markings/sec, 55 secs
lola: 10249987 markings, 24388258 edges, 134565 markings/sec, 60 secs
lola: 10906943 markings, 26106607 edges, 131391 markings/sec, 65 secs
lola: 11551983 markings, 27792708 edges, 129008 markings/sec, 70 secs
lola: 12186024 markings, 29483785 edges, 126808 markings/sec, 75 secs
lola: 12805741 markings, 31148515 edges, 123943 markings/sec, 80 secs
lola: 13422151 markings, 32828072 edges, 123282 markings/sec, 85 secs
lola: 14029709 markings, 34485889 edges, 121512 markings/sec, 90 secs
lola: 14625723 markings, 36139899 edges, 119203 markings/sec, 95 secs
lola: 15214893 markings, 37781214 edges, 117834 markings/sec, 100 secs
lola: 15795285 markings, 39419290 edges, 116078 markings/sec, 105 secs
lola: 16369820 markings, 41037179 edges, 114907 markings/sec, 110 secs
lola: 16938495 markings, 42649423 edges, 113735 markings/sec, 115 secs
lola: 17502067 markings, 44259441 edges, 112714 markings/sec, 120 secs
lola: 18057661 markings, 45845837 edges, 111119 markings/sec, 125 secs
lola: 18607013 markings, 47431460 edges, 109870 markings/sec, 130 secs
lola: 19149954 markings, 49010750 edges, 108588 markings/sec, 135 secs
lola: 19692490 markings, 50577779 edges, 108507 markings/sec, 140 secs
lola: 20245112 markings, 52201497 edges, 110524 markings/sec, 145 secs
lola: 20793762 markings, 53818826 edges, 109730 markings/sec, 150 secs
lola: 21347088 markings, 55434071 edges, 110665 markings/sec, 155 secs
lola: 21895060 markings, 57034624 edges, 109594 markings/sec, 160 secs
lola: 22415995 markings, 58586184 edges, 104187 markings/sec, 165 secs
lola: 22936394 markings, 60128080 edges, 104080 markings/sec, 170 secs
lola: 23455324 markings, 61665647 edges, 103786 markings/sec, 175 secs
lola: 23966387 markings, 63198593 edges, 102213 markings/sec, 180 secs
lola: 24472283 markings, 64718436 edges, 101179 markings/sec, 185 secs
lola: 24976058 markings, 66235423 edges, 100755 markings/sec, 190 secs
lola: 25481066 markings, 67751441 edges, 101002 markings/sec, 195 secs
lola: 25988188 markings, 69261582 edges, 101424 markings/sec, 200 secs
lola: 26488475 markings, 70770515 edges, 100057 markings/sec, 205 secs
lola: 26981710 markings, 72264280 edges, 98647 markings/sec, 210 secs
lola: 27469120 markings, 73754245 edges, 97482 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(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: 1268041 markings, 2258632 edges, 253608 markings/sec, 0 secs
lola: 2353905 markings, 4240822 edges, 217173 markings/sec, 5 secs
lola: 3382189 markings, 6128170 edges, 205657 markings/sec, 10 secs
lola: 4362197 markings, 7938275 edges, 196002 markings/sec, 15 secs
lola: 5304502 markings, 9689014 edges, 188461 markings/sec, 20 secs
lola: 6218396 markings, 11394772 edges, 182779 markings/sec, 25 secs
lola: 7116294 markings, 13072336 edges, 179580 markings/sec, 30 secs
lola: 7992050 markings, 14719395 edges, 175151 markings/sec, 35 secs
lola: 8865787 markings, 16351981 edges, 174747 markings/sec, 40 secs
lola: 9716842 markings, 17951606 edges, 170211 markings/sec, 45 secs
lola: 10556641 markings, 19533366 edges, 167960 markings/sec, 50 secs
lola: 11375424 markings, 21085493 edges, 163757 markings/sec, 55 secs
lola: 12204070 markings, 22640707 edges, 165729 markings/sec, 60 secs
lola: 13019260 markings, 24178226 edges, 163038 markings/sec, 65 secs
lola: 13810376 markings, 25687107 edges, 158223 markings/sec, 70 secs
lola: 14601129 markings, 27195130 edges, 158151 markings/sec, 75 secs
lola: 15397570 markings, 28703009 edges, 159288 markings/sec, 80 secs
lola: 16179238 markings, 30191062 edges, 156334 markings/sec, 85 secs
lola: 16976047 markings, 31689168 edges, 159362 markings/sec, 90 secs
lola: 17752497 markings, 33162291 edges, 155290 markings/sec, 95 secs
lola: 18516068 markings, 34611334 edges, 152714 markings/sec, 100 secs
lola: 19256610 markings, 36032359 edges, 148108 markings/sec, 105 secs
lola: 19992152 markings, 37447100 edges, 147108 markings/sec, 110 secs
lola: 20731039 markings, 38862961 edges, 147777 markings/sec, 115 secs
lola: 21483341 markings, 40290907 edges, 150460 markings/sec, 120 secs
lola: 22219867 markings, 41699626 edges, 147305 markings/sec, 125 secs
lola: 22944526 markings, 43095217 edges, 144932 markings/sec, 130 secs
lola: 23666418 markings, 44483420 edges, 144378 markings/sec, 135 secs
lola: 24398505 markings, 45880820 edges, 146417 markings/sec, 140 secs
lola: 25124482 markings, 47275154 edges, 145195 markings/sec, 145 secs
lola: 25835662 markings, 48651921 edges, 142236 markings/sec, 150 secs
lola: 26564543 markings, 50047869 edges, 145776 markings/sec, 155 secs
lola: 27291483 markings, 51446421 edges, 145388 markings/sec, 160 secs
lola: 28021616 markings, 52851636 edges, 146027 markings/sec, 165 secs
lola: 28742117 markings, 54243716 edges, 144100 markings/sec, 170 secs
lola: 29471022 markings, 55640294 edges, 145781 markings/sec, 175 secs
lola: 30186518 markings, 57029040 edges, 143099 markings/sec, 180 secs
lola: 30909007 markings, 58420682 edges, 144498 markings/sec, 185 secs
lola: 31636112 markings, 59812381 edges, 145421 markings/sec, 190 secs
lola: 32345144 markings, 61188974 edges, 141806 markings/sec, 195 secs
lola: 33059435 markings, 62569341 edges, 142858 markings/sec, 200 secs
lola: 33768303 markings, 63936822 edges, 141774 markings/sec, 205 secs
lola: 34474724 markings, 65305143 edges, 141284 markings/sec, 210 secs
lola: 35179291 markings, 66672234 edges, 140913 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(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: 1013525 markings, 2685073 edges, 202705 markings/sec, 0 secs
lola: 1829231 markings, 5067813 edges, 163141 markings/sec, 5 secs
lola: 2583431 markings, 7338208 edges, 150840 markings/sec, 10 secs
lola: 3291396 markings, 9511993 edges, 141593 markings/sec, 15 secs
lola: 3971091 markings, 11626281 edges, 135939 markings/sec, 20 secs
lola: 4633174 markings, 13703306 edges, 132417 markings/sec, 25 secs
lola: 5273619 markings, 15723801 edges, 128089 markings/sec, 30 secs
lola: 5902579 markings, 17722318 edges, 125792 markings/sec, 35 secs
lola: 6520239 markings, 19693778 edges, 123532 markings/sec, 40 secs
lola: 7126553 markings, 21638128 edges, 121263 markings/sec, 45 secs
lola: 7722972 markings, 23567341 edges, 119284 markings/sec, 50 secs
lola: 8320801 markings, 25501436 edges, 119566 markings/sec, 55 secs
lola: 8920829 markings, 27454172 edges, 120006 markings/sec, 60 secs
lola: 9513846 markings, 29388767 edges, 118603 markings/sec, 65 secs
lola: 10101851 markings, 31309601 edges, 117601 markings/sec, 70 secs
lola: 10685164 markings, 33220319 edges, 116663 markings/sec, 75 secs
lola: 11247559 markings, 35068133 edges, 112479 markings/sec, 80 secs
lola: 11810030 markings, 36922951 edges, 112494 markings/sec, 85 secs
lola: 12368816 markings, 38767894 edges, 111757 markings/sec, 90 secs
lola: 12921879 markings, 40600074 edges, 110613 markings/sec, 95 secs
lola: 13470595 markings, 42423983 edges, 109743 markings/sec, 100 secs
lola: 14014256 markings, 44235749 edges, 108732 markings/sec, 105 secs
lola: 14558779 markings, 46047294 edges, 108905 markings/sec, 110 secs
lola: 15097940 markings, 47852737 edges, 107832 markings/sec, 115 secs
lola: 15634117 markings, 49644895 edges, 107235 markings/sec, 120 secs
lola: 16166279 markings, 51430764 edges, 106432 markings/sec, 125 secs
lola: 16698414 markings, 53215564 edges, 106427 markings/sec, 130 secs
lola: 17230586 markings, 55003258 edges, 106434 markings/sec, 135 secs
lola: 17761301 markings, 56793596 edges, 106143 markings/sec, 140 secs
lola: 18287110 markings, 58574011 edges, 105162 markings/sec, 145 secs
lola: 18810282 markings, 60345037 edges, 104634 markings/sec, 150 secs
lola: 19334468 markings, 62114128 edges, 104837 markings/sec, 155 secs
lola: 19854941 markings, 63877470 edges, 104095 markings/sec, 160 secs
lola: 20373799 markings, 65631517 edges, 103772 markings/sec, 165 secs
lola: 20889614 markings, 67383966 edges, 103163 markings/sec, 170 secs
lola: 21403301 markings, 69134101 edges, 102737 markings/sec, 175 secs
lola: 21916294 markings, 70873544 edges, 102599 markings/sec, 180 secs
lola: 22427788 markings, 72610365 edges, 102299 markings/sec, 185 secs
lola: 22935998 markings, 74345440 edges, 101642 markings/sec, 190 secs
lola: 23443957 markings, 76081824 edges, 101592 markings/sec, 195 secs
lola: 23951753 markings, 77808286 edges, 101559 markings/sec, 200 secs
lola: 24457866 markings, 79534510 edges, 101223 markings/sec, 205 secs
lola: 24963259 markings, 81259355 edges, 101079 markings/sec, 210 secs
lola: 25465817 markings, 82980119 edges, 100512 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: 1234029 markings, 2507303 edges, 246806 markings/sec, 0 secs
lola: 2246087 markings, 4754294 edges, 202412 markings/sec, 5 secs
lola: 3186760 markings, 6900748 edges, 188135 markings/sec, 10 secs
lola: 4088362 markings, 8977813 edges, 180320 markings/sec, 15 secs
lola: 4962269 markings, 11008352 edges, 174781 markings/sec, 20 secs
lola: 5823726 markings, 13006427 edges, 172291 markings/sec, 25 secs
lola: 6655450 markings, 14966225 edges, 166345 markings/sec, 30 secs
lola: 7476083 markings, 16898273 edges, 164127 markings/sec, 35 secs
lola: 8280186 markings, 18805139 edges, 160821 markings/sec, 40 secs
lola: 9072837 markings, 20693123 edges, 158530 markings/sec, 45 secs
lola: 9856190 markings, 22568901 edges, 156671 markings/sec, 50 secs
lola: 10635849 markings, 24436553 edges, 155932 markings/sec, 55 secs
lola: 11411392 markings, 26289971 edges, 155109 markings/sec, 60 secs
lola: 12183673 markings, 28137459 edges, 154456 markings/sec, 65 secs
lola: 12940183 markings, 29964273 edges, 151302 markings/sec, 70 secs
lola: 13695966 markings, 31783646 edges, 151157 markings/sec, 75 secs
lola: 14443870 markings, 33587199 edges, 149581 markings/sec, 80 secs
lola: 15184328 markings, 35378754 edges, 148092 markings/sec, 85 secs
lola: 15920289 markings, 37156344 edges, 147192 markings/sec, 90 secs
lola: 16650475 markings, 38922395 edges, 146037 markings/sec, 95 secs
lola: 17373462 markings, 40678891 edges, 144597 markings/sec, 100 secs
lola: 18095518 markings, 42425836 edges, 144411 markings/sec, 105 secs
lola: 18818446 markings, 44171867 edges, 144586 markings/sec, 110 secs
lola: 19532577 markings, 45908966 edges, 142826 markings/sec, 115 secs
lola: 20242632 markings, 47644067 edges, 142011 markings/sec, 120 secs
lola: 20950607 markings, 49370237 edges, 141595 markings/sec, 125 secs
lola: 21654184 markings, 51090946 edges, 140715 markings/sec, 130 secs
lola: 22357342 markings, 52814222 edges, 140632 markings/sec, 135 secs
lola: 23060099 markings, 54539491 edges, 140551 markings/sec, 140 secs
lola: 23759983 markings, 56263883 edges, 139977 markings/sec, 145 secs
lola: 24460943 markings, 57980018 edges, 140192 markings/sec, 150 secs
lola: 25158115 markings, 59691838 edges, 139434 markings/sec, 155 secs
lola: 25854684 markings, 61403104 edges, 139314 markings/sec, 160 secs
lola: 26546987 markings, 63103021 edges, 138461 markings/sec, 165 secs
lola: 27238648 markings, 64806278 edges, 138332 markings/sec, 170 secs
lola: 27922754 markings, 66480910 edges, 136821 markings/sec, 175 secs
lola: 28602303 markings, 68154169 edges, 135910 markings/sec, 180 secs
lola: 29280478 markings, 69829070 edges, 135635 markings/sec, 185 secs
lola: 29967299 markings, 71519166 edges, 137364 markings/sec, 190 secs
lola: 30648117 markings, 73206163 edges, 136164 markings/sec, 195 secs
lola: 31329317 markings, 74884750 edges, 136240 markings/sec, 200 secs
lola: 32005694 markings, 76559988 edges, 135275 markings/sec, 205 secs
lola: 32678263 markings, 78235462 edges, 134514 markings/sec, 210 secs
lola: 33354857 markings, 79908128 edges, 135319 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 220 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: 1191576 markings, 2362452 edges, 238315 markings/sec, 0 secs
lola: 2253414 markings, 4513154 edges, 212368 markings/sec, 5 secs
lola: 3244537 markings, 6530542 edges, 198225 markings/sec, 10 secs
lola: 4189292 markings, 8469960 edges, 188951 markings/sec, 15 secs
lola: 5109659 markings, 10363893 edges, 184073 markings/sec, 20 secs
lola: 6010948 markings, 12219222 edges, 180258 markings/sec, 25 secs
lola: 6891682 markings, 14040581 edges, 176147 markings/sec, 30 secs
lola: 7754574 markings, 15832230 edges, 172578 markings/sec, 35 secs
lola: 8613059 markings, 17615385 edges, 171697 markings/sec, 40 secs
lola: 9466952 markings, 19388753 edges, 170779 markings/sec, 45 secs
lola: 10305441 markings, 21135093 edges, 167698 markings/sec, 50 secs
lola: 11135321 markings, 22865686 edges, 165976 markings/sec, 55 secs
lola: 11958614 markings, 24581780 edges, 164659 markings/sec, 60 secs
lola: 12770199 markings, 26272468 edges, 162317 markings/sec, 65 secs
lola: 13580035 markings, 27960761 edges, 161967 markings/sec, 70 secs
lola: 14384740 markings, 29647704 edges, 160941 markings/sec, 75 secs
lola: 15188778 markings, 31330367 edges, 160808 markings/sec, 80 secs
lola: 15988111 markings, 33005711 edges, 159867 markings/sec, 85 secs
lola: 16781792 markings, 34669772 edges, 158736 markings/sec, 90 secs
lola: 17571630 markings, 36325399 edges, 157968 markings/sec, 95 secs
lola: 18357731 markings, 37971604 edges, 157220 markings/sec, 100 secs
lola: 19142251 markings, 39618345 edges, 156904 markings/sec, 105 secs
lola: 19931342 markings, 41269475 edges, 157818 markings/sec, 110 secs
lola: 20708172 markings, 42905024 edges, 155366 markings/sec, 115 secs
lola: 21482820 markings, 44533541 edges, 154930 markings/sec, 120 secs
lola: 22256342 markings, 46161662 edges, 154704 markings/sec, 125 secs
lola: 23023346 markings, 47774539 edges, 153401 markings/sec, 130 secs
lola: 23789668 markings, 49389557 edges, 153264 markings/sec, 135 secs
lola: 24551567 markings, 50992390 edges, 152380 markings/sec, 140 secs
lola: 25316057 markings, 52602980 edges, 152898 markings/sec, 145 secs
lola: 26074789 markings, 54202050 edges, 151746 markings/sec, 150 secs
lola: 26832770 markings, 55800007 edges, 151596 markings/sec, 155 secs
lola: 27584933 markings, 57387936 edges, 150433 markings/sec, 160 secs
lola: 28331122 markings, 58966862 edges, 149238 markings/sec, 165 secs
lola: 29084016 markings, 60550881 edges, 150579 markings/sec, 170 secs
lola: 29830206 markings, 62128417 edges, 149238 markings/sec, 175 secs
lola: 30574461 markings, 63705054 edges, 148851 markings/sec, 180 secs
lola: 31324523 markings, 65284265 edges, 150012 markings/sec, 185 secs
lola: 32066887 markings, 66852823 edges, 148473 markings/sec, 190 secs
lola: 32809133 markings, 68422746 edges, 148449 markings/sec, 195 secs
lola: 33547965 markings, 69986912 edges, 147766 markings/sec, 200 secs
lola: 34282266 markings, 71545375 edges, 146860 markings/sec, 205 secs
lola: 35013918 markings, 73097307 edges, 146330 markings/sec, 210 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-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 1494940616216
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="TCPcondis-PT-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/TCPcondis-PT-35.tgz
mv 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 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 r078-ebro-149441008500227"
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 ;