Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is AutoFlight-PT-12a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-csrt-149436126000218
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494600818902


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ AutoFlight-PT-12a @ 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: 612/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 307 places, 305 transitions, 231 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 296 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-12a-UpperBounds.task
lola: MAX(p240) : MAX(p82) : MAX(p225) : MAX(p67) : MAX(p147) : MAX(p214) : MAX(p110) : MAX(p11) : MAX(p277) : MAX(p182) : MAX(p109) : MAX(p29) : MAX(p208) : MAX(p241) : MAX(p43) : MAX(p265)
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(p240)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 422449 markings, 3564931 edges, 84490 markings/sec, 0 secs
lola: 837903 markings, 6989998 edges, 83091 markings/sec, 5 secs
lola: 1227798 markings, 10507523 edges, 77979 markings/sec, 10 secs
lola: 1595662 markings, 13874997 edges, 73573 markings/sec, 15 secs
lola: 1947990 markings, 17306289 edges, 70466 markings/sec, 20 secs
lola: 2284792 markings, 20587998 edges, 67360 markings/sec, 25 secs
lola: 2619161 markings, 23856706 edges, 66874 markings/sec, 30 secs
lola: 3025537 markings, 27231603 edges, 81275 markings/sec, 35 secs
lola: 3430182 markings, 30654109 edges, 80929 markings/sec, 40 secs
lola: 3838577 markings, 34127555 edges, 81679 markings/sec, 45 secs
lola: 4264510 markings, 37693659 edges, 85187 markings/sec, 50 secs
lola: 4639761 markings, 41138158 edges, 75050 markings/sec, 55 secs
lola: 4994959 markings, 44601718 edges, 71040 markings/sec, 60 secs
lola: 5304284 markings, 48080615 edges, 61865 markings/sec, 65 secs
lola: 5640734 markings, 51283903 edges, 67290 markings/sec, 70 secs
lola: 5977104 markings, 54447012 edges, 67274 markings/sec, 75 secs
lola: 6279152 markings, 57590364 edges, 60410 markings/sec, 80 secs
lola: 6650053 markings, 60836431 edges, 74180 markings/sec, 85 secs
lola: 6986565 markings, 64054820 edges, 67302 markings/sec, 90 secs
lola: 7297270 markings, 67370334 edges, 62141 markings/sec, 95 secs
lola: 7606236 markings, 70619133 edges, 61793 markings/sec, 100 secs
lola: 7933583 markings, 73912897 edges, 65469 markings/sec, 105 secs
lola: 8297065 markings, 77308905 edges, 72696 markings/sec, 110 secs
lola: 8605281 markings, 80682663 edges, 61643 markings/sec, 115 secs
lola: 8951537 markings, 84074299 edges, 69251 markings/sec, 120 secs
lola: 9284874 markings, 87467907 edges, 66667 markings/sec, 125 secs
lola: 9595243 markings, 90823531 edges, 62074 markings/sec, 130 secs
lola: 9897987 markings, 94110397 edges, 60549 markings/sec, 135 secs
lola: 10208849 markings, 97493944 edges, 62172 markings/sec, 140 secs
lola: 10517530 markings, 100858166 edges, 61736 markings/sec, 145 secs
lola: 10837041 markings, 104148537 edges, 63902 markings/sec, 150 secs
lola: 11142465 markings, 107403404 edges, 61085 markings/sec, 155 secs
lola: 11457833 markings, 110508227 edges, 63074 markings/sec, 160 secs
lola: 11801803 markings, 113612705 edges, 68794 markings/sec, 165 secs
lola: 12131462 markings, 116766223 edges, 65932 markings/sec, 170 secs
lola: 12487467 markings, 119937494 edges, 71201 markings/sec, 175 secs
lola: 12911805 markings, 123306540 edges, 84868 markings/sec, 180 secs
lola: 13258003 markings, 126700431 edges, 69240 markings/sec, 185 secs
lola: 13634826 markings, 130038109 edges, 75365 markings/sec, 190 secs
lola: 13971760 markings, 133384906 edges, 67387 markings/sec, 195 secs
lola: 14343977 markings, 136773506 edges, 74443 markings/sec, 200 secs
lola: 14731144 markings, 140098090 edges, 77433 markings/sec, 205 secs
lola: 15060837 markings, 143494485 edges, 65939 markings/sec, 210 secs
lola: 15411213 markings, 146838458 edges, 70075 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(p82)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 421822 markings, 3631724 edges, 84364 markings/sec, 0 secs
lola: 750192 markings, 7120878 edges, 65674 markings/sec, 5 secs
lola: 1039601 markings, 10535348 edges, 57882 markings/sec, 10 secs
lola: 1340549 markings, 13889880 edges, 60190 markings/sec, 15 secs
lola: 1647441 markings, 17238832 edges, 61378 markings/sec, 20 secs
lola: 1960308 markings, 20756450 edges, 62573 markings/sec, 25 secs
lola: 2224928 markings, 24061702 edges, 52924 markings/sec, 30 secs
lola: 2535639 markings, 27521949 edges, 62142 markings/sec, 35 secs
lola: 2784732 markings, 30750709 edges, 49819 markings/sec, 40 secs
lola: 3006328 markings, 33832816 edges, 44319 markings/sec, 45 secs
lola: 3264022 markings, 37178727 edges, 51539 markings/sec, 50 secs
lola: 3539886 markings, 40678106 edges, 55173 markings/sec, 55 secs
lola: 3797201 markings, 44046658 edges, 51463 markings/sec, 60 secs
lola: 4049194 markings, 47392290 edges, 50399 markings/sec, 65 secs
lola: 4305989 markings, 50769267 edges, 51359 markings/sec, 70 secs
lola: 4534450 markings, 53892528 edges, 45692 markings/sec, 75 secs
lola: 4780483 markings, 57010611 edges, 49207 markings/sec, 80 secs
lola: 5016356 markings, 60084182 edges, 47175 markings/sec, 85 secs
lola: 5256601 markings, 63261954 edges, 48049 markings/sec, 90 secs
lola: 5491202 markings, 66468146 edges, 46920 markings/sec, 95 secs
lola: 5719515 markings, 69359090 edges, 45663 markings/sec, 100 secs
lola: 5952909 markings, 72545279 edges, 46679 markings/sec, 105 secs
lola: 6154971 markings, 75738626 edges, 40412 markings/sec, 110 secs
lola: 6354629 markings, 78913372 edges, 39932 markings/sec, 115 secs
lola: 6617629 markings, 81845902 edges, 52600 markings/sec, 120 secs
lola: 6863046 markings, 84894140 edges, 49083 markings/sec, 125 secs
lola: 7081543 markings, 88028707 edges, 43699 markings/sec, 130 secs
lola: 7330931 markings, 91240925 edges, 49878 markings/sec, 135 secs
lola: 7558133 markings, 94403161 edges, 45440 markings/sec, 140 secs
lola: 7750547 markings, 97629103 edges, 38483 markings/sec, 145 secs
lola: 7959646 markings, 100844197 edges, 41820 markings/sec, 150 secs
lola: 8200104 markings, 104070605 edges, 48092 markings/sec, 155 secs
lola: 8407203 markings, 107224626 edges, 41420 markings/sec, 160 secs
lola: 8618918 markings, 110460686 edges, 42343 markings/sec, 165 secs
lola: 8858113 markings, 113739874 edges, 47839 markings/sec, 170 secs
lola: 9191603 markings, 117042095 edges, 66698 markings/sec, 175 secs
lola: 9474069 markings, 120286940 edges, 56493 markings/sec, 180 secs
lola: 9769807 markings, 123606051 edges, 59148 markings/sec, 185 secs
lola: 9997687 markings, 127006136 edges, 45576 markings/sec, 190 secs
lola: 10245724 markings, 130139845 edges, 49607 markings/sec, 195 secs
lola: 10472982 markings, 133540329 edges, 45452 markings/sec, 200 secs
lola: 10677607 markings, 136646248 edges, 40925 markings/sec, 205 secs
lola: 10923161 markings, 139824328 edges, 49111 markings/sec, 210 secs
lola: 11127281 markings, 143032865 edges, 40824 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(p225)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 475015 markings, 3445003 edges, 95003 markings/sec, 0 secs
lola: 846886 markings, 6981864 edges, 74374 markings/sec, 5 secs
lola: 1224102 markings, 10531823 edges, 75443 markings/sec, 10 secs
lola: 1534265 markings, 14123404 edges, 62033 markings/sec, 15 secs
lola: 1894568 markings, 17510307 edges, 72061 markings/sec, 20 secs
lola: 2257742 markings, 20990793 edges, 72635 markings/sec, 25 secs
lola: 2627999 markings, 24164263 edges, 74051 markings/sec, 30 secs
lola: 2943241 markings, 27445830 edges, 63048 markings/sec, 35 secs
lola: 3235871 markings, 30767767 edges, 58526 markings/sec, 40 secs
lola: 3523547 markings, 34074728 edges, 57535 markings/sec, 45 secs
lola: 3811254 markings, 37407629 edges, 57541 markings/sec, 50 secs
lola: 4100230 markings, 40754293 edges, 57795 markings/sec, 55 secs
lola: 4423694 markings, 43869622 edges, 64693 markings/sec, 60 secs
lola: 4723081 markings, 47013108 edges, 59877 markings/sec, 65 secs
lola: 5017949 markings, 50304063 edges, 58974 markings/sec, 70 secs
lola: 5323190 markings, 53329170 edges, 61048 markings/sec, 75 secs
lola: 5595920 markings, 56295720 edges, 54546 markings/sec, 80 secs
lola: 5869695 markings, 59447579 edges, 54755 markings/sec, 85 secs
lola: 6139202 markings, 62499664 edges, 53901 markings/sec, 90 secs
lola: 6406055 markings, 65740637 edges, 53371 markings/sec, 95 secs
lola: 6691922 markings, 68856170 edges, 57173 markings/sec, 100 secs
lola: 6964019 markings, 72059085 edges, 54419 markings/sec, 105 secs
lola: 7254838 markings, 75296340 edges, 58164 markings/sec, 110 secs
lola: 7515381 markings, 78470188 edges, 52109 markings/sec, 115 secs
lola: 7772557 markings, 81758215 edges, 51435 markings/sec, 120 secs
lola: 8038025 markings, 85061988 edges, 53094 markings/sec, 125 secs
lola: 8285551 markings, 88329108 edges, 49505 markings/sec, 130 secs
lola: 8538332 markings, 91644850 edges, 50556 markings/sec, 135 secs
lola: 8834347 markings, 94863283 edges, 59203 markings/sec, 140 secs
lola: 9109004 markings, 98174220 edges, 54931 markings/sec, 145 secs
lola: 9390318 markings, 101642570 edges, 56263 markings/sec, 150 secs
lola: 9674140 markings, 105098522 edges, 56764 markings/sec, 155 secs
lola: 9941653 markings, 108238739 edges, 53503 markings/sec, 160 secs
lola: 10202029 markings, 111421864 edges, 52075 markings/sec, 165 secs
lola: 10486671 markings, 114755369 edges, 56928 markings/sec, 170 secs
lola: 10792646 markings, 118008254 edges, 61195 markings/sec, 175 secs
lola: 11051253 markings, 121168053 edges, 51721 markings/sec, 180 secs
lola: 11316075 markings, 124331693 edges, 52964 markings/sec, 185 secs
lola: 11593961 markings, 127698524 edges, 55577 markings/sec, 190 secs
lola: 11861344 markings, 131158870 edges, 53477 markings/sec, 195 secs
lola: 12133499 markings, 134265028 edges, 54431 markings/sec, 200 secs
lola: 12403784 markings, 137335219 edges, 54057 markings/sec, 205 secs
lola: 12642900 markings, 140518871 edges, 47823 markings/sec, 210 secs
lola: 12888932 markings, 143850255 edges, 49206 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(p67)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 467928 markings, 3536623 edges, 93586 markings/sec, 0 secs
lola: 820159 markings, 6985801 edges, 70446 markings/sec, 5 secs
lola: 1156968 markings, 10426225 edges, 67362 markings/sec, 10 secs
lola: 1446820 markings, 13630717 edges, 57970 markings/sec, 15 secs
lola: 1786314 markings, 16765794 edges, 67899 markings/sec, 20 secs
lola: 2084844 markings, 19800225 edges, 59706 markings/sec, 25 secs
lola: 2358911 markings, 22815211 edges, 54813 markings/sec, 30 secs
lola: 2651726 markings, 25939081 edges, 58563 markings/sec, 35 secs
lola: 2889911 markings, 29179318 edges, 47637 markings/sec, 40 secs
lola: 3157723 markings, 32369552 edges, 53562 markings/sec, 45 secs
lola: 3473440 markings, 35295585 edges, 63143 markings/sec, 50 secs
lola: 3751303 markings, 38353322 edges, 55573 markings/sec, 55 secs
lola: 4007421 markings, 41524121 edges, 51224 markings/sec, 60 secs
lola: 4245525 markings, 44524111 edges, 47621 markings/sec, 65 secs
lola: 4478956 markings, 47494426 edges, 46686 markings/sec, 70 secs
lola: 4702795 markings, 50607903 edges, 44768 markings/sec, 75 secs
lola: 4953721 markings, 53784202 edges, 50185 markings/sec, 80 secs
lola: 5247325 markings, 57113412 edges, 58721 markings/sec, 85 secs
lola: 5549077 markings, 60526754 edges, 60350 markings/sec, 90 secs
lola: 5822536 markings, 63873224 edges, 54692 markings/sec, 95 secs
lola: 6136818 markings, 66761047 edges, 62856 markings/sec, 100 secs
lola: 6393247 markings, 69848884 edges, 51286 markings/sec, 105 secs
lola: 6645709 markings, 72953782 edges, 50492 markings/sec, 110 secs
lola: 6873465 markings, 76111293 edges, 45551 markings/sec, 115 secs
lola: 7107281 markings, 79276869 edges, 46763 markings/sec, 120 secs
lola: 7367590 markings, 82389671 edges, 52062 markings/sec, 125 secs
lola: 7588733 markings, 85431114 edges, 44229 markings/sec, 130 secs
lola: 7829704 markings, 88441877 edges, 48194 markings/sec, 135 secs
lola: 8101747 markings, 91627564 edges, 54409 markings/sec, 140 secs
lola: 8325223 markings, 94867529 edges, 44695 markings/sec, 145 secs
lola: 8537806 markings, 97943668 edges, 42517 markings/sec, 150 secs
lola: 8760689 markings, 100910028 edges, 44577 markings/sec, 155 secs
lola: 8965247 markings, 103997809 edges, 40912 markings/sec, 160 secs
lola: 9175828 markings, 107152230 edges, 42116 markings/sec, 165 secs
lola: 9395934 markings, 110103476 edges, 44021 markings/sec, 170 secs
lola: 9649954 markings, 112836316 edges, 50804 markings/sec, 175 secs
lola: 9897734 markings, 115774838 edges, 49556 markings/sec, 180 secs
lola: 10170750 markings, 118692519 edges, 54603 markings/sec, 185 secs
lola: 10381460 markings, 121666452 edges, 42142 markings/sec, 190 secs
lola: 10570005 markings, 124731005 edges, 37709 markings/sec, 195 secs
lola: 10769969 markings, 127772962 edges, 39993 markings/sec, 200 secs
lola: 11002597 markings, 130745373 edges, 46526 markings/sec, 205 secs
lola: 11228206 markings, 133795861 edges, 45122 markings/sec, 210 secs
lola: 11446050 markings, 136758510 edges, 43569 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(p147)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 455029 markings, 3484485 edges, 91006 markings/sec, 0 secs
lola: 810432 markings, 6968814 edges, 71081 markings/sec, 5 secs
lola: 1198681 markings, 10424415 edges, 77650 markings/sec, 10 secs
lola: 1648823 markings, 14022202 edges, 90028 markings/sec, 15 secs
lola: 2135419 markings, 17518268 edges, 97319 markings/sec, 20 secs
lola: 2556699 markings, 20935650 edges, 84256 markings/sec, 25 secs
lola: 2993467 markings, 24398458 edges, 87354 markings/sec, 30 secs
lola: 3431005 markings, 27752782 edges, 87508 markings/sec, 35 secs
lola: 3808696 markings, 31053139 edges, 75538 markings/sec, 40 secs
lola: 4183949 markings, 34214102 edges, 75051 markings/sec, 45 secs
lola: 4564788 markings, 37577362 edges, 76168 markings/sec, 50 secs
lola: 4999149 markings, 40963415 edges, 86872 markings/sec, 55 secs
lola: 5412441 markings, 44446460 edges, 82658 markings/sec, 60 secs
lola: 5910670 markings, 47782445 edges, 99646 markings/sec, 65 secs
lola: 6368294 markings, 50965397 edges, 91525 markings/sec, 70 secs
lola: 6794012 markings, 54083295 edges, 85144 markings/sec, 75 secs
lola: 7205838 markings, 57130205 edges, 82365 markings/sec, 80 secs
lola: 7640898 markings, 60287958 edges, 87012 markings/sec, 85 secs
lola: 8066443 markings, 63450770 edges, 85109 markings/sec, 90 secs
lola: 8501146 markings, 66586962 edges, 86941 markings/sec, 95 secs
lola: 8908285 markings, 69775870 edges, 81428 markings/sec, 100 secs
lola: 9276126 markings, 72806776 edges, 73568 markings/sec, 105 secs
lola: 9629225 markings, 75790870 edges, 70620 markings/sec, 110 secs
lola: 10011137 markings, 78877689 edges, 76382 markings/sec, 115 secs
lola: 10393907 markings, 82053175 edges, 76554 markings/sec, 120 secs
lola: 10812496 markings, 85210528 edges, 83718 markings/sec, 125 secs
lola: 11191585 markings, 88387843 edges, 75818 markings/sec, 130 secs
lola: 11592438 markings, 91507354 edges, 80171 markings/sec, 135 secs
lola: 11979325 markings, 94653919 edges, 77377 markings/sec, 140 secs
lola: 12376422 markings, 97881582 edges, 79419 markings/sec, 145 secs
lola: 12784707 markings, 100940217 edges, 81657 markings/sec, 150 secs
lola: 13136651 markings, 104005608 edges, 70389 markings/sec, 155 secs
lola: 13474033 markings, 106756794 edges, 67476 markings/sec, 160 secs
lola: 13848208 markings, 109620399 edges, 74835 markings/sec, 165 secs
lola: 14222741 markings, 112578503 edges, 74907 markings/sec, 170 secs
lola: 14590195 markings, 115645198 edges, 73491 markings/sec, 175 secs
lola: 14984638 markings, 118735281 edges, 78889 markings/sec, 180 secs
lola: 15373726 markings, 121771617 edges, 77818 markings/sec, 185 secs
lola: 15747242 markings, 124835250 edges, 74703 markings/sec, 190 secs
lola: 16106126 markings, 127816988 edges, 71777 markings/sec, 195 secs
lola: 16453707 markings, 130827876 edges, 69516 markings/sec, 200 secs
lola: 16826710 markings, 133860920 edges, 74601 markings/sec, 205 secs
lola: 17178585 markings, 136907749 edges, 70375 markings/sec, 210 secs
lola: 17527104 markings, 139843369 edges, 69704 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(p214)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 406896 markings, 3574950 edges, 81379 markings/sec, 0 secs
lola: 819261 markings, 6959357 edges, 82473 markings/sec, 5 secs
lola: 1258356 markings, 10651612 edges, 87819 markings/sec, 10 secs
lola: 1618869 markings, 14127316 edges, 72103 markings/sec, 15 secs
lola: 1941932 markings, 17323660 edges, 64613 markings/sec, 20 secs
lola: 2402725 markings, 20771926 edges, 92159 markings/sec, 25 secs
lola: 2784833 markings, 24039570 edges, 76422 markings/sec, 30 secs
lola: 3147187 markings, 27390184 edges, 72471 markings/sec, 35 secs
lola: 3528715 markings, 30830361 edges, 76306 markings/sec, 40 secs
lola: 3920014 markings, 34313903 edges, 78260 markings/sec, 45 secs
lola: 4276930 markings, 37680360 edges, 71383 markings/sec, 50 secs
lola: 4651993 markings, 41063370 edges, 75013 markings/sec, 55 secs
lola: 4971114 markings, 44381114 edges, 63824 markings/sec, 60 secs
lola: 5305002 markings, 47738756 edges, 66778 markings/sec, 65 secs
lola: 5601620 markings, 50875234 edges, 59324 markings/sec, 70 secs
lola: 5913438 markings, 54034723 edges, 62364 markings/sec, 75 secs
lola: 6212494 markings, 57185760 edges, 59811 markings/sec, 80 secs
lola: 6551516 markings, 60623488 edges, 67804 markings/sec, 85 secs
lola: 7003611 markings, 63994984 edges, 90419 markings/sec, 90 secs
lola: 7432883 markings, 67403570 edges, 85854 markings/sec, 95 secs
lola: 7793773 markings, 70632124 edges, 72178 markings/sec, 100 secs
lola: 8119195 markings, 73503822 edges, 65084 markings/sec, 105 secs
lola: 8440074 markings, 76341476 edges, 64176 markings/sec, 110 secs
lola: 8764414 markings, 79481054 edges, 64868 markings/sec, 115 secs
lola: 9096377 markings, 82511741 edges, 66393 markings/sec, 120 secs
lola: 9452143 markings, 85664250 edges, 71153 markings/sec, 125 secs
lola: 9792319 markings, 88766995 edges, 68035 markings/sec, 130 secs
lola: 10049732 markings, 91899511 edges, 51483 markings/sec, 135 secs
lola: 10302574 markings, 95086431 edges, 50568 markings/sec, 140 secs
lola: 10660553 markings, 98289938 edges, 71596 markings/sec, 145 secs
lola: 11009180 markings, 101509350 edges, 69725 markings/sec, 150 secs
lola: 11316787 markings, 104774504 edges, 61521 markings/sec, 155 secs
lola: 11681702 markings, 108074376 edges, 72983 markings/sec, 160 secs
lola: 12058432 markings, 111515317 edges, 75346 markings/sec, 165 secs
lola: 12376433 markings, 115001881 edges, 63600 markings/sec, 170 secs
lola: 12761476 markings, 118554036 edges, 77009 markings/sec, 175 secs
lola: 13111131 markings, 121717188 edges, 69931 markings/sec, 180 secs
lola: 13469856 markings, 125027591 edges, 71745 markings/sec, 185 secs
lola: 13782465 markings, 128377792 edges, 62522 markings/sec, 190 secs
lola: 14133547 markings, 131769570 edges, 70216 markings/sec, 195 secs
lola: 14452483 markings, 134909177 edges, 63787 markings/sec, 200 secs
lola: 14781830 markings, 137914784 edges, 65869 markings/sec, 205 secs
lola: 15092844 markings, 140999276 edges, 62203 markings/sec, 210 secs
lola: 15407362 markings, 144241082 edges, 62904 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(p110)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 511682 markings, 3541398 edges, 102336 markings/sec, 0 secs
lola: 898065 markings, 7121579 edges, 77277 markings/sec, 5 secs
lola: 1277374 markings, 10473553 edges, 75862 markings/sec, 10 secs
lola: 1662652 markings, 13664777 edges, 77056 markings/sec, 15 secs
lola: 2025969 markings, 16867386 edges, 72663 markings/sec, 20 secs
lola: 2343414 markings, 20412570 edges, 63489 markings/sec, 25 secs
lola: 2688709 markings, 23793807 edges, 69059 markings/sec, 30 secs
lola: 3012110 markings, 27321624 edges, 64680 markings/sec, 35 secs
lola: 3324257 markings, 30646758 edges, 62429 markings/sec, 40 secs
lola: 3621831 markings, 33893105 edges, 59515 markings/sec, 45 secs
lola: 3971499 markings, 37188819 edges, 69934 markings/sec, 50 secs
lola: 4283425 markings, 40502192 edges, 62385 markings/sec, 55 secs
lola: 4600049 markings, 43714732 edges, 63325 markings/sec, 60 secs
lola: 4854857 markings, 46899224 edges, 50962 markings/sec, 65 secs
lola: 5146071 markings, 50112302 edges, 58243 markings/sec, 70 secs
lola: 5430782 markings, 53265677 edges, 56942 markings/sec, 75 secs
lola: 5709499 markings, 56533357 edges, 55743 markings/sec, 80 secs
lola: 5994769 markings, 59709542 edges, 57054 markings/sec, 85 secs
lola: 6254952 markings, 63025867 edges, 52037 markings/sec, 90 secs
lola: 6487218 markings, 66389727 edges, 46453 markings/sec, 95 secs
lola: 6739426 markings, 69587902 edges, 50442 markings/sec, 100 secs
lola: 6997061 markings, 72791879 edges, 51527 markings/sec, 105 secs
lola: 7247414 markings, 76060044 edges, 50071 markings/sec, 110 secs
lola: 7518704 markings, 79578925 edges, 54258 markings/sec, 115 secs
lola: 7779161 markings, 82977479 edges, 52091 markings/sec, 120 secs
lola: 8067601 markings, 86153120 edges, 57688 markings/sec, 125 secs
lola: 8333765 markings, 89682676 edges, 53233 markings/sec, 130 secs
lola: 8587676 markings, 93013467 edges, 50782 markings/sec, 135 secs
lola: 8830823 markings, 96248136 edges, 48629 markings/sec, 140 secs
lola: 9070130 markings, 99251139 edges, 47861 markings/sec, 145 secs
lola: 9342035 markings, 102238038 edges, 54381 markings/sec, 150 secs
lola: 9578662 markings, 105277812 edges, 47325 markings/sec, 155 secs
lola: 9837170 markings, 108174635 edges, 51702 markings/sec, 160 secs
lola: 10053247 markings, 111379417 edges, 43215 markings/sec, 165 secs
lola: 10236927 markings, 114419984 edges, 36736 markings/sec, 170 secs
lola: 10467077 markings, 117606664 edges, 46030 markings/sec, 175 secs
lola: 10683152 markings, 120692738 edges, 43215 markings/sec, 180 secs
lola: 10905874 markings, 123849213 edges, 44544 markings/sec, 185 secs
lola: 11140583 markings, 127186346 edges, 46942 markings/sec, 190 secs
lola: 11374322 markings, 130477065 edges, 46748 markings/sec, 195 secs
lola: 11616442 markings, 133876655 edges, 48424 markings/sec, 200 secs
lola: 11875213 markings, 137360300 edges, 51754 markings/sec, 205 secs
lola: 12118136 markings, 140938991 edges, 48585 markings/sec, 210 secs
lola: 12369742 markings, 144527272 edges, 50321 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(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 442040 markings, 3858933 edges, 88408 markings/sec, 0 secs
lola: 921648 markings, 7760618 edges, 95922 markings/sec, 5 secs
lola: 1391063 markings, 11762411 edges, 93883 markings/sec, 10 secs
lola: 1769229 markings, 15520947 edges, 75633 markings/sec, 15 secs
lola: 2112502 markings, 18996255 edges, 68655 markings/sec, 20 secs
lola: 2592932 markings, 22609198 edges, 96086 markings/sec, 25 secs
lola: 3003998 markings, 26109082 edges, 82213 markings/sec, 30 secs
lola: 3440462 markings, 29728665 edges, 87293 markings/sec, 35 secs
lola: 3777171 markings, 33287483 edges, 67342 markings/sec, 40 secs
lola: 4187964 markings, 36815862 edges, 82159 markings/sec, 45 secs
lola: 4583202 markings, 40397094 edges, 79048 markings/sec, 50 secs
lola: 4977547 markings, 44109406 edges, 78869 markings/sec, 55 secs
lola: 5341198 markings, 47443795 edges, 72730 markings/sec, 60 secs
lola: 5706502 markings, 50836888 edges, 73061 markings/sec, 65 secs
lola: 6025944 markings, 54189056 edges, 63888 markings/sec, 70 secs
lola: 6371595 markings, 57626153 edges, 69130 markings/sec, 75 secs
lola: 6701826 markings, 61161436 edges, 66046 markings/sec, 80 secs
lola: 7026778 markings, 64517959 edges, 64990 markings/sec, 85 secs
lola: 7342516 markings, 67857963 edges, 63148 markings/sec, 90 secs
lola: 7667039 markings, 71293225 edges, 64905 markings/sec, 95 secs
lola: 8004712 markings, 74659008 edges, 67535 markings/sec, 100 secs
lola: 8361553 markings, 78120485 edges, 71368 markings/sec, 105 secs
lola: 8825557 markings, 81478639 edges, 92801 markings/sec, 110 secs
lola: 9249483 markings, 85025129 edges, 84785 markings/sec, 115 secs
lola: 9628559 markings, 88362732 edges, 75815 markings/sec, 120 secs
lola: 9997725 markings, 91655617 edges, 73833 markings/sec, 125 secs
lola: 10349326 markings, 95057195 edges, 70320 markings/sec, 130 secs
lola: 10723009 markings, 98467918 edges, 74737 markings/sec, 135 secs
lola: 11129511 markings, 102003090 edges, 81300 markings/sec, 140 secs
lola: 11480621 markings, 105321062 edges, 70222 markings/sec, 145 secs
lola: 11736301 markings, 108756125 edges, 51136 markings/sec, 150 secs
lola: 12100801 markings, 112420305 edges, 72900 markings/sec, 155 secs
lola: 12481425 markings, 115987863 edges, 76125 markings/sec, 160 secs
lola: 12873290 markings, 119576908 edges, 78373 markings/sec, 165 secs
lola: 13173477 markings, 122734166 edges, 60037 markings/sec, 170 secs
lola: 13526263 markings, 125985716 edges, 70557 markings/sec, 175 secs
lola: 13858772 markings, 129235713 edges, 66502 markings/sec, 180 secs
lola: 14168323 markings, 132541689 edges, 61910 markings/sec, 185 secs
lola: 14559029 markings, 136075969 edges, 78141 markings/sec, 190 secs
lola: 14926819 markings, 139473701 edges, 73558 markings/sec, 195 secs
lola: 15285167 markings, 143024452 edges, 71670 markings/sec, 200 secs
lola: 15642469 markings, 146671628 edges, 71460 markings/sec, 205 secs
lola: 15998934 markings, 150379386 edges, 71293 markings/sec, 210 secs
lola: 16416146 markings, 154119752 edges, 83442 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(p277)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 516154 markings, 3641384 edges, 103231 markings/sec, 0 secs
lola: 955464 markings, 7230263 edges, 87862 markings/sec, 5 secs
lola: 1345415 markings, 10761587 edges, 77990 markings/sec, 10 secs
lola: 1735324 markings, 14261602 edges, 77982 markings/sec, 15 secs
lola: 2043149 markings, 17923938 edges, 61565 markings/sec, 20 secs
lola: 2363195 markings, 21642739 edges, 64009 markings/sec, 25 secs
lola: 2674193 markings, 24453498 edges, 62200 markings/sec, 30 secs
lola: 2940657 markings, 27176781 edges, 53293 markings/sec, 35 secs
lola: 3206328 markings, 30713465 edges, 53134 markings/sec, 40 secs
lola: 3519374 markings, 34151220 edges, 62609 markings/sec, 45 secs
lola: 3864106 markings, 37468048 edges, 68946 markings/sec, 50 secs
lola: 4223610 markings, 41062071 edges, 71901 markings/sec, 55 secs
lola: 4503930 markings, 44245577 edges, 56064 markings/sec, 60 secs
lola: 4719432 markings, 46969835 edges, 43100 markings/sec, 65 secs
lola: 4942823 markings, 49854586 edges, 44678 markings/sec, 70 secs
lola: 5245041 markings, 53232899 edges, 60444 markings/sec, 75 secs
lola: 5513076 markings, 56672104 edges, 53607 markings/sec, 80 secs
lola: 5791420 markings, 60177041 edges, 55669 markings/sec, 85 secs
lola: 6098008 markings, 63253124 edges, 61318 markings/sec, 90 secs
lola: 6434179 markings, 66421517 edges, 67234 markings/sec, 95 secs
lola: 6748289 markings, 69777473 edges, 62822 markings/sec, 100 secs
lola: 7026552 markings, 73112445 edges, 55653 markings/sec, 105 secs
lola: 7250771 markings, 76294314 edges, 44844 markings/sec, 110 secs
lola: 7508573 markings, 79465002 edges, 51560 markings/sec, 115 secs
lola: 7777863 markings, 82662741 edges, 53858 markings/sec, 120 secs
lola: 8048297 markings, 86128916 edges, 54087 markings/sec, 125 secs
lola: 8294406 markings, 89469641 edges, 49222 markings/sec, 130 secs
lola: 8511287 markings, 92651075 edges, 43376 markings/sec, 135 secs
lola: 8729950 markings, 95853212 edges, 43733 markings/sec, 140 secs
lola: 9015535 markings, 99025909 edges, 57117 markings/sec, 145 secs
lola: 9242722 markings, 102355513 edges, 45437 markings/sec, 150 secs
lola: 9446063 markings, 105392742 edges, 40668 markings/sec, 155 secs
lola: 9681752 markings, 108771791 edges, 47138 markings/sec, 160 secs
lola: 9934298 markings, 112146622 edges, 50509 markings/sec, 165 secs
lola: 10165002 markings, 115582227 edges, 46141 markings/sec, 170 secs
lola: 10429098 markings, 118791439 edges, 52819 markings/sec, 175 secs
lola: 10664774 markings, 122204996 edges, 47135 markings/sec, 180 secs
lola: 10918530 markings, 125616790 edges, 50751 markings/sec, 185 secs
lola: 11182104 markings, 129064180 edges, 52715 markings/sec, 190 secs
lola: 11459248 markings, 132371880 edges, 55429 markings/sec, 195 secs
lola: 11692668 markings, 135641076 edges, 46684 markings/sec, 200 secs
lola: 11932058 markings, 138862871 edges, 47878 markings/sec, 205 secs
lola: 12176899 markings, 142080831 edges, 48968 markings/sec, 210 secs
lola: 12416596 markings, 145368254 edges, 47939 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(p182)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 529148 markings, 3498525 edges, 105830 markings/sec, 0 secs
lola: 1021711 markings, 7061689 edges, 98513 markings/sec, 5 secs
lola: 1572581 markings, 10611869 edges, 110174 markings/sec, 10 secs
lola: 2062438 markings, 14187017 edges, 97971 markings/sec, 15 secs
lola: 2395894 markings, 17445456 edges, 66691 markings/sec, 20 secs
lola: 2760037 markings, 20803954 edges, 72829 markings/sec, 25 secs
lola: 3216395 markings, 24149355 edges, 91272 markings/sec, 30 secs
lola: 3722535 markings, 27540458 edges, 101228 markings/sec, 35 secs
lola: 4248075 markings, 30980101 edges, 105108 markings/sec, 40 secs
lola: 4768768 markings, 34362401 edges, 104139 markings/sec, 45 secs
lola: 5267935 markings, 37790093 edges, 99833 markings/sec, 50 secs
lola: 5772778 markings, 41226625 edges, 100969 markings/sec, 55 secs
lola: 6259314 markings, 44676255 edges, 97307 markings/sec, 60 secs
lola: 6769993 markings, 48145995 edges, 102136 markings/sec, 65 secs
lola: 7241940 markings, 51558469 edges, 94389 markings/sec, 70 secs
lola: 7726855 markings, 55055476 edges, 96983 markings/sec, 75 secs
lola: 8219597 markings, 58566930 edges, 98548 markings/sec, 80 secs
lola: 8608789 markings, 61842050 edges, 77838 markings/sec, 85 secs
lola: 8977208 markings, 65218399 edges, 73684 markings/sec, 90 secs
lola: 9292461 markings, 68285991 edges, 63051 markings/sec, 95 secs
lola: 9603287 markings, 71434927 edges, 62165 markings/sec, 100 secs
lola: 9913681 markings, 74493725 edges, 62079 markings/sec, 105 secs
lola: 10223035 markings, 77725574 edges, 61871 markings/sec, 110 secs
lola: 10564237 markings, 80993891 edges, 68240 markings/sec, 115 secs
lola: 10888148 markings, 84264319 edges, 64782 markings/sec, 120 secs
lola: 11212439 markings, 87569494 edges, 64858 markings/sec, 125 secs
lola: 11528815 markings, 90829236 edges, 63275 markings/sec, 130 secs
lola: 11934842 markings, 94017643 edges, 81205 markings/sec, 135 secs
lola: 12337980 markings, 97084954 edges, 80628 markings/sec, 140 secs
lola: 12754589 markings, 100369461 edges, 83322 markings/sec, 145 secs
lola: 13180529 markings, 103691218 edges, 85188 markings/sec, 150 secs
lola: 13521972 markings, 106729054 edges, 68289 markings/sec, 155 secs
lola: 13861535 markings, 109789823 edges, 67913 markings/sec, 160 secs
lola: 14260376 markings, 112790681 edges, 79768 markings/sec, 165 secs
lola: 14752996 markings, 115996223 edges, 98524 markings/sec, 170 secs
lola: 15251711 markings, 119387392 edges, 99743 markings/sec, 175 secs
lola: 15724959 markings, 122491134 edges, 94650 markings/sec, 180 secs
lola: 16220933 markings, 125647511 edges, 99195 markings/sec, 185 secs
lola: 16679914 markings, 128863419 edges, 91796 markings/sec, 190 secs
lola: 17036221 markings, 131712286 edges, 71261 markings/sec, 195 secs
lola: 17500798 markings, 134784695 edges, 92915 markings/sec, 200 secs
lola: 17937579 markings, 137951547 edges, 87356 markings/sec, 205 secs
lola: 18389454 markings, 141178028 edges, 90375 markings/sec, 210 secs
lola: 18845113 markings, 144322286 edges, 91132 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(p109)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 520449 markings, 3598340 edges, 104090 markings/sec, 0 secs
lola: 894014 markings, 7086710 edges, 74713 markings/sec, 5 secs
lola: 1272752 markings, 10428236 edges, 75748 markings/sec, 10 secs
lola: 1640592 markings, 13445846 edges, 73568 markings/sec, 15 secs
lola: 1977342 markings, 16397548 edges, 67350 markings/sec, 20 secs
lola: 2281196 markings, 19680035 edges, 60771 markings/sec, 25 secs
lola: 2621002 markings, 23096367 edges, 67961 markings/sec, 30 secs
lola: 2966471 markings, 26792163 edges, 69094 markings/sec, 35 secs
lola: 3288346 markings, 30336434 edges, 64375 markings/sec, 40 secs
lola: 3602183 markings, 33665245 edges, 62767 markings/sec, 45 secs
lola: 3955390 markings, 37008295 edges, 70641 markings/sec, 50 secs
lola: 4274765 markings, 40457657 edges, 63875 markings/sec, 55 secs
lola: 4609438 markings, 43820677 edges, 66935 markings/sec, 60 secs
lola: 4876179 markings, 47156214 edges, 53348 markings/sec, 65 secs
lola: 5193171 markings, 50552366 edges, 63398 markings/sec, 70 secs
lola: 5487885 markings, 53961430 edges, 58943 markings/sec, 75 secs
lola: 5783393 markings, 57475511 edges, 59102 markings/sec, 80 secs
lola: 6089747 markings, 60809601 edges, 61271 markings/sec, 85 secs
lola: 6325514 markings, 64420854 edges, 47153 markings/sec, 90 secs
lola: 6610625 markings, 67900493 edges, 57022 markings/sec, 95 secs
lola: 6876329 markings, 71388551 edges, 53141 markings/sec, 100 secs
lola: 7160688 markings, 74948644 edges, 56872 markings/sec, 105 secs
lola: 7455849 markings, 78567265 edges, 59032 markings/sec, 110 secs
lola: 7725471 markings, 82261892 edges, 53924 markings/sec, 115 secs
lola: 8041780 markings, 85833502 edges, 63262 markings/sec, 120 secs
lola: 8321505 markings, 89542359 edges, 55945 markings/sec, 125 secs
lola: 8601791 markings, 93185919 edges, 56057 markings/sec, 130 secs
lola: 8867836 markings, 96657397 edges, 53209 markings/sec, 135 secs
lola: 9155831 markings, 99947535 edges, 57599 markings/sec, 140 secs
lola: 9431892 markings, 103222893 edges, 55212 markings/sec, 145 secs
lola: 9676624 markings, 106419447 edges, 48946 markings/sec, 150 secs
lola: 9940624 markings, 109623994 edges, 52800 markings/sec, 155 secs
lola: 10152630 markings, 112968170 edges, 42401 markings/sec, 160 secs
lola: 10384589 markings, 116416953 edges, 46392 markings/sec, 165 secs
lola: 10625741 markings, 119831946 edges, 48230 markings/sec, 170 secs
lola: 10879143 markings, 123312460 edges, 50680 markings/sec, 175 secs
lola: 11113198 markings, 126805400 edges, 46811 markings/sec, 180 secs
lola: 11361237 markings, 130237738 edges, 49608 markings/sec, 185 secs
lola: 11601359 markings, 133615653 edges, 48024 markings/sec, 190 secs
lola: 11849546 markings, 136986738 edges, 49637 markings/sec, 195 secs
lola: 12083264 markings, 140445009 edges, 46744 markings/sec, 200 secs
lola: 12320961 markings, 143895010 edges, 47539 markings/sec, 205 secs
lola: 12590349 markings, 147305128 edges, 53878 markings/sec, 210 secs
lola: 12845758 markings, 150323129 edges, 51082 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(p29)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 592613 markings, 3382883 edges, 118523 markings/sec, 0 secs
lola: 1094336 markings, 6863866 edges, 100345 markings/sec, 5 secs
lola: 1537810 markings, 10295906 edges, 88695 markings/sec, 10 secs
lola: 2001022 markings, 13457791 edges, 92642 markings/sec, 15 secs
lola: 2481570 markings, 16905553 edges, 96110 markings/sec, 20 secs
lola: 2894412 markings, 20249531 edges, 82568 markings/sec, 25 secs
lola: 3294971 markings, 23430058 edges, 80112 markings/sec, 30 secs
lola: 3718328 markings, 26610344 edges, 84671 markings/sec, 35 secs
lola: 4084084 markings, 29698033 edges, 73151 markings/sec, 40 secs
lola: 4446749 markings, 32631376 edges, 72533 markings/sec, 45 secs
lola: 4836855 markings, 35646356 edges, 78021 markings/sec, 50 secs
lola: 5238306 markings, 38862861 edges, 80290 markings/sec, 55 secs
lola: 5650728 markings, 42143489 edges, 82484 markings/sec, 60 secs
lola: 6037207 markings, 44971060 edges, 77296 markings/sec, 65 secs
lola: 6423727 markings, 47884855 edges, 77304 markings/sec, 70 secs
lola: 6770149 markings, 50955924 edges, 69284 markings/sec, 75 secs
lola: 7182140 markings, 54105035 edges, 82398 markings/sec, 80 secs
lola: 7517770 markings, 57077874 edges, 67126 markings/sec, 85 secs
lola: 7849517 markings, 59996814 edges, 66349 markings/sec, 90 secs
lola: 8175837 markings, 62901208 edges, 65264 markings/sec, 95 secs
lola: 8520148 markings, 65948845 edges, 68862 markings/sec, 100 secs
lola: 8907219 markings, 69124552 edges, 77414 markings/sec, 105 secs
lola: 9284791 markings, 72086160 edges, 75514 markings/sec, 110 secs
lola: 9620867 markings, 75167934 edges, 67215 markings/sec, 115 secs
lola: 9980056 markings, 78176667 edges, 71838 markings/sec, 120 secs
lola: 10351216 markings, 81100909 edges, 74232 markings/sec, 125 secs
lola: 10733461 markings, 84191608 edges, 76449 markings/sec, 130 secs
lola: 11115472 markings, 87412127 edges, 76402 markings/sec, 135 secs
lola: 11536893 markings, 90721606 edges, 84284 markings/sec, 140 secs
lola: 11951230 markings, 93954200 edges, 82867 markings/sec, 145 secs
lola: 12354126 markings, 97090247 edges, 80579 markings/sec, 150 secs
lola: 12737445 markings, 100232736 edges, 76664 markings/sec, 155 secs
lola: 13124090 markings, 103326426 edges, 77329 markings/sec, 160 secs
lola: 13578246 markings, 106674991 edges, 90831 markings/sec, 165 secs
lola: 14050101 markings, 110230081 edges, 94371 markings/sec, 170 secs
lola: 14483217 markings, 113728833 edges, 86623 markings/sec, 175 secs
lola: 14833531 markings, 117129566 edges, 70063 markings/sec, 180 secs
lola: 15204865 markings, 120576878 edges, 74267 markings/sec, 185 secs
lola: 15677246 markings, 124254292 edges, 94476 markings/sec, 190 secs
lola: 16048397 markings, 127525619 edges, 74230 markings/sec, 195 secs
lola: 16471864 markings, 130750714 edges, 84693 markings/sec, 200 secs
lola: 16906057 markings, 134206338 edges, 86839 markings/sec, 205 secs
lola: 17372224 markings, 137685467 edges, 93233 markings/sec, 210 secs
lola: 17813987 markings, 141195062 edges, 88353 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(p208)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 415340 markings, 3670922 edges, 83068 markings/sec, 0 secs
lola: 876103 markings, 7400185 edges, 92153 markings/sec, 5 secs
lola: 1327762 markings, 11243843 edges, 90332 markings/sec, 10 secs
lola: 1691251 markings, 14848658 edges, 72698 markings/sec, 15 secs
lola: 2110608 markings, 18366434 edges, 83871 markings/sec, 20 secs
lola: 2539371 markings, 21850339 edges, 85753 markings/sec, 25 secs
lola: 2956169 markings, 25420163 edges, 83360 markings/sec, 30 secs
lola: 3324462 markings, 29060502 edges, 73659 markings/sec, 35 secs
lola: 3736147 markings, 32699083 edges, 82337 markings/sec, 40 secs
lola: 4130007 markings, 36296503 edges, 78772 markings/sec, 45 secs
lola: 4510666 markings, 39679449 edges, 76132 markings/sec, 50 secs
lola: 4864653 markings, 43180797 edges, 70797 markings/sec, 55 secs
lola: 5204351 markings, 46700684 edges, 67940 markings/sec, 60 secs
lola: 5534226 markings, 50135039 edges, 65975 markings/sec, 65 secs
lola: 5859702 markings, 53476962 edges, 65095 markings/sec, 70 secs
lola: 6181345 markings, 56841410 edges, 64329 markings/sec, 75 secs
lola: 6517593 markings, 60253306 edges, 67250 markings/sec, 80 secs
lola: 6959631 markings, 63615987 edges, 88408 markings/sec, 85 secs
lola: 7401580 markings, 67075586 edges, 88390 markings/sec, 90 secs
lola: 7778069 markings, 70453494 edges, 75298 markings/sec, 95 secs
lola: 8133181 markings, 73628801 edges, 71022 markings/sec, 100 secs
lola: 8483023 markings, 76751861 edges, 69968 markings/sec, 105 secs
lola: 8850781 markings, 80221014 edges, 73552 markings/sec, 110 secs
lola: 9222043 markings, 83565619 edges, 74252 markings/sec, 115 secs
lola: 9600121 markings, 86910749 edges, 75616 markings/sec, 120 secs
lola: 9929805 markings, 90348041 edges, 65937 markings/sec, 125 secs
lola: 10163989 markings, 93508028 edges, 46837 markings/sec, 130 secs
lola: 10510551 markings, 96866012 edges, 69312 markings/sec, 135 secs
lola: 10860229 markings, 100123791 edges, 69936 markings/sec, 140 secs
lola: 11171662 markings, 103528457 edges, 62287 markings/sec, 145 secs
lola: 11565405 markings, 106956218 edges, 78749 markings/sec, 150 secs
lola: 11902793 markings, 110048424 edges, 67478 markings/sec, 155 secs
lola: 12219285 markings, 113235456 edges, 63298 markings/sec, 160 secs
lola: 12527666 markings, 116416196 edges, 61676 markings/sec, 165 secs
lola: 12883335 markings, 119603427 edges, 71134 markings/sec, 170 secs
lola: 13213347 markings, 122637396 edges, 66002 markings/sec, 175 secs
lola: 13536890 markings, 125833866 edges, 64709 markings/sec, 180 secs
lola: 13844694 markings, 129058601 edges, 61561 markings/sec, 185 secs
lola: 14177936 markings, 132313701 edges, 66648 markings/sec, 190 secs
lola: 14492356 markings, 135268869 edges, 62884 markings/sec, 195 secs
lola: 14811050 markings, 138163376 edges, 63739 markings/sec, 200 secs
lola: 15109363 markings, 141162502 edges, 59663 markings/sec, 205 secs
lola: 15399393 markings, 144118374 edges, 58006 markings/sec, 210 secs
lola: 15735279 markings, 146999080 edges, 67177 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p241)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 497001 markings, 3205654 edges, 99400 markings/sec, 0 secs
lola: 881909 markings, 6834969 edges, 76982 markings/sec, 5 secs
lola: 1270871 markings, 10422680 edges, 77792 markings/sec, 10 secs
lola: 1583782 markings, 13573249 edges, 62582 markings/sec, 15 secs
lola: 1936790 markings, 16852031 edges, 70602 markings/sec, 20 secs
lola: 2286873 markings, 19927745 edges, 70017 markings/sec, 25 secs
lola: 2627012 markings, 23040122 edges, 68028 markings/sec, 30 secs
lola: 2935315 markings, 26426001 edges, 61661 markings/sec, 35 secs
lola: 3274437 markings, 29883269 edges, 67824 markings/sec, 40 secs
lola: 3601169 markings, 33312463 edges, 65346 markings/sec, 45 secs
lola: 3937681 markings, 36914079 edges, 67302 markings/sec, 50 secs
lola: 4229231 markings, 40472693 edges, 58310 markings/sec, 55 secs
lola: 4534209 markings, 43797621 edges, 60996 markings/sec, 60 secs
lola: 4862906 markings, 47210654 edges, 65739 markings/sec, 65 secs
lola: 5171613 markings, 50814628 edges, 61741 markings/sec, 70 secs
lola: 5485989 markings, 54307774 edges, 62875 markings/sec, 75 secs
lola: 5777282 markings, 57847078 edges, 58259 markings/sec, 80 secs
lola: 6058941 markings, 61468296 edges, 56332 markings/sec, 85 secs
lola: 6336502 markings, 64976995 edges, 55512 markings/sec, 90 secs
lola: 6634518 markings, 68645124 edges, 59603 markings/sec, 95 secs
lola: 6939984 markings, 72034263 edges, 61093 markings/sec, 100 secs
lola: 7257346 markings, 75446693 edges, 63472 markings/sec, 105 secs
lola: 7573915 markings, 78916215 edges, 63314 markings/sec, 110 secs
lola: 7856427 markings, 82400561 edges, 56502 markings/sec, 115 secs
lola: 8152806 markings, 85873815 edges, 59276 markings/sec, 120 secs
lola: 8456423 markings, 89245236 edges, 60723 markings/sec, 125 secs
lola: 8725072 markings, 92587463 edges, 53730 markings/sec, 130 secs
lola: 9026353 markings, 95816158 edges, 60256 markings/sec, 135 secs
lola: 9331345 markings, 98970389 edges, 60998 markings/sec, 140 secs
lola: 9630284 markings, 102075482 edges, 59788 markings/sec, 145 secs
lola: 9910121 markings, 105283249 edges, 55967 markings/sec, 150 secs
lola: 10196906 markings, 108634979 edges, 57357 markings/sec, 155 secs
lola: 10500161 markings, 111728933 edges, 60651 markings/sec, 160 secs
lola: 10790719 markings, 114985445 edges, 58112 markings/sec, 165 secs
lola: 11072145 markings, 118090334 edges, 56285 markings/sec, 170 secs
lola: 11355785 markings, 121195684 edges, 56728 markings/sec, 175 secs
lola: 11617102 markings, 124243915 edges, 52263 markings/sec, 180 secs
lola: 11899309 markings, 127189458 edges, 56441 markings/sec, 185 secs
lola: 12164959 markings, 130233347 edges, 53130 markings/sec, 190 secs
lola: 12461839 markings, 133577859 edges, 59376 markings/sec, 195 secs
lola: 12748767 markings, 136783091 edges, 57386 markings/sec, 200 secs
lola: 13004868 markings, 140023453 edges, 51220 markings/sec, 205 secs
lola: 13279690 markings, 143395087 edges, 54964 markings/sec, 210 secs
lola: 13553808 markings, 146628604 edges, 54824 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 536773 markings, 3444168 edges, 107355 markings/sec, 0 secs
lola: 942388 markings, 6868694 edges, 81123 markings/sec, 5 secs
lola: 1301258 markings, 10333140 edges, 71774 markings/sec, 10 secs
lola: 1677984 markings, 13627836 edges, 75345 markings/sec, 15 secs
lola: 2070151 markings, 16810821 edges, 78433 markings/sec, 20 secs
lola: 2444270 markings, 19932718 edges, 74824 markings/sec, 25 secs
lola: 2817693 markings, 23040948 edges, 74685 markings/sec, 30 secs
lola: 3149328 markings, 26342810 edges, 66327 markings/sec, 35 secs
lola: 3466313 markings, 29706232 edges, 63397 markings/sec, 40 secs
lola: 3800107 markings, 33096432 edges, 66759 markings/sec, 45 secs
lola: 4129255 markings, 36489558 edges, 65830 markings/sec, 50 secs
lola: 4485647 markings, 39910888 edges, 71278 markings/sec, 55 secs
lola: 4809552 markings, 43422133 edges, 64781 markings/sec, 60 secs
lola: 5132967 markings, 46755414 edges, 64683 markings/sec, 65 secs
lola: 5455708 markings, 50106015 edges, 64548 markings/sec, 70 secs
lola: 5776351 markings, 53569504 edges, 64129 markings/sec, 75 secs
lola: 6121945 markings, 57073870 edges, 69119 markings/sec, 80 secs
lola: 6469191 markings, 60491646 edges, 69449 markings/sec, 85 secs
lola: 6838629 markings, 64000247 edges, 73888 markings/sec, 90 secs
lola: 7243754 markings, 67491907 edges, 81025 markings/sec, 95 secs
lola: 7751113 markings, 71217171 edges, 101472 markings/sec, 100 secs
lola: 8172691 markings, 74766251 edges, 84316 markings/sec, 105 secs
lola: 8509598 markings, 78090307 edges, 67381 markings/sec, 110 secs
lola: 8839760 markings, 81439286 edges, 66032 markings/sec, 115 secs
lola: 9156134 markings, 84798341 edges, 63275 markings/sec, 120 secs
lola: 9451559 markings, 87871897 edges, 59085 markings/sec, 125 secs
lola: 9774401 markings, 91112503 edges, 64568 markings/sec, 130 secs
lola: 10080056 markings, 94216661 edges, 61131 markings/sec, 135 secs
lola: 10433208 markings, 97493727 edges, 70630 markings/sec, 140 secs
lola: 10778179 markings, 100896475 edges, 68994 markings/sec, 145 secs
lola: 11068274 markings, 104066666 edges, 58019 markings/sec, 150 secs
lola: 11416295 markings, 107313352 edges, 69604 markings/sec, 155 secs
lola: 11709516 markings, 110703296 edges, 58644 markings/sec, 160 secs
lola: 11990272 markings, 114091072 edges, 56151 markings/sec, 165 secs
lola: 12255950 markings, 117442666 edges, 53136 markings/sec, 170 secs
lola: 12618389 markings, 120957878 edges, 72488 markings/sec, 175 secs
lola: 12911128 markings, 124334338 edges, 58548 markings/sec, 180 secs
lola: 13194196 markings, 127608085 edges, 56614 markings/sec, 185 secs
lola: 13465973 markings, 130657305 edges, 54355 markings/sec, 190 secs
lola: 13711630 markings, 133744733 edges, 49131 markings/sec, 195 secs
lola: 13991979 markings, 136844195 edges, 56070 markings/sec, 200 secs
lola: 14274835 markings, 140262747 edges, 56571 markings/sec, 205 secs
lola: 14541570 markings, 143629782 edges, 53347 markings/sec, 210 secs
lola: 14823406 markings, 146928040 edges, 56367 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p265)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 500615 markings, 3687879 edges, 100123 markings/sec, 0 secs
lola: 921129 markings, 7249933 edges, 84103 markings/sec, 5 secs
lola: 1312742 markings, 10519480 edges, 78323 markings/sec, 10 secs
lola: 1650931 markings, 13761322 edges, 67638 markings/sec, 15 secs
lola: 1956048 markings, 17360151 edges, 61023 markings/sec, 20 secs
lola: 2285187 markings, 21076932 edges, 65828 markings/sec, 25 secs
lola: 2622367 markings, 24304849 edges, 67436 markings/sec, 30 secs
lola: 2969539 markings, 27423510 edges, 69434 markings/sec, 35 secs
lola: 3237325 markings, 30830967 edges, 53557 markings/sec, 40 secs
lola: 3504403 markings, 34329876 edges, 53416 markings/sec, 45 secs
lola: 3803804 markings, 37465891 edges, 59880 markings/sec, 50 secs
lola: 4090711 markings, 40536917 edges, 57381 markings/sec, 55 secs
lola: 4428009 markings, 43557746 edges, 67460 markings/sec, 60 secs
lola: 4737409 markings, 46609722 edges, 61880 markings/sec, 65 secs
lola: 5008718 markings, 49601473 edges, 54262 markings/sec, 70 secs
lola: 5234558 markings, 52616116 edges, 45168 markings/sec, 75 secs
lola: 5498780 markings, 55522282 edges, 52844 markings/sec, 80 secs
lola: 5761183 markings, 58442264 edges, 52481 markings/sec, 85 secs
lola: 6028676 markings, 61445730 edges, 53499 markings/sec, 90 secs
lola: 6280149 markings, 64450209 edges, 50295 markings/sec, 95 secs
lola: 6538231 markings, 67813596 edges, 51616 markings/sec, 100 secs
lola: 6806582 markings, 70937879 edges, 53670 markings/sec, 105 secs
lola: 7059960 markings, 74073495 edges, 50676 markings/sec, 110 secs
lola: 7288062 markings, 77216979 edges, 45620 markings/sec, 115 secs
lola: 7523904 markings, 80411560 edges, 47168 markings/sec, 120 secs
lola: 7776914 markings, 83656789 edges, 50602 markings/sec, 125 secs
lola: 8074402 markings, 87102638 edges, 59498 markings/sec, 130 secs
lola: 8339612 markings, 90575116 edges, 53042 markings/sec, 135 secs
lola: 8631065 markings, 94046103 edges, 58291 markings/sec, 140 secs
lola: 8891771 markings, 97187447 edges, 52141 markings/sec, 145 secs
lola: 9158857 markings, 100442581 edges, 53417 markings/sec, 150 secs
lola: 9453216 markings, 103619648 edges, 58872 markings/sec, 155 secs
lola: 9711320 markings, 106660631 edges, 51621 markings/sec, 160 secs
lola: 9984097 markings, 109788958 edges, 54555 markings/sec, 165 secs
lola: 10207472 markings, 113068489 edges, 44675 markings/sec, 170 secs
lola: 10467581 markings, 116213544 edges, 52022 markings/sec, 175 secs
lola: 10686980 markings, 119467084 edges, 43880 markings/sec, 180 secs
lola: 10928401 markings, 122780195 edges, 48284 markings/sec, 185 secs
lola: 11165557 markings, 126077898 edges, 47431 markings/sec, 190 secs
lola: 11387132 markings, 129379655 edges, 44315 markings/sec, 195 secs
lola: 11631820 markings, 132763215 edges, 48938 markings/sec, 200 secs
lola: 11861251 markings, 136109869 edges, 45886 markings/sec, 205 secs
lola: 12099093 markings, 139382072 edges, 47568 markings/sec, 210 secs
lola: 12333994 markings, 142710063 edges, 46980 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA AutoFlight-PT-12a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494604359014

--------------------
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="AutoFlight-PT-12a"
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/AutoFlight-PT-12a.tgz
mv AutoFlight-PT-12a execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is AutoFlight-PT-12a, 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 r008-csrt-149436126000218"
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 ;