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

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

=== Now, execution of the tool begins

BK_START 1494948126070


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Vasy2003-PT-none @ 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: 1261/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 485 places, 776 transitions, 419 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 962 transition conflict sets
lola: TASK
lola: reading formula from Vasy2003-PT-none-UpperBounds.task
lola: MAX(p131) : MAX(p194) : MAX(p121) : MAX(p465) : MAX(p430) : MAX(p413) : MAX(p145) : MAX(p232) : MAX(p316) : MAX(p386) : MAX(p279) : MAX(p33) : MAX(p52) : MAX(p356) : MAX(p239) : MAX(p25)
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(p131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 261859 markings, 320833 edges, 52372 markings/sec, 0 secs
lola: 531782 markings, 651144 edges, 53985 markings/sec, 5 secs
lola: 800505 markings, 983192 edges, 53745 markings/sec, 10 secs
lola: 1071862 markings, 1316731 edges, 54271 markings/sec, 15 secs
lola: 1343012 markings, 1648878 edges, 54230 markings/sec, 20 secs
lola: 1614248 markings, 1980961 edges, 54247 markings/sec, 25 secs
lola: 1886303 markings, 2314740 edges, 54411 markings/sec, 30 secs
lola: 2161740 markings, 2651753 edges, 55087 markings/sec, 35 secs
lola: 2442192 markings, 2995291 edges, 56090 markings/sec, 40 secs
lola: 2720694 markings, 3338710 edges, 55700 markings/sec, 45 secs
lola: 2996457 markings, 3683025 edges, 55153 markings/sec, 50 secs
lola: 3273448 markings, 4027637 edges, 55398 markings/sec, 55 secs
lola: 3548106 markings, 4365973 edges, 54932 markings/sec, 60 secs
lola: 3824189 markings, 4704937 edges, 55217 markings/sec, 65 secs
lola: 4099681 markings, 5043260 edges, 55098 markings/sec, 70 secs
lola: 4373765 markings, 5382511 edges, 54817 markings/sec, 75 secs
lola: 4648795 markings, 5720088 edges, 55006 markings/sec, 80 secs
lola: 4923195 markings, 6056846 edges, 54880 markings/sec, 85 secs
lola: 5195942 markings, 6394539 edges, 54549 markings/sec, 90 secs
lola: 5469747 markings, 6730737 edges, 54761 markings/sec, 95 secs
lola: 5743677 markings, 7066213 edges, 54786 markings/sec, 100 secs
lola: 6014312 markings, 7402300 edges, 54127 markings/sec, 105 secs
lola: 6286439 markings, 7735124 edges, 54425 markings/sec, 110 secs
lola: 6554222 markings, 8068401 edges, 53557 markings/sec, 115 secs
lola: 6821635 markings, 8398406 edges, 53483 markings/sec, 120 secs
lola: 7090991 markings, 8732033 edges, 53871 markings/sec, 125 secs
lola: 7363203 markings, 9067294 edges, 54442 markings/sec, 130 secs
lola: 7630328 markings, 9396713 edges, 53425 markings/sec, 135 secs
lola: 7902013 markings, 9729144 edges, 54337 markings/sec, 140 secs
lola: 8171777 markings, 10062339 edges, 53953 markings/sec, 145 secs
lola: 8441528 markings, 10395901 edges, 53950 markings/sec, 150 secs
lola: 8710960 markings, 10728810 edges, 53886 markings/sec, 155 secs
lola: 8982462 markings, 11061698 edges, 54300 markings/sec, 160 secs
lola: 9250528 markings, 11393272 edges, 53613 markings/sec, 165 secs
lola: 9518277 markings, 11724865 edges, 53550 markings/sec, 170 secs
lola: 9788913 markings, 12056498 edges, 54127 markings/sec, 175 secs
lola: 10057613 markings, 12388251 edges, 53740 markings/sec, 180 secs
lola: 10326304 markings, 12721708 edges, 53738 markings/sec, 185 secs
lola: 10597919 markings, 13053836 edges, 54323 markings/sec, 190 secs
lola: 10867965 markings, 13387775 edges, 54009 markings/sec, 195 secs
lola: 11139000 markings, 13722347 edges, 54207 markings/sec, 200 secs
lola: 11412671 markings, 14057066 edges, 54734 markings/sec, 205 secs
lola: 11683759 markings, 14392112 edges, 54218 markings/sec, 210 secs
lola: 11955853 markings, 14726779 edges, 54419 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(p194)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 184032 markings, 319987 edges, 36806 markings/sec, 0 secs
lola: 365442 markings, 650351 edges, 36282 markings/sec, 5 secs
lola: 547058 markings, 979974 edges, 36323 markings/sec, 10 secs
lola: 728011 markings, 1321695 edges, 36191 markings/sec, 15 secs
lola: 908584 markings, 1668747 edges, 36115 markings/sec, 20 secs
lola: 1090324 markings, 2007698 edges, 36348 markings/sec, 25 secs
lola: 1272284 markings, 2338073 edges, 36392 markings/sec, 30 secs
lola: 1454970 markings, 2660911 edges, 36537 markings/sec, 35 secs
lola: 1635441 markings, 2985638 edges, 36094 markings/sec, 40 secs
lola: 1815808 markings, 3315729 edges, 36073 markings/sec, 45 secs
lola: 1995698 markings, 3644293 edges, 35978 markings/sec, 50 secs
lola: 2178190 markings, 3976259 edges, 36498 markings/sec, 55 secs
lola: 2360105 markings, 4303739 edges, 36383 markings/sec, 60 secs
lola: 2540915 markings, 4630916 edges, 36162 markings/sec, 65 secs
lola: 2720440 markings, 4975495 edges, 35905 markings/sec, 70 secs
lola: 2897623 markings, 5313597 edges, 35437 markings/sec, 75 secs
lola: 3077660 markings, 5647183 edges, 36007 markings/sec, 80 secs
lola: 3259641 markings, 5978158 edges, 36396 markings/sec, 85 secs
lola: 3440652 markings, 6308524 edges, 36202 markings/sec, 90 secs
lola: 3618971 markings, 6637741 edges, 35664 markings/sec, 95 secs
lola: 3800243 markings, 6959699 edges, 36254 markings/sec, 100 secs
lola: 3977641 markings, 7287809 edges, 35480 markings/sec, 105 secs
lola: 4158365 markings, 7613423 edges, 36145 markings/sec, 110 secs
lola: 4335810 markings, 7936309 edges, 35489 markings/sec, 115 secs
lola: 4511376 markings, 8261656 edges, 35113 markings/sec, 120 secs
lola: 4688520 markings, 8580654 edges, 35429 markings/sec, 125 secs
lola: 4867512 markings, 8903791 edges, 35798 markings/sec, 130 secs
lola: 5044638 markings, 9234969 edges, 35425 markings/sec, 135 secs
lola: 5227173 markings, 9561228 edges, 36507 markings/sec, 140 secs
lola: 5400912 markings, 9896694 edges, 34748 markings/sec, 145 secs
lola: 5575263 markings, 10231825 edges, 34870 markings/sec, 150 secs
lola: 5751456 markings, 10575126 edges, 35239 markings/sec, 155 secs
lola: 5941226 markings, 10920363 edges, 37954 markings/sec, 160 secs
lola: 6128754 markings, 11252589 edges, 37506 markings/sec, 165 secs
lola: 6311421 markings, 11596247 edges, 36533 markings/sec, 170 secs
lola: 6494821 markings, 11940646 edges, 36680 markings/sec, 175 secs
lola: 6680330 markings, 12278271 edges, 37102 markings/sec, 180 secs
lola: 6862592 markings, 12627592 edges, 36452 markings/sec, 185 secs
lola: 7046179 markings, 12965996 edges, 36717 markings/sec, 190 secs
lola: 7231580 markings, 13309584 edges, 37080 markings/sec, 195 secs
lola: 7418482 markings, 13647344 edges, 37380 markings/sec, 200 secs
lola: 7606707 markings, 13988691 edges, 37645 markings/sec, 205 secs
lola: 7799025 markings, 14338675 edges, 38464 markings/sec, 210 secs
lola: 7982734 markings, 14685183 edges, 36742 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(p121)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p465)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 187056 markings, 359439 edges, 37411 markings/sec, 0 secs
lola: 375061 markings, 721514 edges, 37601 markings/sec, 5 secs
lola: 561293 markings, 1080363 edges, 37246 markings/sec, 10 secs
lola: 748641 markings, 1440726 edges, 37470 markings/sec, 15 secs
lola: 933475 markings, 1796824 edges, 36967 markings/sec, 20 secs
lola: 1117272 markings, 2150276 edges, 36759 markings/sec, 25 secs
lola: 1300138 markings, 2502813 edges, 36573 markings/sec, 30 secs
lola: 1482433 markings, 2853634 edges, 36459 markings/sec, 35 secs
lola: 1664848 markings, 3204170 edges, 36483 markings/sec, 40 secs
lola: 1846537 markings, 3554655 edges, 36338 markings/sec, 45 secs
lola: 2027504 markings, 3903339 edges, 36193 markings/sec, 50 secs
lola: 2206050 markings, 4248973 edges, 35709 markings/sec, 55 secs
lola: 2386784 markings, 4597050 edges, 36147 markings/sec, 60 secs
lola: 2569178 markings, 4949639 edges, 36479 markings/sec, 65 secs
lola: 2749634 markings, 5298706 edges, 36091 markings/sec, 70 secs
lola: 2930627 markings, 5648502 edges, 36199 markings/sec, 75 secs
lola: 3110430 markings, 5994791 edges, 35961 markings/sec, 80 secs
lola: 3291071 markings, 6343162 edges, 36128 markings/sec, 85 secs
lola: 3473281 markings, 6695003 edges, 36442 markings/sec, 90 secs
lola: 3653975 markings, 7043924 edges, 36139 markings/sec, 95 secs
lola: 3834980 markings, 7392265 edges, 36201 markings/sec, 100 secs
lola: 4015631 markings, 7741529 edges, 36130 markings/sec, 105 secs
lola: 4195236 markings, 8088253 edges, 35921 markings/sec, 110 secs
lola: 4374615 markings, 8436280 edges, 35876 markings/sec, 115 secs
lola: 4553499 markings, 8783753 edges, 35777 markings/sec, 120 secs
lola: 4737530 markings, 9138682 edges, 36806 markings/sec, 125 secs
lola: 4920806 markings, 9491975 edges, 36655 markings/sec, 130 secs
lola: 5104273 markings, 9845439 edges, 36693 markings/sec, 135 secs
lola: 5284419 markings, 10192815 edges, 36029 markings/sec, 140 secs
lola: 5464380 markings, 10539616 edges, 35992 markings/sec, 145 secs
lola: 5645318 markings, 10890798 edges, 36188 markings/sec, 150 secs
lola: 5828247 markings, 11244124 edges, 36586 markings/sec, 155 secs
lola: 6006224 markings, 11587480 edges, 35595 markings/sec, 160 secs
lola: 6185969 markings, 11935075 edges, 35949 markings/sec, 165 secs
lola: 6367133 markings, 12284818 edges, 36233 markings/sec, 170 secs
lola: 6549002 markings, 12635393 edges, 36374 markings/sec, 175 secs
lola: 6728347 markings, 12982205 edges, 35869 markings/sec, 180 secs
lola: 6909315 markings, 13332075 edges, 36194 markings/sec, 185 secs
lola: 7091920 markings, 13683802 edges, 36521 markings/sec, 190 secs
lola: 7273027 markings, 14034663 edges, 36221 markings/sec, 195 secs
lola: 7453624 markings, 14382621 edges, 36119 markings/sec, 200 secs
lola: 7632335 markings, 14728027 edges, 35742 markings/sec, 205 secs
lola: 7811609 markings, 15073366 edges, 35855 markings/sec, 210 secs
lola: 7995591 markings, 15427448 edges, 36796 markings/sec, 215 secs
lola: 8180671 markings, 15783669 edges, 37016 markings/sec, 220 secs
lola: 8364684 markings, 16139348 edges, 36803 markings/sec, 225 secs
lola: 8546080 markings, 16490792 edges, 36279 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p430)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 211462 markings, 355139 edges, 42292 markings/sec, 0 secs
lola: 419730 markings, 711738 edges, 41654 markings/sec, 5 secs
lola: 629100 markings, 1067710 edges, 41874 markings/sec, 10 secs
lola: 834566 markings, 1421838 edges, 41093 markings/sec, 15 secs
lola: 1037020 markings, 1776754 edges, 40491 markings/sec, 20 secs
lola: 1237909 markings, 2135566 edges, 40178 markings/sec, 25 secs
lola: 1439037 markings, 2492090 edges, 40226 markings/sec, 30 secs
lola: 1641533 markings, 2845544 edges, 40499 markings/sec, 35 secs
lola: 1842718 markings, 3197584 edges, 40237 markings/sec, 40 secs
lola: 2043515 markings, 3551521 edges, 40159 markings/sec, 45 secs
lola: 2245141 markings, 3903033 edges, 40325 markings/sec, 50 secs
lola: 2442553 markings, 4254075 edges, 39482 markings/sec, 55 secs
lola: 2644406 markings, 4606924 edges, 40371 markings/sec, 60 secs
lola: 2844267 markings, 4954191 edges, 39972 markings/sec, 65 secs
lola: 3045175 markings, 5301470 edges, 40182 markings/sec, 70 secs
lola: 3247129 markings, 5653277 edges, 40391 markings/sec, 75 secs
lola: 3449945 markings, 6003194 edges, 40563 markings/sec, 80 secs
lola: 3654465 markings, 6354243 edges, 40904 markings/sec, 85 secs
lola: 3854858 markings, 6705547 edges, 40079 markings/sec, 90 secs
lola: 4056563 markings, 7056181 edges, 40341 markings/sec, 95 secs
lola: 4255062 markings, 7414784 edges, 39700 markings/sec, 100 secs
lola: 4452427 markings, 7768824 edges, 39473 markings/sec, 105 secs
lola: 4653183 markings, 8112506 edges, 40151 markings/sec, 110 secs
lola: 4850727 markings, 8466860 edges, 39509 markings/sec, 115 secs
lola: 5049453 markings, 8812840 edges, 39745 markings/sec, 120 secs
lola: 5250938 markings, 9161263 edges, 40297 markings/sec, 125 secs
lola: 5449512 markings, 9519038 edges, 39715 markings/sec, 130 secs
lola: 5652312 markings, 9865164 edges, 40560 markings/sec, 135 secs
lola: 5851761 markings, 10217329 edges, 39890 markings/sec, 140 secs
lola: 6045727 markings, 10570072 edges, 38793 markings/sec, 145 secs
lola: 6240285 markings, 10917789 edges, 38912 markings/sec, 150 secs
lola: 6435871 markings, 11265736 edges, 39117 markings/sec, 155 secs
lola: 6630427 markings, 11614299 edges, 38911 markings/sec, 160 secs
lola: 6830840 markings, 11966289 edges, 40083 markings/sec, 165 secs
lola: 7032885 markings, 12316668 edges, 40409 markings/sec, 170 secs
lola: 7231029 markings, 12665599 edges, 39629 markings/sec, 175 secs
lola: 7432158 markings, 13013001 edges, 40226 markings/sec, 180 secs
lola: 7629445 markings, 13351606 edges, 39457 markings/sec, 185 secs
lola: 7828529 markings, 13696600 edges, 39817 markings/sec, 190 secs
lola: 8031978 markings, 14050618 edges, 40690 markings/sec, 195 secs
lola: 8229693 markings, 14401165 edges, 39543 markings/sec, 200 secs
lola: 8432019 markings, 14752315 edges, 40465 markings/sec, 205 secs
lola: 8633887 markings, 15103113 edges, 40374 markings/sec, 210 secs
lola: 8831846 markings, 15452268 edges, 39592 markings/sec, 215 secs
lola: 9031710 markings, 15801269 edges, 39973 markings/sec, 220 secs
lola: 9230090 markings, 16142092 edges, 39676 markings/sec, 225 secs
lola: 9428032 markings, 16487871 edges, 39588 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p413)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 224377 markings, 334355 edges, 44875 markings/sec, 0 secs
lola: 445565 markings, 676603 edges, 44238 markings/sec, 5 secs
lola: 664234 markings, 1013059 edges, 43734 markings/sec, 10 secs
lola: 883707 markings, 1348946 edges, 43895 markings/sec, 15 secs
lola: 1104042 markings, 1684502 edges, 44067 markings/sec, 20 secs
lola: 1324780 markings, 2016330 edges, 44148 markings/sec, 25 secs
lola: 1536216 markings, 2353988 edges, 42287 markings/sec, 30 secs
lola: 1751473 markings, 2685082 edges, 43051 markings/sec, 35 secs
lola: 1975147 markings, 3030110 edges, 44735 markings/sec, 40 secs
lola: 2197273 markings, 3369855 edges, 44425 markings/sec, 45 secs
lola: 2418556 markings, 3704267 edges, 44257 markings/sec, 50 secs
lola: 2638811 markings, 4041732 edges, 44051 markings/sec, 55 secs
lola: 2855203 markings, 4390085 edges, 43278 markings/sec, 60 secs
lola: 3073095 markings, 4737191 edges, 43578 markings/sec, 65 secs
lola: 3294034 markings, 5078855 edges, 44188 markings/sec, 70 secs
lola: 3514811 markings, 5422714 edges, 44155 markings/sec, 75 secs
lola: 3736443 markings, 5762326 edges, 44326 markings/sec, 80 secs
lola: 3957415 markings, 6103925 edges, 44194 markings/sec, 85 secs
lola: 4175623 markings, 6447943 edges, 43642 markings/sec, 90 secs
lola: 4398961 markings, 6787443 edges, 44668 markings/sec, 95 secs
lola: 4620808 markings, 7131421 edges, 44369 markings/sec, 100 secs
lola: 4838954 markings, 7472317 edges, 43629 markings/sec, 105 secs
lola: 5054104 markings, 7815068 edges, 43030 markings/sec, 110 secs
lola: 5266253 markings, 8151124 edges, 42430 markings/sec, 115 secs
lola: 5483467 markings, 8487792 edges, 43443 markings/sec, 120 secs
lola: 5705192 markings, 8830014 edges, 44345 markings/sec, 125 secs
lola: 5926285 markings, 9167512 edges, 44219 markings/sec, 130 secs
lola: 6145062 markings, 9514205 edges, 43755 markings/sec, 135 secs
lola: 6364778 markings, 9862027 edges, 43943 markings/sec, 140 secs
lola: 6581601 markings, 10207552 edges, 43365 markings/sec, 145 secs
lola: 6798257 markings, 10550553 edges, 43331 markings/sec, 150 secs
lola: 7016027 markings, 10890490 edges, 43554 markings/sec, 155 secs
lola: 7232478 markings, 11227302 edges, 43290 markings/sec, 160 secs
lola: 7448432 markings, 11566349 edges, 43191 markings/sec, 165 secs
lola: 7662288 markings, 11903249 edges, 42771 markings/sec, 170 secs
lola: 7886117 markings, 12242400 edges, 44766 markings/sec, 175 secs
lola: 8103150 markings, 12580245 edges, 43407 markings/sec, 180 secs
lola: 8319759 markings, 12911080 edges, 43322 markings/sec, 185 secs
lola: 8531199 markings, 13242943 edges, 42288 markings/sec, 190 secs
lola: 8751733 markings, 13581413 edges, 44107 markings/sec, 195 secs
lola: 8972974 markings, 13914034 edges, 44248 markings/sec, 200 secs
lola: 9186864 markings, 14249595 edges, 42778 markings/sec, 205 secs
lola: 9399439 markings, 14591207 edges, 42515 markings/sec, 210 secs
lola: 9616071 markings, 14929932 edges, 43326 markings/sec, 215 secs
lola: 9838295 markings, 15272137 edges, 44445 markings/sec, 220 secs
lola: 10054021 markings, 15605720 edges, 43145 markings/sec, 225 secs
lola: 10268756 markings, 15948163 edges, 42947 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p145)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 275582 markings, 331221 edges, 55116 markings/sec, 0 secs
lola: 554019 markings, 666791 edges, 55687 markings/sec, 5 secs
lola: 829830 markings, 1000488 edges, 55162 markings/sec, 10 secs
lola: 1107212 markings, 1337405 edges, 55476 markings/sec, 15 secs
lola: 1388631 markings, 1670718 edges, 56284 markings/sec, 20 secs
lola: 1664742 markings, 2007635 edges, 55222 markings/sec, 25 secs
lola: 1938913 markings, 2347031 edges, 54834 markings/sec, 30 secs
lola: 2212416 markings, 2684476 edges, 54701 markings/sec, 35 secs
lola: 2481882 markings, 3018764 edges, 53893 markings/sec, 40 secs
lola: 2756035 markings, 3356950 edges, 54831 markings/sec, 45 secs
lola: 3029163 markings, 3693976 edges, 54626 markings/sec, 50 secs
lola: 3300950 markings, 4031156 edges, 54357 markings/sec, 55 secs
lola: 3570638 markings, 4364612 edges, 53938 markings/sec, 60 secs
lola: 3843287 markings, 4700990 edges, 54530 markings/sec, 65 secs
lola: 4105744 markings, 5025511 edges, 52491 markings/sec, 70 secs
lola: 4367132 markings, 5348015 edges, 52278 markings/sec, 75 secs
lola: 4625563 markings, 5670384 edges, 51686 markings/sec, 80 secs
lola: 4883073 markings, 5985788 edges, 51502 markings/sec, 85 secs
lola: 5137372 markings, 6305336 edges, 50860 markings/sec, 90 secs
lola: 5405427 markings, 6634646 edges, 53611 markings/sec, 95 secs
lola: 5664340 markings, 6956168 edges, 51783 markings/sec, 100 secs
lola: 5922118 markings, 7279787 edges, 51556 markings/sec, 105 secs
lola: 6187026 markings, 7601998 edges, 52982 markings/sec, 110 secs
lola: 6451328 markings, 7926241 edges, 52860 markings/sec, 115 secs
lola: 6708089 markings, 8246033 edges, 51352 markings/sec, 120 secs
lola: 6966788 markings, 8567589 edges, 51740 markings/sec, 125 secs
lola: 7225743 markings, 8886624 edges, 51791 markings/sec, 130 secs
lola: 7485367 markings, 9208922 edges, 51925 markings/sec, 135 secs
lola: 7750192 markings, 9540356 edges, 52965 markings/sec, 140 secs
lola: 8017111 markings, 9865707 edges, 53384 markings/sec, 145 secs
lola: 8272456 markings, 10184134 edges, 51069 markings/sec, 150 secs
lola: 8532031 markings, 10507825 edges, 51915 markings/sec, 155 secs
lola: 8788924 markings, 10818681 edges, 51379 markings/sec, 160 secs
lola: 9052208 markings, 11141201 edges, 52657 markings/sec, 165 secs
lola: 9316575 markings, 11467729 edges, 52873 markings/sec, 170 secs
lola: 9584376 markings, 11798436 edges, 53560 markings/sec, 175 secs
lola: 9841403 markings, 12118422 edges, 51405 markings/sec, 180 secs
lola: 10100965 markings, 12436879 edges, 51912 markings/sec, 185 secs
lola: 10363653 markings, 12752427 edges, 52538 markings/sec, 190 secs
lola: 10625772 markings, 13072337 edges, 52424 markings/sec, 195 secs
lola: 10885115 markings, 13385096 edges, 51869 markings/sec, 200 secs
lola: 11146566 markings, 13706555 edges, 52290 markings/sec, 205 secs
lola: 11411973 markings, 14029260 edges, 53081 markings/sec, 210 secs
lola: 11669676 markings, 14345711 edges, 51541 markings/sec, 215 secs
lola: 11930215 markings, 14667746 edges, 52108 markings/sec, 220 secs
lola: 12185960 markings, 14986500 edges, 51149 markings/sec, 225 secs
lola: 12446694 markings, 15306397 edges, 52147 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p232)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 205233 markings, 308993 edges, 41047 markings/sec, 0 secs
lola: 407321 markings, 621087 edges, 40418 markings/sec, 5 secs
lola: 608805 markings, 939879 edges, 40297 markings/sec, 10 secs
lola: 810706 markings, 1250239 edges, 40380 markings/sec, 15 secs
lola: 1009389 markings, 1553346 edges, 39737 markings/sec, 20 secs
lola: 1202205 markings, 1866899 edges, 38563 markings/sec, 25 secs
lola: 1398945 markings, 2176042 edges, 39348 markings/sec, 30 secs
lola: 1595629 markings, 2485860 edges, 39337 markings/sec, 35 secs
lola: 1791316 markings, 2789533 edges, 39137 markings/sec, 40 secs
lola: 1989547 markings, 3089764 edges, 39646 markings/sec, 45 secs
lola: 2186192 markings, 3398591 edges, 39329 markings/sec, 50 secs
lola: 2378968 markings, 3703614 edges, 38555 markings/sec, 55 secs
lola: 2573261 markings, 4012048 edges, 38859 markings/sec, 60 secs
lola: 2770463 markings, 4314251 edges, 39440 markings/sec, 65 secs
lola: 2968548 markings, 4623934 edges, 39617 markings/sec, 70 secs
lola: 3161277 markings, 4925389 edges, 38546 markings/sec, 75 secs
lola: 3355207 markings, 5235334 edges, 38786 markings/sec, 80 secs
lola: 3552471 markings, 5540778 edges, 39453 markings/sec, 85 secs
lola: 3752327 markings, 5848882 edges, 39971 markings/sec, 90 secs
lola: 3948356 markings, 6154994 edges, 39206 markings/sec, 95 secs
lola: 4145550 markings, 6462747 edges, 39439 markings/sec, 100 secs
lola: 4343002 markings, 6768175 edges, 39490 markings/sec, 105 secs
lola: 4539403 markings, 7071465 edges, 39280 markings/sec, 110 secs
lola: 4739521 markings, 7382356 edges, 40024 markings/sec, 115 secs
lola: 4942315 markings, 7690895 edges, 40559 markings/sec, 120 secs
lola: 5145690 markings, 8004731 edges, 40675 markings/sec, 125 secs
lola: 5347228 markings, 8321689 edges, 40308 markings/sec, 130 secs
lola: 5551170 markings, 8636872 edges, 40788 markings/sec, 135 secs
lola: 5755009 markings, 8955504 edges, 40768 markings/sec, 140 secs
lola: 5958874 markings, 9273607 edges, 40773 markings/sec, 145 secs
lola: 6159492 markings, 9590719 edges, 40124 markings/sec, 150 secs
lola: 6358517 markings, 9913600 edges, 39805 markings/sec, 155 secs
lola: 6561318 markings, 10222668 edges, 40560 markings/sec, 160 secs
lola: 6761143 markings, 10537140 edges, 39965 markings/sec, 165 secs
lola: 6961046 markings, 10853738 edges, 39981 markings/sec, 170 secs
lola: 7164840 markings, 11170330 edges, 40759 markings/sec, 175 secs
lola: 7365253 markings, 11481680 edges, 40083 markings/sec, 180 secs
lola: 7568750 markings, 11806015 edges, 40699 markings/sec, 185 secs
lola: 7769476 markings, 12123150 edges, 40145 markings/sec, 190 secs
lola: 7966711 markings, 12436453 edges, 39447 markings/sec, 195 secs
lola: 8165042 markings, 12751379 edges, 39666 markings/sec, 200 secs
lola: 8362781 markings, 13071495 edges, 39548 markings/sec, 205 secs
lola: 8558527 markings, 13386907 edges, 39149 markings/sec, 210 secs
lola: 8754088 markings, 13694109 edges, 39112 markings/sec, 215 secs
lola: 8946833 markings, 14018062 edges, 38549 markings/sec, 220 secs
lola: 9144268 markings, 14322161 edges, 39487 markings/sec, 225 secs
lola: 9339031 markings, 14632127 edges, 38953 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p316)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 223611 markings, 333269 edges, 44722 markings/sec, 0 secs
lola: 442127 markings, 671558 edges, 43703 markings/sec, 5 secs
lola: 658689 markings, 1003748 edges, 43312 markings/sec, 10 secs
lola: 874942 markings, 1336222 edges, 43251 markings/sec, 15 secs
lola: 1093257 markings, 1668054 edges, 43663 markings/sec, 20 secs
lola: 1311688 markings, 1995184 edges, 43686 markings/sec, 25 secs
lola: 1521989 markings, 2331735 edges, 42060 markings/sec, 30 secs
lola: 1735834 markings, 2660079 edges, 42769 markings/sec, 35 secs
lola: 1956544 markings, 3001059 edges, 44142 markings/sec, 40 secs
lola: 2177748 markings, 3341221 edges, 44241 markings/sec, 45 secs
lola: 2398655 markings, 3672113 edges, 44181 markings/sec, 50 secs
lola: 2616302 markings, 4007937 edges, 43529 markings/sec, 55 secs
lola: 2833302 markings, 4352713 edges, 43400 markings/sec, 60 secs
lola: 3047384 markings, 4697981 edges, 42816 markings/sec, 65 secs
lola: 3268551 markings, 5037290 edges, 44233 markings/sec, 70 secs
lola: 3489734 markings, 5381922 edges, 44237 markings/sec, 75 secs
lola: 3711432 markings, 5724573 edges, 44340 markings/sec, 80 secs
lola: 3932984 markings, 6067249 edges, 44310 markings/sec, 85 secs
lola: 4153867 markings, 6410850 edges, 44177 markings/sec, 90 secs
lola: 4376286 markings, 6751719 edges, 44484 markings/sec, 95 secs
lola: 4598667 markings, 7098189 edges, 44476 markings/sec, 100 secs
lola: 4818683 markings, 7440123 edges, 44003 markings/sec, 105 secs
lola: 5034440 markings, 7784238 edges, 43151 markings/sec, 110 secs
lola: 5247877 markings, 8122290 edges, 42687 markings/sec, 115 secs
lola: 5465864 markings, 8459266 edges, 43597 markings/sec, 120 secs
lola: 5688274 markings, 8802434 edges, 44482 markings/sec, 125 secs
lola: 5907753 markings, 9140341 edges, 43896 markings/sec, 130 secs
lola: 6129014 markings, 9487202 edges, 44252 markings/sec, 135 secs
lola: 6348891 markings, 9835393 edges, 43975 markings/sec, 140 secs
lola: 6565807 markings, 10183528 edges, 43383 markings/sec, 145 secs
lola: 6783249 markings, 10527438 edges, 43488 markings/sec, 150 secs
lola: 7001456 markings, 10869609 edges, 43641 markings/sec, 155 secs
lola: 7219766 markings, 11207110 edges, 43662 markings/sec, 160 secs
lola: 7436596 markings, 11548275 edges, 43366 markings/sec, 165 secs
lola: 7651135 markings, 11886288 edges, 42908 markings/sec, 170 secs
lola: 7875556 markings, 12227118 edges, 44884 markings/sec, 175 secs
lola: 8094502 markings, 12565371 edges, 43789 markings/sec, 180 secs
lola: 8310718 markings, 12897674 edges, 43243 markings/sec, 185 secs
lola: 8523829 markings, 13230635 edges, 42622 markings/sec, 190 secs
lola: 8744238 markings, 13570511 edges, 44082 markings/sec, 195 secs
lola: 8966985 markings, 13903997 edges, 44549 markings/sec, 200 secs
lola: 9181606 markings, 14241762 edges, 42924 markings/sec, 205 secs
lola: 9395420 markings, 14584900 edges, 42763 markings/sec, 210 secs
lola: 9612438 markings, 14924209 edges, 43404 markings/sec, 215 secs
lola: 9835423 markings, 15267022 edges, 44597 markings/sec, 220 secs
lola: 10051406 markings, 15602110 edges, 43197 markings/sec, 225 secs
lola: 10267344 markings, 15945669 edges, 43188 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p386)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 208851 markings, 350878 edges, 41770 markings/sec, 0 secs
lola: 417040 markings, 707480 edges, 41638 markings/sec, 5 secs
lola: 626398 markings, 1063390 edges, 41872 markings/sec, 10 secs
lola: 831866 markings, 1417616 edges, 41094 markings/sec, 15 secs
lola: 1034387 markings, 1772406 edges, 40504 markings/sec, 20 secs
lola: 1235316 markings, 2131171 edges, 40186 markings/sec, 25 secs
lola: 1436638 markings, 2488103 edges, 40264 markings/sec, 30 secs
lola: 1639062 markings, 2841411 edges, 40485 markings/sec, 35 secs
lola: 1840653 markings, 3193168 edges, 40318 markings/sec, 40 secs
lola: 2041244 markings, 3547811 edges, 40118 markings/sec, 45 secs
lola: 2242946 markings, 3899392 edges, 40340 markings/sec, 50 secs
lola: 2440530 markings, 4250345 edges, 39517 markings/sec, 55 secs
lola: 2642325 markings, 4603742 edges, 40359 markings/sec, 60 secs
lola: 2842737 markings, 4951367 edges, 40082 markings/sec, 65 secs
lola: 3043860 markings, 5299464 edges, 40225 markings/sec, 70 secs
lola: 3246151 markings, 5651037 edges, 40458 markings/sec, 75 secs
lola: 3448936 markings, 6000642 edges, 40557 markings/sec, 80 secs
lola: 3651693 markings, 6349964 edges, 40551 markings/sec, 85 secs
lola: 3851186 markings, 6698026 edges, 39899 markings/sec, 90 secs
lola: 4051259 markings, 7046650 edges, 40015 markings/sec, 95 secs
lola: 4248405 markings, 7402938 edges, 39429 markings/sec, 100 secs
lola: 4444747 markings, 7755152 edges, 39268 markings/sec, 105 secs
lola: 4643973 markings, 8096528 edges, 39845 markings/sec, 110 secs
lola: 4840097 markings, 8448236 edges, 39225 markings/sec, 115 secs
lola: 5036351 markings, 8791421 edges, 39251 markings/sec, 120 secs
lola: 5235595 markings, 9133321 edges, 39849 markings/sec, 125 secs
lola: 5431334 markings, 9487308 edges, 39148 markings/sec, 130 secs
lola: 5630763 markings, 9829944 edges, 39886 markings/sec, 135 secs
lola: 5828452 markings, 10176406 edges, 39538 markings/sec, 140 secs
lola: 6020663 markings, 10527070 edges, 38442 markings/sec, 145 secs
lola: 6213088 markings, 10869987 edges, 38485 markings/sec, 150 secs
lola: 6405913 markings, 11211953 edges, 38565 markings/sec, 155 secs
lola: 6598475 markings, 11555165 edges, 38512 markings/sec, 160 secs
lola: 6794230 markings, 11904387 edges, 39151 markings/sec, 165 secs
lola: 6995053 markings, 12249733 edges, 40165 markings/sec, 170 secs
lola: 7191166 markings, 12595684 edges, 39223 markings/sec, 175 secs
lola: 7392986 markings, 12943502 edges, 40364 markings/sec, 180 secs
lola: 7589737 markings, 13282883 edges, 39350 markings/sec, 185 secs
lola: 7788209 markings, 13628896 edges, 39694 markings/sec, 190 secs
lola: 7990927 markings, 13982193 edges, 40544 markings/sec, 195 secs
lola: 8189705 markings, 14335227 edges, 39756 markings/sec, 200 secs
lola: 8390753 markings, 14683300 edges, 40210 markings/sec, 205 secs
lola: 8594317 markings, 15034633 edges, 40713 markings/sec, 210 secs
lola: 8793307 markings, 15384898 edges, 39798 markings/sec, 215 secs
lola: 8992650 markings, 15733400 edges, 39869 markings/sec, 220 secs
lola: 9191488 markings, 16075278 edges, 39768 markings/sec, 225 secs
lola: 9390984 markings, 16421241 edges, 39899 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p279)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 205793 markings, 309965 edges, 41159 markings/sec, 0 secs
lola: 408073 markings, 622300 edges, 40456 markings/sec, 5 secs
lola: 609749 markings, 941162 edges, 40335 markings/sec, 10 secs
lola: 811886 markings, 1251887 edges, 40427 markings/sec, 15 secs
lola: 1011842 markings, 1556825 edges, 39991 markings/sec, 20 secs
lola: 1206207 markings, 1874129 edges, 38873 markings/sec, 25 secs
lola: 1404787 markings, 2185873 edges, 39716 markings/sec, 30 secs
lola: 1603909 markings, 2497906 edges, 39824 markings/sec, 35 secs
lola: 1801835 markings, 2805650 edges, 39585 markings/sec, 40 secs
lola: 2001742 markings, 3109422 edges, 39981 markings/sec, 45 secs
lola: 2200855 markings, 3420896 edges, 39823 markings/sec, 50 secs
lola: 2396239 markings, 3730742 edges, 39077 markings/sec, 55 secs
lola: 2592898 markings, 4042211 edges, 39332 markings/sec, 60 secs
lola: 2791347 markings, 4346771 edges, 39690 markings/sec, 65 secs
lola: 2992912 markings, 4659474 edges, 40313 markings/sec, 70 secs
lola: 3186052 markings, 4965242 edges, 38628 markings/sec, 75 secs
lola: 3382607 markings, 5277297 edges, 39311 markings/sec, 80 secs
lola: 3582692 markings, 5588498 edges, 40017 markings/sec, 85 secs
lola: 3783535 markings, 5900016 edges, 40169 markings/sec, 90 secs
lola: 3981216 markings, 6209578 edges, 39536 markings/sec, 95 secs
lola: 4181570 markings, 6517134 edges, 40071 markings/sec, 100 secs
lola: 4380798 markings, 6825322 edges, 39846 markings/sec, 105 secs
lola: 4579895 markings, 7134034 edges, 39819 markings/sec, 110 secs
lola: 4773785 markings, 7440905 edges, 38778 markings/sec, 115 secs
lola: 4966715 markings, 7736072 edges, 38586 markings/sec, 120 secs
lola: 5152109 markings, 8041137 edges, 37079 markings/sec, 125 secs
lola: 5343482 markings, 8344676 edges, 38275 markings/sec, 130 secs
lola: 5539719 markings, 8655757 edges, 39247 markings/sec, 135 secs
lola: 5733017 markings, 8964156 edges, 38660 markings/sec, 140 secs
lola: 5930006 markings, 9271204 edges, 39398 markings/sec, 145 secs
lola: 6127248 markings, 9574539 edges, 39448 markings/sec, 150 secs
lola: 6325781 markings, 9885559 edges, 39707 markings/sec, 155 secs
lola: 6520246 markings, 10195446 edges, 38893 markings/sec, 160 secs
lola: 6715415 markings, 10504040 edges, 39034 markings/sec, 165 secs
lola: 6911120 markings, 10821102 edges, 39141 markings/sec, 170 secs
lola: 7113326 markings, 11138942 edges, 40441 markings/sec, 175 secs
lola: 7311481 markings, 11453229 edges, 39631 markings/sec, 180 secs
lola: 7505968 markings, 11750982 edges, 38897 markings/sec, 185 secs
lola: 7700106 markings, 12059732 edges, 38828 markings/sec, 190 secs
lola: 7900276 markings, 12363667 edges, 40034 markings/sec, 195 secs
lola: 8091779 markings, 12680461 edges, 38301 markings/sec, 200 secs
lola: 8288041 markings, 12985767 edges, 39252 markings/sec, 205 secs
lola: 8481176 markings, 13297619 edges, 38627 markings/sec, 210 secs
lola: 8678331 markings, 13612205 edges, 39431 markings/sec, 215 secs
lola: 8871152 markings, 13930481 edges, 38564 markings/sec, 220 secs
lola: 9066245 markings, 14237416 edges, 39019 markings/sec, 225 secs
lola: 9259868 markings, 14542093 edges, 38725 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 255336 markings, 437215 edges, 51067 markings/sec, 0 secs
lola: 507237 markings, 869363 edges, 50380 markings/sec, 5 secs
lola: 761225 markings, 1307020 edges, 50798 markings/sec, 10 secs
lola: 1003566 markings, 1722179 edges, 48468 markings/sec, 15 secs
lola: 1253285 markings, 2153616 edges, 49944 markings/sec, 20 secs
lola: 1503263 markings, 2582532 edges, 49996 markings/sec, 25 secs
lola: 1738165 markings, 2987404 edges, 46980 markings/sec, 30 secs
lola: 1977006 markings, 3399573 edges, 47768 markings/sec, 35 secs
lola: 2212426 markings, 3806185 edges, 47084 markings/sec, 40 secs
lola: 2439614 markings, 4193992 edges, 45438 markings/sec, 45 secs
lola: 2679997 markings, 4601507 edges, 48077 markings/sec, 50 secs
lola: 2916889 markings, 5009447 edges, 47378 markings/sec, 55 secs
lola: 3159094 markings, 5425303 edges, 48441 markings/sec, 60 secs
lola: 3409253 markings, 5856961 edges, 50032 markings/sec, 65 secs
lola: 3653542 markings, 6277611 edges, 48858 markings/sec, 70 secs
lola: 3892930 markings, 6688874 edges, 47878 markings/sec, 75 secs
lola: 4142181 markings, 7117486 edges, 49850 markings/sec, 80 secs
lola: 4387011 markings, 7543677 edges, 48966 markings/sec, 85 secs
lola: 4642315 markings, 7986024 edges, 51061 markings/sec, 90 secs
lola: 4881199 markings, 8403703 edges, 47777 markings/sec, 95 secs
lola: 5113089 markings, 8803499 edges, 46378 markings/sec, 100 secs
lola: 5332036 markings, 9181748 edges, 43789 markings/sec, 105 secs
lola: 5558734 markings, 9576597 edges, 45340 markings/sec, 110 secs
lola: 5787003 markings, 9969235 edges, 45654 markings/sec, 115 secs
lola: 6033926 markings, 10387982 edges, 49385 markings/sec, 120 secs
lola: 6273933 markings, 10805735 edges, 48001 markings/sec, 125 secs
lola: 6519980 markings, 11233674 edges, 49209 markings/sec, 130 secs
lola: 6764937 markings, 11662775 edges, 48991 markings/sec, 135 secs
lola: 7017996 markings, 12098231 edges, 50612 markings/sec, 140 secs
lola: 7263737 markings, 12516390 edges, 49148 markings/sec, 145 secs
lola: 7506510 markings, 12935905 edges, 48555 markings/sec, 150 secs
lola: 7754440 markings, 13369246 edges, 49586 markings/sec, 155 secs
lola: 8003767 markings, 13802284 edges, 49865 markings/sec, 160 secs
lola: 8247425 markings, 14222884 edges, 48732 markings/sec, 165 secs
lola: 8491988 markings, 14646317 edges, 48913 markings/sec, 170 secs
lola: 8744955 markings, 15085652 edges, 50593 markings/sec, 175 secs
lola: 8982976 markings, 15505992 edges, 47604 markings/sec, 180 secs
lola: 9223172 markings, 15924375 edges, 48039 markings/sec, 185 secs
lola: 9451979 markings, 16317935 edges, 45761 markings/sec, 190 secs
lola: 9704988 markings, 16751939 edges, 50602 markings/sec, 195 secs
lola: 9947171 markings, 17169748 edges, 48437 markings/sec, 200 secs
lola: 10196597 markings, 17597843 edges, 49885 markings/sec, 205 secs
lola: 10443914 markings, 18023563 edges, 49463 markings/sec, 210 secs
lola: 10693555 markings, 18454543 edges, 49928 markings/sec, 215 secs
lola: 10937890 markings, 18873518 edges, 48867 markings/sec, 220 secs
lola: 11182984 markings, 19296118 edges, 49019 markings/sec, 225 secs
lola: 11425295 markings, 19715447 edges, 48462 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 277011 markings, 363582 edges, 55402 markings/sec, 0 secs
lola: 546365 markings, 717365 edges, 53871 markings/sec, 5 secs
lola: 812395 markings, 1066024 edges, 53206 markings/sec, 10 secs
lola: 1079102 markings, 1415808 edges, 53341 markings/sec, 15 secs
lola: 1344487 markings, 1764382 edges, 53077 markings/sec, 20 secs
lola: 1606799 markings, 2109030 edges, 52462 markings/sec, 25 secs
lola: 1869798 markings, 2454355 edges, 52600 markings/sec, 30 secs
lola: 2129883 markings, 2796754 edges, 52017 markings/sec, 35 secs
lola: 2395110 markings, 3144616 edges, 53045 markings/sec, 40 secs
lola: 2659141 markings, 3491615 edges, 52806 markings/sec, 45 secs
lola: 2986025 markings, 3920218 edges, 65377 markings/sec, 50 secs
lola: 3351598 markings, 4399861 edges, 73115 markings/sec, 55 secs
lola: 3715649 markings, 4877723 edges, 72810 markings/sec, 60 secs
lola: 4077325 markings, 5351993 edges, 72335 markings/sec, 65 secs
lola: 4439768 markings, 5828073 edges, 72489 markings/sec, 70 secs
lola: 4800716 markings, 6302921 edges, 72190 markings/sec, 75 secs
lola: 5161755 markings, 6776757 edges, 72208 markings/sec, 80 secs
lola: 5523156 markings, 7252651 edges, 72280 markings/sec, 85 secs
lola: 5887945 markings, 7732443 edges, 72958 markings/sec, 90 secs
lola: 6248276 markings, 8206525 edges, 72066 markings/sec, 95 secs
lola: 6607712 markings, 8678868 edges, 71887 markings/sec, 100 secs
lola: 6964788 markings, 9149610 edges, 71415 markings/sec, 105 secs
lola: 7321511 markings, 9620753 edges, 71345 markings/sec, 110 secs
lola: 7679736 markings, 10092705 edges, 71645 markings/sec, 115 secs
lola: 8035270 markings, 10562059 edges, 71107 markings/sec, 120 secs
lola: 8395327 markings, 11036564 edges, 72011 markings/sec, 125 secs
lola: 8754825 markings, 11511060 edges, 71900 markings/sec, 130 secs
lola: 9115073 markings, 11986518 edges, 72050 markings/sec, 135 secs
lola: 9475838 markings, 12463055 edges, 72153 markings/sec, 140 secs
lola: 9839195 markings, 12943028 edges, 72671 markings/sec, 145 secs
lola: 10200441 markings, 13418687 edges, 72249 markings/sec, 150 secs
lola: 10557167 markings, 13891195 edges, 71345 markings/sec, 155 secs
lola: 10915118 markings, 14365205 edges, 71590 markings/sec, 160 secs
lola: 11278424 markings, 14844112 edges, 72661 markings/sec, 165 secs
lola: 11635325 markings, 15315854 edges, 71380 markings/sec, 170 secs
lola: 11997917 markings, 15793780 edges, 72518 markings/sec, 175 secs
lola: 12358095 markings, 16268351 edges, 72036 markings/sec, 180 secs
lola: 12710493 markings, 16733906 edges, 70480 markings/sec, 185 secs
lola: 13068717 markings, 17207686 edges, 71645 markings/sec, 190 secs
lola: 13423821 markings, 17677471 edges, 71021 markings/sec, 195 secs
lola: 13779200 markings, 18147663 edges, 71076 markings/sec, 200 secs
lola: 14135429 markings, 18617984 edges, 71246 markings/sec, 205 secs
lola: 14495026 markings, 19091688 edges, 71919 markings/sec, 210 secs
lola: 14858515 markings, 19569399 edges, 72698 markings/sec, 215 secs
lola: 15212816 markings, 20037301 edges, 70860 markings/sec, 220 secs
lola: 15570106 markings, 20508773 edges, 71458 markings/sec, 225 secs
lola: 15921565 markings, 20974331 edges, 70292 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p356)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 207703 markings, 349030 edges, 41541 markings/sec, 0 secs
lola: 414647 markings, 703506 edges, 41389 markings/sec, 5 secs
lola: 622825 markings, 1057406 edges, 41636 markings/sec, 10 secs
lola: 827208 markings, 1409645 edges, 40877 markings/sec, 15 secs
lola: 1028888 markings, 1762431 edges, 40336 markings/sec, 20 secs
lola: 1228765 markings, 2119292 edges, 39975 markings/sec, 25 secs
lola: 1428910 markings, 2474790 edges, 40029 markings/sec, 30 secs
lola: 1630220 markings, 2826222 edges, 40262 markings/sec, 35 secs
lola: 1827237 markings, 3169668 edges, 39403 markings/sec, 40 secs
lola: 2024481 markings, 3519781 edges, 39449 markings/sec, 45 secs
lola: 2222722 markings, 3866803 edges, 39648 markings/sec, 50 secs
lola: 2417113 markings, 4210460 edges, 38878 markings/sec, 55 secs
lola: 2615086 markings, 4555180 edges, 39595 markings/sec, 60 secs
lola: 2807062 markings, 4890276 edges, 38395 markings/sec, 65 secs
lola: 3006565 markings, 5236226 edges, 39901 markings/sec, 70 secs
lola: 3208703 markings, 5585885 edges, 40428 markings/sec, 75 secs
lola: 3409287 markings, 5933038 edges, 40117 markings/sec, 80 secs
lola: 3614253 markings, 6280779 edges, 40993 markings/sec, 85 secs
lola: 3813063 markings, 6633586 edges, 39762 markings/sec, 90 secs
lola: 4014409 markings, 6982706 edges, 40269 markings/sec, 95 secs
lola: 4211603 markings, 7339065 edges, 39439 markings/sec, 100 secs
lola: 4408876 markings, 7692215 edges, 39455 markings/sec, 105 secs
lola: 4608938 markings, 8034564 edges, 40012 markings/sec, 110 secs
lola: 4806548 markings, 8388692 edges, 39522 markings/sec, 115 secs
lola: 5004016 markings, 8731266 edges, 39494 markings/sec, 120 secs
lola: 5202468 markings, 9077992 edges, 39690 markings/sec, 125 secs
lola: 5399142 markings, 9434214 edges, 39335 markings/sec, 130 secs
lola: 5600429 markings, 9778099 edges, 40257 markings/sec, 135 secs
lola: 5800982 markings, 10124689 edges, 40111 markings/sec, 140 secs
lola: 5993131 markings, 10479912 edges, 38430 markings/sec, 145 secs
lola: 6187497 markings, 10824041 edges, 38873 markings/sec, 150 secs
lola: 6380532 markings, 11169207 edges, 38607 markings/sec, 155 secs
lola: 6574723 markings, 11513481 edges, 38838 markings/sec, 160 secs
lola: 6770339 markings, 11865300 edges, 39123 markings/sec, 165 secs
lola: 6972146 markings, 12212148 edges, 40361 markings/sec, 170 secs
lola: 7169857 markings, 12559449 edges, 39542 markings/sec, 175 secs
lola: 7369736 markings, 12904537 edges, 39976 markings/sec, 180 secs
lola: 7565164 markings, 13242433 edges, 39086 markings/sec, 185 secs
lola: 7762427 markings, 13583981 edges, 39453 markings/sec, 190 secs
lola: 7963715 markings, 13932893 edges, 40258 markings/sec, 195 secs
lola: 8160410 markings, 14286355 edges, 39339 markings/sec, 200 secs
lola: 8360347 markings, 14628792 edges, 39987 markings/sec, 205 secs
lola: 8561809 markings, 14979577 edges, 40292 markings/sec, 210 secs
lola: 8760345 markings, 15327247 edges, 39707 markings/sec, 215 secs
lola: 8957533 markings, 15672337 edges, 39438 markings/sec, 220 secs
lola: 9156068 markings, 16011392 edges, 39707 markings/sec, 225 secs
lola: 9354156 markings, 16355965 edges, 39618 markings/sec, 230 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p239)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 205015 markings, 308544 edges, 41003 markings/sec, 0 secs
lola: 406779 markings, 620337 edges, 40353 markings/sec, 5 secs
lola: 607949 markings, 938521 edges, 40234 markings/sec, 10 secs
lola: 809514 markings, 1248451 edges, 40313 markings/sec, 15 secs
lola: 1009163 markings, 1552967 edges, 39930 markings/sec, 20 secs
lola: 1203093 markings, 1868271 edges, 38786 markings/sec, 25 secs
lola: 1401281 markings, 2179395 edges, 39638 markings/sec, 30 secs
lola: 1599552 markings, 2491619 edges, 39654 markings/sec, 35 secs
lola: 1796871 markings, 2798173 edges, 39464 markings/sec, 40 secs
lola: 1996420 markings, 3101812 edges, 39910 markings/sec, 45 secs
lola: 2194880 markings, 3412247 edges, 39692 markings/sec, 50 secs
lola: 2389764 markings, 3721036 edges, 38977 markings/sec, 55 secs
lola: 2586412 markings, 4031843 edges, 39330 markings/sec, 60 secs
lola: 2785034 markings, 4336939 edges, 39724 markings/sec, 65 secs
lola: 2986306 markings, 4648922 edges, 40254 markings/sec, 70 secs
lola: 3179517 markings, 4955897 edges, 38642 markings/sec, 75 secs
lola: 3376062 markings, 5267635 edges, 39309 markings/sec, 80 secs
lola: 3575865 markings, 5578378 edges, 39961 markings/sec, 85 secs
lola: 3776824 markings, 5889196 edges, 40192 markings/sec, 90 secs
lola: 3974380 markings, 6198417 edges, 39511 markings/sec, 95 secs
lola: 4174461 markings, 6506846 edges, 40016 markings/sec, 100 secs
lola: 4373518 markings, 6814757 edges, 39811 markings/sec, 105 secs
lola: 4572977 markings, 7123041 edges, 39892 markings/sec, 110 secs
lola: 4768571 markings, 7433632 edges, 39119 markings/sec, 115 secs
lola: 4962817 markings, 7731906 edges, 38849 markings/sec, 120 secs
lola: 5150423 markings, 8038393 edges, 37521 markings/sec, 125 secs
lola: 5345283 markings, 8348501 edges, 38972 markings/sec, 130 secs
lola: 5542790 markings, 8661729 edges, 39501 markings/sec, 135 secs
lola: 5737532 markings, 8973153 edges, 38948 markings/sec, 140 secs
lola: 5936349 markings, 9282298 edges, 39763 markings/sec, 145 secs
lola: 6135140 markings, 9587976 edges, 39758 markings/sec, 150 secs
lola: 6335430 markings, 9900880 edges, 40058 markings/sec, 155 secs
lola: 6530466 markings, 10213645 edges, 39007 markings/sec, 160 secs
lola: 6727150 markings, 10524800 edges, 39337 markings/sec, 165 secs
lola: 6923019 markings, 10841069 edges, 39174 markings/sec, 170 secs
lola: 7124710 markings, 11158016 edges, 40338 markings/sec, 175 secs
lola: 7322016 markings, 11470268 edges, 39461 markings/sec, 180 secs
lola: 7515957 markings, 11766522 edges, 38788 markings/sec, 185 secs
lola: 7710254 markings, 12075305 edges, 38859 markings/sec, 190 secs
lola: 7909516 markings, 12378900 edges, 39852 markings/sec, 195 secs
lola: 8100515 markings, 12696147 edges, 38200 markings/sec, 200 secs
lola: 8296304 markings, 12998804 edges, 39158 markings/sec, 205 secs
lola: 8486832 markings, 13307731 edges, 38106 markings/sec, 210 secs
lola: 8681289 markings, 13617789 edges, 38891 markings/sec, 215 secs
lola: 8871119 markings, 13931522 edges, 37966 markings/sec, 220 secs
lola: 9063804 markings, 14233584 edges, 38537 markings/sec, 225 secs
lola: 9254632 markings, 14534157 edges, 38166 markings/sec, 230 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 209842 markings, 431023 edges, 41968 markings/sec, 0 secs
lola: 419686 markings, 862985 edges, 41969 markings/sec, 5 secs
lola: 626748 markings, 1286307 edges, 41412 markings/sec, 10 secs
lola: 832150 markings, 1706866 edges, 41080 markings/sec, 15 secs
lola: 1039690 markings, 2132875 edges, 41508 markings/sec, 20 secs
lola: 1247395 markings, 2561680 edges, 41541 markings/sec, 25 secs
lola: 1450811 markings, 2978644 edges, 40683 markings/sec, 30 secs
lola: 1655873 markings, 3399278 edges, 41012 markings/sec, 35 secs
lola: 1860952 markings, 3821031 edges, 41016 markings/sec, 40 secs
lola: 2066284 markings, 4242741 edges, 41066 markings/sec, 45 secs
lola: 2272181 markings, 4668463 edges, 41179 markings/sec, 50 secs
lola: 2478586 markings, 5094601 edges, 41281 markings/sec, 55 secs
lola: 2685009 markings, 5522395 edges, 41285 markings/sec, 60 secs
lola: 2891807 markings, 5948080 edges, 41360 markings/sec, 65 secs
lola: 3098507 markings, 6374030 edges, 41340 markings/sec, 70 secs
lola: 3305930 markings, 6804229 edges, 41485 markings/sec, 75 secs
lola: 3511314 markings, 7226732 edges, 41077 markings/sec, 80 secs
lola: 3717260 markings, 7650062 edges, 41189 markings/sec, 85 secs
lola: 3921763 markings, 8071610 edges, 40901 markings/sec, 90 secs
lola: 4125919 markings, 8489531 edges, 40831 markings/sec, 95 secs
lola: 4331250 markings, 8914339 edges, 41066 markings/sec, 100 secs
lola: 4537322 markings, 9340959 edges, 41214 markings/sec, 105 secs
lola: 4739752 markings, 9755136 edges, 40486 markings/sec, 110 secs
lola: 4944746 markings, 10179318 edges, 40999 markings/sec, 115 secs
lola: 5149933 markings, 10601846 edges, 41037 markings/sec, 120 secs
lola: 5355603 markings, 11027370 edges, 41134 markings/sec, 125 secs
lola: 5561572 markings, 11451258 edges, 41194 markings/sec, 130 secs
lola: 5767022 markings, 11876599 edges, 41090 markings/sec, 135 secs
lola: 5971283 markings, 12297141 edges, 40852 markings/sec, 140 secs
lola: 6175937 markings, 12718495 edges, 40931 markings/sec, 145 secs
lola: 6381128 markings, 13142281 edges, 41038 markings/sec, 150 secs
lola: 6585826 markings, 13560082 edges, 40940 markings/sec, 155 secs
lola: 6790145 markings, 13978053 edges, 40864 markings/sec, 160 secs
lola: 6995112 markings, 14399409 edges, 40993 markings/sec, 165 secs
lola: 7200183 markings, 14823948 edges, 41014 markings/sec, 170 secs
lola: 7404172 markings, 15243997 edges, 40798 markings/sec, 175 secs
lola: 7608565 markings, 15665276 edges, 40879 markings/sec, 180 secs
lola: 7811794 markings, 16082482 edges, 40646 markings/sec, 185 secs
lola: 8013942 markings, 16496100 edges, 40430 markings/sec, 190 secs
lola: 8221022 markings, 16925847 edges, 41416 markings/sec, 195 secs
lola: 8427002 markings, 17353059 edges, 41196 markings/sec, 200 secs
lola: 8629507 markings, 17772423 edges, 40501 markings/sec, 205 secs
lola: 8833959 markings, 18196183 edges, 40890 markings/sec, 210 secs
lola: 9037924 markings, 18617199 edges, 40793 markings/sec, 215 secs
lola: 9242111 markings, 19037158 edges, 40837 markings/sec, 220 secs
lola: 9446073 markings, 19459135 edges, 40792 markings/sec, 225 secs
lola: 9648084 markings, 19875127 edges, 40402 markings/sec, 230 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA Vasy2003-PT-none-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494951666285

--------------------
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="Vasy2003-PT-none"
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/Vasy2003-PT-none.tgz
mv Vasy2003-PT-none 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 Vasy2003-PT-none, 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-149441008700380"
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 ;