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 DES-PT-60b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309200344
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494634107880


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DES-PT-60b @ 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: 989/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 519 places, 470 transitions, 454 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 567 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-60b-UpperBounds.task
lola: MAX(p225) : MAX(p339) : MAX(p496) : MAX(p250) : MAX(p481) : MAX(p291) : MAX(p144) : MAX(p313) : MAX(p417) : MAX(p380) : MAX(p148) : MAX(p437) : MAX(p470) : MAX(p188) : MAX(p417) : MAX(p449)
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(p225)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 707372 markings, 984661 edges, 141474 markings/sec, 0 secs
lola: 1440108 markings, 2016567 edges, 146547 markings/sec, 5 secs
lola: 1992804 markings, 2875739 edges, 110539 markings/sec, 10 secs
lola: 2445223 markings, 3582712 edges, 90484 markings/sec, 15 secs
lola: 2891328 markings, 4261035 edges, 89221 markings/sec, 20 secs
lola: 3441470 markings, 4929439 edges, 110028 markings/sec, 25 secs
lola: 4020329 markings, 5570384 edges, 115772 markings/sec, 30 secs
lola: 4581929 markings, 6217184 edges, 112320 markings/sec, 35 secs
lola: 5138728 markings, 6864534 edges, 111360 markings/sec, 40 secs
lola: 5733962 markings, 7553419 edges, 119047 markings/sec, 45 secs
lola: 6321305 markings, 8235710 edges, 117469 markings/sec, 50 secs
lola: 6900750 markings, 8910199 edges, 115889 markings/sec, 55 secs
lola: 7485955 markings, 9558149 edges, 117041 markings/sec, 60 secs
lola: 8078865 markings, 10212589 edges, 118582 markings/sec, 65 secs
lola: 8657500 markings, 10846235 edges, 115727 markings/sec, 70 secs
lola: 9238159 markings, 11565579 edges, 116132 markings/sec, 75 secs
lola: 9850121 markings, 12283809 edges, 122392 markings/sec, 80 secs
lola: 10444856 markings, 12996531 edges, 118947 markings/sec, 85 secs
lola: 11031586 markings, 13726166 edges, 117346 markings/sec, 90 secs
lola: 11634375 markings, 14469632 edges, 120558 markings/sec, 95 secs
lola: 12221449 markings, 15185747 edges, 117415 markings/sec, 100 secs
lola: 12822408 markings, 15886417 edges, 120192 markings/sec, 105 secs
lola: 13426401 markings, 16583060 edges, 120799 markings/sec, 110 secs
lola: 14006680 markings, 17263519 edges, 116056 markings/sec, 115 secs
lola: 14521637 markings, 18152885 edges, 102991 markings/sec, 120 secs
lola: 15036875 markings, 19094301 edges, 103048 markings/sec, 125 secs
lola: 15541406 markings, 20046304 edges, 100906 markings/sec, 130 secs
lola: 16027514 markings, 21029308 edges, 97222 markings/sec, 135 secs
lola: 16459388 markings, 22055438 edges, 86375 markings/sec, 140 secs
lola: 16841105 markings, 23125707 edges, 76343 markings/sec, 145 secs
lola: 17247474 markings, 24173704 edges, 81274 markings/sec, 150 secs
lola: 17644976 markings, 25198815 edges, 79500 markings/sec, 155 secs
lola: 18045611 markings, 26222999 edges, 80127 markings/sec, 160 secs
lola: 18434394 markings, 27245602 edges, 77757 markings/sec, 165 secs
lola: 18796924 markings, 28193120 edges, 72506 markings/sec, 170 secs
lola: 19165784 markings, 29138829 edges, 73772 markings/sec, 175 secs
lola: 19527338 markings, 30107431 edges, 72311 markings/sec, 180 secs
lola: 19896436 markings, 31065651 edges, 73820 markings/sec, 185 secs
lola: 20269461 markings, 32024456 edges, 74605 markings/sec, 190 secs
lola: 20636924 markings, 32999971 edges, 73493 markings/sec, 195 secs
lola: 21000924 markings, 33933121 edges, 72800 markings/sec, 200 secs
lola: 21359649 markings, 34880746 edges, 71745 markings/sec, 205 secs
lola: 21761699 markings, 35801537 edges, 80410 markings/sec, 210 secs
lola: 22192014 markings, 36697774 edges, 86063 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(p339)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 883841 markings, 1037526 edges, 176768 markings/sec, 0 secs
lola: 1700933 markings, 2087310 edges, 163418 markings/sec, 5 secs
lola: 2559566 markings, 3156242 edges, 171727 markings/sec, 10 secs
lola: 3409592 markings, 4215943 edges, 170005 markings/sec, 15 secs
lola: 4235583 markings, 5234268 edges, 165198 markings/sec, 20 secs
lola: 5041084 markings, 6213583 edges, 161100 markings/sec, 25 secs
lola: 5812646 markings, 7201541 edges, 154312 markings/sec, 30 secs
lola: 6611311 markings, 8209655 edges, 159733 markings/sec, 35 secs
lola: 7440161 markings, 9200146 edges, 165770 markings/sec, 40 secs
lola: 8165100 markings, 10192433 edges, 144988 markings/sec, 45 secs
lola: 8928760 markings, 11200668 edges, 152732 markings/sec, 50 secs
lola: 9737839 markings, 12233255 edges, 161816 markings/sec, 55 secs
lola: 10593882 markings, 13297083 edges, 171209 markings/sec, 60 secs
lola: 11407786 markings, 14334824 edges, 162781 markings/sec, 65 secs
lola: 12206208 markings, 15286347 edges, 159684 markings/sec, 70 secs
lola: 12982298 markings, 16259623 edges, 155218 markings/sec, 75 secs
lola: 13757686 markings, 17240495 edges, 155078 markings/sec, 80 secs
lola: 14560951 markings, 18235404 edges, 160653 markings/sec, 85 secs
lola: 15345410 markings, 19207587 edges, 156892 markings/sec, 90 secs
lola: 16094693 markings, 20164431 edges, 149857 markings/sec, 95 secs
lola: 16833304 markings, 21112273 edges, 147722 markings/sec, 100 secs
lola: 17579394 markings, 22074686 edges, 149218 markings/sec, 105 secs
lola: 18326499 markings, 23031859 edges, 149421 markings/sec, 110 secs
lola: 19067265 markings, 23976812 edges, 148153 markings/sec, 115 secs
lola: 19872235 markings, 24890674 edges, 160994 markings/sec, 120 secs
lola: 20713259 markings, 25863443 edges, 168205 markings/sec, 125 secs
lola: 21430005 markings, 26846175 edges, 143349 markings/sec, 130 secs
lola: 22121298 markings, 27815361 edges, 138259 markings/sec, 135 secs
lola: 22832939 markings, 28792036 edges, 142328 markings/sec, 140 secs
lola: 23549394 markings, 29742509 edges, 143291 markings/sec, 145 secs
lola: 24308712 markings, 30679356 edges, 151864 markings/sec, 150 secs
lola: 25101369 markings, 31680139 edges, 158531 markings/sec, 155 secs
lola: 25920004 markings, 32664161 edges, 163727 markings/sec, 160 secs
lola: 26695755 markings, 33628863 edges, 155150 markings/sec, 165 secs
lola: 27467183 markings, 34585071 edges, 154286 markings/sec, 170 secs
lola: 28297763 markings, 35575420 edges, 166116 markings/sec, 175 secs
lola: 29092141 markings, 36553711 edges, 158876 markings/sec, 180 secs
lola: 29898771 markings, 37547684 edges, 161326 markings/sec, 185 secs
lola: 30679723 markings, 38526946 edges, 156190 markings/sec, 190 secs
lola: 31526531 markings, 39579752 edges, 169362 markings/sec, 195 secs
lola: 32383514 markings, 40610671 edges, 171397 markings/sec, 200 secs
lola: 33169890 markings, 41631381 edges, 157275 markings/sec, 205 secs
lola: 33988487 markings, 42588787 edges, 163719 markings/sec, 210 secs
lola: 34748548 markings, 43562050 edges, 152012 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(p496)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 672224 markings, 789113 edges, 134445 markings/sec, 0 secs
lola: 1399252 markings, 1696314 edges, 145406 markings/sec, 5 secs
lola: 2119299 markings, 2596787 edges, 144009 markings/sec, 10 secs
lola: 2838392 markings, 3495977 edges, 143819 markings/sec, 15 secs
lola: 3557143 markings, 4394690 edges, 143750 markings/sec, 20 secs
lola: 4275603 markings, 5293055 edges, 143692 markings/sec, 25 secs
lola: 4994922 markings, 6192533 edges, 143864 markings/sec, 30 secs
lola: 5714639 markings, 7092519 edges, 143943 markings/sec, 35 secs
lola: 6436427 markings, 7995367 edges, 144358 markings/sec, 40 secs
lola: 7155961 markings, 8895137 edges, 143907 markings/sec, 45 secs
lola: 7876122 markings, 9795789 edges, 144032 markings/sec, 50 secs
lola: 8598154 markings, 10699204 edges, 144406 markings/sec, 55 secs
lola: 9310056 markings, 11588369 edges, 142380 markings/sec, 60 secs
lola: 9985533 markings, 12427837 edges, 135095 markings/sec, 65 secs
lola: 10651135 markings, 13263069 edges, 133120 markings/sec, 70 secs
lola: 11310989 markings, 14086385 edges, 131971 markings/sec, 75 secs
lola: 11967785 markings, 14906285 edges, 131359 markings/sec, 80 secs
lola: 12617371 markings, 15729581 edges, 129917 markings/sec, 85 secs
lola: 13269461 markings, 16540051 edges, 130418 markings/sec, 90 secs
lola: 13923516 markings, 17351615 edges, 130811 markings/sec, 95 secs
lola: 14576334 markings, 18172757 edges, 130564 markings/sec, 100 secs
lola: 15231265 markings, 18987019 edges, 130986 markings/sec, 105 secs
lola: 15888037 markings, 19811914 edges, 131354 markings/sec, 110 secs
lola: 16539814 markings, 20640289 edges, 130355 markings/sec, 115 secs
lola: 17194192 markings, 21444198 edges, 130876 markings/sec, 120 secs
lola: 17849900 markings, 22263600 edges, 131142 markings/sec, 125 secs
lola: 18507546 markings, 23086066 edges, 131529 markings/sec, 130 secs
lola: 19168868 markings, 23910847 edges, 132264 markings/sec, 135 secs
lola: 19827838 markings, 24740817 edges, 131794 markings/sec, 140 secs
lola: 20487073 markings, 25576962 edges, 131847 markings/sec, 145 secs
lola: 21204740 markings, 26474582 edges, 143533 markings/sec, 150 secs
lola: 21885578 markings, 27237808 edges, 136168 markings/sec, 155 secs
lola: 22508464 markings, 27927941 edges, 124577 markings/sec, 160 secs
lola: 23148309 markings, 28625972 edges, 127969 markings/sec, 165 secs
lola: 23814472 markings, 29311381 edges, 133233 markings/sec, 170 secs
lola: 24474100 markings, 29989521 edges, 131926 markings/sec, 175 secs
lola: 25128755 markings, 30664243 edges, 130931 markings/sec, 180 secs
lola: 25761237 markings, 31376398 edges, 126496 markings/sec, 185 secs
lola: 26394257 markings, 32049169 edges, 126604 markings/sec, 190 secs
lola: 27028660 markings, 32710082 edges, 126881 markings/sec, 195 secs
lola: 27658297 markings, 33389055 edges, 125927 markings/sec, 200 secs
lola: 28317090 markings, 34102715 edges, 131759 markings/sec, 205 secs
lola: 28985377 markings, 34812454 edges, 133657 markings/sec, 210 secs
lola: 29640354 markings, 35484906 edges, 130995 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(p250)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 4 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p481)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 820877 markings, 1080943 edges, 164175 markings/sec, 0 secs
lola: 1516181 markings, 1931698 edges, 139061 markings/sec, 5 secs
lola: 2288824 markings, 2982685 edges, 154529 markings/sec, 10 secs
lola: 3051477 markings, 4017780 edges, 152531 markings/sec, 15 secs
lola: 3816959 markings, 5031655 edges, 153096 markings/sec, 20 secs
lola: 4566074 markings, 6057173 edges, 149823 markings/sec, 25 secs
lola: 5327908 markings, 7104601 edges, 152367 markings/sec, 30 secs
lola: 6092989 markings, 8144475 edges, 153016 markings/sec, 35 secs
lola: 6852527 markings, 9178077 edges, 151908 markings/sec, 40 secs
lola: 7619054 markings, 10194209 edges, 153305 markings/sec, 45 secs
lola: 8369331 markings, 11213346 edges, 150055 markings/sec, 50 secs
lola: 9125179 markings, 12257194 edges, 151170 markings/sec, 55 secs
lola: 9889874 markings, 13295835 edges, 152939 markings/sec, 60 secs
lola: 10651622 markings, 14332845 edges, 152350 markings/sec, 65 secs
lola: 11421297 markings, 15355274 edges, 153935 markings/sec, 70 secs
lola: 12179200 markings, 16381072 edges, 151581 markings/sec, 75 secs
lola: 12937509 markings, 17431105 edges, 151662 markings/sec, 80 secs
lola: 13704030 markings, 18472015 edges, 153304 markings/sec, 85 secs
lola: 14467438 markings, 19511478 edges, 152682 markings/sec, 90 secs
lola: 15237734 markings, 20534397 edges, 154059 markings/sec, 95 secs
lola: 15995884 markings, 21560936 edges, 151630 markings/sec, 100 secs
lola: 16753648 markings, 22610300 edges, 151553 markings/sec, 105 secs
lola: 17503622 markings, 23627501 edges, 149995 markings/sec, 110 secs
lola: 18212199 markings, 24594031 edges, 141715 markings/sec, 115 secs
lola: 18914498 markings, 25546489 edges, 140460 markings/sec, 120 secs
lola: 19620901 markings, 26497293 edges, 141281 markings/sec, 125 secs
lola: 20319504 markings, 27428279 edges, 139721 markings/sec, 130 secs
lola: 21007802 markings, 28361309 edges, 137660 markings/sec, 135 secs
lola: 21694795 markings, 29289975 edges, 137399 markings/sec, 140 secs
lola: 22371877 markings, 30219241 edges, 135416 markings/sec, 145 secs
lola: 23053313 markings, 31156668 edges, 136287 markings/sec, 150 secs
lola: 23746209 markings, 32099957 edges, 138579 markings/sec, 155 secs
lola: 24437337 markings, 33040372 edges, 138226 markings/sec, 160 secs
lola: 25130391 markings, 33978824 edges, 138611 markings/sec, 165 secs
lola: 25818123 markings, 34915175 edges, 137546 markings/sec, 170 secs
lola: 26505479 markings, 35850389 edges, 137471 markings/sec, 175 secs
lola: 27195547 markings, 36786045 edges, 138014 markings/sec, 180 secs
lola: 27885809 markings, 37716290 edges, 138052 markings/sec, 185 secs
lola: 28582670 markings, 38643449 edges, 139372 markings/sec, 190 secs
lola: 29271021 markings, 39576899 edges, 137670 markings/sec, 195 secs
lola: 29961071 markings, 40507883 edges, 138010 markings/sec, 200 secs
lola: 30640882 markings, 41440824 edges, 135962 markings/sec, 205 secs
lola: 31327528 markings, 42387209 edges, 137329 markings/sec, 210 secs
lola: 32021661 markings, 43331692 edges, 138827 markings/sec, 215 secs
lola: 32713504 markings, 44272928 edges, 138369 markings/sec, 220 secs
lola: 33411881 markings, 45217855 edges, 139675 markings/sec, 225 secs
lola: 34105649 markings, 46164361 edges, 138754 markings/sec, 230 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p291)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 573619 markings, 1128161 edges, 114724 markings/sec, 0 secs
lola: 1118043 markings, 2194616 edges, 108885 markings/sec, 5 secs
lola: 1571031 markings, 3199721 edges, 90598 markings/sec, 10 secs
lola: 2066988 markings, 4267690 edges, 99191 markings/sec, 15 secs
lola: 2523057 markings, 5387205 edges, 91214 markings/sec, 20 secs
lola: 3019954 markings, 6477542 edges, 99379 markings/sec, 25 secs
lola: 3513779 markings, 7583330 edges, 98765 markings/sec, 30 secs
lola: 4007779 markings, 8692769 edges, 98800 markings/sec, 35 secs
lola: 4484137 markings, 9769868 edges, 95272 markings/sec, 40 secs
lola: 4930408 markings, 10757427 edges, 89254 markings/sec, 45 secs
lola: 5232787 markings, 12093417 edges, 60476 markings/sec, 50 secs
lola: 5488320 markings, 13423881 edges, 51107 markings/sec, 55 secs
lola: 5821238 markings, 14685735 edges, 66584 markings/sec, 60 secs
lola: 6183541 markings, 15851752 edges, 72461 markings/sec, 65 secs
lola: 6578515 markings, 16981011 edges, 78995 markings/sec, 70 secs
lola: 6928999 markings, 18106061 edges, 70097 markings/sec, 75 secs
lola: 7330822 markings, 19192088 edges, 80365 markings/sec, 80 secs
lola: 7672517 markings, 20345160 edges, 68339 markings/sec, 85 secs
lola: 8047721 markings, 21450513 edges, 75041 markings/sec, 90 secs
lola: 8466558 markings, 22450227 edges, 83767 markings/sec, 95 secs
lola: 9120305 markings, 23177236 edges, 130749 markings/sec, 100 secs
lola: 9728494 markings, 23879230 edges, 121638 markings/sec, 105 secs
lola: 10363574 markings, 24585583 edges, 127016 markings/sec, 110 secs
lola: 11032736 markings, 25456955 edges, 133832 markings/sec, 115 secs
lola: 11455116 markings, 26711836 edges, 84476 markings/sec, 120 secs
lola: 11955261 markings, 27745239 edges, 100029 markings/sec, 125 secs
lola: 12607064 markings, 28431636 edges, 130361 markings/sec, 130 secs
lola: 13261522 markings, 29120881 edges, 130892 markings/sec, 135 secs
lola: 13917155 markings, 29811409 edges, 131127 markings/sec, 140 secs
lola: 14572587 markings, 30501693 edges, 131086 markings/sec, 145 secs
lola: 15228291 markings, 31192247 edges, 131141 markings/sec, 150 secs
lola: 15885341 markings, 31884146 edges, 131410 markings/sec, 155 secs
lola: 16542310 markings, 32576070 edges, 131394 markings/sec, 160 secs
lola: 17196667 markings, 33265190 edges, 130871 markings/sec, 165 secs
lola: 17851527 markings, 33954816 edges, 130972 markings/sec, 170 secs
lola: 18505555 markings, 34643604 edges, 130806 markings/sec, 175 secs
lola: 19160630 markings, 35333565 edges, 131015 markings/sec, 180 secs
lola: 19804236 markings, 36097040 edges, 128721 markings/sec, 185 secs
lola: 20452659 markings, 36814504 edges, 129685 markings/sec, 190 secs
lola: 21053440 markings, 37804513 edges, 120156 markings/sec, 195 secs
lola: 21555590 markings, 38858829 edges, 100430 markings/sec, 200 secs
lola: 22191515 markings, 39560841 edges, 127185 markings/sec, 205 secs
lola: 22827043 markings, 40448213 edges, 127106 markings/sec, 210 secs
lola: 23293329 markings, 41590652 edges, 93257 markings/sec, 215 secs
lola: 23927836 markings, 42306044 edges, 126901 markings/sec, 220 secs
lola: 24564257 markings, 43137591 edges, 127284 markings/sec, 225 secs
lola: 25033940 markings, 44289204 edges, 93937 markings/sec, 230 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p144)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 939592 markings, 1076002 edges, 187918 markings/sec, 0 secs
lola: 1881947 markings, 2155568 edges, 188471 markings/sec, 5 secs
lola: 2826447 markings, 3237619 edges, 188900 markings/sec, 10 secs
lola: 3771219 markings, 4319974 edges, 188954 markings/sec, 15 secs
lola: 4716839 markings, 5403304 edges, 189124 markings/sec, 20 secs
lola: 5661211 markings, 6485199 edges, 188874 markings/sec, 25 secs
lola: 6506829 markings, 7504137 edges, 169124 markings/sec, 30 secs
lola: 7203708 markings, 8383797 edges, 139376 markings/sec, 35 secs
lola: 7891194 markings, 9255930 edges, 137497 markings/sec, 40 secs
lola: 8578013 markings, 10130465 edges, 137364 markings/sec, 45 secs
lola: 9271957 markings, 11011618 edges, 138789 markings/sec, 50 secs
lola: 9958818 markings, 11889337 edges, 137372 markings/sec, 55 secs
lola: 10650311 markings, 12775395 edges, 138299 markings/sec, 60 secs
lola: 11341370 markings, 13660397 edges, 138212 markings/sec, 65 secs
lola: 12033654 markings, 14544658 edges, 138457 markings/sec, 70 secs
lola: 12729103 markings, 15435085 edges, 139090 markings/sec, 75 secs
lola: 13412098 markings, 16312119 edges, 136599 markings/sec, 80 secs
lola: 14085834 markings, 17169760 edges, 134747 markings/sec, 85 secs
lola: 14778318 markings, 18046782 edges, 138497 markings/sec, 90 secs
lola: 15464087 markings, 18920344 edges, 137154 markings/sec, 95 secs
lola: 16158688 markings, 19802114 edges, 138920 markings/sec, 100 secs
lola: 16852835 markings, 20687220 edges, 138829 markings/sec, 105 secs
lola: 17547955 markings, 21566107 edges, 139024 markings/sec, 110 secs
lola: 18247390 markings, 22453740 edges, 139887 markings/sec, 115 secs
lola: 18945849 markings, 23342256 edges, 139692 markings/sec, 120 secs
lola: 19643486 markings, 24230980 edges, 139527 markings/sec, 125 secs
lola: 20342322 markings, 25116653 edges, 139767 markings/sec, 130 secs
lola: 21044603 markings, 26015137 edges, 140456 markings/sec, 135 secs
lola: 21744679 markings, 26907576 edges, 140015 markings/sec, 140 secs
lola: 22400770 markings, 27752126 edges, 131218 markings/sec, 145 secs
lola: 23044616 markings, 28579527 edges, 128769 markings/sec, 150 secs
lola: 23687681 markings, 29401405 edges, 128613 markings/sec, 155 secs
lola: 24333764 markings, 30220464 edges, 129217 markings/sec, 160 secs
lola: 24977064 markings, 31041325 edges, 128660 markings/sec, 165 secs
lola: 25608353 markings, 31832514 edges, 126258 markings/sec, 170 secs
lola: 26246711 markings, 32639542 edges, 127672 markings/sec, 175 secs
lola: 26889727 markings, 33464993 edges, 128603 markings/sec, 180 secs
lola: 27529117 markings, 34288212 edges, 127878 markings/sec, 185 secs
lola: 28170435 markings, 35114550 edges, 128264 markings/sec, 190 secs
lola: 28803532 markings, 35924378 edges, 126619 markings/sec, 195 secs
lola: 29443903 markings, 36728943 edges, 128074 markings/sec, 200 secs
lola: 30074426 markings, 37525746 edges, 126105 markings/sec, 205 secs
lola: 30708063 markings, 38330833 edges, 126727 markings/sec, 210 secs
lola: 31342731 markings, 39136484 edges, 126934 markings/sec, 215 secs
lola: 31983682 markings, 39962514 edges, 128190 markings/sec, 220 secs
lola: 32620725 markings, 40782034 edges, 127409 markings/sec, 225 secs
lola: 33256518 markings, 41596334 edges, 127159 markings/sec, 230 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p313)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 8 will run for 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p417)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 9 will run for 308 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p380)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 1039711 markings, 1120338 edges, 207942 markings/sec, 0 secs
lola: 2134670 markings, 2262062 edges, 218992 markings/sec, 5 secs
lola: 3271664 markings, 3431361 edges, 227399 markings/sec, 10 secs
lola: 4212695 markings, 4528647 edges, 188206 markings/sec, 15 secs
lola: 5210426 markings, 5633517 edges, 199546 markings/sec, 20 secs
lola: 6240525 markings, 6766796 edges, 206020 markings/sec, 25 secs
lola: 7311062 markings, 7862363 edges, 214107 markings/sec, 30 secs
lola: 8377054 markings, 9001276 edges, 213198 markings/sec, 35 secs
lola: 9004804 markings, 10111758 edges, 125550 markings/sec, 40 secs
lola: 9533449 markings, 11185332 edges, 105729 markings/sec, 45 secs
lola: 10318643 markings, 12233111 edges, 157039 markings/sec, 50 secs
lola: 11326757 markings, 13304133 edges, 201623 markings/sec, 55 secs
lola: 12457286 markings, 14461974 edges, 226106 markings/sec, 60 secs
lola: 13415677 markings, 15560301 edges, 191678 markings/sec, 65 secs
lola: 14356500 markings, 16646616 edges, 188165 markings/sec, 70 secs
lola: 15163293 markings, 17732417 edges, 161359 markings/sec, 75 secs
lola: 15885718 markings, 18810951 edges, 144485 markings/sec, 80 secs
lola: 16578382 markings, 19807084 edges, 138533 markings/sec, 85 secs
lola: 17251914 markings, 20829542 edges, 134706 markings/sec, 90 secs
lola: 18086124 markings, 21891500 edges, 166842 markings/sec, 95 secs
lola: 19120991 markings, 23019094 edges, 206973 markings/sec, 100 secs
lola: 20191509 markings, 24115130 edges, 214104 markings/sec, 105 secs
lola: 21232742 markings, 25233671 edges, 208247 markings/sec, 110 secs
lola: 21799936 markings, 26306543 edges, 113439 markings/sec, 115 secs
lola: 22327452 markings, 27354931 edges, 105503 markings/sec, 120 secs
lola: 23116885 markings, 28403960 edges, 157887 markings/sec, 125 secs
lola: 24118613 markings, 29466503 edges, 200346 markings/sec, 130 secs
lola: 25254870 markings, 30630151 edges, 227251 markings/sec, 135 secs
lola: 26209000 markings, 31725832 edges, 190826 markings/sec, 140 secs
lola: 27136977 markings, 32797800 edges, 185595 markings/sec, 145 secs
lola: 27934163 markings, 33871567 edges, 159437 markings/sec, 150 secs
lola: 28653096 markings, 34938712 edges, 143787 markings/sec, 155 secs
lola: 29313905 markings, 35909624 edges, 132162 markings/sec, 160 secs
lola: 30000107 markings, 36912358 edges, 137240 markings/sec, 165 secs
lola: 30793926 markings, 37961332 edges, 158764 markings/sec, 170 secs
lola: 31813345 markings, 39080400 edges, 203884 markings/sec, 175 secs
lola: 32893951 markings, 40186552 edges, 216121 markings/sec, 180 secs
lola: 33951955 markings, 41318874 edges, 211601 markings/sec, 185 secs
lola: 34552774 markings, 42391802 edges, 120164 markings/sec, 190 secs
lola: 35064328 markings, 43446516 edges, 102311 markings/sec, 195 secs
lola: 35838184 markings, 44489770 edges, 154771 markings/sec, 200 secs
lola: 36840889 markings, 45558471 edges, 200541 markings/sec, 205 secs
lola: 37975114 markings, 46720023 edges, 226845 markings/sec, 210 secs
lola: 38936386 markings, 47818761 edges, 192254 markings/sec, 215 secs
lola: 39867945 markings, 48893882 edges, 186312 markings/sec, 220 secs
lola: 40672425 markings, 49966494 edges, 160896 markings/sec, 225 secs
lola: 41405444 markings, 51041639 edges, 146604 markings/sec, 230 secs
lola: 42041738 markings, 52003867 edges, 127259 markings/sec, 235 secs
lola: 42741657 markings, 52998723 edges, 139984 markings/sec, 240 secs
lola: 43499650 markings, 54028425 edges, 151599 markings/sec, 245 secs
lola: 44499291 markings, 55131497 edges, 199928 markings/sec, 250 secs
lola: 45563406 markings, 56224204 edges, 212823 markings/sec, 255 secs
lola: 46603957 markings, 57329476 edges, 208110 markings/sec, 260 secs
lola: 47255153 markings, 58372071 edges, 130239 markings/sec, 265 secs
lola: 47720136 markings, 59426003 edges, 92997 markings/sec, 270 secs
lola: 48488890 markings, 60464519 edges, 153751 markings/sec, 275 secs
lola: 49401693 markings, 61484803 edges, 182561 markings/sec, 280 secs
lola: 50513265 markings, 62625202 edges, 222314 markings/sec, 285 secs
lola: 51475550 markings, 63706253 edges, 192457 markings/sec, 290 secs
lola: 52438975 markings, 64763794 edges, 192685 markings/sec, 295 secs
lola: 53279382 markings, 65801150 edges, 168081 markings/sec, 300 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 308 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p148)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 937809 markings, 1073950 edges, 187562 markings/sec, 0 secs
lola: 1879887 markings, 2153219 edges, 188416 markings/sec, 5 secs
lola: 2823793 markings, 3234579 edges, 188781 markings/sec, 10 secs
lola: 3769358 markings, 4317847 edges, 189113 markings/sec, 15 secs
lola: 4714516 markings, 5400644 edges, 189032 markings/sec, 20 secs
lola: 5641954 markings, 6466395 edges, 185488 markings/sec, 25 secs
lola: 6347443 markings, 7372407 edges, 141098 markings/sec, 30 secs
lola: 7047465 markings, 8267846 edges, 140004 markings/sec, 35 secs
lola: 7746216 markings, 9162904 edges, 139750 markings/sec, 40 secs
lola: 8444174 markings, 10053466 edges, 139592 markings/sec, 45 secs
lola: 9142104 markings, 10946406 edges, 139586 markings/sec, 50 secs
lola: 9842414 markings, 11842708 edges, 140062 markings/sec, 55 secs
lola: 10538403 markings, 12727007 edges, 139198 markings/sec, 60 secs
lola: 11237324 markings, 13622161 edges, 139784 markings/sec, 65 secs
lola: 11937089 markings, 14508862 edges, 139953 markings/sec, 70 secs
lola: 12638497 markings, 15400886 edges, 140282 markings/sec, 75 secs
lola: 13336694 markings, 16287916 edges, 139639 markings/sec, 80 secs
lola: 14035910 markings, 17179805 edges, 139843 markings/sec, 85 secs
lola: 14730040 markings, 18062661 edges, 138826 markings/sec, 90 secs
lola: 15422972 markings, 18937069 edges, 138586 markings/sec, 95 secs
lola: 16111510 markings, 19812527 edges, 137708 markings/sec, 100 secs
lola: 16813639 markings, 20709364 edges, 140426 markings/sec, 105 secs
lola: 17511122 markings, 21589754 edges, 139497 markings/sec, 110 secs
lola: 18210408 markings, 22483567 edges, 139857 markings/sec, 115 secs
lola: 18908300 markings, 23373903 edges, 139578 markings/sec, 120 secs
lola: 19611843 markings, 24273804 edges, 140709 markings/sec, 125 secs
lola: 20315327 markings, 25173741 edges, 140697 markings/sec, 130 secs
lola: 21017663 markings, 26072982 edges, 140467 markings/sec, 135 secs
lola: 21679851 markings, 26922468 edges, 132438 markings/sec, 140 secs
lola: 22326564 markings, 27746969 edges, 129343 markings/sec, 145 secs
lola: 22972963 markings, 28568493 edges, 129280 markings/sec, 150 secs
lola: 23621735 markings, 29394423 edges, 129754 markings/sec, 155 secs
lola: 24258273 markings, 30196635 edges, 127308 markings/sec, 160 secs
lola: 24893177 markings, 31001585 edges, 126981 markings/sec, 165 secs
lola: 25534258 markings, 31817613 edges, 128216 markings/sec, 170 secs
lola: 26177048 markings, 32647153 edges, 128558 markings/sec, 175 secs
lola: 26812463 markings, 33465025 edges, 127083 markings/sec, 180 secs
lola: 27446277 markings, 34276706 edges, 126763 markings/sec, 185 secs
lola: 28083046 markings, 35079808 edges, 127354 markings/sec, 190 secs
lola: 28711960 markings, 35877507 edges, 125783 markings/sec, 195 secs
lola: 29344480 markings, 36676823 edges, 126504 markings/sec, 200 secs
lola: 29973286 markings, 37473721 edges, 125761 markings/sec, 205 secs
lola: 30610862 markings, 38294989 edges, 127515 markings/sec, 210 secs
lola: 31245706 markings, 39112283 edges, 126969 markings/sec, 215 secs
lola: 31879104 markings, 39923529 edges, 126680 markings/sec, 220 secs
lola: 32515582 markings, 40729160 edges, 127296 markings/sec, 225 secs
lola: 33147574 markings, 41531448 edges, 126398 markings/sec, 230 secs
lola: 33783303 markings, 42331426 edges, 127146 markings/sec, 235 secs
lola: 34418455 markings, 43136719 edges, 127030 markings/sec, 240 secs
lola: 35055843 markings, 43956496 edges, 127478 markings/sec, 245 secs
lola: 35692848 markings, 44776445 edges, 127401 markings/sec, 250 secs
lola: 36330886 markings, 45591426 edges, 127608 markings/sec, 255 secs
lola: 36969057 markings, 46403346 edges, 127634 markings/sec, 260 secs
lola: 37606941 markings, 47216412 edges, 127577 markings/sec, 265 secs
lola: 38239011 markings, 48008541 edges, 126414 markings/sec, 270 secs
lola: 38872373 markings, 48809623 edges, 126672 markings/sec, 275 secs
lola: 39509590 markings, 49628549 edges, 127443 markings/sec, 280 secs
lola: 40149444 markings, 50451905 edges, 127971 markings/sec, 285 secs
lola: 40791439 markings, 51279651 edges, 128399 markings/sec, 290 secs
lola: 41428268 markings, 52088786 edges, 127366 markings/sec, 295 secs
lola: 42068593 markings, 52897792 edges, 128065 markings/sec, 300 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 308 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p437)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 899982 markings, 1151815 edges, 179996 markings/sec, 0 secs
lola: 1682603 markings, 2260702 edges, 156524 markings/sec, 5 secs
lola: 2537848 markings, 3389008 edges, 171049 markings/sec, 10 secs
lola: 2978621 markings, 4490359 edges, 88155 markings/sec, 15 secs
lola: 3474260 markings, 5499594 edges, 99128 markings/sec, 20 secs
lola: 4117446 markings, 6534230 edges, 128637 markings/sec, 25 secs
lola: 4911151 markings, 7648883 edges, 158741 markings/sec, 30 secs
lola: 5501591 markings, 8714813 edges, 118088 markings/sec, 35 secs
lola: 5986564 markings, 9854966 edges, 96995 markings/sec, 40 secs
lola: 6433885 markings, 10896190 edges, 89464 markings/sec, 45 secs
lola: 6857208 markings, 11870702 edges, 84665 markings/sec, 50 secs
lola: 7291961 markings, 12873956 edges, 86951 markings/sec, 55 secs
lola: 7723319 markings, 13857013 edges, 86272 markings/sec, 60 secs
lola: 8172631 markings, 14872602 edges, 89862 markings/sec, 65 secs
lola: 8783878 markings, 15925037 edges, 122249 markings/sec, 70 secs
lola: 9557406 markings, 17029147 edges, 154706 markings/sec, 75 secs
lola: 10357554 markings, 18104925 edges, 160030 markings/sec, 80 secs
lola: 11182956 markings, 19116616 edges, 165080 markings/sec, 85 secs
lola: 11970340 markings, 20114209 edges, 157477 markings/sec, 90 secs
lola: 12813917 markings, 21144614 edges, 168715 markings/sec, 95 secs
lola: 13591804 markings, 22133372 edges, 155577 markings/sec, 100 secs
lola: 14390308 markings, 23140302 edges, 159701 markings/sec, 105 secs
lola: 15182153 markings, 24121562 edges, 158369 markings/sec, 110 secs
lola: 15943333 markings, 25069701 edges, 152236 markings/sec, 115 secs
lola: 16717919 markings, 26035745 edges, 154917 markings/sec, 120 secs
lola: 17506217 markings, 27007484 edges, 157660 markings/sec, 125 secs
lola: 18368389 markings, 28035604 edges, 172434 markings/sec, 130 secs
lola: 18893142 markings, 29116555 edges, 104951 markings/sec, 135 secs
lola: 19318285 markings, 30082983 edges, 85029 markings/sec, 140 secs
lola: 19828029 markings, 31072394 edges, 101949 markings/sec, 145 secs
lola: 20641224 markings, 32128075 edges, 162639 markings/sec, 150 secs
lola: 21311535 markings, 33212483 edges, 134062 markings/sec, 155 secs
lola: 21697223 markings, 34260211 edges, 77138 markings/sec, 160 secs
lola: 22078426 markings, 35252996 edges, 76241 markings/sec, 165 secs
lola: 22520238 markings, 36259495 edges, 88362 markings/sec, 170 secs
lola: 22963460 markings, 37258339 edges, 88644 markings/sec, 175 secs
lola: 23491690 markings, 38263947 edges, 105646 markings/sec, 180 secs
lola: 23889696 markings, 39208936 edges, 79601 markings/sec, 185 secs
lola: 24671546 markings, 40264862 edges, 156370 markings/sec, 190 secs
lola: 25496842 markings, 41270761 edges, 165059 markings/sec, 195 secs
lola: 26280116 markings, 42258237 edges, 156655 markings/sec, 200 secs
lola: 27132965 markings, 43295615 edges, 170570 markings/sec, 205 secs
lola: 27898497 markings, 44274143 edges, 153106 markings/sec, 210 secs
lola: 28692921 markings, 45279972 edges, 158885 markings/sec, 215 secs
lola: 29474399 markings, 46256092 edges, 156296 markings/sec, 220 secs
lola: 30259447 markings, 47224223 edges, 157010 markings/sec, 225 secs
lola: 31045993 markings, 48194527 edges, 157309 markings/sec, 230 secs
lola: 31812222 markings, 49150472 edges, 153246 markings/sec, 235 secs
lola: 32695709 markings, 50210491 edges, 176697 markings/sec, 240 secs
lola: 33155266 markings, 51309045 edges, 91911 markings/sec, 245 secs
lola: 33624244 markings, 52312129 edges, 93796 markings/sec, 250 secs
lola: 34212264 markings, 53324680 edges, 117604 markings/sec, 255 secs
lola: 35003402 markings, 54408239 edges, 158228 markings/sec, 260 secs
lola: 35607084 markings, 55519821 edges, 120736 markings/sec, 265 secs
lola: 35982603 markings, 56533919 edges, 75104 markings/sec, 270 secs
lola: 36382978 markings, 57532768 edges, 80075 markings/sec, 275 secs
lola: 36829530 markings, 58538511 edges, 89310 markings/sec, 280 secs
lola: 37280694 markings, 59543622 edges, 90233 markings/sec, 285 secs
lola: 37799305 markings, 60555647 edges, 103722 markings/sec, 290 secs
lola: 38281282 markings, 61520459 edges, 96395 markings/sec, 295 secs
lola: 39108087 markings, 62549411 edges, 165361 markings/sec, 300 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 308 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p470)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 946914 markings, 1074373 edges, 189383 markings/sec, 0 secs
lola: 2039251 markings, 2217990 edges, 218467 markings/sec, 5 secs
lola: 2932508 markings, 3281575 edges, 178651 markings/sec, 10 secs
lola: 3853708 markings, 4365316 edges, 184240 markings/sec, 15 secs
lola: 4779796 markings, 5420893 edges, 185218 markings/sec, 20 secs
lola: 5797004 markings, 6517389 edges, 203442 markings/sec, 25 secs
lola: 6366417 markings, 7620212 edges, 113883 markings/sec, 30 secs
lola: 6852571 markings, 8635076 edges, 97231 markings/sec, 35 secs
lola: 7458123 markings, 9616514 edges, 121110 markings/sec, 40 secs
lola: 8221417 markings, 10617846 edges, 152659 markings/sec, 45 secs
lola: 9248476 markings, 11731540 edges, 205412 markings/sec, 50 secs
lola: 10107345 markings, 12781635 edges, 171774 markings/sec, 55 secs
lola: 10888979 markings, 13791111 edges, 156327 markings/sec, 60 secs
lola: 11484153 markings, 14846496 edges, 119035 markings/sec, 65 secs
lola: 12027299 markings, 15923050 edges, 108629 markings/sec, 70 secs
lola: 12563818 markings, 16941483 edges, 107304 markings/sec, 75 secs
lola: 13072193 markings, 17872768 edges, 101675 markings/sec, 80 secs
lola: 13526302 markings, 18862356 edges, 90822 markings/sec, 85 secs
lola: 14019075 markings, 19840380 edges, 98555 markings/sec, 90 secs
lola: 14507307 markings, 20798380 edges, 97646 markings/sec, 95 secs
lola: 14986466 markings, 21791291 edges, 95832 markings/sec, 100 secs
lola: 15733316 markings, 22812039 edges, 149370 markings/sec, 105 secs
lola: 16606600 markings, 23861494 edges, 174657 markings/sec, 110 secs
lola: 17501683 markings, 24912412 edges, 179017 markings/sec, 115 secs
lola: 18388934 markings, 25958679 edges, 177450 markings/sec, 120 secs
lola: 19163604 markings, 26970042 edges, 154934 markings/sec, 125 secs
lola: 19874306 markings, 27940694 edges, 142140 markings/sec, 130 secs
lola: 20544001 markings, 28926144 edges, 133939 markings/sec, 135 secs
lola: 21231729 markings, 29889167 edges, 137546 markings/sec, 140 secs
lola: 21935229 markings, 30829108 edges, 140700 markings/sec, 145 secs
lola: 22876789 markings, 31861053 edges, 188312 markings/sec, 150 secs
lola: 23705808 markings, 32958629 edges, 165804 markings/sec, 155 secs
lola: 24114909 markings, 33978597 edges, 81820 markings/sec, 160 secs
lola: 24687888 markings, 34963454 edges, 114596 markings/sec, 165 secs
lola: 25319470 markings, 35941980 edges, 126316 markings/sec, 170 secs
lola: 26161972 markings, 36935026 edges, 168500 markings/sec, 175 secs
lola: 27189381 markings, 38029787 edges, 205482 markings/sec, 180 secs
lola: 28042050 markings, 39086081 edges, 170534 markings/sec, 185 secs
lola: 28711545 markings, 40148235 edges, 133899 markings/sec, 190 secs
lola: 29079984 markings, 41140669 edges, 73688 markings/sec, 195 secs
lola: 29487820 markings, 42118476 edges, 81567 markings/sec, 200 secs
lola: 29983791 markings, 43102380 edges, 99194 markings/sec, 205 secs
lola: 30472937 markings, 44083666 edges, 97829 markings/sec, 210 secs
lola: 31041361 markings, 45040893 edges, 113685 markings/sec, 215 secs
lola: 31464682 markings, 45991851 edges, 84664 markings/sec, 220 secs
lola: 32187679 markings, 47009254 edges, 144599 markings/sec, 225 secs
lola: 32919534 markings, 48011607 edges, 146371 markings/sec, 230 secs
lola: 33608073 markings, 48987082 edges, 137708 markings/sec, 235 secs
lola: 34305418 markings, 49947141 edges, 139469 markings/sec, 240 secs
lola: 34987553 markings, 50900946 edges, 136427 markings/sec, 245 secs
lola: 35726123 markings, 51854365 edges, 147714 markings/sec, 250 secs
lola: 36733229 markings, 52928528 edges, 201421 markings/sec, 255 secs
lola: 37343629 markings, 54010566 edges, 122080 markings/sec, 260 secs
lola: 37786399 markings, 54999268 edges, 88554 markings/sec, 265 secs
lola: 38398046 markings, 55980478 edges, 122329 markings/sec, 270 secs
lola: 39152025 markings, 56971569 edges, 150796 markings/sec, 275 secs
lola: 39986810 markings, 57962244 edges, 166957 markings/sec, 280 secs
lola: 40971934 markings, 59056878 edges, 197025 markings/sec, 285 secs
lola: 41817137 markings, 60089288 edges, 169041 markings/sec, 290 secs
lola: 42321135 markings, 61160107 edges, 100800 markings/sec, 295 secs
lola: 42672660 markings, 62108730 edges, 70305 markings/sec, 300 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 308 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p188)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 711557 markings, 991245 edges, 142311 markings/sec, 0 secs
lola: 1368002 markings, 1961227 edges, 131289 markings/sec, 5 secs
lola: 1965659 markings, 2944897 edges, 119531 markings/sec, 10 secs
lola: 2556834 markings, 3940184 edges, 118235 markings/sec, 15 secs
lola: 3155697 markings, 4933823 edges, 119773 markings/sec, 20 secs
lola: 3758253 markings, 5936577 edges, 120511 markings/sec, 25 secs
lola: 4361616 markings, 6942049 edges, 120673 markings/sec, 30 secs
lola: 4962977 markings, 7947853 edges, 120272 markings/sec, 35 secs
lola: 5559391 markings, 8952134 edges, 119283 markings/sec, 40 secs
lola: 6180988 markings, 9965447 edges, 124319 markings/sec, 45 secs
lola: 6768766 markings, 10968381 edges, 117556 markings/sec, 50 secs
lola: 7376025 markings, 11970473 edges, 121452 markings/sec, 55 secs
lola: 7978577 markings, 12978184 edges, 120510 markings/sec, 60 secs
lola: 8622015 markings, 14053164 edges, 128688 markings/sec, 65 secs
lola: 9104133 markings, 15031713 edges, 96424 markings/sec, 70 secs
lola: 9516968 markings, 16021029 edges, 82567 markings/sec, 75 secs
lola: 9899393 markings, 17048491 edges, 76485 markings/sec, 80 secs
lola: 10306084 markings, 18025800 edges, 81338 markings/sec, 85 secs
lola: 10769935 markings, 19021448 edges, 92770 markings/sec, 90 secs
lola: 11227615 markings, 19949935 edges, 91536 markings/sec, 95 secs
lola: 11696393 markings, 20855720 edges, 93756 markings/sec, 100 secs
lola: 12108887 markings, 21771357 edges, 82499 markings/sec, 105 secs
lola: 12489949 markings, 22763084 edges, 76212 markings/sec, 110 secs
lola: 12878510 markings, 23756008 edges, 77712 markings/sec, 115 secs
lola: 13242262 markings, 24751684 edges, 72750 markings/sec, 120 secs
lola: 13618021 markings, 25742348 edges, 75152 markings/sec, 125 secs
lola: 13984864 markings, 26714242 edges, 73369 markings/sec, 130 secs
lola: 14354125 markings, 27686242 edges, 73852 markings/sec, 135 secs
lola: 14786215 markings, 28617750 edges, 86418 markings/sec, 140 secs
lola: 15178128 markings, 29543916 edges, 78383 markings/sec, 145 secs
lola: 15569478 markings, 30439897 edges, 78270 markings/sec, 150 secs
lola: 16040642 markings, 31332575 edges, 94233 markings/sec, 155 secs
lola: 16455594 markings, 32240840 edges, 82990 markings/sec, 160 secs
lola: 16838905 markings, 33174971 edges, 76662 markings/sec, 165 secs
lola: 17287046 markings, 34066027 edges, 89628 markings/sec, 170 secs
lola: 17768282 markings, 35074216 edges, 96247 markings/sec, 175 secs
lola: 18241227 markings, 36000594 edges, 94589 markings/sec, 180 secs
lola: 18727730 markings, 36995179 edges, 97301 markings/sec, 185 secs
lola: 19131300 markings, 38062119 edges, 80714 markings/sec, 190 secs
lola: 19507098 markings, 39084989 edges, 75160 markings/sec, 195 secs
lola: 19858566 markings, 40041689 edges, 70294 markings/sec, 200 secs
lola: 20211898 markings, 41004357 edges, 70666 markings/sec, 205 secs
lola: 20618966 markings, 41941526 edges, 81414 markings/sec, 210 secs
lola: 21106739 markings, 42918294 edges, 97555 markings/sec, 215 secs
lola: 21495358 markings, 43900101 edges, 77724 markings/sec, 220 secs
lola: 21993170 markings, 44886610 edges, 99562 markings/sec, 225 secs
lola: 22492726 markings, 45932900 edges, 99911 markings/sec, 230 secs
lola: 22988263 markings, 46925739 edges, 99107 markings/sec, 235 secs
lola: 23530362 markings, 47881945 edges, 108420 markings/sec, 240 secs
lola: 23950123 markings, 48766052 edges, 83952 markings/sec, 245 secs
lola: 24416849 markings, 49673658 edges, 93345 markings/sec, 250 secs
lola: 24972259 markings, 50597707 edges, 111082 markings/sec, 255 secs
lola: 25372364 markings, 51541060 edges, 80021 markings/sec, 260 secs
lola: 25907919 markings, 52465322 edges, 107111 markings/sec, 265 secs
lola: 26438064 markings, 53410156 edges, 106029 markings/sec, 270 secs
lola: 26852803 markings, 54347760 edges, 82948 markings/sec, 275 secs
lola: 27278433 markings, 55280976 edges, 85126 markings/sec, 280 secs
lola: 27726396 markings, 56166991 edges, 89593 markings/sec, 285 secs
lola: 28146491 markings, 57200074 edges, 84019 markings/sec, 290 secs
lola: 28613026 markings, 58170233 edges, 93307 markings/sec, 295 secs
lola: 28978202 markings, 59146763 edges, 73035 markings/sec, 300 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 309 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p417)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 15 will run for 618 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p449)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 823835 markings, 1147984 edges, 164767 markings/sec, 0 secs
lola: 1618440 markings, 2267223 edges, 158921 markings/sec, 5 secs
lola: 2249265 markings, 3444580 edges, 126165 markings/sec, 10 secs
lola: 2700985 markings, 4497926 edges, 90344 markings/sec, 15 secs
lola: 3207060 markings, 5506717 edges, 101215 markings/sec, 20 secs
lola: 3962401 markings, 6623133 edges, 151068 markings/sec, 25 secs
lola: 4570642 markings, 7687206 edges, 121648 markings/sec, 30 secs
lola: 5041818 markings, 8836744 edges, 94235 markings/sec, 35 secs
lola: 5483907 markings, 9903050 edges, 88418 markings/sec, 40 secs
lola: 5895510 markings, 10885238 edges, 82321 markings/sec, 45 secs
lola: 6319982 markings, 11902309 edges, 84894 markings/sec, 50 secs
lola: 6744302 markings, 12893697 edges, 84864 markings/sec, 55 secs
lola: 7189041 markings, 13919972 edges, 88948 markings/sec, 60 secs
lola: 7780056 markings, 14976652 edges, 118203 markings/sec, 65 secs
lola: 8527930 markings, 16102418 edges, 149575 markings/sec, 70 secs
lola: 9349298 markings, 17160823 edges, 164274 markings/sec, 75 secs
lola: 10198963 markings, 18213591 edges, 169933 markings/sec, 80 secs
lola: 11021815 markings, 19237617 edges, 164570 markings/sec, 85 secs
lola: 11899527 markings, 20303725 edges, 175542 markings/sec, 90 secs
lola: 12679188 markings, 21297143 edges, 155932 markings/sec, 95 secs
lola: 13489772 markings, 22321370 edges, 162117 markings/sec, 100 secs
lola: 14309050 markings, 23330201 edges, 163856 markings/sec, 105 secs
lola: 15109887 markings, 24322432 edges, 160167 markings/sec, 110 secs
lola: 15900548 markings, 25309833 edges, 158132 markings/sec, 115 secs
lola: 16713553 markings, 26305910 edges, 162601 markings/sec, 120 secs
lola: 17564884 markings, 27346261 edges, 170266 markings/sec, 125 secs
lola: 18080108 markings, 28471000 edges, 103045 markings/sec, 130 secs
lola: 18541703 markings, 29497224 edges, 92319 markings/sec, 135 secs
lola: 19101773 markings, 30521865 edges, 112014 markings/sec, 140 secs
lola: 19836392 markings, 31619797 edges, 146924 markings/sec, 145 secs
lola: 20351854 markings, 32759198 edges, 103092 markings/sec, 150 secs
lola: 20719749 markings, 33750089 edges, 73579 markings/sec, 155 secs
lola: 21137623 markings, 34764824 edges, 83575 markings/sec, 160 secs
lola: 21582493 markings, 35795149 edges, 88974 markings/sec, 165 secs
lola: 22093593 markings, 36792479 edges, 102220 markings/sec, 170 secs
lola: 22515977 markings, 37790630 edges, 84477 markings/sec, 175 secs
lola: 23175355 markings, 38828586 edges, 131876 markings/sec, 180 secs
lola: 24035623 markings, 39869485 edges, 172054 markings/sec, 185 secs
lola: 24850017 markings, 40898443 edges, 162879 markings/sec, 190 secs
lola: 25703061 markings, 41937310 edges, 170609 markings/sec, 195 secs
lola: 26499499 markings, 42971652 edges, 159288 markings/sec, 200 secs
lola: 27359756 markings, 44021339 edges, 172051 markings/sec, 205 secs
lola: 28171488 markings, 45035881 edges, 162346 markings/sec, 210 secs
lola: 28984494 markings, 46040322 edges, 162601 markings/sec, 215 secs
lola: 29799733 markings, 47050442 edges, 163048 markings/sec, 220 secs
lola: 30620341 markings, 48057108 edges, 164122 markings/sec, 225 secs
lola: 31436779 markings, 49058920 edges, 163288 markings/sec, 230 secs
lola: 32132350 markings, 50246502 edges, 139114 markings/sec, 235 secs
lola: 32561323 markings, 51270063 edges, 85795 markings/sec, 240 secs
lola: 33069214 markings, 52295001 edges, 101578 markings/sec, 245 secs
lola: 33805012 markings, 53384629 edges, 147160 markings/sec, 250 secs
lola: 34410078 markings, 54519803 edges, 121013 markings/sec, 255 secs
lola: 34793702 markings, 55555288 edges, 76725 markings/sec, 260 secs
lola: 35195812 markings, 56577020 edges, 80422 markings/sec, 265 secs
lola: 35644037 markings, 57611322 edges, 89645 markings/sec, 270 secs
lola: 36111572 markings, 58636034 edges, 93507 markings/sec, 275 secs
lola: 36600252 markings, 59652040 edges, 97736 markings/sec, 280 secs
lola: 37126906 markings, 60672671 edges, 105331 markings/sec, 285 secs
lola: 38006218 markings, 61709781 edges, 175862 markings/sec, 290 secs
lola: 38837861 markings, 62746845 edges, 166329 markings/sec, 295 secs
lola: 39665893 markings, 63772105 edges, 165606 markings/sec, 300 secs
lola: 40515076 markings, 64825007 edges, 169837 markings/sec, 305 secs
lola: 41337376 markings, 65858243 edges, 164460 markings/sec, 310 secs
lola: 42147660 markings, 66880160 edges, 162057 markings/sec, 315 secs
lola: 42943672 markings, 67881287 edges, 159202 markings/sec, 320 secs
lola: 43783606 markings, 68898043 edges, 167987 markings/sec, 325 secs
lola: 44612310 markings, 69914348 edges, 165741 markings/sec, 330 secs
lola: 45402403 markings, 70900999 edges, 158019 markings/sec, 335 secs
lola: 46197618 markings, 72046681 edges, 159043 markings/sec, 340 secs
lola: 46628391 markings, 73119282 edges, 86155 markings/sec, 345 secs
lola: 47120364 markings, 74123741 edges, 98395 markings/sec, 350 secs
lola: 47774200 markings, 75170744 edges, 130767 markings/sec, 355 secs
lola: 48470200 markings, 76283729 edges, 139200 markings/sec, 360 secs
lola: 48867558 markings, 77359937 edges, 79472 markings/sec, 365 secs
lola: 49252766 markings, 78378050 edges, 77042 markings/sec, 370 secs
lola: 49692589 markings, 79398679 edges, 87965 markings/sec, 375 secs
lola: 50134465 markings, 80410549 edges, 88375 markings/sec, 380 secs
lola: 50653562 markings, 81438993 edges, 103819 markings/sec, 385 secs
lola: 51066435 markings, 82387762 edges, 82575 markings/sec, 390 secs
lola: 51891007 markings, 83439113 edges, 164914 markings/sec, 395 secs
lola: 52728845 markings, 84477399 edges, 167568 markings/sec, 400 secs
lola: 53530261 markings, 85476367 edges, 160283 markings/sec, 405 secs
lola: 54394603 markings, 86527614 edges, 172868 markings/sec, 410 secs
lola: 55166494 markings, 87507790 edges, 154378 markings/sec, 415 secs
lola: 55973979 markings, 88529745 edges, 161497 markings/sec, 420 secs
lola: 56782958 markings, 89528507 edges, 161796 markings/sec, 425 secs
lola: 57578577 markings, 90508666 edges, 159124 markings/sec, 430 secs
lola: 58349085 markings, 91471264 edges, 154102 markings/sec, 435 secs
lola: 59145649 markings, 92447810 edges, 159313 markings/sec, 440 secs
lola: 59988373 markings, 93460869 edges, 168545 markings/sec, 445 secs
lola: 60567421 markings, 94604247 edges, 115810 markings/sec, 450 secs
lola: 61008377 markings, 95625880 edges, 88191 markings/sec, 455 secs
lola: 61519508 markings, 96631521 edges, 102226 markings/sec, 460 secs
lola: 62267185 markings, 97721626 edges, 149535 markings/sec, 465 secs
lola: 62828987 markings, 98856811 edges, 112360 markings/sec, 470 secs
lola: 63205876 markings, 99877557 edges, 75378 markings/sec, 475 secs
lola: 63615895 markings, 100897047 edges, 82004 markings/sec, 480 secs
lola: 64060728 markings, 101925491 edges, 88967 markings/sec, 485 secs
lola: 64553218 markings, 102934455 edges, 98498 markings/sec, 490 secs
lola: 65002465 markings, 103933899 edges, 89849 markings/sec, 495 secs
lola: 65577805 markings, 104956408 edges, 115068 markings/sec, 500 secs
lola: 66455017 markings, 105994736 edges, 175442 markings/sec, 505 secs
lola: 67270960 markings, 107024068 edges, 163189 markings/sec, 510 secs
lola: 68101534 markings, 108045341 edges, 166115 markings/sec, 515 secs
lola: 68919649 markings, 109076073 edges, 163623 markings/sec, 520 secs
lola: 69748943 markings, 110109683 edges, 165859 markings/sec, 525 secs
lola: 70550151 markings, 111115846 edges, 160242 markings/sec, 530 secs
lola: 71332620 markings, 112098475 edges, 156494 markings/sec, 535 secs
lola: 72162330 markings, 113105391 edges, 165942 markings/sec, 540 secs
lola: 72980960 markings, 114109186 edges, 163726 markings/sec, 545 secs
lola: 73761573 markings, 115083860 edges, 156123 markings/sec, 550 secs
lola: 74554764 markings, 116217475 edges, 158638 markings/sec, 555 secs
lola: 74986172 markings, 117293167 edges, 86282 markings/sec, 560 secs
lola: 75480847 markings, 118306211 edges, 98935 markings/sec, 565 secs
lola: 76133340 markings, 119354246 edges, 130499 markings/sec, 570 secs
lola: 76832401 markings, 120470136 edges, 139812 markings/sec, 575 secs
lola: 77231060 markings, 121549778 edges, 79732 markings/sec, 580 secs
lola: 77616299 markings, 122568663 edges, 77048 markings/sec, 585 secs
lola: 78056579 markings, 123589246 edges, 88056 markings/sec, 590 secs
lola: 78498066 markings, 124600077 edges, 88297 markings/sec, 595 secs
lola: 79019361 markings, 125633958 edges, 104259 markings/sec, 600 secs
lola: 79432923 markings, 126582931 edges, 82712 markings/sec, 605 secs
lola: 80264965 markings, 127638687 edges, 166408 markings/sec, 610 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 unknown unknown unknown 1 1 unknown unknown unknown unknown unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DES-PT-60b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494637648091

--------------------
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="DES-PT-60b"
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/DES-PT-60b.tgz
mv DES-PT-60b 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 DES-PT-60b, 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 r018-ebro-149436309200344"
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 ;