Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is Solitaire-PT-FrnNC7x7, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008200092
=====================================================================

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


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 521942 markings, 1838146 edges, 104388 markings/sec, 0 secs
lola: 978085 markings, 3695384 edges, 91229 markings/sec, 5 secs
lola: 1421902 markings, 5631192 edges, 88763 markings/sec, 10 secs
lola: 1853037 markings, 7564797 edges, 86227 markings/sec, 15 secs
lola: 2283669 markings, 9508066 edges, 86126 markings/sec, 20 secs
lola: 2719537 markings, 11432922 edges, 87174 markings/sec, 25 secs
lola: 3105526 markings, 13391769 edges, 77198 markings/sec, 30 secs
lola: 3511366 markings, 15266296 edges, 81168 markings/sec, 35 secs
lola: 3926315 markings, 17051406 edges, 82990 markings/sec, 40 secs
lola: 4309629 markings, 18852339 edges, 76663 markings/sec, 45 secs
lola: 4707749 markings, 20722757 edges, 79624 markings/sec, 50 secs
lola: 5094395 markings, 22659167 edges, 77329 markings/sec, 55 secs
lola: 5444523 markings, 24578495 edges, 70026 markings/sec, 60 secs
lola: 5817801 markings, 26464883 edges, 74656 markings/sec, 65 secs
lola: 6191212 markings, 28408298 edges, 74682 markings/sec, 70 secs
lola: 6561730 markings, 30197452 edges, 74104 markings/sec, 75 secs
lola: 6933343 markings, 31982004 edges, 74323 markings/sec, 80 secs
lola: 7275994 markings, 33796445 edges, 68530 markings/sec, 85 secs
lola: 7589360 markings, 35570715 edges, 62673 markings/sec, 90 secs
lola: 7941001 markings, 37376669 edges, 70328 markings/sec, 95 secs
lola: 8275446 markings, 39136675 edges, 66889 markings/sec, 100 secs
lola: 8592962 markings, 40883944 edges, 63503 markings/sec, 105 secs
lola: 8928423 markings, 42744495 edges, 67092 markings/sec, 110 secs
lola: 9243956 markings, 44555099 edges, 63107 markings/sec, 115 secs
lola: 9547835 markings, 46354511 edges, 60776 markings/sec, 120 secs
lola: 9869462 markings, 48135940 edges, 64325 markings/sec, 125 secs
lola: 10270320 markings, 49919752 edges, 80172 markings/sec, 130 secs
lola: 10664005 markings, 51751610 edges, 78737 markings/sec, 135 secs
lola: 11023018 markings, 53561507 edges, 71803 markings/sec, 140 secs
lola: 11393801 markings, 55429878 edges, 74157 markings/sec, 145 secs
lola: 11768420 markings, 57311823 edges, 74924 markings/sec, 150 secs
lola: 12134593 markings, 59158711 edges, 73235 markings/sec, 155 secs
lola: 12457343 markings, 60976817 edges, 64550 markings/sec, 160 secs
lola: 12845245 markings, 62835825 edges, 77580 markings/sec, 165 secs
lola: 13199256 markings, 64697505 edges, 70802 markings/sec, 170 secs
lola: 13511015 markings, 66574959 edges, 62352 markings/sec, 175 secs
lola: 13809506 markings, 68440376 edges, 59698 markings/sec, 180 secs
lola: 14143322 markings, 70220343 edges, 66763 markings/sec, 185 secs
lola: 14458551 markings, 72042669 edges, 63046 markings/sec, 190 secs
lola: 14785105 markings, 73853483 edges, 65311 markings/sec, 195 secs
lola: 15097823 markings, 75692622 edges, 62544 markings/sec, 200 secs
lola: 15384102 markings, 77486483 edges, 57256 markings/sec, 205 secs
lola: 15693688 markings, 79282976 edges, 61917 markings/sec, 210 secs
lola: 16027036 markings, 81050412 edges, 66670 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: 507224 markings, 1861199 edges, 101445 markings/sec, 0 secs
lola: 932634 markings, 3691539 edges, 85082 markings/sec, 5 secs
lola: 1331789 markings, 5487724 edges, 79831 markings/sec, 10 secs
lola: 1686378 markings, 7319532 edges, 70918 markings/sec, 15 secs
lola: 2033010 markings, 9109666 edges, 69326 markings/sec, 20 secs
lola: 2424568 markings, 10833914 edges, 78312 markings/sec, 25 secs
lola: 2760759 markings, 12591914 edges, 67238 markings/sec, 30 secs
lola: 3093193 markings, 14384766 edges, 66487 markings/sec, 35 secs
lola: 3452162 markings, 16098596 edges, 71794 markings/sec, 40 secs
lola: 3784068 markings, 17822072 edges, 66381 markings/sec, 45 secs
lola: 4098394 markings, 19576279 edges, 62865 markings/sec, 50 secs
lola: 4394371 markings, 21337142 edges, 59195 markings/sec, 55 secs
lola: 4765516 markings, 22988773 edges, 74229 markings/sec, 60 secs
lola: 5127095 markings, 24677200 edges, 72316 markings/sec, 65 secs
lola: 5447107 markings, 26429782 edges, 64002 markings/sec, 70 secs
lola: 5761938 markings, 28033239 edges, 62966 markings/sec, 75 secs
lola: 6075826 markings, 29724150 edges, 62778 markings/sec, 80 secs
lola: 6388974 markings, 31453102 edges, 62630 markings/sec, 85 secs
lola: 6712192 markings, 33227495 edges, 64644 markings/sec, 90 secs
lola: 7000911 markings, 34997695 edges, 57744 markings/sec, 95 secs
lola: 7341643 markings, 36663137 edges, 68146 markings/sec, 100 secs
lola: 7650633 markings, 38335473 edges, 61798 markings/sec, 105 secs
lola: 7944752 markings, 40011649 edges, 58824 markings/sec, 110 secs
lola: 8280731 markings, 41702362 edges, 67196 markings/sec, 115 secs
lola: 8584838 markings, 43454630 edges, 60821 markings/sec, 120 secs
lola: 8866744 markings, 45140668 edges, 56381 markings/sec, 125 secs
lola: 9170913 markings, 46876927 edges, 60834 markings/sec, 130 secs
lola: 9453997 markings, 48628556 edges, 56617 markings/sec, 135 secs
lola: 9715592 markings, 50352253 edges, 52319 markings/sec, 140 secs
lola: 10020047 markings, 52084048 edges, 60891 markings/sec, 145 secs
lola: 10309842 markings, 53855140 edges, 57959 markings/sec, 150 secs
lola: 10647966 markings, 55515107 edges, 67625 markings/sec, 155 secs
lola: 10985975 markings, 57091696 edges, 67602 markings/sec, 160 secs
lola: 11354286 markings, 58690565 edges, 73662 markings/sec, 165 secs
lola: 11691297 markings, 60261038 edges, 67402 markings/sec, 170 secs
lola: 12018560 markings, 61892133 edges, 65453 markings/sec, 175 secs
lola: 12318971 markings, 63467655 edges, 60082 markings/sec, 180 secs
lola: 12609471 markings, 65076551 edges, 58100 markings/sec, 185 secs
lola: 12932832 markings, 66709542 edges, 64672 markings/sec, 190 secs
lola: 13256704 markings, 68413736 edges, 64774 markings/sec, 195 secs
lola: 13552506 markings, 70129859 edges, 59160 markings/sec, 200 secs
lola: 13852187 markings, 71803249 edges, 59936 markings/sec, 205 secs
lola: 14170052 markings, 73312320 edges, 63573 markings/sec, 210 secs
lola: 14470462 markings, 74878270 edges, 60082 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: 517266 markings, 1831393 edges, 103453 markings/sec, 0 secs
lola: 964456 markings, 3669272 edges, 89438 markings/sec, 5 secs
lola: 1405355 markings, 5368651 edges, 88180 markings/sec, 10 secs
lola: 1773241 markings, 7159941 edges, 73577 markings/sec, 15 secs
lola: 2156084 markings, 8925435 edges, 76569 markings/sec, 20 secs
lola: 2528193 markings, 10670613 edges, 74422 markings/sec, 25 secs
lola: 2936186 markings, 12307769 edges, 81599 markings/sec, 30 secs
lola: 3306491 markings, 13969623 edges, 74061 markings/sec, 35 secs
lola: 3638165 markings, 15670811 edges, 66335 markings/sec, 40 secs
lola: 3999456 markings, 17361589 edges, 72258 markings/sec, 45 secs
lola: 4343752 markings, 18976594 edges, 68859 markings/sec, 50 secs
lola: 4674346 markings, 20678757 edges, 66119 markings/sec, 55 secs
lola: 5021140 markings, 22354954 edges, 69359 markings/sec, 60 secs
lola: 5351140 markings, 24024884 edges, 66000 markings/sec, 65 secs
lola: 5670180 markings, 25739841 edges, 63808 markings/sec, 70 secs
lola: 5969480 markings, 27554633 edges, 59860 markings/sec, 75 secs
lola: 6311965 markings, 29195252 edges, 68497 markings/sec, 80 secs
lola: 6655604 markings, 30793990 edges, 68728 markings/sec, 85 secs
lola: 6997871 markings, 32391899 edges, 68453 markings/sec, 90 secs
lola: 7293209 markings, 33964647 edges, 59068 markings/sec, 95 secs
lola: 7624196 markings, 35584778 edges, 66197 markings/sec, 100 secs
lola: 7955538 markings, 37247136 edges, 66268 markings/sec, 105 secs
lola: 8264402 markings, 38887389 edges, 61773 markings/sec, 110 secs
lola: 8548981 markings, 40545040 edges, 56916 markings/sec, 115 secs
lola: 8824949 markings, 42230949 edges, 55194 markings/sec, 120 secs
lola: 9111899 markings, 43930828 edges, 57390 markings/sec, 125 secs
lola: 9402806 markings, 45563712 edges, 58181 markings/sec, 130 secs
lola: 9682290 markings, 47194917 edges, 55897 markings/sec, 135 secs
lola: 9938196 markings, 48964604 edges, 51181 markings/sec, 140 secs
lola: 10221981 markings, 50658752 edges, 56757 markings/sec, 145 secs
lola: 10549173 markings, 52292560 edges, 65438 markings/sec, 150 secs
lola: 10864309 markings, 53921622 edges, 63027 markings/sec, 155 secs
lola: 11200452 markings, 55599437 edges, 67229 markings/sec, 160 secs
lola: 11501287 markings, 57325363 edges, 60167 markings/sec, 165 secs
lola: 11804616 markings, 59063787 edges, 60666 markings/sec, 170 secs
lola: 12137209 markings, 60619237 edges, 66519 markings/sec, 175 secs
lola: 12450344 markings, 62154510 edges, 62627 markings/sec, 180 secs
lola: 12752548 markings, 63666000 edges, 60441 markings/sec, 185 secs
lola: 13013252 markings, 65254831 edges, 52141 markings/sec, 190 secs
lola: 13281079 markings, 66792303 edges, 53565 markings/sec, 195 secs
lola: 13537810 markings, 68412488 edges, 51346 markings/sec, 200 secs
lola: 13860588 markings, 70004893 edges, 64556 markings/sec, 205 secs
lola: 14154927 markings, 71600731 edges, 58868 markings/sec, 210 secs
lola: 14458585 markings, 73070175 edges, 60732 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: 515857 markings, 1834748 edges, 103171 markings/sec, 0 secs
lola: 963994 markings, 3641226 edges, 89627 markings/sec, 5 secs
lola: 1386177 markings, 5427987 edges, 84437 markings/sec, 10 secs
lola: 1763973 markings, 7161424 edges, 75559 markings/sec, 15 secs
lola: 2152598 markings, 8926570 edges, 77725 markings/sec, 20 secs
lola: 2553429 markings, 10699165 edges, 80166 markings/sec, 25 secs
lola: 2968503 markings, 12460353 edges, 83015 markings/sec, 30 secs
lola: 3358785 markings, 14220986 edges, 78056 markings/sec, 35 secs
lola: 3742462 markings, 15991102 edges, 76735 markings/sec, 40 secs
lola: 4103549 markings, 17721104 edges, 72217 markings/sec, 45 secs
lola: 4456005 markings, 19488839 edges, 70491 markings/sec, 50 secs
lola: 4800542 markings, 21218240 edges, 68907 markings/sec, 55 secs
lola: 5173664 markings, 22997708 edges, 74624 markings/sec, 60 secs
lola: 5516689 markings, 24736173 edges, 68605 markings/sec, 65 secs
lola: 5893060 markings, 26506487 edges, 75274 markings/sec, 70 secs
lola: 6232838 markings, 28219120 edges, 67956 markings/sec, 75 secs
lola: 6570681 markings, 29885440 edges, 67569 markings/sec, 80 secs
lola: 6889481 markings, 31611109 edges, 63760 markings/sec, 85 secs
lola: 7146426 markings, 33099359 edges, 51389 markings/sec, 90 secs
lola: 7442555 markings, 34600806 edges, 59226 markings/sec, 95 secs
lola: 7731801 markings, 36065858 edges, 57849 markings/sec, 100 secs
lola: 8055891 markings, 37770843 edges, 64818 markings/sec, 105 secs
lola: 8375184 markings, 39522923 edges, 63859 markings/sec, 110 secs
lola: 8669642 markings, 41192105 edges, 58892 markings/sec, 115 secs
lola: 8941030 markings, 42884706 edges, 54278 markings/sec, 120 secs
lola: 9337236 markings, 44668406 edges, 79241 markings/sec, 125 secs
lola: 9710906 markings, 46461023 edges, 74734 markings/sec, 130 secs
lola: 10099683 markings, 48241375 edges, 77755 markings/sec, 135 secs
lola: 10468108 markings, 50045443 edges, 73685 markings/sec, 140 secs
lola: 10823768 markings, 51822506 edges, 71132 markings/sec, 145 secs
lola: 11155918 markings, 53570612 edges, 66430 markings/sec, 150 secs
lola: 11473929 markings, 55330955 edges, 63602 markings/sec, 155 secs
lola: 11806252 markings, 56955689 edges, 66465 markings/sec, 160 secs
lola: 12132590 markings, 58680970 edges, 65268 markings/sec, 165 secs
lola: 12441233 markings, 60303835 edges, 61729 markings/sec, 170 secs
lola: 12733467 markings, 61975913 edges, 58447 markings/sec, 175 secs
lola: 13012072 markings, 63651263 edges, 55721 markings/sec, 180 secs
lola: 13324293 markings, 65244152 edges, 62444 markings/sec, 185 secs
lola: 13709240 markings, 66834217 edges, 76989 markings/sec, 190 secs
lola: 14059108 markings, 68399025 edges, 69974 markings/sec, 195 secs
lola: 14382375 markings, 69883642 edges, 64653 markings/sec, 200 secs
lola: 14668514 markings, 71356909 edges, 57228 markings/sec, 205 secs
lola: 14985525 markings, 72985809 edges, 63402 markings/sec, 210 secs
lola: 15311638 markings, 74651314 edges, 65223 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: 512766 markings, 1939106 edges, 102553 markings/sec, 0 secs
lola: 937318 markings, 3900869 edges, 84910 markings/sec, 5 secs
lola: 1344964 markings, 5862763 edges, 81529 markings/sec, 10 secs
lola: 1768198 markings, 7818590 edges, 84647 markings/sec, 15 secs
lola: 2183099 markings, 9758436 edges, 82980 markings/sec, 20 secs
lola: 2600079 markings, 11695562 edges, 83396 markings/sec, 25 secs
lola: 2997601 markings, 13640174 edges, 79504 markings/sec, 30 secs
lola: 3372565 markings, 15613352 edges, 74993 markings/sec, 35 secs
lola: 3764737 markings, 17566171 edges, 78434 markings/sec, 40 secs
lola: 4124866 markings, 19539438 edges, 72026 markings/sec, 45 secs
lola: 4511924 markings, 21456126 edges, 77412 markings/sec, 50 secs
lola: 4883008 markings, 23390748 edges, 74217 markings/sec, 55 secs
lola: 5223939 markings, 25288797 edges, 68186 markings/sec, 60 secs
lola: 5605329 markings, 27240873 edges, 76278 markings/sec, 65 secs
lola: 5953992 markings, 29179436 edges, 69733 markings/sec, 70 secs
lola: 6297936 markings, 31067124 edges, 68789 markings/sec, 75 secs
lola: 6610409 markings, 32961768 edges, 62495 markings/sec, 80 secs
lola: 6921866 markings, 34883865 edges, 62291 markings/sec, 85 secs
lola: 7310024 markings, 36808320 edges, 77632 markings/sec, 90 secs
lola: 7651231 markings, 38781327 edges, 68241 markings/sec, 95 secs
lola: 7982797 markings, 40728113 edges, 66313 markings/sec, 100 secs
lola: 8321166 markings, 42651354 edges, 67674 markings/sec, 105 secs
lola: 8664357 markings, 44561132 edges, 68638 markings/sec, 110 secs
lola: 8970389 markings, 46502783 edges, 61206 markings/sec, 115 secs
lola: 9285814 markings, 48410583 edges, 63085 markings/sec, 120 secs
lola: 9592460 markings, 50292323 edges, 61329 markings/sec, 125 secs
lola: 9892670 markings, 52197625 edges, 60042 markings/sec, 130 secs
lola: 10173700 markings, 54102530 edges, 56206 markings/sec, 135 secs
lola: 10545954 markings, 55958606 edges, 74451 markings/sec, 140 secs
lola: 10928179 markings, 57839564 edges, 76445 markings/sec, 145 secs
lola: 11299517 markings, 59711690 edges, 74268 markings/sec, 150 secs
lola: 11624471 markings, 61624317 edges, 64991 markings/sec, 155 secs
lola: 11955475 markings, 63502654 edges, 66201 markings/sec, 160 secs
lola: 12322913 markings, 65403317 edges, 73488 markings/sec, 165 secs
lola: 12681155 markings, 67277633 edges, 71648 markings/sec, 170 secs
lola: 13049951 markings, 69177852 edges, 73759 markings/sec, 175 secs
lola: 13380920 markings, 71007245 edges, 66194 markings/sec, 180 secs
lola: 13714274 markings, 72824882 edges, 66671 markings/sec, 185 secs
lola: 14049268 markings, 74660756 edges, 66999 markings/sec, 190 secs
lola: 14396555 markings, 76496017 edges, 69457 markings/sec, 195 secs
lola: 14702187 markings, 78320784 edges, 61126 markings/sec, 200 secs
lola: 15012908 markings, 80111066 edges, 62144 markings/sec, 205 secs
lola: 15340624 markings, 81925557 edges, 65543 markings/sec, 210 secs
lola: 15667163 markings, 83773299 edges, 65308 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: 506889 markings, 1924508 edges, 101378 markings/sec, 0 secs
lola: 933716 markings, 3849548 edges, 85365 markings/sec, 5 secs
lola: 1387111 markings, 5731499 edges, 90679 markings/sec, 10 secs
lola: 1817211 markings, 7632497 edges, 86020 markings/sec, 15 secs
lola: 2246126 markings, 9499924 edges, 85783 markings/sec, 20 secs
lola: 2652448 markings, 11435830 edges, 81264 markings/sec, 25 secs
lola: 3056099 markings, 13358012 edges, 80730 markings/sec, 30 secs
lola: 3463165 markings, 15288050 edges, 81413 markings/sec, 35 secs
lola: 3869293 markings, 17190846 edges, 81226 markings/sec, 40 secs
lola: 4241387 markings, 19069781 edges, 74419 markings/sec, 45 secs
lola: 4657877 markings, 20892866 edges, 83298 markings/sec, 50 secs
lola: 5035202 markings, 22735456 edges, 75465 markings/sec, 55 secs
lola: 5386221 markings, 24549160 edges, 70204 markings/sec, 60 secs
lola: 5756968 markings, 26372635 edges, 74149 markings/sec, 65 secs
lola: 6116544 markings, 28219540 edges, 71915 markings/sec, 70 secs
lola: 6447634 markings, 30052862 edges, 66218 markings/sec, 75 secs
lola: 6813106 markings, 31938528 edges, 73094 markings/sec, 80 secs
lola: 7170056 markings, 33791140 edges, 71390 markings/sec, 85 secs
lola: 7498970 markings, 35703138 edges, 65783 markings/sec, 90 secs
lola: 7858115 markings, 37569830 edges, 71829 markings/sec, 95 secs
lola: 8184128 markings, 39489501 edges, 65203 markings/sec, 100 secs
lola: 8503775 markings, 41369686 edges, 63929 markings/sec, 105 secs
lola: 8854849 markings, 43269777 edges, 70215 markings/sec, 110 secs
lola: 9271855 markings, 45118640 edges, 83401 markings/sec, 115 secs
lola: 9665775 markings, 46989804 edges, 78784 markings/sec, 120 secs
lola: 10023685 markings, 48852684 edges, 71582 markings/sec, 125 secs
lola: 10380044 markings, 50737010 edges, 71272 markings/sec, 130 secs
lola: 10714161 markings, 52564332 edges, 66823 markings/sec, 135 secs
lola: 11073844 markings, 54368119 edges, 71937 markings/sec, 140 secs
lola: 11423232 markings, 56238142 edges, 69878 markings/sec, 145 secs
lola: 11747947 markings, 58129112 edges, 64943 markings/sec, 150 secs
lola: 12083296 markings, 60023538 edges, 67070 markings/sec, 155 secs
lola: 12437375 markings, 61857316 edges, 70816 markings/sec, 160 secs
lola: 12771730 markings, 63684714 edges, 66871 markings/sec, 165 secs
lola: 13090705 markings, 65564492 edges, 63795 markings/sec, 170 secs
lola: 13404292 markings, 67446108 edges, 62717 markings/sec, 175 secs
lola: 13707383 markings, 69296098 edges, 60618 markings/sec, 180 secs
lola: 13999505 markings, 71142132 edges, 58424 markings/sec, 185 secs
lola: 14357831 markings, 72982119 edges, 71665 markings/sec, 190 secs
lola: 14679626 markings, 74783254 edges, 64359 markings/sec, 195 secs
lola: 14997354 markings, 76579006 edges, 63546 markings/sec, 200 secs
lola: 15329325 markings, 78402313 edges, 66394 markings/sec, 205 secs
lola: 15634347 markings, 80167999 edges, 61004 markings/sec, 210 secs
lola: 15912836 markings, 81957582 edges, 55698 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: 518447 markings, 1844394 edges, 103689 markings/sec, 0 secs
lola: 973740 markings, 3674747 edges, 91059 markings/sec, 5 secs
lola: 1401575 markings, 5489671 edges, 85567 markings/sec, 10 secs
lola: 1788335 markings, 7263924 edges, 77352 markings/sec, 15 secs
lola: 2175552 markings, 9056808 edges, 77443 markings/sec, 20 secs
lola: 2590811 markings, 10848565 edges, 83052 markings/sec, 25 secs
lola: 3009202 markings, 12628937 edges, 83678 markings/sec, 30 secs
lola: 3404688 markings, 14414301 edges, 79097 markings/sec, 35 secs
lola: 3787690 markings, 16217683 edges, 76600 markings/sec, 40 secs
lola: 4159594 markings, 17983393 edges, 74381 markings/sec, 45 secs
lola: 4510966 markings, 19772515 edges, 70274 markings/sec, 50 secs
lola: 4865750 markings, 21536629 edges, 70957 markings/sec, 55 secs
lola: 5246896 markings, 23346109 edges, 76229 markings/sec, 60 secs
lola: 5591730 markings, 25083734 edges, 68967 markings/sec, 65 secs
lola: 5960738 markings, 26865228 edges, 73802 markings/sec, 70 secs
lola: 6307629 markings, 28567044 edges, 69378 markings/sec, 75 secs
lola: 6639531 markings, 30248054 edges, 66380 markings/sec, 80 secs
lola: 6950182 markings, 31985908 edges, 62130 markings/sec, 85 secs
lola: 7243542 markings, 33650676 edges, 58672 markings/sec, 90 secs
lola: 7597670 markings, 35353441 edges, 70826 markings/sec, 95 secs
lola: 7910522 markings, 37049704 edges, 62570 markings/sec, 100 secs
lola: 8248128 markings, 38798825 edges, 67521 markings/sec, 105 secs
lola: 8555194 markings, 40501917 edges, 61413 markings/sec, 110 secs
lola: 8829431 markings, 42192150 edges, 54847 markings/sec, 115 secs
lola: 9180803 markings, 43923479 edges, 70274 markings/sec, 120 secs
lola: 9538638 markings, 45708075 edges, 71567 markings/sec, 125 secs
lola: 9937324 markings, 47476330 edges, 79737 markings/sec, 130 secs
lola: 10312498 markings, 49264292 edges, 75035 markings/sec, 135 secs
lola: 10674245 markings, 51014794 edges, 72349 markings/sec, 140 secs
lola: 10998506 markings, 52784762 edges, 64852 markings/sec, 145 secs
lola: 11338507 markings, 54525742 edges, 68000 markings/sec, 150 secs
lola: 11662897 markings, 56228471 edges, 64878 markings/sec, 155 secs
lola: 11997336 markings, 57977069 edges, 66888 markings/sec, 160 secs
lola: 12311719 markings, 59628428 edges, 62877 markings/sec, 165 secs
lola: 12607551 markings, 61264476 edges, 59166 markings/sec, 170 secs
lola: 12897444 markings, 62960581 edges, 57979 markings/sec, 175 secs
lola: 13165889 markings, 64567294 edges, 53689 markings/sec, 180 secs
lola: 13542974 markings, 66175449 edges, 75417 markings/sec, 185 secs
lola: 13908230 markings, 67739170 edges, 73051 markings/sec, 190 secs
lola: 14279828 markings, 69384789 edges, 74320 markings/sec, 195 secs
lola: 14607110 markings, 71028427 edges, 65456 markings/sec, 200 secs
lola: 14909427 markings, 72641496 edges, 60463 markings/sec, 205 secs
lola: 15250033 markings, 74308397 edges, 68121 markings/sec, 210 secs
lola: 15584593 markings, 76000274 edges, 66912 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: 510788 markings, 1927116 edges, 102158 markings/sec, 0 secs
lola: 928642 markings, 3772055 edges, 83571 markings/sec, 5 secs
lola: 1322136 markings, 5593625 edges, 78699 markings/sec, 10 secs
lola: 1733363 markings, 7454375 edges, 82245 markings/sec, 15 secs
lola: 2100043 markings, 9305560 edges, 73336 markings/sec, 20 secs
lola: 2445170 markings, 11137281 edges, 69025 markings/sec, 25 secs
lola: 2773717 markings, 13012549 edges, 65709 markings/sec, 30 secs
lola: 3137814 markings, 14700717 edges, 72819 markings/sec, 35 secs
lola: 3470544 markings, 16380530 edges, 66546 markings/sec, 40 secs
lola: 3792459 markings, 18128462 edges, 64383 markings/sec, 45 secs
lola: 4176458 markings, 19850117 edges, 76800 markings/sec, 50 secs
lola: 4510322 markings, 21628790 edges, 66773 markings/sec, 55 secs
lola: 4857003 markings, 23442985 edges, 69336 markings/sec, 60 secs
lola: 5178592 markings, 25181231 edges, 64318 markings/sec, 65 secs
lola: 5482439 markings, 26933977 edges, 60769 markings/sec, 70 secs
lola: 5757689 markings, 28719285 edges, 55050 markings/sec, 75 secs
lola: 6086219 markings, 30447886 edges, 65706 markings/sec, 80 secs
lola: 6427688 markings, 32122417 edges, 68294 markings/sec, 85 secs
lola: 6720605 markings, 33791404 edges, 58583 markings/sec, 90 secs
lola: 7020418 markings, 35555661 edges, 59963 markings/sec, 95 secs
lola: 7328277 markings, 37210414 edges, 61572 markings/sec, 100 secs
lola: 7658859 markings, 38853042 edges, 66116 markings/sec, 105 secs
lola: 7954178 markings, 40476433 edges, 59064 markings/sec, 110 secs
lola: 8216959 markings, 42117482 edges, 52556 markings/sec, 115 secs
lola: 8517945 markings, 43784517 edges, 60197 markings/sec, 120 secs
lola: 8819420 markings, 45418995 edges, 60295 markings/sec, 125 secs
lola: 9127170 markings, 47078986 edges, 61550 markings/sec, 130 secs
lola: 9435902 markings, 48854261 edges, 61746 markings/sec, 135 secs
lola: 9730554 markings, 50624801 edges, 58930 markings/sec, 140 secs
lola: 10014502 markings, 52280185 edges, 56790 markings/sec, 145 secs
lola: 10280677 markings, 53928282 edges, 53235 markings/sec, 150 secs
lola: 10549246 markings, 55598284 edges, 53714 markings/sec, 155 secs
lola: 10820665 markings, 57285462 edges, 54284 markings/sec, 160 secs
lola: 11153443 markings, 58857160 edges, 66556 markings/sec, 165 secs
lola: 11469560 markings, 60441831 edges, 63223 markings/sec, 170 secs
lola: 11800871 markings, 61957236 edges, 66262 markings/sec, 175 secs
lola: 12111535 markings, 63536568 edges, 62133 markings/sec, 180 secs
lola: 12427329 markings, 65141176 edges, 63159 markings/sec, 185 secs
lola: 12734846 markings, 66729486 edges, 61503 markings/sec, 190 secs
lola: 13010664 markings, 68332067 edges, 55164 markings/sec, 195 secs
lola: 13299709 markings, 69870476 edges, 57809 markings/sec, 200 secs
lola: 13612807 markings, 71402506 edges, 62620 markings/sec, 205 secs
lola: 13875518 markings, 72950722 edges, 52542 markings/sec, 210 secs
lola: 14154394 markings, 74497810 edges, 55775 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: 512889 markings, 1947615 edges, 102578 markings/sec, 0 secs
lola: 938383 markings, 3850690 edges, 85099 markings/sec, 5 secs
lola: 1359482 markings, 5689076 edges, 84220 markings/sec, 10 secs
lola: 1749580 markings, 7572828 edges, 78020 markings/sec, 15 secs
lola: 2185851 markings, 9472010 edges, 87254 markings/sec, 20 secs
lola: 2587800 markings, 11371900 edges, 80390 markings/sec, 25 secs
lola: 2963059 markings, 13320766 edges, 75052 markings/sec, 30 secs
lola: 3334238 markings, 15252108 edges, 74236 markings/sec, 35 secs
lola: 3679322 markings, 17121236 edges, 69017 markings/sec, 40 secs
lola: 4003652 markings, 19024628 edges, 64866 markings/sec, 45 secs
lola: 4365319 markings, 20844018 edges, 72333 markings/sec, 50 secs
lola: 4704574 markings, 22704756 edges, 67851 markings/sec, 55 secs
lola: 5014714 markings, 24518961 edges, 62028 markings/sec, 60 secs
lola: 5414109 markings, 26243725 edges, 79879 markings/sec, 65 secs
lola: 5791394 markings, 27982933 edges, 75457 markings/sec, 70 secs
lola: 6161775 markings, 29721106 edges, 74076 markings/sec, 75 secs
lola: 6505971 markings, 31433323 edges, 68839 markings/sec, 80 secs
lola: 6854603 markings, 33174617 edges, 69726 markings/sec, 85 secs
lola: 7197895 markings, 34869361 edges, 68658 markings/sec, 90 secs
lola: 7498885 markings, 36559436 edges, 60198 markings/sec, 95 secs
lola: 7796808 markings, 38224043 edges, 59585 markings/sec, 100 secs
lola: 8121648 markings, 39946498 edges, 64968 markings/sec, 105 secs
lola: 8493484 markings, 41712459 edges, 74367 markings/sec, 110 secs
lola: 8819899 markings, 43413274 edges, 65283 markings/sec, 115 secs
lola: 9161026 markings, 45117755 edges, 68225 markings/sec, 120 secs
lola: 9463015 markings, 46812933 edges, 60398 markings/sec, 125 secs
lola: 9768889 markings, 48494597 edges, 61175 markings/sec, 130 secs
lola: 10068296 markings, 50170063 edges, 59881 markings/sec, 135 secs
lola: 10404346 markings, 51903438 edges, 67210 markings/sec, 140 secs
lola: 10753265 markings, 53641847 edges, 69784 markings/sec, 145 secs
lola: 11131682 markings, 55396680 edges, 75683 markings/sec, 150 secs
lola: 11463033 markings, 57126251 edges, 66270 markings/sec, 155 secs
lola: 11777942 markings, 58869935 edges, 62982 markings/sec, 160 secs
lola: 12113703 markings, 60626657 edges, 67152 markings/sec, 165 secs
lola: 12418989 markings, 62322212 edges, 61057 markings/sec, 170 secs
lola: 12773212 markings, 64024586 edges, 70845 markings/sec, 175 secs
lola: 13120545 markings, 65764504 edges, 69467 markings/sec, 180 secs
lola: 13476916 markings, 67544436 edges, 71274 markings/sec, 185 secs
lola: 13812363 markings, 69211862 edges, 67089 markings/sec, 190 secs
lola: 14131293 markings, 70925910 edges, 63786 markings/sec, 195 secs
lola: 14437078 markings, 72611607 edges, 61157 markings/sec, 200 secs
lola: 14723225 markings, 74286153 edges, 57229 markings/sec, 205 secs
lola: 15007746 markings, 75974923 edges, 56904 markings/sec, 210 secs
lola: 15323503 markings, 77646151 edges, 63151 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: 477347 markings, 1969069 edges, 95469 markings/sec, 0 secs
lola: 903209 markings, 3921752 edges, 85172 markings/sec, 5 secs
lola: 1308006 markings, 5910189 edges, 80959 markings/sec, 10 secs
lola: 1668524 markings, 7855597 edges, 72104 markings/sec, 15 secs
lola: 2017610 markings, 9798985 edges, 69817 markings/sec, 20 secs
lola: 2410637 markings, 11767257 edges, 78605 markings/sec, 25 secs
lola: 2782028 markings, 13679624 edges, 74278 markings/sec, 30 secs
lola: 3145605 markings, 15598791 edges, 72715 markings/sec, 35 secs
lola: 3466784 markings, 17457618 edges, 64236 markings/sec, 40 secs
lola: 3820651 markings, 19386386 edges, 70773 markings/sec, 45 secs
lola: 4251829 markings, 21356729 edges, 86236 markings/sec, 50 secs
lola: 4626989 markings, 23274869 edges, 75032 markings/sec, 55 secs
lola: 5020476 markings, 25097230 edges, 78697 markings/sec, 60 secs
lola: 5387428 markings, 26957029 edges, 73390 markings/sec, 65 secs
lola: 5717229 markings, 28827758 edges, 65960 markings/sec, 70 secs
lola: 6037545 markings, 30785782 edges, 64063 markings/sec, 75 secs
lola: 6333409 markings, 32685818 edges, 59173 markings/sec, 80 secs
lola: 6677632 markings, 34508681 edges, 68845 markings/sec, 85 secs
lola: 7024169 markings, 36327953 edges, 69307 markings/sec, 90 secs
lola: 7362282 markings, 38156934 edges, 67623 markings/sec, 95 secs
lola: 7676114 markings, 39999678 edges, 62766 markings/sec, 100 secs
lola: 7964090 markings, 41897610 edges, 57595 markings/sec, 105 secs
lola: 8234207 markings, 43814172 edges, 54023 markings/sec, 110 secs
lola: 8522081 markings, 45637641 edges, 57575 markings/sec, 115 secs
lola: 8893770 markings, 47455533 edges, 74338 markings/sec, 120 secs
lola: 9270703 markings, 49293093 edges, 75387 markings/sec, 125 secs
lola: 9587221 markings, 51142523 edges, 63304 markings/sec, 130 secs
lola: 9957694 markings, 53005544 edges, 74095 markings/sec, 135 secs
lola: 10313164 markings, 54810124 edges, 71094 markings/sec, 140 secs
lola: 10632762 markings, 56615356 edges, 63920 markings/sec, 145 secs
lola: 10945886 markings, 58401114 edges, 62625 markings/sec, 150 secs
lola: 11258936 markings, 60205372 edges, 62610 markings/sec, 155 secs
lola: 11552142 markings, 62030974 edges, 58641 markings/sec, 160 secs
lola: 11819374 markings, 63811961 edges, 53446 markings/sec, 165 secs
lola: 12159674 markings, 65681601 edges, 68060 markings/sec, 170 secs
lola: 12483982 markings, 67515008 edges, 64862 markings/sec, 175 secs
lola: 12803765 markings, 69371083 edges, 63957 markings/sec, 180 secs
lola: 13097141 markings, 71205699 edges, 58675 markings/sec, 185 secs
lola: 13377543 markings, 73076180 edges, 56080 markings/sec, 190 secs
lola: 13705055 markings, 74890292 edges, 65502 markings/sec, 195 secs
lola: 14005040 markings, 76718027 edges, 59997 markings/sec, 200 secs
lola: 14291016 markings, 78544761 edges, 57195 markings/sec, 205 secs
lola: 14601828 markings, 80401840 edges, 62162 markings/sec, 210 secs
lola: 14878280 markings, 82248372 edges, 55290 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: 520724 markings, 1965002 edges, 104145 markings/sec, 0 secs
lola: 948252 markings, 3951267 edges, 85506 markings/sec, 5 secs
lola: 1363110 markings, 5940142 edges, 82972 markings/sec, 10 secs
lola: 1793768 markings, 7916087 edges, 86132 markings/sec, 15 secs
lola: 2207177 markings, 9889591 edges, 82682 markings/sec, 20 secs
lola: 2630740 markings, 11855315 edges, 84713 markings/sec, 25 secs
lola: 3034532 markings, 13826135 edges, 80758 markings/sec, 30 secs
lola: 3415861 markings, 15816280 edges, 76266 markings/sec, 35 secs
lola: 3814228 markings, 17799428 edges, 79673 markings/sec, 40 secs
lola: 4170424 markings, 19773131 edges, 71239 markings/sec, 45 secs
lola: 4559026 markings, 21711602 edges, 77720 markings/sec, 50 secs
lola: 4931309 markings, 23634252 edges, 74457 markings/sec, 55 secs
lola: 5275135 markings, 25539244 edges, 68765 markings/sec, 60 secs
lola: 5659449 markings, 27501200 edges, 76863 markings/sec, 65 secs
lola: 5998386 markings, 29437441 edges, 67787 markings/sec, 70 secs
lola: 6339583 markings, 31339850 edges, 68239 markings/sec, 75 secs
lola: 6657513 markings, 33265284 edges, 63586 markings/sec, 80 secs
lola: 6990992 markings, 35202248 edges, 66696 markings/sec, 85 secs
lola: 7373302 markings, 37165020 edges, 76462 markings/sec, 90 secs
lola: 7713900 markings, 39157966 edges, 68120 markings/sec, 95 secs
lola: 8057353 markings, 41113961 edges, 68691 markings/sec, 100 secs
lola: 8391686 markings, 43064303 edges, 66867 markings/sec, 105 secs
lola: 8743295 markings, 45045460 edges, 70322 markings/sec, 110 secs
lola: 9046084 markings, 47043012 edges, 60558 markings/sec, 115 secs
lola: 9371626 markings, 48962104 edges, 65108 markings/sec, 120 secs
lola: 9690392 markings, 50906142 edges, 63753 markings/sec, 125 secs
lola: 9991002 markings, 52844012 edges, 60122 markings/sec, 130 secs
lola: 10289462 markings, 54787504 edges, 59692 markings/sec, 135 secs
lola: 10694696 markings, 56655119 edges, 81047 markings/sec, 140 secs
lola: 11083719 markings, 58568402 edges, 77805 markings/sec, 145 secs
lola: 11436404 markings, 60498115 edges, 70537 markings/sec, 150 secs
lola: 11775944 markings, 62429123 edges, 67908 markings/sec, 155 secs
lola: 12126961 markings, 64328571 edges, 70203 markings/sec, 160 secs
lola: 12487362 markings, 66233437 edges, 72080 markings/sec, 165 secs
lola: 12838591 markings, 68132355 edges, 70246 markings/sec, 170 secs
lola: 13201812 markings, 70030736 edges, 72644 markings/sec, 175 secs
lola: 13535543 markings, 71863864 edges, 66746 markings/sec, 180 secs
lola: 13874087 markings, 73734228 edges, 67709 markings/sec, 185 secs
lola: 14237738 markings, 75616365 edges, 72730 markings/sec, 190 secs
lola: 14567504 markings, 77496342 edges, 65953 markings/sec, 195 secs
lola: 14877718 markings, 79355257 edges, 62043 markings/sec, 200 secs
lola: 15191628 markings, 81191878 edges, 62782 markings/sec, 205 secs
lola: 15552143 markings, 83102180 edges, 72103 markings/sec, 210 secs
lola: 15876649 markings, 84964158 edges, 64901 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: 522267 markings, 1911359 edges, 104453 markings/sec, 0 secs
lola: 1001745 markings, 3862610 edges, 95896 markings/sec, 5 secs
lola: 1456283 markings, 5793350 edges, 90908 markings/sec, 10 secs
lola: 1865680 markings, 7771900 edges, 81879 markings/sec, 15 secs
lola: 2236395 markings, 9619398 edges, 74143 markings/sec, 20 secs
lola: 2680633 markings, 11373322 edges, 88848 markings/sec, 25 secs
lola: 3094738 markings, 13132038 edges, 82821 markings/sec, 30 secs
lola: 3475852 markings, 14918159 edges, 76223 markings/sec, 35 secs
lola: 3854835 markings, 16712189 edges, 75797 markings/sec, 40 secs
lola: 4210743 markings, 18522512 edges, 71182 markings/sec, 45 secs
lola: 4544878 markings, 20327249 edges, 66827 markings/sec, 50 secs
lola: 4885305 markings, 22050084 edges, 68085 markings/sec, 55 secs
lola: 5227531 markings, 23750731 edges, 68445 markings/sec, 60 secs
lola: 5600991 markings, 25480860 edges, 74692 markings/sec, 65 secs
lola: 5968021 markings, 27233059 edges, 73406 markings/sec, 70 secs
lola: 6320642 markings, 28992329 edges, 70524 markings/sec, 75 secs
lola: 6641968 markings, 30728692 edges, 64265 markings/sec, 80 secs
lola: 6996740 markings, 32450252 edges, 70954 markings/sec, 85 secs
lola: 7346826 markings, 34273975 edges, 70017 markings/sec, 90 secs
lola: 7688534 markings, 36149701 edges, 68342 markings/sec, 95 secs
lola: 8041169 markings, 38067691 edges, 70527 markings/sec, 100 secs
lola: 8369072 markings, 39918393 edges, 65581 markings/sec, 105 secs
lola: 8666117 markings, 41729977 edges, 59409 markings/sec, 110 secs
lola: 9023972 markings, 43520335 edges, 71571 markings/sec, 115 secs
lola: 9376489 markings, 45333789 edges, 70503 markings/sec, 120 secs
lola: 9701448 markings, 47112699 edges, 64992 markings/sec, 125 secs
lola: 10064879 markings, 48936494 edges, 72686 markings/sec, 130 secs
lola: 10477806 markings, 50763985 edges, 82585 markings/sec, 135 secs
lola: 10864782 markings, 52562463 edges, 77395 markings/sec, 140 secs
lola: 11201417 markings, 54385063 edges, 67327 markings/sec, 145 secs
lola: 11555159 markings, 56166610 edges, 70748 markings/sec, 150 secs
lola: 11902702 markings, 57948354 edges, 69509 markings/sec, 155 secs
lola: 12283371 markings, 59719175 edges, 76134 markings/sec, 160 secs
lola: 12634457 markings, 61472687 edges, 70217 markings/sec, 165 secs
lola: 12967908 markings, 63263394 edges, 66690 markings/sec, 170 secs
lola: 13276484 markings, 65040551 edges, 61715 markings/sec, 175 secs
lola: 13637443 markings, 66819533 edges, 72192 markings/sec, 180 secs
lola: 14008417 markings, 68582376 edges, 74195 markings/sec, 185 secs
lola: 14349717 markings, 70385160 edges, 68260 markings/sec, 190 secs
lola: 14672709 markings, 72130211 edges, 64598 markings/sec, 195 secs
lola: 15018629 markings, 73846538 edges, 69184 markings/sec, 200 secs
lola: 15341075 markings, 75609476 edges, 64489 markings/sec, 205 secs
lola: 15670664 markings, 77406733 edges, 65918 markings/sec, 210 secs
lola: 15976047 markings, 79228240 edges, 61077 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: 501909 markings, 1909143 edges, 100382 markings/sec, 0 secs
lola: 949528 markings, 3750316 edges, 89524 markings/sec, 5 secs
lola: 1348835 markings, 5620856 edges, 79861 markings/sec, 10 secs
lola: 1752559 markings, 7403389 edges, 80745 markings/sec, 15 secs
lola: 2131061 markings, 9245814 edges, 75700 markings/sec, 20 secs
lola: 2514500 markings, 11121683 edges, 76688 markings/sec, 25 secs
lola: 2900358 markings, 13036046 edges, 77172 markings/sec, 30 secs
lola: 3248173 markings, 14838284 edges, 69563 markings/sec, 35 secs
lola: 3599551 markings, 16784974 edges, 70276 markings/sec, 40 secs
lola: 3985640 markings, 18638978 edges, 77218 markings/sec, 45 secs
lola: 4314040 markings, 20344184 edges, 65680 markings/sec, 50 secs
lola: 4639777 markings, 22034061 edges, 65147 markings/sec, 55 secs
lola: 4949453 markings, 23824097 edges, 61935 markings/sec, 60 secs
lola: 5296528 markings, 25574409 edges, 69415 markings/sec, 65 secs
lola: 5686342 markings, 27357003 edges, 77963 markings/sec, 70 secs
lola: 6042965 markings, 29099006 edges, 71325 markings/sec, 75 secs
lola: 6396528 markings, 30937771 edges, 70713 markings/sec, 80 secs
lola: 6731677 markings, 32728486 edges, 67030 markings/sec, 85 secs
lola: 7056773 markings, 34390268 edges, 65019 markings/sec, 90 secs
lola: 7375730 markings, 36159814 edges, 63791 markings/sec, 95 secs
lola: 7700439 markings, 37956675 edges, 64942 markings/sec, 100 secs
lola: 8001767 markings, 39743487 edges, 60266 markings/sec, 105 secs
lola: 8323137 markings, 41524461 edges, 64274 markings/sec, 110 secs
lola: 8619148 markings, 43276946 edges, 59202 markings/sec, 115 secs
lola: 8939098 markings, 44978373 edges, 63990 markings/sec, 120 secs
lola: 9222949 markings, 46779554 edges, 56770 markings/sec, 125 secs
lola: 9501232 markings, 48545188 edges, 55657 markings/sec, 130 secs
lola: 9824589 markings, 50343531 edges, 64671 markings/sec, 135 secs
lola: 10131312 markings, 52036562 edges, 61345 markings/sec, 140 secs
lola: 10426781 markings, 53683166 edges, 59094 markings/sec, 145 secs
lola: 10708002 markings, 55375196 edges, 56244 markings/sec, 150 secs
lola: 10988138 markings, 57078569 edges, 56027 markings/sec, 155 secs
lola: 11269698 markings, 58793882 edges, 56312 markings/sec, 160 secs
lola: 11551605 markings, 60575844 edges, 56381 markings/sec, 165 secs
lola: 11821325 markings, 62350101 edges, 53944 markings/sec, 170 secs
lola: 12081952 markings, 64102898 edges, 52125 markings/sec, 175 secs
lola: 12420817 markings, 65888981 edges, 67773 markings/sec, 180 secs
lola: 12766069 markings, 67536385 edges, 69050 markings/sec, 185 secs
lola: 13122782 markings, 69302547 edges, 71343 markings/sec, 190 secs
lola: 13409100 markings, 71029366 edges, 57264 markings/sec, 195 secs
lola: 13730568 markings, 72782980 edges, 64294 markings/sec, 200 secs
lola: 14060665 markings, 74597545 edges, 66019 markings/sec, 205 secs
lola: 14375073 markings, 76376932 edges, 62882 markings/sec, 210 secs
lola: 14669366 markings, 78176805 edges, 58859 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: 513235 markings, 1902451 edges, 102647 markings/sec, 0 secs
lola: 954478 markings, 3900019 edges, 88249 markings/sec, 5 secs
lola: 1394725 markings, 5808991 edges, 88049 markings/sec, 10 secs
lola: 1837909 markings, 7765220 edges, 88637 markings/sec, 15 secs
lola: 2228726 markings, 9708880 edges, 78163 markings/sec, 20 secs
lola: 2599877 markings, 11633994 edges, 74230 markings/sec, 25 secs
lola: 2978162 markings, 13571294 edges, 75657 markings/sec, 30 secs
lola: 3395366 markings, 15498189 edges, 83441 markings/sec, 35 secs
lola: 3818971 markings, 17458753 edges, 84721 markings/sec, 40 secs
lola: 4205169 markings, 19403833 edges, 77240 markings/sec, 45 secs
lola: 4569991 markings, 21307876 edges, 72964 markings/sec, 50 secs
lola: 4935668 markings, 23208890 edges, 73135 markings/sec, 55 secs
lola: 5303569 markings, 25093808 edges, 73580 markings/sec, 60 secs
lola: 5657906 markings, 26984368 edges, 70867 markings/sec, 65 secs
lola: 6044228 markings, 28928931 edges, 77264 markings/sec, 70 secs
lola: 6376651 markings, 30868921 edges, 66485 markings/sec, 75 secs
lola: 6717220 markings, 32715579 edges, 68114 markings/sec, 80 secs
lola: 7027189 markings, 34574928 edges, 61994 markings/sec, 85 secs
lola: 7356988 markings, 36507963 edges, 65960 markings/sec, 90 secs
lola: 7694200 markings, 38377575 edges, 67442 markings/sec, 95 secs
lola: 8009643 markings, 40255035 edges, 63089 markings/sec, 100 secs
lola: 8419778 markings, 42181104 edges, 82027 markings/sec, 105 secs
lola: 8792708 markings, 44109742 edges, 74586 markings/sec, 110 secs
lola: 9163965 markings, 46052056 edges, 74251 markings/sec, 115 secs
lola: 9538807 markings, 47993101 edges, 74968 markings/sec, 120 secs
lola: 9913244 markings, 49926667 edges, 74887 markings/sec, 125 secs
lola: 10238824 markings, 51823935 edges, 65116 markings/sec, 130 secs
lola: 10556915 markings, 53727485 edges, 63618 markings/sec, 135 secs
lola: 10939548 markings, 55643148 edges, 76527 markings/sec, 140 secs
lola: 11295091 markings, 57539524 edges, 71109 markings/sec, 145 secs
lola: 11655892 markings, 59462677 edges, 72160 markings/sec, 150 secs
lola: 11971575 markings, 61381753 edges, 63137 markings/sec, 155 secs
lola: 12281526 markings, 63249442 edges, 61990 markings/sec, 160 secs
lola: 12568908 markings, 65116781 edges, 57476 markings/sec, 165 secs
lola: 12898503 markings, 67047859 edges, 65919 markings/sec, 170 secs
lola: 13235907 markings, 68939001 edges, 67481 markings/sec, 175 secs
lola: 13558109 markings, 70826420 edges, 64440 markings/sec, 180 secs
lola: 13861893 markings, 72704910 edges, 60757 markings/sec, 185 secs
lola: 14165835 markings, 74607483 edges, 60788 markings/sec, 190 secs
lola: 14458311 markings, 76461665 edges, 58495 markings/sec, 195 secs
lola: 14747700 markings, 78373767 edges, 57878 markings/sec, 200 secs
lola: 15071813 markings, 80312064 edges, 64823 markings/sec, 205 secs
lola: 15491232 markings, 82187823 edges, 83884 markings/sec, 210 secs
lola: 15919724 markings, 84021027 edges, 85698 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: 504868 markings, 1899892 edges, 100974 markings/sec, 0 secs
lola: 921517 markings, 3789926 edges, 83330 markings/sec, 5 secs
lola: 1383972 markings, 5744379 edges, 92491 markings/sec, 10 secs
lola: 1765476 markings, 7682831 edges, 76301 markings/sec, 15 secs
lola: 2120392 markings, 9493170 edges, 70983 markings/sec, 20 secs
lola: 2502961 markings, 11279263 edges, 76514 markings/sec, 25 secs
lola: 2893628 markings, 13056198 edges, 78133 markings/sec, 30 secs
lola: 3252907 markings, 14890451 edges, 71856 markings/sec, 35 secs
lola: 3581122 markings, 16710488 edges, 65643 markings/sec, 40 secs
lola: 3941153 markings, 18498791 edges, 72006 markings/sec, 45 secs
lola: 4275197 markings, 20321487 edges, 66809 markings/sec, 50 secs
lola: 4611240 markings, 22132048 edges, 67209 markings/sec, 55 secs
lola: 4907356 markings, 23936080 edges, 59223 markings/sec, 60 secs
lola: 5256122 markings, 25691182 edges, 69753 markings/sec, 65 secs
lola: 5639334 markings, 27373192 edges, 76642 markings/sec, 70 secs
lola: 6016934 markings, 29081036 edges, 75520 markings/sec, 75 secs
lola: 6356587 markings, 30788380 edges, 67931 markings/sec, 80 secs
lola: 6685009 markings, 32486380 edges, 65684 markings/sec, 85 secs
lola: 7053840 markings, 34239057 edges, 73766 markings/sec, 90 secs
lola: 7371584 markings, 35932752 edges, 63549 markings/sec, 95 secs
lola: 7664489 markings, 37614393 edges, 58581 markings/sec, 100 secs
lola: 7965840 markings, 39261709 edges, 60270 markings/sec, 105 secs
lola: 8325511 markings, 40989796 edges, 71934 markings/sec, 110 secs
lola: 8663704 markings, 42741407 edges, 67639 markings/sec, 115 secs
lola: 8987157 markings, 44397475 edges, 64691 markings/sec, 120 secs
lola: 9313073 markings, 46121091 edges, 65183 markings/sec, 125 secs
lola: 9633100 markings, 47825659 edges, 64005 markings/sec, 130 secs
lola: 9915167 markings, 49465884 edges, 56413 markings/sec, 135 secs
lola: 10191086 markings, 51149688 edges, 55184 markings/sec, 140 secs
lola: 10561113 markings, 52817455 edges, 74005 markings/sec, 145 secs
lola: 10885284 markings, 54438990 edges, 64834 markings/sec, 150 secs
lola: 11256209 markings, 56131133 edges, 74185 markings/sec, 155 secs
lola: 11568117 markings, 57821876 edges, 62382 markings/sec, 160 secs
lola: 11865792 markings, 59442818 edges, 59535 markings/sec, 165 secs
lola: 12177501 markings, 61081600 edges, 62342 markings/sec, 170 secs
lola: 12462648 markings, 62657447 edges, 57029 markings/sec, 175 secs
lola: 12753234 markings, 64281616 edges, 58117 markings/sec, 180 secs
lola: 13090543 markings, 65892888 edges, 67462 markings/sec, 185 secs
lola: 13415318 markings, 67542703 edges, 64955 markings/sec, 190 secs
lola: 13760489 markings, 69267483 edges, 69034 markings/sec, 195 secs
lola: 14081034 markings, 70911048 edges, 64109 markings/sec, 200 secs
lola: 14398138 markings, 72549271 edges, 63421 markings/sec, 205 secs
lola: 14699852 markings, 74227262 edges, 60343 markings/sec, 210 secs
lola: 14981154 markings, 75857874 edges, 56260 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: 534592 markings, 1845290 edges, 106918 markings/sec, 0 secs
lola: 1005204 markings, 3753044 edges, 94122 markings/sec, 5 secs
lola: 1458613 markings, 5698392 edges, 90682 markings/sec, 10 secs
lola: 1886060 markings, 7606651 edges, 85489 markings/sec, 15 secs
lola: 2280474 markings, 9520803 edges, 78883 markings/sec, 20 secs
lola: 2697670 markings, 11354202 edges, 83439 markings/sec, 25 secs
lola: 3141526 markings, 13189312 edges, 88771 markings/sec, 30 secs
lola: 3558551 markings, 15049365 edges, 83405 markings/sec, 35 secs
lola: 3933007 markings, 16898517 edges, 74891 markings/sec, 40 secs
lola: 4358977 markings, 18730541 edges, 85194 markings/sec, 45 secs
lola: 4755533 markings, 20567748 edges, 79311 markings/sec, 50 secs
lola: 5159510 markings, 22391457 edges, 80795 markings/sec, 55 secs
lola: 5534860 markings, 24246434 edges, 75070 markings/sec, 60 secs
lola: 5886100 markings, 26123040 edges, 70248 markings/sec, 65 secs
lola: 6251973 markings, 28001244 edges, 73175 markings/sec, 70 secs
lola: 6601346 markings, 29872095 edges, 69875 markings/sec, 75 secs
lola: 6940792 markings, 31747437 edges, 67889 markings/sec, 80 secs
lola: 7277948 markings, 33616282 edges, 67431 markings/sec, 85 secs
lola: 7632479 markings, 35487511 edges, 70906 markings/sec, 90 secs
lola: 8053596 markings, 37254310 edges, 84223 markings/sec, 95 secs
lola: 8461048 markings, 38996587 edges, 81490 markings/sec, 100 secs
lola: 8843448 markings, 40773946 edges, 76480 markings/sec, 105 secs
lola: 9198657 markings, 42543928 edges, 71042 markings/sec, 110 secs
lola: 9548836 markings, 44388646 edges, 70036 markings/sec, 115 secs
lola: 9933753 markings, 46188714 edges, 76983 markings/sec, 120 secs
lola: 10278427 markings, 47976793 edges, 68935 markings/sec, 125 secs
lola: 10642773 markings, 49725567 edges, 72869 markings/sec, 130 secs
lola: 11046519 markings, 51451390 edges, 80749 markings/sec, 135 secs
lola: 11404756 markings, 53211710 edges, 71647 markings/sec, 140 secs
lola: 11764146 markings, 54988314 edges, 71878 markings/sec, 145 secs
lola: 12104291 markings, 56829993 edges, 68029 markings/sec, 150 secs
lola: 12426845 markings, 58612824 edges, 64511 markings/sec, 155 secs
lola: 12798671 markings, 60371995 edges, 74365 markings/sec, 160 secs
lola: 13157997 markings, 62198816 edges, 71865 markings/sec, 165 secs
lola: 13484949 markings, 63947744 edges, 65390 markings/sec, 170 secs
lola: 13801376 markings, 65713613 edges, 63285 markings/sec, 175 secs
lola: 14152130 markings, 67496479 edges, 70151 markings/sec, 180 secs
lola: 14484477 markings, 69310809 edges, 66469 markings/sec, 185 secs
lola: 14815016 markings, 71145680 edges, 66108 markings/sec, 190 secs
lola: 15113107 markings, 72962381 edges, 59618 markings/sec, 195 secs
lola: 15404095 markings, 74727376 edges, 58198 markings/sec, 200 secs
lola: 15708912 markings, 76484891 edges, 60963 markings/sec, 205 secs
lola: 16013859 markings, 78203384 edges, 60989 markings/sec, 210 secs
lola: 16300423 markings, 79955956 edges, 57313 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
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 1494934807919

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Solitaire-PT-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/Solitaire-PT-FrnNC7x7.tgz
mv 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 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 r078-ebro-149441008200092"
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 ;