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

--------------------
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 1496559612573


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_Solitaire-PT-FrnCT7x7: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_Solitaire-PT-FrnCT7x7: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 396110 markings, 1555624 edges, 79222 markings/sec, 0 secs
lola: 737521 markings, 3154156 edges, 68282 markings/sec, 5 secs
lola: 1079774 markings, 4733126 edges, 68451 markings/sec, 10 secs
lola: 1411568 markings, 6326260 edges, 66359 markings/sec, 15 secs
lola: 1736557 markings, 7855051 edges, 64998 markings/sec, 20 secs
lola: 2040188 markings, 9412781 edges, 60726 markings/sec, 25 secs
lola: 2350885 markings, 11014600 edges, 62139 markings/sec, 30 secs
lola: 2655317 markings, 12603411 edges, 60886 markings/sec, 35 secs
lola: 2941534 markings, 14181122 edges, 57243 markings/sec, 40 secs
lola: 3210557 markings, 15783235 edges, 53805 markings/sec, 45 secs
lola: 3526000 markings, 17333461 edges, 63089 markings/sec, 50 secs
lola: 3826666 markings, 18896702 edges, 60133 markings/sec, 55 secs
lola: 4119073 markings, 20481136 edges, 58481 markings/sec, 60 secs
lola: 4407932 markings, 22070692 edges, 57772 markings/sec, 65 secs
lola: 4682839 markings, 23637699 edges, 54981 markings/sec, 70 secs
lola: 4969385 markings, 25197985 edges, 57309 markings/sec, 75 secs
lola: 5239554 markings, 26725653 edges, 54034 markings/sec, 80 secs
lola: 5496783 markings, 28290312 edges, 51446 markings/sec, 85 secs
lola: 5721024 markings, 29884511 edges, 44848 markings/sec, 90 secs
lola: 6001347 markings, 31471520 edges, 56065 markings/sec, 95 secs
lola: 6254887 markings, 33061523 edges, 50708 markings/sec, 100 secs
lola: 6511165 markings, 34607151 edges, 51256 markings/sec, 105 secs
lola: 6741351 markings, 36194205 edges, 46037 markings/sec, 110 secs
lola: 7056355 markings, 37674262 edges, 63001 markings/sec, 115 secs
lola: 7365706 markings, 39160606 edges, 61870 markings/sec, 120 secs
lola: 7696831 markings, 40720122 edges, 66225 markings/sec, 125 secs
lola: 7991695 markings, 42302273 edges, 58973 markings/sec, 130 secs
lola: 8292826 markings, 43876616 edges, 60226 markings/sec, 135 secs
lola: 8580552 markings, 45459195 edges, 57545 markings/sec, 140 secs
lola: 8873561 markings, 47059526 edges, 58602 markings/sec, 145 secs
lola: 9186982 markings, 48655953 edges, 62684 markings/sec, 150 secs
lola: 9493827 markings, 50233248 edges, 61369 markings/sec, 155 secs
lola: 9782042 markings, 51831992 edges, 57643 markings/sec, 160 secs
lola: 10050127 markings, 53409778 edges, 53617 markings/sec, 165 secs
lola: 10318411 markings, 55025720 edges, 53657 markings/sec, 170 secs
lola: 10568354 markings, 56612030 edges, 49989 markings/sec, 175 secs
lola: 10807022 markings, 58244198 edges, 47734 markings/sec, 180 secs
lola: 11055478 markings, 59825273 edges, 49691 markings/sec, 185 secs
lola: 11301859 markings, 61416423 edges, 49276 markings/sec, 190 secs
lola: 11522292 markings, 63043331 edges, 44087 markings/sec, 195 secs
lola: 11801223 markings, 64569687 edges, 55786 markings/sec, 200 secs
lola: 12063732 markings, 66115425 edges, 52502 markings/sec, 205 secs
lola: 12322702 markings, 67667155 edges, 51794 markings/sec, 210 secs
lola: 12572454 markings, 69219549 edges, 49950 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: 372483 markings, 1533239 edges, 74497 markings/sec, 0 secs
lola: 697877 markings, 3091741 edges, 65079 markings/sec, 5 secs
lola: 1060813 markings, 4619024 edges, 72587 markings/sec, 10 secs
lola: 1367494 markings, 6170869 edges, 61336 markings/sec, 15 secs
lola: 1691908 markings, 7726556 edges, 64883 markings/sec, 20 secs
lola: 2020589 markings, 9259873 edges, 65736 markings/sec, 25 secs
lola: 2319435 markings, 10788866 edges, 59769 markings/sec, 30 secs
lola: 2615587 markings, 12308258 edges, 59230 markings/sec, 35 secs
lola: 2914438 markings, 13815417 edges, 59770 markings/sec, 40 secs
lola: 3204921 markings, 15350752 edges, 58097 markings/sec, 45 secs
lola: 3473922 markings, 16854929 edges, 53800 markings/sec, 50 secs
lola: 3765248 markings, 18336886 edges, 58265 markings/sec, 55 secs
lola: 4039895 markings, 19869363 edges, 54929 markings/sec, 60 secs
lola: 4306860 markings, 21373995 edges, 53393 markings/sec, 65 secs
lola: 4568067 markings, 22844553 edges, 52241 markings/sec, 70 secs
lola: 4826343 markings, 24332158 edges, 51655 markings/sec, 75 secs
lola: 5077041 markings, 25833381 edges, 50140 markings/sec, 80 secs
lola: 5321952 markings, 27346731 edges, 48982 markings/sec, 85 secs
lola: 5598919 markings, 28829088 edges, 55393 markings/sec, 90 secs
lola: 5850563 markings, 30338664 edges, 50329 markings/sec, 95 secs
lola: 6098944 markings, 31871690 edges, 49676 markings/sec, 100 secs
lola: 6359541 markings, 33331745 edges, 52119 markings/sec, 105 secs
lola: 6595568 markings, 34827327 edges, 47205 markings/sec, 110 secs
lola: 6848769 markings, 36418434 edges, 50640 markings/sec, 115 secs
lola: 7121410 markings, 37963877 edges, 54528 markings/sec, 120 secs
lola: 7455647 markings, 39536455 edges, 66847 markings/sec, 125 secs
lola: 7765879 markings, 41112543 edges, 62046 markings/sec, 130 secs
lola: 8068874 markings, 42675951 edges, 60599 markings/sec, 135 secs
lola: 8356730 markings, 44291721 edges, 57571 markings/sec, 140 secs
lola: 8669167 markings, 45883460 edges, 62487 markings/sec, 145 secs
lola: 8955541 markings, 47494781 edges, 57275 markings/sec, 150 secs
lola: 9238643 markings, 49154535 edges, 56620 markings/sec, 155 secs
lola: 9515393 markings, 50756998 edges, 55350 markings/sec, 160 secs
lola: 9774447 markings, 52352315 edges, 51811 markings/sec, 165 secs
lola: 10047139 markings, 54006950 edges, 54538 markings/sec, 170 secs
lola: 10308205 markings, 55621993 edges, 52213 markings/sec, 175 secs
lola: 10585351 markings, 57144044 edges, 55429 markings/sec, 180 secs
lola: 10863735 markings, 58734387 edges, 55677 markings/sec, 185 secs
lola: 11100828 markings, 60321156 edges, 47419 markings/sec, 190 secs
lola: 11325451 markings, 61928008 edges, 44925 markings/sec, 195 secs
lola: 11570752 markings, 63503966 edges, 49060 markings/sec, 200 secs
lola: 11846477 markings, 65068658 edges, 55145 markings/sec, 205 secs
lola: 12096041 markings, 66627510 edges, 49913 markings/sec, 210 secs
lola: 12345637 markings, 68180885 edges, 49919 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: 387246 markings, 1508589 edges, 77449 markings/sec, 0 secs
lola: 740425 markings, 3051797 edges, 70636 markings/sec, 5 secs
lola: 1071966 markings, 4635436 edges, 66308 markings/sec, 10 secs
lola: 1412542 markings, 6174936 edges, 68115 markings/sec, 15 secs
lola: 1752735 markings, 7690596 edges, 68039 markings/sec, 20 secs
lola: 2091923 markings, 9194116 edges, 67838 markings/sec, 25 secs
lola: 2402817 markings, 10776768 edges, 62179 markings/sec, 30 secs
lola: 2682410 markings, 12436350 edges, 55919 markings/sec, 35 secs
lola: 2973047 markings, 14052998 edges, 58127 markings/sec, 40 secs
lola: 3308058 markings, 15621044 edges, 67002 markings/sec, 45 secs
lola: 3644527 markings, 17141340 edges, 67294 markings/sec, 50 secs
lola: 3962422 markings, 18714615 edges, 63579 markings/sec, 55 secs
lola: 4268114 markings, 20292616 edges, 61138 markings/sec, 60 secs
lola: 4586774 markings, 21826478 edges, 63732 markings/sec, 65 secs
lola: 4898870 markings, 23387493 edges, 62419 markings/sec, 70 secs
lola: 5204862 markings, 24905965 edges, 61198 markings/sec, 75 secs
lola: 5486320 markings, 26522248 edges, 56292 markings/sec, 80 secs
lola: 5786818 markings, 28098940 edges, 60100 markings/sec, 85 secs
lola: 6074344 markings, 29696051 edges, 57505 markings/sec, 90 secs
lola: 6390474 markings, 31224342 edges, 63226 markings/sec, 95 secs
lola: 6708763 markings, 32690668 edges, 63658 markings/sec, 100 secs
lola: 7008035 markings, 34205672 edges, 59854 markings/sec, 105 secs
lola: 7290752 markings, 35744836 edges, 56543 markings/sec, 110 secs
lola: 7580769 markings, 37283522 edges, 58003 markings/sec, 115 secs
lola: 7863225 markings, 38796944 edges, 56491 markings/sec, 120 secs
lola: 8136343 markings, 40339150 edges, 54624 markings/sec, 125 secs
lola: 8408846 markings, 41842434 edges, 54501 markings/sec, 130 secs
lola: 8680209 markings, 43386286 edges, 54273 markings/sec, 135 secs
lola: 8961583 markings, 44915557 edges, 56275 markings/sec, 140 secs
lola: 9226900 markings, 46437846 edges, 53063 markings/sec, 145 secs
lola: 9543548 markings, 47961588 edges, 63330 markings/sec, 150 secs
lola: 9842667 markings, 49392083 edges, 59824 markings/sec, 155 secs
lola: 10137284 markings, 50837349 edges, 58923 markings/sec, 160 secs
lola: 10410939 markings, 52310554 edges, 54731 markings/sec, 165 secs
lola: 10675024 markings, 53825250 edges, 52817 markings/sec, 170 secs
lola: 10968174 markings, 55342026 edges, 58630 markings/sec, 175 secs
lola: 11216297 markings, 56922911 edges, 49625 markings/sec, 180 secs
lola: 11496091 markings, 58418865 edges, 55959 markings/sec, 185 secs
lola: 11766041 markings, 59939082 edges, 53990 markings/sec, 190 secs
lola: 12063166 markings, 61393572 edges, 59425 markings/sec, 195 secs
lola: 12348314 markings, 62879940 edges, 57030 markings/sec, 200 secs
lola: 12623734 markings, 64370094 edges, 55084 markings/sec, 205 secs
lola: 12896183 markings, 65890670 edges, 54490 markings/sec, 210 secs
lola: 13157242 markings, 67428706 edges, 52212 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: 389607 markings, 1585474 edges, 77921 markings/sec, 0 secs
lola: 727639 markings, 3215539 edges, 67606 markings/sec, 5 secs
lola: 1075584 markings, 4784290 edges, 69589 markings/sec, 10 secs
lola: 1387444 markings, 6374216 edges, 62372 markings/sec, 15 secs
lola: 1692048 markings, 7913864 edges, 60921 markings/sec, 20 secs
lola: 2020582 markings, 9348497 edges, 65707 markings/sec, 25 secs
lola: 2321916 markings, 10787442 edges, 60267 markings/sec, 30 secs
lola: 2626007 markings, 12262237 edges, 60818 markings/sec, 35 secs
lola: 2922113 markings, 13744104 edges, 59221 markings/sec, 40 secs
lola: 3204107 markings, 15217750 edges, 56399 markings/sec, 45 secs
lola: 3471925 markings, 16688586 edges, 53564 markings/sec, 50 secs
lola: 3778323 markings, 18092847 edges, 61280 markings/sec, 55 secs
lola: 4070488 markings, 19475050 edges, 58433 markings/sec, 60 secs
lola: 4337262 markings, 20944501 edges, 53355 markings/sec, 65 secs
lola: 4638030 markings, 22407177 edges, 60154 markings/sec, 70 secs
lola: 4927597 markings, 23914892 edges, 57913 markings/sec, 75 secs
lola: 5202559 markings, 25370713 edges, 54992 markings/sec, 80 secs
lola: 5469993 markings, 26845013 edges, 53487 markings/sec, 85 secs
lola: 5740312 markings, 28323779 edges, 54064 markings/sec, 90 secs
lola: 5989923 markings, 29775066 edges, 49922 markings/sec, 95 secs
lola: 6267514 markings, 31218449 edges, 55518 markings/sec, 100 secs
lola: 6568957 markings, 32678174 edges, 60289 markings/sec, 105 secs
lola: 6862524 markings, 34163455 edges, 58713 markings/sec, 110 secs
lola: 7146713 markings, 35643828 edges, 56838 markings/sec, 115 secs
lola: 7415287 markings, 37169644 edges, 53715 markings/sec, 120 secs
lola: 7685903 markings, 38644093 edges, 54123 markings/sec, 125 secs
lola: 7945485 markings, 40047628 edges, 51916 markings/sec, 130 secs
lola: 8228056 markings, 41461001 edges, 56514 markings/sec, 135 secs
lola: 8509551 markings, 42954319 edges, 56299 markings/sec, 140 secs
lola: 8787534 markings, 44422465 edges, 55597 markings/sec, 145 secs
lola: 9066419 markings, 45756313 edges, 55777 markings/sec, 150 secs
lola: 9329948 markings, 47161464 edges, 52706 markings/sec, 155 secs
lola: 9569648 markings, 48589950 edges, 47940 markings/sec, 160 secs
lola: 9822545 markings, 49992419 edges, 50579 markings/sec, 165 secs
lola: 10075836 markings, 51484752 edges, 50658 markings/sec, 170 secs
lola: 10326565 markings, 52927187 edges, 50146 markings/sec, 175 secs
lola: 10584762 markings, 54401259 edges, 51639 markings/sec, 180 secs
lola: 10837563 markings, 55893648 edges, 50560 markings/sec, 185 secs
lola: 11076957 markings, 57361840 edges, 47879 markings/sec, 190 secs
lola: 11337127 markings, 58668261 edges, 52034 markings/sec, 195 secs
lola: 11574929 markings, 60015335 edges, 47560 markings/sec, 200 secs
lola: 11816001 markings, 61415906 edges, 48214 markings/sec, 205 secs
lola: 12041425 markings, 62881487 edges, 45085 markings/sec, 210 secs
lola: 12259938 markings, 64381046 edges, 43703 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: 395654 markings, 1524439 edges, 79131 markings/sec, 0 secs
lola: 754955 markings, 3029527 edges, 71860 markings/sec, 5 secs
lola: 1089157 markings, 4557758 edges, 66840 markings/sec, 10 secs
lola: 1411968 markings, 6127455 edges, 64562 markings/sec, 15 secs
lola: 1747072 markings, 7639739 edges, 67021 markings/sec, 20 secs
lola: 2060878 markings, 9123328 edges, 62761 markings/sec, 25 secs
lola: 2365043 markings, 10621444 edges, 60833 markings/sec, 30 secs
lola: 2661922 markings, 12091233 edges, 59376 markings/sec, 35 secs
lola: 2945789 markings, 13592886 edges, 56773 markings/sec, 40 secs
lola: 3224379 markings, 15113717 edges, 55718 markings/sec, 45 secs
lola: 3500132 markings, 16586603 edges, 55151 markings/sec, 50 secs
lola: 3781645 markings, 18042521 edges, 56303 markings/sec, 55 secs
lola: 4050201 markings, 19486540 edges, 53711 markings/sec, 60 secs
lola: 4316588 markings, 20966005 edges, 53277 markings/sec, 65 secs
lola: 4599057 markings, 22429284 edges, 56494 markings/sec, 70 secs
lola: 4914958 markings, 23881275 edges, 63180 markings/sec, 75 secs
lola: 5210437 markings, 25330885 edges, 59096 markings/sec, 80 secs
lola: 5501132 markings, 26838498 edges, 58139 markings/sec, 85 secs
lola: 5792269 markings, 28352935 edges, 58227 markings/sec, 90 secs
lola: 6071576 markings, 29887384 edges, 55861 markings/sec, 95 secs
lola: 6339210 markings, 31409325 edges, 53527 markings/sec, 100 secs
lola: 6630181 markings, 32807061 edges, 58194 markings/sec, 105 secs
lola: 6904612 markings, 34232830 edges, 54886 markings/sec, 110 secs
lola: 7173296 markings, 35642237 edges, 53737 markings/sec, 115 secs
lola: 7438599 markings, 37053370 edges, 53061 markings/sec, 120 secs
lola: 7683232 markings, 38496810 edges, 48927 markings/sec, 125 secs
lola: 7941545 markings, 39887629 edges, 51663 markings/sec, 130 secs
lola: 8198267 markings, 41315880 edges, 51344 markings/sec, 135 secs
lola: 8443127 markings, 42762325 edges, 48972 markings/sec, 140 secs
lola: 8688081 markings, 44196070 edges, 48991 markings/sec, 145 secs
lola: 8933907 markings, 45668249 edges, 49165 markings/sec, 150 secs
lola: 9175860 markings, 47182469 edges, 48391 markings/sec, 155 secs
lola: 9417354 markings, 48696333 edges, 48299 markings/sec, 160 secs
lola: 9658751 markings, 50181262 edges, 48279 markings/sec, 165 secs
lola: 9921620 markings, 51594720 edges, 52574 markings/sec, 170 secs
lola: 10175884 markings, 53009365 edges, 50853 markings/sec, 175 secs
lola: 10426959 markings, 54423689 edges, 50215 markings/sec, 180 secs
lola: 10675805 markings, 55869172 edges, 49769 markings/sec, 185 secs
lola: 10918613 markings, 57327070 edges, 48562 markings/sec, 190 secs
lola: 11151896 markings, 58712665 edges, 46657 markings/sec, 195 secs
lola: 11380734 markings, 60085447 edges, 45768 markings/sec, 200 secs
lola: 11606680 markings, 61483531 edges, 45189 markings/sec, 205 secs
lola: 11850231 markings, 62890839 edges, 48710 markings/sec, 210 secs
lola: 12071960 markings, 64278797 edges, 44346 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: 404598 markings, 1533341 edges, 80920 markings/sec, 0 secs
lola: 757411 markings, 3109021 edges, 70563 markings/sec, 5 secs
lola: 1099046 markings, 4654719 edges, 68327 markings/sec, 10 secs
lola: 1428778 markings, 6179189 edges, 65946 markings/sec, 15 secs
lola: 1720682 markings, 7746721 edges, 58381 markings/sec, 20 secs
lola: 2045059 markings, 9319141 edges, 64875 markings/sec, 25 secs
lola: 2398961 markings, 10871813 edges, 70780 markings/sec, 30 secs
lola: 2741633 markings, 12417648 edges, 68534 markings/sec, 35 secs
lola: 3052049 markings, 13992642 edges, 62083 markings/sec, 40 secs
lola: 3355720 markings, 15577207 edges, 60734 markings/sec, 45 secs
lola: 3664138 markings, 17130072 edges, 61684 markings/sec, 50 secs
lola: 3969188 markings, 18653870 edges, 61010 markings/sec, 55 secs
lola: 4274862 markings, 20201308 edges, 61135 markings/sec, 60 secs
lola: 4570526 markings, 21752693 edges, 59133 markings/sec, 65 secs
lola: 4842773 markings, 23327055 edges, 54449 markings/sec, 70 secs
lola: 5115354 markings, 24851745 edges, 54516 markings/sec, 75 secs
lola: 5381896 markings, 26425442 edges, 53308 markings/sec, 80 secs
lola: 5642803 markings, 27993451 edges, 52181 markings/sec, 85 secs
lola: 5951358 markings, 29543152 edges, 61711 markings/sec, 90 secs
lola: 6232612 markings, 31075081 edges, 56251 markings/sec, 95 secs
lola: 6530920 markings, 32620395 edges, 59662 markings/sec, 100 secs
lola: 6796820 markings, 34191309 edges, 53180 markings/sec, 105 secs
lola: 7055292 markings, 35775695 edges, 51694 markings/sec, 110 secs
lola: 7307225 markings, 37316836 edges, 50387 markings/sec, 115 secs
lola: 7554170 markings, 38908812 edges, 49389 markings/sec, 120 secs
lola: 7795342 markings, 40471477 edges, 48234 markings/sec, 125 secs
lola: 8061234 markings, 42013377 edges, 53178 markings/sec, 130 secs
lola: 8313131 markings, 43538250 edges, 50379 markings/sec, 135 secs
lola: 8550181 markings, 45051445 edges, 47410 markings/sec, 140 secs
lola: 8795460 markings, 46606033 edges, 49056 markings/sec, 145 secs
lola: 9043531 markings, 48126969 edges, 49614 markings/sec, 150 secs
lola: 9274675 markings, 49670939 edges, 46229 markings/sec, 155 secs
lola: 9498355 markings, 51192125 edges, 44736 markings/sec, 160 secs
lola: 9712798 markings, 52714885 edges, 42889 markings/sec, 165 secs
lola: 10028490 markings, 54204847 edges, 63138 markings/sec, 170 secs
lola: 10358942 markings, 55700590 edges, 66090 markings/sec, 175 secs
lola: 10666394 markings, 57222267 edges, 61490 markings/sec, 180 secs
lola: 10974608 markings, 58745663 edges, 61643 markings/sec, 185 secs
lola: 11281749 markings, 60290127 edges, 61428 markings/sec, 190 secs
lola: 11563181 markings, 61850459 edges, 56286 markings/sec, 195 secs
lola: 11834026 markings, 63375903 edges, 54169 markings/sec, 200 secs
lola: 12116830 markings, 64930698 edges, 56561 markings/sec, 205 secs
lola: 12360545 markings, 66489033 edges, 48743 markings/sec, 210 secs
lola: 12604623 markings, 68091454 edges, 48816 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: 390210 markings, 1482280 edges, 78042 markings/sec, 0 secs
lola: 751145 markings, 2997273 edges, 72187 markings/sec, 5 secs
lola: 1081198 markings, 4544597 edges, 66011 markings/sec, 10 secs
lola: 1389111 markings, 6077426 edges, 61583 markings/sec, 15 secs
lola: 1677474 markings, 7590871 edges, 57673 markings/sec, 20 secs
lola: 2000853 markings, 9084940 edges, 64676 markings/sec, 25 secs
lola: 2312817 markings, 10592497 edges, 62393 markings/sec, 30 secs
lola: 2633692 markings, 12154301 edges, 64175 markings/sec, 35 secs
lola: 2936623 markings, 13677579 edges, 60586 markings/sec, 40 secs
lola: 3248330 markings, 15162923 edges, 62341 markings/sec, 45 secs
lola: 3550792 markings, 16649131 edges, 60492 markings/sec, 50 secs
lola: 3841655 markings, 18176302 edges, 58173 markings/sec, 55 secs
lola: 4135719 markings, 19697012 edges, 58813 markings/sec, 60 secs
lola: 4415392 markings, 21213615 edges, 55935 markings/sec, 65 secs
lola: 4729530 markings, 22724794 edges, 62828 markings/sec, 70 secs
lola: 5031075 markings, 24292715 edges, 60309 markings/sec, 75 secs
lola: 5307946 markings, 25846943 edges, 55374 markings/sec, 80 secs
lola: 5602436 markings, 27396536 edges, 58898 markings/sec, 85 secs
lola: 5894251 markings, 28940709 edges, 58363 markings/sec, 90 secs
lola: 6180088 markings, 30477046 edges, 57167 markings/sec, 95 secs
lola: 6454628 markings, 32002374 edges, 54908 markings/sec, 100 secs
lola: 6738448 markings, 33479788 edges, 56764 markings/sec, 105 secs
lola: 7010007 markings, 34955928 edges, 54312 markings/sec, 110 secs
lola: 7252246 markings, 36454009 edges, 48448 markings/sec, 115 secs
lola: 7523904 markings, 37941930 edges, 54332 markings/sec, 120 secs
lola: 7777659 markings, 39450280 edges, 50751 markings/sec, 125 secs
lola: 8027680 markings, 40974873 edges, 50004 markings/sec, 130 secs
lola: 8294102 markings, 42472204 edges, 53284 markings/sec, 135 secs
lola: 8540606 markings, 43984803 edges, 49301 markings/sec, 140 secs
lola: 8751162 markings, 45501649 edges, 42111 markings/sec, 145 secs
lola: 9084095 markings, 47023800 edges, 66587 markings/sec, 150 secs
lola: 9397343 markings, 48560521 edges, 62650 markings/sec, 155 secs
lola: 9703833 markings, 50087767 edges, 61298 markings/sec, 160 secs
lola: 9987404 markings, 51648712 edges, 56714 markings/sec, 165 secs
lola: 10271598 markings, 53139581 edges, 56839 markings/sec, 170 secs
lola: 10572284 markings, 54653924 edges, 60137 markings/sec, 175 secs
lola: 10857728 markings, 56198816 edges, 57089 markings/sec, 180 secs
lola: 11162045 markings, 57760282 edges, 60863 markings/sec, 185 secs
lola: 11430176 markings, 59305125 edges, 53626 markings/sec, 190 secs
lola: 11704874 markings, 60804536 edges, 54940 markings/sec, 195 secs
lola: 11996370 markings, 62343245 edges, 58299 markings/sec, 200 secs
lola: 12262245 markings, 63896231 edges, 53175 markings/sec, 205 secs
lola: 12520256 markings, 65394164 edges, 51602 markings/sec, 210 secs
lola: 12779845 markings, 66929663 edges, 51918 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: 400064 markings, 1518882 edges, 80013 markings/sec, 0 secs
lola: 759195 markings, 3071020 edges, 71826 markings/sec, 5 secs
lola: 1091650 markings, 4670986 edges, 66491 markings/sec, 10 secs
lola: 1410423 markings, 6279964 edges, 63755 markings/sec, 15 secs
lola: 1729615 markings, 7851793 edges, 63838 markings/sec, 20 secs
lola: 2066416 markings, 9399782 edges, 67360 markings/sec, 25 secs
lola: 2396270 markings, 10961113 edges, 65971 markings/sec, 30 secs
lola: 2709124 markings, 12567706 edges, 62571 markings/sec, 35 secs
lola: 3032150 markings, 14154296 edges, 64605 markings/sec, 40 secs
lola: 3357739 markings, 15712207 edges, 65118 markings/sec, 45 secs
lola: 3667651 markings, 17313082 edges, 61982 markings/sec, 50 secs
lola: 3961326 markings, 18958505 edges, 58735 markings/sec, 55 secs
lola: 4247972 markings, 20604791 edges, 57329 markings/sec, 60 secs
lola: 4543420 markings, 22244074 edges, 59090 markings/sec, 65 secs
lola: 4847203 markings, 23799024 edges, 60757 markings/sec, 70 secs
lola: 5129566 markings, 25427984 edges, 56473 markings/sec, 75 secs
lola: 5403983 markings, 27076938 edges, 54883 markings/sec, 80 secs
lola: 5683891 markings, 28678913 edges, 55982 markings/sec, 85 secs
lola: 5957798 markings, 30282074 edges, 54781 markings/sec, 90 secs
lola: 6232833 markings, 31853914 edges, 55007 markings/sec, 95 secs
lola: 6547405 markings, 33392901 edges, 62914 markings/sec, 100 secs
lola: 6862489 markings, 34939762 edges, 63017 markings/sec, 105 secs
lola: 7157335 markings, 36491939 edges, 58969 markings/sec, 110 secs
lola: 7466488 markings, 38021749 edges, 61831 markings/sec, 115 secs
lola: 7777876 markings, 39583388 edges, 62278 markings/sec, 120 secs
lola: 8056431 markings, 41162666 edges, 55711 markings/sec, 125 secs
lola: 8361523 markings, 42715553 edges, 61018 markings/sec, 130 secs
lola: 8647373 markings, 44270525 edges, 57170 markings/sec, 135 secs
lola: 8918281 markings, 45839622 edges, 54182 markings/sec, 140 secs
lola: 9193284 markings, 47431982 edges, 55001 markings/sec, 145 secs
lola: 9487904 markings, 49016491 edges, 58924 markings/sec, 150 secs
lola: 9768124 markings, 50620894 edges, 56044 markings/sec, 155 secs
lola: 10037614 markings, 52206958 edges, 53898 markings/sec, 160 secs
lola: 10324189 markings, 53757353 edges, 57315 markings/sec, 165 secs
lola: 10616886 markings, 55331226 edges, 58539 markings/sec, 170 secs
lola: 10895903 markings, 56959666 edges, 55803 markings/sec, 175 secs
lola: 11159961 markings, 58592163 edges, 52812 markings/sec, 180 secs
lola: 11433365 markings, 60209171 edges, 54681 markings/sec, 185 secs
lola: 11729762 markings, 61781064 edges, 59279 markings/sec, 190 secs
lola: 12009409 markings, 63375398 edges, 55929 markings/sec, 195 secs
lola: 12259950 markings, 65037662 edges, 50108 markings/sec, 200 secs
lola: 12520148 markings, 66647809 edges, 52040 markings/sec, 205 secs
lola: 12773645 markings, 68299254 edges, 50699 markings/sec, 210 secs
lola: 13047282 markings, 69842423 edges, 54727 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: 399489 markings, 1512530 edges, 79898 markings/sec, 0 secs
lola: 751730 markings, 3084206 edges, 70448 markings/sec, 5 secs
lola: 1091986 markings, 4622916 edges, 68051 markings/sec, 10 secs
lola: 1419121 markings, 6133538 edges, 65427 markings/sec, 15 secs
lola: 1709134 markings, 7686259 edges, 58003 markings/sec, 20 secs
lola: 2027777 markings, 9253323 edges, 63729 markings/sec, 25 secs
lola: 2378275 markings, 10799174 edges, 70100 markings/sec, 30 secs
lola: 2725099 markings, 12335523 edges, 69365 markings/sec, 35 secs
lola: 3034429 markings, 13908330 edges, 61866 markings/sec, 40 secs
lola: 3339004 markings, 15485349 edges, 60915 markings/sec, 45 secs
lola: 3643519 markings, 17044608 edges, 60903 markings/sec, 50 secs
lola: 3951632 markings, 18563938 edges, 61623 markings/sec, 55 secs
lola: 4260256 markings, 20104769 edges, 61725 markings/sec, 60 secs
lola: 4554130 markings, 21665271 edges, 58775 markings/sec, 65 secs
lola: 4829537 markings, 23236016 edges, 55081 markings/sec, 70 secs
lola: 5100525 markings, 24766554 edges, 54198 markings/sec, 75 secs
lola: 5366877 markings, 26337215 edges, 53270 markings/sec, 80 secs
lola: 5625425 markings, 27917389 edges, 51710 markings/sec, 85 secs
lola: 5940039 markings, 29484430 edges, 62923 markings/sec, 90 secs
lola: 6222758 markings, 31032894 edges, 56544 markings/sec, 95 secs
lola: 6525511 markings, 32592144 edges, 60551 markings/sec, 100 secs
lola: 6794300 markings, 34174800 edges, 53758 markings/sec, 105 secs
lola: 7052888 markings, 35758867 edges, 51718 markings/sec, 110 secs
lola: 7302622 markings, 37292062 edges, 49947 markings/sec, 115 secs
lola: 7548283 markings, 38863441 edges, 49132 markings/sec, 120 secs
lola: 7783007 markings, 40401700 edges, 46945 markings/sec, 125 secs
lola: 8044316 markings, 41920642 edges, 52262 markings/sec, 130 secs
lola: 8294543 markings, 43420755 edges, 50045 markings/sec, 135 secs
lola: 8529271 markings, 44912498 edges, 46946 markings/sec, 140 secs
lola: 8767683 markings, 46442332 edges, 47682 markings/sec, 145 secs
lola: 9014834 markings, 47939939 edges, 49430 markings/sec, 150 secs
lola: 9242387 markings, 49454819 edges, 45511 markings/sec, 155 secs
lola: 9465884 markings, 50951042 edges, 44699 markings/sec, 160 secs
lola: 9677156 markings, 52464088 edges, 42254 markings/sec, 165 secs
lola: 9967173 markings, 53943275 edges, 58003 markings/sec, 170 secs
lola: 10303950 markings, 55435451 edges, 67355 markings/sec, 175 secs
lola: 10609330 markings, 56939557 edges, 61076 markings/sec, 180 secs
lola: 10911751 markings, 58439685 edges, 60484 markings/sec, 185 secs
lola: 11222616 markings, 59984383 edges, 62173 markings/sec, 190 secs
lola: 11505882 markings, 61531651 edges, 56653 markings/sec, 195 secs
lola: 11776959 markings, 63050146 edges, 54215 markings/sec, 200 secs
lola: 12056437 markings, 64575526 edges, 55896 markings/sec, 205 secs
lola: 12306980 markings, 66126178 edges, 50109 markings/sec, 210 secs
lola: 12547370 markings, 67697561 edges, 48078 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: 390089 markings, 1587520 edges, 78018 markings/sec, 0 secs
lola: 731534 markings, 3238519 edges, 68289 markings/sec, 5 secs
lola: 1083642 markings, 4822298 edges, 70422 markings/sec, 10 secs
lola: 1398654 markings, 6432593 edges, 63002 markings/sec, 15 secs
lola: 1710832 markings, 7995728 edges, 62436 markings/sec, 20 secs
lola: 2046541 markings, 9458248 edges, 67142 markings/sec, 25 secs
lola: 2350190 markings, 10932126 edges, 60730 markings/sec, 30 secs
lola: 2661013 markings, 12428145 edges, 62165 markings/sec, 35 secs
lola: 2962294 markings, 13939034 edges, 60256 markings/sec, 40 secs
lola: 3244832 markings, 15449223 edges, 56508 markings/sec, 45 secs
lola: 3524469 markings, 16921806 edges, 55927 markings/sec, 50 secs
lola: 3836659 markings, 18354764 edges, 62438 markings/sec, 55 secs
lola: 4119441 markings, 19771900 edges, 56556 markings/sec, 60 secs
lola: 4405698 markings, 21258053 edges, 57251 markings/sec, 65 secs
lola: 4711988 markings, 22764815 edges, 61258 markings/sec, 70 secs
lola: 5000279 markings, 24281625 edges, 57658 markings/sec, 75 secs
lola: 5275255 markings, 25770661 edges, 54995 markings/sec, 80 secs
lola: 5546914 markings, 27262155 edges, 54332 markings/sec, 85 secs
lola: 5816141 markings, 28738511 edges, 53845 markings/sec, 90 secs
lola: 6063100 markings, 30237848 edges, 49392 markings/sec, 95 secs
lola: 6363329 markings, 31681557 edges, 60046 markings/sec, 100 secs
lola: 6667776 markings, 33170423 edges, 60889 markings/sec, 105 secs
lola: 6958314 markings, 34657463 edges, 58108 markings/sec, 110 secs
lola: 7240233 markings, 36187291 edges, 56384 markings/sec, 115 secs
lola: 7506364 markings, 37752964 edges, 53226 markings/sec, 120 secs
lola: 7776447 markings, 39171391 edges, 54017 markings/sec, 125 secs
lola: 8045219 markings, 40601170 edges, 53754 markings/sec, 130 secs
lola: 8336312 markings, 42024527 edges, 58219 markings/sec, 135 secs
lola: 8614270 markings, 43546154 edges, 55592 markings/sec, 140 secs
lola: 8898925 markings, 44955835 edges, 56931 markings/sec, 145 secs
lola: 9167790 markings, 46293069 edges, 53773 markings/sec, 150 secs
lola: 9428298 markings, 47767560 edges, 52102 markings/sec, 155 secs
lola: 9668901 markings, 49153081 edges, 48121 markings/sec, 160 secs
lola: 9917029 markings, 50616938 edges, 49626 markings/sec, 165 secs
lola: 10178851 markings, 52067444 edges, 52364 markings/sec, 170 secs
lola: 10435491 markings, 53519336 edges, 51328 markings/sec, 175 secs
lola: 10687835 markings, 54997336 edges, 50469 markings/sec, 180 secs
lola: 10934639 markings, 56506843 edges, 49361 markings/sec, 185 secs
lola: 11183494 markings, 57894885 edges, 49771 markings/sec, 190 secs
lola: 11434320 markings, 59208535 edges, 50165 markings/sec, 195 secs
lola: 11673932 markings, 60585312 edges, 47922 markings/sec, 200 secs
lola: 11910355 markings, 62027908 edges, 47285 markings/sec, 205 secs
lola: 12136766 markings, 63512025 edges, 45282 markings/sec, 210 secs
lola: 12350352 markings, 65004245 edges, 42717 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: 397239 markings, 1558405 edges, 79448 markings/sec, 0 secs
lola: 725788 markings, 3170785 edges, 65710 markings/sec, 5 secs
lola: 1080040 markings, 4722881 edges, 70850 markings/sec, 10 secs
lola: 1400213 markings, 6313795 edges, 64035 markings/sec, 15 secs
lola: 1740395 markings, 7834496 edges, 68036 markings/sec, 20 secs
lola: 2056325 markings, 9378733 edges, 63186 markings/sec, 25 secs
lola: 2352009 markings, 10935941 edges, 59137 markings/sec, 30 secs
lola: 2662087 markings, 12438506 edges, 62016 markings/sec, 35 secs
lola: 2982632 markings, 13910324 edges, 64109 markings/sec, 40 secs
lola: 3287136 markings, 15425749 edges, 60901 markings/sec, 45 secs
lola: 3578172 markings, 16937543 edges, 58207 markings/sec, 50 secs
lola: 3862468 markings, 18471506 edges, 56859 markings/sec, 55 secs
lola: 4166751 markings, 20015597 edges, 60857 markings/sec, 60 secs
lola: 4458764 markings, 21582938 edges, 58403 markings/sec, 65 secs
lola: 4731681 markings, 23155051 edges, 54583 markings/sec, 70 secs
lola: 4993897 markings, 24707857 edges, 52443 markings/sec, 75 secs
lola: 5265528 markings, 26273272 edges, 54326 markings/sec, 80 secs
lola: 5523806 markings, 27868154 edges, 51656 markings/sec, 85 secs
lola: 5837095 markings, 29302875 edges, 62658 markings/sec, 90 secs
lola: 6131477 markings, 30708825 edges, 58876 markings/sec, 95 secs
lola: 6419383 markings, 32149420 edges, 57581 markings/sec, 100 secs
lola: 6707537 markings, 33571378 edges, 57631 markings/sec, 105 secs
lola: 6975977 markings, 34989550 edges, 53688 markings/sec, 110 secs
lola: 7248379 markings, 36360400 edges, 54480 markings/sec, 115 secs
lola: 7505521 markings, 37782592 edges, 51428 markings/sec, 120 secs
lola: 7766617 markings, 39222414 edges, 52219 markings/sec, 125 secs
lola: 8053694 markings, 40553263 edges, 57415 markings/sec, 130 secs
lola: 8328699 markings, 41886215 edges, 55001 markings/sec, 135 secs
lola: 8584678 markings, 43264168 edges, 51196 markings/sec, 140 secs
lola: 8833188 markings, 44654567 edges, 49702 markings/sec, 145 secs
lola: 9060603 markings, 46093776 edges, 45483 markings/sec, 150 secs
lola: 9336061 markings, 47512976 edges, 55092 markings/sec, 155 secs
lola: 9586777 markings, 48955697 edges, 50143 markings/sec, 160 secs
lola: 9854352 markings, 50406882 edges, 53515 markings/sec, 165 secs
lola: 10108920 markings, 51840488 edges, 50914 markings/sec, 170 secs
lola: 10356206 markings, 53244979 edges, 49457 markings/sec, 175 secs
lola: 10598678 markings, 54675320 edges, 48494 markings/sec, 180 secs
lola: 10830070 markings, 56106434 edges, 46278 markings/sec, 185 secs
lola: 11110708 markings, 57517357 edges, 56128 markings/sec, 190 secs
lola: 11380830 markings, 58964541 edges, 54024 markings/sec, 195 secs
lola: 11638600 markings, 60405444 edges, 51554 markings/sec, 200 secs
lola: 11915925 markings, 61884395 edges, 55465 markings/sec, 205 secs
lola: 12172264 markings, 63387022 edges, 51268 markings/sec, 210 secs
lola: 12440744 markings, 64774172 edges, 53696 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: 378391 markings, 1481329 edges, 75678 markings/sec, 0 secs
lola: 708932 markings, 3074282 edges, 66108 markings/sec, 5 secs
lola: 1049920 markings, 4637850 edges, 68198 markings/sec, 10 secs
lola: 1377070 markings, 6192007 edges, 65430 markings/sec, 15 secs
lola: 1697932 markings, 7735427 edges, 64172 markings/sec, 20 secs
lola: 2052197 markings, 9287637 edges, 70853 markings/sec, 25 secs
lola: 2370220 markings, 10877917 edges, 63605 markings/sec, 30 secs
lola: 2677392 markings, 12449348 edges, 61434 markings/sec, 35 secs
lola: 2965917 markings, 14027812 edges, 57705 markings/sec, 40 secs
lola: 3265282 markings, 15608167 edges, 59873 markings/sec, 45 secs
lola: 3579964 markings, 17132493 edges, 62936 markings/sec, 50 secs
lola: 3880846 markings, 18662695 edges, 60176 markings/sec, 55 secs
lola: 4180062 markings, 20208741 edges, 59843 markings/sec, 60 secs
lola: 4466629 markings, 21773485 edges, 57313 markings/sec, 65 secs
lola: 4749603 markings, 23336632 edges, 56595 markings/sec, 70 secs
lola: 5016654 markings, 24912703 edges, 53410 markings/sec, 75 secs
lola: 5299163 markings, 26472339 edges, 56502 markings/sec, 80 secs
lola: 5573281 markings, 28048824 edges, 54824 markings/sec, 85 secs
lola: 5852787 markings, 29626019 edges, 55901 markings/sec, 90 secs
lola: 6138610 markings, 31186439 edges, 57165 markings/sec, 95 secs
lola: 6409967 markings, 32753931 edges, 54271 markings/sec, 100 secs
lola: 6657213 markings, 34343349 edges, 49449 markings/sec, 105 secs
lola: 6937569 markings, 35900197 edges, 56071 markings/sec, 110 secs
lola: 7235674 markings, 37426332 edges, 59621 markings/sec, 115 secs
lola: 7511288 markings, 38952229 edges, 55123 markings/sec, 120 secs
lola: 7773014 markings, 40488090 edges, 52345 markings/sec, 125 secs
lola: 8031894 markings, 42037429 edges, 51776 markings/sec, 130 secs
lola: 8274749 markings, 43597835 edges, 48571 markings/sec, 135 secs
lola: 8528501 markings, 45142054 edges, 50750 markings/sec, 140 secs
lola: 8776510 markings, 46677226 edges, 49602 markings/sec, 145 secs
lola: 9029901 markings, 48255095 edges, 50678 markings/sec, 150 secs
lola: 9269878 markings, 49838759 edges, 47995 markings/sec, 155 secs
lola: 9493952 markings, 51444629 edges, 44815 markings/sec, 160 secs
lola: 9721197 markings, 53043220 edges, 45449 markings/sec, 165 secs
lola: 9935108 markings, 54664906 edges, 42782 markings/sec, 170 secs
lola: 10200554 markings, 56224338 edges, 53089 markings/sec, 175 secs
lola: 10460402 markings, 57756879 edges, 51970 markings/sec, 180 secs
lola: 10709272 markings, 59347946 edges, 49774 markings/sec, 185 secs
lola: 10960856 markings, 60924136 edges, 50317 markings/sec, 190 secs
lola: 11212495 markings, 62477431 edges, 50328 markings/sec, 195 secs
lola: 11441919 markings, 64060911 edges, 45885 markings/sec, 200 secs
lola: 11680987 markings, 65616253 edges, 47814 markings/sec, 205 secs
lola: 11914602 markings, 67186372 edges, 46723 markings/sec, 210 secs
lola: 12152824 markings, 68761254 edges, 47644 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: 390969 markings, 1485785 edges, 78194 markings/sec, 0 secs
lola: 749745 markings, 2989649 edges, 71755 markings/sec, 5 secs
lola: 1077480 markings, 4527677 edges, 65547 markings/sec, 10 secs
lola: 1382845 markings, 6045977 edges, 61073 markings/sec, 15 secs
lola: 1685158 markings, 7620356 edges, 60463 markings/sec, 20 secs
lola: 2013761 markings, 9149882 edges, 65721 markings/sec, 25 secs
lola: 2334188 markings, 10690903 edges, 64085 markings/sec, 30 secs
lola: 2652568 markings, 12265933 edges, 63676 markings/sec, 35 secs
lola: 2958136 markings, 13773331 edges, 61114 markings/sec, 40 secs
lola: 3265967 markings, 15261976 edges, 61566 markings/sec, 45 secs
lola: 3570595 markings, 16744263 edges, 60926 markings/sec, 50 secs
lola: 3862532 markings, 18275191 edges, 58387 markings/sec, 55 secs
lola: 4153857 markings, 19789987 edges, 58265 markings/sec, 60 secs
lola: 4432889 markings, 21304081 edges, 55806 markings/sec, 65 secs
lola: 4745736 markings, 22803790 edges, 62569 markings/sec, 70 secs
lola: 5044304 markings, 24370782 edges, 59714 markings/sec, 75 secs
lola: 5324525 markings, 25921722 edges, 56044 markings/sec, 80 secs
lola: 5615357 markings, 27472433 edges, 58166 markings/sec, 85 secs
lola: 5907143 markings, 29017732 edges, 58357 markings/sec, 90 secs
lola: 6193637 markings, 30553317 edges, 57299 markings/sec, 95 secs
lola: 6467817 markings, 32072903 edges, 54836 markings/sec, 100 secs
lola: 6751406 markings, 33542571 edges, 56718 markings/sec, 105 secs
lola: 7019501 markings, 35018375 edges, 53619 markings/sec, 110 secs
lola: 7264324 markings, 36518553 edges, 48965 markings/sec, 115 secs
lola: 7536389 markings, 38019652 edges, 54413 markings/sec, 120 secs
lola: 7793142 markings, 39537574 edges, 51351 markings/sec, 125 secs
lola: 8046097 markings, 41067984 edges, 50591 markings/sec, 130 secs
lola: 8312474 markings, 42574026 edges, 53275 markings/sec, 135 secs
lola: 8557297 markings, 44096323 edges, 48965 markings/sec, 140 secs
lola: 8783094 markings, 45626949 edges, 45159 markings/sec, 145 secs
lola: 9113860 markings, 47173401 edges, 66153 markings/sec, 150 secs
lola: 9428394 markings, 48724155 edges, 62907 markings/sec, 155 secs
lola: 9736304 markings, 50269139 edges, 61582 markings/sec, 160 secs
lola: 10019494 markings, 51825671 edges, 56638 markings/sec, 165 secs
lola: 10308872 markings, 53308004 edges, 57876 markings/sec, 170 secs
lola: 10606871 markings, 54834415 edges, 59600 markings/sec, 175 secs
lola: 10889695 markings, 56381723 edges, 56565 markings/sec, 180 secs
lola: 11195783 markings, 57949214 edges, 61218 markings/sec, 185 secs
lola: 11470539 markings, 59510590 edges, 54951 markings/sec, 190 secs
lola: 11743659 markings, 61026475 edges, 54624 markings/sec, 195 secs
lola: 12041898 markings, 62583804 edges, 59648 markings/sec, 200 secs
lola: 12310352 markings, 64139892 edges, 53691 markings/sec, 205 secs
lola: 12569503 markings, 65682827 edges, 51830 markings/sec, 210 secs
lola: 12837028 markings, 67235465 edges, 53505 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 379457 markings, 1526351 edges, 75891 markings/sec, 0 secs
lola: 755450 markings, 3011652 edges, 75199 markings/sec, 5 secs
lola: 1099675 markings, 4529585 edges, 68845 markings/sec, 10 secs
lola: 1421597 markings, 6078257 edges, 64384 markings/sec, 15 secs
lola: 1755393 markings, 7632540 edges, 66759 markings/sec, 20 secs
lola: 2067240 markings, 9181320 edges, 62369 markings/sec, 25 secs
lola: 2340799 markings, 10729580 edges, 54712 markings/sec, 30 secs
lola: 2656549 markings, 12256596 edges, 63150 markings/sec, 35 secs
lola: 2962380 markings, 13756021 edges, 61166 markings/sec, 40 secs
lola: 3264935 markings, 15280738 edges, 60511 markings/sec, 45 secs
lola: 3552657 markings, 16821105 edges, 57544 markings/sec, 50 secs
lola: 3849880 markings, 18341770 edges, 59445 markings/sec, 55 secs
lola: 4148509 markings, 19830921 edges, 59726 markings/sec, 60 secs
lola: 4427655 markings, 21384606 edges, 55829 markings/sec, 65 secs
lola: 4693648 markings, 22889302 edges, 53199 markings/sec, 70 secs
lola: 4972107 markings, 24396194 edges, 55692 markings/sec, 75 secs
lola: 5230156 markings, 25929375 edges, 51610 markings/sec, 80 secs
lola: 5524611 markings, 27411026 edges, 58891 markings/sec, 85 secs
lola: 5838069 markings, 28902487 edges, 62692 markings/sec, 90 secs
lola: 6137013 markings, 30406234 edges, 59789 markings/sec, 95 secs
lola: 6434503 markings, 31925506 edges, 59498 markings/sec, 100 secs
lola: 6703722 markings, 33470161 edges, 53844 markings/sec, 105 secs
lola: 6982858 markings, 35015313 edges, 55827 markings/sec, 110 secs
lola: 7265573 markings, 36523069 edges, 56543 markings/sec, 115 secs
lola: 7514209 markings, 38081178 edges, 49727 markings/sec, 120 secs
lola: 7776009 markings, 39652378 edges, 52360 markings/sec, 125 secs
lola: 8062060 markings, 41137433 edges, 57210 markings/sec, 130 secs
lola: 8334977 markings, 42636120 edges, 54583 markings/sec, 135 secs
lola: 8596554 markings, 44126203 edges, 52315 markings/sec, 140 secs
lola: 8868495 markings, 45625450 edges, 54388 markings/sec, 145 secs
lola: 9127887 markings, 47132068 edges, 51878 markings/sec, 150 secs
lola: 9376859 markings, 48647536 edges, 49794 markings/sec, 155 secs
lola: 9615548 markings, 50182426 edges, 47738 markings/sec, 160 secs
lola: 9859732 markings, 51714627 edges, 48837 markings/sec, 165 secs
lola: 10099882 markings, 53198837 edges, 48030 markings/sec, 170 secs
lola: 10336469 markings, 54727223 edges, 47317 markings/sec, 175 secs
lola: 10558972 markings, 56273597 edges, 44501 markings/sec, 180 secs
lola: 10786401 markings, 57829399 edges, 45486 markings/sec, 185 secs
lola: 11040903 markings, 59345543 edges, 50900 markings/sec, 190 secs
lola: 11307324 markings, 60855925 edges, 53284 markings/sec, 195 secs
lola: 11584725 markings, 62326115 edges, 55480 markings/sec, 200 secs
lola: 11843837 markings, 63838434 edges, 51822 markings/sec, 205 secs
lola: 12103052 markings, 65370766 edges, 51843 markings/sec, 210 secs
lola: 12349730 markings, 66886132 edges, 49336 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(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: 396252 markings, 1560209 edges, 79250 markings/sec, 0 secs
lola: 753217 markings, 3094981 edges, 71393 markings/sec, 5 secs
lola: 1087012 markings, 4600710 edges, 66759 markings/sec, 10 secs
lola: 1395195 markings, 6153240 edges, 61637 markings/sec, 15 secs
lola: 1723241 markings, 7590227 edges, 65609 markings/sec, 20 secs
lola: 2034782 markings, 9030897 edges, 62308 markings/sec, 25 secs
lola: 2367469 markings, 10564485 edges, 66537 markings/sec, 30 secs
lola: 2674255 markings, 12085024 edges, 61357 markings/sec, 35 secs
lola: 2983434 markings, 13662848 edges, 61836 markings/sec, 40 secs
lola: 3272719 markings, 15265854 edges, 57857 markings/sec, 45 secs
lola: 3549328 markings, 16827545 edges, 55322 markings/sec, 50 secs
lola: 3831044 markings, 18317981 edges, 56343 markings/sec, 55 secs
lola: 4106024 markings, 19890348 edges, 54996 markings/sec, 60 secs
lola: 4379628 markings, 21465009 edges, 54721 markings/sec, 65 secs
lola: 4660401 markings, 23019021 edges, 56155 markings/sec, 70 secs
lola: 4958376 markings, 24486939 edges, 59595 markings/sec, 75 secs
lola: 5235293 markings, 25953191 edges, 55383 markings/sec, 80 secs
lola: 5512797 markings, 27452383 edges, 55501 markings/sec, 85 secs
lola: 5774484 markings, 28937681 edges, 52337 markings/sec, 90 secs
lola: 6086741 markings, 30450624 edges, 62451 markings/sec, 95 secs
lola: 6380866 markings, 31960344 edges, 58825 markings/sec, 100 secs
lola: 6674948 markings, 33453381 edges, 58816 markings/sec, 105 secs
lola: 6945255 markings, 34964355 edges, 54061 markings/sec, 110 secs
lola: 7211415 markings, 36470156 edges, 53232 markings/sec, 115 secs
lola: 7482244 markings, 37932118 edges, 54166 markings/sec, 120 secs
lola: 7731262 markings, 39477621 edges, 49804 markings/sec, 125 secs
lola: 7977762 markings, 41033127 edges, 49300 markings/sec, 130 secs
lola: 8267745 markings, 42478813 edges, 57997 markings/sec, 135 secs
lola: 8533950 markings, 43933624 edges, 53241 markings/sec, 140 secs
lola: 8789842 markings, 45416371 edges, 51178 markings/sec, 145 secs
lola: 9044516 markings, 46916872 edges, 50935 markings/sec, 150 secs
lola: 9278673 markings, 48365638 edges, 46831 markings/sec, 155 secs
lola: 9537174 markings, 49800889 edges, 51700 markings/sec, 160 secs
lola: 9795007 markings, 51278152 edges, 51567 markings/sec, 165 secs
lola: 10048499 markings, 52794667 edges, 50698 markings/sec, 170 secs
lola: 10293853 markings, 54271448 edges, 49071 markings/sec, 175 secs
lola: 10528680 markings, 55765386 edges, 46965 markings/sec, 180 secs
lola: 10771560 markings, 57236611 edges, 48576 markings/sec, 185 secs
lola: 11007314 markings, 58762306 edges, 47151 markings/sec, 190 secs
lola: 11240158 markings, 60177013 edges, 46569 markings/sec, 195 secs
lola: 11445489 markings, 61642240 edges, 41066 markings/sec, 200 secs
lola: 11674062 markings, 63065474 edges, 45715 markings/sec, 205 secs
lola: 11941224 markings, 64411210 edges, 53432 markings/sec, 210 secs
lola: 12195138 markings, 65791667 edges, 50783 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: 379361 markings, 1492116 edges, 75872 markings/sec, 0 secs
lola: 699708 markings, 2950412 edges, 64069 markings/sec, 5 secs
lola: 1014583 markings, 4398292 edges, 62975 markings/sec, 10 secs
lola: 1305256 markings, 5892589 edges, 58135 markings/sec, 15 secs
lola: 1654036 markings, 7378305 edges, 69756 markings/sec, 20 secs
lola: 1983790 markings, 8873006 edges, 65951 markings/sec, 25 secs
lola: 2291897 markings, 10386510 edges, 61621 markings/sec, 30 secs
lola: 2610738 markings, 11929921 edges, 63768 markings/sec, 35 secs
lola: 2927861 markings, 13452407 edges, 63425 markings/sec, 40 secs
lola: 3208063 markings, 15011613 edges, 56040 markings/sec, 45 secs
lola: 3493470 markings, 16540216 edges, 57081 markings/sec, 50 secs
lola: 3773582 markings, 18053419 edges, 56022 markings/sec, 55 secs
lola: 4058376 markings, 19600174 edges, 56959 markings/sec, 60 secs
lola: 4328606 markings, 21155474 edges, 54046 markings/sec, 65 secs
lola: 4592660 markings, 22675521 edges, 52811 markings/sec, 70 secs
lola: 4914568 markings, 24148907 edges, 64382 markings/sec, 75 secs
lola: 5222314 markings, 25644754 edges, 61549 markings/sec, 80 secs
lola: 5505597 markings, 27196528 edges, 56657 markings/sec, 85 secs
lola: 5798198 markings, 28723368 edges, 58520 markings/sec, 90 secs
lola: 6073889 markings, 30274187 edges, 55138 markings/sec, 95 secs
lola: 6345151 markings, 31843445 edges, 54252 markings/sec, 100 secs
lola: 6626780 markings, 33386924 edges, 56326 markings/sec, 105 secs
lola: 6916867 markings, 34908671 edges, 58017 markings/sec, 110 secs
lola: 7189065 markings, 36441248 edges, 54440 markings/sec, 115 secs
lola: 7473369 markings, 37984826 edges, 56861 markings/sec, 120 secs
lola: 7764251 markings, 39549123 edges, 58176 markings/sec, 125 secs
lola: 8010284 markings, 41097365 edges, 49207 markings/sec, 130 secs
lola: 8273651 markings, 42630226 edges, 52673 markings/sec, 135 secs
lola: 8536449 markings, 44217277 edges, 52560 markings/sec, 140 secs
lola: 8794732 markings, 45828658 edges, 51657 markings/sec, 145 secs
lola: 9043931 markings, 47444075 edges, 49840 markings/sec, 150 secs
lola: 9285232 markings, 49040824 edges, 48260 markings/sec, 155 secs
lola: 9542846 markings, 50667528 edges, 51523 markings/sec, 160 secs
lola: 9784529 markings, 52272016 edges, 48337 markings/sec, 165 secs
lola: 10003429 markings, 53875857 edges, 43780 markings/sec, 170 secs
lola: 10279496 markings, 55393427 edges, 55213 markings/sec, 175 secs
lola: 10621825 markings, 56876721 edges, 68466 markings/sec, 180 secs
lola: 10947763 markings, 58389399 edges, 65188 markings/sec, 185 secs
lola: 11262428 markings, 59948136 edges, 62933 markings/sec, 190 secs
lola: 11568788 markings, 61455283 edges, 61272 markings/sec, 195 secs
lola: 11857431 markings, 63000308 edges, 57729 markings/sec, 200 secs
lola: 12157133 markings, 64507878 edges, 59940 markings/sec, 205 secs
lola: 12446446 markings, 65978299 edges, 57863 markings/sec, 210 secs
lola: 12734458 markings, 67472442 edges, 57602 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 1496563152835

--------------------
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="S_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/S_Solitaire-PT-FrnCT7x7.tgz
mv S_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 S_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 r158-ebro-149443463900083"
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 ;