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

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

=== Now, execution of the tool begins

BK_START 1494933710857


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ SquareGrid-PT-080408 @ 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: 1952/65536 symbol table entries, 279 collisions
lola: preprocessing...
lola: finding significant places
lola: 896 places, 1056 transitions, 543 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1408 transition conflict sets
lola: TASK
lola: reading formula from SquareGrid-PT-080408-UpperBounds.task
lola: MAX(p1i_5_6) : MAX(p4il_4_9) : MAX(p4i_6_1) : MAX(p4i_5_8) : MAX(pbl_2_7) : MAX(p4ol_6_6) : MAX(pbl_1_6) : MAX(pbl_2_7) : MAX(p1o_1_1) : MAX(p1o_2_4) : MAX(p1o_8_3) : MAX(p4i_7_9) : MAX(p1i_3_6) : MAX(p1i_7_6) : MAX(pb3_3_4) : MAX(pb3_2_1)
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(p1i_5_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 394425 markings, 401156 edges, 78885 markings/sec, 0 secs
lola: 810055 markings, 822255 edges, 83126 markings/sec, 5 secs
lola: 1243980 markings, 1261246 edges, 86785 markings/sec, 10 secs
lola: 1681783 markings, 1704059 edges, 87561 markings/sec, 15 secs
lola: 2122209 markings, 2145726 edges, 88085 markings/sec, 20 secs
lola: 2569698 markings, 2593214 edges, 89498 markings/sec, 25 secs
lola: 3006535 markings, 3030076 edges, 87367 markings/sec, 30 secs
lola: 3423167 markings, 3446853 edges, 83326 markings/sec, 35 secs
lola: 3846212 markings, 3870110 edges, 84609 markings/sec, 40 secs
lola: 4261321 markings, 4285374 edges, 83022 markings/sec, 45 secs
lola: 4684289 markings, 4708459 edges, 84594 markings/sec, 50 secs
lola: 5111709 markings, 5136015 edges, 85484 markings/sec, 55 secs
lola: 5527177 markings, 5551613 edges, 83094 markings/sec, 60 secs
lola: 5948629 markings, 5973177 edges, 84290 markings/sec, 65 secs
lola: 6369057 markings, 6393761 edges, 84086 markings/sec, 70 secs
lola: 6774718 markings, 6799796 edges, 81132 markings/sec, 75 secs
lola: 7182851 markings, 7208183 edges, 81627 markings/sec, 80 secs
lola: 7583315 markings, 7608858 edges, 80093 markings/sec, 85 secs
lola: 7990307 markings, 8016004 edges, 81398 markings/sec, 90 secs
lola: 8394858 markings, 8420754 edges, 80910 markings/sec, 95 secs
lola: 8801868 markings, 8827974 edges, 81402 markings/sec, 100 secs
lola: 9205931 markings, 9232228 edges, 80813 markings/sec, 105 secs
lola: 9612560 markings, 9639039 edges, 81326 markings/sec, 110 secs
lola: 10013757 markings, 10040339 edges, 80239 markings/sec, 115 secs
lola: 10414909 markings, 10441731 edges, 80230 markings/sec, 120 secs
lola: 10804728 markings, 10831922 edges, 77964 markings/sec, 125 secs
lola: 11197404 markings, 11224876 edges, 78535 markings/sec, 130 secs
lola: 11591189 markings, 11618882 edges, 78757 markings/sec, 135 secs
lola: 11980496 markings, 12008569 edges, 77861 markings/sec, 140 secs
lola: 12367022 markings, 12395452 edges, 77305 markings/sec, 145 secs
lola: 12750849 markings, 12779642 edges, 76765 markings/sec, 150 secs
lola: 13140015 markings, 13169055 edges, 77833 markings/sec, 155 secs
lola: 13537815 markings, 13566942 edges, 79560 markings/sec, 160 secs
lola: 13933257 markings, 13962569 edges, 79088 markings/sec, 165 secs
lola: 14313441 markings, 14343121 edges, 76037 markings/sec, 170 secs
lola: 14702683 markings, 14732718 edges, 77848 markings/sec, 175 secs
lola: 15093500 markings, 15124271 edges, 78163 markings/sec, 180 secs
lola: 15485508 markings, 15522177 edges, 78402 markings/sec, 185 secs
lola: 15893495 markings, 15930784 edges, 81597 markings/sec, 190 secs
lola: 16301066 markings, 16338421 edges, 81514 markings/sec, 195 secs
lola: 16709937 markings, 16747359 edges, 81774 markings/sec, 200 secs
lola: 17119035 markings, 17156507 edges, 81820 markings/sec, 205 secs
lola: 17512360 markings, 17549963 edges, 78665 markings/sec, 210 secs
lola: 17921438 markings, 17959155 edges, 81816 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(p4il_4_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 248933 markings, 300582 edges, 49787 markings/sec, 0 secs
lola: 480113 markings, 615486 edges, 46236 markings/sec, 5 secs
lola: 708295 markings, 926609 edges, 45636 markings/sec, 10 secs
lola: 936365 markings, 1237100 edges, 45614 markings/sec, 15 secs
lola: 1168553 markings, 1560202 edges, 46438 markings/sec, 20 secs
lola: 1400171 markings, 1882440 edges, 46324 markings/sec, 25 secs
lola: 1630197 markings, 2200834 edges, 46005 markings/sec, 30 secs
lola: 1856776 markings, 2514796 edges, 45316 markings/sec, 35 secs
lola: 2083643 markings, 2830181 edges, 45373 markings/sec, 40 secs
lola: 2311175 markings, 3145051 edges, 45506 markings/sec, 45 secs
lola: 2538245 markings, 3460039 edges, 45414 markings/sec, 50 secs
lola: 2764006 markings, 3773660 edges, 45152 markings/sec, 55 secs
lola: 2994686 markings, 4092635 edges, 46136 markings/sec, 60 secs
lola: 3225308 markings, 4415170 edges, 46124 markings/sec, 65 secs
lola: 3454440 markings, 4734332 edges, 45826 markings/sec, 70 secs
lola: 3684240 markings, 5053925 edges, 45960 markings/sec, 75 secs
lola: 3911142 markings, 5368590 edges, 45380 markings/sec, 80 secs
lola: 4135942 markings, 5679949 edges, 44960 markings/sec, 85 secs
lola: 4359101 markings, 5989749 edges, 44632 markings/sec, 90 secs
lola: 4581800 markings, 6298617 edges, 44540 markings/sec, 95 secs
lola: 4805309 markings, 6609574 edges, 44702 markings/sec, 100 secs
lola: 5029123 markings, 6919742 edges, 44763 markings/sec, 105 secs
lola: 5250329 markings, 7226563 edges, 44241 markings/sec, 110 secs
lola: 5473291 markings, 7535503 edges, 44592 markings/sec, 115 secs
lola: 5703300 markings, 7854998 edges, 46002 markings/sec, 120 secs
lola: 5930574 markings, 8169377 edges, 45455 markings/sec, 125 secs
lola: 6159980 markings, 8487480 edges, 45881 markings/sec, 130 secs
lola: 6386620 markings, 8801425 edges, 45328 markings/sec, 135 secs
lola: 6614982 markings, 9117890 edges, 45672 markings/sec, 140 secs
lola: 6841361 markings, 9431798 edges, 45276 markings/sec, 145 secs
lola: 7074232 markings, 9755235 edges, 46574 markings/sec, 150 secs
lola: 7309304 markings, 10080459 edges, 47014 markings/sec, 155 secs
lola: 7539408 markings, 10400148 edges, 46021 markings/sec, 160 secs
lola: 7769344 markings, 10717489 edges, 45987 markings/sec, 165 secs
lola: 8004104 markings, 11043945 edges, 46952 markings/sec, 170 secs
lola: 8234841 markings, 11365287 edges, 46147 markings/sec, 175 secs
lola: 8462580 markings, 11694783 edges, 45548 markings/sec, 180 secs
lola: 8694874 markings, 12017007 edges, 46459 markings/sec, 185 secs
lola: 8921784 markings, 12331299 edges, 45382 markings/sec, 190 secs
lola: 9146375 markings, 12654399 edges, 44918 markings/sec, 195 secs
lola: 9368198 markings, 12975555 edges, 44365 markings/sec, 200 secs
lola: 9597861 markings, 13300805 edges, 45933 markings/sec, 205 secs
lola: 9829558 markings, 13625818 edges, 46339 markings/sec, 210 secs
lola: 10061885 markings, 13950539 edges, 46465 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(p4i_6_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 185340 markings, 219810 edges, 37068 markings/sec, 0 secs
lola: 332050 markings, 462378 edges, 29342 markings/sec, 5 secs
lola: 478158 markings, 710766 edges, 29222 markings/sec, 10 secs
lola: 622920 markings, 958898 edges, 28952 markings/sec, 15 secs
lola: 766219 markings, 1202567 edges, 28660 markings/sec, 20 secs
lola: 909973 markings, 1450739 edges, 28751 markings/sec, 25 secs
lola: 1054828 markings, 1702119 edges, 28971 markings/sec, 30 secs
lola: 1200138 markings, 1953396 edges, 29062 markings/sec, 35 secs
lola: 1344227 markings, 2205520 edges, 28818 markings/sec, 40 secs
lola: 1487436 markings, 2459979 edges, 28642 markings/sec, 45 secs
lola: 1630115 markings, 2702848 edges, 28536 markings/sec, 50 secs
lola: 1772817 markings, 2948301 edges, 28540 markings/sec, 55 secs
lola: 1914985 markings, 3192025 edges, 28434 markings/sec, 60 secs
lola: 2056726 markings, 3437727 edges, 28348 markings/sec, 65 secs
lola: 2198360 markings, 3684113 edges, 28327 markings/sec, 70 secs
lola: 2338855 markings, 3930808 edges, 28099 markings/sec, 75 secs
lola: 2478613 markings, 4181148 edges, 27952 markings/sec, 80 secs
lola: 2624226 markings, 4428948 edges, 29123 markings/sec, 85 secs
lola: 2768785 markings, 4679558 edges, 28912 markings/sec, 90 secs
lola: 2912500 markings, 4930242 edges, 28743 markings/sec, 95 secs
lola: 3055774 markings, 5183059 edges, 28655 markings/sec, 100 secs
lola: 3199014 markings, 5436635 edges, 28648 markings/sec, 105 secs
lola: 3343093 markings, 5687354 edges, 28816 markings/sec, 110 secs
lola: 3485980 markings, 5938392 edges, 28577 markings/sec, 115 secs
lola: 3627810 markings, 6192243 edges, 28366 markings/sec, 120 secs
lola: 3771808 markings, 6443553 edges, 28800 markings/sec, 125 secs
lola: 3913835 markings, 6696969 edges, 28405 markings/sec, 130 secs
lola: 4056694 markings, 6950254 edges, 28572 markings/sec, 135 secs
lola: 4199330 markings, 7205545 edges, 28527 markings/sec, 140 secs
lola: 4340710 markings, 7460560 edges, 28276 markings/sec, 145 secs
lola: 4482775 markings, 7711313 edges, 28413 markings/sec, 150 secs
lola: 4624426 markings, 7951710 edges, 28330 markings/sec, 155 secs
lola: 4765600 markings, 8195399 edges, 28235 markings/sec, 160 secs
lola: 4906937 markings, 8438897 edges, 28267 markings/sec, 165 secs
lola: 5048560 markings, 8684003 edges, 28325 markings/sec, 170 secs
lola: 5189192 markings, 8930646 edges, 28126 markings/sec, 175 secs
lola: 5329727 markings, 9179029 edges, 28107 markings/sec, 180 secs
lola: 5470556 markings, 9424808 edges, 28166 markings/sec, 185 secs
lola: 5611084 markings, 9669194 edges, 28106 markings/sec, 190 secs
lola: 5752134 markings, 9912751 edges, 28210 markings/sec, 195 secs
lola: 5892417 markings, 10157981 edges, 28057 markings/sec, 200 secs
lola: 6030961 markings, 10404243 edges, 27709 markings/sec, 205 secs
lola: 6172380 markings, 10650614 edges, 28284 markings/sec, 210 secs
lola: 6313063 markings, 10896641 edges, 28137 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(p4i_5_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 553733 markings, 567306 edges, 110747 markings/sec, 0 secs
lola: 1107033 markings, 1134566 edges, 110660 markings/sec, 5 secs
lola: 1652985 markings, 1694260 edges, 109190 markings/sec, 10 secs
lola: 2197825 markings, 2252834 edges, 108968 markings/sec, 15 secs
lola: 2740026 markings, 2808706 edges, 108440 markings/sec, 20 secs
lola: 3285648 markings, 3368048 edges, 109124 markings/sec, 25 secs
lola: 3831180 markings, 3927309 edges, 109106 markings/sec, 30 secs
lola: 4375254 markings, 4485051 edges, 108815 markings/sec, 35 secs
lola: 4918096 markings, 5041601 edges, 108568 markings/sec, 40 secs
lola: 5458614 markings, 5595744 edges, 108104 markings/sec, 45 secs
lola: 5997859 markings, 6148753 edges, 107849 markings/sec, 50 secs
lola: 6548416 markings, 6710421 edges, 110111 markings/sec, 55 secs
lola: 7107769 markings, 7278992 edges, 111871 markings/sec, 60 secs
lola: 7651135 markings, 7831283 edges, 108673 markings/sec, 65 secs
lola: 8205734 markings, 8394899 edges, 110920 markings/sec, 70 secs
lola: 8751162 markings, 8949258 edges, 109086 markings/sec, 75 secs
lola: 9294981 markings, 9501847 edges, 108764 markings/sec, 80 secs
lola: 9824362 markings, 10052459 edges, 105876 markings/sec, 85 secs
lola: 10308430 markings, 10573632 edges, 96814 markings/sec, 90 secs
lola: 10780767 markings, 11071574 edges, 94467 markings/sec, 95 secs
lola: 11239397 markings, 11564216 edges, 91726 markings/sec, 100 secs
lola: 11628000 markings, 12127120 edges, 77721 markings/sec, 105 secs
lola: 12064652 markings, 12638010 edges, 87330 markings/sec, 110 secs
lola: 12513209 markings, 13157052 edges, 89711 markings/sec, 115 secs
lola: 12979830 markings, 13676233 edges, 93324 markings/sec, 120 secs
lola: 13429932 markings, 14169502 edges, 90020 markings/sec, 125 secs
lola: 13869048 markings, 14659343 edges, 87823 markings/sec, 130 secs
lola: 14300305 markings, 15145632 edges, 86251 markings/sec, 135 secs
lola: 14662003 markings, 15731502 edges, 72340 markings/sec, 140 secs
lola: 15133366 markings, 16262393 edges, 94273 markings/sec, 145 secs
lola: 15610973 markings, 16769924 edges, 95521 markings/sec, 150 secs
lola: 16068399 markings, 17263548 edges, 91485 markings/sec, 155 secs
lola: 16523270 markings, 17751868 edges, 90974 markings/sec, 160 secs
lola: 16892521 markings, 18330421 edges, 73850 markings/sec, 165 secs
lola: 17355975 markings, 18826177 edges, 92691 markings/sec, 170 secs
lola: 17802665 markings, 19304796 edges, 89338 markings/sec, 175 secs
lola: 18246460 markings, 19779780 edges, 88759 markings/sec, 180 secs
lola: 18631527 markings, 20310876 edges, 77013 markings/sec, 185 secs
lola: 19048422 markings, 20836909 edges, 83379 markings/sec, 190 secs
lola: 19487213 markings, 21319846 edges, 87758 markings/sec, 195 secs
lola: 19919455 markings, 21799841 edges, 86448 markings/sec, 200 secs
lola: 20348754 markings, 22277736 edges, 85860 markings/sec, 205 secs
lola: 20687904 markings, 22846977 edges, 67830 markings/sec, 210 secs
lola: 21127335 markings, 23340559 edges, 87886 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(pbl_2_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 250872 markings, 347756 edges, 50174 markings/sec, 0 secs
lola: 501017 markings, 704557 edges, 50029 markings/sec, 5 secs
lola: 741255 markings, 1049878 edges, 48048 markings/sec, 10 secs
lola: 922187 markings, 1561768 edges, 36186 markings/sec, 15 secs
lola: 1160196 markings, 1898361 edges, 47602 markings/sec, 20 secs
lola: 1334715 markings, 2390903 edges, 34904 markings/sec, 25 secs
lola: 1576206 markings, 2737052 edges, 48298 markings/sec, 30 secs
lola: 1752319 markings, 3232875 edges, 35223 markings/sec, 35 secs
lola: 1989751 markings, 3568708 edges, 47486 markings/sec, 40 secs
lola: 2167770 markings, 4023409 edges, 35604 markings/sec, 45 secs
lola: 2398627 markings, 4395170 edges, 46171 markings/sec, 50 secs
lola: 2574878 markings, 4887523 edges, 35250 markings/sec, 55 secs
lola: 2822116 markings, 5211233 edges, 49448 markings/sec, 60 secs
lola: 3066936 markings, 5541648 edges, 48964 markings/sec, 65 secs
lola: 3270618 markings, 5953808 edges, 40736 markings/sec, 70 secs
lola: 3477303 markings, 6358637 edges, 41337 markings/sec, 75 secs
lola: 3714785 markings, 6677607 edges, 47496 markings/sec, 80 secs
lola: 3949767 markings, 6998938 edges, 46996 markings/sec, 85 secs
lola: 4183062 markings, 7319932 edges, 46659 markings/sec, 90 secs
lola: 4413326 markings, 7641679 edges, 46053 markings/sec, 95 secs
lola: 4641590 markings, 7964397 edges, 45653 markings/sec, 100 secs
lola: 4867901 markings, 8288767 edges, 45262 markings/sec, 105 secs
lola: 5091881 markings, 8612289 edges, 44796 markings/sec, 110 secs
lola: 5313926 markings, 8937451 edges, 44409 markings/sec, 115 secs
lola: 5535028 markings, 9262542 edges, 44220 markings/sec, 120 secs
lola: 5754038 markings, 9588513 edges, 43802 markings/sec, 125 secs
lola: 5972164 markings, 9913348 edges, 43625 markings/sec, 130 secs
lola: 6187602 markings, 10238564 edges, 43088 markings/sec, 135 secs
lola: 6402481 markings, 10565036 edges, 42976 markings/sec, 140 secs
lola: 6613687 markings, 10893663 edges, 42241 markings/sec, 145 secs
lola: 6825993 markings, 11220488 edges, 42461 markings/sec, 150 secs
lola: 7034084 markings, 11546123 edges, 41618 markings/sec, 155 secs
lola: 7243748 markings, 11874410 edges, 41933 markings/sec, 160 secs
lola: 7452153 markings, 12202241 edges, 41681 markings/sec, 165 secs
lola: 7660000 markings, 12532921 edges, 41569 markings/sec, 170 secs
lola: 7865055 markings, 12864926 edges, 41011 markings/sec, 175 secs
lola: 8071215 markings, 13195888 edges, 41232 markings/sec, 180 secs
lola: 8277526 markings, 13525288 edges, 41262 markings/sec, 185 secs
lola: 8484466 markings, 13851671 edges, 41388 markings/sec, 190 secs
lola: 8691115 markings, 14180650 edges, 41330 markings/sec, 195 secs
lola: 8895743 markings, 14508409 edges, 40926 markings/sec, 200 secs
lola: 9100605 markings, 14832025 edges, 40972 markings/sec, 205 secs
lola: 9297552 markings, 15149753 edges, 39389 markings/sec, 210 secs
lola: 9499392 markings, 15477732 edges, 40368 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(p4ol_6_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 450129 markings, 456840 edges, 90026 markings/sec, 0 secs
lola: 867898 markings, 908172 edges, 83554 markings/sec, 5 secs
lola: 1276659 markings, 1348393 edges, 81752 markings/sec, 10 secs
lola: 1694234 markings, 1781824 edges, 83515 markings/sec, 15 secs
lola: 2102859 markings, 2211441 edges, 81725 markings/sec, 20 secs
lola: 2505522 markings, 2631494 edges, 80533 markings/sec, 25 secs
lola: 2909587 markings, 3053264 edges, 80813 markings/sec, 30 secs
lola: 3198010 markings, 3584798 edges, 57685 markings/sec, 35 secs
lola: 3635777 markings, 4049809 edges, 87553 markings/sec, 40 secs
lola: 4055047 markings, 4503040 edges, 83854 markings/sec, 45 secs
lola: 4447367 markings, 4924316 edges, 78464 markings/sec, 50 secs
lola: 4851935 markings, 5356619 edges, 80914 markings/sec, 55 secs
lola: 5258327 markings, 5777943 edges, 81278 markings/sec, 60 secs
lola: 5659233 markings, 6198464 edges, 80181 markings/sec, 65 secs
lola: 6060552 markings, 6620036 edges, 80264 markings/sec, 70 secs
lola: 6460431 markings, 7035742 edges, 79976 markings/sec, 75 secs
lola: 6745179 markings, 7541654 edges, 56950 markings/sec, 80 secs
lola: 7097938 markings, 7941723 edges, 70552 markings/sec, 85 secs
lola: 7471893 markings, 8341740 edges, 74791 markings/sec, 90 secs
lola: 7852431 markings, 8736714 edges, 76108 markings/sec, 95 secs
lola: 8229624 markings, 9132206 edges, 75439 markings/sec, 100 secs
lola: 8613113 markings, 9534979 edges, 76698 markings/sec, 105 secs
lola: 9002089 markings, 9939348 edges, 77795 markings/sec, 110 secs
lola: 9330510 markings, 10394951 edges, 65684 markings/sec, 115 secs
lola: 9644001 markings, 10844523 edges, 62698 markings/sec, 120 secs
lola: 10024091 markings, 11251051 edges, 76018 markings/sec, 125 secs
lola: 10410610 markings, 11652171 edges, 77304 markings/sec, 130 secs
lola: 10797014 markings, 12058152 edges, 77281 markings/sec, 135 secs
lola: 11182655 markings, 12462891 edges, 77128 markings/sec, 140 secs
lola: 11565487 markings, 12861065 edges, 76566 markings/sec, 145 secs
lola: 11871010 markings, 13315182 edges, 61105 markings/sec, 150 secs
lola: 12206030 markings, 13772675 edges, 67004 markings/sec, 155 secs
lola: 12598074 markings, 14190212 edges, 78409 markings/sec, 160 secs
lola: 13003403 markings, 14623075 edges, 81066 markings/sec, 165 secs
lola: 13399035 markings, 15044664 edges, 79126 markings/sec, 170 secs
lola: 13806848 markings, 15477197 edges, 81563 markings/sec, 175 secs
lola: 14197400 markings, 15890642 edges, 78110 markings/sec, 180 secs
lola: 14602574 markings, 16319997 edges, 81035 markings/sec, 185 secs
lola: 14998843 markings, 16739391 edges, 79254 markings/sec, 190 secs
lola: 15398026 markings, 17161905 edges, 79837 markings/sec, 195 secs
lola: 15789503 markings, 17576914 edges, 78295 markings/sec, 200 secs
lola: 16182168 markings, 17993289 edges, 78533 markings/sec, 205 secs
lola: 16589039 markings, 18425528 edges, 81374 markings/sec, 210 secs
lola: 16982093 markings, 18844415 edges, 78611 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(pbl_1_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 427708 markings, 432916 edges, 85542 markings/sec, 0 secs
lola: 873407 markings, 879486 edges, 89140 markings/sec, 5 secs
lola: 1310142 markings, 1317081 edges, 87347 markings/sec, 10 secs
lola: 1744233 markings, 1752028 edges, 86818 markings/sec, 15 secs
lola: 2178734 markings, 2187385 edges, 86900 markings/sec, 20 secs
lola: 2619420 markings, 2628904 edges, 88137 markings/sec, 25 secs
lola: 3070564 markings, 3080896 edges, 90229 markings/sec, 30 secs
lola: 3507303 markings, 3518461 edges, 87348 markings/sec, 35 secs
lola: 3939783 markings, 3951761 edges, 86496 markings/sec, 40 secs
lola: 4367702 markings, 4380483 edges, 85584 markings/sec, 45 secs
lola: 4794983 markings, 4808573 edges, 85456 markings/sec, 50 secs
lola: 5228827 markings, 5243242 edges, 86769 markings/sec, 55 secs
lola: 5664485 markings, 5679715 edges, 87132 markings/sec, 60 secs
lola: 6092601 markings, 6108590 edges, 85623 markings/sec, 65 secs
lola: 6522854 markings, 6539587 edges, 86051 markings/sec, 70 secs
lola: 6955019 markings, 6972442 edges, 86433 markings/sec, 75 secs
lola: 7378321 markings, 7396519 edges, 84660 markings/sec, 80 secs
lola: 7800817 markings, 7819675 edges, 84499 markings/sec, 85 secs
lola: 8236015 markings, 8255534 edges, 87040 markings/sec, 90 secs
lola: 8660251 markings, 8680542 edges, 84847 markings/sec, 95 secs
lola: 9073658 markings, 9094692 edges, 82681 markings/sec, 100 secs
lola: 9486502 markings, 9508275 edges, 82569 markings/sec, 105 secs
lola: 9898593 markings, 9921105 edges, 82418 markings/sec, 110 secs
lola: 10308762 markings, 10332010 edges, 82034 markings/sec, 115 secs
lola: 10716749 markings, 10740736 edges, 81597 markings/sec, 120 secs
lola: 11126428 markings, 11151152 edges, 81936 markings/sec, 125 secs
lola: 11536110 markings, 11561570 edges, 81936 markings/sec, 130 secs
lola: 11944301 markings, 11970501 edges, 81638 markings/sec, 135 secs
lola: 12367589 markings, 12394555 edges, 84658 markings/sec, 140 secs
lola: 12807081 markings, 12834860 edges, 87898 markings/sec, 145 secs
lola: 13239335 markings, 13267762 edges, 86451 markings/sec, 150 secs
lola: 13673386 markings, 13702556 edges, 86810 markings/sec, 155 secs
lola: 14101132 markings, 14131090 edges, 85549 markings/sec, 160 secs
lola: 14523807 markings, 14554493 edges, 84535 markings/sec, 165 secs
lola: 14938011 markings, 14969459 edges, 82841 markings/sec, 170 secs
lola: 15350301 markings, 15382429 edges, 82458 markings/sec, 175 secs
lola: 15782871 markings, 15815761 edges, 86514 markings/sec, 180 secs
lola: 16206885 markings, 16240631 edges, 84803 markings/sec, 185 secs
lola: 16637905 markings, 16672525 edges, 86204 markings/sec, 190 secs
lola: 17067811 markings, 17103140 edges, 85981 markings/sec, 195 secs
lola: 17501287 markings, 17537366 edges, 86695 markings/sec, 200 secs
lola: 17928668 markings, 17965525 edges, 85476 markings/sec, 205 secs
lola: 18350407 markings, 18388002 edges, 84348 markings/sec, 210 secs
lola: 18772691 markings, 18811044 edges, 84457 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pbl_2_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 250673 markings, 347479 edges, 50135 markings/sec, 0 secs
lola: 500067 markings, 703449 edges, 49879 markings/sec, 5 secs
lola: 739885 markings, 1047784 edges, 47964 markings/sec, 10 secs
lola: 916545 markings, 1554474 edges, 35332 markings/sec, 15 secs
lola: 1152470 markings, 1887177 edges, 47185 markings/sec, 20 secs
lola: 1323993 markings, 2372223 edges, 34305 markings/sec, 25 secs
lola: 1563990 markings, 2718715 edges, 47999 markings/sec, 30 secs
lola: 1738107 markings, 3216175 edges, 34823 markings/sec, 35 secs
lola: 1977399 markings, 3550437 edges, 47858 markings/sec, 40 secs
lola: 2164734 markings, 3985130 edges, 37467 markings/sec, 45 secs
lola: 2386311 markings, 4376809 edges, 44315 markings/sec, 50 secs
lola: 2573231 markings, 4839435 edges, 37384 markings/sec, 55 secs
lola: 2811106 markings, 5196598 edges, 47575 markings/sec, 60 secs
lola: 3059546 markings, 5530379 edges, 49688 markings/sec, 65 secs
lola: 3270168 markings, 5941605 edges, 42124 markings/sec, 70 secs
lola: 3475840 markings, 6356726 edges, 41134 markings/sec, 75 secs
lola: 3715125 markings, 6678059 edges, 47857 markings/sec, 80 secs
lola: 3951606 markings, 7001398 edges, 47296 markings/sec, 85 secs
lola: 4185887 markings, 7323892 edges, 46856 markings/sec, 90 secs
lola: 4417044 markings, 7646828 edges, 46231 markings/sec, 95 secs
lola: 4646390 markings, 7971438 edges, 45869 markings/sec, 100 secs
lola: 4873626 markings, 8296682 edges, 45447 markings/sec, 105 secs
lola: 5098451 markings, 8621630 edges, 44965 markings/sec, 110 secs
lola: 5321061 markings, 8948185 edges, 44522 markings/sec, 115 secs
lola: 5543348 markings, 9274795 edges, 44457 markings/sec, 120 secs
lola: 5763242 markings, 9602058 edges, 43979 markings/sec, 125 secs
lola: 5982021 markings, 9928651 edges, 43756 markings/sec, 130 secs
lola: 6198436 markings, 10255345 edges, 43283 markings/sec, 135 secs
lola: 6414425 markings, 10583458 edges, 43198 markings/sec, 140 secs
lola: 6626320 markings, 10913444 edges, 42379 markings/sec, 145 secs
lola: 6838859 markings, 11240737 edges, 42508 markings/sec, 150 secs
lola: 7048835 markings, 11568590 edges, 41995 markings/sec, 155 secs
lola: 7258138 markings, 11895905 edges, 41861 markings/sec, 160 secs
lola: 7465758 markings, 12224272 edges, 41524 markings/sec, 165 secs
lola: 7673083 markings, 12554577 edges, 41465 markings/sec, 170 secs
lola: 7877807 markings, 12885858 edges, 40945 markings/sec, 175 secs
lola: 8083835 markings, 13216079 edges, 41206 markings/sec, 180 secs
lola: 8289735 markings, 13544989 edges, 41180 markings/sec, 185 secs
lola: 8495792 markings, 13870522 edges, 41211 markings/sec, 190 secs
lola: 8698238 markings, 14192361 edges, 40489 markings/sec, 195 secs
lola: 8897964 markings, 14512050 edges, 39945 markings/sec, 200 secs
lola: 9104630 markings, 14838886 edges, 41333 markings/sec, 205 secs
lola: 9310074 markings, 15170447 edges, 41089 markings/sec, 210 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(p1o_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 241622 markings, 808977 edges, 48324 markings/sec, 0 secs
lola: 472225 markings, 1597892 edges, 46121 markings/sec, 5 secs
lola: 734477 markings, 2221149 edges, 52450 markings/sec, 10 secs
lola: 863444 markings, 3108628 edges, 25793 markings/sec, 15 secs
lola: 1082138 markings, 3895386 edges, 43739 markings/sec, 20 secs
lola: 1338003 markings, 4561271 edges, 51173 markings/sec, 25 secs
lola: 1468099 markings, 5392822 edges, 26019 markings/sec, 30 secs
lola: 1692752 markings, 6161417 edges, 44931 markings/sec, 35 secs
lola: 1942439 markings, 6811948 edges, 49937 markings/sec, 40 secs
lola: 2057642 markings, 7656338 edges, 23041 markings/sec, 45 secs
lola: 2297727 markings, 8369548 edges, 48017 markings/sec, 50 secs
lola: 2542551 markings, 8985961 edges, 48965 markings/sec, 55 secs
lola: 2668244 markings, 9857503 edges, 25139 markings/sec, 60 secs
lola: 2933130 markings, 10486116 edges, 52977 markings/sec, 65 secs
lola: 3062271 markings, 11339583 edges, 25828 markings/sec, 70 secs
lola: 3343433 markings, 11924509 edges, 56232 markings/sec, 75 secs
lola: 3611741 markings, 12520494 edges, 53662 markings/sec, 80 secs
lola: 3868330 markings, 13120222 edges, 51318 markings/sec, 85 secs
lola: 4117203 markings, 13718322 edges, 49775 markings/sec, 90 secs
lola: 4356222 markings, 14326335 edges, 47804 markings/sec, 95 secs
lola: 4588199 markings, 14930140 edges, 46395 markings/sec, 100 secs
lola: 4806312 markings, 15557422 edges, 43623 markings/sec, 105 secs
lola: 4821757 markings, 16485719 edges, 3089 markings/sec, 110 secs
lola: 4825632 markings, 17427683 edges, 775 markings/sec, 115 secs
lola: 4847929 markings, 18417165 edges, 4459 markings/sec, 120 secs
lola: 5078636 markings, 19190836 edges, 46141 markings/sec, 125 secs
lola: 5323049 markings, 19881659 edges, 48883 markings/sec, 130 secs
lola: 5506823 markings, 20594462 edges, 36755 markings/sec, 135 secs
lola: 5665303 markings, 21454787 edges, 31696 markings/sec, 140 secs
lola: 5926240 markings, 22127770 edges, 52187 markings/sec, 145 secs
lola: 6093439 markings, 22870337 edges, 33440 markings/sec, 150 secs
lola: 6280096 markings, 23701841 edges, 37331 markings/sec, 155 secs
lola: 6537408 markings, 24311402 edges, 51462 markings/sec, 160 secs
lola: 6665524 markings, 25146699 edges, 25623 markings/sec, 165 secs
lola: 6920525 markings, 25806093 edges, 51000 markings/sec, 170 secs
lola: 7055989 markings, 26623911 edges, 27093 markings/sec, 175 secs
lola: 7322322 markings, 27247753 edges, 53267 markings/sec, 180 secs
lola: 7589494 markings, 27832971 edges, 53434 markings/sec, 185 secs
lola: 7846058 markings, 28424692 edges, 51313 markings/sec, 190 secs
lola: 8091574 markings, 29014183 edges, 49103 markings/sec, 195 secs
lola: 8329805 markings, 29611879 edges, 47646 markings/sec, 200 secs
lola: 8562563 markings, 30208594 edges, 46552 markings/sec, 205 secs
lola: 8780564 markings, 30818440 edges, 43600 markings/sec, 210 secs
lola: 8859743 markings, 31641987 edges, 15836 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1o_2_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 533188 markings, 946205 edges, 106638 markings/sec, 0 secs
lola: 1001110 markings, 1884701 edges, 93584 markings/sec, 5 secs
lola: 1521740 markings, 2817531 edges, 104126 markings/sec, 10 secs
lola: 1978435 markings, 3740117 edges, 91339 markings/sec, 15 secs
lola: 2487112 markings, 4649430 edges, 101735 markings/sec, 20 secs
lola: 2960015 markings, 5523385 edges, 94581 markings/sec, 25 secs
lola: 3453551 markings, 6440880 edges, 98707 markings/sec, 30 secs
lola: 3933269 markings, 7340638 edges, 95944 markings/sec, 35 secs
lola: 4436911 markings, 8268600 edges, 100728 markings/sec, 40 secs
lola: 4913381 markings, 9198189 edges, 95294 markings/sec, 45 secs
lola: 5395435 markings, 10079171 edges, 96411 markings/sec, 50 secs
lola: 5843568 markings, 10974130 edges, 89627 markings/sec, 55 secs
lola: 6301603 markings, 11830430 edges, 91607 markings/sec, 60 secs
lola: 6736739 markings, 12693865 edges, 87027 markings/sec, 65 secs
lola: 7189199 markings, 13555327 edges, 90492 markings/sec, 70 secs
lola: 7646839 markings, 14413592 edges, 91528 markings/sec, 75 secs
lola: 8079779 markings, 15261204 edges, 86588 markings/sec, 80 secs
lola: 8534642 markings, 16094387 edges, 90973 markings/sec, 85 secs
lola: 8964738 markings, 16936398 edges, 86019 markings/sec, 90 secs
lola: 9457699 markings, 17835867 edges, 98592 markings/sec, 95 secs
lola: 9900640 markings, 18729440 edges, 88588 markings/sec, 100 secs
lola: 10397450 markings, 19628986 edges, 99362 markings/sec, 105 secs
lola: 10842231 markings, 20518709 edges, 88956 markings/sec, 110 secs
lola: 11335972 markings, 21412343 edges, 98748 markings/sec, 115 secs
lola: 11819070 markings, 22276739 edges, 96620 markings/sec, 120 secs
lola: 12310438 markings, 23168247 edges, 98274 markings/sec, 125 secs
lola: 12758080 markings, 24065874 edges, 89528 markings/sec, 130 secs
lola: 13237265 markings, 24949318 edges, 95837 markings/sec, 135 secs
lola: 13688128 markings, 25842162 edges, 90173 markings/sec, 140 secs
lola: 14156251 markings, 26720680 edges, 93625 markings/sec, 145 secs
lola: 14609030 markings, 27607921 edges, 90556 markings/sec, 150 secs
lola: 15070668 markings, 28483040 edges, 92328 markings/sec, 155 secs
lola: 15535668 markings, 29353228 edges, 93000 markings/sec, 160 secs
lola: 15985880 markings, 30226498 edges, 90042 markings/sec, 165 secs
lola: 16450625 markings, 31104048 edges, 92949 markings/sec, 170 secs
lola: 16905305 markings, 31970847 edges, 90936 markings/sec, 175 secs
lola: 17372424 markings, 32843067 edges, 93424 markings/sec, 180 secs
lola: 17815891 markings, 33707202 edges, 88693 markings/sec, 185 secs
lola: 18296609 markings, 34584496 edges, 96144 markings/sec, 190 secs
lola: 18723012 markings, 35456429 edges, 85281 markings/sec, 195 secs
lola: 19213672 markings, 36320613 edges, 98132 markings/sec, 200 secs
lola: 19681439 markings, 37173348 edges, 93553 markings/sec, 205 secs
lola: 20160590 markings, 38050123 edges, 95830 markings/sec, 210 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(p1o_8_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 227998 markings, 762547 edges, 45600 markings/sec, 0 secs
lola: 433159 markings, 1535703 edges, 41032 markings/sec, 5 secs
lola: 617975 markings, 2360937 edges, 36963 markings/sec, 10 secs
lola: 808766 markings, 3101671 edges, 38158 markings/sec, 15 secs
lola: 965773 markings, 3842219 edges, 31401 markings/sec, 20 secs
lola: 1154527 markings, 4553438 edges, 37751 markings/sec, 25 secs
lola: 1417971 markings, 5161447 edges, 52689 markings/sec, 30 secs
lola: 1644773 markings, 5786824 edges, 45360 markings/sec, 35 secs
lola: 1847906 markings, 6427603 edges, 40627 markings/sec, 40 secs
lola: 2017971 markings, 7122656 edges, 34013 markings/sec, 45 secs
lola: 2094018 markings, 7997568 edges, 15209 markings/sec, 50 secs
lola: 2095569 markings, 8913507 edges, 310 markings/sec, 55 secs
lola: 2096957 markings, 9819438 edges, 278 markings/sec, 60 secs
lola: 2289122 markings, 10606244 edges, 38433 markings/sec, 65 secs
lola: 2489928 markings, 11447449 edges, 40161 markings/sec, 70 secs
lola: 2690246 markings, 12208024 edges, 40064 markings/sec, 75 secs
lola: 2853804 markings, 12962586 edges, 32712 markings/sec, 80 secs
lola: 3112410 markings, 13629701 edges, 51721 markings/sec, 85 secs
lola: 3404772 markings, 14259517 edges, 58472 markings/sec, 90 secs
lola: 3657913 markings, 14900672 edges, 50628 markings/sec, 95 secs
lola: 3863974 markings, 15568230 edges, 41212 markings/sec, 100 secs
lola: 3970922 markings, 16416276 edges, 21390 markings/sec, 105 secs
lola: 3973414 markings, 17360131 edges, 498 markings/sec, 110 secs
lola: 4009599 markings, 18280629 edges, 7237 markings/sec, 115 secs
lola: 4184766 markings, 19014853 edges, 35033 markings/sec, 120 secs
lola: 4370209 markings, 19785390 edges, 37089 markings/sec, 125 secs
lola: 4548290 markings, 20473865 edges, 35616 markings/sec, 130 secs
lola: 4690922 markings, 21163275 edges, 28526 markings/sec, 135 secs
lola: 4858257 markings, 21839919 edges, 33467 markings/sec, 140 secs
lola: 5108098 markings, 22414768 edges, 49968 markings/sec, 145 secs
lola: 5333354 markings, 22997658 edges, 45051 markings/sec, 150 secs
lola: 5528810 markings, 23598593 edges, 39091 markings/sec, 155 secs
lola: 5702977 markings, 24237520 edges, 34833 markings/sec, 160 secs
lola: 5841099 markings, 24969848 edges, 27624 markings/sec, 165 secs
lola: 5843676 markings, 25846210 edges, 515 markings/sec, 170 secs
lola: 5844389 markings, 26696006 edges, 143 markings/sec, 175 secs
lola: 5858287 markings, 27539160 edges, 2780 markings/sec, 180 secs
lola: 6045295 markings, 28274651 edges, 37402 markings/sec, 185 secs
lola: 6227275 markings, 28970129 edges, 36396 markings/sec, 190 secs
lola: 6377589 markings, 29688363 edges, 30063 markings/sec, 195 secs
lola: 6565926 markings, 30387385 edges, 37667 markings/sec, 200 secs
lola: 6821438 markings, 30984922 edges, 51102 markings/sec, 205 secs
lola: 7047604 markings, 31591025 edges, 45233 markings/sec, 210 secs
lola: 7249734 markings, 32226038 edges, 40426 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4i_7_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 229122 markings, 274266 edges, 45824 markings/sec, 0 secs
lola: 428653 markings, 563009 edges, 39906 markings/sec, 5 secs
lola: 579100 markings, 976758 edges, 30089 markings/sec, 10 secs
lola: 714784 markings, 1387891 edges, 27137 markings/sec, 15 secs
lola: 764463 markings, 2122369 edges, 9936 markings/sec, 20 secs
lola: 915068 markings, 2523420 edges, 30121 markings/sec, 25 secs
lola: 1021036 markings, 3064142 edges, 21194 markings/sec, 30 secs
lola: 1085478 markings, 3670124 edges, 12888 markings/sec, 35 secs
lola: 1199970 markings, 4058971 edges, 22898 markings/sec, 40 secs
lola: 1302869 markings, 4492270 edges, 20580 markings/sec, 45 secs
lola: 1328491 markings, 5190904 edges, 5124 markings/sec, 50 secs
lola: 1458021 markings, 5537446 edges, 25906 markings/sec, 55 secs
lola: 1579685 markings, 5902438 edges, 24333 markings/sec, 60 secs
lola: 1613837 markings, 6575129 edges, 6830 markings/sec, 65 secs
lola: 1743640 markings, 6928598 edges, 25961 markings/sec, 70 secs
lola: 1864764 markings, 7286383 edges, 24225 markings/sec, 75 secs
lola: 1903623 markings, 7946735 edges, 7772 markings/sec, 80 secs
lola: 2032720 markings, 8326620 edges, 25819 markings/sec, 85 secs
lola: 2156385 markings, 8687848 edges, 24733 markings/sec, 90 secs
lola: 2195152 markings, 9350983 edges, 7753 markings/sec, 95 secs
lola: 2303526 markings, 9811092 edges, 21675 markings/sec, 100 secs
lola: 2426327 markings, 10216186 edges, 24560 markings/sec, 105 secs
lola: 2550896 markings, 10578357 edges, 24914 markings/sec, 110 secs
lola: 2600795 markings, 11212363 edges, 9980 markings/sec, 115 secs
lola: 2721246 markings, 11597000 edges, 24090 markings/sec, 120 secs
lola: 2840807 markings, 11946671 edges, 23912 markings/sec, 125 secs
lola: 2894477 markings, 12526512 edges, 10734 markings/sec, 130 secs
lola: 3005100 markings, 12977902 edges, 22125 markings/sec, 135 secs
lola: 3132533 markings, 13345692 edges, 25487 markings/sec, 140 secs
lola: 3193748 markings, 13946847 edges, 12243 markings/sec, 145 secs
lola: 3311038 markings, 14378897 edges, 23458 markings/sec, 150 secs
lola: 3454057 markings, 14699425 edges, 28604 markings/sec, 155 secs
lola: 3590317 markings, 15032701 edges, 27252 markings/sec, 160 secs
lola: 3725626 markings, 15372487 edges, 27062 markings/sec, 165 secs
lola: 3861216 markings, 15701421 edges, 27118 markings/sec, 170 secs
lola: 3989973 markings, 16042392 edges, 25751 markings/sec, 175 secs
lola: 4118432 markings, 16378647 edges, 25692 markings/sec, 180 secs
lola: 4248306 markings, 16699618 edges, 25975 markings/sec, 185 secs
lola: 4374591 markings, 17028426 edges, 25257 markings/sec, 190 secs
lola: 4500254 markings, 17354529 edges, 25133 markings/sec, 195 secs
lola: 4623900 markings, 17686683 edges, 24729 markings/sec, 200 secs
lola: 4750042 markings, 18016151 edges, 25228 markings/sec, 205 secs
lola: 4875649 markings, 18346310 edges, 25121 markings/sec, 210 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(p1i_3_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 326722 markings, 363022 edges, 65344 markings/sec, 0 secs
lola: 677621 markings, 749934 edges, 70180 markings/sec, 5 secs
lola: 998187 markings, 1097844 edges, 64113 markings/sec, 10 secs
lola: 1304149 markings, 1426353 edges, 61192 markings/sec, 15 secs
lola: 1601757 markings, 1740705 edges, 59522 markings/sec, 20 secs
lola: 1898231 markings, 2055012 edges, 59295 markings/sec, 25 secs
lola: 2197554 markings, 2372710 edges, 59865 markings/sec, 30 secs
lola: 2497728 markings, 2719062 edges, 60035 markings/sec, 35 secs
lola: 2793575 markings, 3065063 edges, 59169 markings/sec, 40 secs
lola: 3091014 markings, 3405437 edges, 59488 markings/sec, 45 secs
lola: 3393055 markings, 3752260 edges, 60408 markings/sec, 50 secs
lola: 3688158 markings, 4092551 edges, 59021 markings/sec, 55 secs
lola: 3976118 markings, 4437830 edges, 57592 markings/sec, 60 secs
lola: 4253117 markings, 4794544 edges, 55400 markings/sec, 65 secs
lola: 4545829 markings, 5124491 edges, 58542 markings/sec, 70 secs
lola: 4830923 markings, 5452790 edges, 57019 markings/sec, 75 secs
lola: 5119615 markings, 5786162 edges, 57738 markings/sec, 80 secs
lola: 5407063 markings, 6123193 edges, 57490 markings/sec, 85 secs
lola: 5686540 markings, 6445877 edges, 55895 markings/sec, 90 secs
lola: 5968921 markings, 6769705 edges, 56476 markings/sec, 95 secs
lola: 6256827 markings, 7102046 edges, 57581 markings/sec, 100 secs
lola: 6542190 markings, 7431663 edges, 57073 markings/sec, 105 secs
lola: 6834075 markings, 7773543 edges, 58377 markings/sec, 110 secs
lola: 7128726 markings, 8112390 edges, 58930 markings/sec, 115 secs
lola: 7421132 markings, 8455919 edges, 58481 markings/sec, 120 secs
lola: 7710948 markings, 8781132 edges, 57963 markings/sec, 125 secs
lola: 7985795 markings, 9100174 edges, 54969 markings/sec, 130 secs
lola: 8265459 markings, 9416828 edges, 55933 markings/sec, 135 secs
lola: 8540298 markings, 9742580 edges, 54968 markings/sec, 140 secs
lola: 8788675 markings, 10110155 edges, 49675 markings/sec, 145 secs
lola: 9014094 markings, 10488876 edges, 45084 markings/sec, 150 secs
lola: 9315186 markings, 10822599 edges, 60218 markings/sec, 155 secs
lola: 9619720 markings, 11173723 edges, 60907 markings/sec, 160 secs
lola: 9919295 markings, 11522014 edges, 59915 markings/sec, 165 secs
lola: 10202786 markings, 11878934 edges, 56698 markings/sec, 170 secs
lola: 10497092 markings, 12217265 edges, 58861 markings/sec, 175 secs
lola: 10791378 markings, 12560376 edges, 58857 markings/sec, 180 secs
lola: 11074060 markings, 12908592 edges, 56536 markings/sec, 185 secs
lola: 11316154 markings, 13361932 edges, 48419 markings/sec, 190 secs
lola: 11611702 markings, 13700982 edges, 59110 markings/sec, 195 secs
lola: 11899999 markings, 14047019 edges, 57659 markings/sec, 200 secs
lola: 12168530 markings, 14428376 edges, 53706 markings/sec, 205 secs
lola: 12459143 markings, 14762167 edges, 58123 markings/sec, 210 secs
lola: 12751325 markings, 15088897 edges, 58436 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(p1i_7_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 244911 markings, 311621 edges, 48982 markings/sec, 0 secs
lola: 427853 markings, 697077 edges, 36588 markings/sec, 5 secs
lola: 633943 markings, 1013602 edges, 41218 markings/sec, 10 secs
lola: 827549 markings, 1350792 edges, 38721 markings/sec, 15 secs
lola: 1003543 markings, 1723419 edges, 35199 markings/sec, 20 secs
lola: 1215583 markings, 2014608 edges, 42408 markings/sec, 25 secs
lola: 1403057 markings, 2372392 edges, 37495 markings/sec, 30 secs
lola: 1591123 markings, 2741064 edges, 37613 markings/sec, 35 secs
lola: 1826924 markings, 3022201 edges, 47160 markings/sec, 40 secs
lola: 2060195 markings, 3305075 edges, 46654 markings/sec, 45 secs
lola: 2291579 markings, 3592245 edges, 46277 markings/sec, 50 secs
lola: 2523228 markings, 3877393 edges, 46330 markings/sec, 55 secs
lola: 2753345 markings, 4161820 edges, 46023 markings/sec, 60 secs
lola: 2979888 markings, 4443375 edges, 45309 markings/sec, 65 secs
lola: 3207654 markings, 4725061 edges, 45553 markings/sec, 70 secs
lola: 3430428 markings, 5007069 edges, 44555 markings/sec, 75 secs
lola: 3654331 markings, 5287960 edges, 44781 markings/sec, 80 secs
lola: 3874688 markings, 5576128 edges, 44071 markings/sec, 85 secs
lola: 4089165 markings, 5871251 edges, 42895 markings/sec, 90 secs
lola: 4301556 markings, 6164574 edges, 42478 markings/sec, 95 secs
lola: 4511124 markings, 6458288 edges, 41914 markings/sec, 100 secs
lola: 4713747 markings, 6760501 edges, 40525 markings/sec, 105 secs
lola: 4915753 markings, 7060894 edges, 40401 markings/sec, 110 secs
lola: 5111967 markings, 7368556 edges, 39243 markings/sec, 115 secs
lola: 5305784 markings, 7678859 edges, 38763 markings/sec, 120 secs
lola: 5487427 markings, 8037726 edges, 36329 markings/sec, 125 secs
lola: 5513559 markings, 8664536 edges, 5226 markings/sec, 130 secs
lola: 5529915 markings, 9312989 edges, 3271 markings/sec, 135 secs
lola: 5595859 markings, 9891349 edges, 13189 markings/sec, 140 secs
lola: 5613790 markings, 10553332 edges, 3586 markings/sec, 145 secs
lola: 5658047 markings, 11200786 edges, 8851 markings/sec, 150 secs
lola: 5856507 markings, 11461079 edges, 39692 markings/sec, 155 secs
lola: 6005428 markings, 11794821 edges, 29784 markings/sec, 160 secs
lola: 6204299 markings, 12056078 edges, 39774 markings/sec, 165 secs
lola: 6356330 markings, 12386719 edges, 30406 markings/sec, 170 secs
lola: 6512842 markings, 12699027 edges, 31302 markings/sec, 175 secs
lola: 6726563 markings, 12983749 edges, 42744 markings/sec, 180 secs
lola: 6927666 markings, 13238116 edges, 40221 markings/sec, 185 secs
lola: 7082051 markings, 13567915 edges, 30877 markings/sec, 190 secs
lola: 7305476 markings, 13838730 edges, 44685 markings/sec, 195 secs
lola: 7526240 markings, 14110647 edges, 44153 markings/sec, 200 secs
lola: 7747014 markings, 14382749 edges, 44155 markings/sec, 205 secs
lola: 7967294 markings, 14653880 edges, 44056 markings/sec, 210 secs
lola: 8185396 markings, 14924530 edges, 43620 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb3_3_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 277492 markings, 586785 edges, 55498 markings/sec, 0 secs
lola: 546876 markings, 1168425 edges, 53877 markings/sec, 5 secs
lola: 797019 markings, 1817238 edges, 50029 markings/sec, 10 secs
lola: 1036151 markings, 2442559 edges, 47826 markings/sec, 15 secs
lola: 1296624 markings, 2991435 edges, 52095 markings/sec, 20 secs
lola: 1538652 markings, 3597245 edges, 48406 markings/sec, 25 secs
lola: 1838193 markings, 4059607 edges, 59908 markings/sec, 30 secs
lola: 2115920 markings, 4530203 edges, 55545 markings/sec, 35 secs
lola: 2386036 markings, 4989211 edges, 54023 markings/sec, 40 secs
lola: 2627193 markings, 5500572 edges, 48231 markings/sec, 45 secs
lola: 2883994 markings, 5968896 edges, 51360 markings/sec, 50 secs
lola: 3148472 markings, 6404700 edges, 52896 markings/sec, 55 secs
lola: 3406771 markings, 6834841 edges, 51660 markings/sec, 60 secs
lola: 3631888 markings, 7302406 edges, 45023 markings/sec, 65 secs
lola: 3646908 markings, 8074657 edges, 3004 markings/sec, 70 secs
lola: 3680676 markings, 8850963 edges, 6754 markings/sec, 75 secs
lola: 3720154 markings, 9661542 edges, 7896 markings/sec, 80 secs
lola: 3897078 markings, 10317565 edges, 35385 markings/sec, 85 secs
lola: 4149742 markings, 10900358 edges, 50533 markings/sec, 90 secs
lola: 4391707 markings, 11491726 edges, 48393 markings/sec, 95 secs
lola: 4647029 markings, 12078903 edges, 51064 markings/sec, 100 secs
lola: 4884386 markings, 12690135 edges, 47471 markings/sec, 105 secs
lola: 5162355 markings, 13238036 edges, 55594 markings/sec, 110 secs
lola: 5450891 markings, 13711930 edges, 57707 markings/sec, 115 secs
lola: 5739052 markings, 14171464 edges, 57632 markings/sec, 120 secs
lola: 5993570 markings, 14649239 edges, 50904 markings/sec, 125 secs
lola: 6236237 markings, 15161705 edges, 48533 markings/sec, 130 secs
lola: 6500108 markings, 15608895 edges, 52774 markings/sec, 135 secs
lola: 6763226 markings, 16039334 edges, 52624 markings/sec, 140 secs
lola: 7016468 markings, 16468902 edges, 50648 markings/sec, 145 secs
lola: 7156884 markings, 17046843 edges, 28083 markings/sec, 150 secs
lola: 7176319 markings, 17805119 edges, 3887 markings/sec, 155 secs
lola: 7201222 markings, 18602078 edges, 4981 markings/sec, 160 secs
lola: 7243227 markings, 19420913 edges, 8401 markings/sec, 165 secs
lola: 7500722 markings, 19980132 edges, 51499 markings/sec, 170 secs
lola: 7733662 markings, 20571577 edges, 46588 markings/sec, 175 secs
lola: 7993015 markings, 21150198 edges, 51871 markings/sec, 180 secs
lola: 8230619 markings, 21760651 edges, 47521 markings/sec, 185 secs
lola: 8508158 markings, 22308605 edges, 55508 markings/sec, 190 secs
lola: 8796037 markings, 22779701 edges, 57576 markings/sec, 195 secs
lola: 9083149 markings, 23238605 edges, 57422 markings/sec, 200 secs
lola: 9336457 markings, 23714260 edges, 50662 markings/sec, 205 secs
lola: 9578522 markings, 24225986 edges, 48413 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb3_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 559440 markings, 662489 edges, 111888 markings/sec, 0 secs
lola: 1107620 markings, 1324106 edges, 109636 markings/sec, 5 secs
lola: 1663363 markings, 2000948 edges, 111149 markings/sec, 10 secs
lola: 2225927 markings, 2658260 edges, 112513 markings/sec, 15 secs
lola: 2732445 markings, 3197615 edges, 101304 markings/sec, 20 secs
lola: 3233285 markings, 3738672 edges, 100168 markings/sec, 25 secs
lola: 3725959 markings, 4266051 edges, 98535 markings/sec, 30 secs
lola: 4214941 markings, 4775034 edges, 97796 markings/sec, 35 secs
lola: 4693305 markings, 5280025 edges, 95673 markings/sec, 40 secs
lola: 5133103 markings, 5825163 edges, 87960 markings/sec, 45 secs
lola: 5631568 markings, 6363908 edges, 99693 markings/sec, 50 secs
lola: 6128086 markings, 6886985 edges, 99304 markings/sec, 55 secs
lola: 6615777 markings, 7404092 edges, 97538 markings/sec, 60 secs
lola: 7095130 markings, 7906258 edges, 95871 markings/sec, 65 secs
lola: 7564969 markings, 8403509 edges, 93968 markings/sec, 70 secs
lola: 8019232 markings, 8969364 edges, 90853 markings/sec, 75 secs
lola: 8524938 markings, 9502547 edges, 101141 markings/sec, 80 secs
lola: 9019914 markings, 10026129 edges, 98995 markings/sec, 85 secs
lola: 9503625 markings, 10534327 edges, 96742 markings/sec, 90 secs
lola: 9980561 markings, 11039942 edges, 95387 markings/sec, 95 secs
lola: 10425548 markings, 11593586 edges, 88997 markings/sec, 100 secs
lola: 10910315 markings, 12104221 edges, 96953 markings/sec, 105 secs
lola: 11388246 markings, 12602678 edges, 95586 markings/sec, 110 secs
lola: 11856133 markings, 13097421 edges, 93577 markings/sec, 115 secs
lola: 12293146 markings, 13633498 edges, 87403 markings/sec, 120 secs
lola: 12790990 markings, 14145541 edges, 99569 markings/sec, 125 secs
lola: 13275837 markings, 14659209 edges, 96969 markings/sec, 130 secs
lola: 13755221 markings, 15161223 edges, 95877 markings/sec, 135 secs
lola: 14225645 markings, 15658771 edges, 94085 markings/sec, 140 secs
lola: 14667787 markings, 16199870 edges, 88428 markings/sec, 145 secs
lola: 15156458 markings, 16707470 edges, 97734 markings/sec, 150 secs
lola: 15642416 markings, 17211278 edges, 97192 markings/sec, 155 secs
lola: 16127178 markings, 17713714 edges, 96952 markings/sec, 160 secs
lola: 16609744 markings, 18217287 edges, 96513 markings/sec, 165 secs
lola: 17092822 markings, 18718765 edges, 96616 markings/sec, 170 secs
lola: 17572428 markings, 19218188 edges, 95921 markings/sec, 175 secs
lola: 18049533 markings, 19718401 edges, 95421 markings/sec, 180 secs
lola: 18526541 markings, 20218342 edges, 95402 markings/sec, 185 secs
lola: 19001666 markings, 20719131 edges, 95025 markings/sec, 190 secs
lola: 19474914 markings, 21214968 edges, 94650 markings/sec, 195 secs
lola: 19949770 markings, 21711079 edges, 94971 markings/sec, 200 secs
lola: 20417619 markings, 22204340 edges, 93570 markings/sec, 205 secs
lola: 20887776 markings, 22699170 edges, 94031 markings/sec, 210 secs
lola: 21354877 markings, 23192688 edges, 93420 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 SquareGrid-PT-080408-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494937251078

--------------------
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="SquareGrid-PT-080408"
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/SquareGrid-PT-080408.tgz
mv SquareGrid-PT-080408 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 SquareGrid-PT-080408, 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-149441008300137"
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 ;