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 Solitaire-PT-FrnCT7x7, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008200083
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494930834371


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Solitaire-PT-FrnCT7x7 @ 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: 167/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 75 places, 92 transitions, 37 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 93 transition conflict sets
lola: TASK
lola: reading formula from Solitaire-PT-FrnCT7x7-UpperBounds.task
lola: MAX(F22) : MAX(F25) : MAX(F35) : MAX(F56) : MAX(F54) : MAX(F31) : MAX(F43) : MAX(T44) : MAX(F31) : MAX(F56) : MAX(F63) : MAX(F24) : MAX(F43) : MAX(T41) : MAX(F65) : MAX(T37)
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(F22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 392986 markings, 1539846 edges, 78597 markings/sec, 0 secs
lola: 724831 markings, 3097337 edges, 66369 markings/sec, 5 secs
lola: 1063909 markings, 4662535 edges, 67816 markings/sec, 10 secs
lola: 1392452 markings, 6245094 edges, 65709 markings/sec, 15 secs
lola: 1725403 markings, 7795237 edges, 66590 markings/sec, 20 secs
lola: 2029671 markings, 9366472 edges, 60854 markings/sec, 25 secs
lola: 2341014 markings, 10960671 edges, 62269 markings/sec, 30 secs
lola: 2644712 markings, 12540697 edges, 60740 markings/sec, 35 secs
lola: 2931431 markings, 14120063 edges, 57344 markings/sec, 40 secs
lola: 3202310 markings, 15723590 edges, 54176 markings/sec, 45 secs
lola: 3514370 markings, 17282459 edges, 62412 markings/sec, 50 secs
lola: 3817982 markings, 18838836 edges, 60722 markings/sec, 55 secs
lola: 4107454 markings, 20422684 edges, 57894 markings/sec, 60 secs
lola: 4393639 markings, 21991100 edges, 57237 markings/sec, 65 secs
lola: 4668594 markings, 23562814 edges, 54991 markings/sec, 70 secs
lola: 4958191 markings, 25128705 edges, 57919 markings/sec, 75 secs
lola: 5224040 markings, 26630873 edges, 53170 markings/sec, 80 secs
lola: 5476213 markings, 28166504 edges, 50435 markings/sec, 85 secs
lola: 5699679 markings, 29726600 edges, 44693 markings/sec, 90 secs
lola: 5973506 markings, 31303711 edges, 54765 markings/sec, 95 secs
lola: 6229152 markings, 32910756 edges, 51129 markings/sec, 100 secs
lola: 6489037 markings, 34467796 edges, 51977 markings/sec, 105 secs
lola: 6723679 markings, 36059820 edges, 46928 markings/sec, 110 secs
lola: 7029836 markings, 37563875 edges, 61231 markings/sec, 115 secs
lola: 7348086 markings, 39056641 edges, 63650 markings/sec, 120 secs
lola: 7677245 markings, 40628267 edges, 65832 markings/sec, 125 secs
lola: 7974970 markings, 42226229 edges, 59545 markings/sec, 130 secs
lola: 8282216 markings, 43817682 edges, 61449 markings/sec, 135 secs
lola: 8573414 markings, 45418044 edges, 58240 markings/sec, 140 secs
lola: 8869243 markings, 47037090 edges, 59166 markings/sec, 145 secs
lola: 9183328 markings, 48637856 edges, 62817 markings/sec, 150 secs
lola: 9492832 markings, 50227721 edges, 61901 markings/sec, 155 secs
lola: 9782676 markings, 51835796 edges, 57969 markings/sec, 160 secs
lola: 10053913 markings, 53432945 edges, 54247 markings/sec, 165 secs
lola: 10324489 markings, 55060154 edges, 54115 markings/sec, 170 secs
lola: 10576075 markings, 56660499 edges, 50317 markings/sec, 175 secs
lola: 10816460 markings, 58306057 edges, 48077 markings/sec, 180 secs
lola: 11068469 markings, 59911671 edges, 50402 markings/sec, 185 secs
lola: 11316818 markings, 61523891 edges, 49670 markings/sec, 190 secs
lola: 11545146 markings, 63165235 edges, 45666 markings/sec, 195 secs
lola: 11825068 markings, 64703931 edges, 55984 markings/sec, 200 secs
lola: 12091446 markings, 66284830 edges, 53276 markings/sec, 205 secs
lola: 12350397 markings, 67847235 edges, 51790 markings/sec, 210 secs
lola: 12603029 markings, 69403370 edges, 50526 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(F25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 365059 markings, 1504449 edges, 73012 markings/sec, 0 secs
lola: 684502 markings, 3024199 edges, 63889 markings/sec, 5 secs
lola: 1041182 markings, 4531350 edges, 71336 markings/sec, 10 secs
lola: 1340776 markings, 6019510 edges, 59919 markings/sec, 15 secs
lola: 1651421 markings, 7544979 edges, 62129 markings/sec, 20 secs
lola: 1969661 markings, 9025240 edges, 63648 markings/sec, 25 secs
lola: 2263136 markings, 10523741 edges, 58695 markings/sec, 30 secs
lola: 2557199 markings, 11985630 edges, 58813 markings/sec, 35 secs
lola: 2835979 markings, 13447425 edges, 55756 markings/sec, 40 secs
lola: 3126675 markings, 14945398 edges, 58139 markings/sec, 45 secs
lola: 3391494 markings, 16388556 edges, 52964 markings/sec, 50 secs
lola: 3667027 markings, 17820432 edges, 55107 markings/sec, 55 secs
lola: 3938719 markings, 19284665 edges, 54338 markings/sec, 60 secs
lola: 4191445 markings, 20772378 edges, 50545 markings/sec, 65 secs
lola: 4456156 markings, 22202057 edges, 52942 markings/sec, 70 secs
lola: 4711483 markings, 23664255 edges, 51065 markings/sec, 75 secs
lola: 4960535 markings, 25120534 edges, 49810 markings/sec, 80 secs
lola: 5200307 markings, 26623028 edges, 47954 markings/sec, 85 secs
lola: 5466457 markings, 28092925 edges, 53230 markings/sec, 90 secs
lola: 5725355 markings, 29583146 edges, 51780 markings/sec, 95 secs
lola: 5970816 markings, 31087045 edges, 49092 markings/sec, 100 secs
lola: 6220041 markings, 32530889 edges, 49845 markings/sec, 105 secs
lola: 6455691 markings, 33937104 edges, 47130 markings/sec, 110 secs
lola: 6692573 markings, 35419023 edges, 47376 markings/sec, 115 secs
lola: 6930630 markings, 36967529 edges, 47611 markings/sec, 120 secs
lola: 7232061 markings, 38459220 edges, 60286 markings/sec, 125 secs
lola: 7545252 markings, 40007395 edges, 62638 markings/sec, 130 secs
lola: 7846888 markings, 41519891 edges, 60327 markings/sec, 135 secs
lola: 8136105 markings, 43031169 edges, 57843 markings/sec, 140 secs
lola: 8416543 markings, 44637554 edges, 56088 markings/sec, 145 secs
lola: 8731087 markings, 46228570 edges, 62909 markings/sec, 150 secs
lola: 9017693 markings, 47850683 edges, 57321 markings/sec, 155 secs
lola: 9293802 markings, 49528476 edges, 55222 markings/sec, 160 secs
lola: 9571451 markings, 51116990 edges, 55530 markings/sec, 165 secs
lola: 9836029 markings, 52712079 edges, 52916 markings/sec, 170 secs
lola: 10092214 markings, 54320537 edges, 51237 markings/sec, 175 secs
lola: 10341787 markings, 55801761 edges, 49915 markings/sec, 180 secs
lola: 10599173 markings, 57223398 edges, 51477 markings/sec, 185 secs
lola: 10864859 markings, 58742053 edges, 53137 markings/sec, 190 secs
lola: 11090699 markings, 60249486 edges, 45168 markings/sec, 195 secs
lola: 11310597 markings, 61810557 edges, 43980 markings/sec, 200 secs
lola: 11548021 markings, 63382390 edges, 47485 markings/sec, 205 secs
lola: 11823569 markings, 64923737 edges, 55110 markings/sec, 210 secs
lola: 12069597 markings, 66451923 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 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(F35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 388442 markings, 1512647 edges, 77688 markings/sec, 0 secs
lola: 740797 markings, 3053574 edges, 70471 markings/sec, 5 secs
lola: 1073388 markings, 4640833 edges, 66518 markings/sec, 10 secs
lola: 1415874 markings, 6189073 edges, 68497 markings/sec, 15 secs
lola: 1756355 markings, 7708147 edges, 68096 markings/sec, 20 secs
lola: 2094726 markings, 9205257 edges, 67674 markings/sec, 25 secs
lola: 2402811 markings, 10776735 edges, 61617 markings/sec, 30 secs
lola: 2679530 markings, 12415230 edges, 55344 markings/sec, 35 secs
lola: 2966608 markings, 14010340 edges, 57416 markings/sec, 40 secs
lola: 3299668 markings, 15568044 edges, 66612 markings/sec, 45 secs
lola: 3631533 markings, 17076972 edges, 66373 markings/sec, 50 secs
lola: 3951530 markings, 18666828 edges, 63999 markings/sec, 55 secs
lola: 4255048 markings, 20231394 edges, 60704 markings/sec, 60 secs
lola: 4570655 markings, 21757370 edges, 63121 markings/sec, 65 secs
lola: 4881796 markings, 23308463 edges, 62228 markings/sec, 70 secs
lola: 5186382 markings, 24802068 edges, 60917 markings/sec, 75 secs
lola: 5463464 markings, 26423778 edges, 55416 markings/sec, 80 secs
lola: 5758370 markings, 27959593 edges, 58981 markings/sec, 85 secs
lola: 6050037 markings, 29529861 edges, 58333 markings/sec, 90 secs
lola: 6362070 markings, 31049890 edges, 62407 markings/sec, 95 secs
lola: 6669720 markings, 32520607 edges, 61530 markings/sec, 100 secs
lola: 6968076 markings, 34011020 edges, 59671 markings/sec, 105 secs
lola: 7255165 markings, 35505182 edges, 57418 markings/sec, 110 secs
lola: 7533983 markings, 37037519 edges, 55764 markings/sec, 115 secs
lola: 7813265 markings, 38530867 edges, 55856 markings/sec, 120 secs
lola: 8085008 markings, 40044827 edges, 54349 markings/sec, 125 secs
lola: 8356870 markings, 41537870 edges, 54372 markings/sec, 130 secs
lola: 8625300 markings, 43058473 edges, 53686 markings/sec, 135 secs
lola: 8897098 markings, 44569186 edges, 54360 markings/sec, 140 secs
lola: 9163547 markings, 46041444 edges, 53290 markings/sec, 145 secs
lola: 9448372 markings, 47515221 edges, 56965 markings/sec, 150 secs
lola: 9751384 markings, 48992698 edges, 60602 markings/sec, 155 secs
lola: 10059330 markings, 50452658 edges, 61589 markings/sec, 160 secs
lola: 10345069 markings, 51911450 edges, 57148 markings/sec, 165 secs
lola: 10613000 markings, 53466376 edges, 53586 markings/sec, 170 secs
lola: 10899761 markings, 54981954 edges, 57352 markings/sec, 175 secs
lola: 11158758 markings, 56495091 edges, 51799 markings/sec, 180 secs
lola: 11422147 markings, 57988711 edges, 52678 markings/sec, 185 secs
lola: 11690482 markings, 59469545 edges, 53667 markings/sec, 190 secs
lola: 11965484 markings, 60923745 edges, 55000 markings/sec, 195 secs
lola: 12252116 markings, 62372774 edges, 57326 markings/sec, 200 secs
lola: 12522638 markings, 63835822 edges, 54104 markings/sec, 205 secs
lola: 12794992 markings, 65330352 edges, 54471 markings/sec, 210 secs
lola: 13058302 markings, 66832997 edges, 52662 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(F56)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 384972 markings, 1564278 edges, 76994 markings/sec, 0 secs
lola: 719383 markings, 3167512 edges, 66882 markings/sec, 5 secs
lola: 1059341 markings, 4716633 edges, 67992 markings/sec, 10 secs
lola: 1366891 markings, 6263885 edges, 61510 markings/sec, 15 secs
lola: 1660007 markings, 7776847 edges, 58623 markings/sec, 20 secs
lola: 1989137 markings, 9214194 edges, 65826 markings/sec, 25 secs
lola: 2292000 markings, 10645554 edges, 60573 markings/sec, 30 secs
lola: 2596537 markings, 12123052 edges, 60907 markings/sec, 35 secs
lola: 2891028 markings, 13596215 edges, 58898 markings/sec, 40 secs
lola: 3177397 markings, 15081040 edges, 57274 markings/sec, 45 secs
lola: 3446934 markings, 16564860 edges, 53907 markings/sec, 50 secs
lola: 3753271 markings, 17979169 edges, 61267 markings/sec, 55 secs
lola: 4048162 markings, 19360300 edges, 58978 markings/sec, 60 secs
lola: 4314001 markings, 20821008 edges, 53168 markings/sec, 65 secs
lola: 4606089 markings, 22243553 edges, 58418 markings/sec, 70 secs
lola: 4889522 markings, 23712428 edges, 56687 markings/sec, 75 secs
lola: 5161224 markings, 25109644 edges, 54340 markings/sec, 80 secs
lola: 5418768 markings, 26553535 edges, 51509 markings/sec, 85 secs
lola: 5677238 markings, 27998981 edges, 51694 markings/sec, 90 secs
lola: 5916151 markings, 29335275 edges, 47783 markings/sec, 95 secs
lola: 6159946 markings, 30773018 edges, 48759 markings/sec, 100 secs
lola: 6463137 markings, 32170386 edges, 60638 markings/sec, 105 secs
lola: 6759236 markings, 33619903 edges, 59220 markings/sec, 110 secs
lola: 7036327 markings, 35049900 edges, 55418 markings/sec, 115 secs
lola: 7305846 markings, 36541171 edges, 53904 markings/sec, 120 secs
lola: 7570048 markings, 38037689 edges, 52840 markings/sec, 125 secs
lola: 7816952 markings, 39374734 edges, 49381 markings/sec, 130 secs
lola: 8068345 markings, 40746523 edges, 50279 markings/sec, 135 secs
lola: 8353925 markings, 42117197 edges, 57116 markings/sec, 140 secs
lola: 8622078 markings, 43588557 edges, 53631 markings/sec, 145 secs
lola: 8897466 markings, 44948059 edges, 55078 markings/sec, 150 secs
lola: 9154689 markings, 46230788 edges, 51445 markings/sec, 155 secs
lola: 9407590 markings, 47625493 edges, 50580 markings/sec, 160 secs
lola: 9629034 markings, 48930522 edges, 44289 markings/sec, 165 secs
lola: 9869990 markings, 50291285 edges, 48191 markings/sec, 170 secs
lola: 10114900 markings, 51699759 edges, 48982 markings/sec, 175 secs
lola: 10354495 markings, 53073676 edges, 47919 markings/sec, 180 secs
lola: 10600993 markings, 54490172 edges, 49300 markings/sec, 185 secs
lola: 10841410 markings, 55913460 edges, 48083 markings/sec, 190 secs
lola: 11069768 markings, 57321624 edges, 45672 markings/sec, 195 secs
lola: 11316572 markings, 58555355 edges, 49361 markings/sec, 200 secs
lola: 11538855 markings, 59799100 edges, 44457 markings/sec, 205 secs
lola: 11753320 markings, 61050521 edges, 42893 markings/sec, 210 secs
lola: 11975957 markings, 62453076 edges, 44527 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(F54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 384519 markings, 1479243 edges, 76904 markings/sec, 0 secs
lola: 734631 markings, 2941424 edges, 70022 markings/sec, 5 secs
lola: 1058372 markings, 4421688 edges, 64748 markings/sec, 10 secs
lola: 1370396 markings, 5928007 edges, 62405 markings/sec, 15 secs
lola: 1694840 markings, 7384137 edges, 64889 markings/sec, 20 secs
lola: 2000873 markings, 8813053 edges, 61207 markings/sec, 25 secs
lola: 2300108 markings, 10324713 edges, 59847 markings/sec, 30 secs
lola: 2599603 markings, 11795016 edges, 59899 markings/sec, 35 secs
lola: 2889043 markings, 13294916 edges, 57888 markings/sec, 40 secs
lola: 3168830 markings, 14802105 edges, 55957 markings/sec, 45 secs
lola: 3438278 markings, 16292868 edges, 53890 markings/sec, 50 secs
lola: 3694769 markings, 17588729 edges, 51298 markings/sec, 55 secs
lola: 3948866 markings, 18935371 edges, 50819 markings/sec, 60 secs
lola: 4194163 markings, 20251963 edges, 49059 markings/sec, 65 secs
lola: 4433086 markings, 21603968 edges, 47785 markings/sec, 70 secs
lola: 4714607 markings, 22971882 edges, 56304 markings/sec, 75 secs
lola: 5007263 markings, 24305507 edges, 58531 markings/sec, 80 secs
lola: 5279891 markings, 25677763 edges, 54526 markings/sec, 85 secs
lola: 5556903 markings, 27117575 edges, 55402 markings/sec, 90 secs
lola: 5829869 markings, 28558871 edges, 54593 markings/sec, 95 secs
lola: 6092470 markings, 30006592 edges, 52520 markings/sec, 100 secs
lola: 6343229 markings, 31428052 edges, 50152 markings/sec, 105 secs
lola: 6608648 markings, 32703572 edges, 53084 markings/sec, 110 secs
lola: 6852577 markings, 33970405 edges, 48786 markings/sec, 115 secs
lola: 7095459 markings, 35257046 edges, 48576 markings/sec, 120 secs
lola: 7348412 markings, 36556798 edges, 50591 markings/sec, 125 secs
lola: 7581124 markings, 37870030 edges, 46542 markings/sec, 130 secs
lola: 7816311 markings, 39194325 edges, 47037 markings/sec, 135 secs
lola: 8050464 markings, 40477333 edges, 46831 markings/sec, 140 secs
lola: 8281269 markings, 41800351 edges, 46161 markings/sec, 145 secs
lola: 8507885 markings, 43131007 edges, 45323 markings/sec, 150 secs
lola: 8744610 markings, 44540917 edges, 47345 markings/sec, 155 secs
lola: 8987051 markings, 45991616 edges, 48488 markings/sec, 160 secs
lola: 9219434 markings, 47473005 edges, 46477 markings/sec, 165 secs
lola: 9458644 markings, 48945493 edges, 47842 markings/sec, 170 secs
lola: 9697245 markings, 50391041 edges, 47720 markings/sec, 175 secs
lola: 9948097 markings, 51739824 edges, 50170 markings/sec, 180 secs
lola: 10183440 markings, 53053479 edges, 47069 markings/sec, 185 secs
lola: 10423035 markings, 54398533 edges, 47919 markings/sec, 190 secs
lola: 10659958 markings, 55769738 edges, 47385 markings/sec, 195 secs
lola: 10888156 markings, 57175779 edges, 45640 markings/sec, 200 secs
lola: 11118457 markings, 58491512 edges, 46060 markings/sec, 205 secs
lola: 11325993 markings, 59788187 edges, 41507 markings/sec, 210 secs
lola: 11545454 markings, 61134427 edges, 43892 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(F31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 405016 markings, 1535514 edges, 81003 markings/sec, 0 secs
lola: 759111 markings, 3115782 edges, 70819 markings/sec, 5 secs
lola: 1101410 markings, 4664501 edges, 68460 markings/sec, 10 secs
lola: 1424882 markings, 6162614 edges, 64694 markings/sec, 15 secs
lola: 1710319 markings, 7693181 edges, 57087 markings/sec, 20 secs
lola: 2019806 markings, 9224837 edges, 61897 markings/sec, 25 secs
lola: 2366409 markings, 10742727 edges, 69321 markings/sec, 30 secs
lola: 2716350 markings, 12293625 edges, 69988 markings/sec, 35 secs
lola: 3028216 markings, 13881186 edges, 62373 markings/sec, 40 secs
lola: 3334848 markings, 15463222 edges, 61326 markings/sec, 45 secs
lola: 3639235 markings, 17017410 edges, 60877 markings/sec, 50 secs
lola: 3948376 markings, 18546067 edges, 61828 markings/sec, 55 secs
lola: 4258154 markings, 20091465 edges, 61956 markings/sec, 60 secs
lola: 4552985 markings, 21659277 edges, 58966 markings/sec, 65 secs
lola: 4828883 markings, 23231947 edges, 55180 markings/sec, 70 secs
lola: 5100327 markings, 24764996 edges, 54289 markings/sec, 75 secs
lola: 5367743 markings, 26342932 edges, 53483 markings/sec, 80 secs
lola: 5619400 markings, 27890578 edges, 50331 markings/sec, 85 secs
lola: 5933484 markings, 29451268 edges, 62817 markings/sec, 90 secs
lola: 6215548 markings, 30995880 edges, 56413 markings/sec, 95 secs
lola: 6519918 markings, 32562190 edges, 60874 markings/sec, 100 secs
lola: 6791935 markings, 34158928 edges, 54403 markings/sec, 105 secs
lola: 7054046 markings, 35766943 edges, 52422 markings/sec, 110 secs
lola: 7310661 markings, 37334887 edges, 51323 markings/sec, 115 secs
lola: 7557743 markings, 38934441 edges, 49416 markings/sec, 120 secs
lola: 7799198 markings, 40496103 edges, 48291 markings/sec, 125 secs
lola: 8066870 markings, 42043321 edges, 53534 markings/sec, 130 secs
lola: 8318786 markings, 43575284 edges, 50383 markings/sec, 135 secs
lola: 8554740 markings, 45081951 edges, 47191 markings/sec, 140 secs
lola: 8802412 markings, 46642448 edges, 49534 markings/sec, 145 secs
lola: 9047748 markings, 48162266 edges, 49067 markings/sec, 150 secs
lola: 9279024 markings, 49697269 edges, 46255 markings/sec, 155 secs
lola: 9502049 markings, 51216519 edges, 44605 markings/sec, 160 secs
lola: 9717141 markings, 52746731 edges, 43018 markings/sec, 165 secs
lola: 10037610 markings, 54247934 edges, 64094 markings/sec, 170 secs
lola: 10370924 markings, 55753355 edges, 66663 markings/sec, 175 secs
lola: 10680592 markings, 57287482 edges, 61934 markings/sec, 180 secs
lola: 10989012 markings, 58819661 edges, 61684 markings/sec, 185 secs
lola: 11294914 markings, 60364351 edges, 61180 markings/sec, 190 secs
lola: 11579749 markings, 61937382 edges, 56967 markings/sec, 195 secs
lola: 11851206 markings, 63482118 edges, 54291 markings/sec, 200 secs
lola: 12134407 markings, 65032787 edges, 56640 markings/sec, 205 secs
lola: 12373567 markings, 66586329 edges, 47832 markings/sec, 210 secs
lola: 12617626 markings, 68183640 edges, 48812 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(F43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 386346 markings, 1464519 edges, 77269 markings/sec, 0 secs
lola: 749044 markings, 2985459 edges, 72540 markings/sec, 5 secs
lola: 1085306 markings, 4563307 edges, 67252 markings/sec, 10 secs
lola: 1398266 markings, 6130013 edges, 62592 markings/sec, 15 secs
lola: 1711350 markings, 7723607 edges, 62617 markings/sec, 20 secs
lola: 2042848 markings, 9274879 edges, 66300 markings/sec, 25 secs
lola: 2369307 markings, 10823007 edges, 65292 markings/sec, 30 secs
lola: 2685922 markings, 12414460 edges, 63323 markings/sec, 35 secs
lola: 2993039 markings, 13925768 edges, 61423 markings/sec, 40 secs
lola: 3298331 markings, 15410467 edges, 61058 markings/sec, 45 secs
lola: 3599570 markings, 16892611 edges, 60248 markings/sec, 50 secs
lola: 3894501 markings, 18427666 edges, 58986 markings/sec, 55 secs
lola: 4183963 markings, 19941888 edges, 57892 markings/sec, 60 secs
lola: 4468832 markings, 21489454 edges, 56974 markings/sec, 65 secs
lola: 4785869 markings, 23005768 edges, 63407 markings/sec, 70 secs
lola: 5088599 markings, 24593091 edges, 60546 markings/sec, 75 secs
lola: 5375566 markings, 26154130 edges, 57393 markings/sec, 80 secs
lola: 5658071 markings, 27731764 edges, 56501 markings/sec, 85 secs
lola: 5959052 markings, 29273605 edges, 60196 markings/sec, 90 secs
lola: 6240161 markings, 30826167 edges, 56222 markings/sec, 95 secs
lola: 6521853 markings, 32351720 edges, 56338 markings/sec, 100 secs
lola: 6806774 markings, 33832030 edges, 56984 markings/sec, 105 secs
lola: 7072566 markings, 35335946 edges, 53158 markings/sec, 110 secs
lola: 7324201 markings, 36846573 edges, 50327 markings/sec, 115 secs
lola: 7594946 markings, 38354436 edges, 54149 markings/sec, 120 secs
lola: 7852855 markings, 39885312 edges, 51582 markings/sec, 125 secs
lola: 8113805 markings, 41412258 edges, 52190 markings/sec, 130 secs
lola: 8376501 markings, 42927607 edges, 52539 markings/sec, 135 secs
lola: 8610763 markings, 44464906 edges, 46852 markings/sec, 140 secs
lola: 8864330 markings, 45997356 edges, 50713 markings/sec, 145 secs
lola: 9195848 markings, 47567260 edges, 66304 markings/sec, 150 secs
lola: 9510699 markings, 49123852 edges, 62970 markings/sec, 155 secs
lola: 9816514 markings, 50708999 edges, 61163 markings/sec, 160 secs
lola: 10104528 markings, 52266022 edges, 57603 markings/sec, 165 secs
lola: 10399180 markings, 53756268 edges, 58930 markings/sec, 170 secs
lola: 10690783 markings, 55297863 edges, 58321 markings/sec, 175 secs
lola: 10973057 markings, 56865628 edges, 56455 markings/sec, 180 secs
lola: 11275136 markings, 58414714 edges, 60416 markings/sec, 185 secs
lola: 11551655 markings, 59945680 edges, 55304 markings/sec, 190 secs
lola: 11821878 markings, 61466661 edges, 54045 markings/sec, 195 secs
lola: 12116769 markings, 63009092 edges, 58978 markings/sec, 200 secs
lola: 12379129 markings, 64555831 edges, 52472 markings/sec, 205 secs
lola: 12631530 markings, 66098276 edges, 50480 markings/sec, 210 secs
lola: 12903224 markings, 67619984 edges, 54339 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(T44)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 406948 markings, 1544227 edges, 81390 markings/sec, 0 secs
lola: 759726 markings, 3073014 edges, 70556 markings/sec, 5 secs
lola: 1084985 markings, 4637663 edges, 65052 markings/sec, 10 secs
lola: 1397984 markings, 6210742 edges, 62600 markings/sec, 15 secs
lola: 1706095 markings, 7754454 edges, 61622 markings/sec, 20 secs
lola: 2039518 markings, 9273641 edges, 66685 markings/sec, 25 secs
lola: 2360427 markings, 10781193 edges, 64182 markings/sec, 30 secs
lola: 2667316 markings, 12344785 edges, 61378 markings/sec, 35 secs
lola: 2977249 markings, 13868895 edges, 61987 markings/sec, 40 secs
lola: 3294090 markings, 15405187 edges, 63368 markings/sec, 45 secs
lola: 3604881 markings, 17014439 edges, 62158 markings/sec, 50 secs
lola: 3904703 markings, 18640020 edges, 59964 markings/sec, 55 secs
lola: 4190786 markings, 20316230 edges, 57217 markings/sec, 60 secs
lola: 4489631 markings, 21965660 edges, 59769 markings/sec, 65 secs
lola: 4800053 markings, 23537067 edges, 62084 markings/sec, 70 secs
lola: 5085149 markings, 25170148 edges, 57019 markings/sec, 75 secs
lola: 5364059 markings, 26823699 edges, 55782 markings/sec, 80 secs
lola: 5646505 markings, 28448797 edges, 56489 markings/sec, 85 secs
lola: 5921398 markings, 30049570 edges, 54979 markings/sec, 90 secs
lola: 6189366 markings, 31611358 edges, 53594 markings/sec, 95 secs
lola: 6480183 markings, 33060931 edges, 58163 markings/sec, 100 secs
lola: 6789467 markings, 34588071 edges, 61857 markings/sec, 105 secs
lola: 7087519 markings, 36114754 edges, 59610 markings/sec, 110 secs
lola: 7381689 markings, 37618923 edges, 58834 markings/sec, 115 secs
lola: 7691174 markings, 39151559 edges, 61897 markings/sec, 120 secs
lola: 7973850 markings, 40679112 edges, 56535 markings/sec, 125 secs
lola: 8257240 markings, 42225768 edges, 56678 markings/sec, 130 secs
lola: 8548710 markings, 43739652 edges, 58294 markings/sec, 135 secs
lola: 8819754 markings, 45252132 edges, 54209 markings/sec, 140 secs
lola: 9068375 markings, 46796471 edges, 49724 markings/sec, 145 secs
lola: 9363323 markings, 48333612 edges, 58990 markings/sec, 150 secs
lola: 9650583 markings, 49918669 edges, 57452 markings/sec, 155 secs
lola: 9925457 markings, 51486540 edges, 54975 markings/sec, 160 secs
lola: 10188127 markings, 53032527 edges, 52534 markings/sec, 165 secs
lola: 10466610 markings, 54548221 edges, 55697 markings/sec, 170 secs
lola: 10759644 markings, 56075948 edges, 58607 markings/sec, 175 secs
lola: 11007866 markings, 57648949 edges, 49644 markings/sec, 180 secs
lola: 11261164 markings, 59206376 edges, 50660 markings/sec, 185 secs
lola: 11521351 markings, 60724941 edges, 52037 markings/sec, 190 secs
lola: 11813300 markings, 62229380 edges, 58390 markings/sec, 195 secs
lola: 12072720 markings, 63755789 edges, 51884 markings/sec, 200 secs
lola: 12303056 markings, 65306131 edges, 46067 markings/sec, 205 secs
lola: 12552579 markings, 66836358 edges, 49905 markings/sec, 210 secs
lola: 12795231 markings, 68423452 edges, 48530 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(F31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 396505 markings, 1498846 edges, 79301 markings/sec, 0 secs
lola: 744101 markings, 3054876 edges, 69519 markings/sec, 5 secs
lola: 1080834 markings, 4578089 edges, 67347 markings/sec, 10 secs
lola: 1409800 markings, 6081486 edges, 65793 markings/sec, 15 secs
lola: 1696190 markings, 7619098 edges, 57278 markings/sec, 20 secs
lola: 2005314 markings, 9171913 edges, 61825 markings/sec, 25 secs
lola: 2356949 markings, 10697217 edges, 70327 markings/sec, 30 secs
lola: 2700698 markings, 12217479 edges, 68750 markings/sec, 35 secs
lola: 3006676 markings, 13773494 edges, 61196 markings/sec, 40 secs
lola: 3309668 markings, 15321491 edges, 60598 markings/sec, 45 secs
lola: 3604656 markings, 16844321 edges, 58998 markings/sec, 50 secs
lola: 3911802 markings, 18342798 edges, 61429 markings/sec, 55 secs
lola: 4205628 markings, 19846074 edges, 58765 markings/sec, 60 secs
lola: 4501565 markings, 21380094 edges, 59187 markings/sec, 65 secs
lola: 4775637 markings, 22907664 edges, 54814 markings/sec, 70 secs
lola: 5038537 markings, 24410027 edges, 52580 markings/sec, 75 secs
lola: 5299743 markings, 25905534 edges, 52241 markings/sec, 80 secs
lola: 5550996 markings, 27443142 edges, 50251 markings/sec, 85 secs
lola: 5845757 markings, 28983683 edges, 58952 markings/sec, 90 secs
lola: 6121748 markings, 30496071 edges, 55198 markings/sec, 95 secs
lola: 6415008 markings, 31987434 edges, 58652 markings/sec, 100 secs
lola: 6684386 markings, 33503601 edges, 53876 markings/sec, 105 secs
lola: 6937717 markings, 35045828 edges, 50666 markings/sec, 110 secs
lola: 7183354 markings, 36570076 edges, 49127 markings/sec, 115 secs
lola: 7427797 markings, 38064237 edges, 48889 markings/sec, 120 secs
lola: 7660080 markings, 39616913 edges, 46457 markings/sec, 125 secs
lola: 7896643 markings, 41124532 edges, 47313 markings/sec, 130 secs
lola: 8162187 markings, 42615290 edges, 53109 markings/sec, 135 secs
lola: 8400038 markings, 44088610 edges, 47570 markings/sec, 140 secs
lola: 8623273 markings, 45570312 edges, 44647 markings/sec, 145 secs
lola: 8876832 markings, 47077760 edges, 50712 markings/sec, 150 secs
lola: 9114904 markings, 48565667 edges, 47614 markings/sec, 155 secs
lola: 9334042 markings, 50060795 edges, 43828 markings/sec, 160 secs
lola: 9550979 markings, 51549563 edges, 43387 markings/sec, 165 secs
lola: 9756234 markings, 53037288 edges, 41051 markings/sec, 170 secs
lola: 10102154 markings, 54520495 edges, 69184 markings/sec, 175 secs
lola: 10422826 markings, 56017251 edges, 64134 markings/sec, 180 secs
lola: 10735065 markings, 57536341 edges, 62448 markings/sec, 185 secs
lola: 11043728 markings, 59084041 edges, 61733 markings/sec, 190 secs
lola: 11344186 markings, 60618632 edges, 60092 markings/sec, 195 secs
lola: 11622599 markings, 62189156 edges, 55683 markings/sec, 200 secs
lola: 11889269 markings, 63718968 edges, 53334 markings/sec, 205 secs
lola: 12172358 markings, 65256372 edges, 56618 markings/sec, 210 secs
lola: 12408585 markings, 66816939 edges, 47245 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(F56)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 393151 markings, 1602347 edges, 78630 markings/sec, 0 secs
lola: 729545 markings, 3227108 edges, 67279 markings/sec, 5 secs
lola: 1074557 markings, 4779756 edges, 69002 markings/sec, 10 secs
lola: 1381572 markings, 6343514 edges, 61403 markings/sec, 15 secs
lola: 1680007 markings, 7857615 edges, 59687 markings/sec, 20 secs
lola: 2003657 markings, 9274463 edges, 64730 markings/sec, 25 secs
lola: 2298977 markings, 10677147 edges, 59064 markings/sec, 30 secs
lola: 2598874 markings, 12137299 edges, 59979 markings/sec, 35 secs
lola: 2885883 markings, 13575786 edges, 57402 markings/sec, 40 secs
lola: 3165553 markings, 15023798 edges, 55934 markings/sec, 45 secs
lola: 3427829 markings, 16450807 edges, 52455 markings/sec, 50 secs
lola: 3724108 markings, 17841152 edges, 59256 markings/sec, 55 secs
lola: 4005814 markings, 19160874 edges, 56341 markings/sec, 60 secs
lola: 4262009 markings, 20555009 edges, 51239 markings/sec, 65 secs
lola: 4554845 markings, 21980835 edges, 58567 markings/sec, 70 secs
lola: 4841676 markings, 23450010 edges, 57366 markings/sec, 75 secs
lola: 5114735 markings, 24875161 edges, 54612 markings/sec, 80 secs
lola: 5368494 markings, 26298946 edges, 50752 markings/sec, 85 secs
lola: 5632286 markings, 27736302 edges, 52758 markings/sec, 90 secs
lola: 5875493 markings, 29083461 edges, 48641 markings/sec, 95 secs
lola: 6105750 markings, 30513798 edges, 46051 markings/sec, 100 secs
lola: 6403232 markings, 31878146 edges, 59496 markings/sec, 105 secs
lola: 6697467 markings, 33314852 edges, 58847 markings/sec, 110 secs
lola: 6983368 markings, 34778878 edges, 57180 markings/sec, 115 secs
lola: 7259361 markings, 36286643 edges, 55199 markings/sec, 120 secs
lola: 7525473 markings, 37838330 edges, 53222 markings/sec, 125 secs
lola: 7784944 markings, 39216066 edges, 51894 markings/sec, 130 secs
lola: 8045584 markings, 40603218 edges, 52128 markings/sec, 135 secs
lola: 8332231 markings, 42005681 edges, 57329 markings/sec, 140 secs
lola: 8607651 markings, 43514933 edges, 55084 markings/sec, 145 secs
lola: 8889114 markings, 44908805 edges, 56293 markings/sec, 150 secs
lola: 9154136 markings, 46227224 edges, 53004 markings/sec, 155 secs
lola: 9414330 markings, 47669719 edges, 52039 markings/sec, 160 secs
lola: 9646698 markings, 49025631 edges, 46474 markings/sec, 165 secs
lola: 9891880 markings, 50444273 edges, 49036 markings/sec, 170 secs
lola: 10145748 markings, 51887080 edges, 50774 markings/sec, 175 secs
lola: 10394156 markings, 53295371 edges, 49682 markings/sec, 180 secs
lola: 10645159 markings, 54747677 edges, 50201 markings/sec, 185 secs
lola: 10888301 markings, 56214737 edges, 48628 markings/sec, 190 secs
lola: 11128615 markings, 57614345 edges, 48063 markings/sec, 195 secs
lola: 11380093 markings, 58896881 edges, 50296 markings/sec, 200 secs
lola: 11609995 markings, 60204610 edges, 45980 markings/sec, 205 secs
lola: 11843780 markings, 61582153 edges, 46757 markings/sec, 210 secs
lola: 12062151 markings, 63015901 edges, 43674 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(F63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 391646 markings, 1535087 edges, 78329 markings/sec, 0 secs
lola: 716496 markings, 3121055 edges, 64970 markings/sec, 5 secs
lola: 1062804 markings, 4651143 edges, 69262 markings/sec, 10 secs
lola: 1382982 markings, 6212383 edges, 64036 markings/sec, 15 secs
lola: 1715912 markings, 7719770 edges, 66586 markings/sec, 20 secs
lola: 2028026 markings, 9245537 edges, 62423 markings/sec, 25 secs
lola: 2318908 markings, 10771281 edges, 58176 markings/sec, 30 secs
lola: 2615639 markings, 12246727 edges, 59346 markings/sec, 35 secs
lola: 2937062 markings, 13696865 edges, 64285 markings/sec, 40 secs
lola: 3238745 markings, 15182101 edges, 60337 markings/sec, 45 secs
lola: 3523113 markings, 16658457 edges, 56874 markings/sec, 50 secs
lola: 3798037 markings, 18157792 edges, 54985 markings/sec, 55 secs
lola: 4095512 markings, 19652658 edges, 59495 markings/sec, 60 secs
lola: 4379036 markings, 21164600 edges, 56705 markings/sec, 65 secs
lola: 4653341 markings, 22686410 edges, 54861 markings/sec, 70 secs
lola: 4910615 markings, 24203168 edges, 51455 markings/sec, 75 secs
lola: 5167678 markings, 25703325 edges, 51413 markings/sec, 80 secs
lola: 5423014 markings, 27220352 edges, 51067 markings/sec, 85 secs
lola: 5704304 markings, 28689484 edges, 56258 markings/sec, 90 secs
lola: 6002573 markings, 30041792 edges, 59654 markings/sec, 95 secs
lola: 6254245 markings, 31392061 edges, 50334 markings/sec, 100 secs
lola: 6545137 markings, 32749340 edges, 58178 markings/sec, 105 secs
lola: 6817828 markings, 34182551 edges, 54538 markings/sec, 110 secs
lola: 7093444 markings, 35573496 edges, 55123 markings/sec, 115 secs
lola: 7357063 markings, 36958704 edges, 52724 markings/sec, 120 secs
lola: 7618831 markings, 38381800 edges, 52354 markings/sec, 125 secs
lola: 7882582 markings, 39783283 edges, 52750 markings/sec, 130 secs
lola: 8170810 markings, 41087123 edges, 57646 markings/sec, 135 secs
lola: 8432774 markings, 42440460 edges, 52393 markings/sec, 140 secs
lola: 8680783 markings, 43816053 edges, 49602 markings/sec, 145 secs
lola: 8918188 markings, 45207710 edges, 47481 markings/sec, 150 secs
lola: 9166690 markings, 46624069 edges, 49700 markings/sec, 155 secs
lola: 9428722 markings, 48037534 edges, 52406 markings/sec, 160 secs
lola: 9682348 markings, 49464085 edges, 50725 markings/sec, 165 secs
lola: 9938654 markings, 50901146 edges, 51261 markings/sec, 170 secs
lola: 10192164 markings, 52317462 edges, 50702 markings/sec, 175 secs
lola: 10440444 markings, 53716367 edges, 49656 markings/sec, 180 secs
lola: 10677773 markings, 55132135 edges, 47466 markings/sec, 185 secs
lola: 10920707 markings, 56559855 edges, 48587 markings/sec, 190 secs
lola: 11195873 markings, 57974622 edges, 55033 markings/sec, 195 secs
lola: 11465579 markings, 59427002 edges, 53941 markings/sec, 200 secs
lola: 11725767 markings, 60853929 edges, 52038 markings/sec, 205 secs
lola: 11989206 markings, 62314136 edges, 52688 markings/sec, 210 secs
lola: 12240377 markings, 63793486 edges, 50234 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(F24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 384548 markings, 1506219 edges, 76910 markings/sec, 0 secs
lola: 716173 markings, 3114968 edges, 66325 markings/sec, 5 secs
lola: 1063472 markings, 4688813 edges, 69460 markings/sec, 10 secs
lola: 1391072 markings, 6258641 edges, 65520 markings/sec, 15 secs
lola: 1716620 markings, 7812071 edges, 65110 markings/sec, 20 secs
lola: 2067364 markings, 9390420 edges, 70149 markings/sec, 25 secs
lola: 2390830 markings, 10982949 edges, 64693 markings/sec, 30 secs
lola: 2700039 markings, 12571426 edges, 61842 markings/sec, 35 secs
lola: 2986972 markings, 14161207 edges, 57387 markings/sec, 40 secs
lola: 3296446 markings, 15742420 edges, 61895 markings/sec, 45 secs
lola: 3608620 markings, 17276527 edges, 62435 markings/sec, 50 secs
lola: 3910727 markings, 18809666 edges, 60421 markings/sec, 55 secs
lola: 4212959 markings, 20380860 edges, 60446 markings/sec, 60 secs
lola: 4505338 markings, 21959333 edges, 58476 markings/sec, 65 secs
lola: 4785937 markings, 23557861 edges, 56120 markings/sec, 70 secs
lola: 5052459 markings, 25138533 edges, 53304 markings/sec, 75 secs
lola: 5342007 markings, 26712193 edges, 57910 markings/sec, 80 secs
lola: 5617710 markings, 28320748 edges, 55141 markings/sec, 85 secs
lola: 5909154 markings, 29900843 edges, 58289 markings/sec, 90 secs
lola: 6189977 markings, 31493372 edges, 56165 markings/sec, 95 secs
lola: 6460300 markings, 33094035 edges, 54065 markings/sec, 100 secs
lola: 6715960 markings, 34705090 edges, 51132 markings/sec, 105 secs
lola: 7008191 markings, 36271796 edges, 58446 markings/sec, 110 secs
lola: 7309737 markings, 37816724 edges, 60309 markings/sec, 115 secs
lola: 7583355 markings, 39372914 edges, 54724 markings/sec, 120 secs
lola: 7841170 markings, 40955623 edges, 51563 markings/sec, 125 secs
lola: 8108082 markings, 42506684 edges, 53382 markings/sec, 130 secs
lola: 8353441 markings, 44084543 edges, 49072 markings/sec, 135 secs
lola: 8610413 markings, 45638721 edges, 51394 markings/sec, 140 secs
lola: 8861291 markings, 47221076 edges, 50176 markings/sec, 145 secs
lola: 9116581 markings, 48817579 edges, 51058 markings/sec, 150 secs
lola: 9355339 markings, 50423407 edges, 47752 markings/sec, 155 secs
lola: 9581315 markings, 52049895 edges, 45195 markings/sec, 160 secs
lola: 9803541 markings, 53670630 edges, 44445 markings/sec, 165 secs
lola: 10046816 markings, 55274604 edges, 48655 markings/sec, 170 secs
lola: 10314709 markings, 56842108 edges, 53579 markings/sec, 175 secs
lola: 10562158 markings, 58440870 edges, 49490 markings/sec, 180 secs
lola: 10822431 markings, 60018598 edges, 52055 markings/sec, 185 secs
lola: 11077092 markings, 61604577 edges, 50932 markings/sec, 190 secs
lola: 11311920 markings, 63203740 edges, 46966 markings/sec, 195 secs
lola: 11549371 markings, 64769830 edges, 47490 markings/sec, 200 secs
lola: 11787601 markings, 66353166 edges, 47646 markings/sec, 205 secs
lola: 12035497 markings, 67911681 edges, 49579 markings/sec, 210 secs
lola: 12268638 markings, 69549634 edges, 46628 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(F43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 391211 markings, 1487011 edges, 78242 markings/sec, 0 secs
lola: 755035 markings, 3014689 edges, 72765 markings/sec, 5 secs
lola: 1087443 markings, 4574891 edges, 66482 markings/sec, 10 secs
lola: 1396449 markings, 6119593 edges, 61801 markings/sec, 15 secs
lola: 1707012 markings, 7705981 edges, 62113 markings/sec, 20 secs
lola: 2037445 markings, 9251520 edges, 66087 markings/sec, 25 secs
lola: 2363151 markings, 10798041 edges, 65141 markings/sec, 30 secs
lola: 2681199 markings, 12391961 edges, 63610 markings/sec, 35 secs
lola: 2992638 markings, 13923637 edges, 62288 markings/sec, 40 secs
lola: 3298394 markings, 15410777 edges, 61151 markings/sec, 45 secs
lola: 3600318 markings, 16896910 edges, 60385 markings/sec, 50 secs
lola: 3895784 markings, 18434364 edges, 59093 markings/sec, 55 secs
lola: 4185764 markings, 19952042 edges, 57996 markings/sec, 60 secs
lola: 4468231 markings, 21487260 edges, 56493 markings/sec, 65 secs
lola: 4783085 markings, 22990930 edges, 62971 markings/sec, 70 secs
lola: 5086220 markings, 24580378 edges, 60627 markings/sec, 75 secs
lola: 5370850 markings, 26130701 edges, 56926 markings/sec, 80 secs
lola: 5652789 markings, 27707747 edges, 56388 markings/sec, 85 secs
lola: 5955799 markings, 29255921 edges, 60602 markings/sec, 90 secs
lola: 6239836 markings, 30824267 edges, 56807 markings/sec, 95 secs
lola: 6524548 markings, 32365910 edges, 56942 markings/sec, 100 secs
lola: 6812783 markings, 33867871 edges, 57647 markings/sec, 105 secs
lola: 7081891 markings, 35391608 edges, 53822 markings/sec, 110 secs
lola: 7337497 markings, 36923008 edges, 51121 markings/sec, 115 secs
lola: 7608885 markings, 38441396 edges, 54278 markings/sec, 120 secs
lola: 7871307 markings, 39989735 edges, 52484 markings/sec, 125 secs
lola: 8133881 markings, 41526959 edges, 52515 markings/sec, 130 secs
lola: 8395224 markings, 43054001 edges, 52269 markings/sec, 135 secs
lola: 8628329 markings, 44588750 edges, 46621 markings/sec, 140 secs
lola: 8892227 markings, 46120203 edges, 52780 markings/sec, 145 secs
lola: 9226088 markings, 47697777 edges, 66772 markings/sec, 150 secs
lola: 9536884 markings, 49247727 edges, 62159 markings/sec, 155 secs
lola: 9842059 markings, 50843611 edges, 61035 markings/sec, 160 secs
lola: 10132904 markings, 52413344 edges, 58169 markings/sec, 165 secs
lola: 10430800 markings, 53934795 edges, 59579 markings/sec, 170 secs
lola: 10731147 markings, 55504023 edges, 60069 markings/sec, 175 secs
lola: 11025863 markings, 57105836 edges, 58943 markings/sec, 180 secs
lola: 11321977 markings, 58679264 edges, 59223 markings/sec, 185 secs
lola: 11603472 markings, 60243231 edges, 56299 markings/sec, 190 secs
lola: 11890532 markings, 61809945 edges, 57412 markings/sec, 195 secs
lola: 12178256 markings, 63384691 edges, 57545 markings/sec, 200 secs
lola: 12448301 markings, 64944548 edges, 54009 markings/sec, 205 secs
lola: 12703472 markings, 66526047 edges, 51034 markings/sec, 210 secs
lola: 12976987 markings, 68065842 edges, 54703 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(T41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 381624 markings, 1533799 edges, 76325 markings/sec, 0 secs
lola: 765088 markings, 3049917 edges, 76693 markings/sec, 5 secs
lola: 1116831 markings, 4610291 edges, 70349 markings/sec, 10 secs
lola: 1450761 markings, 6189262 edges, 66786 markings/sec, 15 secs
lola: 1785251 markings, 7776962 edges, 66898 markings/sec, 20 secs
lola: 2100932 markings, 9359369 edges, 63136 markings/sec, 25 secs
lola: 2380081 markings, 10947107 edges, 55830 markings/sec, 30 secs
lola: 2705129 markings, 12496939 edges, 65010 markings/sec, 35 secs
lola: 3013915 markings, 14020096 edges, 61757 markings/sec, 40 secs
lola: 3325569 markings, 15584002 edges, 62331 markings/sec, 45 secs
lola: 3613570 markings, 17142294 edges, 57600 markings/sec, 50 secs
lola: 3910057 markings, 18665721 edges, 59297 markings/sec, 55 secs
lola: 4213365 markings, 20192382 edges, 60662 markings/sec, 60 secs
lola: 4490979 markings, 21768374 edges, 55523 markings/sec, 65 secs
lola: 4773287 markings, 23299114 edges, 56462 markings/sec, 70 secs
lola: 5049093 markings, 24859697 edges, 55161 markings/sec, 75 secs
lola: 5301503 markings, 26407399 edges, 50482 markings/sec, 80 secs
lola: 5624041 markings, 27898486 edges, 64508 markings/sec, 85 secs
lola: 5939259 markings, 29417736 edges, 63044 markings/sec, 90 secs
lola: 6248727 markings, 30927800 edges, 61894 markings/sec, 95 secs
lola: 6530195 markings, 32475123 edges, 56294 markings/sec, 100 secs
lola: 6801858 markings, 34036402 edges, 54333 markings/sec, 105 secs
lola: 7088974 markings, 35567440 edges, 57423 markings/sec, 110 secs
lola: 7359370 markings, 37113494 edges, 54079 markings/sec, 115 secs
lola: 7611750 markings, 38676945 edges, 50476 markings/sec, 120 secs
lola: 7885298 markings, 40234974 edges, 54710 markings/sec, 125 secs
lola: 8171452 markings, 41731935 edges, 57231 markings/sec, 130 secs
lola: 8440992 markings, 43220824 edges, 53908 markings/sec, 135 secs
lola: 8707865 markings, 44711141 edges, 53375 markings/sec, 140 secs
lola: 8970917 markings, 46246044 edges, 52610 markings/sec, 145 secs
lola: 9232105 markings, 47739089 edges, 52238 markings/sec, 150 secs
lola: 9478787 markings, 49298668 edges, 49336 markings/sec, 155 secs
lola: 9719198 markings, 50841004 edges, 48082 markings/sec, 160 secs
lola: 9962667 markings, 52396872 edges, 48694 markings/sec, 165 secs
lola: 10209401 markings, 53884301 edges, 49347 markings/sec, 170 secs
lola: 10440405 markings, 55455428 edges, 46201 markings/sec, 175 secs
lola: 10665323 markings, 57009325 edges, 44984 markings/sec, 180 secs
lola: 10905330 markings, 58574465 edges, 48001 markings/sec, 185 secs
lola: 11167196 markings, 60116055 edges, 52373 markings/sec, 190 secs
lola: 11450315 markings, 61605409 edges, 56624 markings/sec, 195 secs
lola: 11715314 markings, 63125793 edges, 53000 markings/sec, 200 secs
lola: 11984069 markings, 64646768 edges, 53751 markings/sec, 205 secs
lola: 12239031 markings, 66149771 edges, 50992 markings/sec, 210 secs
lola: 12480449 markings, 67714922 edges, 48284 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(F65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 396463 markings, 1561195 edges, 79293 markings/sec, 0 secs
lola: 755234 markings, 3102244 edges, 71754 markings/sec, 5 secs
lola: 1092275 markings, 4625878 edges, 67408 markings/sec, 10 secs
lola: 1402290 markings, 6195957 edges, 62003 markings/sec, 15 secs
lola: 1739094 markings, 7653708 edges, 67361 markings/sec, 20 secs
lola: 2050255 markings, 9109407 edges, 62232 markings/sec, 25 secs
lola: 2385416 markings, 10650098 edges, 67032 markings/sec, 30 secs
lola: 2695094 markings, 12187474 edges, 61936 markings/sec, 35 secs
lola: 3003585 markings, 13770099 edges, 61698 markings/sec, 40 secs
lola: 3294175 markings, 15372607 edges, 58118 markings/sec, 45 secs
lola: 3569853 markings, 16952690 edges, 55136 markings/sec, 50 secs
lola: 3853808 markings, 18438986 edges, 56791 markings/sec, 55 secs
lola: 4129643 markings, 20020098 edges, 55167 markings/sec, 60 secs
lola: 4408530 markings, 21616841 edges, 55777 markings/sec, 65 secs
lola: 4696298 markings, 23184478 edges, 57554 markings/sec, 70 secs
lola: 4994455 markings, 24670153 edges, 59631 markings/sec, 75 secs
lola: 5276908 markings, 26169975 edges, 56491 markings/sec, 80 secs
lola: 5558162 markings, 27690941 edges, 56251 markings/sec, 85 secs
lola: 5821132 markings, 29201929 edges, 52594 markings/sec, 90 secs
lola: 6141372 markings, 30729612 edges, 64048 markings/sec, 95 secs
lola: 6439632 markings, 32235850 edges, 59652 markings/sec, 100 secs
lola: 6728432 markings, 33753715 edges, 57760 markings/sec, 105 secs
lola: 6993461 markings, 35282140 edges, 53006 markings/sec, 110 secs
lola: 7269249 markings, 36769885 edges, 55158 markings/sec, 115 secs
lola: 7537598 markings, 38281718 edges, 53670 markings/sec, 120 secs
lola: 7792510 markings, 39832296 edges, 50982 markings/sec, 125 secs
lola: 8050010 markings, 41373059 edges, 51500 markings/sec, 130 secs
lola: 8336220 markings, 42846310 edges, 57242 markings/sec, 135 secs
lola: 8599471 markings, 44315957 edges, 52650 markings/sec, 140 secs
lola: 8857453 markings, 45801654 edges, 51596 markings/sec, 145 secs
lola: 9109132 markings, 47303598 edges, 50336 markings/sec, 150 secs
lola: 9345775 markings, 48733643 edges, 47329 markings/sec, 155 secs
lola: 9608774 markings, 50203537 edges, 52600 markings/sec, 160 secs
lola: 9865797 markings, 51692504 edges, 51405 markings/sec, 165 secs
lola: 10118275 markings, 53204141 edges, 50496 markings/sec, 170 secs
lola: 10359169 markings, 54703226 edges, 48179 markings/sec, 175 secs
lola: 10600339 markings, 56179422 edges, 48234 markings/sec, 180 secs
lola: 10845864 markings, 57689909 edges, 49105 markings/sec, 185 secs
lola: 11075776 markings, 59205764 edges, 45982 markings/sec, 190 secs
lola: 11298082 markings, 60648016 edges, 44461 markings/sec, 195 secs
lola: 11511133 markings, 62090840 edges, 42610 markings/sec, 200 secs
lola: 11764234 markings, 63482195 edges, 50620 markings/sec, 205 secs
lola: 12022768 markings, 64851985 edges, 51707 markings/sec, 210 secs
lola: 12282092 markings, 66266419 edges, 51865 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(T37)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 382401 markings, 1503047 edges, 76480 markings/sec, 0 secs
lola: 710284 markings, 2981438 edges, 65577 markings/sec, 5 secs
lola: 1025567 markings, 4451428 edges, 63057 markings/sec, 10 secs
lola: 1326933 markings, 5963163 edges, 60273 markings/sec, 15 secs
lola: 1675452 markings, 7469812 edges, 69704 markings/sec, 20 secs
lola: 2007463 markings, 8979286 edges, 66402 markings/sec, 25 secs
lola: 2317054 markings, 10509843 edges, 61918 markings/sec, 30 secs
lola: 2637648 markings, 12074479 edges, 64119 markings/sec, 35 secs
lola: 2958467 markings, 13603197 edges, 64164 markings/sec, 40 secs
lola: 3243750 markings, 15176683 edges, 57057 markings/sec, 45 secs
lola: 3526205 markings, 16720441 edges, 56491 markings/sec, 50 secs
lola: 3811549 markings, 18259953 edges, 57069 markings/sec, 55 secs
lola: 4098786 markings, 19827522 edges, 57447 markings/sec, 60 secs
lola: 4368582 markings, 21397723 edges, 53959 markings/sec, 65 secs
lola: 4647944 markings, 22921001 edges, 55872 markings/sec, 70 secs
lola: 4971638 markings, 24408536 edges, 64739 markings/sec, 75 secs
lola: 5275397 markings, 25937182 edges, 60752 markings/sec, 80 secs
lola: 5557366 markings, 27507558 edges, 56394 markings/sec, 85 secs
lola: 5857463 markings, 29050625 edges, 60019 markings/sec, 90 secs
lola: 6135430 markings, 30636259 edges, 55593 markings/sec, 95 secs
lola: 6405761 markings, 32206428 edges, 54066 markings/sec, 100 secs
lola: 6699563 markings, 33753872 edges, 58760 markings/sec, 105 secs
lola: 6988953 markings, 35304815 edges, 57878 markings/sec, 110 secs
lola: 7267099 markings, 36852493 edges, 55629 markings/sec, 115 secs
lola: 7561929 markings, 38418024 edges, 58966 markings/sec, 120 secs
lola: 7836770 markings, 39986148 edges, 54968 markings/sec, 125 secs
lola: 8082675 markings, 41548864 edges, 49181 markings/sec, 130 secs
lola: 8356854 markings, 43116232 edges, 54836 markings/sec, 135 secs
lola: 8625204 markings, 44736273 edges, 53670 markings/sec, 140 secs
lola: 8875712 markings, 46382249 edges, 50102 markings/sec, 145 secs
lola: 9126991 markings, 48002419 edges, 50256 markings/sec, 150 secs
lola: 9370387 markings, 49607601 edges, 48679 markings/sec, 155 secs
lola: 9627731 markings, 51268325 edges, 51469 markings/sec, 160 secs
lola: 9869535 markings, 52865468 edges, 48361 markings/sec, 165 secs
lola: 10084515 markings, 54482210 edges, 42996 markings/sec, 170 secs
lola: 10416324 markings, 56013205 edges, 66362 markings/sec, 175 secs
lola: 10762888 markings, 57498697 edges, 69313 markings/sec, 180 secs
lola: 11082809 markings, 59070962 edges, 63984 markings/sec, 185 secs
lola: 11401537 markings, 60605013 edges, 63746 markings/sec, 190 secs
lola: 11701351 markings, 62143207 edges, 59963 markings/sec, 195 secs
lola: 11998440 markings, 63696920 edges, 59418 markings/sec, 200 secs
lola: 12294666 markings, 65191565 edges, 59245 markings/sec, 205 secs
lola: 12585540 markings, 66693855 edges, 58175 markings/sec, 210 secs
lola: 12867548 markings, 68198869 edges, 56402 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 Solitaire-PT-FrnCT7x7-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnCT7x7-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnCT7x7-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnCT7x7-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnCT7x7-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnCT7x7-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnCT7x7-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnCT7x7-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnCT7x7-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnCT7x7-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnCT7x7-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnCT7x7-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnCT7x7-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnCT7x7-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnCT7x7-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnCT7x7-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494934374287

--------------------
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="Solitaire-PT-FrnCT7x7"
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/Solitaire-PT-FrnCT7x7.tgz
mv Solitaire-PT-FrnCT7x7 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 Solitaire-PT-FrnCT7x7, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r078-ebro-149441008200083"
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 ;