About the Execution of LoLA for Echo-PT-d02r19
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5686.180 | 3540112.00 | 3546011.00 | 1500.10 | ? 1 ? ? ? ? ? ? ? ? ? ? ? ? ? 1 | normal |
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 Echo-PT-d02r19, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264100263
=====================================================================
--------------------
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 Echo-PT-d02r19-UpperBounds-0
FORMULA_NAME Echo-PT-d02r19-UpperBounds-1
FORMULA_NAME Echo-PT-d02r19-UpperBounds-10
FORMULA_NAME Echo-PT-d02r19-UpperBounds-11
FORMULA_NAME Echo-PT-d02r19-UpperBounds-12
FORMULA_NAME Echo-PT-d02r19-UpperBounds-13
FORMULA_NAME Echo-PT-d02r19-UpperBounds-14
FORMULA_NAME Echo-PT-d02r19-UpperBounds-15
FORMULA_NAME Echo-PT-d02r19-UpperBounds-2
FORMULA_NAME Echo-PT-d02r19-UpperBounds-3
FORMULA_NAME Echo-PT-d02r19-UpperBounds-4
FORMULA_NAME Echo-PT-d02r19-UpperBounds-5
FORMULA_NAME Echo-PT-d02r19-UpperBounds-6
FORMULA_NAME Echo-PT-d02r19-UpperBounds-7
FORMULA_NAME Echo-PT-d02r19-UpperBounds-8
FORMULA_NAME Echo-PT-d02r19-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494687131391
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Echo-PT-d02r19 @ 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: 6185/65536 symbol table entries, 806 collisions
lola: preprocessing...
lola: finding significant places
lola: 3455 places, 2730 transitions, 1726 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 5448 transition conflict sets
lola: TASK
lola: reading formula from Echo-PT-d02r19-UpperBounds.task
lola: MAX(p82) : MAX(p3116) : MAX(p1931) : MAX(p2629) : MAX(p1133) : MAX(p2105) : MAX(p2000) : MAX(p2475) : MAX(p1557) : MAX(p3122) : MAX(p2724) : MAX(p2331) : MAX(p135) : MAX(p2480) : MAX(p907) : MAX(p2319)
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(p82)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 216 bytes per marking, with 2 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: 56402 markings, 193427 edges, 11280 markings/sec, 0 secs
lola: 107535 markings, 373469 edges, 10227 markings/sec, 5 secs
lola: 160072 markings, 579288 edges, 10507 markings/sec, 10 secs
lola: 214975 markings, 816501 edges, 10981 markings/sec, 15 secs
lola: 270391 markings, 1059155 edges, 11083 markings/sec, 20 secs
lola: 325151 markings, 1280658 edges, 10952 markings/sec, 25 secs
lola: 379208 markings, 1529949 edges, 10811 markings/sec, 30 secs
lola: 435755 markings, 1733951 edges, 11309 markings/sec, 35 secs
lola: 490828 markings, 1971288 edges, 11015 markings/sec, 40 secs
lola: 546837 markings, 2185047 edges, 11202 markings/sec, 45 secs
lola: 602418 markings, 2397481 edges, 11116 markings/sec, 50 secs
lola: 657854 markings, 2610256 edges, 11087 markings/sec, 55 secs
lola: 714163 markings, 2817023 edges, 11262 markings/sec, 60 secs
lola: 771094 markings, 3016828 edges, 11386 markings/sec, 65 secs
lola: 827393 markings, 3225968 edges, 11260 markings/sec, 70 secs
lola: 883907 markings, 3422560 edges, 11303 markings/sec, 75 secs
lola: 939546 markings, 3637201 edges, 11128 markings/sec, 80 secs
lola: 996156 markings, 3839691 edges, 11322 markings/sec, 85 secs
lola: 1052243 markings, 4047954 edges, 11217 markings/sec, 90 secs
lola: 1108734 markings, 4249547 edges, 11298 markings/sec, 95 secs
lola: 1165157 markings, 4455978 edges, 11285 markings/sec, 100 secs
lola: 1220444 markings, 4678541 edges, 11057 markings/sec, 105 secs
lola: 1275442 markings, 4898440 edges, 11000 markings/sec, 110 secs
lola: 1331011 markings, 5104036 edges, 11114 markings/sec, 115 secs
lola: 1387748 markings, 5293785 edges, 11347 markings/sec, 120 secs
lola: 1442972 markings, 5506874 edges, 11045 markings/sec, 125 secs
lola: 1498716 markings, 5708159 edges, 11149 markings/sec, 130 secs
lola: 1553976 markings, 5922483 edges, 11052 markings/sec, 135 secs
lola: 1608974 markings, 6136538 edges, 11000 markings/sec, 140 secs
lola: 1663983 markings, 6352371 edges, 11002 markings/sec, 145 secs
lola: 1719343 markings, 6552712 edges, 11072 markings/sec, 150 secs
lola: 1775576 markings, 6744849 edges, 11247 markings/sec, 155 secs
lola: 1831520 markings, 6952479 edges, 11189 markings/sec, 160 secs
lola: 1886676 markings, 7168684 edges, 11031 markings/sec, 165 secs
lola: 1941544 markings, 7388188 edges, 10974 markings/sec, 170 secs
lola: 1996622 markings, 7596492 edges, 11016 markings/sec, 175 secs
lola: 2051734 markings, 7809103 edges, 11022 markings/sec, 180 secs
lola: 2106723 markings, 8032971 edges, 10998 markings/sec, 185 secs
lola: 2162526 markings, 8238647 edges, 11161 markings/sec, 190 secs
lola: 2216757 markings, 8476298 edges, 10846 markings/sec, 195 secs
lola: 2272776 markings, 8671250 edges, 11204 markings/sec, 200 secs
lola: 2328296 markings, 8882647 edges, 11104 markings/sec, 205 secs
lola: 2383542 markings, 9101770 edges, 11049 markings/sec, 210 secs
lola: 2437771 markings, 9329207 edges, 10846 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(p3116)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 216 bytes per marking, with 2 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 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1931)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 216 bytes per marking, with 2 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: 735747 markings, 785768 edges, 147149 markings/sec, 0 secs
lola: 1464495 markings, 1564347 edges, 145750 markings/sec, 5 secs
lola: 2188800 markings, 2338203 edges, 144861 markings/sec, 10 secs
lola: 2905401 markings, 3103730 edges, 143320 markings/sec, 15 secs
lola: 3618301 markings, 3865411 edges, 142580 markings/sec, 20 secs
lola: 4336303 markings, 4632439 edges, 143600 markings/sec, 25 secs
lola: 5049791 markings, 5394745 edges, 142698 markings/sec, 30 secs
lola: 5766553 markings, 6160462 edges, 143352 markings/sec, 35 secs
lola: 6477768 markings, 6920337 edges, 142243 markings/sec, 40 secs
lola: 7185966 markings, 7676910 edges, 141640 markings/sec, 45 secs
lola: 7892683 markings, 8431911 edges, 141343 markings/sec, 50 secs
lola: 8589530 markings, 9176468 edges, 139369 markings/sec, 55 secs
lola: 9290387 markings, 9925213 edges, 140171 markings/sec, 60 secs
lola: 9999504 markings, 10682768 edges, 141823 markings/sec, 65 secs
lola: 10694962 markings, 11425752 edges, 139092 markings/sec, 70 secs
lola: 11392708 markings, 12171267 edges, 139549 markings/sec, 75 secs
lola: 12109165 markings, 12936644 edges, 143291 markings/sec, 80 secs
lola: 12752883 markings, 13624357 edges, 128744 markings/sec, 85 secs
lola: 13455259 markings, 14374809 edges, 140475 markings/sec, 90 secs
lola: 14170236 markings, 15138606 edges, 142995 markings/sec, 95 secs
lola: 14881290 markings, 15898287 edges, 142211 markings/sec, 100 secs
lola: 15594601 markings, 16660345 edges, 142662 markings/sec, 105 secs
lola: 16302617 markings, 17416740 edges, 141603 markings/sec, 110 secs
lola: 17008984 markings, 18171445 edges, 141273 markings/sec, 115 secs
lola: 17724931 markings, 18936297 edges, 143189 markings/sec, 120 secs
lola: 18373127 markings, 19628800 edges, 129639 markings/sec, 125 secs
lola: 19072429 markings, 20375950 edges, 139860 markings/sec, 130 secs
lola: 19792093 markings, 21144750 edges, 143933 markings/sec, 135 secs
lola: 20504892 markings, 21906325 edges, 142560 markings/sec, 140 secs
lola: 21147036 markings, 22592358 edges, 128429 markings/sec, 145 secs
lola: 21842201 markings, 23335020 edges, 139033 markings/sec, 150 secs
lola: 22545391 markings, 24086270 edges, 140638 markings/sec, 155 secs
lola: 23252846 markings, 24842136 edges, 141491 markings/sec, 160 secs
lola: 23897274 markings, 25530599 edges, 128886 markings/sec, 165 secs
lola: 24589497 markings, 26270124 edges, 138445 markings/sec, 170 secs
lola: 25295973 markings, 27024870 edges, 141295 markings/sec, 175 secs
lola: 26005568 markings, 27783031 edges, 141919 markings/sec, 180 secs
lola: 26711560 markings, 28537244 edges, 141198 markings/sec, 185 secs
lola: 27415449 markings, 29289237 edges, 140778 markings/sec, 190 secs
lola: 28111856 markings, 30033306 edges, 139281 markings/sec, 195 secs
lola: 28807501 markings, 30776507 edges, 139129 markings/sec, 200 secs
lola: 29508270 markings, 31525152 edges, 140154 markings/sec, 205 secs
lola: 30203923 markings, 32268337 edges, 139131 markings/sec, 210 secs
lola: 30897543 markings, 33009367 edges, 138724 markings/sec, 215 secs
lola: 31601111 markings, 33761019 edges, 140714 markings/sec, 220 secs
lola: 32305617 markings, 34513738 edges, 140901 markings/sec, 225 secs
lola: 33009579 markings, 35265783 edges, 140792 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(p2629)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 216 bytes per marking, with 2 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: 604087 markings, 608425 edges, 120817 markings/sec, 0 secs
lola: 1207522 markings, 1214099 edges, 120687 markings/sec, 5 secs
lola: 1804821 markings, 1815819 edges, 119460 markings/sec, 10 secs
lola: 2405739 markings, 2418898 edges, 120184 markings/sec, 15 secs
lola: 3001683 markings, 3018342 edges, 119189 markings/sec, 20 secs
lola: 3589446 markings, 3617270 edges, 117553 markings/sec, 25 secs
lola: 4169403 markings, 4219222 edges, 115991 markings/sec, 30 secs
lola: 4758599 markings, 4814025 edges, 117839 markings/sec, 35 secs
lola: 5364614 markings, 5421920 edges, 121203 markings/sec, 40 secs
lola: 5968675 markings, 6027873 edges, 120812 markings/sec, 45 secs
lola: 6571132 markings, 6632227 edges, 120491 markings/sec, 50 secs
lola: 7173594 markings, 7236605 edges, 120492 markings/sec, 55 secs
lola: 7775387 markings, 7840501 edges, 120359 markings/sec, 60 secs
lola: 8375821 markings, 8442943 edges, 120087 markings/sec, 65 secs
lola: 8981349 markings, 9050365 edges, 121106 markings/sec, 70 secs
lola: 9590786 markings, 9661700 edges, 121887 markings/sec, 75 secs
lola: 10182416 markings, 10255223 edges, 118326 markings/sec, 80 secs
lola: 10780539 markings, 10855228 edges, 119625 markings/sec, 85 secs
lola: 11276229 markings, 11352717 edges, 99138 markings/sec, 90 secs
lola: 11889792 markings, 11968439 edges, 122713 markings/sec, 95 secs
lola: 12492785 markings, 12573487 edges, 120599 markings/sec, 100 secs
lola: 13092845 markings, 13175525 edges, 120012 markings/sec, 105 secs
lola: 13687405 markings, 13772116 edges, 118912 markings/sec, 110 secs
lola: 14281823 markings, 14368549 edges, 118884 markings/sec, 115 secs
lola: 14883376 markings, 14972833 edges, 120311 markings/sec, 120 secs
lola: 15482711 markings, 15575553 edges, 119867 markings/sec, 125 secs
lola: 16076646 markings, 16172365 edges, 118787 markings/sec, 130 secs
lola: 16674836 markings, 16773383 edges, 119638 markings/sec, 135 secs
lola: 17266874 markings, 17368271 edges, 118408 markings/sec, 140 secs
lola: 17858524 markings, 17964472 edges, 118330 markings/sec, 145 secs
lola: 18454557 markings, 18562464 edges, 119207 markings/sec, 150 secs
lola: 19047264 markings, 19159855 edges, 118541 markings/sec, 155 secs
lola: 19644759 markings, 19759288 edges, 119499 markings/sec, 160 secs
lola: 20230679 markings, 20348663 edges, 117184 markings/sec, 165 secs
lola: 20818166 markings, 20938709 edges, 117497 markings/sec, 170 secs
lola: 21385705 markings, 21534721 edges, 113508 markings/sec, 175 secs
lola: 21973319 markings, 22128937 edges, 117523 markings/sec, 180 secs
lola: 22567724 markings, 22726503 edges, 118881 markings/sec, 185 secs
lola: 23167710 markings, 23328374 edges, 119997 markings/sec, 190 secs
lola: 23756569 markings, 23919064 edges, 117772 markings/sec, 195 secs
lola: 24347305 markings, 24511685 edges, 118147 markings/sec, 200 secs
lola: 24935280 markings, 25101631 edges, 117595 markings/sec, 205 secs
lola: 25531900 markings, 25700356 edges, 119324 markings/sec, 210 secs
lola: 26134300 markings, 26304624 edges, 120480 markings/sec, 215 secs
lola: 26736282 markings, 26908491 edges, 120396 markings/sec, 220 secs
lola: 27335701 markings, 27509789 edges, 119884 markings/sec, 225 secs
lola: 27828432 markings, 28004088 edges, 98546 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1133)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 216 bytes per marking, with 2 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: 1001336 markings, 1036056 edges, 200267 markings/sec, 0 secs
lola: 1656823 markings, 1697558 edges, 131097 markings/sec, 5 secs
lola: 2304499 markings, 2351236 edges, 129535 markings/sec, 10 secs
lola: 2961293 markings, 3013985 edges, 131359 markings/sec, 15 secs
lola: 3614609 markings, 3673304 edges, 130663 markings/sec, 20 secs
lola: 4259936 markings, 4324540 edges, 129065 markings/sec, 25 secs
lola: 4910159 markings, 4980755 edges, 130045 markings/sec, 30 secs
lola: 5562228 markings, 5638836 edges, 130414 markings/sec, 35 secs
lola: 6218901 markings, 6301552 edges, 131335 markings/sec, 40 secs
lola: 6877935 markings, 6966641 edges, 131807 markings/sec, 45 secs
lola: 7516446 markings, 7611008 edges, 127702 markings/sec, 50 secs
lola: 8161052 markings, 8261589 edges, 128921 markings/sec, 55 secs
lola: 8809478 markings, 8915925 edges, 129685 markings/sec, 60 secs
lola: 9451144 markings, 9563468 edges, 128333 markings/sec, 65 secs
lola: 10091269 markings, 10209463 edges, 128025 markings/sec, 70 secs
lola: 10737283 markings, 10861389 edges, 129203 markings/sec, 75 secs
lola: 11382493 markings, 11512578 edges, 129042 markings/sec, 80 secs
lola: 12005210 markings, 12140992 edges, 124543 markings/sec, 85 secs
lola: 12636157 markings, 12777684 edges, 126189 markings/sec, 90 secs
lola: 13249100 markings, 13396263 edges, 122589 markings/sec, 95 secs
lola: 13883018 markings, 14036031 edges, 126784 markings/sec, 100 secs
lola: 14523767 markings, 14682651 edges, 128150 markings/sec, 105 secs
lola: 15159137 markings, 15323875 edges, 127074 markings/sec, 110 secs
lola: 15758358 markings, 15928606 edges, 119844 markings/sec, 115 secs
lola: 16415320 markings, 16591541 edges, 131392 markings/sec, 120 secs
lola: 17064962 markings, 17247178 edges, 129928 markings/sec, 125 secs
lola: 17694474 markings, 17882444 edges, 125902 markings/sec, 130 secs
lola: 18302477 markings, 18496063 edges, 121601 markings/sec, 135 secs
lola: 18936715 markings, 19136149 edges, 126848 markings/sec, 140 secs
lola: 19573059 markings, 19778255 edges, 127269 markings/sec, 145 secs
lola: 20210805 markings, 20421852 edges, 127549 markings/sec, 150 secs
lola: 20851346 markings, 21068268 edges, 128108 markings/sec, 155 secs
lola: 21504952 markings, 21727972 edges, 130721 markings/sec, 160 secs
lola: 22147545 markings, 22376452 edges, 128519 markings/sec, 165 secs
lola: 22713063 markings, 22947214 edges, 113104 markings/sec, 170 secs
lola: 23301119 markings, 23540631 edges, 117611 markings/sec, 175 secs
lola: 23934550 markings, 24179913 edges, 126686 markings/sec, 180 secs
lola: 24559380 markings, 24810443 edges, 124966 markings/sec, 185 secs
lola: 25190307 markings, 25447116 edges, 126185 markings/sec, 190 secs
lola: 25812971 markings, 26075571 edges, 124533 markings/sec, 195 secs
lola: 26441819 markings, 26710130 edges, 125770 markings/sec, 200 secs
lola: 27056270 markings, 27330251 edges, 122890 markings/sec, 205 secs
lola: 27668823 markings, 27948369 edges, 122511 markings/sec, 210 secs
lola: 28295921 markings, 28581271 edges, 125420 markings/sec, 215 secs
lola: 28917348 markings, 29208387 edges, 124285 markings/sec, 220 secs
lola: 29542348 markings, 29839092 edges, 125000 markings/sec, 225 secs
lola: 30166955 markings, 30469420 edges, 124921 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2105)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 216 bytes per marking, with 2 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: 678985 markings, 680620 edges, 135797 markings/sec, 0 secs
lola: 1348314 markings, 1351530 edges, 133866 markings/sec, 5 secs
lola: 2008238 markings, 2013008 edges, 131985 markings/sec, 10 secs
lola: 2591856 markings, 2598004 edges, 116724 markings/sec, 15 secs
lola: 3249352 markings, 3257049 edges, 131499 markings/sec, 20 secs
lola: 3898230 markings, 3907459 edges, 129776 markings/sec, 25 secs
lola: 4550951 markings, 4561722 edges, 130544 markings/sec, 30 secs
lola: 5196160 markings, 5208450 edges, 129042 markings/sec, 35 secs
lola: 5827240 markings, 5841020 edges, 126216 markings/sec, 40 secs
lola: 6463684 markings, 6478968 edges, 127289 markings/sec, 45 secs
lola: 7107702 markings, 7124505 edges, 128804 markings/sec, 50 secs
lola: 7759452 markings, 7777795 edges, 130350 markings/sec, 55 secs
lola: 8405270 markings, 8425137 edges, 129164 markings/sec, 60 secs
lola: 9040859 markings, 9062228 edges, 127118 markings/sec, 65 secs
lola: 9689164 markings, 9712062 edges, 129661 markings/sec, 70 secs
lola: 10333081 markings, 10357500 edges, 128783 markings/sec, 75 secs
lola: 10982844 markings, 11008795 edges, 129953 markings/sec, 80 secs
lola: 11618862 markings, 11646316 edges, 127204 markings/sec, 85 secs
lola: 12250641 markings, 12279585 edges, 126356 markings/sec, 90 secs
lola: 12886274 markings, 12916720 edges, 127127 markings/sec, 95 secs
lola: 13507715 markings, 13539627 edges, 124288 markings/sec, 100 secs
lola: 14135751 markings, 14169147 edges, 125607 markings/sec, 105 secs
lola: 14761292 markings, 14796164 edges, 125108 markings/sec, 110 secs
lola: 15389184 markings, 15425536 edges, 125578 markings/sec, 115 secs
lola: 16029665 markings, 16067531 edges, 128096 markings/sec, 120 secs
lola: 16659851 markings, 16699206 edges, 126037 markings/sec, 125 secs
lola: 17293110 markings, 17333958 edges, 126652 markings/sec, 130 secs
lola: 17923180 markings, 17965515 edges, 126014 markings/sec, 135 secs
lola: 18555597 markings, 18599422 edges, 126483 markings/sec, 140 secs
lola: 19186571 markings, 19231885 edges, 126195 markings/sec, 145 secs
lola: 19816458 markings, 19863259 edges, 125977 markings/sec, 150 secs
lola: 20427673 markings, 20475916 edges, 122243 markings/sec, 155 secs
lola: 21048854 markings, 21098562 edges, 124236 markings/sec, 160 secs
lola: 21670074 markings, 21721249 edges, 124244 markings/sec, 165 secs
lola: 22291447 markings, 22344087 edges, 124275 markings/sec, 170 secs
lola: 22916710 markings, 22970829 edges, 125053 markings/sec, 175 secs
lola: 23551967 markings, 23607585 edges, 127051 markings/sec, 180 secs
lola: 24182161 markings, 24239267 edges, 126039 markings/sec, 185 secs
lola: 24805021 markings, 24863595 edges, 124572 markings/sec, 190 secs
lola: 25432737 markings, 25492795 edges, 125543 markings/sec, 195 secs
lola: 26051775 markings, 26113294 edges, 123808 markings/sec, 200 secs
lola: 26658142 markings, 26721090 edges, 121273 markings/sec, 205 secs
lola: 27266946 markings, 27331333 edges, 121761 markings/sec, 210 secs
lola: 27882320 markings, 27948158 edges, 123075 markings/sec, 215 secs
lola: 28503754 markings, 28571061 edges, 124287 markings/sec, 220 secs
lola: 29122510 markings, 29191277 edges, 123751 markings/sec, 225 secs
lola: 29737234 markings, 29807452 edges, 122945 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2000)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 216 bytes per marking, with 2 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: 293535 markings, 999532 edges, 58707 markings/sec, 0 secs
lola: 540392 markings, 2017240 edges, 49371 markings/sec, 5 secs
lola: 782855 markings, 3037223 edges, 48493 markings/sec, 10 secs
lola: 1020617 markings, 4038571 edges, 47552 markings/sec, 15 secs
lola: 1258380 markings, 5022012 edges, 47553 markings/sec, 20 secs
lola: 1501781 markings, 6031481 edges, 48680 markings/sec, 25 secs
lola: 1739568 markings, 7006449 edges, 47557 markings/sec, 30 secs
lola: 1965171 markings, 7958147 edges, 45121 markings/sec, 35 secs
lola: 2194573 markings, 8917113 edges, 45880 markings/sec, 40 secs
lola: 2425514 markings, 9890272 edges, 46188 markings/sec, 45 secs
lola: 2643572 markings, 10791959 edges, 43612 markings/sec, 50 secs
lola: 2866284 markings, 11716213 edges, 44542 markings/sec, 55 secs
lola: 3065639 markings, 12546866 edges, 39871 markings/sec, 60 secs
lola: 3318198 markings, 13494093 edges, 50512 markings/sec, 65 secs
lola: 3588899 markings, 14516621 edges, 54140 markings/sec, 70 secs
lola: 3836407 markings, 15562293 edges, 49502 markings/sec, 75 secs
lola: 4089714 markings, 16603232 edges, 50661 markings/sec, 80 secs
lola: 4339432 markings, 17633134 edges, 49944 markings/sec, 85 secs
lola: 4583036 markings, 18658036 edges, 48721 markings/sec, 90 secs
lola: 4806486 markings, 19590232 edges, 44690 markings/sec, 95 secs
lola: 5010417 markings, 20439828 edges, 40786 markings/sec, 100 secs
lola: 5247852 markings, 21438192 edges, 47487 markings/sec, 105 secs
lola: 5486078 markings, 22424674 edges, 47645 markings/sec, 110 secs
lola: 5703080 markings, 23320074 edges, 43400 markings/sec, 115 secs
lola: 5920689 markings, 24227604 edges, 43522 markings/sec, 120 secs
lola: 6153034 markings, 25184392 edges, 46469 markings/sec, 125 secs
lola: 6379248 markings, 26131957 edges, 45243 markings/sec, 130 secs
lola: 6612626 markings, 27109924 edges, 46676 markings/sec, 135 secs
lola: 6892148 markings, 28163159 edges, 55904 markings/sec, 140 secs
lola: 7151963 markings, 29139320 edges, 51963 markings/sec, 145 secs
lola: 7726284 markings, 29899014 edges, 114864 markings/sec, 150 secs
lola: 8387612 markings, 30591472 edges, 132266 markings/sec, 155 secs
lola: 9062138 markings, 31297729 edges, 134905 markings/sec, 160 secs
lola: 9725667 markings, 31992479 edges, 132706 markings/sec, 165 secs
lola: 10388515 markings, 32686526 edges, 132570 markings/sec, 170 secs
lola: 11057817 markings, 33387341 edges, 133860 markings/sec, 175 secs
lola: 11715222 markings, 34075649 edges, 131481 markings/sec, 180 secs
lola: 12374104 markings, 34765541 edges, 131776 markings/sec, 185 secs
lola: 13028960 markings, 35451211 edges, 130971 markings/sec, 190 secs
lola: 13673444 markings, 36126071 edges, 128897 markings/sec, 195 secs
lola: 14286299 markings, 36767757 edges, 122571 markings/sec, 200 secs
lola: 14931350 markings, 37443112 edges, 129010 markings/sec, 205 secs
lola: 15575200 markings, 38117291 edges, 128770 markings/sec, 210 secs
lola: 16209672 markings, 38781579 edges, 126894 markings/sec, 215 secs
lola: 16853246 markings, 39455473 edges, 128715 markings/sec, 220 secs
lola: 17498162 markings, 40130688 edges, 128983 markings/sec, 225 secs
lola: 18139550 markings, 40802281 edges, 128278 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2475)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 216 bytes per marking, with 2 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: 658871 markings, 917243 edges, 131774 markings/sec, 0 secs
lola: 1400752 markings, 1842578 edges, 148376 markings/sec, 5 secs
lola: 2058590 markings, 2808266 edges, 131568 markings/sec, 10 secs
lola: 2679409 markings, 3783778 edges, 124164 markings/sec, 15 secs
lola: 3230497 markings, 4525983 edges, 110218 markings/sec, 20 secs
lola: 3770335 markings, 5529996 edges, 107968 markings/sec, 25 secs
lola: 4244058 markings, 6576554 edges, 94745 markings/sec, 30 secs
lola: 4794938 markings, 7579116 edges, 110176 markings/sec, 35 secs
lola: 5126200 markings, 8407340 edges, 66252 markings/sec, 40 secs
lola: 5628592 markings, 9401907 edges, 100478 markings/sec, 45 secs
lola: 6006213 markings, 10447045 edges, 75524 markings/sec, 50 secs
lola: 6336346 markings, 11510932 edges, 66027 markings/sec, 55 secs
lola: 6761914 markings, 12537845 edges, 85114 markings/sec, 60 secs
lola: 7433421 markings, 13464926 edges, 134301 markings/sec, 65 secs
lola: 8092154 markings, 14393586 edges, 131747 markings/sec, 70 secs
lola: 8664746 markings, 15348425 edges, 114518 markings/sec, 75 secs
lola: 9207294 markings, 16344446 edges, 108510 markings/sec, 80 secs
lola: 9793396 markings, 17333871 edges, 117220 markings/sec, 85 secs
lola: 10222642 markings, 18346687 edges, 85849 markings/sec, 90 secs
lola: 10702023 markings, 19335621 edges, 95876 markings/sec, 95 secs
lola: 11047592 markings, 20342283 edges, 69114 markings/sec, 100 secs
lola: 11366951 markings, 21356254 edges, 63872 markings/sec, 105 secs
lola: 11678499 markings, 22378614 edges, 62310 markings/sec, 110 secs
lola: 11943397 markings, 23419062 edges, 52980 markings/sec, 115 secs
lola: 12173376 markings, 24245894 edges, 45996 markings/sec, 120 secs
lola: 12407093 markings, 25306744 edges, 46743 markings/sec, 125 secs
lola: 12691169 markings, 26362430 edges, 56815 markings/sec, 130 secs
lola: 13014886 markings, 27400371 edges, 64743 markings/sec, 135 secs
lola: 13280203 markings, 28471254 edges, 53063 markings/sec, 140 secs
lola: 13563592 markings, 29521621 edges, 56678 markings/sec, 145 secs
lola: 13945547 markings, 30547121 edges, 76391 markings/sec, 150 secs
lola: 14558175 markings, 31482817 edges, 122526 markings/sec, 155 secs
lola: 14866577 markings, 32540438 edges, 61680 markings/sec, 160 secs
lola: 15284567 markings, 33551003 edges, 83598 markings/sec, 165 secs
lola: 15522072 markings, 34623971 edges, 47501 markings/sec, 170 secs
lola: 15866745 markings, 35653449 edges, 68935 markings/sec, 175 secs
lola: 16428677 markings, 36594307 edges, 112386 markings/sec, 180 secs
lola: 16970172 markings, 37543750 edges, 108299 markings/sec, 185 secs
lola: 17449836 markings, 38509192 edges, 95933 markings/sec, 190 secs
lola: 17950174 markings, 39471536 edges, 100068 markings/sec, 195 secs
lola: 18355006 markings, 40466844 edges, 80966 markings/sec, 200 secs
lola: 18746762 markings, 41461040 edges, 78351 markings/sec, 205 secs
lola: 19053210 markings, 42508194 edges, 61290 markings/sec, 210 secs
lola: 19310205 markings, 43569556 edges, 51399 markings/sec, 215 secs
lola: 19566892 markings, 44632172 edges, 51337 markings/sec, 220 secs
lola: 20028708 markings, 45630421 edges, 92363 markings/sec, 225 secs
lola: 20553796 markings, 46602981 edges, 105018 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1557)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 216 bytes per marking, with 2 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: 977863 markings, 1074572 edges, 195573 markings/sec, 0 secs
lola: 1767142 markings, 1971140 edges, 157856 markings/sec, 5 secs
lola: 2583518 markings, 3058659 edges, 163275 markings/sec, 10 secs
lola: 3579874 markings, 4140780 edges, 199271 markings/sec, 15 secs
lola: 4453320 markings, 5218162 edges, 174689 markings/sec, 20 secs
lola: 5250569 markings, 6096093 edges, 159450 markings/sec, 25 secs
lola: 6108166 markings, 7158137 edges, 171519 markings/sec, 30 secs
lola: 7015667 markings, 8229307 edges, 181500 markings/sec, 35 secs
lola: 7943668 markings, 9293726 edges, 185600 markings/sec, 40 secs
lola: 8793078 markings, 10352842 edges, 169882 markings/sec, 45 secs
lola: 9828954 markings, 11415142 edges, 207175 markings/sec, 50 secs
lola: 10814868 markings, 12473307 edges, 197183 markings/sec, 55 secs
lola: 11731560 markings, 13511257 edges, 183338 markings/sec, 60 secs
lola: 12455815 markings, 14587816 edges, 144851 markings/sec, 65 secs
lola: 13497657 markings, 15642972 edges, 208368 markings/sec, 70 secs
lola: 14389026 markings, 16710839 edges, 178274 markings/sec, 75 secs
lola: 15259738 markings, 17766370 edges, 174142 markings/sec, 80 secs
lola: 15931597 markings, 18602863 edges, 134372 markings/sec, 85 secs
lola: 16805859 markings, 19648363 edges, 174852 markings/sec, 90 secs
lola: 17668202 markings, 20689112 edges, 172469 markings/sec, 95 secs
lola: 18685501 markings, 21723934 edges, 203460 markings/sec, 100 secs
lola: 19483744 markings, 22532728 edges, 159649 markings/sec, 105 secs
lola: 20508055 markings, 23571032 edges, 204862 markings/sec, 110 secs
lola: 21441170 markings, 24610232 edges, 186623 markings/sec, 115 secs
lola: 22290278 markings, 25631611 edges, 169822 markings/sec, 120 secs
lola: 22936886 markings, 26446948 edges, 129322 markings/sec, 125 secs
lola: 23608373 markings, 27516066 edges, 134297 markings/sec, 130 secs
lola: 24156513 markings, 28614503 edges, 109628 markings/sec, 135 secs
lola: 24734009 markings, 29697488 edges, 115499 markings/sec, 140 secs
lola: 25618346 markings, 30720499 edges, 176867 markings/sec, 145 secs
lola: 26472751 markings, 31757700 edges, 170881 markings/sec, 150 secs
lola: 26998794 markings, 32859107 edges, 105209 markings/sec, 155 secs
lola: 27664794 markings, 33918610 edges, 133200 markings/sec, 160 secs
lola: 28492582 markings, 34935780 edges, 165558 markings/sec, 165 secs
lola: 29165935 markings, 36012665 edges, 134671 markings/sec, 170 secs
lola: 29687413 markings, 37065925 edges, 104296 markings/sec, 175 secs
lola: 30414591 markings, 38124570 edges, 145436 markings/sec, 180 secs
lola: 30982680 markings, 39219925 edges, 113618 markings/sec, 185 secs
lola: 31646940 markings, 40287160 edges, 132852 markings/sec, 190 secs
lola: 32172620 markings, 41361890 edges, 105136 markings/sec, 195 secs
lola: 32801032 markings, 42435040 edges, 125682 markings/sec, 200 secs
lola: 33839906 markings, 43504652 edges, 207775 markings/sec, 205 secs
lola: 34856779 markings, 44559367 edges, 203375 markings/sec, 210 secs
lola: 35869364 markings, 45608565 edges, 202517 markings/sec, 215 secs
lola: 36912818 markings, 46691815 edges, 208691 markings/sec, 220 secs
lola: 37935834 markings, 47754723 edges, 204603 markings/sec, 225 secs
lola: 38975487 markings, 48827478 edges, 207931 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 216 bytes per marking, with 2 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 10 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2724)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 216 bytes per marking, with 2 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: 901007 markings, 1115786 edges, 180201 markings/sec, 0 secs
lola: 1732481 markings, 2197942 edges, 166295 markings/sec, 5 secs
lola: 2536816 markings, 3260857 edges, 160867 markings/sec, 10 secs
lola: 3403422 markings, 4345572 edges, 173321 markings/sec, 15 secs
lola: 4260610 markings, 5398299 edges, 171438 markings/sec, 20 secs
lola: 5094239 markings, 6446290 edges, 166726 markings/sec, 25 secs
lola: 5874910 markings, 7492467 edges, 156134 markings/sec, 30 secs
lola: 6686212 markings, 8596610 edges, 162260 markings/sec, 35 secs
lola: 7461104 markings, 9646293 edges, 154978 markings/sec, 40 secs
lola: 8157946 markings, 10693588 edges, 139368 markings/sec, 45 secs
lola: 8860603 markings, 11745627 edges, 140531 markings/sec, 50 secs
lola: 9499470 markings, 12803168 edges, 127773 markings/sec, 55 secs
lola: 10333633 markings, 13910612 edges, 166833 markings/sec, 60 secs
lola: 11297658 markings, 14990871 edges, 192805 markings/sec, 65 secs
lola: 12139076 markings, 16072075 edges, 168284 markings/sec, 70 secs
lola: 12936613 markings, 17173164 edges, 159507 markings/sec, 75 secs
lola: 13825973 markings, 18273649 edges, 177872 markings/sec, 80 secs
lola: 14708009 markings, 19384713 edges, 176407 markings/sec, 85 secs
lola: 15495346 markings, 20469416 edges, 157467 markings/sec, 90 secs
lola: 16371992 markings, 21563925 edges, 175329 markings/sec, 95 secs
lola: 17363391 markings, 22669535 edges, 198280 markings/sec, 100 secs
lola: 18336696 markings, 23775894 edges, 194661 markings/sec, 105 secs
lola: 19327513 markings, 24882516 edges, 198163 markings/sec, 110 secs
lola: 20252027 markings, 25964092 edges, 184903 markings/sec, 115 secs
lola: 21195842 markings, 27027574 edges, 188763 markings/sec, 120 secs
lola: 22163699 markings, 28115013 edges, 193571 markings/sec, 125 secs
lola: 23113259 markings, 29188085 edges, 189912 markings/sec, 130 secs
lola: 24074283 markings, 30295837 edges, 192205 markings/sec, 135 secs
lola: 25006586 markings, 31356768 edges, 186461 markings/sec, 140 secs
lola: 25781730 markings, 32436269 edges, 155029 markings/sec, 145 secs
lola: 26639948 markings, 33523515 edges, 171644 markings/sec, 150 secs
lola: 27534558 markings, 34628302 edges, 178922 markings/sec, 155 secs
lola: 28373518 markings, 35729358 edges, 167792 markings/sec, 160 secs
lola: 29092157 markings, 36765968 edges, 143728 markings/sec, 165 secs
lola: 30057849 markings, 37879540 edges, 193138 markings/sec, 170 secs
lola: 31040651 markings, 38961352 edges, 196560 markings/sec, 175 secs
lola: 31995303 markings, 40054902 edges, 190930 markings/sec, 180 secs
lola: 32778485 markings, 40927288 edges, 156636 markings/sec, 185 secs
lola: 33630693 markings, 41929138 edges, 170442 markings/sec, 190 secs
lola: 34556160 markings, 42972095 edges, 185093 markings/sec, 195 secs
lola: 35490904 markings, 44019783 edges, 186949 markings/sec, 200 secs
lola: 36250962 markings, 44884616 edges, 152012 markings/sec, 205 secs
lola: 37096916 markings, 45922186 edges, 169191 markings/sec, 210 secs
lola: 37969303 markings, 47004730 edges, 174477 markings/sec, 215 secs
lola: 38814842 markings, 48070935 edges, 169108 markings/sec, 220 secs
lola: 39438244 markings, 48937134 edges, 124680 markings/sec, 225 secs
lola: 40246994 markings, 49959175 edges, 161750 markings/sec, 230 secs
lola: 41050062 markings, 51039185 edges, 160614 markings/sec, 235 secs
lola: 41750226 markings, 52100356 edges, 140033 markings/sec, 240 secs
lola: 42522065 markings, 53167467 edges, 154368 markings/sec, 245 secs
lola: 43389939 markings, 54202051 edges, 173575 markings/sec, 250 secs
lola: 44157596 markings, 55256698 edges, 153531 markings/sec, 255 secs
lola: 45087033 markings, 56296754 edges, 185887 markings/sec, 260 secs
lola: 45849149 markings, 57133812 edges, 152423 markings/sec, 265 secs
lola: 46633621 markings, 58146817 edges, 156894 markings/sec, 270 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 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2331)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 216 bytes per marking, with 2 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: 863753 markings, 917996 edges, 172751 markings/sec, 0 secs
lola: 1756457 markings, 1828041 edges, 178541 markings/sec, 5 secs
lola: 2670029 markings, 2758116 edges, 182714 markings/sec, 10 secs
lola: 3582806 markings, 3691167 edges, 182555 markings/sec, 15 secs
lola: 4489026 markings, 4612984 edges, 181244 markings/sec, 20 secs
lola: 5400651 markings, 5540610 edges, 182325 markings/sec, 25 secs
lola: 6307754 markings, 6463331 edges, 181421 markings/sec, 30 secs
lola: 7217120 markings, 7388374 edges, 181873 markings/sec, 35 secs
lola: 8125498 markings, 8312924 edges, 181676 markings/sec, 40 secs
lola: 9034526 markings, 9238044 edges, 181806 markings/sec, 45 secs
lola: 9940556 markings, 10161160 edges, 181206 markings/sec, 50 secs
lola: 10851092 markings, 11089379 edges, 182107 markings/sec, 55 secs
lola: 11739050 markings, 11994430 edges, 177592 markings/sec, 60 secs
lola: 12642843 markings, 12914466 edges, 180759 markings/sec, 65 secs
lola: 13540440 markings, 13828218 edges, 179519 markings/sec, 70 secs
lola: 14448632 markings, 14752739 edges, 181638 markings/sec, 75 secs
lola: 15341266 markings, 15661428 edges, 178527 markings/sec, 80 secs
lola: 16222180 markings, 16558224 edges, 176183 markings/sec, 85 secs
lola: 17113913 markings, 17465999 edges, 178347 markings/sec, 90 secs
lola: 18001097 markings, 18369229 edges, 177437 markings/sec, 95 secs
lola: 18883091 markings, 19267239 edges, 176399 markings/sec, 100 secs
lola: 19772275 markings, 20172536 edges, 177837 markings/sec, 105 secs
lola: 20644804 markings, 21060748 edges, 174506 markings/sec, 110 secs
lola: 21488018 markings, 21919130 edges, 168643 markings/sec, 115 secs
lola: 22354672 markings, 22801375 edges, 173331 markings/sec, 120 secs
lola: 23213951 markings, 23676104 edges, 171856 markings/sec, 125 secs
lola: 24089334 markings, 24567259 edges, 175077 markings/sec, 130 secs
lola: 24991793 markings, 25485960 edges, 180492 markings/sec, 135 secs
lola: 25887897 markings, 26398201 edges, 179221 markings/sec, 140 secs
lola: 26775531 markings, 27302017 edges, 177527 markings/sec, 145 secs
lola: 27671685 markings, 28214442 edges, 179231 markings/sec, 150 secs
lola: 28571814 markings, 29130925 edges, 180026 markings/sec, 155 secs
lola: 29466654 markings, 30041960 edges, 178968 markings/sec, 160 secs
lola: 30355223 markings, 30946633 edges, 177714 markings/sec, 165 secs
lola: 31239267 markings, 31846706 edges, 176809 markings/sec, 170 secs
lola: 32117610 markings, 32740997 edges, 175669 markings/sec, 175 secs
lola: 32994435 markings, 33633751 edges, 175365 markings/sec, 180 secs
lola: 33880144 markings, 34535554 edges, 177142 markings/sec, 185 secs
lola: 34620521 markings, 35289593 edges, 148075 markings/sec, 190 secs
lola: 35501553 markings, 36187351 edges, 176206 markings/sec, 195 secs
lola: 36377786 markings, 37079549 edges, 175247 markings/sec, 200 secs
lola: 37255999 markings, 37974363 edges, 175643 markings/sec, 205 secs
lola: 38136352 markings, 38871010 edges, 176071 markings/sec, 210 secs
lola: 39043235 markings, 39795057 edges, 181377 markings/sec, 215 secs
lola: 39942330 markings, 40711099 edges, 179819 markings/sec, 220 secs
lola: 40825664 markings, 41621707 edges, 176667 markings/sec, 225 secs
lola: 41555853 markings, 42391457 edges, 146038 markings/sec, 230 secs
lola: 42413788 markings, 43278093 edges, 171587 markings/sec, 235 secs
lola: 43261297 markings, 44154211 edges, 169502 markings/sec, 240 secs
lola: 44104805 markings, 45039923 edges, 168702 markings/sec, 245 secs
lola: 44944036 markings, 45915356 edges, 167846 markings/sec, 250 secs
lola: 45799895 markings, 46799878 edges, 171172 markings/sec, 255 secs
lola: 46657962 markings, 47694798 edges, 171613 markings/sec, 260 secs
lola: 47507357 markings, 48581266 edges, 169879 markings/sec, 265 secs
lola: 48371224 markings, 49474613 edges, 172773 markings/sec, 270 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 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 216 bytes per marking, with 2 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: 602206 markings, 609518 edges, 120441 markings/sec, 0 secs
lola: 1185793 markings, 1210562 edges, 116717 markings/sec, 5 secs
lola: 1783298 markings, 1810257 edges, 119501 markings/sec, 10 secs
lola: 2377973 markings, 2407434 edges, 118935 markings/sec, 15 secs
lola: 2966063 markings, 2998564 edges, 117618 markings/sec, 20 secs
lola: 3555524 markings, 3592780 edges, 117892 markings/sec, 25 secs
lola: 4145311 markings, 4190611 edges, 117957 markings/sec, 30 secs
lola: 4753721 markings, 4801261 edges, 121682 markings/sec, 35 secs
lola: 5356273 markings, 5406032 edges, 120510 markings/sec, 40 secs
lola: 5957747 markings, 6009727 edges, 120295 markings/sec, 45 secs
lola: 6557027 markings, 6611222 edges, 119856 markings/sec, 50 secs
lola: 7170140 markings, 7226697 edges, 122623 markings/sec, 55 secs
lola: 7773992 markings, 7832867 edges, 120770 markings/sec, 60 secs
lola: 8362990 markings, 8424137 edges, 117800 markings/sec, 65 secs
lola: 8933179 markings, 8996732 edges, 114038 markings/sec, 70 secs
lola: 9492120 markings, 9558097 edges, 111788 markings/sec, 75 secs
lola: 10055654 markings, 10123819 edges, 112707 markings/sec, 80 secs
lola: 10618549 markings, 10688858 edges, 112579 markings/sec, 85 secs
lola: 11177735 markings, 11250272 edges, 111837 markings/sec, 90 secs
lola: 11691447 markings, 11766363 edges, 102742 markings/sec, 95 secs
lola: 12266209 markings, 12343964 edges, 114952 markings/sec, 100 secs
lola: 12841289 markings, 12921962 edges, 115016 markings/sec, 105 secs
lola: 13421641 markings, 13506290 edges, 116070 markings/sec, 110 secs
lola: 14013631 markings, 14101680 edges, 118398 markings/sec, 115 secs
lola: 14599577 markings, 14690849 edges, 117189 markings/sec, 120 secs
lola: 15219889 markings, 15313555 edges, 124062 markings/sec, 125 secs
lola: 15833839 markings, 15929789 edges, 122790 markings/sec, 130 secs
lola: 16442734 markings, 16540950 edges, 121779 markings/sec, 135 secs
lola: 17050826 markings, 17151304 edges, 121618 markings/sec, 140 secs
lola: 17656572 markings, 17759304 edges, 121149 markings/sec, 145 secs
lola: 18270866 markings, 18375885 edges, 122859 markings/sec, 150 secs
lola: 18832741 markings, 18939851 edges, 112375 markings/sec, 155 secs
lola: 19438307 markings, 19547670 edges, 121113 markings/sec, 160 secs
lola: 20042265 markings, 20153874 edges, 120792 markings/sec, 165 secs
lola: 20643352 markings, 20757199 edges, 120217 markings/sec, 170 secs
lola: 21264499 markings, 21380660 edges, 124229 markings/sec, 175 secs
lola: 21863084 markings, 21981473 edges, 119717 markings/sec, 180 secs
lola: 22475846 markings, 22596519 edges, 122552 markings/sec, 185 secs
lola: 23074494 markings, 23197396 edges, 119730 markings/sec, 190 secs
lola: 23664859 markings, 23789958 edges, 118073 markings/sec, 195 secs
lola: 24275839 markings, 24403216 edges, 122196 markings/sec, 200 secs
lola: 24891293 markings, 25020968 edges, 123091 markings/sec, 205 secs
lola: 25501663 markings, 25633643 edges, 122074 markings/sec, 210 secs
lola: 26108443 markings, 26242721 edges, 121356 markings/sec, 215 secs
lola: 26709919 markings, 26846476 edges, 120295 markings/sec, 220 secs
lola: 27306367 markings, 27445183 edges, 119290 markings/sec, 225 secs
lola: 27909240 markings, 28050318 edges, 120575 markings/sec, 230 secs
lola: 28511572 markings, 28654902 edges, 120466 markings/sec, 235 secs
lola: 29107747 markings, 29253303 edges, 119235 markings/sec, 240 secs
lola: 29700112 markings, 29847895 edges, 118473 markings/sec, 245 secs
lola: 30294447 markings, 30444483 edges, 118867 markings/sec, 250 secs
lola: 30780152 markings, 30932026 edges, 97141 markings/sec, 255 secs
lola: 31368876 markings, 31522956 edges, 117745 markings/sec, 260 secs
lola: 31956079 markings, 32112412 edges, 117441 markings/sec, 265 secs
lola: 32555330 markings, 32714041 edges, 119850 markings/sec, 270 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 277 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2480)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 216 bytes per marking, with 2 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: 679659 markings, 686308 edges, 135932 markings/sec, 0 secs
lola: 1365090 markings, 1378606 edges, 137086 markings/sec, 5 secs
lola: 2057163 markings, 2077559 edges, 138415 markings/sec, 10 secs
lola: 2738949 markings, 2766142 edges, 136357 markings/sec, 15 secs
lola: 3409241 markings, 3443170 edges, 134058 markings/sec, 20 secs
lola: 4078881 markings, 4119446 edges, 133928 markings/sec, 25 secs
lola: 4772297 markings, 4819875 edges, 138683 markings/sec, 30 secs
lola: 5451021 markings, 5505400 edges, 135745 markings/sec, 35 secs
lola: 6122195 markings, 6183234 edges, 134235 markings/sec, 40 secs
lola: 6794571 markings, 6862343 edges, 134475 markings/sec, 45 secs
lola: 7473709 markings, 7548264 edges, 135828 markings/sec, 50 secs
lola: 8146467 markings, 8227778 edges, 134552 markings/sec, 55 secs
lola: 8810621 markings, 8898547 edges, 132831 markings/sec, 60 secs
lola: 9481328 markings, 9575897 edges, 134141 markings/sec, 65 secs
lola: 10148827 markings, 10250121 edges, 133500 markings/sec, 70 secs
lola: 10813413 markings, 10921326 edges, 132917 markings/sec, 75 secs
lola: 11473692 markings, 11588201 edges, 132056 markings/sec, 80 secs
lola: 12135184 markings, 12256295 edges, 132298 markings/sec, 85 secs
lola: 12796825 markings, 12924540 edges, 132328 markings/sec, 90 secs
lola: 13465844 markings, 13600189 edges, 133804 markings/sec, 95 secs
lola: 14150723 markings, 14291910 edges, 136976 markings/sec, 100 secs
lola: 14835984 markings, 14984087 edges, 137052 markings/sec, 105 secs
lola: 15510480 markings, 15665258 edges, 134899 markings/sec, 110 secs
lola: 16174388 markings, 16335813 edges, 132782 markings/sec, 115 secs
lola: 16835059 markings, 17003047 edges, 132134 markings/sec, 120 secs
lola: 17499794 markings, 17674485 edges, 132947 markings/sec, 125 secs
lola: 18158479 markings, 18339682 edges, 131737 markings/sec, 130 secs
lola: 18836648 markings, 19024684 edges, 135634 markings/sec, 135 secs
lola: 19504341 markings, 19699114 edges, 133539 markings/sec, 140 secs
lola: 20160667 markings, 20361929 edges, 131265 markings/sec, 145 secs
lola: 20817845 markings, 21025678 edges, 131436 markings/sec, 150 secs
lola: 21458609 markings, 21672841 edges, 128153 markings/sec, 155 secs
lola: 22115672 markings, 22336494 edges, 131413 markings/sec, 160 secs
lola: 22775710 markings, 23003128 edges, 132008 markings/sec, 165 secs
lola: 23435469 markings, 23669481 edges, 131952 markings/sec, 170 secs
lola: 24089350 markings, 24329830 edges, 130776 markings/sec, 175 secs
lola: 24727998 markings, 24974867 edges, 127730 markings/sec, 180 secs
lola: 25374414 markings, 25627723 edges, 129283 markings/sec, 185 secs
lola: 26018979 markings, 26278713 edges, 128913 markings/sec, 190 secs
lola: 26671349 markings, 26937642 edges, 130474 markings/sec, 195 secs
lola: 27318711 markings, 27591435 edges, 129472 markings/sec, 200 secs
lola: 27984245 markings, 28263614 edges, 133107 markings/sec, 205 secs
lola: 28657671 markings, 28943804 edges, 134685 markings/sec, 210 secs
lola: 29321538 markings, 29614299 edges, 132773 markings/sec, 215 secs
lola: 29965477 markings, 30264660 edges, 128788 markings/sec, 220 secs
lola: 30629538 markings, 30935589 edges, 132812 markings/sec, 225 secs
lola: 31305459 markings, 31618525 edges, 135184 markings/sec, 230 secs
lola: 31951829 markings, 32271327 edges, 129274 markings/sec, 235 secs
lola: 32609262 markings, 32935593 edges, 131487 markings/sec, 240 secs
lola: 33290298 markings, 33623679 edges, 136207 markings/sec, 245 secs
lola: 33964982 markings, 34305319 edges, 134937 markings/sec, 250 secs
lola: 34638242 markings, 34985409 edges, 134652 markings/sec, 255 secs
lola: 35282944 markings, 35636695 edges, 128940 markings/sec, 260 secs
lola: 35935724 markings, 36296135 edges, 130556 markings/sec, 265 secs
lola: 36578228 markings, 36945053 edges, 128501 markings/sec, 270 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 277 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p907)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 216 bytes per marking, with 2 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: 378603 markings, 916877 edges, 75721 markings/sec, 0 secs
lola: 872916 markings, 1855448 edges, 98863 markings/sec, 5 secs
lola: 1374830 markings, 2803708 edges, 100383 markings/sec, 10 secs
lola: 1883829 markings, 3770199 edges, 101800 markings/sec, 15 secs
lola: 2393126 markings, 4732779 edges, 101859 markings/sec, 20 secs
lola: 2908061 markings, 5705161 edges, 102987 markings/sec, 25 secs
lola: 3413555 markings, 6668973 edges, 101099 markings/sec, 30 secs
lola: 3918050 markings, 7619823 edges, 100899 markings/sec, 35 secs
lola: 4418176 markings, 8572242 edges, 100025 markings/sec, 40 secs
lola: 4928913 markings, 9536950 edges, 102147 markings/sec, 45 secs
lola: 5436927 markings, 10501674 edges, 101603 markings/sec, 50 secs
lola: 5951702 markings, 11475457 edges, 102955 markings/sec, 55 secs
lola: 6458600 markings, 12434419 edges, 101380 markings/sec, 60 secs
lola: 6949140 markings, 13364380 edges, 98108 markings/sec, 65 secs
lola: 7455649 markings, 14326254 edges, 101302 markings/sec, 70 secs
lola: 7960017 markings, 15280181 edges, 100874 markings/sec, 75 secs
lola: 8459029 markings, 16227061 edges, 99802 markings/sec, 80 secs
lola: 8960744 markings, 17175683 edges, 100343 markings/sec, 85 secs
lola: 9460307 markings, 18124454 edges, 99913 markings/sec, 90 secs
lola: 9960755 markings, 19069755 edges, 100090 markings/sec, 95 secs
lola: 10452873 markings, 20004039 edges, 98424 markings/sec, 100 secs
lola: 10957360 markings, 20957962 edges, 100897 markings/sec, 105 secs
lola: 11459943 markings, 21911442 edges, 100517 markings/sec, 110 secs
lola: 11963110 markings, 22863719 edges, 100633 markings/sec, 115 secs
lola: 12465171 markings, 23815845 edges, 100412 markings/sec, 120 secs
lola: 12961624 markings, 24754182 edges, 99291 markings/sec, 125 secs
lola: 13461341 markings, 25703991 edges, 99943 markings/sec, 130 secs
lola: 13953400 markings, 26631719 edges, 98412 markings/sec, 135 secs
lola: 14450539 markings, 27576341 edges, 99428 markings/sec, 140 secs
lola: 14942105 markings, 28509396 edges, 98313 markings/sec, 145 secs
lola: 15444082 markings, 29458545 edges, 100395 markings/sec, 150 secs
lola: 15935626 markings, 30390825 edges, 98309 markings/sec, 155 secs
lola: 16427015 markings, 31317104 edges, 98278 markings/sec, 160 secs
lola: 16938311 markings, 32290434 edges, 102259 markings/sec, 165 secs
lola: 17448718 markings, 33255992 edges, 102081 markings/sec, 170 secs
lola: 17965599 markings, 34234816 edges, 103376 markings/sec, 175 secs
lola: 18355217 markings, 34973784 edges, 77924 markings/sec, 180 secs
lola: 18844057 markings, 35903250 edges, 97768 markings/sec, 185 secs
lola: 19343852 markings, 36843281 edges, 99959 markings/sec, 190 secs
lola: 19844502 markings, 37797566 edges, 100130 markings/sec, 195 secs
lola: 20343955 markings, 38739498 edges, 99891 markings/sec, 200 secs
lola: 20846139 markings, 39693992 edges, 100437 markings/sec, 205 secs
lola: 21357555 markings, 40658202 edges, 102283 markings/sec, 210 secs
lola: 21863079 markings, 41621473 edges, 101105 markings/sec, 215 secs
lola: 22372782 markings, 42585002 edges, 101941 markings/sec, 220 secs
lola: 22876095 markings, 43539853 edges, 100663 markings/sec, 225 secs
lola: 23369162 markings, 44470295 edges, 98613 markings/sec, 230 secs
lola: 23873671 markings, 45430948 edges, 100902 markings/sec, 235 secs
lola: 24370335 markings, 46366045 edges, 99333 markings/sec, 240 secs
lola: 24863608 markings, 47305244 edges, 98655 markings/sec, 245 secs
lola: 25364223 markings, 48251333 edges, 100123 markings/sec, 250 secs
lola: 25860226 markings, 49193002 edges, 99201 markings/sec, 255 secs
lola: 26355677 markings, 50133488 edges, 99090 markings/sec, 260 secs
lola: 26852301 markings, 51072063 edges, 99325 markings/sec, 265 secs
lola: 27353569 markings, 52023614 edges, 100254 markings/sec, 270 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 277 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2319)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 216 bytes per marking, with 2 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: 575323 markings, 579318 edges, 115065 markings/sec, 0 secs
lola: 1134213 markings, 1142195 edges, 111778 markings/sec, 5 secs
lola: 1696828 markings, 1708932 edges, 112523 markings/sec, 10 secs
lola: 2265451 markings, 2281615 edges, 113725 markings/sec, 15 secs
lola: 2828405 markings, 2848614 edges, 112591 markings/sec, 20 secs
lola: 3382099 markings, 3406325 edges, 110739 markings/sec, 25 secs
lola: 3932344 markings, 3960485 edges, 110049 markings/sec, 30 secs
lola: 4481436 markings, 4513556 edges, 109818 markings/sec, 35 secs
lola: 5026838 markings, 5062862 edges, 109080 markings/sec, 40 secs
lola: 5570015 markings, 5610005 edges, 108635 markings/sec, 45 secs
lola: 6135384 markings, 6179423 edges, 113074 markings/sec, 50 secs
lola: 6706726 markings, 6754939 edges, 114268 markings/sec, 55 secs
lola: 7279980 markings, 7332358 edges, 114651 markings/sec, 60 secs
lola: 7842355 markings, 7898775 edges, 112475 markings/sec, 65 secs
lola: 8399471 markings, 8459917 edges, 111423 markings/sec, 70 secs
lola: 8956241 markings, 9020715 edges, 111354 markings/sec, 75 secs
lola: 9512765 markings, 9581264 edges, 111305 markings/sec, 80 secs
lola: 10066605 markings, 10139107 edges, 110768 markings/sec, 85 secs
lola: 10599674 markings, 10675961 edges, 106614 markings/sec, 90 secs
lola: 11158872 markings, 11239177 edges, 111840 markings/sec, 95 secs
lola: 11701604 markings, 11785876 edges, 108546 markings/sec, 100 secs
lola: 12246474 markings, 12334630 edges, 108974 markings/sec, 105 secs
lola: 12798610 markings, 12890775 edges, 110427 markings/sec, 110 secs
lola: 13346198 markings, 13442271 edges, 109518 markings/sec, 115 secs
lola: 13894163 markings, 13994215 edges, 109593 markings/sec, 120 secs
lola: 14364787 markings, 14468197 edges, 94125 markings/sec, 125 secs
lola: 14911107 markings, 15018491 edges, 109264 markings/sec, 130 secs
lola: 15457911 markings, 15569204 edges, 109361 markings/sec, 135 secs
lola: 15996362 markings, 16111605 edges, 107690 markings/sec, 140 secs
lola: 16538547 markings, 16657666 edges, 108437 markings/sec, 145 secs
lola: 17080467 markings, 17203463 edges, 108384 markings/sec, 150 secs
lola: 17628169 markings, 17755159 edges, 109540 markings/sec, 155 secs
lola: 18166777 markings, 18297630 edges, 107722 markings/sec, 160 secs
lola: 18671066 markings, 18805577 edges, 100858 markings/sec, 165 secs
lola: 19234987 markings, 19373558 edges, 112784 markings/sec, 170 secs
lola: 19797351 markings, 19939969 edges, 112473 markings/sec, 175 secs
lola: 20358096 markings, 20504759 edges, 112149 markings/sec, 180 secs
lola: 20835847 markings, 20985988 edges, 95550 markings/sec, 185 secs
lola: 21389731 markings, 21543886 edges, 110777 markings/sec, 190 secs
lola: 21943317 markings, 22101392 edges, 110717 markings/sec, 195 secs
lola: 22486326 markings, 22648377 edges, 108602 markings/sec, 200 secs
lola: 22958774 markings, 23124172 edges, 94490 markings/sec, 205 secs
lola: 23500533 markings, 23669892 edges, 108352 markings/sec, 210 secs
lola: 24043621 markings, 24216868 edges, 108618 markings/sec, 215 secs
lola: 24595377 markings, 24772620 edges, 110351 markings/sec, 220 secs
lola: 25060368 markings, 25240947 edges, 92998 markings/sec, 225 secs
lola: 25622478 markings, 25807103 edges, 112422 markings/sec, 230 secs
lola: 26180889 markings, 26369621 edges, 111682 markings/sec, 235 secs
lola: 26724428 markings, 26917050 edges, 108708 markings/sec, 240 secs
lola: 27265469 markings, 27461987 edges, 108208 markings/sec, 245 secs
lola: 27806870 markings, 28007337 edges, 108280 markings/sec, 250 secs
lola: 28357627 markings, 28562012 edges, 110151 markings/sec, 255 secs
lola: 28896624 markings, 29104960 edges, 107799 markings/sec, 260 secs
lola: 29358579 markings, 29570230 edges, 92391 markings/sec, 265 secs
lola: 29897334 markings, 30112847 edges, 107751 markings/sec, 270 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA Echo-PT-d02r19-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r19-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r19-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r19-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r19-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r19-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r19-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r19-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r19-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r19-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r19-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r19-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r19-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r19-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r19-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r19-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494690671503
--------------------
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="Echo-PT-d02r19"
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/Echo-PT-d02r19.tgz
mv Echo-PT-d02r19 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 Echo-PT-d02r19, 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 r028-blw3-149440264100263"
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 '
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 ;