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-3254
Executing tool lola
Input is PermAdmissibility-COL-10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440484900371
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494650859433


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PermAdmissibility-COL-10 @ 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: 1232/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 208 places, 1024 transitions, 177 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1460 transition conflict sets
lola: TASK
lola: reading formula from PermAdmissibility-COL-10-UpperBounds.task
lola: MAX(p174) : MAX(p100 + p101 + p102 + p103 + p96 + p97 + p98 + p99) : MAX(p88 + p87 + p86 + p89 + p90 + p91 + p92 + p93) : MAX(p191) : MAX(p164) : MAX(p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207) : MAX(p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16) : MAX(p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112) : MAX(p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182) : MAX(p75 + p74 + p73 + p72 + p71 + p70 + p69 + p76) : MAX(p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207) : MAX(p191) : MAX(p191) : MAX(p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190) : MAX(p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207) : MAX(p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163)
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(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 374141 markings, 2209346 edges, 74828 markings/sec, 0 secs
lola: 706592 markings, 4658052 edges, 66490 markings/sec, 5 secs
lola: 1049194 markings, 6949953 edges, 68520 markings/sec, 10 secs
lola: 1362895 markings, 8939482 edges, 62740 markings/sec, 15 secs
lola: 1640957 markings, 10887008 edges, 55612 markings/sec, 20 secs
lola: 1908124 markings, 12851619 edges, 53433 markings/sec, 25 secs
lola: 2133025 markings, 14835280 edges, 44980 markings/sec, 30 secs
lola: 2394204 markings, 17015223 edges, 52236 markings/sec, 35 secs
lola: 2652163 markings, 19215838 edges, 51592 markings/sec, 40 secs
lola: 2990003 markings, 21468508 edges, 67568 markings/sec, 45 secs
lola: 3328725 markings, 23684191 edges, 67744 markings/sec, 50 secs
lola: 3655653 markings, 25961061 edges, 65386 markings/sec, 55 secs
lola: 3934450 markings, 28255097 edges, 55759 markings/sec, 60 secs
lola: 4236017 markings, 30514597 edges, 60313 markings/sec, 65 secs
lola: 4484964 markings, 32891613 edges, 49789 markings/sec, 70 secs
lola: 4812462 markings, 35073090 edges, 65500 markings/sec, 75 secs
lola: 5138553 markings, 37354391 edges, 65218 markings/sec, 80 secs
lola: 5439112 markings, 39486642 edges, 60112 markings/sec, 85 secs
lola: 5735643 markings, 41753896 edges, 59306 markings/sec, 90 secs
lola: 6015830 markings, 43680437 edges, 56037 markings/sec, 95 secs
lola: 6300886 markings, 45833449 edges, 57011 markings/sec, 100 secs
lola: 6573852 markings, 47935011 edges, 54593 markings/sec, 105 secs
lola: 6837979 markings, 49999675 edges, 52825 markings/sec, 110 secs
lola: 7082921 markings, 52323309 edges, 48988 markings/sec, 115 secs
lola: 7309695 markings, 54338649 edges, 45355 markings/sec, 120 secs
lola: 7562557 markings, 56322589 edges, 50572 markings/sec, 125 secs
lola: 7779299 markings, 58486965 edges, 43348 markings/sec, 130 secs
lola: 8017707 markings, 60566489 edges, 47682 markings/sec, 135 secs
lola: 8275733 markings, 62764777 edges, 51605 markings/sec, 140 secs
lola: 8512648 markings, 64964175 edges, 47383 markings/sec, 145 secs
lola: 8740265 markings, 66939864 edges, 45523 markings/sec, 150 secs
lola: 8911958 markings, 68836892 edges, 34339 markings/sec, 155 secs
lola: 9170598 markings, 70902265 edges, 51728 markings/sec, 160 secs
lola: 9507427 markings, 73096475 edges, 67366 markings/sec, 165 secs
lola: 9803335 markings, 75357059 edges, 59182 markings/sec, 170 secs
lola: 10084389 markings, 77433911 edges, 56211 markings/sec, 175 secs
lola: 10410624 markings, 79357906 edges, 65247 markings/sec, 180 secs
lola: 10675914 markings, 81104939 edges, 53058 markings/sec, 185 secs
lola: 10895372 markings, 82731287 edges, 43892 markings/sec, 190 secs
lola: 11130023 markings, 84482146 edges, 46930 markings/sec, 195 secs
lola: 11392259 markings, 86488484 edges, 52447 markings/sec, 200 secs
lola: 11626172 markings, 88717338 edges, 46783 markings/sec, 205 secs
lola: 11891274 markings, 90681100 edges, 53020 markings/sec, 210 secs
lola: 12126423 markings, 92435053 edges, 47030 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(p100 + p101 + p102 + p103 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p88 + p87 + p86 + p89 + p90 + p91 + p92 + p93)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 401364 markings, 1654192 edges, 80273 markings/sec, 0 secs
lola: 760681 markings, 3470317 edges, 71863 markings/sec, 5 secs
lola: 1111422 markings, 5235566 edges, 70148 markings/sec, 10 secs
lola: 1418365 markings, 6970738 edges, 61389 markings/sec, 15 secs
lola: 1758582 markings, 8803183 edges, 68043 markings/sec, 20 secs
lola: 2106707 markings, 10772606 edges, 69625 markings/sec, 25 secs
lola: 2437109 markings, 12848892 edges, 66080 markings/sec, 30 secs
lola: 2807774 markings, 14914814 edges, 74133 markings/sec, 35 secs
lola: 3183942 markings, 16746417 edges, 75234 markings/sec, 40 secs
lola: 3524408 markings, 18688676 edges, 68093 markings/sec, 45 secs
lola: 3868042 markings, 20644018 edges, 68727 markings/sec, 50 secs
lola: 4176859 markings, 22826676 edges, 61763 markings/sec, 55 secs
lola: 4542635 markings, 24679520 edges, 73155 markings/sec, 60 secs
lola: 4844064 markings, 26741560 edges, 60286 markings/sec, 65 secs
lola: 5147230 markings, 28744008 edges, 60633 markings/sec, 70 secs
lola: 5440471 markings, 30622997 edges, 58648 markings/sec, 75 secs
lola: 5757516 markings, 32577836 edges, 63409 markings/sec, 80 secs
lola: 6077111 markings, 34635202 edges, 63919 markings/sec, 85 secs
lola: 6368918 markings, 36679406 edges, 58361 markings/sec, 90 secs
lola: 6650257 markings, 38849653 edges, 56268 markings/sec, 95 secs
lola: 6925369 markings, 41167974 edges, 55022 markings/sec, 100 secs
lola: 7309716 markings, 42969087 edges, 76869 markings/sec, 105 secs
lola: 7671769 markings, 44779889 edges, 72411 markings/sec, 110 secs
lola: 8005663 markings, 46706255 edges, 66779 markings/sec, 115 secs
lola: 8337005 markings, 48706618 edges, 66268 markings/sec, 120 secs
lola: 8654556 markings, 50828454 edges, 63510 markings/sec, 125 secs
lola: 8992433 markings, 52608953 edges, 67575 markings/sec, 130 secs
lola: 9275425 markings, 54515096 edges, 56598 markings/sec, 135 secs
lola: 9567595 markings, 56469515 edges, 58434 markings/sec, 140 secs
lola: 9857058 markings, 58456031 edges, 57893 markings/sec, 145 secs
lola: 10188917 markings, 60499628 edges, 66372 markings/sec, 150 secs
lola: 10489603 markings, 62452453 edges, 60137 markings/sec, 155 secs
lola: 10740982 markings, 64249695 edges, 50276 markings/sec, 160 secs
lola: 11006670 markings, 66234108 edges, 53138 markings/sec, 165 secs
lola: 11258912 markings, 68337439 edges, 50448 markings/sec, 170 secs
lola: 11615063 markings, 70361110 edges, 71230 markings/sec, 175 secs
lola: 11943412 markings, 72097644 edges, 65670 markings/sec, 180 secs
lola: 12272386 markings, 74069200 edges, 65795 markings/sec, 185 secs
lola: 12550845 markings, 75904615 edges, 55692 markings/sec, 190 secs
lola: 12804302 markings, 77721931 edges, 50691 markings/sec, 195 secs
lola: 13114785 markings, 79762514 edges, 62097 markings/sec, 200 secs
lola: 13414406 markings, 81666709 edges, 59924 markings/sec, 205 secs
lola: 13640012 markings, 83543472 edges, 45121 markings/sec, 210 secs
lola: 13897727 markings, 85840111 edges, 51543 markings/sec, 215 secs
lola: 14226809 markings, 87578684 edges, 65816 markings/sec, 220 secs
lola: 14508563 markings, 89457991 edges, 56351 markings/sec, 225 secs
lola: 14752429 markings, 91363515 edges, 48773 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p191)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 4 will run for 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p164)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 169006 markings, 753561 edges, 33801 markings/sec, 0 secs
lola: 363451 markings, 1544672 edges, 38889 markings/sec, 5 secs
lola: 562412 markings, 2364557 edges, 39792 markings/sec, 10 secs
lola: 759022 markings, 3176744 edges, 39322 markings/sec, 15 secs
lola: 943534 markings, 4070267 edges, 36902 markings/sec, 20 secs
lola: 1129602 markings, 4980157 edges, 37214 markings/sec, 25 secs
lola: 1310003 markings, 5994272 edges, 36080 markings/sec, 30 secs
lola: 1489418 markings, 6974700 edges, 35883 markings/sec, 35 secs
lola: 1652319 markings, 7861536 edges, 32580 markings/sec, 40 secs
lola: 1814312 markings, 9008133 edges, 32399 markings/sec, 45 secs
lola: 1959410 markings, 10298939 edges, 29020 markings/sec, 50 secs
lola: 2114063 markings, 11305039 edges, 30931 markings/sec, 55 secs
lola: 2278880 markings, 12262394 edges, 32963 markings/sec, 60 secs
lola: 2417891 markings, 13368749 edges, 27802 markings/sec, 65 secs
lola: 2575426 markings, 14400661 edges, 31507 markings/sec, 70 secs
lola: 2751034 markings, 15480794 edges, 35122 markings/sec, 75 secs
lola: 2929796 markings, 16352181 edges, 35752 markings/sec, 80 secs
lola: 3099496 markings, 17073514 edges, 33940 markings/sec, 85 secs
lola: 3270846 markings, 17816930 edges, 34270 markings/sec, 90 secs
lola: 3437245 markings, 18652062 edges, 33280 markings/sec, 95 secs
lola: 3593910 markings, 19502571 edges, 31333 markings/sec, 100 secs
lola: 3748765 markings, 20373419 edges, 30971 markings/sec, 105 secs
lola: 3901817 markings, 21314988 edges, 30610 markings/sec, 110 secs
lola: 4061035 markings, 22413085 edges, 31844 markings/sec, 115 secs
lola: 4199892 markings, 23639411 edges, 27771 markings/sec, 120 secs
lola: 4337000 markings, 24808312 edges, 27422 markings/sec, 125 secs
lola: 4493645 markings, 26019129 edges, 31329 markings/sec, 130 secs
lola: 4664638 markings, 27020653 edges, 34199 markings/sec, 135 secs
lola: 4828186 markings, 27877449 edges, 32710 markings/sec, 140 secs
lola: 4978003 markings, 28731754 edges, 29963 markings/sec, 145 secs
lola: 5142238 markings, 29708061 edges, 32847 markings/sec, 150 secs
lola: 5284960 markings, 30704745 edges, 28544 markings/sec, 155 secs
lola: 5420458 markings, 31922197 edges, 27100 markings/sec, 160 secs
lola: 5563210 markings, 32968409 edges, 28550 markings/sec, 165 secs
lola: 5708280 markings, 33959575 edges, 29014 markings/sec, 170 secs
lola: 5854188 markings, 35152124 edges, 29182 markings/sec, 175 secs
lola: 6018302 markings, 36214041 edges, 32823 markings/sec, 180 secs
lola: 6180010 markings, 37033559 edges, 32342 markings/sec, 185 secs
lola: 6353644 markings, 37775403 edges, 34727 markings/sec, 190 secs
lola: 6531698 markings, 38584128 edges, 35611 markings/sec, 195 secs
lola: 6688989 markings, 39445565 edges, 31458 markings/sec, 200 secs
lola: 6850990 markings, 40426572 edges, 32400 markings/sec, 205 secs
lola: 7015493 markings, 41482078 edges, 32901 markings/sec, 210 secs
lola: 7167755 markings, 42715379 edges, 30452 markings/sec, 215 secs
lola: 7302318 markings, 44064828 edges, 26913 markings/sec, 220 secs
lola: 7466034 markings, 45346976 edges, 32743 markings/sec, 225 secs
lola: 7647806 markings, 46316357 edges, 36354 markings/sec, 230 secs
lola: 7809252 markings, 47156317 edges, 32289 markings/sec, 235 secs
lola: 7963711 markings, 48019116 edges, 30892 markings/sec, 240 secs
lola: 8119212 markings, 49035166 edges, 31100 markings/sec, 245 secs
lola: 8249450 markings, 50237585 edges, 26048 markings/sec, 250 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 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 153480 markings, 383417 edges, 30696 markings/sec, 0 secs
lola: 304357 markings, 757012 edges, 30175 markings/sec, 5 secs
lola: 457510 markings, 1147741 edges, 30631 markings/sec, 10 secs
lola: 610087 markings, 1617417 edges, 30515 markings/sec, 15 secs
lola: 759582 markings, 2185670 edges, 29899 markings/sec, 20 secs
lola: 907162 markings, 2790583 edges, 29516 markings/sec, 25 secs
lola: 1044139 markings, 3293461 edges, 27395 markings/sec, 30 secs
lola: 1183828 markings, 3809884 edges, 27938 markings/sec, 35 secs
lola: 1329973 markings, 4409588 edges, 29229 markings/sec, 40 secs
lola: 1474669 markings, 5000937 edges, 28939 markings/sec, 45 secs
lola: 1631061 markings, 5587228 edges, 31278 markings/sec, 50 secs
lola: 1762891 markings, 6079337 edges, 26366 markings/sec, 55 secs
lola: 1901647 markings, 6645626 edges, 27751 markings/sec, 60 secs
lola: 2038047 markings, 7173095 edges, 27280 markings/sec, 65 secs
lola: 2180386 markings, 7739514 edges, 28468 markings/sec, 70 secs
lola: 2321353 markings, 8285529 edges, 28193 markings/sec, 75 secs
lola: 2444419 markings, 8768575 edges, 24613 markings/sec, 80 secs
lola: 2575691 markings, 9249353 edges, 26254 markings/sec, 85 secs
lola: 2713662 markings, 9752543 edges, 27594 markings/sec, 90 secs
lola: 2839573 markings, 10259450 edges, 25182 markings/sec, 95 secs
lola: 2969505 markings, 10817336 edges, 25986 markings/sec, 100 secs
lola: 3084790 markings, 11327325 edges, 23057 markings/sec, 105 secs
lola: 3215756 markings, 11881950 edges, 26193 markings/sec, 110 secs
lola: 3335505 markings, 12389369 edges, 23950 markings/sec, 115 secs
lola: 3471446 markings, 12912173 edges, 27188 markings/sec, 120 secs
lola: 3601853 markings, 13451613 edges, 26081 markings/sec, 125 secs
lola: 3730712 markings, 13996963 edges, 25772 markings/sec, 130 secs
lola: 3857950 markings, 14572735 edges, 25448 markings/sec, 135 secs
lola: 3984572 markings, 15094853 edges, 25324 markings/sec, 140 secs
lola: 4094117 markings, 15625586 edges, 21909 markings/sec, 145 secs
lola: 4226146 markings, 16153789 edges, 26406 markings/sec, 150 secs
lola: 4358435 markings, 16725623 edges, 26458 markings/sec, 155 secs
lola: 4503834 markings, 17345404 edges, 29080 markings/sec, 160 secs
lola: 4644782 markings, 17903258 edges, 28190 markings/sec, 165 secs
lola: 4760140 markings, 18438086 edges, 23072 markings/sec, 170 secs
lola: 4881690 markings, 18947906 edges, 24310 markings/sec, 175 secs
lola: 5020752 markings, 19530749 edges, 27812 markings/sec, 180 secs
lola: 5154804 markings, 20061959 edges, 26810 markings/sec, 185 secs
lola: 5282644 markings, 20627449 edges, 25568 markings/sec, 190 secs
lola: 5414471 markings, 21239781 edges, 26365 markings/sec, 195 secs
lola: 5551540 markings, 21834707 edges, 27414 markings/sec, 200 secs
lola: 5677033 markings, 22400832 edges, 25099 markings/sec, 205 secs
lola: 5809563 markings, 22991033 edges, 26506 markings/sec, 210 secs
lola: 5933194 markings, 23481687 edges, 24726 markings/sec, 215 secs
lola: 6052420 markings, 23972969 edges, 23845 markings/sec, 220 secs
lola: 6181966 markings, 24396786 edges, 25909 markings/sec, 225 secs
lola: 6314553 markings, 24929016 edges, 26517 markings/sec, 230 secs
lola: 6450131 markings, 25470928 edges, 27116 markings/sec, 235 secs
lola: 6568649 markings, 25978340 edges, 23704 markings/sec, 240 secs
lola: 6672159 markings, 26451380 edges, 20702 markings/sec, 245 secs
lola: 6787555 markings, 26941192 edges, 23079 markings/sec, 250 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 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 213807 markings, 798007 edges, 42761 markings/sec, 0 secs
lola: 397996 markings, 1271348 edges, 36838 markings/sec, 5 secs
lola: 587380 markings, 1976800 edges, 37877 markings/sec, 10 secs
lola: 768440 markings, 2608822 edges, 36212 markings/sec, 15 secs
lola: 955470 markings, 3400279 edges, 37406 markings/sec, 20 secs
lola: 1141493 markings, 4032950 edges, 37205 markings/sec, 25 secs
lola: 1317080 markings, 4620409 edges, 35117 markings/sec, 30 secs
lola: 1457133 markings, 5282983 edges, 28011 markings/sec, 35 secs
lola: 1642843 markings, 5962382 edges, 37142 markings/sec, 40 secs
lola: 1832892 markings, 6490096 edges, 38010 markings/sec, 45 secs
lola: 2012467 markings, 7103550 edges, 35915 markings/sec, 50 secs
lola: 2186917 markings, 7562617 edges, 34890 markings/sec, 55 secs
lola: 2331743 markings, 8444344 edges, 28965 markings/sec, 60 secs
lola: 2519858 markings, 9152375 edges, 37623 markings/sec, 65 secs
lola: 2687372 markings, 9612834 edges, 33503 markings/sec, 70 secs
lola: 2836326 markings, 10057226 edges, 29791 markings/sec, 75 secs
lola: 2990351 markings, 10694717 edges, 30805 markings/sec, 80 secs
lola: 3120489 markings, 11515155 edges, 26028 markings/sec, 85 secs
lola: 3264347 markings, 12117925 edges, 28772 markings/sec, 90 secs
lola: 3395524 markings, 12610364 edges, 26235 markings/sec, 95 secs
lola: 3553320 markings, 13233238 edges, 31559 markings/sec, 100 secs
lola: 3721850 markings, 13820547 edges, 33706 markings/sec, 105 secs
lola: 3880158 markings, 14538172 edges, 31662 markings/sec, 110 secs
lola: 4071029 markings, 15238100 edges, 38174 markings/sec, 115 secs
lola: 4227583 markings, 16099340 edges, 31311 markings/sec, 120 secs
lola: 4370332 markings, 16807574 edges, 28550 markings/sec, 125 secs
lola: 4512375 markings, 17463469 edges, 28409 markings/sec, 130 secs
lola: 4654795 markings, 17888595 edges, 28484 markings/sec, 135 secs
lola: 4814217 markings, 18349122 edges, 31884 markings/sec, 140 secs
lola: 4982040 markings, 18838774 edges, 33565 markings/sec, 145 secs
lola: 5149395 markings, 19333369 edges, 33471 markings/sec, 150 secs
lola: 5312801 markings, 19809843 edges, 32681 markings/sec, 155 secs
lola: 5470808 markings, 20270271 edges, 31601 markings/sec, 160 secs
lola: 5648817 markings, 20818607 edges, 35602 markings/sec, 165 secs
lola: 5846056 markings, 21536226 edges, 39448 markings/sec, 170 secs
lola: 6035376 markings, 22066657 edges, 37864 markings/sec, 175 secs
lola: 6230518 markings, 23061243 edges, 39028 markings/sec, 180 secs
lola: 6425009 markings, 23496907 edges, 38898 markings/sec, 185 secs
lola: 6612659 markings, 24009363 edges, 37530 markings/sec, 190 secs
lola: 6802584 markings, 25061943 edges, 37985 markings/sec, 195 secs
lola: 6991761 markings, 25643271 edges, 37835 markings/sec, 200 secs
lola: 7164660 markings, 26075705 edges, 34580 markings/sec, 205 secs
lola: 7319384 markings, 26868756 edges, 30945 markings/sec, 210 secs
lola: 7501643 markings, 27641622 edges, 36452 markings/sec, 215 secs
lola: 7680511 markings, 28092937 edges, 35774 markings/sec, 220 secs
lola: 7852550 markings, 28551781 edges, 34408 markings/sec, 225 secs
lola: 8020002 markings, 29143877 edges, 33490 markings/sec, 230 secs
lola: 8168194 markings, 30146941 edges, 29638 markings/sec, 235 secs
lola: 8331737 markings, 30751748 edges, 32709 markings/sec, 240 secs
lola: 8496783 markings, 31417833 edges, 33009 markings/sec, 245 secs
lola: 8664215 markings, 32077336 edges, 33486 markings/sec, 250 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 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 492796 markings, 2425397 edges, 98559 markings/sec, 0 secs
lola: 1003770 markings, 5113940 edges, 102195 markings/sec, 5 secs
lola: 1499497 markings, 7846186 edges, 99145 markings/sec, 10 secs
lola: 1968341 markings, 10467157 edges, 93769 markings/sec, 15 secs
lola: 2417769 markings, 12909119 edges, 89886 markings/sec, 20 secs
lola: 2841631 markings, 15381044 edges, 84772 markings/sec, 25 secs
lola: 3321398 markings, 18127344 edges, 95953 markings/sec, 30 secs
lola: 3770711 markings, 20845573 edges, 89863 markings/sec, 35 secs
lola: 4201324 markings, 23441839 edges, 86123 markings/sec, 40 secs
lola: 4676359 markings, 26256097 edges, 95007 markings/sec, 45 secs
lola: 5102557 markings, 28844847 edges, 85240 markings/sec, 50 secs
lola: 5532099 markings, 31607351 edges, 85908 markings/sec, 55 secs
lola: 5940582 markings, 34471115 edges, 81697 markings/sec, 60 secs
lola: 6426556 markings, 37152035 edges, 97195 markings/sec, 65 secs
lola: 6861397 markings, 39706588 edges, 86968 markings/sec, 70 secs
lola: 7294443 markings, 42412107 edges, 86609 markings/sec, 75 secs
lola: 7748899 markings, 45147650 edges, 90891 markings/sec, 80 secs
lola: 8165816 markings, 47527801 edges, 83383 markings/sec, 85 secs
lola: 8584905 markings, 50085153 edges, 83818 markings/sec, 90 secs
lola: 9000945 markings, 52806451 edges, 83208 markings/sec, 95 secs
lola: 9424209 markings, 55422098 edges, 84653 markings/sec, 100 secs
lola: 9897088 markings, 57995417 edges, 94576 markings/sec, 105 secs
lola: 10327693 markings, 60541066 edges, 86121 markings/sec, 110 secs
lola: 10755842 markings, 63176498 edges, 85630 markings/sec, 115 secs
lola: 11172851 markings, 65836253 edges, 83402 markings/sec, 120 secs
lola: 11597436 markings, 68542877 edges, 84917 markings/sec, 125 secs
lola: 12029518 markings, 71235593 edges, 86416 markings/sec, 130 secs
lola: 12446378 markings, 73933439 edges, 83372 markings/sec, 135 secs
lola: 12933411 markings, 76601343 edges, 97407 markings/sec, 140 secs
lola: 13361787 markings, 79136080 edges, 85675 markings/sec, 145 secs
lola: 13768064 markings, 81671586 edges, 81255 markings/sec, 150 secs
lola: 14157427 markings, 84097742 edges, 77873 markings/sec, 155 secs
lola: 14578095 markings, 86808724 edges, 84134 markings/sec, 160 secs
lola: 14967636 markings, 89269455 edges, 77908 markings/sec, 165 secs
lola: 15354862 markings, 91709944 edges, 77445 markings/sec, 170 secs
lola: 15788344 markings, 94375532 edges, 86696 markings/sec, 175 secs
lola: 16177450 markings, 96950989 edges, 77821 markings/sec, 180 secs
lola: 16556549 markings, 99439635 edges, 75820 markings/sec, 185 secs
lola: 17000087 markings, 101854490 edges, 88708 markings/sec, 190 secs
lola: 17396572 markings, 104176250 edges, 79297 markings/sec, 195 secs
lola: 17789337 markings, 106613682 edges, 78553 markings/sec, 200 secs
lola: 18145623 markings, 108932833 edges, 71257 markings/sec, 205 secs
lola: 18553246 markings, 111496139 edges, 81525 markings/sec, 210 secs
lola: 18956187 markings, 114005057 edges, 80588 markings/sec, 215 secs
lola: 19369640 markings, 116579991 edges, 82691 markings/sec, 220 secs
lola: 19741561 markings, 119023270 edges, 74384 markings/sec, 225 secs
lola: 20136461 markings, 121575417 edges, 78980 markings/sec, 230 secs
lola: 20496030 markings, 123620933 edges, 71914 markings/sec, 235 secs
lola: 20874601 markings, 125772237 edges, 75714 markings/sec, 240 secs
lola: 21231589 markings, 127909997 edges, 71398 markings/sec, 245 secs
lola: 21594698 markings, 130175978 edges, 72622 markings/sec, 250 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 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 165052 markings, 591696 edges, 33010 markings/sec, 0 secs
lola: 324262 markings, 1279689 edges, 31842 markings/sec, 5 secs
lola: 489445 markings, 2047095 edges, 33037 markings/sec, 10 secs
lola: 653884 markings, 2717507 edges, 32888 markings/sec, 15 secs
lola: 812768 markings, 3445425 edges, 31777 markings/sec, 20 secs
lola: 968365 markings, 4228601 edges, 31119 markings/sec, 25 secs
lola: 1123977 markings, 4971558 edges, 31122 markings/sec, 30 secs
lola: 1280753 markings, 5721891 edges, 31355 markings/sec, 35 secs
lola: 1436605 markings, 6501912 edges, 31170 markings/sec, 40 secs
lola: 1590420 markings, 7258183 edges, 30763 markings/sec, 45 secs
lola: 1746495 markings, 8033039 edges, 31215 markings/sec, 50 secs
lola: 1905007 markings, 8757343 edges, 31702 markings/sec, 55 secs
lola: 2068310 markings, 9412462 edges, 32661 markings/sec, 60 secs
lola: 2230867 markings, 10098212 edges, 32511 markings/sec, 65 secs
lola: 2393617 markings, 10818273 edges, 32550 markings/sec, 70 secs
lola: 2550111 markings, 11541011 edges, 31299 markings/sec, 75 secs
lola: 2706516 markings, 12330183 edges, 31281 markings/sec, 80 secs
lola: 2859881 markings, 13066208 edges, 30673 markings/sec, 85 secs
lola: 3012007 markings, 13875897 edges, 30425 markings/sec, 90 secs
lola: 3160841 markings, 14658141 edges, 29767 markings/sec, 95 secs
lola: 3307558 markings, 15444278 edges, 29343 markings/sec, 100 secs
lola: 3463691 markings, 16153528 edges, 31227 markings/sec, 105 secs
lola: 3617991 markings, 16914665 edges, 30860 markings/sec, 110 secs
lola: 3773042 markings, 17692214 edges, 31010 markings/sec, 115 secs
lola: 3921125 markings, 18472558 edges, 29617 markings/sec, 120 secs
lola: 4068773 markings, 19241646 edges, 29530 markings/sec, 125 secs
lola: 4216968 markings, 20040115 edges, 29639 markings/sec, 130 secs
lola: 4363893 markings, 20855424 edges, 29385 markings/sec, 135 secs
lola: 4526362 markings, 21502166 edges, 32494 markings/sec, 140 secs
lola: 4686007 markings, 22202379 edges, 31929 markings/sec, 145 secs
lola: 4845515 markings, 22961166 edges, 31902 markings/sec, 150 secs
lola: 5002493 markings, 23645847 edges, 31396 markings/sec, 155 secs
lola: 5153444 markings, 24433663 edges, 30190 markings/sec, 160 secs
lola: 5300465 markings, 25188199 edges, 29404 markings/sec, 165 secs
lola: 5446851 markings, 25993898 edges, 29277 markings/sec, 170 secs
lola: 5593536 markings, 26808804 edges, 29337 markings/sec, 175 secs
lola: 5736566 markings, 27643176 edges, 28606 markings/sec, 180 secs
lola: 5890550 markings, 28340378 edges, 30797 markings/sec, 185 secs
lola: 6035177 markings, 29118143 edges, 28925 markings/sec, 190 secs
lola: 6187362 markings, 29813649 edges, 30437 markings/sec, 195 secs
lola: 6330290 markings, 30607622 edges, 28586 markings/sec, 200 secs
lola: 6474917 markings, 31426172 edges, 28925 markings/sec, 205 secs
lola: 6615252 markings, 32224448 edges, 28067 markings/sec, 210 secs
lola: 6752295 markings, 32981351 edges, 27409 markings/sec, 215 secs
lola: 6896536 markings, 33792951 edges, 28848 markings/sec, 220 secs
lola: 7037896 markings, 34640006 edges, 28272 markings/sec, 225 secs
lola: 7181497 markings, 35296384 edges, 28720 markings/sec, 230 secs
lola: 7332644 markings, 36062622 edges, 30229 markings/sec, 235 secs
lola: 7475825 markings, 36848936 edges, 28636 markings/sec, 240 secs
lola: 7612609 markings, 37692374 edges, 27357 markings/sec, 245 secs
lola: 7752811 markings, 38519578 edges, 28040 markings/sec, 250 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 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p75 + p74 + p73 + p72 + p71 + p70 + p69 + p76)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 159130 markings, 395679 edges, 31826 markings/sec, 0 secs
lola: 321226 markings, 799028 edges, 32419 markings/sec, 5 secs
lola: 475419 markings, 1194202 edges, 30839 markings/sec, 10 secs
lola: 635544 markings, 1702455 edges, 32025 markings/sec, 15 secs
lola: 776439 markings, 2250338 edges, 28179 markings/sec, 20 secs
lola: 924158 markings, 2848526 edges, 29544 markings/sec, 25 secs
lola: 1075991 markings, 3411568 edges, 30367 markings/sec, 30 secs
lola: 1230689 markings, 4016913 edges, 30940 markings/sec, 35 secs
lola: 1373154 markings, 4577264 edges, 28493 markings/sec, 40 secs
lola: 1521878 markings, 5147430 edges, 29745 markings/sec, 45 secs
lola: 1664113 markings, 5717991 edges, 28447 markings/sec, 50 secs
lola: 1807123 markings, 6264065 edges, 28602 markings/sec, 55 secs
lola: 1941384 markings, 6822791 edges, 26852 markings/sec, 60 secs
lola: 2090751 markings, 7334131 edges, 29873 markings/sec, 65 secs
lola: 2225571 markings, 7907672 edges, 26964 markings/sec, 70 secs
lola: 2366136 markings, 8461601 edges, 28113 markings/sec, 75 secs
lola: 2515770 markings, 9021106 edges, 29927 markings/sec, 80 secs
lola: 2669983 markings, 9603651 edges, 30843 markings/sec, 85 secs
lola: 2817606 markings, 10163455 edges, 29525 markings/sec, 90 secs
lola: 2959695 markings, 10777192 edges, 28418 markings/sec, 95 secs
lola: 3094795 markings, 11372058 edges, 27020 markings/sec, 100 secs
lola: 3238547 markings, 11983551 edges, 28750 markings/sec, 105 secs
lola: 3377300 markings, 12523272 edges, 27751 markings/sec, 110 secs
lola: 3518093 markings, 13115221 edges, 28159 markings/sec, 115 secs
lola: 3662909 markings, 13681379 edges, 28963 markings/sec, 120 secs
lola: 3802946 markings, 14350679 edges, 28007 markings/sec, 125 secs
lola: 3942998 markings, 14914094 edges, 28010 markings/sec, 130 secs
lola: 4081932 markings, 15559602 edges, 27787 markings/sec, 135 secs
lola: 4221877 markings, 16132795 edges, 27989 markings/sec, 140 secs
lola: 4362979 markings, 16737386 edges, 28220 markings/sec, 145 secs
lola: 4509524 markings, 17365324 edges, 29309 markings/sec, 150 secs
lola: 4649771 markings, 17926851 edges, 28049 markings/sec, 155 secs
lola: 4786675 markings, 18544944 edges, 27381 markings/sec, 160 secs
lola: 4924024 markings, 19156103 edges, 27470 markings/sec, 165 secs
lola: 5068823 markings, 19733307 edges, 28960 markings/sec, 170 secs
lola: 5207949 markings, 20257739 edges, 27825 markings/sec, 175 secs
lola: 5345806 markings, 20955873 edges, 27571 markings/sec, 180 secs
lola: 5482429 markings, 21556794 edges, 27325 markings/sec, 185 secs
lola: 5621549 markings, 22157036 edges, 27824 markings/sec, 190 secs
lola: 5747680 markings, 22752478 edges, 25226 markings/sec, 195 secs
lola: 5896705 markings, 23322774 edges, 29805 markings/sec, 200 secs
lola: 6037906 markings, 23919919 edges, 28240 markings/sec, 205 secs
lola: 6181189 markings, 24394512 edges, 28657 markings/sec, 210 secs
lola: 6309846 markings, 24906333 edges, 25731 markings/sec, 215 secs
lola: 6450448 markings, 25472185 edges, 28120 markings/sec, 220 secs
lola: 6588694 markings, 26067215 edges, 27649 markings/sec, 225 secs
lola: 6706962 markings, 26597700 edges, 23654 markings/sec, 230 secs
lola: 6823212 markings, 27097622 edges, 23250 markings/sec, 235 secs
lola: 6954458 markings, 27693884 edges, 26249 markings/sec, 240 secs
lola: 7088728 markings, 28301129 edges, 26854 markings/sec, 245 secs
lola: 7230433 markings, 28846156 edges, 28341 markings/sec, 250 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 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 151935 markings, 379140 edges, 30387 markings/sec, 0 secs
lola: 301405 markings, 749781 edges, 29894 markings/sec, 5 secs
lola: 431003 markings, 1080245 edges, 25920 markings/sec, 10 secs
lola: 580168 markings, 1503101 edges, 29833 markings/sec, 15 secs
lola: 717106 markings, 2000217 edges, 27388 markings/sec, 20 secs
lola: 842552 markings, 2526135 edges, 25089 markings/sec, 25 secs
lola: 997487 markings, 3130733 edges, 30987 markings/sec, 30 secs
lola: 1146733 markings, 3699307 edges, 29849 markings/sec, 35 secs
lola: 1295446 markings, 4284392 edges, 29743 markings/sec, 40 secs
lola: 1440557 markings, 4876830 edges, 29022 markings/sec, 45 secs
lola: 1599146 markings, 5458025 edges, 31718 markings/sec, 50 secs
lola: 1750507 markings, 6022129 edges, 30272 markings/sec, 55 secs
lola: 1891624 markings, 6610511 edges, 28223 markings/sec, 60 secs
lola: 2038417 markings, 7174729 edges, 29359 markings/sec, 65 secs
lola: 2181754 markings, 7744550 edges, 28667 markings/sec, 70 secs
lola: 2324086 markings, 8294797 edges, 28466 markings/sec, 75 secs
lola: 2470780 markings, 8846300 edges, 29339 markings/sec, 80 secs
lola: 2625417 markings, 9418749 edges, 30927 markings/sec, 85 secs
lola: 2775929 markings, 10017469 edges, 30102 markings/sec, 90 secs
lola: 2920350 markings, 10603899 edges, 28884 markings/sec, 95 secs
lola: 3061613 markings, 11230017 edges, 28253 markings/sec, 100 secs
lola: 3207689 markings, 11843140 edges, 29215 markings/sec, 105 secs
lola: 3356305 markings, 12470337 edges, 29723 markings/sec, 110 secs
lola: 3506180 markings, 13063553 edges, 29975 markings/sec, 115 secs
lola: 3652393 markings, 13649136 edges, 29243 markings/sec, 120 secs
lola: 3798340 markings, 14325987 edges, 29189 markings/sec, 125 secs
lola: 3939408 markings, 14897811 edges, 28214 markings/sec, 130 secs
lola: 4080613 markings, 15551700 edges, 28241 markings/sec, 135 secs
lola: 4227010 markings, 16157371 edges, 29279 markings/sec, 140 secs
lola: 4376477 markings, 16788190 edges, 29893 markings/sec, 145 secs
lola: 4525025 markings, 17415927 edges, 29710 markings/sec, 150 secs
lola: 4664031 markings, 17999603 edges, 27801 markings/sec, 155 secs
lola: 4802375 markings, 18615892 edges, 27669 markings/sec, 160 secs
lola: 4939833 markings, 19231718 edges, 27492 markings/sec, 165 secs
lola: 5085612 markings, 19807629 edges, 29156 markings/sec, 170 secs
lola: 5224581 markings, 20349395 edges, 27794 markings/sec, 175 secs
lola: 5363839 markings, 21039590 edges, 27852 markings/sec, 180 secs
lola: 5502293 markings, 21615462 edges, 27691 markings/sec, 185 secs
lola: 5641755 markings, 22243844 edges, 27892 markings/sec, 190 secs
lola: 5778579 markings, 22874468 edges, 27365 markings/sec, 195 secs
lola: 5926238 markings, 23454226 edges, 29532 markings/sec, 200 secs
lola: 6076696 markings, 24042167 edges, 30092 markings/sec, 205 secs
lola: 6220189 markings, 24565231 edges, 28699 markings/sec, 210 secs
lola: 6360203 markings, 25115484 edges, 28003 markings/sec, 215 secs
lola: 6501318 markings, 25681443 edges, 28223 markings/sec, 220 secs
lola: 6636966 markings, 26311010 edges, 27130 markings/sec, 225 secs
lola: 6774145 markings, 26881773 edges, 27436 markings/sec, 230 secs
lola: 6910045 markings, 27502932 edges, 27180 markings/sec, 235 secs
lola: 7045720 markings, 28109287 edges, 27135 markings/sec, 240 secs
lola: 7184679 markings, 28680099 edges, 27792 markings/sec, 245 secs
lola: 7327427 markings, 29261904 edges, 28550 markings/sec, 250 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 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p191)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 12 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p191)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 13 will run for 428 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 282197 markings, 1205316 edges, 56439 markings/sec, 0 secs
lola: 557433 markings, 2592842 edges, 55047 markings/sec, 5 secs
lola: 837164 markings, 3946097 edges, 55946 markings/sec, 10 secs
lola: 1113831 markings, 5334089 edges, 55333 markings/sec, 15 secs
lola: 1387140 markings, 6683259 edges, 54662 markings/sec, 20 secs
lola: 1651255 markings, 7978220 edges, 52823 markings/sec, 25 secs
lola: 1925572 markings, 9327772 edges, 54863 markings/sec, 30 secs
lola: 2198439 markings, 10620268 edges, 54573 markings/sec, 35 secs
lola: 2458184 markings, 12023317 edges, 51949 markings/sec, 40 secs
lola: 2709542 markings, 13528589 edges, 50272 markings/sec, 45 secs
lola: 2975338 markings, 14938359 edges, 53159 markings/sec, 50 secs
lola: 3228500 markings, 16453303 edges, 50632 markings/sec, 55 secs
lola: 3482369 markings, 17913808 edges, 50774 markings/sec, 60 secs
lola: 3738187 markings, 19355508 edges, 51164 markings/sec, 65 secs
lola: 3993907 markings, 20867117 edges, 51144 markings/sec, 70 secs
lola: 4244829 markings, 22270410 edges, 50184 markings/sec, 75 secs
lola: 4486540 markings, 23658226 edges, 48342 markings/sec, 80 secs
lola: 4736874 markings, 25025715 edges, 50067 markings/sec, 85 secs
lola: 4993777 markings, 26497174 edges, 51381 markings/sec, 90 secs
lola: 5244674 markings, 27913781 edges, 50179 markings/sec, 95 secs
lola: 5486396 markings, 29450756 edges, 48344 markings/sec, 100 secs
lola: 5726709 markings, 31037799 edges, 48063 markings/sec, 105 secs
lola: 5966745 markings, 32630087 edges, 48007 markings/sec, 110 secs
lola: 6195336 markings, 34080490 edges, 45718 markings/sec, 115 secs
lola: 6442002 markings, 35574730 edges, 49333 markings/sec, 120 secs
lola: 6700586 markings, 36935280 edges, 51717 markings/sec, 125 secs
lola: 6953929 markings, 38290174 edges, 50669 markings/sec, 130 secs
lola: 7191547 markings, 39773812 edges, 47524 markings/sec, 135 secs
lola: 7428739 markings, 41353900 edges, 47438 markings/sec, 140 secs
lola: 7668053 markings, 43005928 edges, 47863 markings/sec, 145 secs
lola: 7916968 markings, 44444630 edges, 49783 markings/sec, 150 secs
lola: 8142340 markings, 46114348 edges, 45074 markings/sec, 155 secs
lola: 8390810 markings, 47526525 edges, 49694 markings/sec, 160 secs
lola: 8633667 markings, 49013923 edges, 48571 markings/sec, 165 secs
lola: 8862987 markings, 50668852 edges, 45864 markings/sec, 170 secs
lola: 9103307 markings, 52107750 edges, 48064 markings/sec, 175 secs
lola: 9333617 markings, 53666991 edges, 46062 markings/sec, 180 secs
lola: 9568203 markings, 55179746 edges, 46917 markings/sec, 185 secs
lola: 9801176 markings, 56741431 edges, 46595 markings/sec, 190 secs
lola: 10050414 markings, 58156771 edges, 49848 markings/sec, 195 secs
lola: 10290737 markings, 59737886 edges, 48065 markings/sec, 200 secs
lola: 10531796 markings, 61304395 edges, 48212 markings/sec, 205 secs
lola: 10768365 markings, 62880675 edges, 47314 markings/sec, 210 secs
lola: 11004160 markings, 64465339 edges, 47159 markings/sec, 215 secs
lola: 11234821 markings, 65798778 edges, 46132 markings/sec, 220 secs
lola: 11453411 markings, 67259070 edges, 43718 markings/sec, 225 secs
lola: 11671978 markings, 68664033 edges, 43713 markings/sec, 230 secs
lola: 11887042 markings, 70053280 edges, 43013 markings/sec, 235 secs
lola: 12128672 markings, 71423299 edges, 48326 markings/sec, 240 secs
lola: 12364672 markings, 72930964 edges, 47200 markings/sec, 245 secs
lola: 12598479 markings, 74462928 edges, 46761 markings/sec, 250 secs
lola: 12836144 markings, 75997779 edges, 47533 markings/sec, 255 secs
lola: 13064554 markings, 77447134 edges, 45682 markings/sec, 260 secs
lola: 13301197 markings, 78800842 edges, 47329 markings/sec, 265 secs
lola: 13534538 markings, 80233669 edges, 46668 markings/sec, 270 secs
lola: 13757953 markings, 81739357 edges, 44683 markings/sec, 275 secs
lola: 13984989 markings, 83258622 edges, 45407 markings/sec, 280 secs
lola: 14201484 markings, 84686112 edges, 43299 markings/sec, 285 secs
lola: 14423623 markings, 86140620 edges, 44428 markings/sec, 290 secs
lola: 14649844 markings, 87639642 edges, 45244 markings/sec, 295 secs
lola: 14866022 markings, 89326148 edges, 43236 markings/sec, 300 secs
lola: 15079505 markings, 91013818 edges, 42697 markings/sec, 305 secs
lola: 15287170 markings, 92693888 edges, 41533 markings/sec, 310 secs
lola: 15501741 markings, 94372536 edges, 42914 markings/sec, 315 secs
lola: 15716079 markings, 96100013 edges, 42868 markings/sec, 320 secs
lola: 15911878 markings, 97628671 edges, 39160 markings/sec, 325 secs
lola: 16119933 markings, 99218386 edges, 41611 markings/sec, 330 secs
lola: 16327983 markings, 100815913 edges, 41610 markings/sec, 335 secs
lola: 16565666 markings, 102302572 edges, 47537 markings/sec, 340 secs
lola: 16778161 markings, 103983630 edges, 42499 markings/sec, 345 secs
lola: 17010509 markings, 105601624 edges, 46470 markings/sec, 350 secs
lola: 17231434 markings, 107356879 edges, 44185 markings/sec, 355 secs
lola: 17450800 markings, 109069098 edges, 43873 markings/sec, 360 secs
lola: 17678345 markings, 110708174 edges, 45509 markings/sec, 365 secs
lola: 17901233 markings, 112429634 edges, 44578 markings/sec, 370 secs
lola: 18108146 markings, 113974694 edges, 41383 markings/sec, 375 secs
lola: 18323969 markings, 115515710 edges, 43165 markings/sec, 380 secs
lola: 18549068 markings, 117228925 edges, 45020 markings/sec, 385 secs
lola: 18763620 markings, 118752116 edges, 42910 markings/sec, 390 secs
lola: 18977484 markings, 120361299 edges, 42773 markings/sec, 395 secs
lola: 19184520 markings, 121889138 edges, 41407 markings/sec, 400 secs
lola: 19388721 markings, 123609220 edges, 40840 markings/sec, 405 secs
lola: 19592849 markings, 125410681 edges, 40826 markings/sec, 410 secs
lola: 19796424 markings, 127265213 edges, 40715 markings/sec, 415 secs
lola: 19989094 markings, 128933951 edges, 38534 markings/sec, 420 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 428 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 159412 markings, 396306 edges, 31882 markings/sec, 0 secs
lola: 321446 markings, 799496 edges, 32407 markings/sec, 5 secs
lola: 475274 markings, 1193910 edges, 30766 markings/sec, 10 secs
lola: 634974 markings, 1699580 edges, 31940 markings/sec, 15 secs
lola: 782782 markings, 2278546 edges, 29562 markings/sec, 20 secs
lola: 931454 markings, 2870422 edges, 29734 markings/sec, 25 secs
lola: 1086808 markings, 3455001 edges, 31071 markings/sec, 30 secs
lola: 1237465 markings, 4051257 edges, 30131 markings/sec, 35 secs
lola: 1382723 markings, 4618253 edges, 29052 markings/sec, 40 secs
lola: 1532836 markings, 5192882 edges, 30023 markings/sec, 45 secs
lola: 1688070 markings, 5802639 edges, 31047 markings/sec, 50 secs
lola: 1829448 markings, 6367782 edges, 28276 markings/sec, 55 secs
lola: 1973070 markings, 6926700 edges, 28724 markings/sec, 60 secs
lola: 2112841 markings, 7406726 edges, 27954 markings/sec, 65 secs
lola: 2253258 markings, 8025982 edges, 28083 markings/sec, 70 secs
lola: 2394267 markings, 8589993 edges, 28202 markings/sec, 75 secs
lola: 2538738 markings, 9112341 edges, 28894 markings/sec, 80 secs
lola: 2694221 markings, 9693920 edges, 31097 markings/sec, 85 secs
lola: 2840872 markings, 10266730 edges, 29330 markings/sec, 90 secs
lola: 2985033 markings, 10877723 edges, 28832 markings/sec, 95 secs
lola: 3123238 markings, 11532069 edges, 27641 markings/sec, 100 secs
lola: 3273521 markings, 12128264 edges, 30057 markings/sec, 105 secs
lola: 3422147 markings, 12702018 edges, 29725 markings/sec, 110 secs
lola: 3569533 markings, 13350615 edges, 29477 markings/sec, 115 secs
lola: 3715388 markings, 13935983 edges, 29171 markings/sec, 120 secs
lola: 3857683 markings, 14571777 edges, 28459 markings/sec, 125 secs
lola: 4003471 markings, 15175889 edges, 29158 markings/sec, 130 secs
lola: 4140940 markings, 15837981 edges, 27494 markings/sec, 135 secs
lola: 4292402 markings, 16439343 edges, 30292 markings/sec, 140 secs
lola: 4440700 markings, 17063183 edges, 29660 markings/sec, 145 secs
lola: 4586362 markings, 17639944 edges, 29132 markings/sec, 150 secs
lola: 4726023 markings, 18280341 edges, 27932 markings/sec, 155 secs
lola: 4864840 markings, 18872351 edges, 27763 markings/sec, 160 secs
lola: 5006773 markings, 19471820 edges, 28387 markings/sec, 165 secs
lola: 5150220 markings, 20039082 edges, 28689 markings/sec, 170 secs
lola: 5289572 markings, 20658137 edges, 27870 markings/sec, 175 secs
lola: 5427019 markings, 21308707 edges, 27489 markings/sec, 180 secs
lola: 5568045 markings, 21908656 edges, 28205 markings/sec, 185 secs
lola: 5705287 markings, 22544090 edges, 27448 markings/sec, 190 secs
lola: 5850324 markings, 23128969 edges, 29007 markings/sec, 195 secs
lola: 5995005 markings, 23747552 edges, 28936 markings/sec, 200 secs
lola: 6148494 markings, 24261216 edges, 30698 markings/sec, 205 secs
lola: 6288586 markings, 24829445 edges, 28018 markings/sec, 210 secs
lola: 6428957 markings, 25388703 edges, 28074 markings/sec, 215 secs
lola: 6568518 markings, 25977785 edges, 27912 markings/sec, 220 secs
lola: 6704713 markings, 26589829 edges, 27239 markings/sec, 225 secs
lola: 6841621 markings, 27176409 edges, 27382 markings/sec, 230 secs
lola: 6976641 markings, 27807176 edges, 27004 markings/sec, 235 secs
lola: 7112861 markings, 28400337 edges, 27244 markings/sec, 240 secs
lola: 7255949 markings, 28951083 edges, 28618 markings/sec, 245 secs
lola: 7397083 markings, 29542677 edges, 28227 markings/sec, 250 secs
lola: 7533489 markings, 30173712 edges, 27281 markings/sec, 255 secs
lola: 7668641 markings, 30808014 edges, 27030 markings/sec, 260 secs
lola: 7801164 markings, 31445016 edges, 26505 markings/sec, 265 secs
lola: 7947776 markings, 31992485 edges, 29322 markings/sec, 270 secs
lola: 8089882 markings, 32589463 edges, 28421 markings/sec, 275 secs
lola: 8225908 markings, 33181566 edges, 27205 markings/sec, 280 secs
lola: 8356868 markings, 33824182 edges, 26192 markings/sec, 285 secs
lola: 8496503 markings, 34396221 edges, 27927 markings/sec, 290 secs
lola: 8634607 markings, 34996858 edges, 27621 markings/sec, 295 secs
lola: 8767566 markings, 35618777 edges, 26592 markings/sec, 300 secs
lola: 8899843 markings, 36274819 edges, 26455 markings/sec, 305 secs
lola: 9030119 markings, 36922294 edges, 26055 markings/sec, 310 secs
lola: 9171475 markings, 37445261 edges, 28271 markings/sec, 315 secs
lola: 9312453 markings, 38038090 edges, 28196 markings/sec, 320 secs
lola: 9452969 markings, 38585043 edges, 28103 markings/sec, 325 secs
lola: 9589177 markings, 39203754 edges, 27242 markings/sec, 330 secs
lola: 9716468 markings, 39869542 edges, 25458 markings/sec, 335 secs
lola: 9856251 markings, 40461143 edges, 27957 markings/sec, 340 secs
lola: 10004432 markings, 41030377 edges, 29636 markings/sec, 345 secs
lola: 10144477 markings, 41631144 edges, 28009 markings/sec, 350 secs
lola: 10291246 markings, 42178281 edges, 29354 markings/sec, 355 secs
lola: 10429436 markings, 42736879 edges, 27638 markings/sec, 360 secs
lola: 10566842 markings, 43314040 edges, 27481 markings/sec, 365 secs
lola: 10701272 markings, 43933328 edges, 26886 markings/sec, 370 secs
lola: 10834448 markings, 44561856 edges, 26635 markings/sec, 375 secs
lola: 10966875 markings, 45204546 edges, 26485 markings/sec, 380 secs
lola: 11099034 markings, 45845069 edges, 26432 markings/sec, 385 secs
lola: 11232402 markings, 46462165 edges, 26674 markings/sec, 390 secs
lola: 11373827 markings, 47022096 edges, 28285 markings/sec, 395 secs
lola: 11512053 markings, 47633410 edges, 27645 markings/sec, 400 secs
lola: 11649028 markings, 48211470 edges, 27395 markings/sec, 405 secs
lola: 11781860 markings, 48875764 edges, 26566 markings/sec, 410 secs
lola: 11910281 markings, 49563945 edges, 25684 markings/sec, 415 secs
lola: 12042388 markings, 50176575 edges, 26421 markings/sec, 420 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 428 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 269877 markings, 489262 edges, 53975 markings/sec, 0 secs
lola: 516151 markings, 1162080 edges, 49255 markings/sec, 5 secs
lola: 764463 markings, 1820132 edges, 49662 markings/sec, 10 secs
lola: 976615 markings, 2586794 edges, 42430 markings/sec, 15 secs
lola: 1169998 markings, 3208897 edges, 38677 markings/sec, 20 secs
lola: 1361378 markings, 3893382 edges, 38276 markings/sec, 25 secs
lola: 1554244 markings, 4587425 edges, 38573 markings/sec, 30 secs
lola: 1741593 markings, 5201611 edges, 37470 markings/sec, 35 secs
lola: 1957228 markings, 5897868 edges, 43127 markings/sec, 40 secs
lola: 2160800 markings, 6552475 edges, 40714 markings/sec, 45 secs
lola: 2362213 markings, 7080092 edges, 40283 markings/sec, 50 secs
lola: 2563472 markings, 7741534 edges, 40252 markings/sec, 55 secs
lola: 2786736 markings, 8396582 edges, 44653 markings/sec, 60 secs
lola: 2989802 markings, 9071845 edges, 40613 markings/sec, 65 secs
lola: 3193209 markings, 9761106 edges, 40681 markings/sec, 70 secs
lola: 3417174 markings, 10479049 edges, 44793 markings/sec, 75 secs
lola: 3615926 markings, 11111996 edges, 39750 markings/sec, 80 secs
lola: 3825216 markings, 11586815 edges, 41858 markings/sec, 85 secs
lola: 4027744 markings, 12237414 edges, 40506 markings/sec, 90 secs
lola: 4246617 markings, 12713191 edges, 43775 markings/sec, 95 secs
lola: 4427690 markings, 13554925 edges, 36215 markings/sec, 100 secs
lola: 4617710 markings, 14460740 edges, 38004 markings/sec, 105 secs
lola: 4822967 markings, 15005100 edges, 41051 markings/sec, 110 secs
lola: 5048053 markings, 15654649 edges, 45017 markings/sec, 115 secs
lola: 5304895 markings, 16189976 edges, 51368 markings/sec, 120 secs
lola: 5543259 markings, 16864188 edges, 47673 markings/sec, 125 secs
lola: 5772599 markings, 17591171 edges, 45868 markings/sec, 130 secs
lola: 5965010 markings, 18256462 edges, 38482 markings/sec, 135 secs
lola: 6152294 markings, 18914454 edges, 37457 markings/sec, 140 secs
lola: 6341595 markings, 19553636 edges, 37860 markings/sec, 145 secs
lola: 6527428 markings, 20255114 edges, 37167 markings/sec, 150 secs
lola: 6708196 markings, 20754295 edges, 36154 markings/sec, 155 secs
lola: 6901391 markings, 21472665 edges, 38639 markings/sec, 160 secs
lola: 7087009 markings, 22034243 edges, 37124 markings/sec, 165 secs
lola: 7264646 markings, 22663988 edges, 35527 markings/sec, 170 secs
lola: 7447747 markings, 23233359 edges, 36620 markings/sec, 175 secs
lola: 7647698 markings, 23776098 edges, 39990 markings/sec, 180 secs
lola: 7828160 markings, 24500822 edges, 36092 markings/sec, 185 secs
lola: 8021044 markings, 24985400 edges, 38577 markings/sec, 190 secs
lola: 8221594 markings, 25592892 edges, 40110 markings/sec, 195 secs
lola: 8400317 markings, 26332073 edges, 35745 markings/sec, 200 secs
lola: 8566286 markings, 27009162 edges, 33194 markings/sec, 205 secs
lola: 8743442 markings, 27624090 edges, 35431 markings/sec, 210 secs
lola: 8899591 markings, 28126270 edges, 31230 markings/sec, 215 secs
lola: 9110402 markings, 28822163 edges, 42162 markings/sec, 220 secs
lola: 9296521 markings, 29429463 edges, 37224 markings/sec, 225 secs
lola: 9470536 markings, 29985130 edges, 34803 markings/sec, 230 secs
lola: 9654576 markings, 30576914 edges, 36808 markings/sec, 235 secs
lola: 9845761 markings, 31224675 edges, 38237 markings/sec, 240 secs
lola: 10008836 markings, 31756534 edges, 32615 markings/sec, 245 secs
lola: 10172536 markings, 32273003 edges, 32740 markings/sec, 250 secs
lola: 10358932 markings, 32910704 edges, 37279 markings/sec, 255 secs
lola: 10521071 markings, 33409168 edges, 32428 markings/sec, 260 secs
lola: 10710306 markings, 34023038 edges, 37847 markings/sec, 265 secs
lola: 10933050 markings, 34686123 edges, 44549 markings/sec, 270 secs
lola: 11119526 markings, 35303430 edges, 37295 markings/sec, 275 secs
lola: 11300710 markings, 35937613 edges, 36237 markings/sec, 280 secs
lola: 11483105 markings, 36596782 edges, 36479 markings/sec, 285 secs
lola: 11674044 markings, 37310881 edges, 38188 markings/sec, 290 secs
lola: 11874245 markings, 37989451 edges, 40040 markings/sec, 295 secs
lola: 12048329 markings, 38617198 edges, 34817 markings/sec, 300 secs
lola: 12227150 markings, 39219254 edges, 35764 markings/sec, 305 secs
lola: 12449109 markings, 39854530 edges, 44392 markings/sec, 310 secs
lola: 12629445 markings, 40473892 edges, 36067 markings/sec, 315 secs
lola: 12804954 markings, 41095299 edges, 35102 markings/sec, 320 secs
lola: 12983618 markings, 41743533 edges, 35733 markings/sec, 325 secs
lola: 13137248 markings, 42479105 edges, 30726 markings/sec, 330 secs
lola: 13292738 markings, 43139620 edges, 31098 markings/sec, 335 secs
lola: 13469276 markings, 43677284 edges, 35308 markings/sec, 340 secs
lola: 13670297 markings, 44387246 edges, 40204 markings/sec, 345 secs
lola: 13870506 markings, 45070201 edges, 40042 markings/sec, 350 secs
lola: 14039900 markings, 45720414 edges, 33879 markings/sec, 355 secs
lola: 14206193 markings, 46368070 edges, 33259 markings/sec, 360 secs
lola: 14370825 markings, 46996357 edges, 32926 markings/sec, 365 secs
lola: 14545856 markings, 47575439 edges, 35006 markings/sec, 370 secs
lola: 14746329 markings, 48168613 edges, 40095 markings/sec, 375 secs
lola: 14927157 markings, 48715549 edges, 36166 markings/sec, 380 secs
lola: 15105925 markings, 49383567 edges, 35754 markings/sec, 385 secs
lola: 15287413 markings, 49995003 edges, 36298 markings/sec, 390 secs
lola: 15445662 markings, 50513414 edges, 31650 markings/sec, 395 secs
lola: 15570546 markings, 50879168 edges, 24977 markings/sec, 400 secs
lola: 15692148 markings, 51208577 edges, 24320 markings/sec, 405 secs
lola: 15811647 markings, 51537874 edges, 23900 markings/sec, 410 secs
lola: 15935625 markings, 51897692 edges, 24796 markings/sec, 415 secs
lola: 16053625 markings, 52224702 edges, 23600 markings/sec, 420 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown 20 unknown 10 unknown unknown unknown unknown unknown unknown unknown 10 10 unknown unknown unknown
FORMULA PermAdmissibility-COL-10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-1 20 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-3 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-11 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-12 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494654399411

--------------------
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="PermAdmissibility-COL-10"
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/PermAdmissibility-COL-10.tgz
mv PermAdmissibility-COL-10 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is PermAdmissibility-COL-10, 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 r038-blw7-149440484900371"
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 ;