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

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

=== Now, execution of the tool begins

BK_START 1494931621461


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Solitaire-PT-SqrCT5x5 @ 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: 135/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 51 places, 84 transitions, 26 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 85 transition conflict sets
lola: TASK
lola: reading formula from Solitaire-PT-SqrCT5x5-UpperBounds.task
lola: MAX(F46) : MAX(F54) : MAX(T53) : MAX(T26) : MAX(T52) : MAX(T53) : MAX(T42) : MAX(F53) : MAX(T55) : MAX(T43) : MAX(F35) : MAX(F33) : MAX(T53) : MAX(F43) : MAX(T26) : MAX(T26)
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(F46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 350351 markings, 1910058 edges, 70070 markings/sec, 0 secs
lola: 649409 markings, 3836423 edges, 59812 markings/sec, 5 secs
lola: 907227 markings, 5722341 edges, 51564 markings/sec, 10 secs
lola: 1178163 markings, 7580710 edges, 54187 markings/sec, 15 secs
lola: 1433025 markings, 9434033 edges, 50972 markings/sec, 20 secs
lola: 1696898 markings, 11346523 edges, 52775 markings/sec, 25 secs
lola: 1937216 markings, 13230129 edges, 48064 markings/sec, 30 secs
lola: 2166752 markings, 15109897 edges, 45907 markings/sec, 35 secs
lola: 2389141 markings, 16969116 edges, 44478 markings/sec, 40 secs
lola: 2613638 markings, 18815892 edges, 44899 markings/sec, 45 secs
lola: 2826317 markings, 20654060 edges, 42536 markings/sec, 50 secs
lola: 3085835 markings, 22367642 edges, 51904 markings/sec, 55 secs
lola: 3319081 markings, 24082855 edges, 46649 markings/sec, 60 secs
lola: 3541019 markings, 25820286 edges, 44388 markings/sec, 65 secs
lola: 3753025 markings, 27531232 edges, 42401 markings/sec, 70 secs
lola: 3981240 markings, 29295709 edges, 45643 markings/sec, 75 secs
lola: 4205895 markings, 31104872 edges, 44931 markings/sec, 80 secs
lola: 4403346 markings, 32879691 edges, 39490 markings/sec, 85 secs
lola: 4591176 markings, 34703623 edges, 37566 markings/sec, 90 secs
lola: 4803579 markings, 36536802 edges, 42481 markings/sec, 95 secs
lola: 4993312 markings, 38355831 edges, 37947 markings/sec, 100 secs
lola: 5176631 markings, 40068497 edges, 36664 markings/sec, 105 secs
lola: 5338174 markings, 41676352 edges, 32309 markings/sec, 110 secs
lola: 5533118 markings, 43374684 edges, 38989 markings/sec, 115 secs
lola: 5714217 markings, 45067477 edges, 36220 markings/sec, 120 secs
lola: 5902180 markings, 46781567 edges, 37593 markings/sec, 125 secs
lola: 6087299 markings, 48580647 edges, 37024 markings/sec, 130 secs
lola: 6283438 markings, 50365757 edges, 39228 markings/sec, 135 secs
lola: 6499643 markings, 52186450 edges, 43241 markings/sec, 140 secs
lola: 6680078 markings, 53941838 edges, 36087 markings/sec, 145 secs
lola: 6873859 markings, 55651773 edges, 38756 markings/sec, 150 secs
lola: 7046962 markings, 57437377 edges, 34621 markings/sec, 155 secs
lola: 7220973 markings, 59275008 edges, 34802 markings/sec, 160 secs
lola: 7403872 markings, 61050142 edges, 36580 markings/sec, 165 secs
lola: 7592988 markings, 62773124 edges, 37823 markings/sec, 170 secs
lola: 7774829 markings, 64493902 edges, 36368 markings/sec, 175 secs
lola: 7964432 markings, 66251968 edges, 37921 markings/sec, 180 secs
lola: 8157358 markings, 67974042 edges, 38585 markings/sec, 185 secs
lola: 8345375 markings, 69720319 edges, 37603 markings/sec, 190 secs
lola: 8521351 markings, 71400989 edges, 35195 markings/sec, 195 secs
lola: 8717898 markings, 73121062 edges, 39309 markings/sec, 200 secs
lola: 8924786 markings, 74790974 edges, 41378 markings/sec, 205 secs
lola: 9122468 markings, 76464045 edges, 39536 markings/sec, 210 secs
lola: 9308823 markings, 78152871 edges, 37271 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(F54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 378193 markings, 1834034 edges, 75639 markings/sec, 0 secs
lola: 666803 markings, 3581939 edges, 57722 markings/sec, 5 secs
lola: 930369 markings, 5251014 edges, 52713 markings/sec, 10 secs
lola: 1187439 markings, 6851749 edges, 51414 markings/sec, 15 secs
lola: 1451205 markings, 8561052 edges, 52753 markings/sec, 20 secs
lola: 1700609 markings, 10221754 edges, 49881 markings/sec, 25 secs
lola: 1935037 markings, 11952338 edges, 46886 markings/sec, 30 secs
lola: 2155301 markings, 13582778 edges, 44053 markings/sec, 35 secs
lola: 2355193 markings, 15143384 edges, 39978 markings/sec, 40 secs
lola: 2597066 markings, 16727816 edges, 48375 markings/sec, 45 secs
lola: 2814234 markings, 18308195 edges, 43434 markings/sec, 50 secs
lola: 3021659 markings, 19867193 edges, 41485 markings/sec, 55 secs
lola: 3221819 markings, 21453801 edges, 40032 markings/sec, 60 secs
lola: 3427036 markings, 23109538 edges, 41043 markings/sec, 65 secs
lola: 3636216 markings, 24703527 edges, 41836 markings/sec, 70 secs
lola: 3842725 markings, 26302441 edges, 41302 markings/sec, 75 secs
lola: 4050800 markings, 27882909 edges, 41615 markings/sec, 80 secs
lola: 4242848 markings, 29398827 edges, 38410 markings/sec, 85 secs
lola: 4418575 markings, 30896690 edges, 35145 markings/sec, 90 secs
lola: 4590012 markings, 32449987 edges, 34287 markings/sec, 95 secs
lola: 4774527 markings, 33942787 edges, 36903 markings/sec, 100 secs
lola: 4950540 markings, 35406264 edges, 35203 markings/sec, 105 secs
lola: 5121761 markings, 36884212 edges, 34244 markings/sec, 110 secs
lola: 5291222 markings, 38337829 edges, 33892 markings/sec, 115 secs
lola: 5471390 markings, 39772375 edges, 36034 markings/sec, 120 secs
lola: 5662445 markings, 41281301 edges, 38211 markings/sec, 125 secs
lola: 5842005 markings, 42801902 edges, 35912 markings/sec, 130 secs
lola: 6015133 markings, 44309455 edges, 34626 markings/sec, 135 secs
lola: 6193083 markings, 45760579 edges, 35590 markings/sec, 140 secs
lola: 6359944 markings, 47214251 edges, 33372 markings/sec, 145 secs
lola: 6532284 markings, 48652349 edges, 34468 markings/sec, 150 secs
lola: 6696676 markings, 50104059 edges, 32878 markings/sec, 155 secs
lola: 6863681 markings, 51557893 edges, 33401 markings/sec, 160 secs
lola: 7043690 markings, 52964730 edges, 36002 markings/sec, 165 secs
lola: 7217914 markings, 54441084 edges, 34845 markings/sec, 170 secs
lola: 7378293 markings, 55955582 edges, 32076 markings/sec, 175 secs
lola: 7538748 markings, 57377070 edges, 32091 markings/sec, 180 secs
lola: 7695910 markings, 58804246 edges, 31432 markings/sec, 185 secs
lola: 7851751 markings, 60265950 edges, 31168 markings/sec, 190 secs
lola: 8008008 markings, 61649716 edges, 31251 markings/sec, 195 secs
lola: 8157195 markings, 63062566 edges, 29837 markings/sec, 200 secs
lola: 8314084 markings, 64485297 edges, 31378 markings/sec, 205 secs
lola: 8468324 markings, 65853145 edges, 30848 markings/sec, 210 secs
lola: 8616057 markings, 67223360 edges, 29547 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(T53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 381443 markings, 1820219 edges, 76289 markings/sec, 0 secs
lola: 701035 markings, 3634147 edges, 63918 markings/sec, 5 secs
lola: 1018132 markings, 5515123 edges, 63419 markings/sec, 10 secs
lola: 1306124 markings, 7321951 edges, 57598 markings/sec, 15 secs
lola: 1579360 markings, 9207104 edges, 54647 markings/sec, 20 secs
lola: 1833827 markings, 11002720 edges, 50893 markings/sec, 25 secs
lola: 2083876 markings, 12702534 edges, 50010 markings/sec, 30 secs
lola: 2317200 markings, 14514407 edges, 46665 markings/sec, 35 secs
lola: 2551956 markings, 16258278 edges, 46951 markings/sec, 40 secs
lola: 2802386 markings, 17897408 edges, 50086 markings/sec, 45 secs
lola: 3037130 markings, 19561692 edges, 46949 markings/sec, 50 secs
lola: 3260295 markings, 21223623 edges, 44633 markings/sec, 55 secs
lola: 3469421 markings, 22918588 edges, 41825 markings/sec, 60 secs
lola: 3682124 markings, 24545830 edges, 42541 markings/sec, 65 secs
lola: 3895802 markings, 26193314 edges, 42736 markings/sec, 70 secs
lola: 4101651 markings, 27888440 edges, 41170 markings/sec, 75 secs
lola: 4315353 markings, 29544840 edges, 42740 markings/sec, 80 secs
lola: 4539934 markings, 31159588 edges, 44916 markings/sec, 85 secs
lola: 4726342 markings, 32692752 edges, 37282 markings/sec, 90 secs
lola: 4928128 markings, 34291329 edges, 40357 markings/sec, 95 secs
lola: 5115746 markings, 35902122 edges, 37524 markings/sec, 100 secs
lola: 5295823 markings, 37486014 edges, 36015 markings/sec, 105 secs
lola: 5485591 markings, 39081036 edges, 37954 markings/sec, 110 secs
lola: 5678221 markings, 40710431 edges, 38526 markings/sec, 115 secs
lola: 5858868 markings, 42353388 edges, 36129 markings/sec, 120 secs
lola: 6031317 markings, 43971607 edges, 34490 markings/sec, 125 secs
lola: 6206756 markings, 45566140 edges, 35088 markings/sec, 130 secs
lola: 6378057 markings, 47092090 edges, 34260 markings/sec, 135 secs
lola: 6563135 markings, 48634996 edges, 37016 markings/sec, 140 secs
lola: 6760594 markings, 50313124 edges, 39492 markings/sec, 145 secs
lola: 6960742 markings, 51987974 edges, 40030 markings/sec, 150 secs
lola: 7146378 markings, 53636314 edges, 37127 markings/sec, 155 secs
lola: 7340873 markings, 55262514 edges, 38899 markings/sec, 160 secs
lola: 7536169 markings, 56879199 edges, 39059 markings/sec, 165 secs
lola: 7709964 markings, 58452216 edges, 34759 markings/sec, 170 secs
lola: 7889451 markings, 60092138 edges, 35897 markings/sec, 175 secs
lola: 8076411 markings, 61741159 edges, 37392 markings/sec, 180 secs
lola: 8265217 markings, 63257772 edges, 37761 markings/sec, 185 secs
lola: 8426676 markings, 64814139 edges, 32292 markings/sec, 190 secs
lola: 8600767 markings, 66498822 edges, 34818 markings/sec, 195 secs
lola: 8773695 markings, 68041607 edges, 34586 markings/sec, 200 secs
lola: 8936235 markings, 69505219 edges, 32508 markings/sec, 205 secs
lola: 9089430 markings, 70972245 edges, 30639 markings/sec, 210 secs
lola: 9265134 markings, 72463890 edges, 35141 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(T26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 371294 markings, 1816516 edges, 74259 markings/sec, 0 secs
lola: 671136 markings, 3619571 edges, 59968 markings/sec, 5 secs
lola: 970647 markings, 5507508 edges, 59902 markings/sec, 10 secs
lola: 1243431 markings, 7373773 edges, 54557 markings/sec, 15 secs
lola: 1503996 markings, 9167715 edges, 52113 markings/sec, 20 secs
lola: 1754808 markings, 10956195 edges, 50162 markings/sec, 25 secs
lola: 2023029 markings, 12811726 edges, 53644 markings/sec, 30 secs
lola: 2269712 markings, 14650816 edges, 49337 markings/sec, 35 secs
lola: 2515993 markings, 16460860 edges, 49256 markings/sec, 40 secs
lola: 2773549 markings, 18235220 edges, 51511 markings/sec, 45 secs
lola: 2993231 markings, 19935585 edges, 43936 markings/sec, 50 secs
lola: 3203275 markings, 21656167 edges, 42009 markings/sec, 55 secs
lola: 3426501 markings, 23415023 edges, 44645 markings/sec, 60 secs
lola: 3636348 markings, 25233540 edges, 41969 markings/sec, 65 secs
lola: 3835563 markings, 26987354 edges, 39843 markings/sec, 70 secs
lola: 4023434 markings, 28692384 edges, 37574 markings/sec, 75 secs
lola: 4216750 markings, 30422307 edges, 38663 markings/sec, 80 secs
lola: 4399107 markings, 32203998 edges, 36471 markings/sec, 85 secs
lola: 4629860 markings, 34071582 edges, 46151 markings/sec, 90 secs
lola: 4828557 markings, 35830897 edges, 39739 markings/sec, 95 secs
lola: 5029722 markings, 37640442 edges, 40233 markings/sec, 100 secs
lola: 5216694 markings, 39379059 edges, 37394 markings/sec, 105 secs
lola: 5400446 markings, 41080844 edges, 36750 markings/sec, 110 secs
lola: 5591261 markings, 42816809 edges, 38163 markings/sec, 115 secs
lola: 5775276 markings, 44577312 edges, 36803 markings/sec, 120 secs
lola: 5977928 markings, 46266704 edges, 40530 markings/sec, 125 secs
lola: 6148983 markings, 47925015 edges, 34211 markings/sec, 130 secs
lola: 6351729 markings, 49635073 edges, 40549 markings/sec, 135 secs
lola: 6544007 markings, 51264869 edges, 38456 markings/sec, 140 secs
lola: 6718345 markings, 52914321 edges, 34868 markings/sec, 145 secs
lola: 6895301 markings, 54565393 edges, 35391 markings/sec, 150 secs
lola: 7074955 markings, 56205723 edges, 35931 markings/sec, 155 secs
lola: 7241243 markings, 57832654 edges, 33258 markings/sec, 160 secs
lola: 7411558 markings, 59516629 edges, 34063 markings/sec, 165 secs
lola: 7605347 markings, 61172051 edges, 38758 markings/sec, 170 secs
lola: 7782322 markings, 62873509 edges, 35395 markings/sec, 175 secs
lola: 7987287 markings, 64597782 edges, 40993 markings/sec, 180 secs
lola: 8174430 markings, 66318766 edges, 37429 markings/sec, 185 secs
lola: 8359086 markings, 68047506 edges, 36931 markings/sec, 190 secs
lola: 8541829 markings, 69753196 edges, 36549 markings/sec, 195 secs
lola: 8730168 markings, 71467511 edges, 37668 markings/sec, 200 secs
lola: 8916195 markings, 73136241 edges, 37205 markings/sec, 205 secs
lola: 9104307 markings, 74827336 edges, 37622 markings/sec, 210 secs
lola: 9278243 markings, 76550464 edges, 34787 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(T52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 404024 markings, 1915227 edges, 80805 markings/sec, 0 secs
lola: 744823 markings, 3769467 edges, 68160 markings/sec, 5 secs
lola: 1048378 markings, 5620209 edges, 60711 markings/sec, 10 secs
lola: 1317358 markings, 7393910 edges, 53796 markings/sec, 15 secs
lola: 1601942 markings, 9148426 edges, 56917 markings/sec, 20 secs
lola: 1847016 markings, 10893166 edges, 49015 markings/sec, 25 secs
lola: 2098943 markings, 12611316 edges, 50385 markings/sec, 30 secs
lola: 2357876 markings, 14396913 edges, 51787 markings/sec, 35 secs
lola: 2612412 markings, 16128292 edges, 50907 markings/sec, 40 secs
lola: 2848829 markings, 17944254 edges, 47283 markings/sec, 45 secs
lola: 3072603 markings, 19722191 edges, 44755 markings/sec, 50 secs
lola: 3303623 markings, 21492058 edges, 46204 markings/sec, 55 secs
lola: 3521004 markings, 23224048 edges, 43476 markings/sec, 60 secs
lola: 3748459 markings, 24939930 edges, 45491 markings/sec, 65 secs
lola: 3962744 markings, 26665749 edges, 42857 markings/sec, 70 secs
lola: 4171944 markings, 28417717 edges, 41840 markings/sec, 75 secs
lola: 4377591 markings, 30170126 edges, 41129 markings/sec, 80 secs
lola: 4577767 markings, 31927923 edges, 40035 markings/sec, 85 secs
lola: 4801345 markings, 33579658 edges, 44716 markings/sec, 90 secs
lola: 5013393 markings, 35203837 edges, 42410 markings/sec, 95 secs
lola: 5228106 markings, 36908715 edges, 42943 markings/sec, 100 secs
lola: 5440058 markings, 38559696 edges, 42390 markings/sec, 105 secs
lola: 5636698 markings, 40216583 edges, 39328 markings/sec, 110 secs
lola: 5838211 markings, 41907682 edges, 40303 markings/sec, 115 secs
lola: 6032656 markings, 43568915 edges, 38889 markings/sec, 120 secs
lola: 6214488 markings, 45281391 edges, 36366 markings/sec, 125 secs
lola: 6396929 markings, 46892091 edges, 36488 markings/sec, 130 secs
lola: 6577107 markings, 48494728 edges, 36036 markings/sec, 135 secs
lola: 6770422 markings, 50133598 edges, 38663 markings/sec, 140 secs
lola: 6960976 markings, 51746723 edges, 38111 markings/sec, 145 secs
lola: 7141198 markings, 53368753 edges, 36044 markings/sec, 150 secs
lola: 7356732 markings, 55017427 edges, 43107 markings/sec, 155 secs
lola: 7566666 markings, 56731433 edges, 41987 markings/sec, 160 secs
lola: 7767833 markings, 58476286 edges, 40233 markings/sec, 165 secs
lola: 7962052 markings, 60191531 edges, 38844 markings/sec, 170 secs
lola: 8152190 markings, 61757738 edges, 38028 markings/sec, 175 secs
lola: 8348061 markings, 63462125 edges, 39174 markings/sec, 180 secs
lola: 8531567 markings, 65155365 edges, 36701 markings/sec, 185 secs
lola: 8713953 markings, 66898642 edges, 36477 markings/sec, 190 secs
lola: 8892499 markings, 68644196 edges, 35709 markings/sec, 195 secs
lola: 9077169 markings, 70337881 edges, 36934 markings/sec, 200 secs
lola: 9256074 markings, 72077500 edges, 35781 markings/sec, 205 secs
lola: 9435152 markings, 73772466 edges, 35816 markings/sec, 210 secs
lola: 9607685 markings, 75316276 edges, 34507 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(T53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 380396 markings, 1813722 edges, 76079 markings/sec, 0 secs
lola: 700139 markings, 3628393 edges, 63949 markings/sec, 5 secs
lola: 1020582 markings, 5530038 edges, 64089 markings/sec, 10 secs
lola: 1311794 markings, 7364445 edges, 58242 markings/sec, 15 secs
lola: 1587883 markings, 9277665 edges, 55218 markings/sec, 20 secs
lola: 1848724 markings, 11102909 edges, 52168 markings/sec, 25 secs
lola: 2104955 markings, 12855799 edges, 51246 markings/sec, 30 secs
lola: 2341245 markings, 14709409 edges, 47258 markings/sec, 35 secs
lola: 2583078 markings, 16494116 edges, 48367 markings/sec, 40 secs
lola: 2848311 markings, 18210613 edges, 53047 markings/sec, 45 secs
lola: 3089349 markings, 19944993 edges, 48208 markings/sec, 50 secs
lola: 3314537 markings, 21655751 edges, 45038 markings/sec, 55 secs
lola: 3531653 markings, 23387242 edges, 43423 markings/sec, 60 secs
lola: 3751876 markings, 25076462 edges, 44045 markings/sec, 65 secs
lola: 3973839 markings, 26831445 edges, 44393 markings/sec, 70 secs
lola: 4183995 markings, 28571382 edges, 42031 markings/sec, 75 secs
lola: 4424335 markings, 30256333 edges, 48068 markings/sec, 80 secs
lola: 4638014 markings, 31927483 edges, 42736 markings/sec, 85 secs
lola: 4842051 markings, 33562698 edges, 40807 markings/sec, 90 secs
lola: 5042649 markings, 35240532 edges, 40120 markings/sec, 95 secs
lola: 5228508 markings, 36913897 edges, 37172 markings/sec, 100 secs
lola: 5416719 markings, 38538047 edges, 37642 markings/sec, 105 secs
lola: 5617256 markings, 40219842 edges, 40107 markings/sec, 110 secs
lola: 5810943 markings, 41903500 edges, 38737 markings/sec, 115 secs
lola: 5991587 markings, 43589804 edges, 36129 markings/sec, 120 secs
lola: 6171151 markings, 45265001 edges, 35913 markings/sec, 125 secs
lola: 6354141 markings, 46876033 edges, 36598 markings/sec, 130 secs
lola: 6544603 markings, 48485269 edges, 38092 markings/sec, 135 secs
lola: 6750470 markings, 50230083 edges, 41173 markings/sec, 140 secs
lola: 6959501 markings, 51976559 edges, 41806 markings/sec, 145 secs
lola: 7154319 markings, 53712191 edges, 38964 markings/sec, 150 secs
lola: 7361288 markings, 55414221 edges, 41394 markings/sec, 155 secs
lola: 7563546 markings, 57123175 edges, 40452 markings/sec, 160 secs
lola: 7749072 markings, 58786827 edges, 37105 markings/sec, 165 secs
lola: 7934945 markings, 60489609 edges, 37175 markings/sec, 170 secs
lola: 8134270 markings, 62192703 edges, 39865 markings/sec, 175 secs
lola: 8327516 markings, 63847437 edges, 38649 markings/sec, 180 secs
lola: 8508603 markings, 65567328 edges, 36217 markings/sec, 185 secs
lola: 8686050 markings, 67274830 edges, 35489 markings/sec, 190 secs
lola: 8876398 markings, 68943981 edges, 38070 markings/sec, 195 secs
lola: 9052669 markings, 70594580 edges, 35254 markings/sec, 200 secs
lola: 9242883 markings, 72264680 edges, 38043 markings/sec, 205 secs
lola: 9424673 markings, 73951094 edges, 36358 markings/sec, 210 secs
lola: 9601009 markings, 75594193 edges, 35267 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(T42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 356628 markings, 1879769 edges, 71326 markings/sec, 0 secs
lola: 648640 markings, 3784021 edges, 58402 markings/sec, 5 secs
lola: 928510 markings, 5660195 edges, 55974 markings/sec, 10 secs
lola: 1188809 markings, 7500095 edges, 52060 markings/sec, 15 secs
lola: 1431795 markings, 9306055 edges, 48597 markings/sec, 20 secs
lola: 1666150 markings, 11121577 edges, 46871 markings/sec, 25 secs
lola: 1884051 markings, 12910244 edges, 43580 markings/sec, 30 secs
lola: 2142146 markings, 14775908 edges, 51619 markings/sec, 35 secs
lola: 2396699 markings, 16675283 edges, 50911 markings/sec, 40 secs
lola: 2597311 markings, 18464019 edges, 40122 markings/sec, 45 secs
lola: 2828269 markings, 20275335 edges, 46192 markings/sec, 50 secs
lola: 3031533 markings, 22082899 edges, 40653 markings/sec, 55 secs
lola: 3228299 markings, 23861213 edges, 39353 markings/sec, 60 secs
lola: 3438410 markings, 25654078 edges, 42022 markings/sec, 65 secs
lola: 3641467 markings, 27406277 edges, 40611 markings/sec, 70 secs
lola: 3844891 markings, 29211034 edges, 40685 markings/sec, 75 secs
lola: 4064550 markings, 31054532 edges, 43932 markings/sec, 80 secs
lola: 4304739 markings, 32855811 edges, 48038 markings/sec, 85 secs
lola: 4527392 markings, 34561937 edges, 44531 markings/sec, 90 secs
lola: 4723217 markings, 36311129 edges, 39165 markings/sec, 95 secs
lola: 4910413 markings, 38073208 edges, 37439 markings/sec, 100 secs
lola: 5083357 markings, 39790486 edges, 34589 markings/sec, 105 secs
lola: 5266104 markings, 41535160 edges, 36549 markings/sec, 110 secs
lola: 5472646 markings, 43328582 edges, 41308 markings/sec, 115 secs
lola: 5645861 markings, 45015913 edges, 34643 markings/sec, 120 secs
lola: 5848296 markings, 46694551 edges, 40487 markings/sec, 125 secs
lola: 6062764 markings, 48477149 edges, 42894 markings/sec, 130 secs
lola: 6269280 markings, 50238374 edges, 41303 markings/sec, 135 secs
lola: 6452371 markings, 51921465 edges, 36618 markings/sec, 140 secs
lola: 6694765 markings, 53695782 edges, 48479 markings/sec, 145 secs
lola: 6909965 markings, 55384203 edges, 43040 markings/sec, 150 secs
lola: 7102527 markings, 57026820 edges, 38512 markings/sec, 155 secs
lola: 7279326 markings, 58690981 edges, 35360 markings/sec, 160 secs
lola: 7454080 markings, 60325229 edges, 34951 markings/sec, 165 secs
lola: 7620450 markings, 61970966 edges, 33274 markings/sec, 170 secs
lola: 7789537 markings, 63617069 edges, 33817 markings/sec, 175 secs
lola: 7963148 markings, 65364019 edges, 34722 markings/sec, 180 secs
lola: 8156711 markings, 67063036 edges, 38713 markings/sec, 185 secs
lola: 8352904 markings, 68749978 edges, 39239 markings/sec, 190 secs
lola: 8547985 markings, 70423610 edges, 39016 markings/sec, 195 secs
lola: 8754822 markings, 72166484 edges, 41367 markings/sec, 200 secs
lola: 8951407 markings, 73924706 edges, 39317 markings/sec, 205 secs
lola: 9133686 markings, 75695024 edges, 36456 markings/sec, 210 secs
lola: 9316341 markings, 77412672 edges, 36531 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(F53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 377285 markings, 1795353 edges, 75457 markings/sec, 0 secs
lola: 699228 markings, 3620349 edges, 64389 markings/sec, 5 secs
lola: 1018841 markings, 5516613 edges, 63923 markings/sec, 10 secs
lola: 1308899 markings, 7339507 edges, 58012 markings/sec, 15 secs
lola: 1584072 markings, 9243945 edges, 55035 markings/sec, 20 secs
lola: 1843297 markings, 11062375 edges, 51845 markings/sec, 25 secs
lola: 2102736 markings, 12836125 edges, 51888 markings/sec, 30 secs
lola: 2340592 markings, 14701151 edges, 47571 markings/sec, 35 secs
lola: 2582095 markings, 16483225 edges, 48301 markings/sec, 40 secs
lola: 2843148 markings, 18172410 edges, 52211 markings/sec, 45 secs
lola: 3081732 markings, 19889065 edges, 47717 markings/sec, 50 secs
lola: 3307498 markings, 21592609 edges, 45153 markings/sec, 55 secs
lola: 3521535 markings, 23310345 edges, 42807 markings/sec, 60 secs
lola: 3738295 markings, 24967439 edges, 43352 markings/sec, 65 secs
lola: 3961389 markings, 26723722 edges, 44619 markings/sec, 70 secs
lola: 4172085 markings, 28478628 edges, 42139 markings/sec, 75 secs
lola: 4414000 markings, 30174957 edges, 48383 markings/sec, 80 secs
lola: 4627011 markings, 31840521 edges, 42602 markings/sec, 85 secs
lola: 4824682 markings, 33427885 edges, 39534 markings/sec, 90 secs
lola: 5021464 markings, 35063115 edges, 39356 markings/sec, 95 secs
lola: 5201899 markings, 36686872 edges, 36087 markings/sec, 100 secs
lola: 5386824 markings, 38268264 edges, 36985 markings/sec, 105 secs
lola: 5582766 markings, 39917340 edges, 39188 markings/sec, 110 secs
lola: 5773349 markings, 41558051 edges, 38117 markings/sec, 115 secs
lola: 5951800 markings, 43198903 edges, 35690 markings/sec, 120 secs
lola: 6126079 markings, 44844819 edges, 34856 markings/sec, 125 secs
lola: 6305186 markings, 46428774 edges, 35821 markings/sec, 130 secs
lola: 6479462 markings, 47949361 edges, 34855 markings/sec, 135 secs
lola: 6678617 markings, 49633918 edges, 39831 markings/sec, 140 secs
lola: 6888439 markings, 51337443 edges, 41964 markings/sec, 145 secs
lola: 7076940 markings, 53021891 edges, 37700 markings/sec, 150 secs
lola: 7268406 markings, 54683915 edges, 38293 markings/sec, 155 secs
lola: 7474756 markings, 56327521 edges, 41270 markings/sec, 160 secs
lola: 7656607 markings, 57954902 edges, 36370 markings/sec, 165 secs
lola: 7838058 markings, 59598149 edges, 36290 markings/sec, 170 secs
lola: 8021763 markings, 61238468 edges, 36741 markings/sec, 175 secs
lola: 8221187 markings, 62867718 edges, 39885 markings/sec, 180 secs
lola: 8394006 markings, 64501507 edges, 34564 markings/sec, 185 secs
lola: 8572696 markings, 66196529 edges, 35738 markings/sec, 190 secs
lola: 8749795 markings, 67815909 edges, 35420 markings/sec, 195 secs
lola: 8928236 markings, 69415384 edges, 35688 markings/sec, 200 secs
lola: 9094937 markings, 71020902 edges, 33340 markings/sec, 205 secs
lola: 9283494 markings, 72623810 edges, 37711 markings/sec, 210 secs
lola: 9458633 markings, 74258332 edges, 35028 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(T55)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 385962 markings, 1889307 edges, 77192 markings/sec, 0 secs
lola: 701761 markings, 3675575 edges, 63160 markings/sec, 5 secs
lola: 1006136 markings, 5425310 edges, 60875 markings/sec, 10 secs
lola: 1290847 markings, 7282114 edges, 56942 markings/sec, 15 secs
lola: 1560585 markings, 9041247 edges, 53948 markings/sec, 20 secs
lola: 1812359 markings, 10762044 edges, 50355 markings/sec, 25 secs
lola: 2056487 markings, 12594188 edges, 48826 markings/sec, 30 secs
lola: 2291114 markings, 14336811 edges, 46925 markings/sec, 35 secs
lola: 2549605 markings, 16123267 edges, 51698 markings/sec, 40 secs
lola: 2799896 markings, 17855702 edges, 50058 markings/sec, 45 secs
lola: 3029615 markings, 19620809 edges, 45944 markings/sec, 50 secs
lola: 3254091 markings, 21429571 edges, 44895 markings/sec, 55 secs
lola: 3481094 markings, 23209965 edges, 45401 markings/sec, 60 secs
lola: 3693761 markings, 24999550 edges, 42533 markings/sec, 65 secs
lola: 3906899 markings, 26837108 edges, 42628 markings/sec, 70 secs
lola: 4126146 markings, 28669793 edges, 43849 markings/sec, 75 secs
lola: 4374523 markings, 30331876 edges, 49675 markings/sec, 80 secs
lola: 4592398 markings, 31983469 edges, 43575 markings/sec, 85 secs
lola: 4810164 markings, 33700794 edges, 43553 markings/sec, 90 secs
lola: 5047402 markings, 35494692 edges, 47448 markings/sec, 95 secs
lola: 5272315 markings, 37251986 edges, 44983 markings/sec, 100 secs
lola: 5504921 markings, 39042701 edges, 46521 markings/sec, 105 secs
lola: 5714003 markings, 40811846 edges, 41816 markings/sec, 110 secs
lola: 5937464 markings, 42562455 edges, 44692 markings/sec, 115 secs
lola: 6147104 markings, 44332768 edges, 41928 markings/sec, 120 secs
lola: 6353370 markings, 46139358 edges, 41253 markings/sec, 125 secs
lola: 6566144 markings, 47919653 edges, 42555 markings/sec, 130 secs
lola: 6771812 markings, 49617991 edges, 41134 markings/sec, 135 secs
lola: 6960753 markings, 51301452 edges, 37788 markings/sec, 140 secs
lola: 7161884 markings, 53009283 edges, 40226 markings/sec, 145 secs
lola: 7356496 markings, 54744356 edges, 38922 markings/sec, 150 secs
lola: 7539086 markings, 56513211 edges, 36518 markings/sec, 155 secs
lola: 7727878 markings, 58289724 edges, 37758 markings/sec, 160 secs
lola: 7911292 markings, 60035589 edges, 36683 markings/sec, 165 secs
lola: 8095653 markings, 61624730 edges, 36872 markings/sec, 170 secs
lola: 8275912 markings, 63276142 edges, 36052 markings/sec, 175 secs
lola: 8457135 markings, 64958131 edges, 36245 markings/sec, 180 secs
lola: 8633118 markings, 66561766 edges, 35197 markings/sec, 185 secs
lola: 8808180 markings, 68162836 edges, 35012 markings/sec, 190 secs
lola: 9002130 markings, 69762562 edges, 38790 markings/sec, 195 secs
lola: 9181864 markings, 71369157 edges, 35947 markings/sec, 200 secs
lola: 9361909 markings, 72994177 edges, 36009 markings/sec, 205 secs
lola: 9533630 markings, 74665403 edges, 34344 markings/sec, 210 secs
lola: 9703916 markings, 76264881 edges, 34057 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(T43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 352828 markings, 1831023 edges, 70566 markings/sec, 0 secs
lola: 635599 markings, 3693976 edges, 56554 markings/sec, 5 secs
lola: 908661 markings, 5504027 edges, 54612 markings/sec, 10 secs
lola: 1150251 markings, 7285834 edges, 48318 markings/sec, 15 secs
lola: 1402458 markings, 9098620 edges, 50441 markings/sec, 20 secs
lola: 1630339 markings, 10894549 edges, 45576 markings/sec, 25 secs
lola: 1883560 markings, 12691302 edges, 50644 markings/sec, 30 secs
lola: 2135788 markings, 14552322 edges, 50446 markings/sec, 35 secs
lola: 2364701 markings, 16356165 edges, 45783 markings/sec, 40 secs
lola: 2601112 markings, 18161382 edges, 47282 markings/sec, 45 secs
lola: 2824010 markings, 19982081 edges, 44580 markings/sec, 50 secs
lola: 3040328 markings, 21814227 edges, 43264 markings/sec, 55 secs
lola: 3272246 markings, 23586801 edges, 46384 markings/sec, 60 secs
lola: 3472398 markings, 25329458 edges, 40030 markings/sec, 65 secs
lola: 3664157 markings, 27068694 edges, 38352 markings/sec, 70 secs
lola: 3880060 markings, 28812238 edges, 43181 markings/sec, 75 secs
lola: 4095087 markings, 30561193 edges, 43005 markings/sec, 80 secs
lola: 4296890 markings, 32258765 edges, 40361 markings/sec, 85 secs
lola: 4496307 markings, 34004277 edges, 39883 markings/sec, 90 secs
lola: 4707746 markings, 35704913 edges, 42288 markings/sec, 95 secs
lola: 4913149 markings, 37441338 edges, 41081 markings/sec, 100 secs
lola: 5115240 markings, 39214628 edges, 40418 markings/sec, 105 secs
lola: 5326031 markings, 40992850 edges, 42158 markings/sec, 110 secs
lola: 5541234 markings, 42735882 edges, 43041 markings/sec, 115 secs
lola: 5743223 markings, 44523749 edges, 40398 markings/sec, 120 secs
lola: 5939586 markings, 46344599 edges, 39273 markings/sec, 125 secs
lola: 6124832 markings, 48112464 edges, 37049 markings/sec, 130 secs
lola: 6319469 markings, 49882512 edges, 38927 markings/sec, 135 secs
lola: 6506888 markings, 51620698 edges, 37484 markings/sec, 140 secs
lola: 6696188 markings, 53335869 edges, 37860 markings/sec, 145 secs
lola: 6893696 markings, 55067247 edges, 39502 markings/sec, 150 secs
lola: 7074776 markings, 56803452 edges, 36216 markings/sec, 155 secs
lola: 7262303 markings, 58503702 edges, 37505 markings/sec, 160 secs
lola: 7448337 markings, 60172258 edges, 37207 markings/sec, 165 secs
lola: 7643587 markings, 61898823 edges, 39050 markings/sec, 170 secs
lola: 7833656 markings, 63577508 edges, 38014 markings/sec, 175 secs
lola: 8018710 markings, 65368667 edges, 37011 markings/sec, 180 secs
lola: 8185292 markings, 67096769 edges, 33316 markings/sec, 185 secs
lola: 8353762 markings, 68824742 edges, 33694 markings/sec, 190 secs
lola: 8559230 markings, 70616627 edges, 41094 markings/sec, 195 secs
lola: 8757683 markings, 72393990 edges, 39691 markings/sec, 200 secs
lola: 8956922 markings, 74083115 edges, 39848 markings/sec, 205 secs
lola: 9156119 markings, 75835357 edges, 39839 markings/sec, 210 secs
lola: 9410104 markings, 77733862 edges, 50797 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(F35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 381979 markings, 1852010 edges, 76396 markings/sec, 0 secs
lola: 695911 markings, 3743582 edges, 62786 markings/sec, 5 secs
lola: 981269 markings, 5559486 edges, 57072 markings/sec, 10 secs
lola: 1283388 markings, 7397022 edges, 60424 markings/sec, 15 secs
lola: 1557773 markings, 9232821 edges, 54877 markings/sec, 20 secs
lola: 1822173 markings, 11039748 edges, 52880 markings/sec, 25 secs
lola: 2065211 markings, 12871815 edges, 48608 markings/sec, 30 secs
lola: 2321549 markings, 14664339 edges, 51268 markings/sec, 35 secs
lola: 2565887 markings, 16495823 edges, 48868 markings/sec, 40 secs
lola: 2788477 markings, 18369696 edges, 44518 markings/sec, 45 secs
lola: 3028125 markings, 20164642 edges, 47930 markings/sec, 50 secs
lola: 3280570 markings, 22014848 edges, 50489 markings/sec, 55 secs
lola: 3512580 markings, 23882507 edges, 46402 markings/sec, 60 secs
lola: 3739085 markings, 25667874 edges, 45301 markings/sec, 65 secs
lola: 3967082 markings, 27428700 edges, 45599 markings/sec, 70 secs
lola: 4183717 markings, 29225223 edges, 43327 markings/sec, 75 secs
lola: 4402690 markings, 31028640 edges, 43795 markings/sec, 80 secs
lola: 4618584 markings, 32818317 edges, 43179 markings/sec, 85 secs
lola: 4825021 markings, 34614254 edges, 41287 markings/sec, 90 secs
lola: 5102367 markings, 36460197 edges, 55469 markings/sec, 95 secs
lola: 5349180 markings, 38292979 edges, 49363 markings/sec, 100 secs
lola: 5595892 markings, 40097907 edges, 49342 markings/sec, 105 secs
lola: 5839836 markings, 41875098 edges, 48789 markings/sec, 110 secs
lola: 6079763 markings, 43668019 edges, 47985 markings/sec, 115 secs
lola: 6312933 markings, 45522043 edges, 46634 markings/sec, 120 secs
lola: 6535882 markings, 47373600 edges, 44590 markings/sec, 125 secs
lola: 6738919 markings, 49204892 edges, 40607 markings/sec, 130 secs
lola: 6969590 markings, 51018630 edges, 46134 markings/sec, 135 secs
lola: 7197671 markings, 52852297 edges, 45616 markings/sec, 140 secs
lola: 7420058 markings, 54671341 edges, 44477 markings/sec, 145 secs
lola: 7626748 markings, 56467643 edges, 41338 markings/sec, 150 secs
lola: 7833324 markings, 58270423 edges, 41315 markings/sec, 155 secs
lola: 8037307 markings, 60140399 edges, 40797 markings/sec, 160 secs
lola: 8250326 markings, 61979485 edges, 42604 markings/sec, 165 secs
lola: 8449276 markings, 63851574 edges, 39790 markings/sec, 170 secs
lola: 8659135 markings, 65734036 edges, 41972 markings/sec, 175 secs
lola: 8869364 markings, 67543107 edges, 42046 markings/sec, 180 secs
lola: 9079782 markings, 69387019 edges, 42084 markings/sec, 185 secs
lola: 9270495 markings, 71227868 edges, 38143 markings/sec, 190 secs
lola: 9463591 markings, 72970367 edges, 38619 markings/sec, 195 secs
lola: 9654076 markings, 74775028 edges, 38097 markings/sec, 200 secs
lola: 9844004 markings, 76595881 edges, 37986 markings/sec, 205 secs
lola: 10018519 markings, 78401658 edges, 34903 markings/sec, 210 secs
lola: 10192498 markings, 80202201 edges, 34796 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(F33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 381430 markings, 1842323 edges, 76286 markings/sec, 0 secs
lola: 690368 markings, 3693701 edges, 61788 markings/sec, 5 secs
lola: 993659 markings, 5586445 edges, 60658 markings/sec, 10 secs
lola: 1266194 markings, 7437920 edges, 54507 markings/sec, 15 secs
lola: 1533962 markings, 9271957 edges, 53554 markings/sec, 20 secs
lola: 1840607 markings, 11108259 edges, 61329 markings/sec, 25 secs
lola: 2108444 markings, 12981014 edges, 53567 markings/sec, 30 secs
lola: 2368633 markings, 14832335 edges, 52038 markings/sec, 35 secs
lola: 2614073 markings, 16683443 edges, 49088 markings/sec, 40 secs
lola: 2848753 markings, 18526134 edges, 46936 markings/sec, 45 secs
lola: 3080394 markings, 20380115 edges, 46328 markings/sec, 50 secs
lola: 3319791 markings, 22244123 edges, 47879 markings/sec, 55 secs
lola: 3557038 markings, 24077719 edges, 47449 markings/sec, 60 secs
lola: 3806208 markings, 25897724 edges, 49834 markings/sec, 65 secs
lola: 4096319 markings, 27803521 edges, 58022 markings/sec, 70 secs
lola: 4358242 markings, 29683209 edges, 52385 markings/sec, 75 secs
lola: 4602402 markings, 31558525 edges, 48832 markings/sec, 80 secs
lola: 4830110 markings, 33430439 edges, 45542 markings/sec, 85 secs
lola: 5076032 markings, 35297086 edges, 49184 markings/sec, 90 secs
lola: 5307170 markings, 37117116 edges, 46228 markings/sec, 95 secs
lola: 5522454 markings, 38941298 edges, 43057 markings/sec, 100 secs
lola: 5753204 markings, 40803783 edges, 46150 markings/sec, 105 secs
lola: 5996671 markings, 42685991 edges, 48693 markings/sec, 110 secs
lola: 6233574 markings, 44542933 edges, 47381 markings/sec, 115 secs
lola: 6453260 markings, 46455075 edges, 43937 markings/sec, 120 secs
lola: 6661363 markings, 48354356 edges, 41621 markings/sec, 125 secs
lola: 6882301 markings, 50184833 edges, 44188 markings/sec, 130 secs
lola: 7103631 markings, 51995652 edges, 44266 markings/sec, 135 secs
lola: 7318856 markings, 53810596 edges, 43045 markings/sec, 140 secs
lola: 7532831 markings, 55623528 edges, 42795 markings/sec, 145 secs
lola: 7728671 markings, 57449966 edges, 39168 markings/sec, 150 secs
lola: 7916861 markings, 59243635 edges, 37638 markings/sec, 155 secs
lola: 8115641 markings, 61059876 edges, 39756 markings/sec, 160 secs
lola: 8296331 markings, 62846496 edges, 36138 markings/sec, 165 secs
lola: 8495222 markings, 64679598 edges, 39778 markings/sec, 170 secs
lola: 8699410 markings, 66507466 edges, 40838 markings/sec, 175 secs
lola: 8896784 markings, 68358521 edges, 39475 markings/sec, 180 secs
lola: 9094339 markings, 70215090 edges, 39511 markings/sec, 185 secs
lola: 9282880 markings, 72022008 edges, 37708 markings/sec, 190 secs
lola: 9478322 markings, 73822068 edges, 39088 markings/sec, 195 secs
lola: 9670389 markings, 75574538 edges, 38413 markings/sec, 200 secs
lola: 9858440 markings, 77369324 edges, 37610 markings/sec, 205 secs
lola: 10038409 markings, 79148448 edges, 35994 markings/sec, 210 secs
lola: 10220029 markings, 80926445 edges, 36324 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(T53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 381141 markings, 1818828 edges, 76228 markings/sec, 0 secs
lola: 704568 markings, 3653789 edges, 64685 markings/sec, 5 secs
lola: 1025031 markings, 5558384 edges, 64093 markings/sec, 10 secs
lola: 1314946 markings, 7388294 edges, 57983 markings/sec, 15 secs
lola: 1590238 markings, 9296196 edges, 55058 markings/sec, 20 secs
lola: 1849626 markings, 11108791 edges, 51878 markings/sec, 25 secs
lola: 2104109 markings, 12849300 edges, 50897 markings/sec, 30 secs
lola: 2339688 markings, 14698086 edges, 47116 markings/sec, 35 secs
lola: 2579866 markings, 16472770 edges, 48036 markings/sec, 40 secs
lola: 2841845 markings, 18167119 edges, 52396 markings/sec, 45 secs
lola: 3078394 markings, 19871542 edges, 47310 markings/sec, 50 secs
lola: 3301648 markings, 21553442 edges, 44651 markings/sec, 55 secs
lola: 3514822 markings, 23266577 edges, 42635 markings/sec, 60 secs
lola: 3729437 markings, 24901466 edges, 42923 markings/sec, 65 secs
lola: 3944945 markings, 26598082 edges, 43102 markings/sec, 70 secs
lola: 4149697 markings, 28308647 edges, 40950 markings/sec, 75 secs
lola: 4374295 markings, 29931175 edges, 44920 markings/sec, 80 secs
lola: 4591913 markings, 31576487 edges, 43524 markings/sec, 85 secs
lola: 4780037 markings, 33116821 edges, 37625 markings/sec, 90 secs
lola: 4984139 markings, 34760365 edges, 40820 markings/sec, 95 secs
lola: 5174351 markings, 36447050 edges, 38042 markings/sec, 100 secs
lola: 5363891 markings, 38082099 edges, 37908 markings/sec, 105 secs
lola: 5561298 markings, 39741266 edges, 39481 markings/sec, 110 secs
lola: 5754441 markings, 41390333 edges, 38629 markings/sec, 115 secs
lola: 5933555 markings, 43040383 edges, 35823 markings/sec, 120 secs
lola: 6111454 markings, 44710440 edges, 35580 markings/sec, 125 secs
lola: 6293854 markings, 46330635 edges, 36480 markings/sec, 130 secs
lola: 6469391 markings, 47868442 edges, 35107 markings/sec, 135 secs
lola: 6670915 markings, 49577644 edges, 40305 markings/sec, 140 secs
lola: 6884468 markings, 51311875 edges, 42711 markings/sec, 145 secs
lola: 7076800 markings, 53028242 edges, 38466 markings/sec, 150 secs
lola: 7272005 markings, 54722487 edges, 39041 markings/sec, 155 secs
lola: 7482709 markings, 56399430 edges, 42141 markings/sec, 160 secs
lola: 7666642 markings, 58055763 edges, 36787 markings/sec, 165 secs
lola: 7852611 markings, 59734558 edges, 37194 markings/sec, 170 secs
lola: 8043457 markings, 61432344 edges, 38169 markings/sec, 175 secs
lola: 8246104 markings, 63095932 edges, 40529 markings/sec, 180 secs
lola: 8422753 markings, 64775043 edges, 35330 markings/sec, 185 secs
lola: 8601881 markings, 66510962 edges, 35826 markings/sec, 190 secs
lola: 8786211 markings, 68154929 edges, 36866 markings/sec, 195 secs
lola: 8964463 markings, 69800444 edges, 35650 markings/sec, 200 secs
lola: 9150256 markings, 71477045 edges, 37159 markings/sec, 205 secs
lola: 9341232 markings, 73165692 edges, 38195 markings/sec, 210 secs
lola: 9518428 markings, 74833743 edges, 35439 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(F43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 355207 markings, 1842226 edges, 71041 markings/sec, 0 secs
lola: 638615 markings, 3711399 edges, 56682 markings/sec, 5 secs
lola: 914355 markings, 5541736 edges, 55148 markings/sec, 10 secs
lola: 1160181 markings, 7369040 edges, 49165 markings/sec, 15 secs
lola: 1420076 markings, 9226025 edges, 51979 markings/sec, 20 secs
lola: 1656834 markings, 11064815 edges, 47352 markings/sec, 25 secs
lola: 1915468 markings, 12904894 edges, 51727 markings/sec, 30 secs
lola: 2169199 markings, 14803520 edges, 50746 markings/sec, 35 secs
lola: 2402600 markings, 16644450 edges, 46680 markings/sec, 40 secs
lola: 2650840 markings, 18517131 edges, 49648 markings/sec, 45 secs
lola: 2873341 markings, 20359306 edges, 44500 markings/sec, 50 secs
lola: 3091887 markings, 22240943 edges, 43709 markings/sec, 55 secs
lola: 3327349 markings, 24028991 edges, 47092 markings/sec, 60 secs
lola: 3528194 markings, 25815781 edges, 40169 markings/sec, 65 secs
lola: 3721965 markings, 27593304 edges, 38754 markings/sec, 70 secs
lola: 3951543 markings, 29361618 edges, 45916 markings/sec, 75 secs
lola: 4164785 markings, 31128332 edges, 42648 markings/sec, 80 secs
lola: 4365207 markings, 32851304 edges, 40084 markings/sec, 85 secs
lola: 4567744 markings, 34613886 edges, 40507 markings/sec, 90 secs
lola: 4790599 markings, 36352814 edges, 44571 markings/sec, 95 secs
lola: 4989295 markings, 38143043 edges, 39739 markings/sec, 100 secs
lola: 5209875 markings, 39942797 edges, 44116 markings/sec, 105 secs
lola: 5412334 markings, 41729797 edges, 40492 markings/sec, 110 secs
lola: 5629706 markings, 43523406 edges, 43474 markings/sec, 115 secs
lola: 5837031 markings, 45343959 edges, 41465 markings/sec, 120 secs
lola: 6017046 markings, 47118144 edges, 36003 markings/sec, 125 secs
lola: 6216020 markings, 48898508 edges, 39795 markings/sec, 130 secs
lola: 6403818 markings, 50645511 edges, 37560 markings/sec, 135 secs
lola: 6590066 markings, 52377394 edges, 37250 markings/sec, 140 secs
lola: 6786377 markings, 54116095 edges, 39262 markings/sec, 145 secs
lola: 6979045 markings, 55874529 edges, 38534 markings/sec, 150 secs
lola: 7165338 markings, 57621412 edges, 37259 markings/sec, 155 secs
lola: 7357738 markings, 59325571 edges, 38480 markings/sec, 160 secs
lola: 7551956 markings, 61029014 edges, 38844 markings/sec, 165 secs
lola: 7741143 markings, 62715933 edges, 37837 markings/sec, 170 secs
lola: 7927107 markings, 64434463 edges, 37193 markings/sec, 175 secs
lola: 8096722 markings, 66188295 edges, 33923 markings/sec, 180 secs
lola: 8262186 markings, 67933292 edges, 33093 markings/sec, 185 secs
lola: 8466656 markings, 69723116 edges, 40894 markings/sec, 190 secs
lola: 8664618 markings, 71544918 edges, 39592 markings/sec, 195 secs
lola: 8857618 markings, 73269844 edges, 38600 markings/sec, 200 secs
lola: 9074776 markings, 75026265 edges, 43432 markings/sec, 205 secs
lola: 9296159 markings, 76865510 edges, 44277 markings/sec, 210 secs
lola: 9539058 markings, 78769586 edges, 48580 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 384217 markings, 1905121 edges, 76843 markings/sec, 0 secs
lola: 707184 markings, 3805802 edges, 64593 markings/sec, 5 secs
lola: 1003036 markings, 5731698 edges, 59170 markings/sec, 10 secs
lola: 1283017 markings, 7611874 edges, 55996 markings/sec, 15 secs
lola: 1537685 markings, 9428445 edges, 50934 markings/sec, 20 secs
lola: 1804504 markings, 11259663 edges, 53364 markings/sec, 25 secs
lola: 2069199 markings, 13153373 edges, 52939 markings/sec, 30 secs
lola: 2324036 markings, 15008387 edges, 50967 markings/sec, 35 secs
lola: 2552167 markings, 16774240 edges, 45626 markings/sec, 40 secs
lola: 2815698 markings, 18526089 edges, 52706 markings/sec, 45 secs
lola: 3050169 markings, 20357380 edges, 46894 markings/sec, 50 secs
lola: 3277639 markings, 22211005 edges, 45494 markings/sec, 55 secs
lola: 3505530 markings, 24082443 edges, 45578 markings/sec, 60 secs
lola: 3715422 markings, 25961541 edges, 41978 markings/sec, 65 secs
lola: 3924987 markings, 27780554 edges, 41913 markings/sec, 70 secs
lola: 4123262 markings, 29592935 edges, 39655 markings/sec, 75 secs
lola: 4324714 markings, 31424635 edges, 40290 markings/sec, 80 secs
lola: 4545548 markings, 33349536 edges, 44167 markings/sec, 85 secs
lola: 4754035 markings, 35135083 edges, 41697 markings/sec, 90 secs
lola: 4955684 markings, 36934316 edges, 40330 markings/sec, 95 secs
lola: 5150766 markings, 38763485 edges, 39016 markings/sec, 100 secs
lola: 5345302 markings, 40527506 edges, 38907 markings/sec, 105 secs
lola: 5541508 markings, 42333443 edges, 39241 markings/sec, 110 secs
lola: 5731540 markings, 44151505 edges, 38006 markings/sec, 115 secs
lola: 5935257 markings, 45933850 edges, 40743 markings/sec, 120 secs
lola: 6125391 markings, 47676518 edges, 38027 markings/sec, 125 secs
lola: 6333554 markings, 49468035 edges, 41633 markings/sec, 130 secs
lola: 6534756 markings, 51176806 edges, 40240 markings/sec, 135 secs
lola: 6718007 markings, 52910901 edges, 36650 markings/sec, 140 secs
lola: 6902743 markings, 54625971 edges, 36947 markings/sec, 145 secs
lola: 7092302 markings, 56356825 edges, 37912 markings/sec, 150 secs
lola: 7265605 markings, 58089404 edges, 34661 markings/sec, 155 secs
lola: 7451665 markings, 59847008 edges, 37212 markings/sec, 160 secs
lola: 7641989 markings, 61533931 edges, 38065 markings/sec, 165 secs
lola: 7834828 markings, 63264210 edges, 38568 markings/sec, 170 secs
lola: 8031003 markings, 65010761 edges, 39235 markings/sec, 175 secs
lola: 8221009 markings, 66759152 edges, 38001 markings/sec, 180 secs
lola: 8404294 markings, 68487937 edges, 36657 markings/sec, 185 secs
lola: 8592417 markings, 70216374 edges, 37625 markings/sec, 190 secs
lola: 8788857 markings, 71916081 edges, 39288 markings/sec, 195 secs
lola: 8973408 markings, 73620762 edges, 36910 markings/sec, 200 secs
lola: 9157043 markings, 75332703 edges, 36727 markings/sec, 205 secs
lola: 9331533 markings, 77086228 edges, 34898 markings/sec, 210 secs
lola: 9497785 markings, 78793113 edges, 33250 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(T26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 383078 markings, 1897377 edges, 76616 markings/sec, 0 secs
lola: 705310 markings, 3794520 edges, 64446 markings/sec, 5 secs
lola: 999901 markings, 5706734 edges, 58918 markings/sec, 10 secs
lola: 1281071 markings, 7598414 edges, 56234 markings/sec, 15 secs
lola: 1536292 markings, 9419182 edges, 51044 markings/sec, 20 secs
lola: 1800108 markings, 11232075 edges, 52763 markings/sec, 25 secs
lola: 2066588 markings, 13135091 edges, 53296 markings/sec, 30 secs
lola: 2324961 markings, 15014165 edges, 51675 markings/sec, 35 secs
lola: 2576903 markings, 16900278 edges, 50388 markings/sec, 40 secs
lola: 2843243 markings, 18715409 edges, 53268 markings/sec, 45 secs
lola: 3078351 markings, 20566838 edges, 47022 markings/sec, 50 secs
lola: 3308590 markings, 22456699 edges, 46048 markings/sec, 55 secs
lola: 3536140 markings, 24334582 edges, 45510 markings/sec, 60 secs
lola: 3747174 markings, 26236121 edges, 42207 markings/sec, 65 secs
lola: 3954950 markings, 28055410 edges, 41555 markings/sec, 70 secs
lola: 4157583 markings, 29896751 edges, 40527 markings/sec, 75 secs
lola: 4358689 markings, 31772775 edges, 40221 markings/sec, 80 secs
lola: 4588039 markings, 33713838 edges, 45870 markings/sec, 85 secs
lola: 4797917 markings, 35533408 edges, 41976 markings/sec, 90 secs
lola: 5003114 markings, 37389011 edges, 41039 markings/sec, 95 secs
lola: 5198868 markings, 39215053 edges, 39151 markings/sec, 100 secs
lola: 5394194 markings, 41014576 edges, 39065 markings/sec, 105 secs
lola: 5593926 markings, 42844879 edges, 39946 markings/sec, 110 secs
lola: 5788493 markings, 44705140 edges, 38913 markings/sec, 115 secs
lola: 6002940 markings, 46479358 edges, 42889 markings/sec, 120 secs
lola: 6183750 markings, 48260076 edges, 36162 markings/sec, 125 secs
lola: 6400155 markings, 50070070 edges, 43281 markings/sec, 130 secs
lola: 6605378 markings, 51819740 edges, 41045 markings/sec, 135 secs
lola: 6786926 markings, 53585499 edges, 36310 markings/sec, 140 secs
lola: 6982913 markings, 55332645 edges, 39197 markings/sec, 145 secs
lola: 7163909 markings, 57080006 edges, 36199 markings/sec, 150 secs
lola: 7340398 markings, 58842099 edges, 35298 markings/sec, 155 secs
lola: 7541641 markings, 60576614 edges, 40249 markings/sec, 160 secs
lola: 7715226 markings, 62265653 edges, 34717 markings/sec, 165 secs
lola: 7921230 markings, 64023774 edges, 41201 markings/sec, 170 secs
lola: 8111275 markings, 65742772 edges, 38009 markings/sec, 175 secs
lola: 8298204 markings, 67499244 edges, 37386 markings/sec, 180 secs
lola: 8482419 markings, 69200877 edges, 36843 markings/sec, 185 secs
lola: 8668918 markings, 70925489 edges, 37300 markings/sec, 190 secs
lola: 8865816 markings, 72605818 edges, 39380 markings/sec, 195 secs
lola: 9047376 markings, 74317770 edges, 36312 markings/sec, 200 secs
lola: 9225244 markings, 76070822 edges, 35574 markings/sec, 205 secs
lola: 9399694 markings, 77772643 edges, 34890 markings/sec, 210 secs
lola: 9566418 markings, 79476673 edges, 33345 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-SqrCT5x5-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494935161664

--------------------
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-SqrCT5x5"
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-SqrCT5x5.tgz
mv Solitaire-PT-SqrCT5x5 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-SqrCT5x5, 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-149441008300101"
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 ;