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

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

=== Now, execution of the tool begins

BK_START 1494933509317


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ SquareGrid-PT-040204 @ 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: 512/65536 symbol table entries, 25 collisions
lola: preprocessing...
lola: finding significant places
lola: 240 places, 272 transitions, 143 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 368 transition conflict sets
lola: TASK
lola: reading formula from SquareGrid-PT-040204-UpperBounds.task
lola: MAX(p1ol_1_3) : MAX(pb3_2_1) : MAX(p4o_4_1) : MAX(p1i_4_2) : MAX(pbl_2_3) : MAX(p1ol_2_3) : MAX(p4il_3_4) : MAX(pb1_1_3) : MAX(pb3_1_4) : MAX(p4i_3_3) : MAX(pb2_1_2) : MAX(pb4_4_4) : MAX(p1o_2_1) : MAX(p1i_2_4) : MAX(pb3_3_3) : MAX(p4o_4_4)
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(p1ol_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 385456 markings, 790163 edges, 77091 markings/sec, 0 secs
lola: 648777 markings, 1796773 edges, 52664 markings/sec, 5 secs
lola: 1006789 markings, 2551339 edges, 71602 markings/sec, 10 secs
lola: 1279371 markings, 3471523 edges, 54516 markings/sec, 15 secs
lola: 1524641 markings, 4389431 edges, 49054 markings/sec, 20 secs
lola: 1896052 markings, 5124281 edges, 74282 markings/sec, 25 secs
lola: 2177586 markings, 5997772 edges, 56307 markings/sec, 30 secs
lola: 2559294 markings, 6630175 edges, 76342 markings/sec, 35 secs
lola: 2927369 markings, 7272933 edges, 73615 markings/sec, 40 secs
lola: 3263185 markings, 7888030 edges, 67163 markings/sec, 45 secs
lola: 3580063 markings, 8499662 edges, 63376 markings/sec, 50 secs
lola: 3884980 markings, 9126777 edges, 60983 markings/sec, 55 secs
lola: 4176565 markings, 9774596 edges, 58317 markings/sec, 60 secs
lola: 4431717 markings, 10513060 edges, 51030 markings/sec, 65 secs
lola: 4712147 markings, 11167617 edges, 56086 markings/sec, 70 secs
lola: 4979227 markings, 11856499 edges, 53416 markings/sec, 75 secs
lola: 5178351 markings, 12765214 edges, 39825 markings/sec, 80 secs
lola: 5189771 markings, 13780075 edges, 2284 markings/sec, 85 secs
lola: 5191737 markings, 14768282 edges, 393 markings/sec, 90 secs
lola: 5193095 markings, 15773081 edges, 272 markings/sec, 95 secs
lola: 5262078 markings, 16820322 edges, 13797 markings/sec, 100 secs
lola: 5458048 markings, 17721696 edges, 39194 markings/sec, 105 secs
lola: 5671148 markings, 18596090 edges, 42620 markings/sec, 110 secs
lola: 5858968 markings, 19485795 edges, 37564 markings/sec, 115 secs
lola: 6049077 markings, 20406805 edges, 38022 markings/sec, 120 secs
lola: 6235827 markings, 21317619 edges, 37350 markings/sec, 125 secs
lola: 6486219 markings, 22042262 edges, 50078 markings/sec, 130 secs
lola: 6731861 markings, 22763537 edges, 49128 markings/sec, 135 secs
lola: 6970308 markings, 23475474 edges, 47689 markings/sec, 140 secs
lola: 7198263 markings, 24180540 edges, 45591 markings/sec, 145 secs
lola: 7362017 markings, 25104043 edges, 32751 markings/sec, 150 secs
lola: 7366582 markings, 26219766 edges, 913 markings/sec, 155 secs
lola: 7370349 markings, 27350309 edges, 753 markings/sec, 160 secs
lola: 7376788 markings, 28494657 edges, 1288 markings/sec, 165 secs
lola: 7515150 markings, 29524811 edges, 27672 markings/sec, 170 secs
lola: 7660741 markings, 30466333 edges, 29118 markings/sec, 175 secs
lola: 7855981 markings, 31356092 edges, 39048 markings/sec, 180 secs
lola: 8008733 markings, 32294954 edges, 30550 markings/sec, 185 secs
lola: 8153200 markings, 33271877 edges, 28893 markings/sec, 190 secs
lola: 8301493 markings, 34246391 edges, 29659 markings/sec, 195 secs
lola: 8519048 markings, 34991960 edges, 43511 markings/sec, 200 secs
lola: 8727283 markings, 35759213 edges, 41647 markings/sec, 205 secs
lola: 8929101 markings, 36507227 edges, 40364 markings/sec, 210 secs
lola: 9124884 markings, 37256510 edges, 39157 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(pb3_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 816983 markings, 980273 edges, 163397 markings/sec, 0 secs
lola: 1534025 markings, 1878677 edges, 143408 markings/sec, 5 secs
lola: 2006517 markings, 2735401 edges, 94498 markings/sec, 10 secs
lola: 2494538 markings, 3520584 edges, 97604 markings/sec, 15 secs
lola: 2978264 markings, 4244941 edges, 96745 markings/sec, 20 secs
lola: 3459788 markings, 4909115 edges, 96305 markings/sec, 25 secs
lola: 3892508 markings, 5615149 edges, 86544 markings/sec, 30 secs
lola: 4338614 markings, 6297541 edges, 89221 markings/sec, 35 secs
lola: 4781657 markings, 7045732 edges, 88609 markings/sec, 40 secs
lola: 4933293 markings, 8097964 edges, 30327 markings/sec, 45 secs
lola: 5094916 markings, 9122804 edges, 32325 markings/sec, 50 secs
lola: 5526177 markings, 9967799 edges, 86252 markings/sec, 55 secs
lola: 6054994 markings, 10744291 edges, 105763 markings/sec, 60 secs
lola: 6559967 markings, 11421717 edges, 100995 markings/sec, 65 secs
lola: 7035641 markings, 12099223 edges, 95135 markings/sec, 70 secs
lola: 7458353 markings, 12825226 edges, 84542 markings/sec, 75 secs
lola: 7903430 markings, 13512740 edges, 89015 markings/sec, 80 secs
lola: 8247601 markings, 14344423 edges, 68834 markings/sec, 85 secs
lola: 8299141 markings, 15392724 edges, 10308 markings/sec, 90 secs
lola: 8633816 markings, 16284402 edges, 66935 markings/sec, 95 secs
lola: 9110730 markings, 17121615 edges, 95383 markings/sec, 100 secs
lola: 9574089 markings, 17928247 edges, 92672 markings/sec, 105 secs
lola: 10066005 markings, 18583406 edges, 98383 markings/sec, 110 secs
lola: 10541437 markings, 19246523 edges, 95086 markings/sec, 115 secs
lola: 10960836 markings, 19957631 edges, 83880 markings/sec, 120 secs
lola: 11409698 markings, 20637105 edges, 89772 markings/sec, 125 secs
lola: 11830762 markings, 21379049 edges, 84213 markings/sec, 130 secs
lola: 12284326 markings, 22244414 edges, 90713 markings/sec, 135 secs
lola: 12772901 markings, 23059593 edges, 97715 markings/sec, 140 secs
lola: 13289313 markings, 23750096 edges, 103282 markings/sec, 145 secs
lola: 13772209 markings, 24447975 edges, 96579 markings/sec, 150 secs
lola: 14208561 markings, 25188551 edges, 87270 markings/sec, 155 secs
lola: 14660457 markings, 25894219 edges, 90379 markings/sec, 160 secs
lola: 14983885 markings, 26768766 edges, 64686 markings/sec, 165 secs
lola: 15023265 markings, 27869278 edges, 7876 markings/sec, 170 secs
lola: 15075161 markings, 28952257 edges, 10379 markings/sec, 175 secs
lola: 15259063 markings, 29864839 edges, 36780 markings/sec, 180 secs
lola: 15697782 markings, 30605479 edges, 87744 markings/sec, 185 secs
lola: 16150050 markings, 31296023 edges, 90454 markings/sec, 190 secs
lola: 16613270 markings, 31922847 edges, 92644 markings/sec, 195 secs
lola: 17052288 markings, 32572652 edges, 87804 markings/sec, 200 secs
lola: 17451458 markings, 33252508 edges, 79834 markings/sec, 205 secs
lola: 17874679 markings, 33914191 edges, 84644 markings/sec, 210 secs
lola: 18239754 markings, 34699481 edges, 73015 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(p4o_4_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 258194 markings, 1087278 edges, 51639 markings/sec, 0 secs
lola: 503863 markings, 1890055 edges, 49134 markings/sec, 5 secs
lola: 563656 markings, 3016430 edges, 11959 markings/sec, 10 secs
lola: 796238 markings, 3990240 edges, 46516 markings/sec, 15 secs
lola: 1052936 markings, 4755078 edges, 51340 markings/sec, 20 secs
lola: 1260424 markings, 5531210 edges, 41498 markings/sec, 25 secs
lola: 1417547 markings, 6417527 edges, 31425 markings/sec, 30 secs
lola: 1422694 markings, 7491818 edges, 1029 markings/sec, 35 secs
lola: 1441560 markings, 8488675 edges, 3773 markings/sec, 40 secs
lola: 1696467 markings, 9252934 edges, 50981 markings/sec, 45 secs
lola: 1906531 markings, 9926760 edges, 42013 markings/sec, 50 secs
lola: 2085021 markings, 10612614 edges, 35698 markings/sec, 55 secs
lola: 2226244 markings, 11398873 edges, 28245 markings/sec, 60 secs
lola: 2231312 markings, 12289111 edges, 1014 markings/sec, 65 secs
lola: 2232997 markings, 13228621 edges, 337 markings/sec, 70 secs
lola: 2391254 markings, 14179513 edges, 31651 markings/sec, 75 secs
lola: 2651075 markings, 14919412 edges, 51964 markings/sec, 80 secs
lola: 2934608 markings, 15595913 edges, 56707 markings/sec, 85 secs
lola: 3195533 markings, 16268725 edges, 52185 markings/sec, 90 secs
lola: 3447846 markings, 16925125 edges, 50463 markings/sec, 95 secs
lola: 3698548 markings, 17588937 edges, 50140 markings/sec, 100 secs
lola: 3941645 markings, 18246767 edges, 48619 markings/sec, 105 secs
lola: 4177127 markings, 18901415 edges, 47096 markings/sec, 110 secs
lola: 4404134 markings, 19545938 edges, 45401 markings/sec, 115 secs
lola: 4627640 markings, 20185907 edges, 44701 markings/sec, 120 secs
lola: 4839959 markings, 20811478 edges, 42464 markings/sec, 125 secs
lola: 5046373 markings, 21428177 edges, 41283 markings/sec, 130 secs
lola: 5245748 markings, 22039520 edges, 39875 markings/sec, 135 secs
lola: 5441581 markings, 22647394 edges, 39167 markings/sec, 140 secs
lola: 5640748 markings, 23274120 edges, 39833 markings/sec, 145 secs
lola: 5836246 markings, 23897253 edges, 39100 markings/sec, 150 secs
lola: 6026017 markings, 24521148 edges, 37954 markings/sec, 155 secs
lola: 6213197 markings, 25146735 edges, 37436 markings/sec, 160 secs
lola: 6397326 markings, 25768695 edges, 36826 markings/sec, 165 secs
lola: 6579631 markings, 26393652 edges, 36461 markings/sec, 170 secs
lola: 6758228 markings, 27015244 edges, 35719 markings/sec, 175 secs
lola: 6932985 markings, 27635128 edges, 34951 markings/sec, 180 secs
lola: 7104844 markings, 28255454 edges, 34372 markings/sec, 185 secs
lola: 7274661 markings, 28876214 edges, 33963 markings/sec, 190 secs
lola: 7441894 markings, 29495240 edges, 33447 markings/sec, 195 secs
lola: 7607860 markings, 30110161 edges, 33193 markings/sec, 200 secs
lola: 7759158 markings, 30671921 edges, 30260 markings/sec, 205 secs
lola: 7909181 markings, 31234342 edges, 30005 markings/sec, 210 secs
lola: 8056671 markings, 31801388 edges, 29498 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(p1i_4_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 984084 markings, 1081876 edges, 196817 markings/sec, 0 secs
lola: 1950772 markings, 2149165 edges, 193338 markings/sec, 5 secs
lola: 2900595 markings, 3201137 edges, 189965 markings/sec, 10 secs
lola: 3837182 markings, 4239584 edges, 187317 markings/sec, 15 secs
lola: 4796210 markings, 5296013 edges, 191806 markings/sec, 20 secs
lola: 5752700 markings, 6355382 edges, 191298 markings/sec, 25 secs
lola: 6703806 markings, 7405738 edges, 190221 markings/sec, 30 secs
lola: 7653614 markings, 8456072 edges, 189962 markings/sec, 35 secs
lola: 8603772 markings, 9502993 edges, 190032 markings/sec, 40 secs
lola: 9544575 markings, 10545017 edges, 188161 markings/sec, 45 secs
lola: 10478989 markings, 11577755 edges, 186883 markings/sec, 50 secs
lola: 11369134 markings, 12561078 edges, 178029 markings/sec, 55 secs
lola: 12269095 markings, 13557009 edges, 179992 markings/sec, 60 secs
lola: 13192486 markings, 14577752 edges, 184678 markings/sec, 65 secs
lola: 14110178 markings, 15586338 edges, 183538 markings/sec, 70 secs
lola: 15017447 markings, 16592925 edges, 181454 markings/sec, 75 secs
lola: 15931629 markings, 17602062 edges, 182836 markings/sec, 80 secs
lola: 16846344 markings, 18616577 edges, 182943 markings/sec, 85 secs
lola: 17766443 markings, 19632317 edges, 184020 markings/sec, 90 secs
lola: 18703142 markings, 20664507 edges, 187340 markings/sec, 95 secs
lola: 19613415 markings, 21674328 edges, 182055 markings/sec, 100 secs
lola: 20479676 markings, 22674319 edges, 173252 markings/sec, 105 secs
lola: 21218321 markings, 23704294 edges, 147729 markings/sec, 110 secs
lola: 21957608 markings, 24665706 edges, 147857 markings/sec, 115 secs
lola: 22652430 markings, 25523829 edges, 138964 markings/sec, 120 secs
lola: 23294529 markings, 26371071 edges, 128420 markings/sec, 125 secs
lola: 23899145 markings, 27212739 edges, 120923 markings/sec, 130 secs
lola: 24124821 markings, 28281101 edges, 45135 markings/sec, 135 secs
lola: 24782524 markings, 29263294 edges, 131541 markings/sec, 140 secs
lola: 25533964 markings, 30250391 edges, 150288 markings/sec, 145 secs
lola: 26235114 markings, 31104951 edges, 140230 markings/sec, 150 secs
lola: 26879804 markings, 31941767 edges, 128938 markings/sec, 155 secs
lola: 27493580 markings, 32761354 edges, 122755 markings/sec, 160 secs
lola: 27772500 markings, 33748594 edges, 55784 markings/sec, 165 secs
lola: 28386103 markings, 34756198 edges, 122721 markings/sec, 170 secs
lola: 29115633 markings, 35665851 edges, 145906 markings/sec, 175 secs
lola: 29787956 markings, 36512909 edges, 134465 markings/sec, 180 secs
lola: 30417910 markings, 37343635 edges, 125991 markings/sec, 185 secs
lola: 30990908 markings, 38186568 edges, 114600 markings/sec, 190 secs
lola: 31284608 markings, 39239298 edges, 58740 markings/sec, 195 secs
lola: 32041294 markings, 40236873 edges, 151337 markings/sec, 200 secs
lola: 32759699 markings, 41125531 edges, 143681 markings/sec, 205 secs
lola: 33420337 markings, 41991043 edges, 132128 markings/sec, 210 secs
lola: 34037660 markings, 42860872 edges, 123465 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_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 469946 markings, 911126 edges, 93989 markings/sec, 0 secs
lola: 872996 markings, 1856257 edges, 80610 markings/sec, 5 secs
lola: 1221421 markings, 2882227 edges, 69685 markings/sec, 10 secs
lola: 1681174 markings, 3716384 edges, 91951 markings/sec, 15 secs
lola: 1964640 markings, 4773392 edges, 56693 markings/sec, 20 secs
lola: 2414912 markings, 5615067 edges, 90054 markings/sec, 25 secs
lola: 2761998 markings, 6508968 edges, 69417 markings/sec, 30 secs
lola: 3128152 markings, 7424929 edges, 73231 markings/sec, 35 secs
lola: 3501646 markings, 8322962 edges, 74699 markings/sec, 40 secs
lola: 3832449 markings, 9228114 edges, 66161 markings/sec, 45 secs
lola: 4203780 markings, 10075890 edges, 74266 markings/sec, 50 secs
lola: 4545725 markings, 10976801 edges, 68389 markings/sec, 55 secs
lola: 5015424 markings, 11721081 edges, 93940 markings/sec, 60 secs
lola: 5465897 markings, 12470774 edges, 90095 markings/sec, 65 secs
lola: 5958805 markings, 13227779 edges, 98582 markings/sec, 70 secs
lola: 6412176 markings, 13973168 edges, 90674 markings/sec, 75 secs
lola: 6841154 markings, 14715808 edges, 85796 markings/sec, 80 secs
lola: 7258734 markings, 15458819 edges, 83516 markings/sec, 85 secs
lola: 7662526 markings, 16199897 edges, 80758 markings/sec, 90 secs
lola: 8023708 markings, 17013354 edges, 72236 markings/sec, 95 secs
lola: 8076094 markings, 18198897 edges, 10477 markings/sec, 100 secs
lola: 8080432 markings, 19547274 edges, 868 markings/sec, 105 secs
lola: 8498642 markings, 20270700 edges, 83642 markings/sec, 110 secs
lola: 8904038 markings, 21007824 edges, 81079 markings/sec, 115 secs
lola: 9297110 markings, 21740055 edges, 78614 markings/sec, 120 secs
lola: 9585226 markings, 22617883 edges, 57623 markings/sec, 125 secs
lola: 9594296 markings, 23844854 edges, 1814 markings/sec, 130 secs
lola: 9712473 markings, 25055775 edges, 23635 markings/sec, 135 secs
lola: 10144355 markings, 25900836 edges, 86376 markings/sec, 140 secs
lola: 10503190 markings, 26807393 edges, 71767 markings/sec, 145 secs
lola: 10853384 markings, 27777628 edges, 70039 markings/sec, 150 secs
lola: 11235524 markings, 28650254 edges, 76428 markings/sec, 155 secs
lola: 11583085 markings, 29589864 edges, 69512 markings/sec, 160 secs
lola: 12032657 markings, 30371323 edges, 89914 markings/sec, 165 secs
lola: 12297414 markings, 31387181 edges, 52951 markings/sec, 170 secs
lola: 12727121 markings, 32133379 edges, 85941 markings/sec, 175 secs
lola: 12976820 markings, 33128757 edges, 49940 markings/sec, 180 secs
lola: 13447618 markings, 33861138 edges, 94160 markings/sec, 185 secs
lola: 13889357 markings, 34591467 edges, 88348 markings/sec, 190 secs
lola: 14375950 markings, 35345517 edges, 97319 markings/sec, 195 secs
lola: 14834352 markings, 36080364 edges, 91680 markings/sec, 200 secs
lola: 15264011 markings, 36822896 edges, 85932 markings/sec, 205 secs
lola: 15678334 markings, 37548069 edges, 82865 markings/sec, 210 secs
lola: 16087272 markings, 38283798 edges, 81788 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(p1ol_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 761527 markings, 812183 edges, 152305 markings/sec, 0 secs
lola: 1262592 markings, 1712479 edges, 100213 markings/sec, 5 secs
lola: 1746589 markings, 2611081 edges, 96799 markings/sec, 10 secs
lola: 2265509 markings, 3341805 edges, 103784 markings/sec, 15 secs
lola: 2740886 markings, 4072074 edges, 95075 markings/sec, 20 secs
lola: 2980304 markings, 5056418 edges, 47884 markings/sec, 25 secs
lola: 3285526 markings, 6013806 edges, 61044 markings/sec, 30 secs
lola: 3826417 markings, 6781722 edges, 108178 markings/sec, 35 secs
lola: 4355182 markings, 7509155 edges, 105753 markings/sec, 40 secs
lola: 4748132 markings, 8362323 edges, 78590 markings/sec, 45 secs
lola: 5050153 markings, 9349006 edges, 60404 markings/sec, 50 secs
lola: 5478640 markings, 10262935 edges, 85697 markings/sec, 55 secs
lola: 5966095 markings, 10960710 edges, 97491 markings/sec, 60 secs
lola: 6417612 markings, 11679723 edges, 90303 markings/sec, 65 secs
lola: 6825244 markings, 12422490 edges, 81526 markings/sec, 70 secs
lola: 6862076 markings, 13511918 edges, 7366 markings/sec, 75 secs
lola: 7355739 markings, 14444437 edges, 98733 markings/sec, 80 secs
lola: 7919184 markings, 15252290 edges, 112689 markings/sec, 85 secs
lola: 8454494 markings, 16069326 edges, 107062 markings/sec, 90 secs
lola: 8638116 markings, 17278986 edges, 36724 markings/sec, 95 secs
lola: 9159893 markings, 18189838 edges, 104355 markings/sec, 100 secs
lola: 9656983 markings, 19004055 edges, 99418 markings/sec, 105 secs
lola: 10138695 markings, 19829256 edges, 96342 markings/sec, 110 secs
lola: 10261598 markings, 21040899 edges, 24581 markings/sec, 115 secs
lola: 10746600 markings, 21779633 edges, 97000 markings/sec, 120 secs
lola: 11206451 markings, 22471698 edges, 91970 markings/sec, 125 secs
lola: 11653661 markings, 23177641 edges, 89442 markings/sec, 130 secs
lola: 11774460 markings, 24254366 edges, 24160 markings/sec, 135 secs
lola: 12225131 markings, 25057725 edges, 90134 markings/sec, 140 secs
lola: 12706662 markings, 25783113 edges, 96306 markings/sec, 145 secs
lola: 13173815 markings, 26523038 edges, 93431 markings/sec, 150 secs
lola: 13226536 markings, 27673702 edges, 10544 markings/sec, 155 secs
lola: 13785821 markings, 28330781 edges, 111857 markings/sec, 160 secs
lola: 14335713 markings, 28994249 edges, 109978 markings/sec, 165 secs
lola: 14876004 markings, 29660939 edges, 108058 markings/sec, 170 secs
lola: 15410218 markings, 30330327 edges, 106843 markings/sec, 175 secs
lola: 15932686 markings, 30993505 edges, 104494 markings/sec, 180 secs
lola: 16447304 markings, 31661020 edges, 102924 markings/sec, 185 secs
lola: 16950112 markings, 32335221 edges, 100562 markings/sec, 190 secs
lola: 17443540 markings, 33005738 edges, 98686 markings/sec, 195 secs
lola: 17923729 markings, 33674972 edges, 96038 markings/sec, 200 secs
lola: 18383444 markings, 34346086 edges, 91943 markings/sec, 205 secs
lola: 18829408 markings, 35019352 edges, 89193 markings/sec, 210 secs
lola: 19261197 markings, 35705111 edges, 86358 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_3_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 471635 markings, 948376 edges, 94327 markings/sec, 0 secs
lola: 947997 markings, 1732001 edges, 95272 markings/sec, 5 secs
lola: 1169975 markings, 2931513 edges, 44396 markings/sec, 10 secs
lola: 1650286 markings, 3795082 edges, 96062 markings/sec, 15 secs
lola: 2042874 markings, 4589911 edges, 78518 markings/sec, 20 secs
lola: 2299951 markings, 5776813 edges, 51415 markings/sec, 25 secs
lola: 2800789 markings, 6575977 edges, 100168 markings/sec, 30 secs
lola: 3043730 markings, 7781460 edges, 48588 markings/sec, 35 secs
lola: 3549016 markings, 8625982 edges, 101057 markings/sec, 40 secs
lola: 3828280 markings, 9739492 edges, 55853 markings/sec, 45 secs
lola: 4315798 markings, 10619772 edges, 97504 markings/sec, 50 secs
lola: 4779178 markings, 11448601 edges, 92676 markings/sec, 55 secs
lola: 5077974 markings, 12577617 edges, 59759 markings/sec, 60 secs
lola: 5586216 markings, 13288793 edges, 101648 markings/sec, 65 secs
lola: 6080334 markings, 13994527 edges, 98824 markings/sec, 70 secs
lola: 6558030 markings, 14729312 edges, 95539 markings/sec, 75 secs
lola: 7032360 markings, 15468452 edges, 94866 markings/sec, 80 secs
lola: 7489953 markings, 16211967 edges, 91519 markings/sec, 85 secs
lola: 7939516 markings, 16956888 edges, 89913 markings/sec, 90 secs
lola: 8387315 markings, 17704103 edges, 89560 markings/sec, 95 secs
lola: 8828102 markings, 18446541 edges, 88157 markings/sec, 100 secs
lola: 9267407 markings, 19185592 edges, 87861 markings/sec, 105 secs
lola: 9695814 markings, 19913442 edges, 85681 markings/sec, 110 secs
lola: 10118302 markings, 20653479 edges, 84498 markings/sec, 115 secs
lola: 10536134 markings, 21375921 edges, 83566 markings/sec, 120 secs
lola: 10950008 markings, 22088572 edges, 82775 markings/sec, 125 secs
lola: 11355196 markings, 22807159 edges, 81038 markings/sec, 130 secs
lola: 11740914 markings, 23514216 edges, 77144 markings/sec, 135 secs
lola: 12113270 markings, 24249177 edges, 74471 markings/sec, 140 secs
lola: 12138568 markings, 25430910 edges, 5060 markings/sec, 145 secs
lola: 12153672 markings, 26631706 edges, 3021 markings/sec, 150 secs
lola: 12160090 markings, 27862138 edges, 1284 markings/sec, 155 secs
lola: 12166328 markings, 29118784 edges, 1248 markings/sec, 160 secs
lola: 12174628 markings, 30383860 edges, 1660 markings/sec, 165 secs
lola: 12244490 markings, 31588316 edges, 13972 markings/sec, 170 secs
lola: 12253406 markings, 32898538 edges, 1783 markings/sec, 175 secs
lola: 12473024 markings, 34057098 edges, 43924 markings/sec, 180 secs
lola: 12930946 markings, 34803912 edges, 91584 markings/sec, 185 secs
lola: 13238136 markings, 35601736 edges, 61438 markings/sec, 190 secs
lola: 13522207 markings, 36673201 edges, 56814 markings/sec, 195 secs
lola: 14010388 markings, 37460096 edges, 97636 markings/sec, 200 secs
lola: 14234432 markings, 38658614 edges, 44809 markings/sec, 205 secs
lola: 14740926 markings, 39479411 edges, 101299 markings/sec, 210 secs
lola: 15013608 markings, 40570172 edges, 54536 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb1_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 396565 markings, 813080 edges, 79313 markings/sec, 0 secs
lola: 672287 markings, 1829509 edges, 55144 markings/sec, 5 secs
lola: 1032881 markings, 2639987 edges, 72119 markings/sec, 10 secs
lola: 1326895 markings, 3561102 edges, 58803 markings/sec, 15 secs
lola: 1599041 markings, 4496056 edges, 54429 markings/sec, 20 secs
lola: 1956307 markings, 5267791 edges, 71453 markings/sec, 25 secs
lola: 2259050 markings, 6127173 edges, 60549 markings/sec, 30 secs
lola: 2650531 markings, 6783452 edges, 78296 markings/sec, 35 secs
lola: 3027652 markings, 7450785 edges, 75424 markings/sec, 40 secs
lola: 3387848 markings, 8118942 edges, 72039 markings/sec, 45 secs
lola: 3734793 markings, 8800382 edges, 69389 markings/sec, 50 secs
lola: 4062578 markings, 9501865 edges, 65557 markings/sec, 55 secs
lola: 4365039 markings, 10252656 edges, 60492 markings/sec, 60 secs
lola: 4648246 markings, 11025169 edges, 56641 markings/sec, 65 secs
lola: 4945657 markings, 11754645 edges, 59482 markings/sec, 70 secs
lola: 5182535 markings, 12677782 edges, 47376 markings/sec, 75 secs
lola: 5194391 markings, 13808488 edges, 2371 markings/sec, 80 secs
lola: 5196635 markings, 14939013 edges, 449 markings/sec, 85 secs
lola: 5198279 markings, 16103236 edges, 329 markings/sec, 90 secs
lola: 5420099 markings, 17061140 edges, 44364 markings/sec, 95 secs
lola: 5712873 markings, 17831834 edges, 58555 markings/sec, 100 secs
lola: 6004652 markings, 18645758 edges, 58356 markings/sec, 105 secs
lola: 6241349 markings, 19528349 edges, 47339 markings/sec, 110 secs
lola: 6591359 markings, 20266661 edges, 70002 markings/sec, 115 secs
lola: 6864312 markings, 21095743 edges, 54591 markings/sec, 120 secs
lola: 7242037 markings, 21720797 edges, 75545 markings/sec, 125 secs
lola: 7605468 markings, 22355218 edges, 72686 markings/sec, 130 secs
lola: 7955928 markings, 22997555 edges, 70092 markings/sec, 135 secs
lola: 8291212 markings, 23648724 edges, 67057 markings/sec, 140 secs
lola: 8612933 markings, 24310255 edges, 64344 markings/sec, 145 secs
lola: 8915335 markings, 24995152 edges, 60480 markings/sec, 150 secs
lola: 9171258 markings, 25773179 edges, 51185 markings/sec, 155 secs
lola: 9465914 markings, 26456188 edges, 58931 markings/sec, 160 secs
lola: 9744163 markings, 27201846 edges, 55650 markings/sec, 165 secs
lola: 9864207 markings, 28211899 edges, 24009 markings/sec, 170 secs
lola: 9871831 markings, 29292721 edges, 1525 markings/sec, 175 secs
lola: 9873645 markings, 30379202 edges, 363 markings/sec, 180 secs
lola: 9874971 markings, 31504463 edges, 265 markings/sec, 185 secs
lola: 10177303 markings, 32273421 edges, 60466 markings/sec, 190 secs
lola: 10388858 markings, 33118540 edges, 42311 markings/sec, 195 secs
lola: 10736031 markings, 33824434 edges, 69435 markings/sec, 200 secs
lola: 10990499 markings, 34649449 edges, 50894 markings/sec, 205 secs
lola: 11363749 markings, 35260969 edges, 74650 markings/sec, 210 secs
lola: 11722683 markings, 35885436 edges, 71787 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb3_1_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 336213 markings, 917850 edges, 67243 markings/sec, 0 secs
lola: 686181 markings, 1769150 edges, 69994 markings/sec, 5 secs
lola: 1017525 markings, 2540268 edges, 66269 markings/sec, 10 secs
lola: 1323758 markings, 3324513 edges, 61247 markings/sec, 15 secs
lola: 1405705 markings, 4449560 edges, 16389 markings/sec, 20 secs
lola: 1742360 markings, 5297954 edges, 67331 markings/sec, 25 secs
lola: 2119456 markings, 6044732 edges, 75419 markings/sec, 30 secs
lola: 2467602 markings, 6755910 edges, 69629 markings/sec, 35 secs
lola: 2785501 markings, 7501597 edges, 63580 markings/sec, 40 secs
lola: 2986567 markings, 8412564 edges, 40213 markings/sec, 45 secs
lola: 2994191 markings, 9514797 edges, 1525 markings/sec, 50 secs
lola: 3236752 markings, 10387533 edges, 48512 markings/sec, 55 secs
lola: 3502563 markings, 11228307 edges, 53162 markings/sec, 60 secs
lola: 3816553 markings, 12002723 edges, 62798 markings/sec, 65 secs
lola: 4130003 markings, 12674899 edges, 62690 markings/sec, 70 secs
lola: 4406822 markings, 13367468 edges, 55364 markings/sec, 75 secs
lola: 4663484 markings, 14093857 edges, 51332 markings/sec, 80 secs
lola: 4876275 markings, 14892768 edges, 42558 markings/sec, 85 secs
lola: 4891751 markings, 15862673 edges, 3095 markings/sec, 90 secs
lola: 4933027 markings, 16824667 edges, 8255 markings/sec, 95 secs
lola: 5237481 markings, 17579530 edges, 60891 markings/sec, 100 secs
lola: 5583065 markings, 18224306 edges, 69117 markings/sec, 105 secs
lola: 5896073 markings, 18867309 edges, 62602 markings/sec, 110 secs
lola: 6179539 markings, 19537456 edges, 56693 markings/sec, 115 secs
lola: 6440415 markings, 20263836 edges, 52175 markings/sec, 120 secs
lola: 6457933 markings, 21197693 edges, 3504 markings/sec, 125 secs
lola: 6506643 markings, 22122249 edges, 9742 markings/sec, 130 secs
lola: 6782252 markings, 22893214 edges, 55122 markings/sec, 135 secs
lola: 7103833 markings, 23565576 edges, 64316 markings/sec, 140 secs
lola: 7403274 markings, 24202250 edges, 59888 markings/sec, 145 secs
lola: 7670661 markings, 24867267 edges, 53477 markings/sec, 150 secs
lola: 7920775 markings, 25562208 edges, 50023 markings/sec, 155 secs
lola: 8019345 markings, 26427855 edges, 19714 markings/sec, 160 secs
lola: 8024055 markings, 27329752 edges, 942 markings/sec, 165 secs
lola: 8096995 markings, 28258492 edges, 14588 markings/sec, 170 secs
lola: 8400232 markings, 29036360 edges, 60647 markings/sec, 175 secs
lola: 8746122 markings, 29697640 edges, 69178 markings/sec, 180 secs
lola: 9062456 markings, 30321681 edges, 63267 markings/sec, 185 secs
lola: 9349457 markings, 30975434 edges, 57400 markings/sec, 190 secs
lola: 9621123 markings, 31643031 edges, 54333 markings/sec, 195 secs
lola: 9730178 markings, 32510644 edges, 21811 markings/sec, 200 secs
lola: 9738415 markings, 33482776 edges, 1647 markings/sec, 205 secs
lola: 10029761 markings, 34169540 edges, 58269 markings/sec, 210 secs
lola: 10407432 markings, 34850482 edges, 75534 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4i_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 358746 markings, 1048630 edges, 71749 markings/sec, 0 secs
lola: 648431 markings, 2190632 edges, 57937 markings/sec, 5 secs
lola: 927426 markings, 3362064 edges, 55799 markings/sec, 10 secs
lola: 1280199 markings, 4305361 edges, 70555 markings/sec, 15 secs
lola: 1623559 markings, 5160977 edges, 68672 markings/sec, 20 secs
lola: 1780806 markings, 6415344 edges, 31449 markings/sec, 25 secs
lola: 1982975 markings, 7746282 edges, 40434 markings/sec, 30 secs
lola: 2282838 markings, 8819625 edges, 59973 markings/sec, 35 secs
lola: 2591523 markings, 9821047 edges, 61737 markings/sec, 40 secs
lola: 2944740 markings, 10655579 edges, 70643 markings/sec, 45 secs
lola: 3216209 markings, 11616428 edges, 54294 markings/sec, 50 secs
lola: 3276974 markings, 13138416 edges, 12153 markings/sec, 55 secs
lola: 3578832 markings, 14187542 edges, 60372 markings/sec, 60 secs
lola: 3955805 markings, 14990587 edges, 75395 markings/sec, 65 secs
lola: 4286129 markings, 15817006 edges, 66065 markings/sec, 70 secs
lola: 4432825 markings, 17024818 edges, 29339 markings/sec, 75 secs
lola: 4639104 markings, 18228024 edges, 41256 markings/sec, 80 secs
lola: 5022287 markings, 19009683 edges, 76637 markings/sec, 85 secs
lola: 5388299 markings, 19805732 edges, 73202 markings/sec, 90 secs
lola: 5744604 markings, 20590356 edges, 71261 markings/sec, 95 secs
lola: 6093863 markings, 21395450 edges, 69852 markings/sec, 100 secs
lola: 6433673 markings, 22206061 edges, 67962 markings/sec, 105 secs
lola: 6760988 markings, 23018936 edges, 65463 markings/sec, 110 secs
lola: 7076716 markings, 23851734 edges, 63146 markings/sec, 115 secs
lola: 7388486 markings, 24682894 edges, 62354 markings/sec, 120 secs
lola: 7682034 markings, 25537686 edges, 58710 markings/sec, 125 secs
lola: 7709120 markings, 26901097 edges, 5417 markings/sec, 130 secs
lola: 7722409 markings, 28287000 edges, 2658 markings/sec, 135 secs
lola: 7735743 markings, 29710611 edges, 2667 markings/sec, 140 secs
lola: 7939923 markings, 30804050 edges, 40836 markings/sec, 145 secs
lola: 7980251 markings, 32280054 edges, 8066 markings/sec, 150 secs
lola: 8245925 markings, 33336682 edges, 53135 markings/sec, 155 secs
lola: 8533705 markings, 34371487 edges, 57556 markings/sec, 160 secs
lola: 8908074 markings, 35181021 edges, 74874 markings/sec, 165 secs
lola: 9235902 markings, 36029146 edges, 65566 markings/sec, 170 secs
lola: 9347414 markings, 37326119 edges, 22302 markings/sec, 175 secs
lola: 9611836 markings, 38444190 edges, 52884 markings/sec, 180 secs
lola: 9913323 markings, 39427955 edges, 60297 markings/sec, 185 secs
lola: 10257027 markings, 40246821 edges, 68741 markings/sec, 190 secs
lola: 10494804 markings, 41243914 edges, 47555 markings/sec, 195 secs
lola: 10602658 markings, 42601424 edges, 21571 markings/sec, 200 secs
lola: 10987490 markings, 43369999 edges, 76966 markings/sec, 205 secs
lola: 11351723 markings, 44154074 edges, 72847 markings/sec, 210 secs
lola: 11705309 markings, 44943836 edges, 70717 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb2_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 483476 markings, 849367 edges, 96695 markings/sec, 0 secs
lola: 1000867 markings, 1566529 edges, 103478 markings/sec, 5 secs
lola: 1458188 markings, 2283305 edges, 91464 markings/sec, 10 secs
lola: 1871656 markings, 3038326 edges, 82694 markings/sec, 15 secs
lola: 1965802 markings, 4124848 edges, 18829 markings/sec, 20 secs
lola: 2436976 markings, 4913580 edges, 94235 markings/sec, 25 secs
lola: 2931334 markings, 5609185 edges, 98872 markings/sec, 30 secs
lola: 3368545 markings, 6333516 edges, 87442 markings/sec, 35 secs
lola: 3660499 markings, 7212373 edges, 58391 markings/sec, 40 secs
lola: 3871810 markings, 8189093 edges, 42262 markings/sec, 45 secs
lola: 4347912 markings, 8981656 edges, 95220 markings/sec, 50 secs
lola: 4847869 markings, 9660699 edges, 99991 markings/sec, 55 secs
lola: 5287667 markings, 10364730 edges, 87960 markings/sec, 60 secs
lola: 5680739 markings, 11127598 edges, 78614 markings/sec, 65 secs
lola: 5771750 markings, 12170966 edges, 18202 markings/sec, 70 secs
lola: 6174623 markings, 12958350 edges, 80575 markings/sec, 75 secs
lola: 6574355 markings, 13790415 edges, 79946 markings/sec, 80 secs
lola: 7082312 markings, 14474871 edges, 101591 markings/sec, 85 secs
lola: 7568608 markings, 15174201 edges, 97259 markings/sec, 90 secs
lola: 8065459 markings, 15827212 edges, 99370 markings/sec, 95 secs
lola: 8557266 markings, 16479588 edges, 98361 markings/sec, 100 secs
lola: 9040744 markings, 17136891 edges, 96696 markings/sec, 105 secs
lola: 9514249 markings, 17784568 edges, 94701 markings/sec, 110 secs
lola: 9980771 markings, 18432788 edges, 93304 markings/sec, 115 secs
lola: 10438003 markings, 19075700 edges, 91446 markings/sec, 120 secs
lola: 10890803 markings, 19720269 edges, 90560 markings/sec, 125 secs
lola: 11338194 markings, 20368162 edges, 89478 markings/sec, 130 secs
lola: 11780508 markings, 21018460 edges, 88463 markings/sec, 135 secs
lola: 12218063 markings, 21666219 edges, 87511 markings/sec, 140 secs
lola: 12650042 markings, 22315915 edges, 86396 markings/sec, 145 secs
lola: 13077479 markings, 22971715 edges, 85487 markings/sec, 150 secs
lola: 13500930 markings, 23625922 edges, 84690 markings/sec, 155 secs
lola: 13913879 markings, 24281022 edges, 82590 markings/sec, 160 secs
lola: 14320138 markings, 24937767 edges, 81252 markings/sec, 165 secs
lola: 14726613 markings, 25592026 edges, 81295 markings/sec, 170 secs
lola: 15126571 markings, 26250432 edges, 79992 markings/sec, 175 secs
lola: 15519741 markings, 26915023 edges, 78634 markings/sec, 180 secs
lola: 15910219 markings, 27577715 edges, 78096 markings/sec, 185 secs
lola: 16297516 markings, 28242408 edges, 77459 markings/sec, 190 secs
lola: 16677035 markings, 28910820 edges, 75904 markings/sec, 195 secs
lola: 17049114 markings, 29582083 edges, 74416 markings/sec, 200 secs
lola: 17419402 markings, 30254747 edges, 74058 markings/sec, 205 secs
lola: 17788871 markings, 30923300 edges, 73894 markings/sec, 210 secs
lola: 18156399 markings, 31600805 edges, 73506 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb4_4_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 529539 markings, 867471 edges, 105908 markings/sec, 0 secs
lola: 1006991 markings, 1743039 edges, 95490 markings/sec, 5 secs
lola: 1567422 markings, 2437742 edges, 112086 markings/sec, 10 secs
lola: 2086586 markings, 3142604 edges, 103833 markings/sec, 15 secs
lola: 2587634 markings, 3806834 edges, 100210 markings/sec, 20 secs
lola: 3048545 markings, 4475899 edges, 92182 markings/sec, 25 secs
lola: 3240990 markings, 5490743 edges, 38489 markings/sec, 30 secs
lola: 3406176 markings, 6652927 edges, 33037 markings/sec, 35 secs
lola: 3862810 markings, 7482606 edges, 91327 markings/sec, 40 secs
lola: 4381779 markings, 8241225 edges, 103794 markings/sec, 45 secs
lola: 4885281 markings, 8923232 edges, 100700 markings/sec, 50 secs
lola: 5377382 markings, 9566841 edges, 98420 markings/sec, 55 secs
lola: 5845896 markings, 10199649 edges, 93703 markings/sec, 60 secs
lola: 6248498 markings, 10882234 edges, 80520 markings/sec, 65 secs
lola: 6280786 markings, 12008588 edges, 6458 markings/sec, 70 secs
lola: 6609679 markings, 12927773 edges, 65779 markings/sec, 75 secs
lola: 7042660 markings, 13739826 edges, 86596 markings/sec, 80 secs
lola: 7555872 markings, 14375183 edges, 102642 markings/sec, 85 secs
lola: 8032810 markings, 15027378 edges, 95388 markings/sec, 90 secs
lola: 8498392 markings, 15640395 edges, 93116 markings/sec, 95 secs
lola: 8940931 markings, 16254194 edges, 88508 markings/sec, 100 secs
lola: 9245460 markings, 17016288 edges, 60906 markings/sec, 105 secs
lola: 9258374 markings, 18135381 edges, 2583 markings/sec, 110 secs
lola: 9651504 markings, 19001696 edges, 78626 markings/sec, 115 secs
lola: 10164365 markings, 19722081 edges, 102572 markings/sec, 120 secs
lola: 10669751 markings, 20407877 edges, 101077 markings/sec, 125 secs
lola: 11167714 markings, 21063737 edges, 99593 markings/sec, 130 secs
lola: 11636075 markings, 21714726 edges, 93672 markings/sec, 135 secs
lola: 11914350 markings, 22585181 edges, 55655 markings/sec, 140 secs
lola: 11929462 markings, 23840510 edges, 3022 markings/sec, 145 secs
lola: 12454555 markings, 24569560 edges, 105019 markings/sec, 150 secs
lola: 12962488 markings, 25252798 edges, 101587 markings/sec, 155 secs
lola: 13465250 markings, 25914294 edges, 100552 markings/sec, 160 secs
lola: 13946673 markings, 26558624 edges, 96285 markings/sec, 165 secs
lola: 14368746 markings, 27244709 edges, 84415 markings/sec, 170 secs
lola: 14425138 markings, 28364968 edges, 11278 markings/sec, 175 secs
lola: 14729129 markings, 29296386 edges, 60798 markings/sec, 180 secs
lola: 15270388 markings, 29938674 edges, 108252 markings/sec, 185 secs
lola: 15806702 markings, 30577511 edges, 107263 markings/sec, 190 secs
lola: 16332094 markings, 31223797 edges, 105078 markings/sec, 195 secs
lola: 16853878 markings, 31855327 edges, 104357 markings/sec, 200 secs
lola: 17369181 markings, 32492078 edges, 103061 markings/sec, 205 secs
lola: 17878321 markings, 33131769 edges, 101828 markings/sec, 210 secs
lola: 18381486 markings, 33771121 edges, 100633 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1o_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 849108 markings, 1085899 edges, 169822 markings/sec, 0 secs
lola: 1647978 markings, 2156034 edges, 159774 markings/sec, 5 secs
lola: 2471220 markings, 3171421 edges, 164648 markings/sec, 10 secs
lola: 3211347 markings, 4221910 edges, 148025 markings/sec, 15 secs
lola: 4032319 markings, 5302006 edges, 164194 markings/sec, 20 secs
lola: 4862988 markings, 6341983 edges, 166134 markings/sec, 25 secs
lola: 5603936 markings, 7407283 edges, 148190 markings/sec, 30 secs
lola: 6421514 markings, 8439806 edges, 163516 markings/sec, 35 secs
lola: 7178004 markings, 9438698 edges, 151298 markings/sec, 40 secs
lola: 7967091 markings, 10437830 edges, 157817 markings/sec, 45 secs
lola: 8767074 markings, 11419109 edges, 159997 markings/sec, 50 secs
lola: 9460377 markings, 12439101 edges, 138661 markings/sec, 55 secs
lola: 10219102 markings, 13384293 edges, 151745 markings/sec, 60 secs
lola: 10933635 markings, 14505181 edges, 142907 markings/sec, 65 secs
lola: 11762820 markings, 15529571 edges, 165837 markings/sec, 70 secs
lola: 12498481 markings, 16574445 edges, 147132 markings/sec, 75 secs
lola: 13322000 markings, 17614151 edges, 164704 markings/sec, 80 secs
lola: 14086654 markings, 18624938 edges, 152931 markings/sec, 85 secs
lola: 14883277 markings, 19630335 edges, 159325 markings/sec, 90 secs
lola: 15676589 markings, 20607524 edges, 158662 markings/sec, 95 secs
lola: 16378627 markings, 21634669 edges, 140408 markings/sec, 100 secs
lola: 17109605 markings, 22629486 edges, 146196 markings/sec, 105 secs
lola: 17857149 markings, 23705734 edges, 149509 markings/sec, 110 secs
lola: 18671886 markings, 24705095 edges, 162947 markings/sec, 115 secs
lola: 19487105 markings, 25687980 edges, 163044 markings/sec, 120 secs
lola: 20200896 markings, 26727588 edges, 142758 markings/sec, 125 secs
lola: 20895670 markings, 27736895 edges, 138955 markings/sec, 130 secs
lola: 21738639 markings, 28700365 edges, 168594 markings/sec, 135 secs
lola: 22543550 markings, 29644572 edges, 160982 markings/sec, 140 secs
lola: 23338188 markings, 30607800 edges, 158928 markings/sec, 145 secs
lola: 24107525 markings, 31578334 edges, 153867 markings/sec, 150 secs
lola: 24676517 markings, 32677460 edges, 113798 markings/sec, 155 secs
lola: 25452967 markings, 33586174 edges, 155290 markings/sec, 160 secs
lola: 26218394 markings, 34505557 edges, 153085 markings/sec, 165 secs
lola: 26956468 markings, 35427796 edges, 147615 markings/sec, 170 secs
lola: 27544797 markings, 36561064 edges, 117666 markings/sec, 175 secs
lola: 28322381 markings, 37619489 edges, 155517 markings/sec, 180 secs
lola: 29137829 markings, 38598491 edges, 163090 markings/sec, 185 secs
lola: 29867098 markings, 39652278 edges, 145854 markings/sec, 190 secs
lola: 30683735 markings, 40666553 edges, 163327 markings/sec, 195 secs
lola: 31405508 markings, 41723773 edges, 144355 markings/sec, 200 secs
lola: 32241221 markings, 42684341 edges, 167143 markings/sec, 205 secs
lola: 33031239 markings, 43674855 edges, 158004 markings/sec, 210 secs
lola: 33728605 markings, 44693625 edges, 139473 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_2_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 587889 markings, 783054 edges, 117578 markings/sec, 0 secs
lola: 1172073 markings, 1491479 edges, 116837 markings/sec, 5 secs
lola: 1727036 markings, 2210551 edges, 110993 markings/sec, 10 secs
lola: 2159834 markings, 3085811 edges, 86560 markings/sec, 15 secs
lola: 2714918 markings, 3877510 edges, 111017 markings/sec, 20 secs
lola: 3283118 markings, 4578861 edges, 113640 markings/sec, 25 secs
lola: 3824013 markings, 5283547 edges, 108179 markings/sec, 30 secs
lola: 4219528 markings, 6192427 edges, 79103 markings/sec, 35 secs
lola: 4780106 markings, 6903744 edges, 112116 markings/sec, 40 secs
lola: 5323531 markings, 7564554 edges, 108685 markings/sec, 45 secs
lola: 5832043 markings, 8250509 edges, 101702 markings/sec, 50 secs
lola: 6234546 markings, 9113940 edges, 80501 markings/sec, 55 secs
lola: 6808026 markings, 9808525 edges, 114696 markings/sec, 60 secs
lola: 7348438 markings, 10493725 edges, 108082 markings/sec, 65 secs
lola: 7827266 markings, 11250403 edges, 95766 markings/sec, 70 secs
lola: 8282699 markings, 12041339 edges, 91087 markings/sec, 75 secs
lola: 8840905 markings, 12679317 edges, 111641 markings/sec, 80 secs
lola: 9391017 markings, 13314302 edges, 110022 markings/sec, 85 secs
lola: 9936408 markings, 13951343 edges, 109078 markings/sec, 90 secs
lola: 10475047 markings, 14585690 edges, 107728 markings/sec, 95 secs
lola: 11013056 markings, 15223415 edges, 107602 markings/sec, 100 secs
lola: 11549441 markings, 15858097 edges, 107277 markings/sec, 105 secs
lola: 12083058 markings, 16494818 edges, 106723 markings/sec, 110 secs
lola: 12609178 markings, 17131875 edges, 105224 markings/sec, 115 secs
lola: 13133675 markings, 17774003 edges, 104899 markings/sec, 120 secs
lola: 13653583 markings, 18408974 edges, 103982 markings/sec, 125 secs
lola: 14168771 markings, 19048623 edges, 103038 markings/sec, 130 secs
lola: 14687425 markings, 19697200 edges, 103731 markings/sec, 135 secs
lola: 15199199 markings, 20337202 edges, 102355 markings/sec, 140 secs
lola: 15703362 markings, 20983092 edges, 100833 markings/sec, 145 secs
lola: 16205196 markings, 21630410 edges, 100367 markings/sec, 150 secs
lola: 16699746 markings, 22280672 edges, 98910 markings/sec, 155 secs
lola: 17182352 markings, 22959783 edges, 96521 markings/sec, 160 secs
lola: 17639682 markings, 23660869 edges, 91466 markings/sec, 165 secs
lola: 18113042 markings, 24332679 edges, 94672 markings/sec, 170 secs
lola: 18604329 markings, 24977081 edges, 98257 markings/sec, 175 secs
lola: 19093622 markings, 25638091 edges, 97859 markings/sec, 180 secs
lola: 19567605 markings, 26303278 edges, 94797 markings/sec, 185 secs
lola: 20035766 markings, 26978232 edges, 93632 markings/sec, 190 secs
lola: 20557970 markings, 27718413 edges, 104441 markings/sec, 195 secs
lola: 20743466 markings, 28688312 edges, 37099 markings/sec, 200 secs
lola: 20774410 markings, 29750458 edges, 6189 markings/sec, 205 secs
lola: 20782442 markings, 30831023 edges, 1606 markings/sec, 210 secs
lola: 20788130 markings, 31963448 edges, 1138 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb3_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 301077 markings, 1078089 edges, 60215 markings/sec, 0 secs
lola: 651040 markings, 1865493 edges, 69993 markings/sec, 5 secs
lola: 882575 markings, 2785852 edges, 46307 markings/sec, 10 secs
lola: 904094 markings, 4218151 edges, 4304 markings/sec, 15 secs
lola: 1172940 markings, 5213286 edges, 53769 markings/sec, 20 secs
lola: 1494477 markings, 5934867 edges, 64307 markings/sec, 25 secs
lola: 1721505 markings, 6758526 edges, 45406 markings/sec, 30 secs
lola: 1743045 markings, 7984951 edges, 4308 markings/sec, 35 secs
lola: 1958184 markings, 9061290 edges, 43028 markings/sec, 40 secs
lola: 2286334 markings, 9796676 edges, 65630 markings/sec, 45 secs
lola: 2511173 markings, 10646643 edges, 44968 markings/sec, 50 secs
lola: 2532247 markings, 11887763 edges, 4215 markings/sec, 55 secs
lola: 2782222 markings, 12864905 edges, 49995 markings/sec, 60 secs
lola: 3097161 markings, 13580226 edges, 62988 markings/sec, 65 secs
lola: 3300958 markings, 14442206 edges, 40759 markings/sec, 70 secs
lola: 3318775 markings, 15634167 edges, 3563 markings/sec, 75 secs
lola: 3569535 markings, 16527747 edges, 50152 markings/sec, 80 secs
lola: 3854995 markings, 17202699 edges, 57092 markings/sec, 85 secs
lola: 3996515 markings, 17915400 edges, 28304 markings/sec, 90 secs
lola: 4012707 markings, 18751846 edges, 3238 markings/sec, 95 secs
lola: 4131530 markings, 19608623 edges, 23765 markings/sec, 100 secs
lola: 4472265 markings, 20239358 edges, 68147 markings/sec, 105 secs
lola: 4785961 markings, 20842328 edges, 62739 markings/sec, 110 secs
lola: 5081463 markings, 21436920 edges, 59100 markings/sec, 115 secs
lola: 5370519 markings, 22029682 edges, 57811 markings/sec, 120 secs
lola: 5649592 markings, 22635145 edges, 55815 markings/sec, 125 secs
lola: 5933715 markings, 23231537 edges, 56825 markings/sec, 130 secs
lola: 6227557 markings, 23804884 edges, 58768 markings/sec, 135 secs
lola: 6491050 markings, 24391639 edges, 52699 markings/sec, 140 secs
lola: 6755101 markings, 25025226 edges, 52810 markings/sec, 145 secs
lola: 7033762 markings, 25711776 edges, 55732 markings/sec, 150 secs
lola: 7310525 markings, 26396673 edges, 55353 markings/sec, 155 secs
lola: 7579035 markings, 27067499 edges, 53702 markings/sec, 160 secs
lola: 7848787 markings, 27736261 edges, 53950 markings/sec, 165 secs
lola: 8118434 markings, 28396905 edges, 53929 markings/sec, 170 secs
lola: 8386701 markings, 29049869 edges, 53653 markings/sec, 175 secs
lola: 8650547 markings, 29705897 edges, 52769 markings/sec, 180 secs
lola: 8908007 markings, 30360027 edges, 51492 markings/sec, 185 secs
lola: 9162579 markings, 31014704 edges, 50914 markings/sec, 190 secs
lola: 9416252 markings, 31664184 edges, 50735 markings/sec, 195 secs
lola: 9664033 markings, 32313815 edges, 49556 markings/sec, 200 secs
lola: 9907898 markings, 32956616 edges, 48773 markings/sec, 205 secs
lola: 10148569 markings, 33603680 edges, 48134 markings/sec, 210 secs
lola: 10378022 markings, 34253096 edges, 45891 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4o_4_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 514872 markings, 816912 edges, 102974 markings/sec, 0 secs
lola: 981457 markings, 1565034 edges, 93317 markings/sec, 5 secs
lola: 1453900 markings, 2258649 edges, 94489 markings/sec, 10 secs
lola: 1816736 markings, 3053420 edges, 72567 markings/sec, 15 secs
lola: 2186796 markings, 4012225 edges, 74012 markings/sec, 20 secs
lola: 2675931 markings, 4792162 edges, 97827 markings/sec, 25 secs
lola: 3149563 markings, 5488946 edges, 94726 markings/sec, 30 secs
lola: 3499411 markings, 6301870 edges, 69970 markings/sec, 35 secs
lola: 3889181 markings, 7190609 edges, 77954 markings/sec, 40 secs
lola: 4372122 markings, 7956611 edges, 96588 markings/sec, 45 secs
lola: 4834007 markings, 8640497 edges, 92377 markings/sec, 50 secs
lola: 5163715 markings, 9366679 edges, 65942 markings/sec, 55 secs
lola: 5450635 markings, 10199310 edges, 57384 markings/sec, 60 secs
lola: 5886102 markings, 10852627 edges, 87093 markings/sec, 65 secs
lola: 6323543 markings, 11514382 edges, 87488 markings/sec, 70 secs
lola: 6607539 markings, 12331156 edges, 56799 markings/sec, 75 secs
lola: 6969761 markings, 13122114 edges, 72444 markings/sec, 80 secs
lola: 7411022 markings, 13735453 edges, 88252 markings/sec, 85 secs
lola: 7814751 markings, 14376293 edges, 80746 markings/sec, 90 secs
lola: 8018115 markings, 15268271 edges, 40673 markings/sec, 95 secs
lola: 8493853 markings, 15943287 edges, 95148 markings/sec, 100 secs
lola: 8924734 markings, 16602247 edges, 86176 markings/sec, 105 secs
lola: 9169391 markings, 17486882 edges, 48931 markings/sec, 110 secs
lola: 9633358 markings, 18174824 edges, 92793 markings/sec, 115 secs
lola: 10115476 markings, 18796079 edges, 96424 markings/sec, 120 secs
lola: 10585304 markings, 19415786 edges, 93966 markings/sec, 125 secs
lola: 11046259 markings, 20032558 edges, 92191 markings/sec, 130 secs
lola: 11496720 markings, 20643339 edges, 90092 markings/sec, 135 secs
lola: 11942227 markings, 21261056 edges, 89101 markings/sec, 140 secs
lola: 12383733 markings, 21880423 edges, 88301 markings/sec, 145 secs
lola: 12822099 markings, 22500813 edges, 87673 markings/sec, 150 secs
lola: 13251587 markings, 23120130 edges, 85898 markings/sec, 155 secs
lola: 13675699 markings, 23737088 edges, 84822 markings/sec, 160 secs
lola: 14096651 markings, 24355203 edges, 84190 markings/sec, 165 secs
lola: 14507232 markings, 24976586 edges, 82116 markings/sec, 170 secs
lola: 14912876 markings, 25595412 edges, 81129 markings/sec, 175 secs
lola: 15308917 markings, 26219203 edges, 79208 markings/sec, 180 secs
lola: 15702807 markings, 26847620 edges, 78778 markings/sec, 185 secs
lola: 16093911 markings, 27465778 edges, 78221 markings/sec, 190 secs
lola: 16482853 markings, 28084433 edges, 77788 markings/sec, 195 secs
lola: 16866275 markings, 28707324 edges, 76684 markings/sec, 200 secs
lola: 17248883 markings, 29336675 edges, 76522 markings/sec, 205 secs
lola: 17632649 markings, 29972635 edges, 76753 markings/sec, 210 secs
lola: 18010239 markings, 30601456 edges, 75518 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA SquareGrid-PT-040204-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494937049518

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