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

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

=== Now, execution of the tool begins

BK_START 1494934128991


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ SquareGrid-PT-100510 @ 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: 3020/65536 symbol table entries, 416 collisions
lola: preprocessing...
lola: finding significant places
lola: 1380 places, 1640 transitions, 839 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2180 transition conflict sets
lola: TASK
lola: reading formula from SquareGrid-PT-100510-UpperBounds.task
lola: MAX(p1il_11_5) : MAX(p4o_2_4) : MAX(p4il_4_5) : MAX(p1o_3_9) : MAX(p1ol_9_2) : MAX(p4i_4_3) : MAX(p4il_10_3) : MAX(p4o_4_7) : MAX(pb4_4_7) : MAX(p4i_9_7) : MAX(pb4_9_8) : MAX(pb2_2_7) : MAX(pb4_5_5) : MAX(p4i_9_4) : MAX(p4i_6_4) : MAX(p4il_7_9)
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(p1il_11_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 238592 markings, 250725 edges, 47718 markings/sec, 0 secs
lola: 460481 markings, 482995 edges, 44378 markings/sec, 5 secs
lola: 701765 markings, 726636 edges, 48257 markings/sec, 10 secs
lola: 947558 markings, 976257 edges, 49159 markings/sec, 15 secs
lola: 1192643 markings, 1226190 edges, 49017 markings/sec, 20 secs
lola: 1432974 markings, 1471146 edges, 48066 markings/sec, 25 secs
lola: 1670890 markings, 1713627 edges, 47583 markings/sec, 30 secs
lola: 1910177 markings, 1955928 edges, 47857 markings/sec, 35 secs
lola: 2142611 markings, 2190441 edges, 46487 markings/sec, 40 secs
lola: 2377253 markings, 2427446 edges, 46928 markings/sec, 45 secs
lola: 2611975 markings, 2664467 edges, 46944 markings/sec, 50 secs
lola: 2846739 markings, 2901700 edges, 46953 markings/sec, 55 secs
lola: 3084187 markings, 3141532 edges, 47490 markings/sec, 60 secs
lola: 3306599 markings, 3365879 edges, 44482 markings/sec, 65 secs
lola: 3525192 markings, 3586482 edges, 43719 markings/sec, 70 secs
lola: 3764083 markings, 3826282 edges, 47778 markings/sec, 75 secs
lola: 4003163 markings, 4066044 edges, 47816 markings/sec, 80 secs
lola: 4239442 markings, 4302812 edges, 47256 markings/sec, 85 secs
lola: 4477766 markings, 4541655 edges, 47665 markings/sec, 90 secs
lola: 4714468 markings, 4778863 edges, 47340 markings/sec, 95 secs
lola: 4950888 markings, 5015792 edges, 47284 markings/sec, 100 secs
lola: 5187168 markings, 5252578 edges, 47256 markings/sec, 105 secs
lola: 5426162 markings, 5492086 edges, 47799 markings/sec, 110 secs
lola: 5664027 markings, 5730454 edges, 47573 markings/sec, 115 secs
lola: 5900643 markings, 5967555 edges, 47323 markings/sec, 120 secs
lola: 6145001 markings, 6211943 edges, 48872 markings/sec, 125 secs
lola: 6386916 markings, 6453870 edges, 48383 markings/sec, 130 secs
lola: 6627153 markings, 6694120 edges, 48047 markings/sec, 135 secs
lola: 6866996 markings, 6933973 edges, 47969 markings/sec, 140 secs
lola: 7109292 markings, 7176279 edges, 48459 markings/sec, 145 secs
lola: 7351515 markings, 7418516 edges, 48445 markings/sec, 150 secs
lola: 7590767 markings, 7657781 edges, 47850 markings/sec, 155 secs
lola: 7829808 markings, 7896837 edges, 47808 markings/sec, 160 secs
lola: 8068331 markings, 8135375 edges, 47705 markings/sec, 165 secs
lola: 8306967 markings, 8374025 edges, 47727 markings/sec, 170 secs
lola: 8545790 markings, 8612864 edges, 47765 markings/sec, 175 secs
lola: 8781058 markings, 8848151 edges, 47054 markings/sec, 180 secs
lola: 9016177 markings, 9083295 edges, 47024 markings/sec, 185 secs
lola: 9248583 markings, 9315722 edges, 46481 markings/sec, 190 secs
lola: 9482619 markings, 9549781 edges, 46807 markings/sec, 195 secs
lola: 9715101 markings, 9782287 edges, 46496 markings/sec, 200 secs
lola: 9949032 markings, 10016240 edges, 46786 markings/sec, 205 secs
lola: 10184813 markings, 10252044 edges, 47156 markings/sec, 210 secs
lola: 10420657 markings, 10487908 edges, 47169 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(p4o_2_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 321537 markings, 348843 edges, 64307 markings/sec, 0 secs
lola: 627333 markings, 682425 edges, 61159 markings/sec, 5 secs
lola: 907747 markings, 973748 edges, 56083 markings/sec, 10 secs
lola: 1178494 markings, 1276266 edges, 54149 markings/sec, 15 secs
lola: 1409298 markings, 1634695 edges, 46161 markings/sec, 20 secs
lola: 1638322 markings, 1979697 edges, 45805 markings/sec, 25 secs
lola: 1879277 markings, 2331743 edges, 48191 markings/sec, 30 secs
lola: 2108600 markings, 2710015 edges, 45865 markings/sec, 35 secs
lola: 2345701 markings, 3053241 edges, 47420 markings/sec, 40 secs
lola: 2577436 markings, 3408061 edges, 46347 markings/sec, 45 secs
lola: 2812848 markings, 3733304 edges, 47082 markings/sec, 50 secs
lola: 3052161 markings, 4046264 edges, 47863 markings/sec, 55 secs
lola: 3294594 markings, 4339968 edges, 48487 markings/sec, 60 secs
lola: 3530796 markings, 4636923 edges, 47240 markings/sec, 65 secs
lola: 3761673 markings, 4939790 edges, 46175 markings/sec, 70 secs
lola: 3987715 markings, 5252394 edges, 45208 markings/sec, 75 secs
lola: 4189062 markings, 5613584 edges, 40269 markings/sec, 80 secs
lola: 4277309 markings, 6185185 edges, 17649 markings/sec, 85 secs
lola: 4517163 markings, 6513167 edges, 47971 markings/sec, 90 secs
lola: 4747061 markings, 6863990 edges, 45980 markings/sec, 95 secs
lola: 4985413 markings, 7182908 edges, 47670 markings/sec, 100 secs
lola: 5229335 markings, 7474390 edges, 48784 markings/sec, 105 secs
lola: 5466257 markings, 7770411 edges, 47384 markings/sec, 110 secs
lola: 5699070 markings, 8072158 edges, 46563 markings/sec, 115 secs
lola: 5926286 markings, 8385197 edges, 45443 markings/sec, 120 secs
lola: 6144474 markings, 8717930 edges, 43638 markings/sec, 125 secs
lola: 6220140 markings, 9312654 edges, 15133 markings/sec, 130 secs
lola: 6443183 markings, 9640670 edges, 44609 markings/sec, 135 secs
lola: 6668879 markings, 9977262 edges, 45139 markings/sec, 140 secs
lola: 6881510 markings, 10328162 edges, 42526 markings/sec, 145 secs
lola: 7120333 markings, 10616285 edges, 47765 markings/sec, 150 secs
lola: 7354004 markings, 10910943 edges, 46734 markings/sec, 155 secs
lola: 7582276 markings, 11210641 edges, 45654 markings/sec, 160 secs
lola: 7802838 markings, 11521186 edges, 44112 markings/sec, 165 secs
lola: 8019246 markings, 11838430 edges, 43282 markings/sec, 170 secs
lola: 8188344 markings, 12242554 edges, 33820 markings/sec, 175 secs
lola: 8270203 markings, 12787376 edges, 16372 markings/sec, 180 secs
lola: 8489014 markings, 13103323 edges, 43762 markings/sec, 185 secs
lola: 8707145 markings, 13426386 edges, 43626 markings/sec, 190 secs
lola: 8937022 markings, 13758383 edges, 45975 markings/sec, 195 secs
lola: 9150099 markings, 14149892 edges, 42615 markings/sec, 200 secs
lola: 9370891 markings, 14471446 edges, 44158 markings/sec, 205 secs
lola: 9586808 markings, 14781784 edges, 43183 markings/sec, 210 secs
lola: 9801720 markings, 15100782 edges, 42982 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(p4il_4_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 362254 markings, 364458 edges, 72451 markings/sec, 0 secs
lola: 707005 markings, 712868 edges, 68950 markings/sec, 5 secs
lola: 1049277 markings, 1058596 edges, 68454 markings/sec, 10 secs
lola: 1390204 markings, 1402785 edges, 68185 markings/sec, 15 secs
lola: 1739728 markings, 1756422 edges, 69905 markings/sec, 20 secs
lola: 2088112 markings, 2105586 edges, 69677 markings/sec, 25 secs
lola: 2444874 markings, 2463003 edges, 71352 markings/sec, 30 secs
lola: 2814392 markings, 2833343 edges, 73904 markings/sec, 35 secs
lola: 3188915 markings, 3208534 edges, 74905 markings/sec, 40 secs
lola: 3550212 markings, 3570189 edges, 72259 markings/sec, 45 secs
lola: 3914728 markings, 3934731 edges, 72903 markings/sec, 50 secs
lola: 4260135 markings, 4280300 edges, 69081 markings/sec, 55 secs
lola: 4605793 markings, 4626108 edges, 69132 markings/sec, 60 secs
lola: 4964800 markings, 4985237 edges, 71801 markings/sec, 65 secs
lola: 5316848 markings, 5337420 edges, 70410 markings/sec, 70 secs
lola: 5656028 markings, 5676739 edges, 67836 markings/sec, 75 secs
lola: 5984503 markings, 6005344 edges, 65695 markings/sec, 80 secs
lola: 6299646 markings, 6320628 edges, 63029 markings/sec, 85 secs
lola: 6640743 markings, 6661771 edges, 68219 markings/sec, 90 secs
lola: 6988877 markings, 7010058 edges, 69627 markings/sec, 95 secs
lola: 7326993 markings, 7348301 edges, 67623 markings/sec, 100 secs
lola: 7684174 markings, 7705547 edges, 71436 markings/sec, 105 secs
lola: 8043132 markings, 8064518 edges, 71792 markings/sec, 110 secs
lola: 8400892 markings, 8422342 edges, 71552 markings/sec, 115 secs
lola: 8763568 markings, 8785110 edges, 72535 markings/sec, 120 secs
lola: 9119617 markings, 9141230 edges, 71210 markings/sec, 125 secs
lola: 9472629 markings, 9494313 edges, 70602 markings/sec, 130 secs
lola: 9824957 markings, 9846728 edges, 70466 markings/sec, 135 secs
lola: 10173733 markings, 10195580 edges, 69755 markings/sec, 140 secs
lola: 10523519 markings, 10545431 edges, 69957 markings/sec, 145 secs
lola: 10876584 markings, 10898584 edges, 70613 markings/sec, 150 secs
lola: 11226892 markings, 11248969 edges, 70062 markings/sec, 155 secs
lola: 11577747 markings, 11599890 edges, 70171 markings/sec, 160 secs
lola: 11927721 markings, 11949949 edges, 69995 markings/sec, 165 secs
lola: 12273295 markings, 12295600 edges, 69115 markings/sec, 170 secs
lola: 12621183 markings, 12643553 edges, 69578 markings/sec, 175 secs
lola: 12971537 markings, 12993993 edges, 70071 markings/sec, 180 secs
lola: 13318383 markings, 13340915 edges, 69369 markings/sec, 185 secs
lola: 13664459 markings, 13687056 edges, 69215 markings/sec, 190 secs
lola: 14010611 markings, 14033293 edges, 69230 markings/sec, 195 secs
lola: 14352487 markings, 14375244 edges, 68375 markings/sec, 200 secs
lola: 14693805 markings, 14716625 edges, 68264 markings/sec, 205 secs
lola: 15036100 markings, 15059010 edges, 68459 markings/sec, 210 secs
lola: 15375649 markings, 15398611 edges, 67910 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(p1o_3_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 388855 markings, 390211 edges, 77771 markings/sec, 0 secs
lola: 768851 markings, 770665 edges, 75999 markings/sec, 5 secs
lola: 1151332 markings, 1153612 edges, 76496 markings/sec, 10 secs
lola: 1537207 markings, 1539881 edges, 77175 markings/sec, 15 secs
lola: 1920109 markings, 1923228 edges, 76580 markings/sec, 20 secs
lola: 2303169 markings, 2306682 edges, 76612 markings/sec, 25 secs
lola: 2684756 markings, 2688710 edges, 76317 markings/sec, 30 secs
lola: 3063732 markings, 3068076 edges, 75795 markings/sec, 35 secs
lola: 3448448 markings, 3453291 edges, 76943 markings/sec, 40 secs
lola: 3828343 markings, 3833807 edges, 75979 markings/sec, 45 secs
lola: 4202421 markings, 4208702 edges, 74816 markings/sec, 50 secs
lola: 4570694 markings, 4577807 edges, 73655 markings/sec, 55 secs
lola: 4936487 markings, 4944463 edges, 73159 markings/sec, 60 secs
lola: 5302437 markings, 5311250 edges, 73190 markings/sec, 65 secs
lola: 5666113 markings, 5675767 edges, 72735 markings/sec, 70 secs
lola: 6031475 markings, 6041967 edges, 73072 markings/sec, 75 secs
lola: 6395727 markings, 6407071 edges, 72850 markings/sec, 80 secs
lola: 6759472 markings, 6771649 edges, 72749 markings/sec, 85 secs
lola: 7123736 markings, 7136779 edges, 72853 markings/sec, 90 secs
lola: 7490897 markings, 7504770 edges, 73432 markings/sec, 95 secs
lola: 7861861 markings, 7876012 edges, 74193 markings/sec, 100 secs
lola: 8250220 markings, 8264412 edges, 77672 markings/sec, 105 secs
lola: 8628523 markings, 8643405 edges, 75661 markings/sec, 110 secs
lola: 9004945 markings, 9020228 edges, 75284 markings/sec, 115 secs
lola: 9395154 markings, 9410440 edges, 78042 markings/sec, 120 secs
lola: 9784378 markings, 9799664 edges, 77845 markings/sec, 125 secs
lola: 10169516 markings, 10184801 edges, 77028 markings/sec, 130 secs
lola: 10550521 markings, 10565856 edges, 76201 markings/sec, 135 secs
lola: 10932096 markings, 10947459 edges, 76315 markings/sec, 140 secs
lola: 11332383 markings, 11347766 edges, 80057 markings/sec, 145 secs
lola: 11714287 markings, 11729688 edges, 76381 markings/sec, 150 secs
lola: 12107372 markings, 12122797 edges, 78617 markings/sec, 155 secs
lola: 12485699 markings, 12501147 edges, 75665 markings/sec, 160 secs
lola: 12881056 markings, 12896528 edges, 79071 markings/sec, 165 secs
lola: 13275651 markings, 13291142 edges, 78919 markings/sec, 170 secs
lola: 13658932 markings, 13674444 edges, 76656 markings/sec, 175 secs
lola: 14053061 markings, 14068597 edges, 78826 markings/sec, 180 secs
lola: 14430140 markings, 14445700 edges, 75416 markings/sec, 185 secs
lola: 14849060 markings, 14864644 edges, 83784 markings/sec, 190 secs
lola: 15262058 markings, 15277663 edges, 82600 markings/sec, 195 secs
lola: 15672484 markings, 15688111 edges, 82085 markings/sec, 200 secs
lola: 16090202 markings, 16105852 edges, 83544 markings/sec, 205 secs
lola: 16503465 markings, 16519147 edges, 82653 markings/sec, 210 secs
lola: 16907223 markings, 16922931 edges, 80752 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(p1ol_9_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 260678 markings, 269795 edges, 52136 markings/sec, 0 secs
lola: 506321 markings, 524890 edges, 49129 markings/sec, 5 secs
lola: 740319 markings, 766035 edges, 46800 markings/sec, 10 secs
lola: 968634 markings, 997707 edges, 45663 markings/sec, 15 secs
lola: 1196043 markings, 1228550 edges, 45482 markings/sec, 20 secs
lola: 1426407 markings, 1462284 edges, 46073 markings/sec, 25 secs
lola: 1654549 markings, 1693540 edges, 45628 markings/sec, 30 secs
lola: 1886223 markings, 1928353 edges, 46335 markings/sec, 35 secs
lola: 2116671 markings, 2161975 edges, 46090 markings/sec, 40 secs
lola: 2347587 markings, 2396138 edges, 46183 markings/sec, 45 secs
lola: 2581607 markings, 2635004 edges, 46804 markings/sec, 50 secs
lola: 2812534 markings, 2871101 edges, 46185 markings/sec, 55 secs
lola: 3043245 markings, 3106979 edges, 46142 markings/sec, 60 secs
lola: 3272902 markings, 3341775 edges, 45931 markings/sec, 65 secs
lola: 3503115 markings, 3577148 edges, 46043 markings/sec, 70 secs
lola: 3733299 markings, 3812455 edges, 46037 markings/sec, 75 secs
lola: 3961255 markings, 4045544 edges, 45591 markings/sec, 80 secs
lola: 4188398 markings, 4277734 edges, 45429 markings/sec, 85 secs
lola: 4414638 markings, 4509137 edges, 45248 markings/sec, 90 secs
lola: 4639083 markings, 4739161 edges, 44889 markings/sec, 95 secs
lola: 4859431 markings, 4964975 edges, 44070 markings/sec, 100 secs
lola: 5078534 markings, 5189570 edges, 43821 markings/sec, 105 secs
lola: 5301384 markings, 5417176 edges, 44570 markings/sec, 110 secs
lola: 5527196 markings, 5648479 edges, 45162 markings/sec, 115 secs
lola: 5750643 markings, 5877503 edges, 44689 markings/sec, 120 secs
lola: 5972620 markings, 6104856 edges, 44395 markings/sec, 125 secs
lola: 6196588 markings, 6334138 edges, 44794 markings/sec, 130 secs
lola: 6417735 markings, 6560343 edges, 44229 markings/sec, 135 secs
lola: 6636375 markings, 6784206 edges, 43728 markings/sec, 140 secs
lola: 6857777 markings, 7011128 edges, 44280 markings/sec, 145 secs
lola: 7076995 markings, 7235764 edges, 43844 markings/sec, 150 secs
lola: 7296477 markings, 7460450 edges, 43896 markings/sec, 155 secs
lola: 7515689 markings, 7684818 edges, 43842 markings/sec, 160 secs
lola: 7741183 markings, 7915590 edges, 45099 markings/sec, 165 secs
lola: 7966147 markings, 8145923 edges, 44993 markings/sec, 170 secs
lola: 8191382 markings, 8376783 edges, 45047 markings/sec, 175 secs
lola: 8417647 markings, 8608621 edges, 45253 markings/sec, 180 secs
lola: 8641859 markings, 8838173 edges, 44842 markings/sec, 185 secs
lola: 8868339 markings, 9070017 edges, 45296 markings/sec, 190 secs
lola: 9091136 markings, 9297972 edges, 44559 markings/sec, 195 secs
lola: 9311304 markings, 9523360 edges, 44034 markings/sec, 200 secs
lola: 9533255 markings, 9750887 edges, 44390 markings/sec, 205 secs
lola: 9753751 markings, 9976814 edges, 44099 markings/sec, 210 secs
lola: 9975209 markings, 10203521 edges, 44292 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(p4i_4_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 339316 markings, 347408 edges, 67863 markings/sec, 0 secs
lola: 671459 markings, 688799 edges, 66429 markings/sec, 5 secs
lola: 1003482 markings, 1030295 edges, 66405 markings/sec, 10 secs
lola: 1331665 markings, 1364924 edges, 65637 markings/sec, 15 secs
lola: 1632766 markings, 1669889 edges, 60220 markings/sec, 20 secs
lola: 1934333 markings, 1975298 edges, 60313 markings/sec, 25 secs
lola: 2230051 markings, 2274240 edges, 59144 markings/sec, 30 secs
lola: 2518166 markings, 2565214 edges, 57623 markings/sec, 35 secs
lola: 2796023 markings, 2844324 edges, 55571 markings/sec, 40 secs
lola: 3083527 markings, 3133197 edges, 57501 markings/sec, 45 secs
lola: 3367040 markings, 3418055 edges, 56703 markings/sec, 50 secs
lola: 3650143 markings, 3702151 edges, 56621 markings/sec, 55 secs
lola: 3932739 markings, 3986230 edges, 56519 markings/sec, 60 secs
lola: 4214502 markings, 4269496 edges, 56353 markings/sec, 65 secs
lola: 4485200 markings, 4542442 edges, 54140 markings/sec, 70 secs
lola: 4737242 markings, 4799005 edges, 50408 markings/sec, 75 secs
lola: 4984167 markings, 5050274 edges, 49385 markings/sec, 80 secs
lola: 5229223 markings, 5299135 edges, 49011 markings/sec, 85 secs
lola: 5465505 markings, 5538972 edges, 47256 markings/sec, 90 secs
lola: 5697560 markings, 5773861 edges, 46411 markings/sec, 95 secs
lola: 5920126 markings, 5999464 edges, 44513 markings/sec, 100 secs
lola: 6162697 markings, 6246105 edges, 48514 markings/sec, 105 secs
lola: 6383235 markings, 6470046 edges, 44108 markings/sec, 110 secs
lola: 6606073 markings, 6697636 edges, 44568 markings/sec, 115 secs
lola: 6781590 markings, 6953978 edges, 35103 markings/sec, 120 secs
lola: 7002068 markings, 7177056 edges, 44096 markings/sec, 125 secs
lola: 7213154 markings, 7391871 edges, 42217 markings/sec, 130 secs
lola: 7426102 markings, 7607798 edges, 42590 markings/sec, 135 secs
lola: 7644599 markings, 7829814 edges, 43699 markings/sec, 140 secs
lola: 7857474 markings, 8046121 edges, 42575 markings/sec, 145 secs
lola: 8073727 markings, 8265295 edges, 43251 markings/sec, 150 secs
lola: 8284134 markings, 8478039 edges, 42081 markings/sec, 155 secs
lola: 8483996 markings, 8681347 edges, 39972 markings/sec, 160 secs
lola: 8696064 markings, 8896752 edges, 42414 markings/sec, 165 secs
lola: 8891037 markings, 9094604 edges, 38995 markings/sec, 170 secs
lola: 9092751 markings, 9301412 edges, 40343 markings/sec, 175 secs
lola: 9257459 markings, 9546587 edges, 32942 markings/sec, 180 secs
lola: 9516543 markings, 9809808 edges, 51817 markings/sec, 185 secs
lola: 9762046 markings, 10059431 edges, 49101 markings/sec, 190 secs
lola: 10005894 markings, 10306564 edges, 48770 markings/sec, 195 secs
lola: 10243361 markings, 10548084 edges, 47493 markings/sec, 200 secs
lola: 10475751 markings, 10783373 edges, 46478 markings/sec, 205 secs
lola: 10701887 markings, 11012186 edges, 45227 markings/sec, 210 secs
lola: 10927933 markings, 11242830 edges, 45209 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(p4il_10_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 286502 markings, 289345 edges, 57300 markings/sec, 0 secs
lola: 546888 markings, 549811 edges, 52077 markings/sec, 5 secs
lola: 800346 markings, 803270 edges, 50692 markings/sec, 10 secs
lola: 1050514 markings, 1053438 edges, 50034 markings/sec, 15 secs
lola: 1301291 markings, 1304215 edges, 50155 markings/sec, 20 secs
lola: 1548093 markings, 1551017 edges, 49360 markings/sec, 25 secs
lola: 1792843 markings, 1795766 edges, 48950 markings/sec, 30 secs
lola: 2039829 markings, 2042752 edges, 49397 markings/sec, 35 secs
lola: 2287153 markings, 2290086 edges, 49465 markings/sec, 40 secs
lola: 2537310 markings, 2540270 edges, 50031 markings/sec, 45 secs
lola: 2784573 markings, 2787561 edges, 49453 markings/sec, 50 secs
lola: 3031024 markings, 3034039 edges, 49290 markings/sec, 55 secs
lola: 3273393 markings, 3276425 edges, 48474 markings/sec, 60 secs
lola: 3517943 markings, 3520989 edges, 48910 markings/sec, 65 secs
lola: 3769429 markings, 3772489 edges, 50297 markings/sec, 70 secs
lola: 4016724 markings, 4019797 edges, 49459 markings/sec, 75 secs
lola: 4261717 markings, 4264813 edges, 48999 markings/sec, 80 secs
lola: 4510452 markings, 4513567 edges, 49747 markings/sec, 85 secs
lola: 4758485 markings, 4761616 edges, 49607 markings/sec, 90 secs
lola: 5000365 markings, 5003529 edges, 48376 markings/sec, 95 secs
lola: 5246721 markings, 5249916 edges, 49271 markings/sec, 100 secs
lola: 5485266 markings, 5488496 edges, 47709 markings/sec, 105 secs
lola: 5729927 markings, 5733191 edges, 48932 markings/sec, 110 secs
lola: 5980531 markings, 5983828 edges, 50121 markings/sec, 115 secs
lola: 6235649 markings, 6238981 edges, 51024 markings/sec, 120 secs
lola: 6490240 markings, 6493608 edges, 50918 markings/sec, 125 secs
lola: 6740412 markings, 6743818 edges, 50034 markings/sec, 130 secs
lola: 6989385 markings, 6992824 edges, 49795 markings/sec, 135 secs
lola: 7238085 markings, 7241556 edges, 49740 markings/sec, 140 secs
lola: 7486341 markings, 7489846 edges, 49651 markings/sec, 145 secs
lola: 7734457 markings, 7737996 edges, 49623 markings/sec, 150 secs
lola: 7985722 markings, 7989290 edges, 50253 markings/sec, 155 secs
lola: 8239246 markings, 8242833 edges, 50705 markings/sec, 160 secs
lola: 8495269 markings, 8498876 edges, 51205 markings/sec, 165 secs
lola: 8750328 markings, 8753954 edges, 51012 markings/sec, 170 secs
lola: 9002800 markings, 9006442 edges, 50494 markings/sec, 175 secs
lola: 9256331 markings, 9259993 edges, 50706 markings/sec, 180 secs
lola: 9507351 markings, 9511059 edges, 50204 markings/sec, 185 secs
lola: 9749763 markings, 9753497 edges, 48482 markings/sec, 190 secs
lola: 9992846 markings, 9996621 edges, 48617 markings/sec, 195 secs
lola: 10239373 markings, 10243182 edges, 49305 markings/sec, 200 secs
lola: 10483756 markings, 10487608 edges, 48877 markings/sec, 205 secs
lola: 10728941 markings, 10732837 edges, 49037 markings/sec, 210 secs
lola: 10970901 markings, 10974832 edges, 48392 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(p4o_4_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 285226 markings, 353397 edges, 57045 markings/sec, 0 secs
lola: 530630 markings, 703305 edges, 49081 markings/sec, 5 secs
lola: 757690 markings, 1061653 edges, 45412 markings/sec, 10 secs
lola: 908164 markings, 1584400 edges, 30095 markings/sec, 15 secs
lola: 1146335 markings, 1922500 edges, 47634 markings/sec, 20 secs
lola: 1354846 markings, 2295703 edges, 41702 markings/sec, 25 secs
lola: 1520226 markings, 2778291 edges, 33076 markings/sec, 30 secs
lola: 1757778 markings, 3111369 edges, 47510 markings/sec, 35 secs
lola: 1978699 markings, 3452618 edges, 44184 markings/sec, 40 secs
lola: 2115594 markings, 3960104 edges, 27379 markings/sec, 45 secs
lola: 2349594 markings, 4290143 edges, 46800 markings/sec, 50 secs
lola: 2543174 markings, 4679771 edges, 38716 markings/sec, 55 secs
lola: 2719211 markings, 5130515 edges, 35207 markings/sec, 60 secs
lola: 2943149 markings, 5451621 edges, 44788 markings/sec, 65 secs
lola: 3152234 markings, 5791779 edges, 41817 markings/sec, 70 secs
lola: 3287003 markings, 6267581 edges, 26954 markings/sec, 75 secs
lola: 3510354 markings, 6588646 edges, 44670 markings/sec, 80 secs
lola: 3676754 markings, 6987217 edges, 33280 markings/sec, 85 secs
lola: 3857504 markings, 7389149 edges, 36150 markings/sec, 90 secs
lola: 4100455 markings, 7695767 edges, 48590 markings/sec, 95 secs
lola: 4338789 markings, 8002944 edges, 47667 markings/sec, 100 secs
lola: 4570476 markings, 8308381 edges, 46337 markings/sec, 105 secs
lola: 4798366 markings, 8613275 edges, 45578 markings/sec, 110 secs
lola: 5024163 markings, 8917498 edges, 45159 markings/sec, 115 secs
lola: 5253026 markings, 9223654 edges, 45773 markings/sec, 120 secs
lola: 5480562 markings, 9527099 edges, 45507 markings/sec, 125 secs
lola: 5710842 markings, 9830146 edges, 46056 markings/sec, 130 secs
lola: 5930937 markings, 10135599 edges, 44019 markings/sec, 135 secs
lola: 6143667 markings, 10443944 edges, 42546 markings/sec, 140 secs
lola: 6357819 markings, 10749220 edges, 42830 markings/sec, 145 secs
lola: 6562902 markings, 11049181 edges, 41017 markings/sec, 150 secs
lola: 6768904 markings, 11357070 edges, 41200 markings/sec, 155 secs
lola: 6986526 markings, 11681122 edges, 43524 markings/sec, 160 secs
lola: 7203291 markings, 12003016 edges, 43353 markings/sec, 165 secs
lola: 7419233 markings, 12325032 edges, 43188 markings/sec, 170 secs
lola: 7632307 markings, 12647405 edges, 42615 markings/sec, 175 secs
lola: 7844958 markings, 12969850 edges, 42530 markings/sec, 180 secs
lola: 8052969 markings, 13298722 edges, 41602 markings/sec, 185 secs
lola: 8261847 markings, 13623743 edges, 41776 markings/sec, 190 secs
lola: 8474210 markings, 13945454 edges, 42473 markings/sec, 195 secs
lola: 8684092 markings, 14266588 edges, 41976 markings/sec, 200 secs
lola: 8892324 markings, 14587705 edges, 41646 markings/sec, 205 secs
lola: 9099394 markings, 14908365 edges, 41414 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb4_4_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 225578 markings, 252573 edges, 45116 markings/sec, 0 secs
lola: 380070 markings, 437694 edges, 30898 markings/sec, 5 secs
lola: 547191 markings, 639786 edges, 33424 markings/sec, 10 secs
lola: 714248 markings, 849365 edges, 33411 markings/sec, 15 secs
lola: 878631 markings, 1057059 edges, 32877 markings/sec, 20 secs
lola: 1046478 markings, 1255896 edges, 33569 markings/sec, 25 secs
lola: 1210803 markings, 1463502 edges, 32865 markings/sec, 30 secs
lola: 1378674 markings, 1656246 edges, 33574 markings/sec, 35 secs
lola: 1546424 markings, 1848173 edges, 33550 markings/sec, 40 secs
lola: 1713328 markings, 2040717 edges, 33381 markings/sec, 45 secs
lola: 1876804 markings, 2235254 edges, 32695 markings/sec, 50 secs
lola: 2039614 markings, 2429869 edges, 32562 markings/sec, 55 secs
lola: 2200309 markings, 2619941 edges, 32139 markings/sec, 60 secs
lola: 2361039 markings, 2810353 edges, 32146 markings/sec, 65 secs
lola: 2522884 markings, 2998104 edges, 32369 markings/sec, 70 secs
lola: 2683982 markings, 3186902 edges, 32220 markings/sec, 75 secs
lola: 2843072 markings, 3379198 edges, 31818 markings/sec, 80 secs
lola: 2999860 markings, 3575836 edges, 31358 markings/sec, 85 secs
lola: 3155614 markings, 3769478 edges, 31151 markings/sec, 90 secs
lola: 3259407 markings, 4114440 edges, 20759 markings/sec, 95 secs
lola: 3298703 markings, 4638163 edges, 7859 markings/sec, 100 secs
lola: 3433728 markings, 4932297 edges, 27005 markings/sec, 105 secs
lola: 3596167 markings, 5138718 edges, 32488 markings/sec, 110 secs
lola: 3761688 markings, 5345820 edges, 33104 markings/sec, 115 secs
lola: 3925800 markings, 5553338 edges, 32822 markings/sec, 120 secs
lola: 4092008 markings, 5741443 edges, 33242 markings/sec, 125 secs
lola: 4255150 markings, 5930867 edges, 32628 markings/sec, 130 secs
lola: 4419385 markings, 6119251 edges, 32847 markings/sec, 135 secs
lola: 4581531 markings, 6307810 edges, 32429 markings/sec, 140 secs
lola: 4741506 markings, 6497980 edges, 31995 markings/sec, 145 secs
lola: 4899672 markings, 6687359 edges, 31633 markings/sec, 150 secs
lola: 5058359 markings, 6874332 edges, 31737 markings/sec, 155 secs
lola: 5218281 markings, 7061229 edges, 31984 markings/sec, 160 secs
lola: 5377735 markings, 7248621 edges, 31891 markings/sec, 165 secs
lola: 5536818 markings, 7436939 edges, 31817 markings/sec, 170 secs
lola: 5694385 markings, 7628739 edges, 31513 markings/sec, 175 secs
lola: 5849276 markings, 7824012 edges, 30978 markings/sec, 180 secs
lola: 5998739 markings, 8040722 edges, 29893 markings/sec, 185 secs
lola: 6060767 markings, 8486260 edges, 12406 markings/sec, 190 secs
lola: 6116483 markings, 8974426 edges, 11143 markings/sec, 195 secs
lola: 6288816 markings, 9162431 edges, 34467 markings/sec, 200 secs
lola: 6448814 markings, 9377836 edges, 32000 markings/sec, 205 secs
lola: 6615907 markings, 9575095 edges, 33419 markings/sec, 210 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(p4i_9_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 262810 markings, 279965 edges, 52562 markings/sec, 0 secs
lola: 546679 markings, 570114 edges, 56774 markings/sec, 5 secs
lola: 829696 markings, 859870 edges, 56603 markings/sec, 10 secs
lola: 1110954 markings, 1147963 edges, 56252 markings/sec, 15 secs
lola: 1389850 markings, 1434125 edges, 55779 markings/sec, 20 secs
lola: 1668287 markings, 1719608 edges, 55687 markings/sec, 25 secs
lola: 1948632 markings, 2006946 edges, 56069 markings/sec, 30 secs
lola: 2231185 markings, 2296398 edges, 56511 markings/sec, 35 secs
lola: 2513317 markings, 2585422 edges, 56426 markings/sec, 40 secs
lola: 2792946 markings, 2871407 edges, 55926 markings/sec, 45 secs
lola: 3045146 markings, 3165552 edges, 50440 markings/sec, 50 secs
lola: 3289000 markings, 3459720 edges, 48771 markings/sec, 55 secs
lola: 3532587 markings, 3756369 edges, 48717 markings/sec, 60 secs
lola: 3772238 markings, 4031272 edges, 47930 markings/sec, 65 secs
lola: 4018416 markings, 4310793 edges, 49236 markings/sec, 70 secs
lola: 4264523 markings, 4579581 edges, 49221 markings/sec, 75 secs
lola: 4506738 markings, 4846436 edges, 48443 markings/sec, 80 secs
lola: 4746506 markings, 5109963 edges, 47954 markings/sec, 85 secs
lola: 4984225 markings, 5380361 edges, 47544 markings/sec, 90 secs
lola: 5222996 markings, 5645424 edges, 47754 markings/sec, 95 secs
lola: 5459110 markings, 5911181 edges, 47223 markings/sec, 100 secs
lola: 5693631 markings, 6174815 edges, 46904 markings/sec, 105 secs
lola: 5926800 markings, 6440541 edges, 46634 markings/sec, 110 secs
lola: 6160094 markings, 6704678 edges, 46659 markings/sec, 115 secs
lola: 6391310 markings, 6967914 edges, 46243 markings/sec, 120 secs
lola: 6622756 markings, 7230512 edges, 46289 markings/sec, 125 secs
lola: 6852524 markings, 7491988 edges, 45954 markings/sec, 130 secs
lola: 7083364 markings, 7752990 edges, 46168 markings/sec, 135 secs
lola: 7249660 markings, 8111109 edges, 33259 markings/sec, 140 secs
lola: 7308638 markings, 8586145 edges, 11796 markings/sec, 145 secs
lola: 7433372 markings, 8940260 edges, 24947 markings/sec, 150 secs
lola: 7648210 markings, 9202112 edges, 42968 markings/sec, 155 secs
lola: 7880013 markings, 9474413 edges, 46361 markings/sec, 160 secs
lola: 8083332 markings, 9716029 edges, 40664 markings/sec, 165 secs
lola: 8299353 markings, 9958261 edges, 43204 markings/sec, 170 secs
lola: 8528644 markings, 10215669 edges, 45858 markings/sec, 175 secs
lola: 8749940 markings, 10459182 edges, 44259 markings/sec, 180 secs
lola: 8971337 markings, 10702827 edges, 44279 markings/sec, 185 secs
lola: 9191355 markings, 10946309 edges, 44004 markings/sec, 190 secs
lola: 9409250 markings, 11194175 edges, 43579 markings/sec, 195 secs
lola: 9627338 markings, 11436227 edges, 43618 markings/sec, 200 secs
lola: 9844042 markings, 11680098 edges, 43341 markings/sec, 205 secs
lola: 10060376 markings, 11922642 edges, 43267 markings/sec, 210 secs
lola: 10277644 markings, 12168630 edges, 43454 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb4_9_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 224923 markings, 234926 edges, 44985 markings/sec, 0 secs
lola: 463936 markings, 486874 edges, 47803 markings/sec, 5 secs
lola: 690752 markings, 737199 edges, 45363 markings/sec, 10 secs
lola: 916407 markings, 986395 edges, 45131 markings/sec, 15 secs
lola: 1142019 markings, 1234376 edges, 45122 markings/sec, 20 secs
lola: 1365439 markings, 1480900 edges, 44684 markings/sec, 25 secs
lola: 1586184 markings, 1725068 edges, 44149 markings/sec, 30 secs
lola: 1807900 markings, 1970733 edges, 44343 markings/sec, 35 secs
lola: 2031064 markings, 2217518 edges, 44633 markings/sec, 40 secs
lola: 2251121 markings, 2459972 edges, 44011 markings/sec, 45 secs
lola: 2468973 markings, 2699600 edges, 43570 markings/sec, 50 secs
lola: 2686329 markings, 2938727 edges, 43471 markings/sec, 55 secs
lola: 2903659 markings, 3177863 edges, 43466 markings/sec, 60 secs
lola: 3120850 markings, 3416483 edges, 43438 markings/sec, 65 secs
lola: 3337089 markings, 3654682 edges, 43248 markings/sec, 70 secs
lola: 3555421 markings, 3894925 edges, 43666 markings/sec, 75 secs
lola: 3777545 markings, 4138978 edges, 44425 markings/sec, 80 secs
lola: 3997975 markings, 4381924 edges, 44086 markings/sec, 85 secs
lola: 4216808 markings, 4622317 edges, 43767 markings/sec, 90 secs
lola: 4435621 markings, 4863094 edges, 43763 markings/sec, 95 secs
lola: 4651640 markings, 5101585 edges, 43204 markings/sec, 100 secs
lola: 4858612 markings, 5321838 edges, 41394 markings/sec, 105 secs
lola: 5059620 markings, 5535090 edges, 40202 markings/sec, 110 secs
lola: 5258747 markings, 5745860 edges, 39825 markings/sec, 115 secs
lola: 5457988 markings, 5956660 edges, 39848 markings/sec, 120 secs
lola: 5656324 markings, 6167407 edges, 39667 markings/sec, 125 secs
lola: 5853281 markings, 6376288 edges, 39391 markings/sec, 130 secs
lola: 6049242 markings, 6583765 edges, 39192 markings/sec, 135 secs
lola: 6246437 markings, 6792419 edges, 39439 markings/sec, 140 secs
lola: 6441669 markings, 7000180 edges, 39046 markings/sec, 145 secs
lola: 6639356 markings, 7209326 edges, 39537 markings/sec, 150 secs
lola: 6834875 markings, 7417339 edges, 39104 markings/sec, 155 secs
lola: 7030620 markings, 7624512 edges, 39149 markings/sec, 160 secs
lola: 7223420 markings, 7850781 edges, 38560 markings/sec, 165 secs
lola: 7400379 markings, 8117837 edges, 35392 markings/sec, 170 secs
lola: 7578610 markings, 8374048 edges, 35646 markings/sec, 175 secs
lola: 7759928 markings, 8606741 edges, 36264 markings/sec, 180 secs
lola: 7936141 markings, 8838549 edges, 35243 markings/sec, 185 secs
lola: 8108790 markings, 9072064 edges, 34530 markings/sec, 190 secs
lola: 8277296 markings, 9309537 edges, 33701 markings/sec, 195 secs
lola: 8441320 markings, 9549133 edges, 32805 markings/sec, 200 secs
lola: 8600864 markings, 9798612 edges, 31909 markings/sec, 205 secs
lola: 8744939 markings, 10097547 edges, 28815 markings/sec, 210 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(pb2_2_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 223793 markings, 327383 edges, 44759 markings/sec, 0 secs
lola: 425119 markings, 654271 edges, 40265 markings/sec, 5 secs
lola: 633935 markings, 951913 edges, 41763 markings/sec, 10 secs
lola: 836011 markings, 1248500 edges, 40415 markings/sec, 15 secs
lola: 1038689 markings, 1518395 edges, 40536 markings/sec, 20 secs
lola: 1234215 markings, 1789033 edges, 39105 markings/sec, 25 secs
lola: 1425966 markings, 2062713 edges, 38350 markings/sec, 30 secs
lola: 1619707 markings, 2325830 edges, 38748 markings/sec, 35 secs
lola: 1811251 markings, 2586051 edges, 38309 markings/sec, 40 secs
lola: 1981934 markings, 2872630 edges, 34137 markings/sec, 45 secs
lola: 2167962 markings, 3141099 edges, 37206 markings/sec, 50 secs
lola: 2359172 markings, 3399487 edges, 38242 markings/sec, 55 secs
lola: 2543931 markings, 3661288 edges, 36952 markings/sec, 60 secs
lola: 2712970 markings, 3954548 edges, 33808 markings/sec, 65 secs
lola: 2850874 markings, 4291088 edges, 27581 markings/sec, 70 secs
lola: 2874106 markings, 4798132 edges, 4646 markings/sec, 75 secs
lola: 2887662 markings, 5330813 edges, 2711 markings/sec, 80 secs
lola: 2945831 markings, 5820679 edges, 11634 markings/sec, 85 secs
lola: 3146048 markings, 6144279 edges, 40043 markings/sec, 90 secs
lola: 3351835 markings, 6456877 edges, 41157 markings/sec, 95 secs
lola: 3556880 markings, 6756101 edges, 41009 markings/sec, 100 secs
lola: 3761879 markings, 7040680 edges, 41000 markings/sec, 105 secs
lola: 3962367 markings, 7311059 edges, 40098 markings/sec, 110 secs
lola: 4154374 markings, 7585017 edges, 38401 markings/sec, 115 secs
lola: 4347734 markings, 7854890 edges, 38672 markings/sec, 120 secs
lola: 4542838 markings, 8117327 edges, 39021 markings/sec, 125 secs
lola: 4730735 markings, 8382211 edges, 37579 markings/sec, 130 secs
lola: 4903754 markings, 8676805 edges, 34604 markings/sec, 135 secs
lola: 5091868 markings, 8936778 edges, 37623 markings/sec, 140 secs
lola: 5279622 markings, 9193389 edges, 37551 markings/sec, 145 secs
lola: 5448095 markings, 9483819 edges, 33695 markings/sec, 150 secs
lola: 5633505 markings, 9747496 edges, 37082 markings/sec, 155 secs
lola: 5672882 markings, 10216849 edges, 7875 markings/sec, 160 secs
lola: 5692194 markings, 10720482 edges, 3862 markings/sec, 165 secs
lola: 5704650 markings, 11244204 edges, 2491 markings/sec, 170 secs
lola: 5857028 markings, 11623459 edges, 30476 markings/sec, 175 secs
lola: 6054823 markings, 11940274 edges, 39559 markings/sec, 180 secs
lola: 6260819 markings, 12240661 edges, 41199 markings/sec, 185 secs
lola: 6465749 markings, 12522648 edges, 40986 markings/sec, 190 secs
lola: 6665701 markings, 12792023 edges, 39990 markings/sec, 195 secs
lola: 6857189 markings, 13062628 edges, 38298 markings/sec, 200 secs
lola: 7048271 markings, 13331684 edges, 38216 markings/sec, 205 secs
lola: 7241226 markings, 13592733 edges, 38591 markings/sec, 210 secs
lola: 7431162 markings, 13853103 edges, 37987 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb4_5_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 223714 markings, 230865 edges, 44743 markings/sec, 0 secs
lola: 417638 markings, 457569 edges, 38785 markings/sec, 5 secs
lola: 616975 markings, 678623 edges, 39867 markings/sec, 10 secs
lola: 809400 markings, 896391 edges, 38485 markings/sec, 15 secs
lola: 1000878 markings, 1122443 edges, 38296 markings/sec, 20 secs
lola: 1191818 markings, 1347443 edges, 38188 markings/sec, 25 secs
lola: 1379599 markings, 1560158 edges, 37556 markings/sec, 30 secs
lola: 1570634 markings, 1783667 edges, 38207 markings/sec, 35 secs
lola: 1760397 markings, 1998469 edges, 37953 markings/sec, 40 secs
lola: 1948868 markings, 2218706 edges, 37694 markings/sec, 45 secs
lola: 2135519 markings, 2432350 edges, 37330 markings/sec, 50 secs
lola: 2318262 markings, 2645281 edges, 36549 markings/sec, 55 secs
lola: 2499900 markings, 2861935 edges, 36328 markings/sec, 60 secs
lola: 2680472 markings, 3068926 edges, 36114 markings/sec, 65 secs
lola: 2872590 markings, 3280100 edges, 38424 markings/sec, 70 secs
lola: 3064937 markings, 3485181 edges, 38469 markings/sec, 75 secs
lola: 3255051 markings, 3689913 edges, 38023 markings/sec, 80 secs
lola: 3443244 markings, 3896761 edges, 37639 markings/sec, 85 secs
lola: 3630473 markings, 4105791 edges, 37446 markings/sec, 90 secs
lola: 3813241 markings, 4312174 edges, 36554 markings/sec, 95 secs
lola: 3992119 markings, 4522027 edges, 35776 markings/sec, 100 secs
lola: 4171372 markings, 4740289 edges, 35851 markings/sec, 105 secs
lola: 4354704 markings, 4950999 edges, 36666 markings/sec, 110 secs
lola: 4536916 markings, 5154010 edges, 36442 markings/sec, 115 secs
lola: 4716082 markings, 5368936 edges, 35833 markings/sec, 120 secs
lola: 4899122 markings, 5580697 edges, 36608 markings/sec, 125 secs
lola: 5084287 markings, 5786560 edges, 37033 markings/sec, 130 secs
lola: 5270837 markings, 5990373 edges, 37310 markings/sec, 135 secs
lola: 5455112 markings, 6189560 edges, 36855 markings/sec, 140 secs
lola: 5639045 markings, 6388991 edges, 36787 markings/sec, 145 secs
lola: 5818078 markings, 6596985 edges, 35807 markings/sec, 150 secs
lola: 5944418 markings, 6897393 edges, 25268 markings/sec, 155 secs
lola: 6033682 markings, 7258963 edges, 17853 markings/sec, 160 secs
lola: 6151340 markings, 7597609 edges, 23532 markings/sec, 165 secs
lola: 6341977 markings, 7821016 edges, 38127 markings/sec, 170 secs
lola: 6534811 markings, 8039219 edges, 38567 markings/sec, 175 secs
lola: 6727922 markings, 8258288 edges, 38622 markings/sec, 180 secs
lola: 6915443 markings, 8476883 edges, 37504 markings/sec, 185 secs
lola: 7101726 markings, 8695827 edges, 37257 markings/sec, 190 secs
lola: 7289289 markings, 8908054 edges, 37513 markings/sec, 195 secs
lola: 7479217 markings, 9126714 edges, 37986 markings/sec, 200 secs
lola: 7663030 markings, 9339327 edges, 36763 markings/sec, 205 secs
lola: 7847490 markings, 9555136 edges, 36892 markings/sec, 210 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(p4i_9_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 251267 markings, 326453 edges, 50253 markings/sec, 0 secs
lola: 489078 markings, 682106 edges, 47562 markings/sec, 5 secs
lola: 722315 markings, 1015430 edges, 46647 markings/sec, 10 secs
lola: 958455 markings, 1365344 edges, 47228 markings/sec, 15 secs
lola: 1196146 markings, 1702877 edges, 47538 markings/sec, 20 secs
lola: 1433083 markings, 2050229 edges, 47387 markings/sec, 25 secs
lola: 1663201 markings, 2378984 edges, 46024 markings/sec, 30 secs
lola: 1896977 markings, 2717971 edges, 46755 markings/sec, 35 secs
lola: 2134747 markings, 3068132 edges, 47554 markings/sec, 40 secs
lola: 2367821 markings, 3392466 edges, 46615 markings/sec, 45 secs
lola: 2601995 markings, 3733406 edges, 46835 markings/sec, 50 secs
lola: 2832385 markings, 4057438 edges, 46078 markings/sec, 55 secs
lola: 3062943 markings, 4389152 edges, 46112 markings/sec, 60 secs
lola: 3292697 markings, 4715993 edges, 45951 markings/sec, 65 secs
lola: 3522342 markings, 5042730 edges, 45929 markings/sec, 70 secs
lola: 3717591 markings, 5427594 edges, 39050 markings/sec, 75 secs
lola: 3858045 markings, 5821335 edges, 28091 markings/sec, 80 secs
lola: 3893133 markings, 6439982 edges, 7018 markings/sec, 85 secs
lola: 4037822 markings, 6834024 edges, 28938 markings/sec, 90 secs
lola: 4122682 markings, 7316903 edges, 16972 markings/sec, 95 secs
lola: 4201303 markings, 7822574 edges, 15724 markings/sec, 100 secs
lola: 4330000 markings, 8192722 edges, 25739 markings/sec, 105 secs
lola: 4360546 markings, 8766426 edges, 6109 markings/sec, 110 secs
lola: 4502831 markings, 9177414 edges, 28457 markings/sec, 115 secs
lola: 4579221 markings, 9710440 edges, 15278 markings/sec, 120 secs
lola: 4686708 markings, 10157722 edges, 21497 markings/sec, 125 secs
lola: 4819656 markings, 10486396 edges, 26590 markings/sec, 130 secs
lola: 4928449 markings, 10860836 edges, 21759 markings/sec, 135 secs
lola: 4955943 markings, 11392553 edges, 5499 markings/sec, 140 secs
lola: 5076118 markings, 11713110 edges, 24035 markings/sec, 145 secs
lola: 5147514 markings, 12150673 edges, 14279 markings/sec, 150 secs
lola: 5203808 markings, 12588383 edges, 11259 markings/sec, 155 secs
lola: 5318116 markings, 12917481 edges, 22862 markings/sec, 160 secs
lola: 5352399 markings, 13415020 edges, 6857 markings/sec, 165 secs
lola: 5466174 markings, 13792792 edges, 22755 markings/sec, 170 secs
lola: 5607411 markings, 14128987 edges, 28247 markings/sec, 175 secs
lola: 5744877 markings, 14469368 edges, 27493 markings/sec, 180 secs
lola: 5878770 markings, 14811183 edges, 26779 markings/sec, 185 secs
lola: 6007337 markings, 15151657 edges, 25713 markings/sec, 190 secs
lola: 6139018 markings, 15488433 edges, 26336 markings/sec, 195 secs
lola: 6264342 markings, 15828348 edges, 25065 markings/sec, 200 secs
lola: 6388959 markings, 16171875 edges, 24923 markings/sec, 205 secs
lola: 6512013 markings, 16515747 edges, 24611 markings/sec, 210 secs
lola: 6632454 markings, 16857835 edges, 24088 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(p4i_6_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 271375 markings, 275420 edges, 54275 markings/sec, 0 secs
lola: 536422 markings, 545393 edges, 53009 markings/sec, 5 secs
lola: 807332 markings, 820349 edges, 54182 markings/sec, 10 secs
lola: 1081158 markings, 1098500 edges, 54765 markings/sec, 15 secs
lola: 1353441 markings, 1374907 edges, 54457 markings/sec, 20 secs
lola: 1627926 markings, 1653682 edges, 54897 markings/sec, 25 secs
lola: 1908506 markings, 1938887 edges, 56116 markings/sec, 30 secs
lola: 2184274 markings, 2219216 edges, 55154 markings/sec, 35 secs
lola: 2456547 markings, 2495998 edges, 54455 markings/sec, 40 secs
lola: 2729797 markings, 2773800 edges, 54650 markings/sec, 45 secs
lola: 3005347 markings, 3053875 edges, 55110 markings/sec, 50 secs
lola: 3285038 markings, 3337983 edges, 55938 markings/sec, 55 secs
lola: 3568327 markings, 3626919 edges, 56658 markings/sec, 60 secs
lola: 3847417 markings, 3911902 edges, 55818 markings/sec, 65 secs
lola: 4124575 markings, 4194472 edges, 55432 markings/sec, 70 secs
lola: 4398899 markings, 4474651 edges, 54865 markings/sec, 75 secs
lola: 4680806 markings, 4762780 edges, 56381 markings/sec, 80 secs
lola: 4959558 markings, 5047048 edges, 55750 markings/sec, 85 secs
lola: 5231051 markings, 5324630 edges, 54299 markings/sec, 90 secs
lola: 5507733 markings, 5607543 edges, 55336 markings/sec, 95 secs
lola: 5785824 markings, 5891002 edges, 55618 markings/sec, 100 secs
lola: 6063874 markings, 6175115 edges, 55610 markings/sec, 105 secs
lola: 6342761 markings, 6460171 edges, 55777 markings/sec, 110 secs
lola: 6620019 markings, 6743334 edges, 55452 markings/sec, 115 secs
lola: 6895491 markings, 7024171 edges, 55094 markings/sec, 120 secs
lola: 7173545 markings, 7308168 edges, 55611 markings/sec, 125 secs
lola: 7451114 markings, 7591882 edges, 55514 markings/sec, 130 secs
lola: 7723225 markings, 7870086 edges, 54422 markings/sec, 135 secs
lola: 7999572 markings, 8152341 edges, 55269 markings/sec, 140 secs
lola: 8281048 markings, 8439540 edges, 56295 markings/sec, 145 secs
lola: 8569165 markings, 8733973 edges, 57623 markings/sec, 150 secs
lola: 8852527 markings, 9023569 edges, 56672 markings/sec, 155 secs
lola: 9128822 markings, 9305264 edges, 55259 markings/sec, 160 secs
lola: 9407770 markings, 9590149 edges, 55790 markings/sec, 165 secs
lola: 9694240 markings, 9882906 edges, 57294 markings/sec, 170 secs
lola: 9967111 markings, 10161792 edges, 54574 markings/sec, 175 secs
lola: 10248060 markings, 10448931 edges, 56190 markings/sec, 180 secs
lola: 10526112 markings, 10732245 edges, 55610 markings/sec, 185 secs
lola: 10804535 markings, 11016258 edges, 55685 markings/sec, 190 secs
lola: 11076136 markings, 11293518 edges, 54320 markings/sec, 195 secs
lola: 11352983 markings, 11576315 edges, 55369 markings/sec, 200 secs
lola: 11627972 markings, 11856857 edges, 54998 markings/sec, 205 secs
lola: 11898916 markings, 12133653 edges, 54189 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4il_7_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 206578 markings, 227169 edges, 41316 markings/sec, 0 secs
lola: 391276 markings, 432082 edges, 36940 markings/sec, 5 secs
lola: 574844 markings, 637077 edges, 36714 markings/sec, 10 secs
lola: 760164 markings, 844873 edges, 37064 markings/sec, 15 secs
lola: 942691 markings, 1050444 edges, 36505 markings/sec, 20 secs
lola: 1126400 markings, 1256990 edges, 36742 markings/sec, 25 secs
lola: 1311412 markings, 1463670 edges, 37002 markings/sec, 30 secs
lola: 1490715 markings, 1663463 edges, 35861 markings/sec, 35 secs
lola: 1667706 markings, 1860844 edges, 35398 markings/sec, 40 secs
lola: 1847841 markings, 2062211 edges, 36027 markings/sec, 45 secs
lola: 2049186 markings, 2271187 edges, 40269 markings/sec, 50 secs
lola: 2252158 markings, 2476171 edges, 40594 markings/sec, 55 secs
lola: 2451855 markings, 2678250 edges, 39939 markings/sec, 60 secs
lola: 2650490 markings, 2879454 edges, 39727 markings/sec, 65 secs
lola: 2846945 markings, 3079578 edges, 39291 markings/sec, 70 secs
lola: 3046423 markings, 3283778 edges, 39896 markings/sec, 75 secs
lola: 3243502 markings, 3487667 edges, 39416 markings/sec, 80 secs
lola: 3440396 markings, 3691346 edges, 39379 markings/sec, 85 secs
lola: 3639626 markings, 3897350 edges, 39846 markings/sec, 90 secs
lola: 3841241 markings, 4105961 edges, 40323 markings/sec, 95 secs
lola: 4038438 markings, 4306516 edges, 39439 markings/sec, 100 secs
lola: 4236762 markings, 4507946 edges, 39665 markings/sec, 105 secs
lola: 4435882 markings, 4709440 edges, 39824 markings/sec, 110 secs
lola: 4634372 markings, 4911077 edges, 39698 markings/sec, 115 secs
lola: 4810796 markings, 5096530 edges, 35285 markings/sec, 120 secs
lola: 4978188 markings, 5270655 edges, 33478 markings/sec, 125 secs
lola: 5139454 markings, 5442283 edges, 32253 markings/sec, 130 secs
lola: 5274312 markings, 5655191 edges, 26972 markings/sec, 135 secs
lola: 5450655 markings, 5841359 edges, 35269 markings/sec, 140 secs
lola: 5618191 markings, 6015001 edges, 33507 markings/sec, 145 secs
lola: 5782457 markings, 6187700 edges, 32853 markings/sec, 150 secs
lola: 5934879 markings, 6363051 edges, 30484 markings/sec, 155 secs
lola: 6074674 markings, 6569126 edges, 27959 markings/sec, 160 secs
lola: 6235213 markings, 6735870 edges, 32108 markings/sec, 165 secs
lola: 6391424 markings, 6898352 edges, 31242 markings/sec, 170 secs
lola: 6542646 markings, 7058948 edges, 30244 markings/sec, 175 secs
lola: 6669616 markings, 7262799 edges, 25394 markings/sec, 180 secs
lola: 6839270 markings, 7439388 edges, 33931 markings/sec, 185 secs
lola: 7021939 markings, 7626559 edges, 36534 markings/sec, 190 secs
lola: 7198434 markings, 7807453 edges, 35299 markings/sec, 195 secs
lola: 7372398 markings, 7989974 edges, 34793 markings/sec, 200 secs
lola: 7545571 markings, 8172470 edges, 34635 markings/sec, 205 secs
lola: 7704157 markings, 8336916 edges, 31717 markings/sec, 210 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-100510-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494937669223

--------------------
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-100510"
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-100510.tgz
mv SquareGrid-PT-100510 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-100510, 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-149441008300146"
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 ;