About the Execution of LoLA for Angiogenesis-PT-50
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15837.480 | 3539761.00 | 3550029.00 | 285.10 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 Angiogenesis-PT-50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-csrt-149436125900146
=====================================================================
--------------------
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 Angiogenesis-PT-50-UpperBounds-0
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-1
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-10
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-11
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-12
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-13
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-14
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-15
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-2
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-3
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-4
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-5
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-6
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-7
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-8
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494598708649
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Angiogenesis-PT-50 @ 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: 103/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 39 places, 64 transitions, 31 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 54 transition conflict sets
lola: TASK
lola: reading formula from Angiogenesis-PT-50-UpperBounds.task
lola: MAX(AktStar) : MAX(KdStarPg) : MAX(GP3) : MAX(KdStarGStarPgStarP2) : MAX(Pg) : MAX(KdStarPgStar) : MAX(DAGE) : MAX(KdStarGStarPgStarP3P2) : MAX(KdStarG) : MAX(KdStarGStarP3kStarP2) : MAX(Pip2) : MAX(KdStarGStarP3kStarP3) : MAX(KdStarPg) : MAX(PtP3) : MAX(P3k) : MAX(KdStarGP3)
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(AktStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2412432 markings, 3983269 edges, 482486 markings/sec, 0 secs
lola: 4648372 markings, 7715048 edges, 447188 markings/sec, 5 secs
lola: 6781491 markings, 11309442 edges, 426624 markings/sec, 10 secs
lola: 9036624 markings, 15104486 edges, 451027 markings/sec, 15 secs
lola: 11194556 markings, 18786080 edges, 431586 markings/sec, 20 secs
lola: 13335171 markings, 22435175 edges, 428123 markings/sec, 25 secs
lola: 15434616 markings, 26046429 edges, 419889 markings/sec, 30 secs
lola: 17477292 markings, 29579619 edges, 408535 markings/sec, 35 secs
lola: 19435173 markings, 32988856 edges, 391576 markings/sec, 40 secs
lola: 21365541 markings, 36335973 edges, 386074 markings/sec, 45 secs
lola: 23101163 markings, 39389267 edges, 347124 markings/sec, 50 secs
lola: 24807597 markings, 42401098 edges, 341287 markings/sec, 55 secs
lola: 26666525 markings, 45634993 edges, 371786 markings/sec, 60 secs
lola: 28397038 markings, 48666479 edges, 346103 markings/sec, 65 secs
lola: 30231343 markings, 51846620 edges, 366861 markings/sec, 70 secs
lola: 32080989 markings, 55059108 edges, 369929 markings/sec, 75 secs
lola: 33803493 markings, 58123737 edges, 344501 markings/sec, 80 secs
lola: 35483479 markings, 61115741 edges, 335997 markings/sec, 85 secs
lola: 37319445 markings, 64321753 edges, 367193 markings/sec, 90 secs
lola: 38987353 markings, 67298763 edges, 333582 markings/sec, 95 secs
lola: 40708861 markings, 70349393 edges, 344302 markings/sec, 100 secs
lola: 42374398 markings, 73332700 edges, 333107 markings/sec, 105 secs
lola: 44105530 markings, 76408957 edges, 346226 markings/sec, 110 secs
lola: 45654992 markings, 79214070 edges, 309892 markings/sec, 115 secs
lola: 47355781 markings, 82233926 edges, 340158 markings/sec, 120 secs
lola: 48996258 markings, 85181711 edges, 328095 markings/sec, 125 secs
lola: 50731264 markings, 88254643 edges, 347001 markings/sec, 130 secs
lola: 52213635 markings, 90937698 edges, 296474 markings/sec, 135 secs
lola: 53732270 markings, 93670784 edges, 303727 markings/sec, 140 secs
lola: 55277587 markings, 96443166 edges, 309063 markings/sec, 145 secs
lola: 56848498 markings, 99278369 edges, 314182 markings/sec, 150 secs
lola: 58369945 markings, 102025314 edges, 304289 markings/sec, 155 secs
lola: 59929129 markings, 104822908 edges, 311837 markings/sec, 160 secs
lola: 61500673 markings, 107636485 edges, 314309 markings/sec, 165 secs
lola: 62945708 markings, 110238932 edges, 289007 markings/sec, 170 secs
lola: 64465424 markings, 112991019 edges, 303943 markings/sec, 175 secs
lola: 65893643 markings, 115609062 edges, 285644 markings/sec, 180 secs
lola: 67389477 markings, 118319224 edges, 299167 markings/sec, 185 secs
lola: 68893331 markings, 121025489 edges, 300771 markings/sec, 190 secs
lola: 70472643 markings, 123850751 edges, 315862 markings/sec, 195 secs
lola: 71938740 markings, 126507368 edges, 293219 markings/sec, 200 secs
lola: 73425363 markings, 129207198 edges, 297325 markings/sec, 205 secs
lola: 74845314 markings, 131814217 edges, 283990 markings/sec, 210 secs
lola: 76283002 markings, 134428824 edges, 287538 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(KdStarPg)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2075480 markings, 3352153 edges, 415096 markings/sec, 0 secs
lola: 3770551 markings, 6218647 edges, 339014 markings/sec, 5 secs
lola: 5317113 markings, 8890926 edges, 309312 markings/sec, 10 secs
lola: 6793068 markings, 11471441 edges, 295191 markings/sec, 15 secs
lola: 8236143 markings, 13996725 edges, 288615 markings/sec, 20 secs
lola: 9627478 markings, 16461833 edges, 278267 markings/sec, 25 secs
lola: 10993119 markings, 18881546 edges, 273128 markings/sec, 30 secs
lola: 12356534 markings, 21306824 edges, 272683 markings/sec, 35 secs
lola: 13693263 markings, 23679059 edges, 267346 markings/sec, 40 secs
lola: 14981557 markings, 25993824 edges, 257659 markings/sec, 45 secs
lola: 16266461 markings, 28300858 edges, 256981 markings/sec, 50 secs
lola: 17544506 markings, 30576969 edges, 255609 markings/sec, 55 secs
lola: 18799159 markings, 32851766 edges, 250931 markings/sec, 60 secs
lola: 20066003 markings, 35161294 edges, 253369 markings/sec, 65 secs
lola: 21347928 markings, 37469482 edges, 256385 markings/sec, 70 secs
lola: 22620413 markings, 39783260 edges, 254497 markings/sec, 75 secs
lola: 23832798 markings, 42002320 edges, 242477 markings/sec, 80 secs
lola: 25038678 markings, 44198991 edges, 241176 markings/sec, 85 secs
lola: 26250928 markings, 46419688 edges, 242450 markings/sec, 90 secs
lola: 27490039 markings, 48694595 edges, 247822 markings/sec, 95 secs
lola: 28737721 markings, 50949929 edges, 249536 markings/sec, 100 secs
lola: 29930333 markings, 53122814 edges, 238522 markings/sec, 105 secs
lola: 31140306 markings, 55320894 edges, 241995 markings/sec, 110 secs
lola: 32339808 markings, 57500713 edges, 239900 markings/sec, 115 secs
lola: 33506924 markings, 59643510 edges, 233423 markings/sec, 120 secs
lola: 34683661 markings, 61783496 edges, 235347 markings/sec, 125 secs
lola: 35858443 markings, 63910084 edges, 234956 markings/sec, 130 secs
lola: 37056540 markings, 66085728 edges, 239619 markings/sec, 135 secs
lola: 38189874 markings, 68185478 edges, 226667 markings/sec, 140 secs
lola: 39339581 markings, 70297588 edges, 229941 markings/sec, 145 secs
lola: 40500605 markings, 72429095 edges, 232205 markings/sec, 150 secs
lola: 41657749 markings, 74559644 edges, 231429 markings/sec, 155 secs
lola: 42803887 markings, 76687291 edges, 229228 markings/sec, 160 secs
lola: 43975059 markings, 78828738 edges, 234234 markings/sec, 165 secs
lola: 45122794 markings, 80962550 edges, 229547 markings/sec, 170 secs
lola: 46276075 markings, 83077111 edges, 230656 markings/sec, 175 secs
lola: 47467037 markings, 85276787 edges, 238192 markings/sec, 180 secs
lola: 48630626 markings, 87432913 edges, 232718 markings/sec, 185 secs
lola: 49786800 markings, 89579746 edges, 231235 markings/sec, 190 secs
lola: 50935317 markings, 91738212 edges, 229703 markings/sec, 195 secs
lola: 52064959 markings, 93889912 edges, 225928 markings/sec, 200 secs
lola: 53126565 markings, 96019504 edges, 212321 markings/sec, 205 secs
lola: 54191458 markings, 98080406 edges, 212979 markings/sec, 210 secs
lola: 55253695 markings, 100145686 edges, 212447 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(GP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1798653 markings, 3151044 edges, 359731 markings/sec, 0 secs
lola: 3392646 markings, 5996334 edges, 318799 markings/sec, 5 secs
lola: 4932838 markings, 8766976 edges, 308038 markings/sec, 10 secs
lola: 6456442 markings, 11510509 edges, 304721 markings/sec, 15 secs
lola: 7931409 markings, 14183874 edges, 294993 markings/sec, 20 secs
lola: 9372868 markings, 16800062 edges, 288292 markings/sec, 25 secs
lola: 10809916 markings, 19409623 edges, 287410 markings/sec, 30 secs
lola: 12225282 markings, 21995375 edges, 283073 markings/sec, 35 secs
lola: 13652283 markings, 24597215 edges, 285400 markings/sec, 40 secs
lola: 15113332 markings, 27238900 edges, 292210 markings/sec, 45 secs
lola: 16519969 markings, 29797567 edges, 281327 markings/sec, 50 secs
lola: 17903311 markings, 32325283 edges, 276668 markings/sec, 55 secs
lola: 19248208 markings, 34802352 edges, 268979 markings/sec, 60 secs
lola: 20638293 markings, 37337499 edges, 278017 markings/sec, 65 secs
lola: 21977044 markings, 39794927 edges, 267750 markings/sec, 70 secs
lola: 23296851 markings, 42229758 edges, 263961 markings/sec, 75 secs
lola: 24640824 markings, 44697136 edges, 268795 markings/sec, 80 secs
lola: 25994710 markings, 47204137 edges, 270777 markings/sec, 85 secs
lola: 27313096 markings, 49641413 edges, 263677 markings/sec, 90 secs
lola: 28641785 markings, 52097765 edges, 265738 markings/sec, 95 secs
lola: 29974757 markings, 54554338 edges, 266594 markings/sec, 100 secs
lola: 31284218 markings, 56964847 edges, 261892 markings/sec, 105 secs
lola: 32637675 markings, 59463727 edges, 270691 markings/sec, 110 secs
lola: 34036442 markings, 62032453 edges, 279753 markings/sec, 115 secs
lola: 35367282 markings, 64497474 edges, 266168 markings/sec, 120 secs
lola: 36739504 markings, 67026749 edges, 274444 markings/sec, 125 secs
lola: 38050322 markings, 69462598 edges, 262164 markings/sec, 130 secs
lola: 39415241 markings, 71987307 edges, 272984 markings/sec, 135 secs
lola: 40729206 markings, 74420105 edges, 262793 markings/sec, 140 secs
lola: 42003694 markings, 76787239 edges, 254898 markings/sec, 145 secs
lola: 43309291 markings, 79197394 edges, 261119 markings/sec, 150 secs
lola: 44583827 markings, 81571908 edges, 254907 markings/sec, 155 secs
lola: 45946881 markings, 84108074 edges, 272611 markings/sec, 160 secs
lola: 47263765 markings, 86538967 edges, 263377 markings/sec, 165 secs
lola: 48655847 markings, 89094218 edges, 278416 markings/sec, 170 secs
lola: 49946154 markings, 91495173 edges, 258061 markings/sec, 175 secs
lola: 51224341 markings, 93861566 edges, 255637 markings/sec, 180 secs
lola: 52523796 markings, 96256272 edges, 259891 markings/sec, 185 secs
lola: 53789075 markings, 98601187 edges, 253056 markings/sec, 190 secs
lola: 55056117 markings, 100962017 edges, 253408 markings/sec, 195 secs
lola: 56389830 markings, 103410292 edges, 266743 markings/sec, 200 secs
lola: 57638834 markings, 105738284 edges, 249801 markings/sec, 205 secs
lola: 58901579 markings, 108079068 edges, 252549 markings/sec, 210 secs
lola: 60161661 markings, 110423678 edges, 252016 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgStarP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1759522 markings, 3413207 edges, 351904 markings/sec, 0 secs
lola: 3219389 markings, 6361376 edges, 291973 markings/sec, 5 secs
lola: 4548626 markings, 9113015 edges, 265847 markings/sec, 10 secs
lola: 5855381 markings, 11827338 edges, 261351 markings/sec, 15 secs
lola: 7143956 markings, 14493426 edges, 257715 markings/sec, 20 secs
lola: 8403122 markings, 17108260 edges, 251833 markings/sec, 25 secs
lola: 9667587 markings, 19765503 edges, 252893 markings/sec, 30 secs
lola: 10855821 markings, 22281527 edges, 237647 markings/sec, 35 secs
lola: 12060689 markings, 24805075 edges, 240974 markings/sec, 40 secs
lola: 13250935 markings, 27319689 edges, 238049 markings/sec, 45 secs
lola: 14458760 markings, 29849415 edges, 241565 markings/sec, 50 secs
lola: 15642930 markings, 32344513 edges, 236834 markings/sec, 55 secs
lola: 16767555 markings, 34743345 edges, 224925 markings/sec, 60 secs
lola: 17882638 markings, 37134498 edges, 223017 markings/sec, 65 secs
lola: 18992584 markings, 39474752 edges, 221989 markings/sec, 70 secs
lola: 20053467 markings, 41745098 edges, 212177 markings/sec, 75 secs
lola: 21131311 markings, 44065372 edges, 215569 markings/sec, 80 secs
lola: 22224714 markings, 46390321 edges, 218681 markings/sec, 85 secs
lola: 23330378 markings, 48742258 edges, 221133 markings/sec, 90 secs
lola: 24416381 markings, 51053211 edges, 217201 markings/sec, 95 secs
lola: 25581756 markings, 53471206 edges, 233075 markings/sec, 100 secs
lola: 26670037 markings, 55791117 edges, 217656 markings/sec, 105 secs
lola: 27739684 markings, 58099206 edges, 213929 markings/sec, 110 secs
lola: 28818624 markings, 60424388 edges, 215788 markings/sec, 115 secs
lola: 29953034 markings, 62819051 edges, 226882 markings/sec, 120 secs
lola: 31052310 markings, 65153935 edges, 219855 markings/sec, 125 secs
lola: 32133796 markings, 67473378 edges, 216297 markings/sec, 130 secs
lola: 33170037 markings, 69727413 edges, 207248 markings/sec, 135 secs
lola: 34214782 markings, 71996042 edges, 208949 markings/sec, 140 secs
lola: 35269932 markings, 74278520 edges, 211030 markings/sec, 145 secs
lola: 36319180 markings, 76544080 edges, 209850 markings/sec, 150 secs
lola: 37366277 markings, 78807177 edges, 209419 markings/sec, 155 secs
lola: 38377282 markings, 81019593 edges, 202201 markings/sec, 160 secs
lola: 39393908 markings, 83223329 edges, 203325 markings/sec, 165 secs
lola: 40413968 markings, 85450653 edges, 204012 markings/sec, 170 secs
lola: 41422891 markings, 87646243 edges, 201785 markings/sec, 175 secs
lola: 42434669 markings, 89854037 edges, 202356 markings/sec, 180 secs
lola: 43429583 markings, 92021657 edges, 198983 markings/sec, 185 secs
lola: 44490287 markings, 94320512 edges, 212141 markings/sec, 190 secs
lola: 45483333 markings, 96480843 edges, 198609 markings/sec, 195 secs
lola: 46470791 markings, 98614447 edges, 197492 markings/sec, 200 secs
lola: 47464760 markings, 100764824 edges, 198794 markings/sec, 205 secs
lola: 48496168 markings, 103012666 edges, 206282 markings/sec, 210 secs
lola: 49584438 markings, 105347863 edges, 217654 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pg)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1394937 markings, 3243287 edges, 278987 markings/sec, 0 secs
lola: 2425031 markings, 5931412 edges, 206019 markings/sec, 5 secs
lola: 3422158 markings, 8556692 edges, 199425 markings/sec, 10 secs
lola: 4366882 markings, 11112552 edges, 188945 markings/sec, 15 secs
lola: 5276730 markings, 13604205 edges, 181970 markings/sec, 20 secs
lola: 6194556 markings, 16108511 edges, 183565 markings/sec, 25 secs
lola: 7068884 markings, 18473571 edges, 174866 markings/sec, 30 secs
lola: 7934346 markings, 20877254 edges, 173092 markings/sec, 35 secs
lola: 8785297 markings, 23241827 edges, 170190 markings/sec, 40 secs
lola: 9624744 markings, 25572684 edges, 167889 markings/sec, 45 secs
lola: 10431979 markings, 27835569 edges, 161447 markings/sec, 50 secs
lola: 11240434 markings, 30088914 edges, 161691 markings/sec, 55 secs
lola: 12055736 markings, 32362206 edges, 163060 markings/sec, 60 secs
lola: 12851225 markings, 34585418 edges, 159098 markings/sec, 65 secs
lola: 13634116 markings, 36802786 edges, 156578 markings/sec, 70 secs
lola: 14430130 markings, 39025768 edges, 159203 markings/sec, 75 secs
lola: 15218879 markings, 41238262 edges, 157750 markings/sec, 80 secs
lola: 15978485 markings, 43397092 edges, 151921 markings/sec, 85 secs
lola: 16752018 markings, 45583861 edges, 154707 markings/sec, 90 secs
lola: 17485797 markings, 47677002 edges, 146756 markings/sec, 95 secs
lola: 18192656 markings, 49711471 edges, 141372 markings/sec, 100 secs
lola: 18931824 markings, 51809776 edges, 147834 markings/sec, 105 secs
lola: 19673540 markings, 53929474 edges, 148343 markings/sec, 110 secs
lola: 20405679 markings, 56031174 edges, 146428 markings/sec, 115 secs
lola: 21142291 markings, 58133187 edges, 147322 markings/sec, 120 secs
lola: 21875279 markings, 60236771 edges, 146598 markings/sec, 125 secs
lola: 22586422 markings, 62299631 edges, 142229 markings/sec, 130 secs
lola: 23335965 markings, 64420498 edges, 149909 markings/sec, 135 secs
lola: 24058297 markings, 66493038 edges, 144466 markings/sec, 140 secs
lola: 24795157 markings, 68589430 edges, 147372 markings/sec, 145 secs
lola: 25517835 markings, 70658367 edges, 144536 markings/sec, 150 secs
lola: 26254735 markings, 72744578 edges, 147380 markings/sec, 155 secs
lola: 26969643 markings, 74801139 edges, 142982 markings/sec, 160 secs
lola: 27672910 markings, 76845726 edges, 140653 markings/sec, 165 secs
lola: 28372801 markings, 78873925 edges, 139978 markings/sec, 170 secs
lola: 29074473 markings, 80903845 edges, 140334 markings/sec, 175 secs
lola: 29778861 markings, 82941376 edges, 140878 markings/sec, 180 secs
lola: 30518864 markings, 85073631 edges, 148001 markings/sec, 185 secs
lola: 31232817 markings, 87140452 edges, 142791 markings/sec, 190 secs
lola: 31941522 markings, 89185705 edges, 141741 markings/sec, 195 secs
lola: 32649236 markings, 91242739 edges, 141543 markings/sec, 200 secs
lola: 33377842 markings, 93359722 edges, 145721 markings/sec, 205 secs
lola: 34115053 markings, 95453979 edges, 147442 markings/sec, 210 secs
lola: 34843765 markings, 97559352 edges, 145742 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarPgStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1565760 markings, 3227301 edges, 313152 markings/sec, 0 secs
lola: 2906040 markings, 6114835 edges, 268056 markings/sec, 5 secs
lola: 4089913 markings, 8711539 edges, 236775 markings/sec, 10 secs
lola: 5248626 markings, 11275304 edges, 231743 markings/sec, 15 secs
lola: 6385541 markings, 13800908 edges, 227383 markings/sec, 20 secs
lola: 7493828 markings, 16298297 edges, 221657 markings/sec, 25 secs
lola: 8594798 markings, 18785663 edges, 220194 markings/sec, 30 secs
lola: 9697450 markings, 21267319 edges, 220530 markings/sec, 35 secs
lola: 10797240 markings, 23738201 edges, 219958 markings/sec, 40 secs
lola: 11873912 markings, 26191723 edges, 215334 markings/sec, 45 secs
lola: 12951185 markings, 28634289 edges, 215455 markings/sec, 50 secs
lola: 14036498 markings, 31112374 edges, 217063 markings/sec, 55 secs
lola: 15098933 markings, 33531445 edges, 212487 markings/sec, 60 secs
lola: 16109520 markings, 35850058 edges, 202117 markings/sec, 65 secs
lola: 17152077 markings, 38259271 edges, 208511 markings/sec, 70 secs
lola: 18187310 markings, 40624016 edges, 207047 markings/sec, 75 secs
lola: 19188642 markings, 42943543 edges, 200266 markings/sec, 80 secs
lola: 20199369 markings, 45280320 edges, 202145 markings/sec, 85 secs
lola: 21181127 markings, 47581173 edges, 196352 markings/sec, 90 secs
lola: 22165474 markings, 49847317 edges, 196869 markings/sec, 95 secs
lola: 23159425 markings, 52136931 edges, 198790 markings/sec, 100 secs
lola: 24135331 markings, 54412472 edges, 195181 markings/sec, 105 secs
lola: 25117960 markings, 56684599 edges, 196526 markings/sec, 110 secs
lola: 26082573 markings, 58922029 edges, 192923 markings/sec, 115 secs
lola: 27055925 markings, 61177105 edges, 194670 markings/sec, 120 secs
lola: 28026709 markings, 63419402 edges, 194157 markings/sec, 125 secs
lola: 28963394 markings, 65609305 edges, 187337 markings/sec, 130 secs
lola: 29899898 markings, 67796010 edges, 187301 markings/sec, 135 secs
lola: 30806682 markings, 69934397 edges, 181357 markings/sec, 140 secs
lola: 31734427 markings, 72094993 edges, 185549 markings/sec, 145 secs
lola: 32652956 markings, 74244813 edges, 183706 markings/sec, 150 secs
lola: 33570676 markings, 76389905 edges, 183544 markings/sec, 155 secs
lola: 34495168 markings, 78534729 edges, 184898 markings/sec, 160 secs
lola: 35396162 markings, 80645312 edges, 180199 markings/sec, 165 secs
lola: 36317499 markings, 82802070 edges, 184267 markings/sec, 170 secs
lola: 37230833 markings, 84950266 edges, 182667 markings/sec, 175 secs
lola: 38134827 markings, 87082480 edges, 180799 markings/sec, 180 secs
lola: 39061304 markings, 89238757 edges, 185295 markings/sec, 185 secs
lola: 39926867 markings, 91289366 edges, 173113 markings/sec, 190 secs
lola: 40775608 markings, 93306893 edges, 169748 markings/sec, 195 secs
lola: 41660850 markings, 95379415 edges, 177048 markings/sec, 200 secs
lola: 42511610 markings, 97399616 edges, 170152 markings/sec, 205 secs
lola: 43367657 markings, 99424609 edges, 171209 markings/sec, 210 secs
lola: 44217972 markings, 101429005 edges, 170063 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(DAGE)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3528878 markings, 6313572 edges, 705776 markings/sec, 0 secs
lola: 6915767 markings, 12304709 edges, 677378 markings/sec, 5 secs
lola: 10392626 markings, 18400380 edges, 695372 markings/sec, 10 secs
lola: 13843894 markings, 24454264 edges, 690254 markings/sec, 15 secs
lola: 17283478 markings, 30491766 edges, 687917 markings/sec, 20 secs
lola: 20681594 markings, 36451729 edges, 679623 markings/sec, 25 secs
lola: 24075578 markings, 42401929 edges, 678797 markings/sec, 30 secs
lola: 27496653 markings, 48406335 edges, 684215 markings/sec, 35 secs
lola: 30444005 markings, 53666626 edges, 589470 markings/sec, 40 secs
lola: 33237029 markings, 58714267 edges, 558605 markings/sec, 45 secs
lola: 35837642 markings, 63445702 edges, 520123 markings/sec, 50 secs
lola: 38510528 markings, 68252694 edges, 534577 markings/sec, 55 secs
lola: 41001744 markings, 72782467 edges, 498243 markings/sec, 60 secs
lola: 43477311 markings, 77289656 edges, 495113 markings/sec, 65 secs
lola: 45839174 markings, 81621509 edges, 472373 markings/sec, 70 secs
lola: 48228087 markings, 85994407 edges, 477783 markings/sec, 75 secs
lola: 50563211 markings, 90265531 edges, 467025 markings/sec, 80 secs
lola: 52822065 markings, 94385385 edges, 451771 markings/sec, 85 secs
lola: 55055725 markings, 98481641 edges, 446732 markings/sec, 90 secs
lola: 57303494 markings, 102627577 edges, 449554 markings/sec, 95 secs
lola: 59597885 markings, 106831028 edges, 458878 markings/sec, 100 secs
lola: 61820001 markings, 110915124 edges, 444423 markings/sec, 105 secs
lola: 64068352 markings, 115022264 edges, 449670 markings/sec, 110 secs
lola: 66235163 markings, 119003977 edges, 433362 markings/sec, 115 secs
lola: 68502040 markings, 123158940 edges, 453375 markings/sec, 120 secs
lola: 70757878 markings, 127280425 edges, 451168 markings/sec, 125 secs
lola: 72986695 markings, 131370974 edges, 445763 markings/sec, 130 secs
lola: 75204412 markings, 135437715 edges, 443543 markings/sec, 135 secs
lola: 77330458 markings, 139352558 edges, 425209 markings/sec, 140 secs
lola: 79462185 markings, 143266340 edges, 426345 markings/sec, 145 secs
lola: 81637678 markings, 147263695 edges, 435099 markings/sec, 150 secs
lola: 83929156 markings, 151467665 edges, 458296 markings/sec, 155 secs
lola: 86207855 markings, 155634904 edges, 455740 markings/sec, 160 secs
lola: 88389095 markings, 159659441 edges, 436248 markings/sec, 165 secs
lola: 90524821 markings, 163586992 edges, 427145 markings/sec, 170 secs
lola: 92715223 markings, 167610043 edges, 438080 markings/sec, 175 secs
lola: 94827510 markings, 171499703 edges, 422457 markings/sec, 180 secs
lola: 96909737 markings, 175343700 edges, 416445 markings/sec, 185 secs
lola: 99076561 markings, 179335236 edges, 433365 markings/sec, 190 secs
lola: 101267376 markings, 183353296 edges, 438163 markings/sec, 195 secs
lola: 103433572 markings, 187344941 edges, 433239 markings/sec, 200 secs
lola: 105622623 markings, 191381384 edges, 437810 markings/sec, 205 secs
lola: 107763787 markings, 195316029 edges, 428233 markings/sec, 210 secs
lola: 109838239 markings, 199146381 edges, 414890 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgStarP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1769412 markings, 3462073 edges, 353882 markings/sec, 0 secs
lola: 3310168 markings, 6636276 edges, 308151 markings/sec, 5 secs
lola: 4752989 markings, 9651542 edges, 288564 markings/sec, 10 secs
lola: 6130076 markings, 12561770 edges, 275417 markings/sec, 15 secs
lola: 7447196 markings, 15384235 edges, 263424 markings/sec, 20 secs
lola: 8778154 markings, 18255353 edges, 266192 markings/sec, 25 secs
lola: 10065864 markings, 21060320 edges, 257542 markings/sec, 30 secs
lola: 11316151 markings, 23788549 edges, 250057 markings/sec, 35 secs
lola: 12570864 markings, 26545361 edges, 250943 markings/sec, 40 secs
lola: 13777223 markings, 29204233 edges, 241272 markings/sec, 45 secs
lola: 14982724 markings, 31862748 edges, 241100 markings/sec, 50 secs
lola: 16188302 markings, 34540698 edges, 241116 markings/sec, 55 secs
lola: 17362706 markings, 37142009 edges, 234881 markings/sec, 60 secs
lola: 18521106 markings, 39716792 edges, 231680 markings/sec, 65 secs
lola: 19667561 markings, 42271859 edges, 229291 markings/sec, 70 secs
lola: 20813744 markings, 44836400 edges, 229237 markings/sec, 75 secs
lola: 21958013 markings, 47389539 edges, 228854 markings/sec, 80 secs
lola: 23087027 markings, 49920851 edges, 225803 markings/sec, 85 secs
lola: 24215741 markings, 52443410 edges, 225743 markings/sec, 90 secs
lola: 25370806 markings, 55036953 edges, 231013 markings/sec, 95 secs
lola: 26530307 markings, 57646092 edges, 231900 markings/sec, 100 secs
lola: 27695106 markings, 60268215 edges, 232960 markings/sec, 105 secs
lola: 28838037 markings, 62849540 edges, 228586 markings/sec, 110 secs
lola: 29983013 markings, 65437737 edges, 228995 markings/sec, 115 secs
lola: 31118794 markings, 68011414 edges, 227156 markings/sec, 120 secs
lola: 32247452 markings, 70571990 edges, 225732 markings/sec, 125 secs
lola: 33370857 markings, 73118041 edges, 224681 markings/sec, 130 secs
lola: 34492551 markings, 75661976 edges, 224339 markings/sec, 135 secs
lola: 35591854 markings, 78157780 edges, 219861 markings/sec, 140 secs
lola: 36690058 markings, 80653015 edges, 219641 markings/sec, 145 secs
lola: 37767118 markings, 83118005 edges, 215412 markings/sec, 150 secs
lola: 38818780 markings, 85531236 edges, 210332 markings/sec, 155 secs
lola: 39856869 markings, 87892165 edges, 207618 markings/sec, 160 secs
lola: 40900003 markings, 90283818 edges, 208627 markings/sec, 165 secs
lola: 41952925 markings, 92684491 edges, 210584 markings/sec, 170 secs
lola: 42984870 markings, 95053246 edges, 206389 markings/sec, 175 secs
lola: 44045941 markings, 97481166 edges, 212214 markings/sec, 180 secs
lola: 45125149 markings, 99963401 edges, 215842 markings/sec, 185 secs
lola: 46187606 markings, 102403579 edges, 212491 markings/sec, 190 secs
lola: 47215654 markings, 104776979 edges, 205610 markings/sec, 195 secs
lola: 48265936 markings, 107196046 edges, 210056 markings/sec, 200 secs
lola: 49303090 markings, 109589320 edges, 207431 markings/sec, 205 secs
lola: 50304855 markings, 111901132 edges, 200353 markings/sec, 210 secs
lola: 51340756 markings, 114290135 edges, 207180 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2034583 markings, 3588024 edges, 406917 markings/sec, 0 secs
lola: 3754709 markings, 6772657 edges, 344025 markings/sec, 5 secs
lola: 5468914 markings, 9929351 edges, 342841 markings/sec, 10 secs
lola: 7088327 markings, 12956509 edges, 323883 markings/sec, 15 secs
lola: 8702435 markings, 15974190 edges, 322822 markings/sec, 20 secs
lola: 10254085 markings, 18910881 edges, 310330 markings/sec, 25 secs
lola: 11824573 markings, 21862887 edges, 314098 markings/sec, 30 secs
lola: 13386293 markings, 24800220 edges, 312344 markings/sec, 35 secs
lola: 14992024 markings, 27798706 edges, 321146 markings/sec, 40 secs
lola: 16470040 markings, 30605772 edges, 295603 markings/sec, 45 secs
lola: 17981017 markings, 33435929 edges, 302195 markings/sec, 50 secs
lola: 19444714 markings, 36211723 edges, 292739 markings/sec, 55 secs
lola: 20913012 markings, 38993581 edges, 293660 markings/sec, 60 secs
lola: 22388764 markings, 41780086 edges, 295150 markings/sec, 65 secs
lola: 23811747 markings, 44478797 edges, 284597 markings/sec, 70 secs
lola: 25167632 markings, 47076201 edges, 271177 markings/sec, 75 secs
lola: 26583726 markings, 49751136 edges, 283219 markings/sec, 80 secs
lola: 27946358 markings, 52358872 edges, 272526 markings/sec, 85 secs
lola: 29297667 markings, 54955520 edges, 270262 markings/sec, 90 secs
lola: 30677205 markings, 57575434 edges, 275908 markings/sec, 95 secs
lola: 32058766 markings, 60211205 edges, 276312 markings/sec, 100 secs
lola: 33434925 markings, 62843012 edges, 275232 markings/sec, 105 secs
lola: 34786557 markings, 65434542 edges, 270326 markings/sec, 110 secs
lola: 36166056 markings, 68072999 edges, 275900 markings/sec, 115 secs
lola: 37572055 markings, 70741702 edges, 281200 markings/sec, 120 secs
lola: 38923433 markings, 73331757 edges, 270276 markings/sec, 125 secs
lola: 40255057 markings, 75894941 edges, 266325 markings/sec, 130 secs
lola: 41603330 markings, 78495419 edges, 269655 markings/sec, 135 secs
lola: 43069773 markings, 81257392 edges, 293289 markings/sec, 140 secs
lola: 44448529 markings, 83883537 edges, 275751 markings/sec, 145 secs
lola: 45744311 markings, 86399516 edges, 259156 markings/sec, 150 secs
lola: 47046759 markings, 88923592 edges, 260490 markings/sec, 155 secs
lola: 48504774 markings, 91663817 edges, 291603 markings/sec, 160 secs
lola: 49888151 markings, 94304056 edges, 276675 markings/sec, 165 secs
lola: 51239846 markings, 96890844 edges, 270339 markings/sec, 170 secs
lola: 52587252 markings, 99474008 edges, 269481 markings/sec, 175 secs
lola: 53903105 markings, 102011981 edges, 263171 markings/sec, 180 secs
lola: 55218115 markings, 104536290 edges, 263002 markings/sec, 185 secs
lola: 56548841 markings, 107086543 edges, 266145 markings/sec, 190 secs
lola: 57815637 markings, 109543124 edges, 253359 markings/sec, 195 secs
lola: 59097347 markings, 112022534 edges, 256342 markings/sec, 200 secs
lola: 60466061 markings, 114626679 edges, 273743 markings/sec, 205 secs
lola: 61797460 markings, 117186905 edges, 266280 markings/sec, 210 secs
lola: 63023704 markings, 119597397 edges, 245249 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3kStarP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1894211 markings, 3311688 edges, 378842 markings/sec, 0 secs
lola: 3501545 markings, 6237800 edges, 321467 markings/sec, 5 secs
lola: 5027282 markings, 9045819 edges, 305147 markings/sec, 10 secs
lola: 6484428 markings, 11752392 edges, 291429 markings/sec, 15 secs
lola: 7874802 markings, 14359252 edges, 278075 markings/sec, 20 secs
lola: 9244667 markings, 16941035 edges, 273973 markings/sec, 25 secs
lola: 10575130 markings, 19467548 edges, 266093 markings/sec, 30 secs
lola: 11897176 markings, 21976396 edges, 264409 markings/sec, 35 secs
lola: 13265133 markings, 24541675 edges, 273591 markings/sec, 40 secs
lola: 14605245 markings, 27075056 edges, 268022 markings/sec, 45 secs
lola: 15873191 markings, 29505453 edges, 253589 markings/sec, 50 secs
lola: 17145398 markings, 31943636 edges, 254441 markings/sec, 55 secs
lola: 18405387 markings, 34370781 edges, 251998 markings/sec, 60 secs
lola: 19586361 markings, 36652043 edges, 236195 markings/sec, 65 secs
lola: 20769322 markings, 38924273 edges, 236592 markings/sec, 70 secs
lola: 21947013 markings, 41180977 edges, 235538 markings/sec, 75 secs
lola: 23120006 markings, 43451887 edges, 234599 markings/sec, 80 secs
lola: 24288540 markings, 45721861 edges, 233707 markings/sec, 85 secs
lola: 25435169 markings, 47941306 edges, 229326 markings/sec, 90 secs
lola: 26605559 markings, 50200161 edges, 234078 markings/sec, 95 secs
lola: 27734536 markings, 52385559 edges, 225795 markings/sec, 100 secs
lola: 28855859 markings, 54573619 edges, 224265 markings/sec, 105 secs
lola: 29984311 markings, 56774084 edges, 225690 markings/sec, 110 secs
lola: 31081680 markings, 58925379 edges, 219474 markings/sec, 115 secs
lola: 32205589 markings, 61106021 edges, 224782 markings/sec, 120 secs
lola: 33332208 markings, 63285490 edges, 225324 markings/sec, 125 secs
lola: 34442594 markings, 65462063 edges, 222077 markings/sec, 130 secs
lola: 35560895 markings, 67643847 edges, 223660 markings/sec, 135 secs
lola: 36703156 markings, 69853346 edges, 228452 markings/sec, 140 secs
lola: 37808524 markings, 72024739 edges, 221074 markings/sec, 145 secs
lola: 38944651 markings, 74237487 edges, 227225 markings/sec, 150 secs
lola: 40042008 markings, 76367385 edges, 219471 markings/sec, 155 secs
lola: 41123135 markings, 78489560 edges, 216225 markings/sec, 160 secs
lola: 42223417 markings, 80640549 edges, 220056 markings/sec, 165 secs
lola: 43303304 markings, 82776758 edges, 215977 markings/sec, 170 secs
lola: 44377753 markings, 84897840 edges, 214890 markings/sec, 175 secs
lola: 45472879 markings, 87059477 edges, 219025 markings/sec, 180 secs
lola: 46578341 markings, 89221947 edges, 221092 markings/sec, 185 secs
lola: 47658373 markings, 91351249 edges, 216006 markings/sec, 190 secs
lola: 48730336 markings, 93473317 edges, 214393 markings/sec, 195 secs
lola: 49813229 markings, 95594497 edges, 216579 markings/sec, 200 secs
lola: 50886173 markings, 97719580 edges, 214589 markings/sec, 205 secs
lola: 51953064 markings, 99828980 edges, 213378 markings/sec, 210 secs
lola: 53020654 markings, 101934650 edges, 213518 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pip2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2229087 markings, 5972857 edges, 445817 markings/sec, 0 secs
lola: 4221411 markings, 11509693 edges, 398465 markings/sec, 5 secs
lola: 6232085 markings, 17202903 edges, 402135 markings/sec, 10 secs
lola: 8228634 markings, 22848424 edges, 399310 markings/sec, 15 secs
lola: 10142220 markings, 28202798 edges, 382717 markings/sec, 20 secs
lola: 11929532 markings, 33232104 edges, 357462 markings/sec, 25 secs
lola: 13634930 markings, 38151362 edges, 341080 markings/sec, 30 secs
lola: 15399232 markings, 43123828 edges, 352860 markings/sec, 35 secs
lola: 17074182 markings, 47939073 edges, 334990 markings/sec, 40 secs
lola: 18709923 markings, 52698354 edges, 327148 markings/sec, 45 secs
lola: 20320326 markings, 57462841 edges, 322081 markings/sec, 50 secs
lola: 21920147 markings, 62206308 edges, 319964 markings/sec, 55 secs
lola: 23527960 markings, 66926656 edges, 321563 markings/sec, 60 secs
lola: 25163026 markings, 71719516 edges, 327013 markings/sec, 65 secs
lola: 26718140 markings, 76355163 edges, 311023 markings/sec, 70 secs
lola: 28234295 markings, 80915059 edges, 303231 markings/sec, 75 secs
lola: 29792625 markings, 85469586 edges, 311666 markings/sec, 80 secs
lola: 31273784 markings, 89932362 edges, 296232 markings/sec, 85 secs
lola: 32761687 markings, 94348931 edges, 297581 markings/sec, 90 secs
lola: 34205576 markings, 98728921 edges, 288778 markings/sec, 95 secs
lola: 35722995 markings, 103242633 edges, 303484 markings/sec, 100 secs
lola: 37295333 markings, 107904695 edges, 314468 markings/sec, 105 secs
lola: 38865674 markings, 112528268 edges, 314068 markings/sec, 110 secs
lola: 40353386 markings, 117021431 edges, 297542 markings/sec, 115 secs
lola: 42011455 markings, 121804428 edges, 331614 markings/sec, 120 secs
lola: 43573559 markings, 126479886 edges, 312421 markings/sec, 125 secs
lola: 45034321 markings, 130935739 edges, 292152 markings/sec, 130 secs
lola: 46499768 markings, 135367604 edges, 293089 markings/sec, 135 secs
lola: 47998342 markings, 139813075 edges, 299715 markings/sec, 140 secs
lola: 49552757 markings, 144453294 edges, 310883 markings/sec, 145 secs
lola: 51074832 markings, 149057271 edges, 304415 markings/sec, 150 secs
lola: 52595184 markings, 153620682 edges, 304070 markings/sec, 155 secs
lola: 54012646 markings, 158004871 edges, 283492 markings/sec, 160 secs
lola: 55492469 markings, 162409118 edges, 295965 markings/sec, 165 secs
lola: 56953525 markings, 166791001 edges, 292211 markings/sec, 170 secs
lola: 58376810 markings, 171065299 edges, 284657 markings/sec, 175 secs
lola: 59770850 markings, 175247891 edges, 278808 markings/sec, 180 secs
lola: 61243250 markings, 179612934 edges, 294480 markings/sec, 185 secs
lola: 62778453 markings, 184109817 edges, 307041 markings/sec, 190 secs
lola: 64253387 markings, 188501852 edges, 294987 markings/sec, 195 secs
lola: 65640449 markings, 192740744 edges, 277412 markings/sec, 200 secs
lola: 66974309 markings, 196838409 edges, 266772 markings/sec, 205 secs
lola: 68340246 markings, 200957479 edges, 273187 markings/sec, 210 secs
lola: 69688430 markings, 205018809 edges, 269637 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3kStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1699589 markings, 3456237 edges, 339918 markings/sec, 0 secs
lola: 3220516 markings, 6685030 edges, 304185 markings/sec, 5 secs
lola: 4703466 markings, 9850917 edges, 296590 markings/sec, 10 secs
lola: 6216873 markings, 13039870 edges, 302681 markings/sec, 15 secs
lola: 7722953 markings, 16253465 edges, 301216 markings/sec, 20 secs
lola: 9248773 markings, 19522719 edges, 305164 markings/sec, 25 secs
lola: 10745373 markings, 22742477 edges, 299320 markings/sec, 30 secs
lola: 12240920 markings, 25957789 edges, 299109 markings/sec, 35 secs
lola: 13726214 markings, 29158387 edges, 297059 markings/sec, 40 secs
lola: 15212765 markings, 32352572 edges, 297310 markings/sec, 45 secs
lola: 16677466 markings, 35522309 edges, 292940 markings/sec, 50 secs
lola: 18156129 markings, 38703463 edges, 295733 markings/sec, 55 secs
lola: 19569135 markings, 41764760 edges, 282601 markings/sec, 60 secs
lola: 20940830 markings, 44747267 edges, 274339 markings/sec, 65 secs
lola: 22296044 markings, 47715179 edges, 271043 markings/sec, 70 secs
lola: 23655456 markings, 50678996 edges, 271882 markings/sec, 75 secs
lola: 25046001 markings, 53687440 edges, 278109 markings/sec, 80 secs
lola: 26463186 markings, 56739993 edges, 283437 markings/sec, 85 secs
lola: 27867180 markings, 59763580 edges, 280799 markings/sec, 90 secs
lola: 29246469 markings, 62753440 edges, 275858 markings/sec, 95 secs
lola: 30659646 markings, 65799217 edges, 282635 markings/sec, 100 secs
lola: 32025411 markings, 68773918 edges, 273153 markings/sec, 105 secs
lola: 33380331 markings, 71723083 edges, 270984 markings/sec, 110 secs
lola: 34780943 markings, 74757175 edges, 280122 markings/sec, 115 secs
lola: 36154878 markings, 77734975 edges, 274787 markings/sec, 120 secs
lola: 37529026 markings, 80731037 edges, 274830 markings/sec, 125 secs
lola: 38913617 markings, 83751889 edges, 276918 markings/sec, 130 secs
lola: 40267744 markings, 86716160 edges, 270825 markings/sec, 135 secs
lola: 41656501 markings, 89738376 edges, 277751 markings/sec, 140 secs
lola: 42983387 markings, 92652863 edges, 265377 markings/sec, 145 secs
lola: 44327435 markings, 95589096 edges, 268810 markings/sec, 150 secs
lola: 45645469 markings, 98465690 edges, 263607 markings/sec, 155 secs
lola: 46982553 markings, 101390344 edges, 267417 markings/sec, 160 secs
lola: 48312105 markings, 104293514 edges, 265910 markings/sec, 165 secs
lola: 49646354 markings, 107203993 edges, 266850 markings/sec, 170 secs
lola: 50953137 markings, 110055554 edges, 261357 markings/sec, 175 secs
lola: 52299704 markings, 112979879 edges, 269313 markings/sec, 180 secs
lola: 53640375 markings, 115906086 edges, 268134 markings/sec, 185 secs
lola: 55003378 markings, 118868710 edges, 272601 markings/sec, 190 secs
lola: 56371675 markings, 121846554 edges, 273659 markings/sec, 195 secs
lola: 57757568 markings, 124861104 edges, 277179 markings/sec, 200 secs
lola: 59107666 markings, 127816303 edges, 270020 markings/sec, 205 secs
lola: 60468070 markings, 130788683 edges, 272081 markings/sec, 210 secs
lola: 61853742 markings, 133802072 edges, 277134 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarPg)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2126617 markings, 3437746 edges, 425323 markings/sec, 0 secs
lola: 3901454 markings, 6448012 edges, 354967 markings/sec, 5 secs
lola: 5511993 markings, 9238368 edges, 322108 markings/sec, 10 secs
lola: 7072872 markings, 11951880 edges, 312176 markings/sec, 15 secs
lola: 8570231 markings, 14591094 edges, 299472 markings/sec, 20 secs
lola: 10045866 markings, 17212891 edges, 295127 markings/sec, 25 secs
lola: 11490867 markings, 19767470 edges, 289000 markings/sec, 30 secs
lola: 12888958 markings, 22253290 edges, 279618 markings/sec, 35 secs
lola: 14242439 markings, 24668465 edges, 270696 markings/sec, 40 secs
lola: 15584205 markings, 27083859 edges, 268353 markings/sec, 45 secs
lola: 16968137 markings, 29545494 edges, 276786 markings/sec, 50 secs
lola: 18291100 markings, 31925227 edges, 264593 markings/sec, 55 secs
lola: 19561772 markings, 34234807 edges, 254134 markings/sec, 60 secs
lola: 20873138 markings, 36623003 edges, 262273 markings/sec, 65 secs
lola: 22201479 markings, 39015280 edges, 265668 markings/sec, 70 secs
lola: 23485763 markings, 41365238 edges, 256857 markings/sec, 75 secs
lola: 24764680 markings, 43698956 edges, 255783 markings/sec, 80 secs
lola: 26017528 markings, 45992433 edges, 250570 markings/sec, 85 secs
lola: 27259368 markings, 48268528 edges, 248368 markings/sec, 90 secs
lola: 28499474 markings, 50524875 edges, 248021 markings/sec, 95 secs
lola: 29712843 markings, 52726318 edges, 242674 markings/sec, 100 secs
lola: 30943165 markings, 54961508 edges, 246064 markings/sec, 105 secs
lola: 32191732 markings, 57230447 edges, 249713 markings/sec, 110 secs
lola: 33445444 markings, 59530158 edges, 250742 markings/sec, 115 secs
lola: 34628869 markings, 61683187 edges, 236685 markings/sec, 120 secs
lola: 35850648 markings, 63896053 edges, 244356 markings/sec, 125 secs
lola: 37055544 markings, 66083689 edges, 240979 markings/sec, 130 secs
lola: 38209633 markings, 68220427 edges, 230818 markings/sec, 135 secs
lola: 39379626 markings, 70370116 edges, 233999 markings/sec, 140 secs
lola: 40540654 markings, 72500604 edges, 232206 markings/sec, 145 secs
lola: 41687780 markings, 74613443 edges, 229425 markings/sec, 150 secs
lola: 42825441 markings, 76728851 edges, 227532 markings/sec, 155 secs
lola: 43985127 markings, 78847329 edges, 231937 markings/sec, 160 secs
lola: 45107790 markings, 80936290 edges, 224533 markings/sec, 165 secs
lola: 46264548 markings, 83055068 edges, 231352 markings/sec, 170 secs
lola: 47427814 markings, 85205512 edges, 232653 markings/sec, 175 secs
lola: 48553626 markings, 87287715 edges, 225162 markings/sec, 180 secs
lola: 49657412 markings, 89341271 edges, 220757 markings/sec, 185 secs
lola: 50762742 markings, 91411592 edges, 221066 markings/sec, 190 secs
lola: 51864370 markings, 93507288 edges, 220326 markings/sec, 195 secs
lola: 52925633 markings, 95592576 edges, 212253 markings/sec, 200 secs
lola: 53965008 markings, 97660709 edges, 207875 markings/sec, 205 secs
lola: 55025963 markings, 99684266 edges, 212191 markings/sec, 210 secs
lola: 56020927 markings, 101720639 edges, 198993 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(PtP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1854392 markings, 3427716 edges, 370878 markings/sec, 0 secs
lola: 3595114 markings, 6643881 edges, 348144 markings/sec, 5 secs
lola: 5308436 markings, 9809675 edges, 342664 markings/sec, 10 secs
lola: 6993884 markings, 12927933 edges, 337090 markings/sec, 15 secs
lola: 8618612 markings, 15950711 edges, 324946 markings/sec, 20 secs
lola: 10255239 markings, 18991802 edges, 327325 markings/sec, 25 secs
lola: 11862089 markings, 21979392 edges, 321370 markings/sec, 30 secs
lola: 13474940 markings, 24977882 edges, 322570 markings/sec, 35 secs
lola: 15069284 markings, 27955851 edges, 318869 markings/sec, 40 secs
lola: 16650497 markings, 30914362 edges, 316243 markings/sec, 45 secs
lola: 18233605 markings, 33866577 edges, 316622 markings/sec, 50 secs
lola: 19833642 markings, 36848666 edges, 320007 markings/sec, 55 secs
lola: 21384813 markings, 39750389 edges, 310234 markings/sec, 60 secs
lola: 22947322 markings, 42668309 edges, 312502 markings/sec, 65 secs
lola: 24496136 markings, 45567087 edges, 309763 markings/sec, 70 secs
lola: 26041353 markings, 48453836 edges, 309043 markings/sec, 75 secs
lola: 27600463 markings, 51363567 edges, 311822 markings/sec, 80 secs
lola: 29130212 markings, 54233373 edges, 305950 markings/sec, 85 secs
lola: 30666327 markings, 57112325 edges, 307223 markings/sec, 90 secs
lola: 32215695 markings, 60008915 edges, 309874 markings/sec, 95 secs
lola: 33724500 markings, 62845835 edges, 301761 markings/sec, 100 secs
lola: 35276214 markings, 65740317 edges, 310343 markings/sec, 105 secs
lola: 36783901 markings, 68572572 edges, 301537 markings/sec, 110 secs
lola: 38306995 markings, 71431772 edges, 304619 markings/sec, 115 secs
lola: 39871749 markings, 74367519 edges, 312951 markings/sec, 120 secs
lola: 41457098 markings, 77331776 edges, 317070 markings/sec, 125 secs
lola: 43055249 markings, 80323508 edges, 319630 markings/sec, 130 secs
lola: 44671090 markings, 83339548 edges, 323168 markings/sec, 135 secs
lola: 46292843 markings, 86363398 edges, 324351 markings/sec, 140 secs
lola: 47870623 markings, 89338398 edges, 315556 markings/sec, 145 secs
lola: 49420060 markings, 92265801 edges, 309887 markings/sec, 150 secs
lola: 51016923 markings, 95252831 edges, 319373 markings/sec, 155 secs
lola: 52588307 markings, 98214605 edges, 314277 markings/sec, 160 secs
lola: 54159157 markings, 101161341 edges, 314170 markings/sec, 165 secs
lola: 55748870 markings, 104133546 edges, 317943 markings/sec, 170 secs
lola: 57339167 markings, 107115036 edges, 318059 markings/sec, 175 secs
lola: 58953812 markings, 110134999 edges, 322929 markings/sec, 180 secs
lola: 60452715 markings, 112945312 edges, 299781 markings/sec, 185 secs
lola: 61959523 markings, 115762524 edges, 301362 markings/sec, 190 secs
lola: 63415950 markings, 118502978 edges, 291285 markings/sec, 195 secs
lola: 64865610 markings, 121236128 edges, 289932 markings/sec, 200 secs
lola: 66350881 markings, 124019259 edges, 297054 markings/sec, 205 secs
lola: 67854011 markings, 126827573 edges, 300626 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P3k)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2077022 markings, 5125550 edges, 415404 markings/sec, 0 secs
lola: 4033954 markings, 10027527 edges, 391386 markings/sec, 5 secs
lola: 5988592 markings, 14980864 edges, 390928 markings/sec, 10 secs
lola: 7913892 markings, 19863173 edges, 385060 markings/sec, 15 secs
lola: 9805277 markings, 24678419 edges, 378277 markings/sec, 20 secs
lola: 11682729 markings, 29437575 edges, 375490 markings/sec, 25 secs
lola: 13513355 markings, 34122188 edges, 366125 markings/sec, 30 secs
lola: 15307287 markings, 38704208 edges, 358786 markings/sec, 35 secs
lola: 17080052 markings, 43220046 edges, 354553 markings/sec, 40 secs
lola: 18929215 markings, 47952065 edges, 369833 markings/sec, 45 secs
lola: 20742383 markings, 52621745 edges, 362634 markings/sec, 50 secs
lola: 22496208 markings, 57156641 edges, 350765 markings/sec, 55 secs
lola: 24174399 markings, 61483532 edges, 335638 markings/sec, 60 secs
lola: 25787766 markings, 65646007 edges, 322673 markings/sec, 65 secs
lola: 27504171 markings, 70017439 edges, 343281 markings/sec, 70 secs
lola: 29209589 markings, 74389491 edges, 341084 markings/sec, 75 secs
lola: 30903981 markings, 78769193 edges, 338878 markings/sec, 80 secs
lola: 32565977 markings, 83079737 edges, 332399 markings/sec, 85 secs
lola: 34215259 markings, 87316377 edges, 329856 markings/sec, 90 secs
lola: 35821296 markings, 91467570 edges, 321207 markings/sec, 95 secs
lola: 37432651 markings, 95623042 edges, 322271 markings/sec, 100 secs
lola: 39088948 markings, 99884104 edges, 331259 markings/sec, 105 secs
lola: 40799354 markings, 104326002 edges, 342081 markings/sec, 110 secs
lola: 42551365 markings, 108804070 edges, 350402 markings/sec, 115 secs
lola: 44238824 markings, 113183088 edges, 337492 markings/sec, 120 secs
lola: 45969771 markings, 117637263 edges, 346189 markings/sec, 125 secs
lola: 47721303 markings, 122169663 edges, 350306 markings/sec, 130 secs
lola: 49442174 markings, 126640523 edges, 344174 markings/sec, 135 secs
lola: 51158968 markings, 131091738 edges, 343359 markings/sec, 140 secs
lola: 52892184 markings, 135593037 edges, 346643 markings/sec, 145 secs
lola: 54586107 markings, 140015695 edges, 338785 markings/sec, 150 secs
lola: 56306542 markings, 144464372 edges, 344087 markings/sec, 155 secs
lola: 58026891 markings, 148926787 edges, 344070 markings/sec, 160 secs
lola: 59734029 markings, 153356031 edges, 341428 markings/sec, 165 secs
lola: 61419600 markings, 157746260 edges, 337114 markings/sec, 170 secs
lola: 63153660 markings, 162257773 edges, 346812 markings/sec, 175 secs
lola: 64888365 markings, 166692977 edges, 346941 markings/sec, 180 secs
lola: 66606019 markings, 171105615 edges, 343531 markings/sec, 185 secs
lola: 68307488 markings, 175492443 edges, 340294 markings/sec, 190 secs
lola: 69986126 markings, 179858933 edges, 335728 markings/sec, 195 secs
lola: 71667094 markings, 184237310 edges, 336194 markings/sec, 200 secs
lola: 73368152 markings, 188661312 edges, 340212 markings/sec, 205 secs
lola: 75036645 markings, 192994103 edges, 333699 markings/sec, 210 secs
lola: 76718601 markings, 197369056 edges, 336391 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2355317 markings, 3759159 edges, 471063 markings/sec, 0 secs
lola: 4493864 markings, 7234809 edges, 427709 markings/sec, 5 secs
lola: 6553985 markings, 10596609 edges, 412024 markings/sec, 10 secs
lola: 8616747 markings, 13962995 edges, 412552 markings/sec, 15 secs
lola: 10648710 markings, 17288469 edges, 406393 markings/sec, 20 secs
lola: 12626761 markings, 20532067 edges, 395610 markings/sec, 25 secs
lola: 14449393 markings, 23530831 edges, 364526 markings/sec, 30 secs
lola: 16242267 markings, 26477368 edges, 358575 markings/sec, 35 secs
lola: 18027345 markings, 29409922 edges, 357016 markings/sec, 40 secs
lola: 19609206 markings, 32019277 edges, 316372 markings/sec, 45 secs
lola: 21158268 markings, 34569064 edges, 309812 markings/sec, 50 secs
lola: 22672907 markings, 37062263 edges, 302928 markings/sec, 55 secs
lola: 24202474 markings, 39584635 edges, 305913 markings/sec, 60 secs
lola: 25959802 markings, 42477634 edges, 351466 markings/sec, 65 secs
lola: 27723995 markings, 45394283 edges, 352839 markings/sec, 70 secs
lola: 29448918 markings, 48225184 edges, 344985 markings/sec, 75 secs
lola: 30896816 markings, 50615469 edges, 289580 markings/sec, 80 secs
lola: 32391463 markings, 53086830 edges, 298929 markings/sec, 85 secs
lola: 34058365 markings, 55845785 edges, 333380 markings/sec, 90 secs
lola: 35755350 markings, 58637766 edges, 339397 markings/sec, 95 secs
lola: 37358140 markings, 61282800 edges, 320558 markings/sec, 100 secs
lola: 38798573 markings, 63662748 edges, 288087 markings/sec, 105 secs
lola: 40228156 markings, 66039236 edges, 285917 markings/sec, 110 secs
lola: 41737525 markings, 68537880 edges, 301874 markings/sec, 115 secs
lola: 43263355 markings, 71056336 edges, 305166 markings/sec, 120 secs
lola: 44784843 markings, 73563263 edges, 304298 markings/sec, 125 secs
lola: 46279140 markings, 76038210 edges, 298859 markings/sec, 130 secs
lola: 47785888 markings, 78524146 edges, 301350 markings/sec, 135 secs
lola: 49277377 markings, 80988310 edges, 298298 markings/sec, 140 secs
lola: 50775463 markings, 83463359 edges, 299617 markings/sec, 145 secs
lola: 52234579 markings, 85892055 edges, 291823 markings/sec, 150 secs
lola: 53698278 markings, 88320677 edges, 292740 markings/sec, 155 secs
lola: 55172917 markings, 90752003 edges, 294928 markings/sec, 160 secs
lola: 56631432 markings, 93169378 edges, 291703 markings/sec, 165 secs
lola: 58082014 markings, 95577204 edges, 290116 markings/sec, 170 secs
lola: 59617878 markings, 98128653 edges, 307173 markings/sec, 175 secs
lola: 61238982 markings, 100818707 edges, 324221 markings/sec, 180 secs
lola: 62861029 markings, 103498416 edges, 324409 markings/sec, 185 secs
lola: 64461564 markings, 106145867 edges, 320107 markings/sec, 190 secs
lola: 66053688 markings, 108781030 edges, 318425 markings/sec, 195 secs
lola: 67637502 markings, 111396059 edges, 316763 markings/sec, 200 secs
lola: 69228125 markings, 114043021 edges, 318125 markings/sec, 205 secs
lola: 70805997 markings, 116657925 edges, 315574 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Angiogenesis-PT-50-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-50-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-50-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-50-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-50-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-50-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-50-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-50-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-50-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-50-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-50-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-50-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-50-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-50-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-50-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-50-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494602248410
--------------------
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="Angiogenesis-PT-50"
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/Angiogenesis-PT-50.tgz
mv Angiogenesis-PT-50 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 Angiogenesis-PT-50, 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 r008-csrt-149436125900146"
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 ;