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

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

=== Now, execution of the tool begins

BK_START 1496558548190


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


checking for too many tokens
===========================================================================================
S_Solitaire-PT-EngCT7x7: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Solitaire-PT-EngCT7x7 @ 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: 143/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 67 places, 76 transitions, 33 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 77 transition conflict sets
lola: TASK
lola: reading formula from Solitaire-PT-EngCT7x7-UpperBounds.task
lola: MAX(T57) : MAX(T75) : MAX(T43) : MAX(T34) : MAX(T34) : MAX(T13) : MAX(T24) : MAX(T45) : MAX(T73) : MAX(T43) : MAX(T13) : MAX(T41) : MAX(T57) : MAX(T74) : MAX(T75) : MAX(F73)
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(T57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 413378 markings, 1676930 edges, 82676 markings/sec, 0 secs
lola: 760163 markings, 3370384 edges, 69357 markings/sec, 5 secs
lola: 1116421 markings, 5151178 edges, 71252 markings/sec, 10 secs
lola: 1465601 markings, 6921309 edges, 69836 markings/sec, 15 secs
lola: 1783758 markings, 8712124 edges, 63631 markings/sec, 20 secs
lola: 2097082 markings, 10362783 edges, 62665 markings/sec, 25 secs
lola: 2407429 markings, 12025259 edges, 62069 markings/sec, 30 secs
lola: 2712226 markings, 13687546 edges, 60959 markings/sec, 35 secs
lola: 3014800 markings, 15353225 edges, 60515 markings/sec, 40 secs
lola: 3285303 markings, 16943950 edges, 54101 markings/sec, 45 secs
lola: 3554123 markings, 18579817 edges, 53764 markings/sec, 50 secs
lola: 3806967 markings, 20156520 edges, 50569 markings/sec, 55 secs
lola: 4064612 markings, 21811962 edges, 51529 markings/sec, 60 secs
lola: 4328336 markings, 23436060 edges, 52745 markings/sec, 65 secs
lola: 4571642 markings, 25109339 edges, 48661 markings/sec, 70 secs
lola: 4884087 markings, 26761748 edges, 62489 markings/sec, 75 secs
lola: 5199847 markings, 28432039 edges, 63152 markings/sec, 80 secs
lola: 5492622 markings, 30046733 edges, 58555 markings/sec, 85 secs
lola: 5790215 markings, 31735468 edges, 59519 markings/sec, 90 secs
lola: 6078907 markings, 33427150 edges, 57738 markings/sec, 95 secs
lola: 6367784 markings, 35149345 edges, 57775 markings/sec, 100 secs
lola: 6646898 markings, 36866520 edges, 55823 markings/sec, 105 secs
lola: 6925448 markings, 38467272 edges, 55710 markings/sec, 110 secs
lola: 7191684 markings, 40140617 edges, 53247 markings/sec, 115 secs
lola: 7449612 markings, 41783872 edges, 51586 markings/sec, 120 secs
lola: 7698527 markings, 43426117 edges, 49783 markings/sec, 125 secs
lola: 7969027 markings, 45146908 edges, 54100 markings/sec, 130 secs
lola: 8222321 markings, 46854533 edges, 50659 markings/sec, 135 secs
lola: 8502859 markings, 48590818 edges, 56108 markings/sec, 140 secs
lola: 8779760 markings, 50354376 edges, 55380 markings/sec, 145 secs
lola: 9061143 markings, 52137179 edges, 56277 markings/sec, 150 secs
lola: 9328516 markings, 53913224 edges, 53475 markings/sec, 155 secs
lola: 9615605 markings, 55676363 edges, 57418 markings/sec, 160 secs
lola: 9876311 markings, 57493287 edges, 52141 markings/sec, 165 secs
lola: 10149526 markings, 59279980 edges, 54643 markings/sec, 170 secs
lola: 10446683 markings, 61066459 edges, 59431 markings/sec, 175 secs
lola: 10744434 markings, 62945463 edges, 59550 markings/sec, 180 secs
lola: 11001009 markings, 64709770 edges, 51315 markings/sec, 185 secs
lola: 11220866 markings, 66428084 edges, 43971 markings/sec, 190 secs
lola: 11453677 markings, 67989537 edges, 46562 markings/sec, 195 secs
lola: 11716529 markings, 69524446 edges, 52570 markings/sec, 200 secs
lola: 11982258 markings, 71156790 edges, 53146 markings/sec, 205 secs
lola: 12230692 markings, 72761522 edges, 49687 markings/sec, 210 secs
lola: 12477419 markings, 74438757 edges, 49345 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(T75)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 423942 markings, 1857826 edges, 84788 markings/sec, 0 secs
lola: 788202 markings, 3695140 edges, 72852 markings/sec, 5 secs
lola: 1141118 markings, 5531812 edges, 70583 markings/sec, 10 secs
lola: 1467850 markings, 7379214 edges, 65346 markings/sec, 15 secs
lola: 1801683 markings, 9150291 edges, 66767 markings/sec, 20 secs
lola: 2122774 markings, 10916504 edges, 64218 markings/sec, 25 secs
lola: 2442803 markings, 12685252 edges, 64006 markings/sec, 30 secs
lola: 2747351 markings, 14442348 edges, 60910 markings/sec, 35 secs
lola: 3073084 markings, 16156333 edges, 65147 markings/sec, 40 secs
lola: 3376409 markings, 17792279 edges, 60665 markings/sec, 45 secs
lola: 3670466 markings, 19463441 edges, 58811 markings/sec, 50 secs
lola: 3954144 markings, 21170239 edges, 56736 markings/sec, 55 secs
lola: 4253335 markings, 22917093 edges, 59838 markings/sec, 60 secs
lola: 4554280 markings, 24672265 edges, 60189 markings/sec, 65 secs
lola: 4824395 markings, 26402401 edges, 54023 markings/sec, 70 secs
lola: 5097923 markings, 28112187 edges, 54706 markings/sec, 75 secs
lola: 5370326 markings, 29866366 edges, 54481 markings/sec, 80 secs
lola: 5634135 markings, 31600693 edges, 52762 markings/sec, 85 secs
lola: 5877031 markings, 33255281 edges, 48579 markings/sec, 90 secs
lola: 6138771 markings, 34939806 edges, 52348 markings/sec, 95 secs
lola: 6457059 markings, 36654775 edges, 63658 markings/sec, 100 secs
lola: 6739682 markings, 38402139 edges, 56525 markings/sec, 105 secs
lola: 7032871 markings, 40158191 edges, 58638 markings/sec, 110 secs
lola: 7318747 markings, 41810920 edges, 57175 markings/sec, 115 secs
lola: 7595769 markings, 43501417 edges, 55404 markings/sec, 120 secs
lola: 7884085 markings, 45140793 edges, 57663 markings/sec, 125 secs
lola: 8150453 markings, 46765909 edges, 53274 markings/sec, 130 secs
lola: 8420701 markings, 48417654 edges, 54050 markings/sec, 135 secs
lola: 8696712 markings, 50019065 edges, 55202 markings/sec, 140 secs
lola: 8951088 markings, 51643782 edges, 50875 markings/sec, 145 secs
lola: 9193224 markings, 53268421 edges, 48427 markings/sec, 150 secs
lola: 9457773 markings, 54959529 edges, 52910 markings/sec, 155 secs
lola: 9693883 markings, 56631620 edges, 47222 markings/sec, 160 secs
lola: 9929198 markings, 58321154 edges, 47063 markings/sec, 165 secs
lola: 10154463 markings, 59986461 edges, 45053 markings/sec, 170 secs
lola: 10378561 markings, 61681534 edges, 44820 markings/sec, 175 secs
lola: 10587883 markings, 63325255 edges, 41864 markings/sec, 180 secs
lola: 10849483 markings, 64957939 edges, 52320 markings/sec, 185 secs
lola: 11103338 markings, 66636047 edges, 50771 markings/sec, 190 secs
lola: 11357934 markings, 68262639 edges, 50919 markings/sec, 195 secs
lola: 11593702 markings, 69952477 edges, 47154 markings/sec, 200 secs
lola: 11817132 markings, 71652000 edges, 44686 markings/sec, 205 secs
lola: 12030739 markings, 73364060 edges, 42721 markings/sec, 210 secs
lola: 12251125 markings, 75036986 edges, 44077 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(T43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 424548 markings, 1704979 edges, 84910 markings/sec, 0 secs
lola: 815818 markings, 3474247 edges, 78254 markings/sec, 5 secs
lola: 1202398 markings, 5189152 edges, 77316 markings/sec, 10 secs
lola: 1561355 markings, 6907748 edges, 71791 markings/sec, 15 secs
lola: 1909058 markings, 8641576 edges, 69541 markings/sec, 20 secs
lola: 2243867 markings, 10388103 edges, 66962 markings/sec, 25 secs
lola: 2571769 markings, 12170775 edges, 65580 markings/sec, 30 secs
lola: 2899942 markings, 13903114 edges, 65635 markings/sec, 35 secs
lola: 3215042 markings, 15645663 edges, 63020 markings/sec, 40 secs
lola: 3543610 markings, 17405028 edges, 65714 markings/sec, 45 secs
lola: 3851004 markings, 19177767 edges, 61479 markings/sec, 50 secs
lola: 4201715 markings, 20892410 edges, 70142 markings/sec, 55 secs
lola: 4546230 markings, 22601209 edges, 68903 markings/sec, 60 secs
lola: 4868131 markings, 24343343 edges, 64380 markings/sec, 65 secs
lola: 5187286 markings, 26090701 edges, 63831 markings/sec, 70 secs
lola: 5498633 markings, 27855640 edges, 62269 markings/sec, 75 secs
lola: 5800862 markings, 29648223 edges, 60446 markings/sec, 80 secs
lola: 6124849 markings, 31441679 edges, 64797 markings/sec, 85 secs
lola: 6442300 markings, 33227096 edges, 63490 markings/sec, 90 secs
lola: 6737760 markings, 35037033 edges, 59092 markings/sec, 95 secs
lola: 7019700 markings, 36845729 edges, 56388 markings/sec, 100 secs
lola: 7344647 markings, 38569891 edges, 64989 markings/sec, 105 secs
lola: 7649744 markings, 40336692 edges, 61019 markings/sec, 110 secs
lola: 7953044 markings, 42100960 edges, 60660 markings/sec, 115 secs
lola: 8252397 markings, 43810637 edges, 59871 markings/sec, 120 secs
lola: 8548728 markings, 45520689 edges, 59266 markings/sec, 125 secs
lola: 8832274 markings, 47291842 edges, 56709 markings/sec, 130 secs
lola: 9126973 markings, 49048057 edges, 58940 markings/sec, 135 secs
lola: 9383894 markings, 50888511 edges, 51384 markings/sec, 140 secs
lola: 9689885 markings, 52657796 edges, 61198 markings/sec, 145 secs
lola: 9973791 markings, 54487211 edges, 56781 markings/sec, 150 secs
lola: 10257001 markings, 56226704 edges, 56642 markings/sec, 155 secs
lola: 10543960 markings, 57969101 edges, 57392 markings/sec, 160 secs
lola: 10817800 markings, 59776363 edges, 54768 markings/sec, 165 secs
lola: 11093606 markings, 61588758 edges, 55161 markings/sec, 170 secs
lola: 11361321 markings, 63374210 edges, 53543 markings/sec, 175 secs
lola: 11617857 markings, 65128277 edges, 51307 markings/sec, 180 secs
lola: 11920721 markings, 66803504 edges, 60573 markings/sec, 185 secs
lola: 12216261 markings, 68458079 edges, 59108 markings/sec, 190 secs
lola: 12505808 markings, 70103741 edges, 57909 markings/sec, 195 secs
lola: 12780566 markings, 71786099 edges, 54952 markings/sec, 200 secs
lola: 13053659 markings, 73471453 edges, 54619 markings/sec, 205 secs
lola: 13308076 markings, 75181181 edges, 50883 markings/sec, 210 secs
lola: 13579251 markings, 76876485 edges, 54235 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(T34)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 435532 markings, 1756861 edges, 87106 markings/sec, 0 secs
lola: 812103 markings, 3564251 edges, 75314 markings/sec, 5 secs
lola: 1181037 markings, 5299241 edges, 73787 markings/sec, 10 secs
lola: 1512101 markings, 7054361 edges, 66213 markings/sec, 15 secs
lola: 1846385 markings, 8837598 edges, 66857 markings/sec, 20 secs
lola: 2184488 markings, 10561680 edges, 67621 markings/sec, 25 secs
lola: 2524053 markings, 12249154 edges, 67913 markings/sec, 30 secs
lola: 2862435 markings, 13943011 edges, 67676 markings/sec, 35 secs
lola: 3170171 markings, 15704826 edges, 61547 markings/sec, 40 secs
lola: 3520098 markings, 17426299 edges, 69985 markings/sec, 45 secs
lola: 3831945 markings, 19177367 edges, 62369 markings/sec, 50 secs
lola: 4140936 markings, 20919477 edges, 61798 markings/sec, 55 secs
lola: 4437003 markings, 22682300 edges, 59213 markings/sec, 60 secs
lola: 4767161 markings, 24480339 edges, 66032 markings/sec, 65 secs
lola: 5104460 markings, 26240100 edges, 67460 markings/sec, 70 secs
lola: 5433784 markings, 27958332 edges, 65865 markings/sec, 75 secs
lola: 5744490 markings, 29757254 edges, 62141 markings/sec, 80 secs
lola: 6055592 markings, 31522755 edges, 62220 markings/sec, 85 secs
lola: 6351943 markings, 33264915 edges, 59270 markings/sec, 90 secs
lola: 6646844 markings, 35019765 edges, 58980 markings/sec, 95 secs
lola: 6930192 markings, 36695126 edges, 56670 markings/sec, 100 secs
lola: 7204143 markings, 38416547 edges, 54790 markings/sec, 105 secs
lola: 7478751 markings, 40141258 edges, 54922 markings/sec, 110 secs
lola: 7782688 markings, 41846638 edges, 60787 markings/sec, 115 secs
lola: 8073563 markings, 43592436 edges, 58175 markings/sec, 120 secs
lola: 8368620 markings, 45322485 edges, 59011 markings/sec, 125 secs
lola: 8645286 markings, 47030886 edges, 55333 markings/sec, 130 secs
lola: 8925214 markings, 48759495 edges, 55986 markings/sec, 135 secs
lola: 9193566 markings, 50470899 edges, 53670 markings/sec, 140 secs
lola: 9446396 markings, 52201600 edges, 50566 markings/sec, 145 secs
lola: 9788882 markings, 53975603 edges, 68497 markings/sec, 150 secs
lola: 10102906 markings, 55724574 edges, 62805 markings/sec, 155 secs
lola: 10403513 markings, 57482327 edges, 60121 markings/sec, 160 secs
lola: 10695439 markings, 59228202 edges, 58385 markings/sec, 165 secs
lola: 10996422 markings, 60973731 edges, 60197 markings/sec, 170 secs
lola: 11283515 markings, 62701801 edges, 57419 markings/sec, 175 secs
lola: 11579697 markings, 64439851 edges, 59236 markings/sec, 180 secs
lola: 11882654 markings, 66181679 edges, 60591 markings/sec, 185 secs
lola: 12168683 markings, 67953593 edges, 57206 markings/sec, 190 secs
lola: 12460987 markings, 69715543 edges, 58461 markings/sec, 195 secs
lola: 12736527 markings, 71471842 edges, 55108 markings/sec, 200 secs
lola: 13002561 markings, 73228205 edges, 53207 markings/sec, 205 secs
lola: 13278869 markings, 74969633 edges, 55262 markings/sec, 210 secs
lola: 13554746 markings, 76682637 edges, 55175 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(T34)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 435727 markings, 1758009 edges, 87145 markings/sec, 0 secs
lola: 812916 markings, 3567548 edges, 75438 markings/sec, 5 secs
lola: 1176948 markings, 5272033 edges, 72806 markings/sec, 10 secs
lola: 1497421 markings, 6986482 edges, 64095 markings/sec, 15 secs
lola: 1827316 markings, 8730076 edges, 65979 markings/sec, 20 secs
lola: 2161046 markings, 10449078 edges, 66746 markings/sec, 25 secs
lola: 2499508 markings, 12122696 edges, 67692 markings/sec, 30 secs
lola: 2833384 markings, 13796883 edges, 66775 markings/sec, 35 secs
lola: 3142177 markings, 15529782 edges, 61759 markings/sec, 40 secs
lola: 3480961 markings, 17236445 edges, 67757 markings/sec, 45 secs
lola: 3792388 markings, 18961572 edges, 62285 markings/sec, 50 secs
lola: 4101572 markings, 20680081 edges, 61837 markings/sec, 55 secs
lola: 4396978 markings, 22409008 edges, 59081 markings/sec, 60 secs
lola: 4709485 markings, 24183906 edges, 62501 markings/sec, 65 secs
lola: 5050237 markings, 25941439 edges, 68150 markings/sec, 70 secs
lola: 5371034 markings, 27653601 edges, 64159 markings/sec, 75 secs
lola: 5693938 markings, 29431227 edges, 64581 markings/sec, 80 secs
lola: 6000213 markings, 31191981 edges, 61255 markings/sec, 85 secs
lola: 6298508 markings, 32932433 edges, 59659 markings/sec, 90 secs
lola: 6588432 markings, 34685480 edges, 57985 markings/sec, 95 secs
lola: 6877255 markings, 36363616 edges, 57765 markings/sec, 100 secs
lola: 7147332 markings, 38074536 edges, 54015 markings/sec, 105 secs
lola: 7419998 markings, 39776036 edges, 54533 markings/sec, 110 secs
lola: 7718088 markings, 41481334 edges, 59618 markings/sec, 115 secs
lola: 8016846 markings, 43209904 edges, 59752 markings/sec, 120 secs
lola: 8306828 markings, 44948552 edges, 57996 markings/sec, 125 secs
lola: 8585229 markings, 46652445 edges, 55680 markings/sec, 130 secs
lola: 8862951 markings, 48368691 edges, 55544 markings/sec, 135 secs
lola: 9134657 markings, 50081976 edges, 54341 markings/sec, 140 secs
lola: 9386762 markings, 51803877 edges, 50421 markings/sec, 145 secs
lola: 9710001 markings, 53564214 edges, 64648 markings/sec, 150 secs
lola: 10034071 markings, 55305715 edges, 64814 markings/sec, 155 secs
lola: 10328021 markings, 57081359 edges, 58790 markings/sec, 160 secs
lola: 10626509 markings, 58801896 edges, 59698 markings/sec, 165 secs
lola: 10923509 markings, 60568633 edges, 59400 markings/sec, 170 secs
lola: 11214366 markings, 62299131 edges, 58171 markings/sec, 175 secs
lola: 11503356 markings, 64024191 edges, 57798 markings/sec, 180 secs
lola: 11805621 markings, 65743952 edges, 60453 markings/sec, 185 secs
lola: 12091289 markings, 67503948 edges, 57134 markings/sec, 190 secs
lola: 12392374 markings, 69274142 edges, 60217 markings/sec, 195 secs
lola: 12661455 markings, 71015939 edges, 53816 markings/sec, 200 secs
lola: 12937333 markings, 72778338 edges, 55176 markings/sec, 205 secs
lola: 13206785 markings, 74521893 edges, 53890 markings/sec, 210 secs
lola: 13478369 markings, 76239285 edges, 54317 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(T13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 409180 markings, 1668643 edges, 81836 markings/sec, 0 secs
lola: 786651 markings, 3415415 edges, 75494 markings/sec, 5 secs
lola: 1133488 markings, 5162043 edges, 69367 markings/sec, 10 secs
lola: 1472902 markings, 6940807 edges, 67883 markings/sec, 15 secs
lola: 1804321 markings, 8717949 edges, 66284 markings/sec, 20 secs
lola: 2126916 markings, 10471685 edges, 64519 markings/sec, 25 secs
lola: 2421197 markings, 12264458 edges, 58856 markings/sec, 30 secs
lola: 2738636 markings, 13986375 edges, 63488 markings/sec, 35 secs
lola: 3027728 markings, 15744856 edges, 57818 markings/sec, 40 secs
lola: 3333928 markings, 17487426 edges, 61240 markings/sec, 45 secs
lola: 3636653 markings, 19179520 edges, 60545 markings/sec, 50 secs
lola: 3930364 markings, 20906202 edges, 58742 markings/sec, 55 secs
lola: 4215306 markings, 22612480 edges, 56988 markings/sec, 60 secs
lola: 4472031 markings, 24302257 edges, 51345 markings/sec, 65 secs
lola: 4769720 markings, 26022739 edges, 59538 markings/sec, 70 secs
lola: 5098852 markings, 27767948 edges, 65826 markings/sec, 75 secs
lola: 5408050 markings, 29567140 edges, 61840 markings/sec, 80 secs
lola: 5708259 markings, 31332276 edges, 60042 markings/sec, 85 secs
lola: 6035953 markings, 33134674 edges, 65539 markings/sec, 90 secs
lola: 6334794 markings, 34956112 edges, 59768 markings/sec, 95 secs
lola: 6612383 markings, 36730326 edges, 55518 markings/sec, 100 secs
lola: 6902362 markings, 38480367 edges, 57996 markings/sec, 105 secs
lola: 7191560 markings, 40208957 edges, 57840 markings/sec, 110 secs
lola: 7457642 markings, 41922422 edges, 53216 markings/sec, 115 secs
lola: 7752036 markings, 43659352 edges, 58879 markings/sec, 120 secs
lola: 8038325 markings, 45421074 edges, 57258 markings/sec, 125 secs
lola: 8325520 markings, 47137406 edges, 57439 markings/sec, 130 secs
lola: 8581817 markings, 48937465 edges, 51259 markings/sec, 135 secs
lola: 8875502 markings, 50701952 edges, 58737 markings/sec, 140 secs
lola: 9158648 markings, 52480041 edges, 56629 markings/sec, 145 secs
lola: 9469393 markings, 54251050 edges, 62149 markings/sec, 150 secs
lola: 9752275 markings, 56030247 edges, 56576 markings/sec, 155 secs
lola: 10035709 markings, 57820595 edges, 56687 markings/sec, 160 secs
lola: 10313561 markings, 59587715 edges, 55570 markings/sec, 165 secs
lola: 10588508 markings, 61357106 edges, 54989 markings/sec, 170 secs
lola: 10828936 markings, 63118783 edges, 48086 markings/sec, 175 secs
lola: 11120917 markings, 64928386 edges, 58396 markings/sec, 180 secs
lola: 11368674 markings, 66729432 edges, 49551 markings/sec, 185 secs
lola: 11684546 markings, 68515363 edges, 63174 markings/sec, 190 secs
lola: 11995132 markings, 70312839 edges, 62117 markings/sec, 195 secs
lola: 12280223 markings, 72090551 edges, 57018 markings/sec, 200 secs
lola: 12577569 markings, 73804639 edges, 59469 markings/sec, 205 secs
lola: 12848138 markings, 75544467 edges, 54114 markings/sec, 210 secs
lola: 13104141 markings, 77308795 edges, 51201 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(T24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 455507 markings, 1708993 edges, 91101 markings/sec, 0 secs
lola: 847548 markings, 3443361 edges, 78408 markings/sec, 5 secs
lola: 1248890 markings, 5197613 edges, 80268 markings/sec, 10 secs
lola: 1647349 markings, 6959790 edges, 79692 markings/sec, 15 secs
lola: 2022653 markings, 8760429 edges, 75061 markings/sec, 20 secs
lola: 2362725 markings, 10534956 edges, 68014 markings/sec, 25 secs
lola: 2718018 markings, 12301223 edges, 71059 markings/sec, 30 secs
lola: 3029641 markings, 14089526 edges, 62325 markings/sec, 35 secs
lola: 3346687 markings, 15900048 edges, 63409 markings/sec, 40 secs
lola: 3668907 markings, 17633319 edges, 64444 markings/sec, 45 secs
lola: 3975107 markings, 19325130 edges, 61240 markings/sec, 50 secs
lola: 4313104 markings, 20999370 edges, 67599 markings/sec, 55 secs
lola: 4653009 markings, 22740941 edges, 67981 markings/sec, 60 secs
lola: 4966386 markings, 24471700 edges, 62675 markings/sec, 65 secs
lola: 5264851 markings, 26215843 edges, 59693 markings/sec, 70 secs
lola: 5581566 markings, 28000084 edges, 63343 markings/sec, 75 secs
lola: 5882657 markings, 29772353 edges, 60218 markings/sec, 80 secs
lola: 6178402 markings, 31465860 edges, 59149 markings/sec, 85 secs
lola: 6463023 markings, 33170105 edges, 56924 markings/sec, 90 secs
lola: 6743811 markings, 34893017 edges, 56158 markings/sec, 95 secs
lola: 7044011 markings, 36602560 edges, 60040 markings/sec, 100 secs
lola: 7301857 markings, 38294805 edges, 51569 markings/sec, 105 secs
lola: 7564774 markings, 39993067 edges, 52583 markings/sec, 110 secs
lola: 7886347 markings, 41736395 edges, 64315 markings/sec, 115 secs
lola: 8224916 markings, 43496207 edges, 67714 markings/sec, 120 secs
lola: 8546093 markings, 45247837 edges, 64235 markings/sec, 125 secs
lola: 8856779 markings, 47029786 edges, 62137 markings/sec, 130 secs
lola: 9156525 markings, 48814367 edges, 59949 markings/sec, 135 secs
lola: 9438735 markings, 50572800 edges, 56442 markings/sec, 140 secs
lola: 9730043 markings, 52354543 edges, 58262 markings/sec, 145 secs
lola: 10005142 markings, 54137657 edges, 55020 markings/sec, 150 secs
lola: 10318272 markings, 55860122 edges, 62626 markings/sec, 155 secs
lola: 10608952 markings, 57574729 edges, 58136 markings/sec, 160 secs
lola: 10879580 markings, 59288571 edges, 54126 markings/sec, 165 secs
lola: 11143624 markings, 60980704 edges, 52809 markings/sec, 170 secs
lola: 11452295 markings, 62696445 edges, 61734 markings/sec, 175 secs
lola: 11775218 markings, 64425683 edges, 64585 markings/sec, 180 secs
lola: 12094574 markings, 66189667 edges, 63871 markings/sec, 185 secs
lola: 12398215 markings, 67933924 edges, 60728 markings/sec, 190 secs
lola: 12728064 markings, 69691610 edges, 65970 markings/sec, 195 secs
lola: 13018160 markings, 71499712 edges, 58019 markings/sec, 200 secs
lola: 13288234 markings, 73266492 edges, 54015 markings/sec, 205 secs
lola: 13578002 markings, 74944190 edges, 57954 markings/sec, 210 secs
lola: 13865753 markings, 76635738 edges, 57550 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(T45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 437293 markings, 1713298 edges, 87459 markings/sec, 0 secs
lola: 824636 markings, 3512734 edges, 77469 markings/sec, 5 secs
lola: 1183771 markings, 5312025 edges, 71827 markings/sec, 10 secs
lola: 1565905 markings, 7081049 edges, 76427 markings/sec, 15 secs
lola: 1912921 markings, 8898296 edges, 69403 markings/sec, 20 secs
lola: 2251092 markings, 10706511 edges, 67634 markings/sec, 25 secs
lola: 2564635 markings, 12512140 edges, 62709 markings/sec, 30 secs
lola: 2863047 markings, 14288863 edges, 59682 markings/sec, 35 secs
lola: 3178612 markings, 16103803 edges, 63113 markings/sec, 40 secs
lola: 3499955 markings, 17885100 edges, 64269 markings/sec, 45 secs
lola: 3840238 markings, 19676819 edges, 68057 markings/sec, 50 secs
lola: 4156880 markings, 21460701 edges, 63328 markings/sec, 55 secs
lola: 4471381 markings, 23183349 edges, 62900 markings/sec, 60 secs
lola: 4766336 markings, 24903703 edges, 58991 markings/sec, 65 secs
lola: 5066232 markings, 26650431 edges, 59979 markings/sec, 70 secs
lola: 5366859 markings, 28394234 edges, 60125 markings/sec, 75 secs
lola: 5673675 markings, 30151766 edges, 61363 markings/sec, 80 secs
lola: 5965179 markings, 31886381 edges, 58301 markings/sec, 85 secs
lola: 6246194 markings, 33614883 edges, 56203 markings/sec, 90 secs
lola: 6553855 markings, 35353583 edges, 61532 markings/sec, 95 secs
lola: 6826504 markings, 37089962 edges, 54530 markings/sec, 100 secs
lola: 7087861 markings, 38787869 edges, 52271 markings/sec, 105 secs
lola: 7414313 markings, 40581317 edges, 65290 markings/sec, 110 secs
lola: 7717496 markings, 42349182 edges, 60637 markings/sec, 115 secs
lola: 8010336 markings, 44088693 edges, 58568 markings/sec, 120 secs
lola: 8289660 markings, 45828024 edges, 55865 markings/sec, 125 secs
lola: 8571876 markings, 47612599 edges, 56443 markings/sec, 130 secs
lola: 8834712 markings, 49340524 edges, 52567 markings/sec, 135 secs
lola: 9103760 markings, 51059016 edges, 53810 markings/sec, 140 secs
lola: 9352690 markings, 52771764 edges, 49786 markings/sec, 145 secs
lola: 9600390 markings, 54437452 edges, 49540 markings/sec, 150 secs
lola: 9897762 markings, 56188079 edges, 59474 markings/sec, 155 secs
lola: 10170198 markings, 57905780 edges, 54487 markings/sec, 160 secs
lola: 10490018 markings, 59582457 edges, 63964 markings/sec, 165 secs
lola: 10825243 markings, 61301487 edges, 67045 markings/sec, 170 secs
lola: 11129129 markings, 63056775 edges, 60777 markings/sec, 175 secs
lola: 11423965 markings, 64827564 edges, 58967 markings/sec, 180 secs
lola: 11711459 markings, 66596500 edges, 57499 markings/sec, 185 secs
lola: 12007553 markings, 68311437 edges, 59219 markings/sec, 190 secs
lola: 12298522 markings, 70078268 edges, 58194 markings/sec, 195 secs
lola: 12572301 markings, 71882209 edges, 54756 markings/sec, 200 secs
lola: 12845413 markings, 73639706 edges, 54622 markings/sec, 205 secs
lola: 13111629 markings, 75406894 edges, 53243 markings/sec, 210 secs
lola: 13372560 markings, 77183679 edges, 52186 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(T73)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 415763 markings, 1787623 edges, 83153 markings/sec, 0 secs
lola: 761315 markings, 3530728 edges, 69110 markings/sec, 5 secs
lola: 1105964 markings, 5221336 edges, 68930 markings/sec, 10 secs
lola: 1429447 markings, 6942001 edges, 64697 markings/sec, 15 secs
lola: 1763846 markings, 8549956 edges, 66880 markings/sec, 20 secs
lola: 2086124 markings, 10224573 edges, 64456 markings/sec, 25 secs
lola: 2389074 markings, 11895188 edges, 60590 markings/sec, 30 secs
lola: 2685627 markings, 13520502 edges, 59311 markings/sec, 35 secs
lola: 2996869 markings, 15157168 edges, 62248 markings/sec, 40 secs
lola: 3305066 markings, 16843538 edges, 61639 markings/sec, 45 secs
lola: 3599631 markings, 18519758 edges, 58913 markings/sec, 50 secs
lola: 3880728 markings, 20176000 edges, 56219 markings/sec, 55 secs
lola: 4151789 markings, 21852068 edges, 54212 markings/sec, 60 secs
lola: 4416609 markings, 23542717 edges, 52964 markings/sec, 65 secs
lola: 4691043 markings, 25244340 edges, 54887 markings/sec, 70 secs
lola: 4955833 markings, 26958919 edges, 52958 markings/sec, 75 secs
lola: 5209114 markings, 28676677 edges, 50656 markings/sec, 80 secs
lola: 5491856 markings, 30405116 edges, 56548 markings/sec, 85 secs
lola: 5777705 markings, 32112107 edges, 57170 markings/sec, 90 secs
lola: 6046123 markings, 33836372 edges, 53684 markings/sec, 95 secs
lola: 6302450 markings, 35520636 edges, 51265 markings/sec, 100 secs
lola: 6571882 markings, 37158540 edges, 53886 markings/sec, 105 secs
lola: 6889041 markings, 38804752 edges, 63432 markings/sec, 110 secs
lola: 7175133 markings, 40485087 edges, 57218 markings/sec, 115 secs
lola: 7464423 markings, 42160679 edges, 57858 markings/sec, 120 secs
lola: 7735352 markings, 43878358 edges, 54186 markings/sec, 125 secs
lola: 8015535 markings, 45565898 edges, 56037 markings/sec, 130 secs
lola: 8288072 markings, 47268282 edges, 54507 markings/sec, 135 secs
lola: 8547753 markings, 48990959 edges, 51936 markings/sec, 140 secs
lola: 8813030 markings, 50658107 edges, 53055 markings/sec, 145 secs
lola: 9076074 markings, 52300626 edges, 52609 markings/sec, 150 secs
lola: 9326556 markings, 53951213 edges, 50096 markings/sec, 155 secs
lola: 9565719 markings, 55578252 edges, 47833 markings/sec, 160 secs
lola: 9801672 markings, 57242689 edges, 47191 markings/sec, 165 secs
lola: 10055513 markings, 58881127 edges, 50768 markings/sec, 170 secs
lola: 10324323 markings, 60519745 edges, 53762 markings/sec, 175 secs
lola: 10594345 markings, 62191154 edges, 54004 markings/sec, 180 secs
lola: 10850893 markings, 63869217 edges, 51310 markings/sec, 185 secs
lola: 11099465 markings, 65566755 edges, 49714 markings/sec, 190 secs
lola: 11352741 markings, 67206933 edges, 50655 markings/sec, 195 secs
lola: 11589738 markings, 68832970 edges, 47399 markings/sec, 200 secs
lola: 11812727 markings, 70456460 edges, 44598 markings/sec, 205 secs
lola: 12061011 markings, 72132660 edges, 49657 markings/sec, 210 secs
lola: 12287131 markings, 73767618 edges, 45224 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 132 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: 435163 markings, 1748085 edges, 87033 markings/sec, 0 secs
lola: 830829 markings, 3548654 edges, 79133 markings/sec, 5 secs
lola: 1226372 markings, 5296662 edges, 79109 markings/sec, 10 secs
lola: 1587047 markings, 7039475 edges, 72135 markings/sec, 15 secs
lola: 1939508 markings, 8792253 edges, 70492 markings/sec, 20 secs
lola: 2275345 markings, 10556789 edges, 67167 markings/sec, 25 secs
lola: 2607390 markings, 12343278 edges, 66409 markings/sec, 30 secs
lola: 2934796 markings, 14100957 edges, 65481 markings/sec, 35 secs
lola: 3255972 markings, 15855948 edges, 64235 markings/sec, 40 secs
lola: 3584086 markings, 17637504 edges, 65623 markings/sec, 45 secs
lola: 3893258 markings, 19432415 edges, 61834 markings/sec, 50 secs
lola: 4252731 markings, 21133648 edges, 71895 markings/sec, 55 secs
lola: 4594462 markings, 22861942 edges, 68346 markings/sec, 60 secs
lola: 4916791 markings, 24615643 edges, 64466 markings/sec, 65 secs
lola: 5239991 markings, 26368853 edges, 64640 markings/sec, 70 secs
lola: 5545441 markings, 28151671 edges, 61090 markings/sec, 75 secs
lola: 5856872 markings, 29952418 edges, 62286 markings/sec, 80 secs
lola: 6176617 markings, 31752083 edges, 63949 markings/sec, 85 secs
lola: 6496257 markings, 33565101 edges, 63928 markings/sec, 90 secs
lola: 6792867 markings, 35386963 edges, 59322 markings/sec, 95 secs
lola: 7085155 markings, 37173897 edges, 58458 markings/sec, 100 secs
lola: 7404789 markings, 38918953 edges, 63927 markings/sec, 105 secs
lola: 7706790 markings, 40714856 edges, 60400 markings/sec, 110 secs
lola: 8019356 markings, 42509589 edges, 62513 markings/sec, 115 secs
lola: 8323875 markings, 44238478 edges, 60904 markings/sec, 120 secs
lola: 8626299 markings, 45995814 edges, 60485 markings/sec, 125 secs
lola: 8913683 markings, 47770212 edges, 57477 markings/sec, 130 secs
lola: 9203243 markings, 49579578 edges, 57912 markings/sec, 135 secs
lola: 9465008 markings, 51402063 edges, 52353 markings/sec, 140 secs
lola: 9774346 markings, 53200481 edges, 61868 markings/sec, 145 secs
lola: 10055421 markings, 55014142 edges, 56215 markings/sec, 150 secs
lola: 10345350 markings, 56767518 edges, 57986 markings/sec, 155 secs
lola: 10633235 markings, 58523769 edges, 57577 markings/sec, 160 secs
lola: 10907298 markings, 60347302 edges, 54813 markings/sec, 165 secs
lola: 11178201 markings, 62175735 edges, 54181 markings/sec, 170 secs
lola: 11447048 markings, 63959689 edges, 53769 markings/sec, 175 secs
lola: 11724139 markings, 65692276 edges, 55418 markings/sec, 180 secs
lola: 12021342 markings, 67376379 edges, 59441 markings/sec, 185 secs
lola: 12320409 markings, 69025276 edges, 59813 markings/sec, 190 secs
lola: 12607955 markings, 70696339 edges, 57509 markings/sec, 195 secs
lola: 12880245 markings, 72390161 edges, 54458 markings/sec, 200 secs
lola: 13148258 markings, 74094130 edges, 53603 markings/sec, 205 secs
lola: 13405577 markings, 75802034 edges, 51464 markings/sec, 210 secs
lola: 13683613 markings, 77496328 edges, 55607 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(T13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 419575 markings, 1718772 edges, 83915 markings/sec, 0 secs
lola: 801766 markings, 3479277 edges, 76438 markings/sec, 5 secs
lola: 1145843 markings, 5252160 edges, 68815 markings/sec, 10 secs
lola: 1491603 markings, 7040913 edges, 69152 markings/sec, 15 secs
lola: 1824697 markings, 8841988 edges, 66619 markings/sec, 20 secs
lola: 2156109 markings, 10625751 edges, 66282 markings/sec, 25 secs
lola: 2450902 markings, 12421510 edges, 58959 markings/sec, 30 secs
lola: 2766859 markings, 14148320 edges, 63191 markings/sec, 35 secs
lola: 3060522 markings, 15929428 edges, 58733 markings/sec, 40 secs
lola: 3370617 markings, 17687446 edges, 62019 markings/sec, 45 secs
lola: 3671769 markings, 19387237 edges, 60230 markings/sec, 50 secs
lola: 3965494 markings, 21149543 edges, 58745 markings/sec, 55 secs
lola: 4256246 markings, 22896101 edges, 58150 markings/sec, 60 secs
lola: 4518354 markings, 24621030 edges, 52422 markings/sec, 65 secs
lola: 4838389 markings, 26389024 edges, 64007 markings/sec, 70 secs
lola: 5177214 markings, 28179124 edges, 67765 markings/sec, 75 secs
lola: 5486305 markings, 29991035 edges, 61818 markings/sec, 80 secs
lola: 5795519 markings, 31798537 edges, 61843 markings/sec, 85 secs
lola: 6115552 markings, 33647367 edges, 64007 markings/sec, 90 secs
lola: 6411290 markings, 35495586 edges, 59148 markings/sec, 95 secs
lola: 6700213 markings, 37258534 edges, 57785 markings/sec, 100 secs
lola: 6995944 markings, 39034316 edges, 59146 markings/sec, 105 secs
lola: 7274765 markings, 40773395 edges, 55764 markings/sec, 110 secs
lola: 7539961 markings, 42507924 edges, 53039 markings/sec, 115 secs
lola: 7850247 markings, 44256148 edges, 62057 markings/sec, 120 secs
lola: 8137212 markings, 45982595 edges, 57393 markings/sec, 125 secs
lola: 8413552 markings, 47711200 edges, 55268 markings/sec, 130 secs
lola: 8688924 markings, 49481149 edges, 55074 markings/sec, 135 secs
lola: 8966010 markings, 51259010 edges, 55417 markings/sec, 140 secs
lola: 9253541 markings, 53021118 edges, 57506 markings/sec, 145 secs
lola: 9557582 markings, 54783303 edges, 60808 markings/sec, 150 secs
lola: 9838343 markings, 56559964 edges, 56152 markings/sec, 155 secs
lola: 10116741 markings, 58326262 edges, 55680 markings/sec, 160 secs
lola: 10399323 markings, 60081849 edges, 56516 markings/sec, 165 secs
lola: 10658014 markings, 61872298 edges, 51738 markings/sec, 170 secs
lola: 10916456 markings, 63654029 edges, 51688 markings/sec, 175 secs
lola: 11195373 markings, 65461238 edges, 55783 markings/sec, 180 secs
lola: 11467326 markings, 67253688 edges, 54391 markings/sec, 185 secs
lola: 11788731 markings, 69053301 edges, 64281 markings/sec, 190 secs
lola: 12081691 markings, 70864800 edges, 58592 markings/sec, 195 secs
lola: 12373559 markings, 72627491 edges, 58374 markings/sec, 200 secs
lola: 12662666 markings, 74352442 edges, 57821 markings/sec, 205 secs
lola: 12934664 markings, 76108136 edges, 54400 markings/sec, 210 secs
lola: 13187315 markings, 77870751 edges, 50530 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(T41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 470697 markings, 1706884 edges, 94139 markings/sec, 0 secs
lola: 866227 markings, 3467747 edges, 79106 markings/sec, 5 secs
lola: 1231487 markings, 5253445 edges, 73052 markings/sec, 10 secs
lola: 1605022 markings, 7028999 edges, 74707 markings/sec, 15 secs
lola: 1958194 markings, 8824013 edges, 70634 markings/sec, 20 secs
lola: 2295619 markings, 10601330 edges, 67485 markings/sec, 25 secs
lola: 2602986 markings, 12386063 edges, 61473 markings/sec, 30 secs
lola: 2983820 markings, 14081210 edges, 76167 markings/sec, 35 secs
lola: 3363372 markings, 15801250 edges, 75910 markings/sec, 40 secs
lola: 3712409 markings, 17542293 edges, 69807 markings/sec, 45 secs
lola: 4040362 markings, 19252238 edges, 65591 markings/sec, 50 secs
lola: 4366261 markings, 20986899 edges, 65180 markings/sec, 55 secs
lola: 4682979 markings, 22694841 edges, 63344 markings/sec, 60 secs
lola: 5017444 markings, 24386904 edges, 66893 markings/sec, 65 secs
lola: 5347530 markings, 26085172 edges, 66017 markings/sec, 70 secs
lola: 5650112 markings, 27821512 edges, 60516 markings/sec, 75 secs
lola: 5944372 markings, 29526830 edges, 58852 markings/sec, 80 secs
lola: 6248125 markings, 31215469 edges, 60751 markings/sec, 85 secs
lola: 6525586 markings, 32958811 edges, 55492 markings/sec, 90 secs
lola: 6811757 markings, 34670550 edges, 57234 markings/sec, 95 secs
lola: 7141847 markings, 36378792 edges, 66018 markings/sec, 100 secs
lola: 7443425 markings, 38111866 edges, 60316 markings/sec, 105 secs
lola: 7746331 markings, 39823607 edges, 60581 markings/sec, 110 secs
lola: 8039598 markings, 41554104 edges, 58653 markings/sec, 115 secs
lola: 8323823 markings, 43271303 edges, 56845 markings/sec, 120 secs
lola: 8593315 markings, 44987277 edges, 53898 markings/sec, 125 secs
lola: 8866218 markings, 46716602 edges, 54581 markings/sec, 130 secs
lola: 9139262 markings, 48435340 edges, 54609 markings/sec, 135 secs
lola: 9404392 markings, 50171086 edges, 53026 markings/sec, 140 secs
lola: 9654012 markings, 51905506 edges, 49924 markings/sec, 145 secs
lola: 9899762 markings, 53623006 edges, 49150 markings/sec, 150 secs
lola: 10169960 markings, 55356945 edges, 54040 markings/sec, 155 secs
lola: 10449877 markings, 57023697 edges, 55983 markings/sec, 160 secs
lola: 10713387 markings, 58726495 edges, 52702 markings/sec, 165 secs
lola: 10964474 markings, 60417865 edges, 50217 markings/sec, 170 secs
lola: 11214453 markings, 62117931 edges, 49996 markings/sec, 175 secs
lola: 11520471 markings, 63832417 edges, 61204 markings/sec, 180 secs
lola: 11827223 markings, 65525788 edges, 61350 markings/sec, 185 secs
lola: 12091735 markings, 67199882 edges, 52902 markings/sec, 190 secs
lola: 12384637 markings, 68836888 edges, 58580 markings/sec, 195 secs
lola: 12652398 markings, 70438915 edges, 53552 markings/sec, 200 secs
lola: 12967265 markings, 72135599 edges, 62973 markings/sec, 205 secs
lola: 13229493 markings, 73815822 edges, 52446 markings/sec, 210 secs
lola: 13509438 markings, 75496089 edges, 55989 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(T57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 428985 markings, 1745718 edges, 85797 markings/sec, 0 secs
lola: 793444 markings, 3534175 edges, 72892 markings/sec, 5 secs
lola: 1149825 markings, 5336309 edges, 71276 markings/sec, 10 secs
lola: 1503300 markings, 7131989 edges, 70695 markings/sec, 15 secs
lola: 1832425 markings, 8948091 edges, 65825 markings/sec, 20 secs
lola: 2158851 markings, 10707079 edges, 65285 markings/sec, 25 secs
lola: 2481955 markings, 12417691 edges, 64621 markings/sec, 30 secs
lola: 2793498 markings, 14110090 edges, 62309 markings/sec, 35 secs
lola: 3099922 markings, 15841885 edges, 61285 markings/sec, 40 secs
lola: 3383055 markings, 17543404 edges, 56627 markings/sec, 45 secs
lola: 3661510 markings, 19257467 edges, 55691 markings/sec, 50 secs
lola: 3932415 markings, 20933813 edges, 54181 markings/sec, 55 secs
lola: 4205182 markings, 22698510 edges, 54553 markings/sec, 60 secs
lola: 4474195 markings, 24442330 edges, 53803 markings/sec, 65 secs
lola: 4764655 markings, 26171950 edges, 58092 markings/sec, 70 secs
lola: 5092714 markings, 27857357 edges, 65612 markings/sec, 75 secs
lola: 5391630 markings, 29514274 edges, 59783 markings/sec, 80 secs
lola: 5698109 markings, 31190858 edges, 61296 markings/sec, 85 secs
lola: 5992949 markings, 32887592 edges, 58968 markings/sec, 90 secs
lola: 6280956 markings, 34633263 edges, 57601 markings/sec, 95 secs
lola: 6568184 markings, 36399258 edges, 57446 markings/sec, 100 secs
lola: 6854592 markings, 38040813 edges, 57282 markings/sec, 105 secs
lola: 7122976 markings, 39710949 edges, 53677 markings/sec, 110 secs
lola: 7384098 markings, 41339107 edges, 52224 markings/sec, 115 secs
lola: 7636904 markings, 42973967 edges, 50561 markings/sec, 120 secs
lola: 7890178 markings, 44660413 edges, 50655 markings/sec, 125 secs
lola: 8150511 markings, 46380580 edges, 52067 markings/sec, 130 secs
lola: 8405927 markings, 48073395 edges, 51083 markings/sec, 135 secs
lola: 8701633 markings, 49831166 edges, 59141 markings/sec, 140 secs
lola: 8978775 markings, 51586106 edges, 55428 markings/sec, 145 secs
lola: 9245341 markings, 53322793 edges, 53313 markings/sec, 150 secs
lola: 9513577 markings, 55072534 edges, 53647 markings/sec, 155 secs
lola: 9798016 markings, 56887409 edges, 56888 markings/sec, 160 secs
lola: 10061124 markings, 58697569 edges, 52622 markings/sec, 165 secs
lola: 10349987 markings, 60475517 edges, 57773 markings/sec, 170 secs
lola: 10646555 markings, 62333416 edges, 59314 markings/sec, 175 secs
lola: 10926507 markings, 64145639 edges, 55990 markings/sec, 180 secs
lola: 11152729 markings, 65903414 edges, 45244 markings/sec, 185 secs
lola: 11367230 markings, 67495246 edges, 42900 markings/sec, 190 secs
lola: 11630985 markings, 69022045 edges, 52751 markings/sec, 195 secs
lola: 11898309 markings, 70634907 edges, 53465 markings/sec, 200 secs
lola: 12152130 markings, 72253845 edges, 50764 markings/sec, 205 secs
lola: 12404328 markings, 73903393 edges, 50440 markings/sec, 210 secs
lola: 12647895 markings, 75536817 edges, 48713 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(T74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 445997 markings, 1742340 edges, 89199 markings/sec, 0 secs
lola: 818493 markings, 3523885 edges, 74499 markings/sec, 5 secs
lola: 1178797 markings, 5295588 edges, 72061 markings/sec, 10 secs
lola: 1520440 markings, 7060641 edges, 68329 markings/sec, 15 secs
lola: 1862217 markings, 8720619 edges, 68355 markings/sec, 20 secs
lola: 2198108 markings, 10438715 edges, 67178 markings/sec, 25 secs
lola: 2502819 markings, 12175087 edges, 60942 markings/sec, 30 secs
lola: 2825328 markings, 13850628 edges, 64502 markings/sec, 35 secs
lola: 3175771 markings, 15556349 edges, 70089 markings/sec, 40 secs
lola: 3499630 markings, 17293116 edges, 64772 markings/sec, 45 secs
lola: 3808896 markings, 18958216 edges, 61853 markings/sec, 50 secs
lola: 4117862 markings, 20587414 edges, 61793 markings/sec, 55 secs
lola: 4417741 markings, 22236096 edges, 59976 markings/sec, 60 secs
lola: 4719946 markings, 23937464 edges, 60441 markings/sec, 65 secs
lola: 5004153 markings, 25618306 edges, 56841 markings/sec, 70 secs
lola: 5287695 markings, 27271635 edges, 56708 markings/sec, 75 secs
lola: 5577450 markings, 28890142 edges, 57951 markings/sec, 80 secs
lola: 5880539 markings, 30509662 edges, 60618 markings/sec, 85 secs
lola: 6162901 markings, 32099888 edges, 56472 markings/sec, 90 secs
lola: 6444310 markings, 33715989 edges, 56282 markings/sec, 95 secs
lola: 6726158 markings, 35331498 edges, 56370 markings/sec, 100 secs
lola: 7014985 markings, 36963591 edges, 57765 markings/sec, 105 secs
lola: 7289869 markings, 38643480 edges, 54977 markings/sec, 110 secs
lola: 7552716 markings, 40294147 edges, 52569 markings/sec, 115 secs
lola: 7806242 markings, 41958120 edges, 50705 markings/sec, 120 secs
lola: 8061289 markings, 43551620 edges, 51009 markings/sec, 125 secs
lola: 8331140 markings, 45169049 edges, 53970 markings/sec, 130 secs
lola: 8584331 markings, 46773958 edges, 50638 markings/sec, 135 secs
lola: 8859789 markings, 48413543 edges, 55092 markings/sec, 140 secs
lola: 9132442 markings, 50091544 edges, 54531 markings/sec, 145 secs
lola: 9390461 markings, 51771856 edges, 51604 markings/sec, 150 secs
lola: 9658935 markings, 53481107 edges, 53695 markings/sec, 155 secs
lola: 9915498 markings, 55157682 edges, 51313 markings/sec, 160 secs
lola: 10176171 markings, 56854828 edges, 52135 markings/sec, 165 secs
lola: 10416234 markings, 58564227 edges, 48013 markings/sec, 170 secs
lola: 10655225 markings, 60205443 edges, 47798 markings/sec, 175 secs
lola: 10882297 markings, 61904258 edges, 45414 markings/sec, 180 secs
lola: 11118103 markings, 63568463 edges, 47161 markings/sec, 185 secs
lola: 11396359 markings, 65199775 edges, 55651 markings/sec, 190 secs
lola: 11682377 markings, 66842379 edges, 57204 markings/sec, 195 secs
lola: 11945895 markings, 68515945 edges, 52704 markings/sec, 200 secs
lola: 12206185 markings, 70137180 edges, 52058 markings/sec, 205 secs
lola: 12477428 markings, 71796799 edges, 54249 markings/sec, 210 secs
lola: 12729589 markings, 73440278 edges, 50432 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T75)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 418495 markings, 1831942 edges, 83699 markings/sec, 0 secs
lola: 776587 markings, 3638718 edges, 71618 markings/sec, 5 secs
lola: 1124749 markings, 5445524 edges, 69632 markings/sec, 10 secs
lola: 1447116 markings, 7249413 edges, 64473 markings/sec, 15 secs
lola: 1774964 markings, 8996951 edges, 65570 markings/sec, 20 secs
lola: 2089606 markings, 10724811 edges, 62928 markings/sec, 25 secs
lola: 2402743 markings, 12476071 edges, 62627 markings/sec, 30 secs
lola: 2702668 markings, 14217974 edges, 59985 markings/sec, 35 secs
lola: 3021562 markings, 15895255 edges, 63779 markings/sec, 40 secs
lola: 3320772 markings, 17503745 edges, 59842 markings/sec, 45 secs
lola: 3612822 markings, 19117471 edges, 58410 markings/sec, 50 secs
lola: 3891005 markings, 20785839 edges, 55637 markings/sec, 55 secs
lola: 4177214 markings, 22482884 edges, 57242 markings/sec, 60 secs
lola: 4477351 markings, 24214528 edges, 60027 markings/sec, 65 secs
lola: 4759623 markings, 25972809 edges, 56454 markings/sec, 70 secs
lola: 5026034 markings, 27683505 edges, 53282 markings/sec, 75 secs
lola: 5303090 markings, 29450595 edges, 55411 markings/sec, 80 secs
lola: 5574085 markings, 31214107 edges, 54199 markings/sec, 85 secs
lola: 5827674 markings, 32876085 edges, 50718 markings/sec, 90 secs
lola: 6057413 markings, 34557319 edges, 45948 markings/sec, 95 secs
lola: 6393220 markings, 36274661 edges, 67161 markings/sec, 100 secs
lola: 6683507 markings, 38035309 edges, 58057 markings/sec, 105 secs
lola: 6974177 markings, 39812794 edges, 58134 markings/sec, 110 secs
lola: 7264348 markings, 41503772 edges, 58034 markings/sec, 115 secs
lola: 7542878 markings, 43198393 edges, 55706 markings/sec, 120 secs
lola: 7834136 markings, 44863414 edges, 58252 markings/sec, 125 secs
lola: 8104769 markings, 46496384 edges, 54127 markings/sec, 130 secs
lola: 8374861 markings, 48167294 edges, 54018 markings/sec, 135 secs
lola: 8650125 markings, 49760789 edges, 55053 markings/sec, 140 secs
lola: 8913918 markings, 51381165 edges, 52759 markings/sec, 145 secs
lola: 9157161 markings, 53019979 edges, 48649 markings/sec, 150 secs
lola: 9415314 markings, 54682266 edges, 51631 markings/sec, 155 secs
lola: 9655191 markings, 56340352 edges, 47975 markings/sec, 160 secs
lola: 9886500 markings, 58016395 edges, 46262 markings/sec, 165 secs
lola: 10114585 markings, 59657576 edges, 45617 markings/sec, 170 secs
lola: 10338187 markings, 61344870 edges, 44720 markings/sec, 175 secs
lola: 10544888 markings, 62969489 edges, 41340 markings/sec, 180 secs
lola: 10788401 markings, 64597972 edges, 48703 markings/sec, 185 secs
lola: 11043743 markings, 66197861 edges, 51068 markings/sec, 190 secs
lola: 11291684 markings, 67820717 edges, 49588 markings/sec, 195 secs
lola: 11527527 markings, 69475944 edges, 47169 markings/sec, 200 secs
lola: 11753814 markings, 71169412 edges, 45257 markings/sec, 205 secs
lola: 11966949 markings, 72844421 edges, 42627 markings/sec, 210 secs
lola: 12170080 markings, 74543662 edges, 40626 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(F73)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 404661 markings, 1751138 edges, 80932 markings/sec, 0 secs
lola: 758993 markings, 3470013 edges, 70866 markings/sec, 5 secs
lola: 1101295 markings, 5161596 edges, 68460 markings/sec, 10 secs
lola: 1425376 markings, 6886839 edges, 64816 markings/sec, 15 secs
lola: 1757141 markings, 8495264 edges, 66353 markings/sec, 20 secs
lola: 2082616 markings, 10186592 edges, 65095 markings/sec, 25 secs
lola: 2385908 markings, 11857077 edges, 60658 markings/sec, 30 secs
lola: 2680950 markings, 13475629 edges, 59008 markings/sec, 35 secs
lola: 2992802 markings, 15113941 edges, 62370 markings/sec, 40 secs
lola: 3301407 markings, 16798028 edges, 61721 markings/sec, 45 secs
lola: 3593111 markings, 18458068 edges, 58341 markings/sec, 50 secs
lola: 3873716 markings, 20111068 edges, 56121 markings/sec, 55 secs
lola: 4142452 markings, 21764528 edges, 53747 markings/sec, 60 secs
lola: 4406070 markings, 23441372 edges, 52724 markings/sec, 65 secs
lola: 4676079 markings, 25136674 edges, 54002 markings/sec, 70 secs
lola: 4939416 markings, 26829466 edges, 52667 markings/sec, 75 secs
lola: 5192416 markings, 28527609 edges, 50600 markings/sec, 80 secs
lola: 5465760 markings, 30237203 edges, 54669 markings/sec, 85 secs
lola: 5750609 markings, 31907698 edges, 56970 markings/sec, 90 secs
lola: 6013524 markings, 33617588 edges, 52583 markings/sec, 95 secs
lola: 6274852 markings, 35318476 edges, 52266 markings/sec, 100 secs
lola: 6522756 markings, 36927859 edges, 49581 markings/sec, 105 secs
lola: 6803991 markings, 38525358 edges, 56247 markings/sec, 110 secs
lola: 7112577 markings, 40166011 edges, 61717 markings/sec, 115 secs
lola: 7398408 markings, 41853655 edges, 57166 markings/sec, 120 secs
lola: 7679688 markings, 43547009 edges, 56256 markings/sec, 125 secs
lola: 7965586 markings, 45230655 edges, 57180 markings/sec, 130 secs
lola: 8236251 markings, 46933904 edges, 54133 markings/sec, 135 secs
lola: 8504219 markings, 48659442 edges, 53594 markings/sec, 140 secs
lola: 8764211 markings, 50364708 edges, 51998 markings/sec, 145 secs
lola: 9031209 markings, 51996420 edges, 53400 markings/sec, 150 secs
lola: 9286975 markings, 53668654 edges, 51153 markings/sec, 155 secs
lola: 9529757 markings, 55304673 edges, 48556 markings/sec, 160 secs
lola: 9768421 markings, 56978580 edges, 47733 markings/sec, 165 secs
lola: 10004059 markings, 58625681 edges, 47128 markings/sec, 170 secs
lola: 10272326 markings, 60243745 edges, 53653 markings/sec, 175 secs
lola: 10544562 markings, 61868051 edges, 54447 markings/sec, 180 secs
lola: 10801065 markings, 63537039 edges, 51301 markings/sec, 185 secs
lola: 11053755 markings, 65226726 edges, 50538 markings/sec, 190 secs
lola: 11304797 markings, 66866374 edges, 50208 markings/sec, 195 secs
lola: 11542485 markings, 68512153 edges, 47538 markings/sec, 200 secs
lola: 11769164 markings, 70119172 edges, 45336 markings/sec, 205 secs
lola: 12009343 markings, 71757120 edges, 48036 markings/sec, 210 secs
lola: 12237323 markings, 73393808 edges, 45596 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-EngCT7x7-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496562088400

--------------------
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-EngCT7x7"
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-EngCT7x7.tgz
mv S_Solitaire-PT-EngCT7x7 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-EngCT7x7, 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-149443463900065"
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 ;