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

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

=== Now, execution of the tool begins

BK_START 1496560088263


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


checking for too many tokens
===========================================================================================
S_Solitaire-PT-FrnNC7x7: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Solitaire-PT-FrnNC7x7 @ 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: 166/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 74 places, 92 transitions, 37 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 184 transition conflict sets
lola: TASK
lola: reading formula from Solitaire-PT-FrnNC7x7-UpperBounds.task
lola: MAX(T34) : MAX(T73) : MAX(T75) : MAX(T54) : MAX(F37) : MAX(T42) : MAX(T54) : MAX(F73) : MAX(T52) : MAX(T36) : MAX(F37) : MAX(T44) : MAX(T63) : MAX(F25) : MAX(F52) : MAX(F45)
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(T34)
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: 512948 markings, 1804240 edges, 102590 markings/sec, 0 secs
lola: 971653 markings, 3664743 edges, 91741 markings/sec, 5 secs
lola: 1407791 markings, 5558026 edges, 87228 markings/sec, 10 secs
lola: 1833047 markings, 7474907 edges, 85051 markings/sec, 15 secs
lola: 2255259 markings, 9384151 edges, 84442 markings/sec, 20 secs
lola: 2686077 markings, 11283406 edges, 86164 markings/sec, 25 secs
lola: 3063857 markings, 13207285 edges, 75556 markings/sec, 30 secs
lola: 3457197 markings, 15063469 edges, 78668 markings/sec, 35 secs
lola: 3873874 markings, 16825706 edges, 83335 markings/sec, 40 secs
lola: 4262973 markings, 18617455 edges, 77820 markings/sec, 45 secs
lola: 4645579 markings, 20425726 edges, 76521 markings/sec, 50 secs
lola: 5034282 markings, 22355016 edges, 77741 markings/sec, 55 secs
lola: 5385018 markings, 24233221 edges, 70147 markings/sec, 60 secs
lola: 5734899 markings, 26087859 edges, 69976 markings/sec, 65 secs
lola: 6122193 markings, 27996383 edges, 77459 markings/sec, 70 secs
lola: 6485069 markings, 29799438 edges, 72575 markings/sec, 75 secs
lola: 6849329 markings, 31548561 edges, 72852 markings/sec, 80 secs
lola: 7191141 markings, 33313252 edges, 68362 markings/sec, 85 secs
lola: 7509509 markings, 35086015 edges, 63674 markings/sec, 90 secs
lola: 7838365 markings, 36887438 edges, 65771 markings/sec, 95 secs
lola: 8182562 markings, 38605287 edges, 68839 markings/sec, 100 secs
lola: 8494010 markings, 40352076 edges, 62290 markings/sec, 105 secs
lola: 8820947 markings, 42123934 edges, 65387 markings/sec, 110 secs
lola: 9139243 markings, 43941260 edges, 63659 markings/sec, 115 secs
lola: 9442334 markings, 45704345 edges, 60618 markings/sec, 120 secs
lola: 9724799 markings, 47439604 edges, 56493 markings/sec, 125 secs
lola: 10119715 markings, 49213442 edges, 78983 markings/sec, 130 secs
lola: 10496783 markings, 50980916 edges, 75414 markings/sec, 135 secs
lola: 10877004 markings, 52769418 edges, 76044 markings/sec, 140 secs
lola: 11211972 markings, 54551107 edges, 66994 markings/sec, 145 secs
lola: 11593015 markings, 56370572 edges, 76209 markings/sec, 150 secs
lola: 11947682 markings, 58203285 edges, 70933 markings/sec, 155 secs
lola: 12291819 markings, 60012981 edges, 68827 markings/sec, 160 secs
lola: 12625399 markings, 61788773 edges, 66716 markings/sec, 165 secs
lola: 13004168 markings, 63633496 edges, 75754 markings/sec, 170 secs
lola: 13335121 markings, 65464023 edges, 66191 markings/sec, 175 secs
lola: 13647931 markings, 67301753 edges, 62562 markings/sec, 180 secs
lola: 13924357 markings, 69120573 edges, 55285 markings/sec, 185 secs
lola: 14258704 markings, 70864720 edges, 66869 markings/sec, 190 secs
lola: 14577297 markings, 72675143 edges, 63719 markings/sec, 195 secs
lola: 14894149 markings, 74475877 edges, 63370 markings/sec, 200 secs
lola: 15190382 markings, 76272711 edges, 59247 markings/sec, 205 secs
lola: 15479874 markings, 78027731 edges, 57898 markings/sec, 210 secs
lola: 15789276 markings, 79768219 edges, 61880 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(T73)
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: 495935 markings, 1812321 edges, 99187 markings/sec, 0 secs
lola: 915617 markings, 3613332 edges, 83936 markings/sec, 5 secs
lola: 1309278 markings, 5375273 edges, 78732 markings/sec, 10 secs
lola: 1657246 markings, 7170735 edges, 69594 markings/sec, 15 secs
lola: 1993240 markings, 8939276 edges, 67199 markings/sec, 20 secs
lola: 2379212 markings, 10630588 edges, 77194 markings/sec, 25 secs
lola: 2724136 markings, 12355494 edges, 68985 markings/sec, 30 secs
lola: 3045314 markings, 14111349 edges, 64236 markings/sec, 35 secs
lola: 3394578 markings, 15824128 edges, 69853 markings/sec, 40 secs
lola: 3728615 markings, 17504914 edges, 66807 markings/sec, 45 secs
lola: 4037090 markings, 19214784 edges, 61695 markings/sec, 50 secs
lola: 4335525 markings, 20949560 edges, 59687 markings/sec, 55 secs
lola: 4676202 markings, 22619432 edges, 68135 markings/sec, 60 secs
lola: 5041623 markings, 24260300 edges, 73084 markings/sec, 65 secs
lola: 5379469 markings, 25975051 edges, 67569 markings/sec, 70 secs
lola: 5693616 markings, 27627657 edges, 62829 markings/sec, 75 secs
lola: 5992959 markings, 29284338 edges, 59869 markings/sec, 80 secs
lola: 6298120 markings, 30966662 edges, 61032 markings/sec, 85 secs
lola: 6625014 markings, 32707100 edges, 65379 markings/sec, 90 secs
lola: 6906817 markings, 34478111 edges, 56361 markings/sec, 95 secs
lola: 7236973 markings, 36113289 edges, 66031 markings/sec, 100 secs
lola: 7542196 markings, 37767197 edges, 61045 markings/sec, 105 secs
lola: 7832578 markings, 39403455 edges, 58076 markings/sec, 110 secs
lola: 8141581 markings, 41065012 edges, 61801 markings/sec, 115 secs
lola: 8473188 markings, 42782706 edges, 66321 markings/sec, 120 secs
lola: 8745395 markings, 44456475 edges, 54441 markings/sec, 125 secs
lola: 9042600 markings, 46130060 edges, 59441 markings/sec, 130 secs
lola: 9330605 markings, 47860436 edges, 57601 markings/sec, 135 secs
lola: 9598439 markings, 49533446 edges, 53567 markings/sec, 140 secs
lola: 9863807 markings, 51228061 edges, 53074 markings/sec, 145 secs
lola: 10172894 markings, 52957535 edges, 61817 markings/sec, 150 secs
lola: 10465255 markings, 54668237 edges, 58472 markings/sec, 155 secs
lola: 10810224 markings, 56248440 edges, 68994 markings/sec, 160 secs
lola: 11146567 markings, 57786403 edges, 67269 markings/sec, 165 secs
lola: 11491674 markings, 59358031 edges, 69021 markings/sec, 170 secs
lola: 11824068 markings, 60934133 edges, 66479 markings/sec, 175 secs
lola: 12143560 markings, 62462382 edges, 63898 markings/sec, 180 secs
lola: 12423442 markings, 64036036 edges, 55976 markings/sec, 185 secs
lola: 12705928 markings, 65613684 edges, 56497 markings/sec, 190 secs
lola: 13032745 markings, 67215098 edges, 65363 markings/sec, 195 secs
lola: 13339183 markings, 68880115 edges, 61288 markings/sec, 200 secs
lola: 13636480 markings, 70515294 edges, 59459 markings/sec, 205 secs
lola: 13914285 markings, 72140291 edges, 55561 markings/sec, 210 secs
lola: 14225208 markings, 73587973 edges, 62185 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(T75)
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: 526124 markings, 1871055 edges, 105225 markings/sec, 0 secs
lola: 965481 markings, 3673005 edges, 87871 markings/sec, 5 secs
lola: 1398363 markings, 5338575 edges, 86576 markings/sec, 10 secs
lola: 1759947 markings, 7095198 edges, 72317 markings/sec, 15 secs
lola: 2135892 markings, 8816678 edges, 75189 markings/sec, 20 secs
lola: 2488617 markings, 10533086 edges, 70545 markings/sec, 25 secs
lola: 2892626 markings, 12130910 edges, 80802 markings/sec, 30 secs
lola: 3263862 markings, 13736954 edges, 74247 markings/sec, 35 secs
lola: 3590569 markings, 15399396 edges, 65341 markings/sec, 40 secs
lola: 3944133 markings, 17067974 edges, 70713 markings/sec, 45 secs
lola: 4278815 markings, 18673618 edges, 66936 markings/sec, 50 secs
lola: 4600482 markings, 20323708 edges, 64333 markings/sec, 55 secs
lola: 4948118 markings, 21972619 edges, 69527 markings/sec, 60 secs
lola: 5277278 markings, 23609185 edges, 65832 markings/sec, 65 secs
lola: 5575874 markings, 25259339 edges, 59719 markings/sec, 70 secs
lola: 5884100 markings, 26998340 edges, 61645 markings/sec, 75 secs
lola: 6194629 markings, 28644935 edges, 62106 markings/sec, 80 secs
lola: 6518470 markings, 30209321 edges, 64768 markings/sec, 85 secs
lola: 6865306 markings, 31746065 edges, 69367 markings/sec, 90 secs
lola: 7168925 markings, 33273085 edges, 60724 markings/sec, 95 secs
lola: 7464948 markings, 34833686 edges, 59205 markings/sec, 100 secs
lola: 7786126 markings, 36463898 edges, 64236 markings/sec, 105 secs
lola: 8100251 markings, 38055726 edges, 62825 markings/sec, 110 secs
lola: 8408678 markings, 39654172 edges, 61685 markings/sec, 115 secs
lola: 8667417 markings, 41242026 edges, 51748 markings/sec, 120 secs
lola: 8932942 markings, 42905212 edges, 53105 markings/sec, 125 secs
lola: 9211942 markings, 44550190 edges, 55800 markings/sec, 130 secs
lola: 9497160 markings, 46105480 edges, 57044 markings/sec, 135 secs
lola: 9761190 markings, 47711084 edges, 52806 markings/sec, 140 secs
lola: 10016875 markings, 49394005 edges, 51137 markings/sec, 145 secs
lola: 10285934 markings, 51093517 edges, 53812 markings/sec, 150 secs
lola: 10614543 markings, 52633221 edges, 65722 markings/sec, 155 secs
lola: 10923243 markings, 54226836 edges, 61740 markings/sec, 160 secs
lola: 11246843 markings, 55864224 edges, 64720 markings/sec, 165 secs
lola: 11540523 markings, 57537366 edges, 58736 markings/sec, 170 secs
lola: 11830986 markings, 59224080 edges, 58093 markings/sec, 175 secs
lola: 12151724 markings, 60714594 edges, 64148 markings/sec, 180 secs
lola: 12458818 markings, 62189344 edges, 61419 markings/sec, 185 secs
lola: 12752148 markings, 63663830 edges, 58666 markings/sec, 190 secs
lola: 13009677 markings, 65230778 edges, 51506 markings/sec, 195 secs
lola: 13274649 markings, 66755478 edges, 52994 markings/sec, 200 secs
lola: 13531043 markings, 68365983 edges, 51279 markings/sec, 205 secs
lola: 13848728 markings, 69941430 edges, 63537 markings/sec, 210 secs
lola: 14139998 markings, 71534106 edges, 58254 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(T54)
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: 495200 markings, 1753226 edges, 99040 markings/sec, 0 secs
lola: 920059 markings, 3464145 edges, 84972 markings/sec, 5 secs
lola: 1318423 markings, 5115909 edges, 79673 markings/sec, 10 secs
lola: 1674162 markings, 6725385 edges, 71148 markings/sec, 15 secs
lola: 2034145 markings, 8361158 edges, 71997 markings/sec, 20 secs
lola: 2357613 markings, 9963134 edges, 64694 markings/sec, 25 secs
lola: 2778460 markings, 11610697 edges, 84169 markings/sec, 30 secs
lola: 3137272 markings, 13228884 edges, 71762 markings/sec, 35 secs
lola: 3502091 markings, 14860807 edges, 72964 markings/sec, 40 secs
lola: 3839483 markings, 16464379 edges, 67478 markings/sec, 45 secs
lola: 4173016 markings, 18039696 edges, 66707 markings/sec, 50 secs
lola: 4489116 markings, 19663613 edges, 63220 markings/sec, 55 secs
lola: 4803654 markings, 21233930 edges, 62908 markings/sec, 60 secs
lola: 5153388 markings, 22911328 edges, 69947 markings/sec, 65 secs
lola: 5487514 markings, 24606941 edges, 66825 markings/sec, 70 secs
lola: 5857606 markings, 26334019 edges, 74018 markings/sec, 75 secs
lola: 6192886 markings, 28024378 edges, 67056 markings/sec, 80 secs
lola: 6524071 markings, 29658088 edges, 66237 markings/sec, 85 secs
lola: 6841573 markings, 31338078 edges, 63500 markings/sec, 90 secs
lola: 7128439 markings, 32999460 edges, 57373 markings/sec, 95 secs
lola: 7457363 markings, 34676888 edges, 65785 markings/sec, 100 secs
lola: 7783090 markings, 36334628 edges, 65145 markings/sec, 105 secs
lola: 8101916 markings, 38019969 edges, 63765 markings/sec, 110 secs
lola: 8413175 markings, 39732007 edges, 62252 markings/sec, 115 secs
lola: 8698761 markings, 41368140 edges, 57117 markings/sec, 120 secs
lola: 8963993 markings, 43022346 edges, 53046 markings/sec, 125 secs
lola: 9359759 markings, 44778821 edges, 79153 markings/sec, 130 secs
lola: 9723559 markings, 46527057 edges, 72760 markings/sec, 135 secs
lola: 10104055 markings, 48263479 edges, 76099 markings/sec, 140 secs
lola: 10463610 markings, 50023324 edges, 71911 markings/sec, 145 secs
lola: 10811296 markings, 51756651 edges, 69537 markings/sec, 150 secs
lola: 11131996 markings, 53461062 edges, 64140 markings/sec, 155 secs
lola: 11449399 markings, 55184327 edges, 63481 markings/sec, 160 secs
lola: 11783515 markings, 56842921 edges, 66823 markings/sec, 165 secs
lola: 12106260 markings, 58542097 edges, 64549 markings/sec, 170 secs
lola: 12413464 markings, 60135655 edges, 61441 markings/sec, 175 secs
lola: 12698943 markings, 61779924 edges, 57096 markings/sec, 180 secs
lola: 12977229 markings, 63450250 edges, 55657 markings/sec, 185 secs
lola: 13271739 markings, 65027724 edges, 58902 markings/sec, 190 secs
lola: 13651153 markings, 66591801 edges, 75883 markings/sec, 195 secs
lola: 14001352 markings, 68144274 edges, 70040 markings/sec, 200 secs
lola: 14355409 markings, 69748032 edges, 70811 markings/sec, 205 secs
lola: 14661565 markings, 71324560 edges, 61231 markings/sec, 210 secs
lola: 14968785 markings, 72911273 edges, 61444 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(F37)
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: 495568 markings, 1877931 edges, 99114 markings/sec, 0 secs
lola: 912458 markings, 3802309 edges, 83378 markings/sec, 5 secs
lola: 1311932 markings, 5727117 edges, 79895 markings/sec, 10 secs
lola: 1733836 markings, 7640955 edges, 84381 markings/sec, 15 secs
lola: 2140956 markings, 9546583 edges, 81424 markings/sec, 20 secs
lola: 2551248 markings, 11456055 edges, 82058 markings/sec, 25 secs
lola: 2936763 markings, 13346079 edges, 77103 markings/sec, 30 secs
lola: 3304843 markings, 15276262 edges, 73616 markings/sec, 35 secs
lola: 3676913 markings, 17108996 edges, 74414 markings/sec, 40 secs
lola: 4023071 markings, 18960990 edges, 69232 markings/sec, 45 secs
lola: 4362720 markings, 20732016 edges, 67930 markings/sec, 50 secs
lola: 4728085 markings, 22604119 edges, 73073 markings/sec, 55 secs
lola: 5066113 markings, 24365198 edges, 67606 markings/sec, 60 secs
lola: 5421901 markings, 26256163 edges, 71158 markings/sec, 65 secs
lola: 5778168 markings, 28191792 edges, 71253 markings/sec, 70 secs
lola: 6111042 markings, 30061400 edges, 66575 markings/sec, 75 secs
lola: 6434604 markings, 31925264 edges, 64712 markings/sec, 80 secs
lola: 6735006 markings, 33771186 edges, 60080 markings/sec, 85 secs
lola: 7085566 markings, 35642262 edges, 70112 markings/sec, 90 secs
lola: 7440469 markings, 37543984 edges, 70981 markings/sec, 95 secs
lola: 7767131 markings, 39470435 edges, 65332 markings/sec, 100 secs
lola: 8101822 markings, 41338548 edges, 66938 markings/sec, 105 secs
lola: 8416320 markings, 43205157 edges, 62900 markings/sec, 110 secs
lola: 8753545 markings, 45102850 edges, 67445 markings/sec, 115 secs
lola: 9040839 markings, 47008777 edges, 57459 markings/sec, 120 secs
lola: 9350940 markings, 48839076 edges, 62020 markings/sec, 125 secs
lola: 9653882 markings, 50691101 edges, 60588 markings/sec, 130 secs
lola: 9946330 markings, 52546593 edges, 58490 markings/sec, 135 secs
lola: 10218733 markings, 54418140 edges, 54481 markings/sec, 140 secs
lola: 10601355 markings, 56230038 edges, 76524 markings/sec, 145 secs
lola: 10979565 markings, 58053290 edges, 75642 markings/sec, 150 secs
lola: 11324819 markings, 59854700 edges, 69051 markings/sec, 155 secs
lola: 11625290 markings, 61628195 edges, 60094 markings/sec, 160 secs
lola: 11937873 markings, 63379496 edges, 62517 markings/sec, 165 secs
lola: 12290489 markings, 65207006 edges, 70523 markings/sec, 170 secs
lola: 12633296 markings, 67007905 edges, 68561 markings/sec, 175 secs
lola: 12984173 markings, 68833513 edges, 70175 markings/sec, 180 secs
lola: 13300812 markings, 70622629 edges, 63328 markings/sec, 185 secs
lola: 13641541 markings, 72410141 edges, 68146 markings/sec, 190 secs
lola: 13963467 markings, 74202299 edges, 64385 markings/sec, 195 secs
lola: 14315845 markings, 76044086 edges, 70476 markings/sec, 200 secs
lola: 14622291 markings, 77855442 edges, 61289 markings/sec, 205 secs
lola: 14927261 markings, 79648517 edges, 60994 markings/sec, 210 secs
lola: 15238202 markings, 81385328 edges, 62188 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(T42)
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: 500005 markings, 1892026 edges, 100001 markings/sec, 0 secs
lola: 908007 markings, 3756892 edges, 81600 markings/sec, 5 secs
lola: 1349993 markings, 5575592 edges, 88397 markings/sec, 10 secs
lola: 1768598 markings, 7435260 edges, 83721 markings/sec, 15 secs
lola: 2194909 markings, 9235165 edges, 85262 markings/sec, 20 secs
lola: 2568207 markings, 11051441 edges, 74660 markings/sec, 25 secs
lola: 2952877 markings, 12860426 edges, 76934 markings/sec, 30 secs
lola: 3343821 markings, 14735889 edges, 78189 markings/sec, 35 secs
lola: 3742146 markings, 16580069 edges, 79665 markings/sec, 40 secs
lola: 4124013 markings, 18427035 edges, 76373 markings/sec, 45 secs
lola: 4504925 markings, 20197997 edges, 76182 markings/sec, 50 secs
lola: 4888888 markings, 22012205 edges, 76793 markings/sec, 55 secs
lola: 5238819 markings, 23731560 edges, 69986 markings/sec, 60 secs
lola: 5574391 markings, 25426376 edges, 67114 markings/sec, 65 secs
lola: 5903109 markings, 27102200 edges, 65744 markings/sec, 70 secs
lola: 6232708 markings, 28828082 edges, 65920 markings/sec, 75 secs
lola: 6523495 markings, 30495367 edges, 58157 markings/sec, 80 secs
lola: 6876740 markings, 32289256 edges, 70649 markings/sec, 85 secs
lola: 7212723 markings, 34013733 edges, 67197 markings/sec, 90 secs
lola: 7523224 markings, 35835367 edges, 62100 markings/sec, 95 secs
lola: 7874612 markings, 37665964 edges, 70278 markings/sec, 100 secs
lola: 8190549 markings, 39525907 edges, 63187 markings/sec, 105 secs
lola: 8500141 markings, 41353329 edges, 61918 markings/sec, 110 secs
lola: 8826854 markings, 43111928 edges, 65343 markings/sec, 115 secs
lola: 9202822 markings, 44793799 edges, 75194 markings/sec, 120 secs
lola: 9565179 markings, 46518364 edges, 72471 markings/sec, 125 secs
lola: 9901631 markings, 48221967 edges, 67290 markings/sec, 130 secs
lola: 10229778 markings, 49970744 edges, 65629 markings/sec, 135 secs
lola: 10533582 markings, 51629513 edges, 60761 markings/sec, 140 secs
lola: 10866002 markings, 53298784 edges, 66484 markings/sec, 145 secs
lola: 11196617 markings, 55028081 edges, 66123 markings/sec, 150 secs
lola: 11523893 markings, 56809219 edges, 65455 markings/sec, 155 secs
lola: 11818725 markings, 58620609 edges, 58966 markings/sec, 160 secs
lola: 12158134 markings, 60439350 edges, 67882 markings/sec, 165 secs
lola: 12498337 markings, 62199456 edges, 68041 markings/sec, 170 secs
lola: 12817253 markings, 63964825 edges, 63783 markings/sec, 175 secs
lola: 13125637 markings, 65789812 edges, 61677 markings/sec, 180 secs
lola: 13432862 markings, 67617768 edges, 61445 markings/sec, 185 secs
lola: 13723091 markings, 69399027 edges, 58046 markings/sec, 190 secs
lola: 14004671 markings, 71175206 edges, 56316 markings/sec, 195 secs
lola: 14342921 markings, 72916419 edges, 67650 markings/sec, 200 secs
lola: 14633515 markings, 74529251 edges, 58119 markings/sec, 205 secs
lola: 14927703 markings, 76173776 edges, 58838 markings/sec, 210 secs
lola: 15244085 markings, 77910603 edges, 63276 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(T54)
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: 503062 markings, 1782340 edges, 100612 markings/sec, 0 secs
lola: 940869 markings, 3549176 edges, 87561 markings/sec, 5 secs
lola: 1353526 markings, 5298778 edges, 82531 markings/sec, 10 secs
lola: 1726172 markings, 7000492 edges, 74529 markings/sec, 15 secs
lola: 2091076 markings, 8622100 edges, 72981 markings/sec, 20 secs
lola: 2432265 markings, 10238245 edges, 68238 markings/sec, 25 secs
lola: 2836912 markings, 11856892 edges, 80929 markings/sec, 30 secs
lola: 3190183 markings, 13467452 edges, 70654 markings/sec, 35 secs
lola: 3549585 markings, 15090580 edges, 71880 markings/sec, 40 secs
lola: 3886710 markings, 16665563 edges, 67425 markings/sec, 45 secs
lola: 4230559 markings, 18321752 edges, 68770 markings/sec, 50 secs
lola: 4549786 markings, 19967944 edges, 63845 markings/sec, 55 secs
lola: 4848441 markings, 21455281 edges, 59731 markings/sec, 60 secs
lola: 5182367 markings, 23032221 edges, 66785 markings/sec, 65 secs
lola: 5468792 markings, 24533685 edges, 57285 markings/sec, 70 secs
lola: 5801841 markings, 26083568 edges, 66610 markings/sec, 75 secs
lola: 6121011 markings, 27663442 edges, 63834 markings/sec, 80 secs
lola: 6433439 markings, 29155762 edges, 62486 markings/sec, 85 secs
lola: 6727828 markings, 30725386 edges, 58878 markings/sec, 90 secs
lola: 7019769 markings, 32390918 edges, 58388 markings/sec, 95 secs
lola: 7319665 markings, 34003087 edges, 59979 markings/sec, 100 secs
lola: 7650274 markings, 35637874 edges, 66122 markings/sec, 105 secs
lola: 7953405 markings, 37277936 edges, 60626 markings/sec, 110 secs
lola: 8281626 markings, 38983252 edges, 65644 markings/sec, 115 secs
lola: 8573176 markings, 40610226 edges, 58310 markings/sec, 120 secs
lola: 8836037 markings, 42230371 edges, 52572 markings/sec, 125 secs
lola: 9175450 markings, 43900689 edges, 67883 markings/sec, 130 secs
lola: 9519075 markings, 45630312 edges, 68725 markings/sec, 135 secs
lola: 9908654 markings, 47349941 edges, 77916 markings/sec, 140 secs
lola: 10275019 markings, 49096827 edges, 73273 markings/sec, 145 secs
lola: 10634485 markings, 50827517 edges, 71893 markings/sec, 150 secs
lola: 10958437 markings, 52558013 edges, 64790 markings/sec, 155 secs
lola: 11287131 markings, 54257380 edges, 65739 markings/sec, 160 secs
lola: 11602286 markings, 55931409 edges, 63031 markings/sec, 165 secs
lola: 11934504 markings, 57614784 edges, 66444 markings/sec, 170 secs
lola: 12225480 markings, 59192755 edges, 58195 markings/sec, 175 secs
lola: 12516097 markings, 60745008 edges, 58123 markings/sec, 180 secs
lola: 12797999 markings, 62349258 edges, 56380 markings/sec, 185 secs
lola: 13055801 markings, 63922138 edges, 51560 markings/sec, 190 secs
lola: 13373752 markings, 65452405 edges, 63590 markings/sec, 195 secs
lola: 13747832 markings, 67002205 edges, 74816 markings/sec, 200 secs
lola: 14090762 markings, 68540246 edges, 68586 markings/sec, 205 secs
lola: 14428516 markings, 70134988 edges, 67551 markings/sec, 210 secs
lola: 14730992 markings, 71670258 edges, 60495 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(F73)
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: 495925 markings, 1870426 edges, 99185 markings/sec, 0 secs
lola: 908443 markings, 3671823 edges, 82504 markings/sec, 5 secs
lola: 1291440 markings, 5445011 edges, 76599 markings/sec, 10 secs
lola: 1697524 markings, 7256072 edges, 81217 markings/sec, 15 secs
lola: 2057017 markings, 9074205 edges, 71899 markings/sec, 20 secs
lola: 2389316 markings, 10844092 edges, 66460 markings/sec, 25 secs
lola: 2717669 markings, 12662106 edges, 65671 markings/sec, 30 secs
lola: 3054883 markings, 14348085 edges, 67443 markings/sec, 35 secs
lola: 3387530 markings, 15962217 edges, 66529 markings/sec, 40 secs
lola: 3703203 markings, 17623714 edges, 63135 markings/sec, 45 secs
lola: 4058495 markings, 19276563 edges, 71058 markings/sec, 50 secs
lola: 4403781 markings, 20976174 edges, 69057 markings/sec, 55 secs
lola: 4720481 markings, 22716018 edges, 63340 markings/sec, 60 secs
lola: 5043637 markings, 24404771 edges, 64631 markings/sec, 65 secs
lola: 5337791 markings, 26149403 edges, 58831 markings/sec, 70 secs
lola: 5626958 markings, 27796155 edges, 57833 markings/sec, 75 secs
lola: 5878205 markings, 29483072 edges, 50249 markings/sec, 80 secs
lola: 6191719 markings, 30967669 edges, 62703 markings/sec, 85 secs
lola: 6483435 markings, 32394470 edges, 58343 markings/sec, 90 secs
lola: 6735733 markings, 33876436 edges, 50460 markings/sec, 95 secs
lola: 6998973 markings, 35423539 edges, 52648 markings/sec, 100 secs
lola: 7257070 markings, 36852146 edges, 51619 markings/sec, 105 secs
lola: 7556116 markings, 38317211 edges, 59809 markings/sec, 110 secs
lola: 7846541 markings, 39873975 edges, 58085 markings/sec, 115 secs
lola: 8116899 markings, 41457241 edges, 54072 markings/sec, 120 secs
lola: 8372371 markings, 43041687 edges, 51094 markings/sec, 125 secs
lola: 8675168 markings, 44618934 edges, 60559 markings/sec, 130 secs
lola: 8969731 markings, 46179124 edges, 58913 markings/sec, 135 secs
lola: 9243961 markings, 47794859 edges, 54846 markings/sec, 140 secs
lola: 9536793 markings, 49474583 edges, 58566 markings/sec, 145 secs
lola: 9813760 markings, 51093899 edges, 55393 markings/sec, 150 secs
lola: 10080139 markings, 52664474 edges, 53276 markings/sec, 155 secs
lola: 10320471 markings, 54232292 edges, 48066 markings/sec, 160 secs
lola: 10583452 markings, 55809809 edges, 52596 markings/sec, 165 secs
lola: 10842237 markings, 57410449 edges, 51757 markings/sec, 170 secs
lola: 11161682 markings, 58898301 edges, 63889 markings/sec, 175 secs
lola: 11464807 markings, 60418698 edges, 60625 markings/sec, 180 secs
lola: 11783348 markings, 61873810 edges, 63708 markings/sec, 185 secs
lola: 12080401 markings, 63358763 edges, 59411 markings/sec, 190 secs
lola: 12384296 markings, 64884720 edges, 60779 markings/sec, 195 secs
lola: 12669392 markings, 66424911 edges, 57019 markings/sec, 200 secs
lola: 12945936 markings, 67937471 edges, 55309 markings/sec, 205 secs
lola: 13211218 markings, 69430105 edges, 53056 markings/sec, 210 secs
lola: 13509983 markings, 70874592 edges, 59753 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(T52)
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: 500805 markings, 1902751 edges, 100161 markings/sec, 0 secs
lola: 902690 markings, 3715831 edges, 80377 markings/sec, 5 secs
lola: 1311349 markings, 5458074 edges, 81732 markings/sec, 10 secs
lola: 1664028 markings, 7137911 edges, 70536 markings/sec, 15 secs
lola: 2059379 markings, 8900236 edges, 79070 markings/sec, 20 secs
lola: 2441804 markings, 10674728 edges, 76485 markings/sec, 25 secs
lola: 2807171 markings, 12495309 edges, 73073 markings/sec, 30 secs
lola: 3140337 markings, 14296418 edges, 66633 markings/sec, 35 secs
lola: 3476648 markings, 16066744 edges, 67262 markings/sec, 40 secs
lola: 3786301 markings, 17766231 edges, 61931 markings/sec, 45 secs
lola: 4101753 markings, 19523879 edges, 63090 markings/sec, 50 secs
lola: 4436108 markings, 21221732 edges, 66871 markings/sec, 55 secs
lola: 4746229 markings, 22920039 edges, 62024 markings/sec, 60 secs
lola: 5024784 markings, 24581481 edges, 55711 markings/sec, 65 secs
lola: 5401435 markings, 26188575 edges, 75330 markings/sec, 70 secs
lola: 5745996 markings, 27790698 edges, 68912 markings/sec, 75 secs
lola: 6095138 markings, 29401052 edges, 69828 markings/sec, 80 secs
lola: 6413673 markings, 30964641 edges, 63707 markings/sec, 85 secs
lola: 6729885 markings, 32571133 edges, 63242 markings/sec, 90 secs
lola: 7062766 markings, 34176927 edges, 66576 markings/sec, 95 secs
lola: 7350928 markings, 35719883 edges, 57632 markings/sec, 100 secs
lola: 7618244 markings, 37245942 edges, 53463 markings/sec, 105 secs
lola: 7873549 markings, 38707458 edges, 51061 markings/sec, 110 secs
lola: 8187784 markings, 40276398 edges, 62847 markings/sec, 115 secs
lola: 8532602 markings, 41920684 edges, 68964 markings/sec, 120 secs
lola: 8825438 markings, 43447321 edges, 58567 markings/sec, 125 secs
lola: 9133221 markings, 44975941 edges, 61557 markings/sec, 130 secs
lola: 9413372 markings, 46531162 edges, 56030 markings/sec, 135 secs
lola: 9703878 markings, 48081958 edges, 58101 markings/sec, 140 secs
lola: 9960478 markings, 49556773 edges, 51320 markings/sec, 145 secs
lola: 10215886 markings, 51083863 edges, 51082 markings/sec, 150 secs
lola: 10560377 markings, 52691185 edges, 68898 markings/sec, 155 secs
lola: 10880573 markings, 54250482 edges, 64039 markings/sec, 160 secs
lola: 11234316 markings, 55905291 edges, 70749 markings/sec, 165 secs
lola: 11533006 markings, 57493363 edges, 59738 markings/sec, 170 secs
lola: 11843763 markings, 59189169 edges, 62151 markings/sec, 175 secs
lola: 12158670 markings, 60859049 edges, 62981 markings/sec, 180 secs
lola: 12446146 markings, 62457305 edges, 57495 markings/sec, 185 secs
lola: 12783517 markings, 64070691 edges, 67474 markings/sec, 190 secs
lola: 13114011 markings, 65730334 edges, 66099 markings/sec, 195 secs
lola: 13454502 markings, 67419617 edges, 68098 markings/sec, 200 secs
lola: 13770196 markings, 69035558 edges, 63139 markings/sec, 205 secs
lola: 14074660 markings, 70642920 edges, 60893 markings/sec, 210 secs
lola: 14372418 markings, 72289029 edges, 59552 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(T36)
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: 475196 markings, 1956320 edges, 95039 markings/sec, 0 secs
lola: 895344 markings, 3885005 edges, 84030 markings/sec, 5 secs
lola: 1290021 markings, 5807853 edges, 78935 markings/sec, 10 secs
lola: 1638028 markings, 7701100 edges, 69601 markings/sec, 15 secs
lola: 1969380 markings, 9568069 edges, 66270 markings/sec, 20 secs
lola: 2354103 markings, 11458280 edges, 76945 markings/sec, 25 secs
lola: 2708751 markings, 13296307 edges, 70930 markings/sec, 30 secs
lola: 3064641 markings, 15125685 edges, 71178 markings/sec, 35 secs
lola: 3369422 markings, 16925338 edges, 60956 markings/sec, 40 secs
lola: 3647280 markings, 18713302 edges, 55572 markings/sec, 45 secs
lola: 4092775 markings, 20630692 edges, 89099 markings/sec, 50 secs
lola: 4484460 markings, 22491356 edges, 78337 markings/sec, 55 secs
lola: 4843920 markings, 24279620 edges, 71892 markings/sec, 60 secs
lola: 5209066 markings, 26072965 edges, 73029 markings/sec, 65 secs
lola: 5554298 markings, 27869742 edges, 69046 markings/sec, 70 secs
lola: 5876080 markings, 29748736 edges, 64356 markings/sec, 75 secs
lola: 6163404 markings, 31632883 edges, 57465 markings/sec, 80 secs
lola: 6485742 markings, 33447904 edges, 64468 markings/sec, 85 secs
lola: 6818405 markings, 35225498 edges, 66533 markings/sec, 90 secs
lola: 7151979 markings, 37006512 edges, 66715 markings/sec, 95 secs
lola: 7476455 markings, 38823313 edges, 64895 markings/sec, 100 secs
lola: 7771823 markings, 40627659 edges, 59074 markings/sec, 105 secs
lola: 8058130 markings, 42479250 edges, 57261 markings/sec, 110 secs
lola: 8298741 markings, 44295842 edges, 48122 markings/sec, 115 secs
lola: 8607983 markings, 46056046 edges, 61848 markings/sec, 120 secs
lola: 8993516 markings, 47873308 edges, 77107 markings/sec, 125 secs
lola: 9332725 markings, 49690094 edges, 67842 markings/sec, 130 secs
lola: 9652439 markings, 51527048 edges, 63943 markings/sec, 135 secs
lola: 10014270 markings, 53324418 edges, 72366 markings/sec, 140 secs
lola: 10360427 markings, 55067896 edges, 69231 markings/sec, 145 secs
lola: 10668842 markings, 56838399 edges, 61683 markings/sec, 150 secs
lola: 10976066 markings, 58573139 edges, 61445 markings/sec, 155 secs
lola: 11284863 markings, 60361020 edges, 61759 markings/sec, 160 secs
lola: 11572438 markings, 62149599 edges, 57515 markings/sec, 165 secs
lola: 11824752 markings, 63854033 edges, 50463 markings/sec, 170 secs
lola: 12159628 markings, 65681332 edges, 66975 markings/sec, 175 secs
lola: 12479482 markings, 67484632 edges, 63971 markings/sec, 180 secs
lola: 12797209 markings, 69323478 edges, 63545 markings/sec, 185 secs
lola: 13079759 markings, 71130856 edges, 56510 markings/sec, 190 secs
lola: 13355698 markings, 72941673 edges, 55188 markings/sec, 195 secs
lola: 13670668 markings, 74713505 edges, 62994 markings/sec, 200 secs
lola: 13969783 markings, 76483769 edges, 59823 markings/sec, 205 secs
lola: 14247081 markings, 78265654 edges, 55460 markings/sec, 210 secs
lola: 14549839 markings, 80100795 edges, 60552 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(F37)
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: 513488 markings, 1941607 edges, 102698 markings/sec, 0 secs
lola: 937322 markings, 3900882 edges, 84767 markings/sec, 5 secs
lola: 1346771 markings, 5869952 edges, 81890 markings/sec, 10 secs
lola: 1771223 markings, 7828380 edges, 84890 markings/sec, 15 secs
lola: 2186111 markings, 9775316 edges, 82978 markings/sec, 20 secs
lola: 2604302 markings, 11715411 edges, 83638 markings/sec, 25 secs
lola: 3000795 markings, 13656394 edges, 79299 markings/sec, 30 secs
lola: 3371942 markings, 15609580 edges, 74229 markings/sec, 35 secs
lola: 3759422 markings, 17539985 edges, 77496 markings/sec, 40 secs
lola: 4115147 markings, 19492645 edges, 71145 markings/sec, 45 secs
lola: 4500980 markings, 21399403 edges, 77167 markings/sec, 50 secs
lola: 4870728 markings, 23323756 edges, 73950 markings/sec, 55 secs
lola: 5210957 markings, 25202309 edges, 68046 markings/sec, 60 secs
lola: 5591429 markings, 27151478 edges, 76094 markings/sec, 65 secs
lola: 5937001 markings, 29089644 edges, 69114 markings/sec, 70 secs
lola: 6281799 markings, 30964557 edges, 68960 markings/sec, 75 secs
lola: 6590832 markings, 32857097 edges, 61807 markings/sec, 80 secs
lola: 6901340 markings, 34779910 edges, 62102 markings/sec, 85 secs
lola: 7295510 markings, 36710976 edges, 78834 markings/sec, 90 secs
lola: 7633804 markings, 38693245 edges, 67659 markings/sec, 95 secs
lola: 7968538 markings, 40641430 edges, 66947 markings/sec, 100 secs
lola: 8304612 markings, 42551453 edges, 67215 markings/sec, 105 secs
lola: 8642878 markings, 44451398 edges, 67653 markings/sec, 110 secs
lola: 8950493 markings, 46394894 edges, 61523 markings/sec, 115 secs
lola: 9267692 markings, 48305254 edges, 63440 markings/sec, 120 secs
lola: 9573856 markings, 50175756 edges, 61233 markings/sec, 125 secs
lola: 9870079 markings, 52058222 edges, 59245 markings/sec, 130 secs
lola: 10151648 markings, 53946835 edges, 56314 markings/sec, 135 secs
lola: 10513240 markings, 55802418 edges, 72318 markings/sec, 140 secs
lola: 10893518 markings, 57679365 edges, 76056 markings/sec, 145 secs
lola: 11269030 markings, 59533008 edges, 75102 markings/sec, 150 secs
lola: 11585769 markings, 61430008 edges, 63348 markings/sec, 155 secs
lola: 11924261 markings, 63297722 edges, 67698 markings/sec, 160 secs
lola: 12282996 markings, 65165251 edges, 71747 markings/sec, 165 secs
lola: 12629056 markings, 66985674 edges, 69212 markings/sec, 170 secs
lola: 12984221 markings, 68833778 edges, 71033 markings/sec, 175 secs
lola: 13303891 markings, 70644888 edges, 63934 markings/sec, 180 secs
lola: 13649330 markings, 72458017 edges, 69088 markings/sec, 185 secs
lola: 13979456 markings, 74279582 edges, 66025 markings/sec, 190 secs
lola: 14334204 markings, 76143617 edges, 70950 markings/sec, 195 secs
lola: 14643736 markings, 77981123 edges, 61906 markings/sec, 200 secs
lola: 14952195 markings, 79778884 edges, 61692 markings/sec, 205 secs
lola: 15275161 markings, 81585668 edges, 64593 markings/sec, 210 secs
lola: 15612885 markings, 83442322 edges, 67545 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(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: 515158 markings, 1882847 edges, 103032 markings/sec, 0 secs
lola: 985833 markings, 3801735 edges, 94135 markings/sec, 5 secs
lola: 1440044 markings, 5723772 edges, 90842 markings/sec, 10 secs
lola: 1848912 markings, 7685332 edges, 81774 markings/sec, 15 secs
lola: 2233165 markings, 9601981 edges, 76851 markings/sec, 20 secs
lola: 2692359 markings, 11424877 edges, 91839 markings/sec, 25 secs
lola: 3119396 markings, 13254874 edges, 85407 markings/sec, 30 secs
lola: 3509041 markings, 15115815 edges, 77929 markings/sec, 35 secs
lola: 3903478 markings, 16967303 edges, 78887 markings/sec, 40 secs
lola: 4270001 markings, 18862462 edges, 73305 markings/sec, 45 secs
lola: 4615394 markings, 20732766 edges, 69079 markings/sec, 50 secs
lola: 4977803 markings, 22543793 edges, 72482 markings/sec, 55 secs
lola: 5358734 markings, 24352722 edges, 76186 markings/sec, 60 secs
lola: 5734862 markings, 26155902 edges, 75226 markings/sec, 65 secs
lola: 6129271 markings, 28000339 edges, 78882 markings/sec, 70 secs
lola: 6468021 markings, 29850832 edges, 67750 markings/sec, 75 secs
lola: 6830449 markings, 31631906 edges, 72486 markings/sec, 80 secs
lola: 7194149 markings, 33454707 edges, 72740 markings/sec, 85 secs
lola: 7539474 markings, 35330857 edges, 69065 markings/sec, 90 secs
lola: 7887213 markings, 37177093 edges, 69548 markings/sec, 95 secs
lola: 8213543 markings, 39056597 edges, 65266 markings/sec, 100 secs
lola: 8523484 markings, 40874263 edges, 61988 markings/sec, 105 secs
lola: 8850126 markings, 42675191 edges, 65328 markings/sec, 110 secs
lola: 9210454 markings, 44462753 edges, 72066 markings/sec, 115 secs
lola: 9547010 markings, 46218212 edges, 67311 markings/sec, 120 secs
lola: 9852653 markings, 47981483 edges, 61129 markings/sec, 125 secs
lola: 10261249 markings, 49792695 edges, 81719 markings/sec, 130 secs
lola: 10661188 markings, 51564744 edges, 79988 markings/sec, 135 secs
lola: 11017412 markings, 53369331 edges, 71245 markings/sec, 140 secs
lola: 11340020 markings, 55142773 edges, 64522 markings/sec, 145 secs
lola: 11702791 markings, 56909251 edges, 72554 markings/sec, 150 secs
lola: 12052145 markings, 58649778 edges, 69871 markings/sec, 155 secs
lola: 12422345 markings, 60402163 edges, 74040 markings/sec, 160 secs
lola: 12762187 markings, 62125179 edges, 67968 markings/sec, 165 secs
lola: 13081677 markings, 63894485 edges, 63898 markings/sec, 170 secs
lola: 13376273 markings, 65611067 edges, 58919 markings/sec, 175 secs
lola: 13754488 markings, 67377955 edges, 75643 markings/sec, 180 secs
lola: 14114949 markings, 69105502 edges, 72092 markings/sec, 185 secs
lola: 14446389 markings, 70873355 edges, 66288 markings/sec, 190 secs
lola: 14760111 markings, 72592657 edges, 62744 markings/sec, 195 secs
lola: 15105084 markings, 74290379 edges, 68995 markings/sec, 200 secs
lola: 15422724 markings, 76033584 edges, 63528 markings/sec, 205 secs
lola: 15739764 markings, 77808087 edges, 63408 markings/sec, 210 secs
lola: 16038708 markings, 79583774 edges, 59789 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(T63)
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: 487601 markings, 1857812 edges, 97520 markings/sec, 0 secs
lola: 926297 markings, 3656079 edges, 87739 markings/sec, 5 secs
lola: 1329976 markings, 5531800 edges, 80736 markings/sec, 10 secs
lola: 1733389 markings, 7319468 edges, 80683 markings/sec, 15 secs
lola: 2106424 markings, 9116501 edges, 74607 markings/sec, 20 secs
lola: 2473415 markings, 10928457 edges, 73398 markings/sec, 25 secs
lola: 2851814 markings, 12785041 edges, 75680 markings/sec, 30 secs
lola: 3180174 markings, 14503414 edges, 65672 markings/sec, 35 secs
lola: 3525703 markings, 16376687 edges, 69106 markings/sec, 40 secs
lola: 3892523 markings, 18196077 edges, 73364 markings/sec, 45 secs
lola: 4226548 markings, 19848694 edges, 66805 markings/sec, 50 secs
lola: 4534872 markings, 21511825 edges, 61665 markings/sec, 55 secs
lola: 4837460 markings, 23214173 edges, 60518 markings/sec, 60 secs
lola: 5144604 markings, 24917785 edges, 61429 markings/sec, 65 secs
lola: 5537487 markings, 26670870 edges, 78577 markings/sec, 70 secs
lola: 5895061 markings, 28368753 edges, 71515 markings/sec, 75 secs
lola: 6237718 markings, 30121053 edges, 68531 markings/sec, 80 secs
lola: 6566528 markings, 31900249 edges, 65762 markings/sec, 85 secs
lola: 6895865 markings, 33542254 edges, 65867 markings/sec, 90 secs
lola: 7210687 markings, 35219356 edges, 62964 markings/sec, 95 secs
lola: 7526441 markings, 36955154 edges, 63151 markings/sec, 100 secs
lola: 7815541 markings, 38723880 edges, 57820 markings/sec, 105 secs
lola: 8133774 markings, 40451699 edges, 63647 markings/sec, 110 secs
lola: 8432127 markings, 42151012 edges, 59671 markings/sec, 115 secs
lola: 8711982 markings, 43831852 edges, 55971 markings/sec, 120 secs
lola: 9027342 markings, 45532221 edges, 63072 markings/sec, 125 secs
lola: 9306346 markings, 47246835 edges, 55801 markings/sec, 130 secs
lola: 9576421 markings, 49010942 edges, 54015 markings/sec, 135 secs
lola: 9898336 markings, 50731003 edges, 64383 markings/sec, 140 secs
lola: 10191636 markings, 52378690 edges, 58660 markings/sec, 145 secs
lola: 10475855 markings, 53962472 edges, 56844 markings/sec, 150 secs
lola: 10748634 markings, 55606477 edges, 54556 markings/sec, 155 secs
lola: 11018678 markings, 57266855 edges, 54009 markings/sec, 160 secs
lola: 11290952 markings, 58925531 edges, 54455 markings/sec, 165 secs
lola: 11564512 markings, 60660634 edges, 54712 markings/sec, 170 secs
lola: 11824684 markings, 62371682 edges, 52034 markings/sec, 175 secs
lola: 12076836 markings, 64076736 edges, 50430 markings/sec, 180 secs
lola: 12404032 markings, 65811526 edges, 65439 markings/sec, 185 secs
lola: 12743027 markings, 67405980 edges, 67799 markings/sec, 190 secs
lola: 13089088 markings, 69122437 edges, 69212 markings/sec, 195 secs
lola: 13374476 markings, 70790619 edges, 57078 markings/sec, 200 secs
lola: 13676069 markings, 72493815 edges, 60319 markings/sec, 205 secs
lola: 13997559 markings, 74246173 edges, 64298 markings/sec, 210 secs
lola: 14310891 markings, 75978430 edges, 62666 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(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: 505966 markings, 1875939 edges, 101193 markings/sec, 0 secs
lola: 946629 markings, 3845383 edges, 88133 markings/sec, 5 secs
lola: 1371457 markings, 5724601 edges, 84966 markings/sec, 10 secs
lola: 1811062 markings, 7643369 edges, 87921 markings/sec, 15 secs
lola: 2199111 markings, 9549735 edges, 77610 markings/sec, 20 secs
lola: 2556474 markings, 11440961 edges, 71473 markings/sec, 25 secs
lola: 2941415 markings, 13330407 edges, 76988 markings/sec, 30 secs
lola: 3325780 markings, 15219933 edges, 76873 markings/sec, 35 secs
lola: 3760710 markings, 17137596 edges, 86986 markings/sec, 40 secs
lola: 4131491 markings, 19045994 edges, 74156 markings/sec, 45 secs
lola: 4496073 markings, 20914564 edges, 72916 markings/sec, 50 secs
lola: 4846530 markings, 22772464 edges, 70091 markings/sec, 55 secs
lola: 5218241 markings, 24626106 edges, 74342 markings/sec, 60 secs
lola: 5559248 markings, 26473938 edges, 68201 markings/sec, 65 secs
lola: 5939185 markings, 28375549 edges, 75987 markings/sec, 70 secs
lola: 6287511 markings, 30272184 edges, 69665 markings/sec, 75 secs
lola: 6602188 markings, 32119167 edges, 62935 markings/sec, 80 secs
lola: 6918265 markings, 33920858 edges, 63215 markings/sec, 85 secs
lola: 7234213 markings, 35807474 edges, 63190 markings/sec, 90 secs
lola: 7567553 markings, 37658489 edges, 66668 markings/sec, 95 secs
lola: 7880724 markings, 39480319 edges, 62634 markings/sec, 100 secs
lola: 8244221 markings, 41337751 edges, 72699 markings/sec, 105 secs
lola: 8606354 markings, 43239444 edges, 72427 markings/sec, 110 secs
lola: 8976888 markings, 45106321 edges, 74107 markings/sec, 115 secs
lola: 9356707 markings, 47022863 edges, 75964 markings/sec, 120 secs
lola: 9731116 markings, 48897874 edges, 74882 markings/sec, 125 secs
lola: 10066880 markings, 50828580 edges, 67153 markings/sec, 130 secs
lola: 10370193 markings, 52671475 edges, 60663 markings/sec, 135 secs
lola: 10726902 markings, 54577742 edges, 71342 markings/sec, 140 secs
lola: 11100587 markings, 56478611 edges, 74737 markings/sec, 145 secs
lola: 11447858 markings, 58330547 edges, 69454 markings/sec, 150 secs
lola: 11782930 markings, 60215494 edges, 67014 markings/sec, 155 secs
lola: 12087754 markings, 62056581 edges, 60965 markings/sec, 160 secs
lola: 12377939 markings, 63860911 edges, 58037 markings/sec, 165 secs
lola: 12668357 markings, 65711056 edges, 58084 markings/sec, 170 secs
lola: 12996196 markings, 67615750 edges, 65568 markings/sec, 175 secs
lola: 13324365 markings, 69486385 edges, 65634 markings/sec, 180 secs
lola: 13640995 markings, 71327201 edges, 63326 markings/sec, 185 secs
lola: 13937914 markings, 73189328 edges, 59384 markings/sec, 190 secs
lola: 14235702 markings, 75027777 edges, 59558 markings/sec, 195 secs
lola: 14512246 markings, 76835448 edges, 55309 markings/sec, 200 secs
lola: 14786065 markings, 78677107 edges, 54764 markings/sec, 205 secs
lola: 15138142 markings, 80542144 edges, 70415 markings/sec, 210 secs
lola: 15532909 markings, 82356129 edges, 78953 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(F52)
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: 495078 markings, 1855083 edges, 99016 markings/sec, 0 secs
lola: 884715 markings, 3661989 edges, 77927 markings/sec, 5 secs
lola: 1339516 markings, 5555576 edges, 90960 markings/sec, 10 secs
lola: 1721699 markings, 7432535 edges, 76437 markings/sec, 15 secs
lola: 2072337 markings, 9214699 edges, 70128 markings/sec, 20 secs
lola: 2431986 markings, 10962472 edges, 71930 markings/sec, 25 secs
lola: 2810168 markings, 12685907 edges, 75636 markings/sec, 30 secs
lola: 3172691 markings, 14456841 edges, 72505 markings/sec, 35 secs
lola: 3495258 markings, 16261500 edges, 64513 markings/sec, 40 secs
lola: 3840579 markings, 17994880 edges, 69064 markings/sec, 45 secs
lola: 4182810 markings, 19774090 edges, 68446 markings/sec, 50 secs
lola: 4503303 markings, 21532162 edges, 64099 markings/sec, 55 secs
lola: 4799867 markings, 23314998 edges, 59313 markings/sec, 60 secs
lola: 5101566 markings, 25062348 edges, 60340 markings/sec, 65 secs
lola: 5490645 markings, 26673905 edges, 77816 markings/sec, 70 secs
lola: 5858888 markings, 28351878 edges, 73649 markings/sec, 75 secs
lola: 6196335 markings, 30003763 edges, 67489 markings/sec, 80 secs
lola: 6532427 markings, 31660304 edges, 67218 markings/sec, 85 secs
lola: 6867982 markings, 33348473 edges, 67111 markings/sec, 90 secs
lola: 7202793 markings, 35002441 edges, 66962 markings/sec, 95 secs
lola: 7495691 markings, 36655964 edges, 58580 markings/sec, 100 secs
lola: 7781174 markings, 38251642 edges, 57097 markings/sec, 105 secs
lola: 8091204 markings, 39901844 edges, 62006 markings/sec, 110 secs
lola: 8452162 markings, 41602555 edges, 72192 markings/sec, 115 secs
lola: 8771704 markings, 43260977 edges, 63908 markings/sec, 120 secs
lola: 9086061 markings, 44877853 edges, 62871 markings/sec, 125 secs
lola: 9385945 markings, 46531095 edges, 59977 markings/sec, 130 secs
lola: 9691547 markings, 48150111 edges, 61120 markings/sec, 135 secs
lola: 9966568 markings, 49736192 edges, 55004 markings/sec, 140 secs
lola: 10244061 markings, 51354137 edges, 55499 markings/sec, 145 secs
lola: 10587924 markings, 52955146 edges, 68773 markings/sec, 150 secs
lola: 10903931 markings, 54523390 edges, 63201 markings/sec, 155 secs
lola: 11260260 markings, 56155256 edges, 71266 markings/sec, 160 secs
lola: 11560564 markings, 57780730 edges, 60061 markings/sec, 165 secs
lola: 11848794 markings, 59349364 edges, 57646 markings/sec, 170 secs
lola: 12146370 markings, 60931192 edges, 59515 markings/sec, 175 secs
lola: 12424157 markings, 62461629 edges, 55557 markings/sec, 180 secs
lola: 12701949 markings, 64031704 edges, 55558 markings/sec, 185 secs
lola: 13024535 markings, 65588460 edges, 64517 markings/sec, 190 secs
lola: 13345297 markings, 67189668 edges, 64152 markings/sec, 195 secs
lola: 13682428 markings, 68839219 edges, 67426 markings/sec, 200 secs
lola: 13995377 markings, 70474609 edges, 62590 markings/sec, 205 secs
lola: 14301903 markings, 72032750 edges, 61305 markings/sec, 210 secs
lola: 14597212 markings, 73683304 edges, 59062 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(F45)
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: 530391 markings, 1829710 edges, 106078 markings/sec, 0 secs
lola: 994923 markings, 3711417 edges, 92906 markings/sec, 5 secs
lola: 1438049 markings, 5622375 edges, 88625 markings/sec, 10 secs
lola: 1858402 markings, 7482631 edges, 84071 markings/sec, 15 secs
lola: 2239045 markings, 9357140 edges, 76129 markings/sec, 20 secs
lola: 2650926 markings, 11144679 edges, 82376 markings/sec, 25 secs
lola: 3083803 markings, 12941631 edges, 86575 markings/sec, 30 secs
lola: 3504651 markings, 14787787 edges, 84170 markings/sec, 35 secs
lola: 3879609 markings, 16614031 edges, 74992 markings/sec, 40 secs
lola: 4295863 markings, 18439468 edges, 83251 markings/sec, 45 secs
lola: 4688113 markings, 20284618 edges, 78450 markings/sec, 50 secs
lola: 5089805 markings, 22092845 edges, 80338 markings/sec, 55 secs
lola: 5472176 markings, 23928681 edges, 76474 markings/sec, 60 secs
lola: 5816009 markings, 25755858 edges, 68767 markings/sec, 65 secs
lola: 6178149 markings, 27585383 edges, 72428 markings/sec, 70 secs
lola: 6518295 markings, 29431484 edges, 68029 markings/sec, 75 secs
lola: 6853209 markings, 31273872 edges, 66983 markings/sec, 80 secs
lola: 7192560 markings, 33144735 edges, 67870 markings/sec, 85 secs
lola: 7521744 markings, 35025924 edges, 65837 markings/sec, 90 secs
lola: 7937707 markings, 36806911 edges, 83193 markings/sec, 95 secs
lola: 8351271 markings, 38501698 edges, 82713 markings/sec, 100 secs
lola: 8730887 markings, 40257122 edges, 75923 markings/sec, 105 secs
lola: 9093391 markings, 42016117 edges, 72501 markings/sec, 110 secs
lola: 9425787 markings, 43811458 edges, 66479 markings/sec, 115 secs
lola: 9797922 markings, 45575060 edges, 74427 markings/sec, 120 secs
lola: 10168654 markings, 47365040 edges, 74146 markings/sec, 125 secs
lola: 10502768 markings, 49100968 edges, 66823 markings/sec, 130 secs
lola: 10893943 markings, 50798774 edges, 78235 markings/sec, 135 secs
lola: 11257833 markings, 52537681 edges, 72778 markings/sec, 140 secs
lola: 11629345 markings, 54260341 edges, 74302 markings/sec, 145 secs
lola: 11965978 markings, 56075333 edges, 67327 markings/sec, 150 secs
lola: 12298301 markings, 57843745 edges, 66465 markings/sec, 155 secs
lola: 12628854 markings, 59600408 edges, 66111 markings/sec, 160 secs
lola: 13004432 markings, 61369371 edges, 75116 markings/sec, 165 secs
lola: 13333420 markings, 63122773 edges, 65798 markings/sec, 170 secs
lola: 13655957 markings, 64849599 edges, 64507 markings/sec, 175 secs
lola: 13989048 markings, 66600146 edges, 66618 markings/sec, 180 secs
lola: 14303276 markings, 68353050 edges, 62846 markings/sec, 185 secs
lola: 14642173 markings, 70156816 edges, 67779 markings/sec, 190 secs
lola: 14950167 markings, 71951682 edges, 61599 markings/sec, 195 secs
lola: 15231210 markings, 73707979 edges, 56209 markings/sec, 200 secs
lola: 15527254 markings, 75422417 edges, 59209 markings/sec, 205 secs
lola: 15819957 markings, 77130442 edges, 58541 markings/sec, 210 secs
lola: 16111604 markings, 78839448 edges, 58329 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Solitaire-PT-FrnNC7x7-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnNC7x7-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnNC7x7-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnNC7x7-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnNC7x7-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnNC7x7-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnNC7x7-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnNC7x7-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnNC7x7-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnNC7x7-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnNC7x7-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnNC7x7-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnNC7x7-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnNC7x7-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnNC7x7-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-FrnNC7x7-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496563628627

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