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 S_Angiogenesis-PT-50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074100146
=====================================================================

--------------------
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 1496333488454


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_Angiogenesis-PT-50: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_Angiogenesis-PT-50: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 2495770 markings, 4122169 edges, 499154 markings/sec, 0 secs
lola: 4748605 markings, 7883075 edges, 450567 markings/sec, 5 secs
lola: 6844993 markings, 11416508 edges, 419278 markings/sec, 10 secs
lola: 9007082 markings, 15054133 edges, 432418 markings/sec, 15 secs
lola: 11063611 markings, 18561513 edges, 411306 markings/sec, 20 secs
lola: 13023808 markings, 21907844 edges, 392039 markings/sec, 25 secs
lola: 14915132 markings, 25155282 edges, 378265 markings/sec, 30 secs
lola: 16766794 markings, 28354179 edges, 370332 markings/sec, 35 secs
lola: 18584971 markings, 31508026 edges, 363635 markings/sec, 40 secs
lola: 20392668 markings, 34637836 edges, 361539 markings/sec, 45 secs
lola: 22121598 markings, 37666541 edges, 345786 markings/sec, 50 secs
lola: 23800249 markings, 40622281 edges, 335730 markings/sec, 55 secs
lola: 25453397 markings, 43523866 edges, 330630 markings/sec, 60 secs
lola: 27170043 markings, 46509712 edges, 343329 markings/sec, 65 secs
lola: 28803207 markings, 49378213 edges, 326633 markings/sec, 70 secs
lola: 30493254 markings, 52314598 edges, 338009 markings/sec, 75 secs
lola: 32202005 markings, 55269728 edges, 341750 markings/sec, 80 secs
lola: 33636409 markings, 57835317 edges, 286881 markings/sec, 85 secs
lola: 35125850 markings, 60478969 edges, 297888 markings/sec, 90 secs
lola: 36642007 markings, 63141809 edges, 303231 markings/sec, 95 secs
lola: 38178503 markings, 65839558 edges, 307299 markings/sec, 100 secs
lola: 39526705 markings, 68266592 edges, 269640 markings/sec, 105 secs
lola: 40990953 markings, 70862240 edges, 292850 markings/sec, 110 secs
lola: 42408099 markings, 73393872 edges, 283429 markings/sec, 115 secs
lola: 43803969 markings, 75879221 edges, 279174 markings/sec, 120 secs
lola: 45173860 markings, 78325499 edges, 273978 markings/sec, 125 secs
lola: 46519000 markings, 80741053 edges, 269028 markings/sec, 130 secs
lola: 47891817 markings, 83191705 edges, 274563 markings/sec, 135 secs
lola: 49329105 markings, 85769351 edges, 287458 markings/sec, 140 secs
lola: 50909639 markings, 88573100 edges, 316107 markings/sec, 145 secs
lola: 52205387 markings, 90922517 edges, 259150 markings/sec, 150 secs
lola: 53608773 markings, 93451689 edges, 280677 markings/sec, 155 secs
lola: 55058540 markings, 96041976 edges, 289953 markings/sec, 160 secs
lola: 56416375 markings, 98487101 edges, 271567 markings/sec, 165 secs
lola: 57795806 markings, 100986406 edges, 275886 markings/sec, 170 secs
lola: 59221855 markings, 103557040 edges, 285210 markings/sec, 175 secs
lola: 60639804 markings, 106090835 edges, 283590 markings/sec, 180 secs
lola: 61957430 markings, 108465394 edges, 263525 markings/sec, 185 secs
lola: 63405107 markings, 111038730 edges, 289535 markings/sec, 190 secs
lola: 64678906 markings, 113386474 edges, 254760 markings/sec, 195 secs
lola: 65924335 markings, 115664307 edges, 249086 markings/sec, 200 secs
lola: 67326718 markings, 118202467 edges, 280477 markings/sec, 205 secs
lola: 68715632 markings, 120704687 edges, 277783 markings/sec, 210 secs
lola: 70152451 markings, 123265306 edges, 287364 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: 1893343 markings, 3050182 edges, 378669 markings/sec, 0 secs
lola: 3419918 markings, 5622600 edges, 305315 markings/sec, 5 secs
lola: 4865204 markings, 8115766 edges, 289057 markings/sec, 10 secs
lola: 6175237 markings, 10390447 edges, 262007 markings/sec, 15 secs
lola: 7507654 markings, 12714016 edges, 266483 markings/sec, 20 secs
lola: 8792655 markings, 14985697 edges, 257000 markings/sec, 25 secs
lola: 10020136 markings, 17167389 edges, 245496 markings/sec, 30 secs
lola: 11224100 markings, 19292507 edges, 240793 markings/sec, 35 secs
lola: 12415832 markings, 21409063 edges, 238346 markings/sec, 40 secs
lola: 13629963 markings, 23562928 edges, 242826 markings/sec, 45 secs
lola: 14806947 markings, 25681818 edges, 235397 markings/sec, 50 secs
lola: 15973876 markings, 27779774 edges, 233386 markings/sec, 55 secs
lola: 17149892 markings, 29857228 edges, 235203 markings/sec, 60 secs
lola: 18308054 markings, 31957024 edges, 231632 markings/sec, 65 secs
lola: 19414202 markings, 33963588 edges, 221230 markings/sec, 70 secs
lola: 20498145 markings, 35946739 edges, 216789 markings/sec, 75 secs
lola: 21604342 markings, 37935355 edges, 221239 markings/sec, 80 secs
lola: 22689663 markings, 39908712 edges, 217064 markings/sec, 85 secs
lola: 23754851 markings, 41860576 edges, 213038 markings/sec, 90 secs
lola: 24821173 markings, 43802802 edges, 213264 markings/sec, 95 secs
lola: 25912151 markings, 45799459 edges, 218196 markings/sec, 100 secs
lola: 26993507 markings, 47780080 edges, 216271 markings/sec, 105 secs
lola: 28066560 markings, 49730219 edges, 214611 markings/sec, 110 secs
lola: 29092714 markings, 51592383 edges, 205231 markings/sec, 115 secs
lola: 30163612 markings, 53546656 edges, 214180 markings/sec, 120 secs
lola: 31249699 markings, 55514448 edges, 217217 markings/sec, 125 secs
lola: 32300863 markings, 57428707 edges, 210233 markings/sec, 130 secs
lola: 33328706 markings, 59314855 edges, 205569 markings/sec, 135 secs
lola: 34360195 markings, 61193693 edges, 206298 markings/sec, 140 secs
lola: 35399193 markings, 63077189 edges, 207800 markings/sec, 145 secs
lola: 36430886 markings, 64959640 edges, 206339 markings/sec, 150 secs
lola: 37461953 markings, 66830978 edges, 206213 markings/sec, 155 secs
lola: 38446883 markings, 68663024 edges, 196986 markings/sec, 160 secs
lola: 39453461 markings, 70506759 edges, 201316 markings/sec, 165 secs
lola: 40470918 markings, 72376480 edges, 203491 markings/sec, 170 secs
lola: 41470796 markings, 74219012 edges, 199976 markings/sec, 175 secs
lola: 42430696 markings, 75998917 edges, 191980 markings/sec, 180 secs
lola: 43403160 markings, 77778061 edges, 194493 markings/sec, 185 secs
lola: 44438634 markings, 79689194 edges, 207095 markings/sec, 190 secs
lola: 45490742 markings, 81631366 edges, 210422 markings/sec, 195 secs
lola: 46547186 markings, 83574972 edges, 211289 markings/sec, 200 secs
lola: 47642923 markings, 85604326 edges, 219147 markings/sec, 205 secs
lola: 48669267 markings, 87506572 edges, 205269 markings/sec, 210 secs
lola: 49663441 markings, 89352650 edges, 198835 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: 1758093 markings, 3078524 edges, 351619 markings/sec, 0 secs
lola: 3321959 markings, 5868600 edges, 312773 markings/sec, 5 secs
lola: 4795690 markings, 8520402 edges, 294746 markings/sec, 10 secs
lola: 6275183 markings, 11182245 edges, 295899 markings/sec, 15 secs
lola: 7721511 markings, 13807489 edges, 289266 markings/sec, 20 secs
lola: 9142509 markings, 16383765 edges, 284200 markings/sec, 25 secs
lola: 10512939 markings, 18865583 edges, 274086 markings/sec, 30 secs
lola: 11870236 markings, 21341543 edges, 271459 markings/sec, 35 secs
lola: 13305174 markings, 23964799 edges, 286988 markings/sec, 40 secs
lola: 14791561 markings, 26655292 edges, 297277 markings/sec, 45 secs
lola: 16141017 markings, 29120229 edges, 269891 markings/sec, 50 secs
lola: 17533371 markings, 31644397 edges, 278471 markings/sec, 55 secs
lola: 18923349 markings, 34200988 edges, 277996 markings/sec, 60 secs
lola: 20328090 markings, 36768822 edges, 280948 markings/sec, 65 secs
lola: 21654107 markings, 39201892 edges, 265203 markings/sec, 70 secs
lola: 22940945 markings, 41574514 edges, 257368 markings/sec, 75 secs
lola: 24180260 markings, 43855754 edges, 247863 markings/sec, 80 secs
lola: 25471368 markings, 46230936 edges, 258222 markings/sec, 85 secs
lola: 26754668 markings, 48616022 edges, 256660 markings/sec, 90 secs
lola: 28049434 markings, 51007168 edges, 258953 markings/sec, 95 secs
lola: 29337120 markings, 53384383 edges, 257537 markings/sec, 100 secs
lola: 30648265 markings, 55795752 edges, 262229 markings/sec, 105 secs
lola: 31934707 markings, 58165881 edges, 257288 markings/sec, 110 secs
lola: 33259934 markings, 60601712 edges, 265045 markings/sec, 115 secs
lola: 34571376 markings, 63022298 edges, 262288 markings/sec, 120 secs
lola: 35865400 markings, 65419905 edges, 258805 markings/sec, 125 secs
lola: 37073972 markings, 67648110 edges, 241714 markings/sec, 130 secs
lola: 38240449 markings, 69807261 edges, 233295 markings/sec, 135 secs
lola: 39485991 markings, 72117992 edges, 249108 markings/sec, 140 secs
lola: 40740212 markings, 74440432 edges, 250844 markings/sec, 145 secs
lola: 41983075 markings, 76749703 edges, 248573 markings/sec, 150 secs
lola: 43258764 markings, 79105057 edges, 255138 markings/sec, 155 secs
lola: 44486700 markings, 81389418 edges, 245587 markings/sec, 160 secs
lola: 45708605 markings, 83663861 edges, 244381 markings/sec, 165 secs
lola: 46938083 markings, 85944326 edges, 245896 markings/sec, 170 secs
lola: 48248374 markings, 88359430 edges, 262058 markings/sec, 175 secs
lola: 49572771 markings, 90801565 edges, 264879 markings/sec, 180 secs
lola: 50788215 markings, 93059564 edges, 243089 markings/sec, 185 secs
lola: 52051294 markings, 95383398 edges, 252616 markings/sec, 190 secs
lola: 53315759 markings, 97720227 edges, 252893 markings/sec, 195 secs
lola: 54593945 markings, 100099775 edges, 255637 markings/sec, 200 secs
lola: 55857672 markings, 102450029 edges, 252745 markings/sec, 205 secs
lola: 57143166 markings, 104814398 edges, 257099 markings/sec, 210 secs
lola: 58364207 markings, 107084971 edges, 244208 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: 1688191 markings, 3266550 edges, 337638 markings/sec, 0 secs
lola: 3128787 markings, 6172925 edges, 288119 markings/sec, 5 secs
lola: 4349445 markings, 8701121 edges, 244132 markings/sec, 10 secs
lola: 5451465 markings, 10995664 edges, 220404 markings/sec, 15 secs
lola: 6560274 markings, 13287541 edges, 221762 markings/sec, 20 secs
lola: 7671154 markings, 15584857 edges, 222176 markings/sec, 25 secs
lola: 8735426 markings, 17807411 edges, 212854 markings/sec, 30 secs
lola: 9788374 markings, 20024455 edges, 210590 markings/sec, 35 secs
lola: 10864987 markings, 22301159 edges, 215323 markings/sec, 40 secs
lola: 11890793 markings, 24457552 edges, 205161 markings/sec, 45 secs
lola: 12930906 markings, 26635822 edges, 208023 markings/sec, 50 secs
lola: 13915223 markings, 28715569 edges, 196863 markings/sec, 55 secs
lola: 14940915 markings, 30871571 edges, 205138 markings/sec, 60 secs
lola: 15965884 markings, 33040115 edges, 204994 markings/sec, 65 secs
lola: 16970747 markings, 35181398 edges, 200973 markings/sec, 70 secs
lola: 17952953 markings, 37275790 edges, 196441 markings/sec, 75 secs
lola: 18942444 markings, 39366812 edges, 197898 markings/sec, 80 secs
lola: 19901199 markings, 41418816 edges, 191751 markings/sec, 85 secs
lola: 20839023 markings, 43445079 edges, 187565 markings/sec, 90 secs
lola: 21822954 markings, 45521973 edges, 196786 markings/sec, 95 secs
lola: 22776313 markings, 47562608 edges, 190672 markings/sec, 100 secs
lola: 23731254 markings, 49592690 edges, 190988 markings/sec, 105 secs
lola: 24663285 markings, 51575357 edges, 186406 markings/sec, 110 secs
lola: 25685402 markings, 53695572 edges, 204423 markings/sec, 115 secs
lola: 26586614 markings, 55609142 edges, 180242 markings/sec, 120 secs
lola: 27484831 markings, 57547962 edges, 179643 markings/sec, 125 secs
lola: 28399533 markings, 59519556 edges, 182940 markings/sec, 130 secs
lola: 29333466 markings, 61516181 edges, 186787 markings/sec, 135 secs
lola: 30291663 markings, 63532412 edges, 191639 markings/sec, 140 secs
lola: 31180835 markings, 65432910 edges, 177834 markings/sec, 145 secs
lola: 32070689 markings, 67336198 edges, 177971 markings/sec, 150 secs
lola: 32931919 markings, 69212303 edges, 172246 markings/sec, 155 secs
lola: 33830764 markings, 71158170 edges, 179769 markings/sec, 160 secs
lola: 34730673 markings, 73110452 edges, 179982 markings/sec, 165 secs
lola: 35622808 markings, 75038416 edges, 178427 markings/sec, 170 secs
lola: 36490408 markings, 76924238 edges, 173520 markings/sec, 175 secs
lola: 37397028 markings, 78873038 edges, 181324 markings/sec, 180 secs
lola: 38231356 markings, 80703652 edges, 166866 markings/sec, 185 secs
lola: 39083731 markings, 82545733 edges, 170475 markings/sec, 190 secs
lola: 39962864 markings, 84454651 edges, 175827 markings/sec, 195 secs
lola: 40780428 markings, 86250212 edges, 163513 markings/sec, 200 secs
lola: 41645543 markings, 88144851 edges, 173023 markings/sec, 205 secs
lola: 42492256 markings, 89979912 edges, 169343 markings/sec, 210 secs
lola: 43307450 markings, 91756491 edges, 163039 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: 1347315 markings, 3123071 edges, 269463 markings/sec, 0 secs
lola: 2405106 markings, 5879426 edges, 211558 markings/sec, 5 secs
lola: 3410907 markings, 8527364 edges, 201160 markings/sec, 10 secs
lola: 4370476 markings, 11122129 edges, 191914 markings/sec, 15 secs
lola: 5270658 markings, 13587621 edges, 180036 markings/sec, 20 secs
lola: 6170131 markings, 16040176 edges, 179895 markings/sec, 25 secs
lola: 7081551 markings, 18508725 edges, 182284 markings/sec, 30 secs
lola: 7927617 markings, 20858448 edges, 169213 markings/sec, 35 secs
lola: 8791380 markings, 23261060 edges, 172753 markings/sec, 40 secs
lola: 9622433 markings, 25565942 edges, 166211 markings/sec, 45 secs
lola: 10422530 markings, 27807877 edges, 160019 markings/sec, 50 secs
lola: 11232499 markings, 30067526 edges, 161994 markings/sec, 55 secs
lola: 12060364 markings, 32375539 edges, 165573 markings/sec, 60 secs
lola: 12866173 markings, 34626865 edges, 161162 markings/sec, 65 secs
lola: 13659654 markings, 36876724 edges, 158696 markings/sec, 70 secs
lola: 14466125 markings, 39129432 edges, 161294 markings/sec, 75 secs
lola: 15251910 markings, 41332109 edges, 157157 markings/sec, 80 secs
lola: 16008365 markings, 43481724 edges, 151291 markings/sec, 85 secs
lola: 16782916 markings, 45671053 edges, 154910 markings/sec, 90 secs
lola: 17541135 markings, 47835515 edges, 151644 markings/sec, 95 secs
lola: 18294553 markings, 49993121 edges, 150684 markings/sec, 100 secs
lola: 19049696 markings, 52154234 edges, 151029 markings/sec, 105 secs
lola: 19804405 markings, 54306244 edges, 150942 markings/sec, 110 secs
lola: 20550660 markings, 56442358 edges, 149251 markings/sec, 115 secs
lola: 21295090 markings, 58574418 edges, 148886 markings/sec, 120 secs
lola: 22041974 markings, 60716193 edges, 149377 markings/sec, 125 secs
lola: 22797229 markings, 62889718 edges, 151051 markings/sec, 130 secs
lola: 23568915 markings, 65090681 edges, 154337 markings/sec, 135 secs
lola: 24332909 markings, 67270203 edges, 152799 markings/sec, 140 secs
lola: 25077292 markings, 69397708 edges, 148877 markings/sec, 145 secs
lola: 25801197 markings, 71482213 edges, 144781 markings/sec, 150 secs
lola: 26554799 markings, 73604881 edges, 150720 markings/sec, 155 secs
lola: 27277472 markings, 75686975 edges, 144535 markings/sec, 160 secs
lola: 27985478 markings, 77746326 edges, 141601 markings/sec, 165 secs
lola: 28692297 markings, 79792184 edges, 141364 markings/sec, 170 secs
lola: 29406512 markings, 81860370 edges, 142843 markings/sec, 175 secs
lola: 30126014 markings, 83947816 edges, 143900 markings/sec, 180 secs
lola: 30850346 markings, 86029578 edges, 144866 markings/sec, 185 secs
lola: 31562334 markings, 88088946 edges, 142398 markings/sec, 190 secs
lola: 32270761 markings, 90149896 edges, 141685 markings/sec, 195 secs
lola: 32981147 markings, 92208390 edges, 142077 markings/sec, 200 secs
lola: 33695937 markings, 94270353 edges, 142958 markings/sec, 205 secs
lola: 34418542 markings, 96325987 edges, 144521 markings/sec, 210 secs
lola: 35123007 markings, 98375504 edges, 140893 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: 1585577 markings, 3270586 edges, 317115 markings/sec, 0 secs
lola: 2932615 markings, 6170977 edges, 269408 markings/sec, 5 secs
lola: 4153534 markings, 8847422 edges, 244184 markings/sec, 10 secs
lola: 5317880 markings, 11427708 edges, 232869 markings/sec, 15 secs
lola: 6446343 markings, 13938435 edges, 225693 markings/sec, 20 secs
lola: 7582182 markings, 16499261 edges, 227168 markings/sec, 25 secs
lola: 8736302 markings, 19100565 edges, 230824 markings/sec, 30 secs
lola: 9872354 markings, 21667887 edges, 227210 markings/sec, 35 secs
lola: 11017036 markings, 24235361 edges, 228936 markings/sec, 40 secs
lola: 12103459 markings, 26711699 edges, 217285 markings/sec, 45 secs
lola: 13194987 markings, 29191688 edges, 218306 markings/sec, 50 secs
lola: 14153093 markings, 31376071 edges, 191621 markings/sec, 55 secs
lola: 15008237 markings, 33322214 edges, 171029 markings/sec, 60 secs
lola: 15831490 markings, 35210687 edges, 164651 markings/sec, 65 secs
lola: 16662637 markings, 37136631 edges, 166229 markings/sec, 70 secs
lola: 17495337 markings, 39035473 edges, 166540 markings/sec, 75 secs
lola: 18315188 markings, 40918598 edges, 163970 markings/sec, 80 secs
lola: 19144759 markings, 42837941 edges, 165914 markings/sec, 85 secs
lola: 19966960 markings, 44730194 edges, 164440 markings/sec, 90 secs
lola: 20948001 markings, 47029515 edges, 196208 markings/sec, 95 secs
lola: 21770808 markings, 48931683 edges, 164561 markings/sec, 100 secs
lola: 22591379 markings, 50825656 edges, 164114 markings/sec, 105 secs
lola: 23406292 markings, 52709175 edges, 162983 markings/sec, 110 secs
lola: 24251238 markings, 54684038 edges, 168989 markings/sec, 115 secs
lola: 25094472 markings, 56628412 edges, 168647 markings/sec, 120 secs
lola: 25928448 markings, 58563269 edges, 166795 markings/sec, 125 secs
lola: 26725712 markings, 60412985 edges, 159453 markings/sec, 130 secs
lola: 27541070 markings, 62296206 edges, 163072 markings/sec, 135 secs
lola: 28309124 markings, 64093332 edges, 153611 markings/sec, 140 secs
lola: 29081457 markings, 65885327 edges, 154467 markings/sec, 145 secs
lola: 29837413 markings, 67655157 edges, 151191 markings/sec, 150 secs
lola: 30583414 markings, 69405885 edges, 149200 markings/sec, 155 secs
lola: 31381804 markings, 71270633 edges, 159678 markings/sec, 160 secs
lola: 32303006 markings, 73430065 edges, 184240 markings/sec, 165 secs
lola: 33234600 markings, 75613727 edges, 186319 markings/sec, 170 secs
lola: 34183569 markings, 77809570 edges, 189794 markings/sec, 175 secs
lola: 34987437 markings, 79665330 edges, 160774 markings/sec, 180 secs
lola: 35713531 markings, 81388383 edges, 145219 markings/sec, 185 secs
lola: 36467731 markings, 83159807 edges, 150840 markings/sec, 190 secs
lola: 37233054 markings, 84955717 edges, 153065 markings/sec, 195 secs
lola: 37967742 markings, 86690344 edges, 146938 markings/sec, 200 secs
lola: 38747285 markings, 88503038 edges, 155909 markings/sec, 205 secs
lola: 39599186 markings, 90508175 edges, 170380 markings/sec, 210 secs
lola: 40470871 markings, 92577448 edges, 174337 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: 3684909 markings, 6595891 edges, 736982 markings/sec, 0 secs
lola: 7228382 markings, 12851434 edges, 708695 markings/sec, 5 secs
lola: 10825871 markings, 19162550 edges, 719498 markings/sec, 10 secs
lola: 14243103 markings, 25156745 edges, 683446 markings/sec, 15 secs
lola: 17615976 markings, 31069484 edges, 674575 markings/sec, 20 secs
lola: 20975269 markings, 36967454 edges, 671859 markings/sec, 25 secs
lola: 24644418 markings, 43403636 edges, 733830 markings/sec, 30 secs
lola: 28234564 markings, 49701970 edges, 718029 markings/sec, 35 secs
lola: 31031110 markings, 54728893 edges, 559309 markings/sec, 40 secs
lola: 33748785 markings, 59634212 edges, 543535 markings/sec, 45 secs
lola: 36354951 markings, 64361868 edges, 521233 markings/sec, 50 secs
lola: 38974393 markings, 69090418 edges, 523888 markings/sec, 55 secs
lola: 41520444 markings, 73705551 edges, 509210 markings/sec, 60 secs
lola: 43954438 markings, 78165241 edges, 486799 markings/sec, 65 secs
lola: 46365023 markings, 82585987 edges, 482117 markings/sec, 70 secs
lola: 48712242 markings, 86877192 edges, 469444 markings/sec, 75 secs
lola: 51072670 markings, 91199147 edges, 472086 markings/sec, 80 secs
lola: 53363397 markings, 95375622 edges, 458145 markings/sec, 85 secs
lola: 55641328 markings, 99559304 edges, 455586 markings/sec, 90 secs
lola: 57932531 markings, 103778858 edges, 458241 markings/sec, 95 secs
lola: 60352136 markings, 108220882 edges, 483921 markings/sec, 100 secs
lola: 62678156 markings, 112484213 edges, 465204 markings/sec, 105 secs
lola: 64975670 markings, 116693805 edges, 459503 markings/sec, 110 secs
lola: 67215367 markings, 120801272 edges, 447939 markings/sec, 115 secs
lola: 69439240 markings, 124867766 edges, 444775 markings/sec, 120 secs
lola: 71579503 markings, 128788094 edges, 428053 markings/sec, 125 secs
lola: 73678701 markings, 132644504 edges, 419840 markings/sec, 130 secs
lola: 75810240 markings, 136554594 edges, 426308 markings/sec, 135 secs
lola: 77911580 markings, 140414433 edges, 420268 markings/sec, 140 secs
lola: 80092057 markings, 144421894 edges, 436095 markings/sec, 145 secs
lola: 82430650 markings, 148719663 edges, 467719 markings/sec, 150 secs
lola: 84704278 markings, 152890272 edges, 454726 markings/sec, 155 secs
lola: 87012939 markings, 157122247 edges, 461732 markings/sec, 160 secs
lola: 89209007 markings, 161172567 edges, 439214 markings/sec, 165 secs
lola: 91417737 markings, 165223895 edges, 441746 markings/sec, 170 secs
lola: 93560795 markings, 169164436 edges, 428612 markings/sec, 175 secs
lola: 95696702 markings, 173106207 edges, 427181 markings/sec, 180 secs
lola: 97821078 markings, 177019392 edges, 424875 markings/sec, 185 secs
lola: 100023326 markings, 181078842 edges, 440450 markings/sec, 190 secs
lola: 102267836 markings, 185195631 edges, 448902 markings/sec, 195 secs
lola: 104442761 markings, 189197368 edges, 434985 markings/sec, 200 secs
lola: 106539299 markings, 193069735 edges, 419308 markings/sec, 205 secs
lola: 108738048 markings, 197110646 edges, 439750 markings/sec, 210 secs
lola: 110848042 markings, 201007185 edges, 421999 markings/sec, 215 secs
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: 1862523 markings, 3650818 edges, 372505 markings/sec, 0 secs
lola: 3456997 markings, 6941460 edges, 318895 markings/sec, 5 secs
lola: 4932054 markings, 10031410 edges, 295011 markings/sec, 10 secs
lola: 6362352 markings, 13056957 edges, 286060 markings/sec, 15 secs
lola: 7719836 markings, 15972957 edges, 271497 markings/sec, 20 secs
lola: 9031215 markings, 18809142 edges, 262276 markings/sec, 25 secs
lola: 10302089 markings, 21574658 edges, 254175 markings/sec, 30 secs
lola: 11559654 markings, 24323683 edges, 251513 markings/sec, 35 secs
lola: 12785591 markings, 27015740 edges, 245187 markings/sec, 40 secs
lola: 13995316 markings, 29689966 edges, 241945 markings/sec, 45 secs
lola: 15196781 markings, 32338489 edges, 240293 markings/sec, 50 secs
lola: 16386622 markings, 34981820 edges, 237968 markings/sec, 55 secs
lola: 17565730 markings, 37592904 edges, 235822 markings/sec, 60 secs
lola: 18744820 markings, 40215589 edges, 235818 markings/sec, 65 secs
lola: 19872932 markings, 42728276 edges, 225622 markings/sec, 70 secs
lola: 20982244 markings, 45216938 edges, 221862 markings/sec, 75 secs
lola: 22102211 markings, 47712327 edges, 223993 markings/sec, 80 secs
lola: 23239960 markings, 50263785 edges, 227550 markings/sec, 85 secs
lola: 24391299 markings, 52837648 edges, 230268 markings/sec, 90 secs
lola: 25513253 markings, 55354576 edges, 224391 markings/sec, 95 secs
lola: 26636371 markings, 57885640 edges, 224624 markings/sec, 100 secs
lola: 27765721 markings, 60428676 edges, 225870 markings/sec, 105 secs
lola: 28875480 markings, 62932873 edges, 221952 markings/sec, 110 secs
lola: 29980425 markings, 65432219 edges, 220989 markings/sec, 115 secs
lola: 31087782 markings, 67939215 edges, 221471 markings/sec, 120 secs
lola: 32174508 markings, 70408255 edges, 217345 markings/sec, 125 secs
lola: 33268856 markings, 72884516 edges, 218870 markings/sec, 130 secs
lola: 34352924 markings, 75348979 edges, 216814 markings/sec, 135 secs
lola: 35436626 markings, 77804391 edges, 216740 markings/sec, 140 secs
lola: 36511304 markings, 80243321 edges, 214936 markings/sec, 145 secs
lola: 37576013 markings, 82682587 edges, 212942 markings/sec, 150 secs
lola: 38634297 markings, 85106299 edges, 211657 markings/sec, 155 secs
lola: 39684235 markings, 87496148 edges, 209988 markings/sec, 160 secs
lola: 40729288 markings, 89891066 edges, 209011 markings/sec, 165 secs
lola: 41784512 markings, 92297260 edges, 211045 markings/sec, 170 secs
lola: 42818915 markings, 94671069 edges, 206881 markings/sec, 175 secs
lola: 43865686 markings, 97067301 edges, 209354 markings/sec, 180 secs
lola: 44900133 markings, 99446211 edges, 206889 markings/sec, 185 secs
lola: 45936064 markings, 101825376 edges, 207186 markings/sec, 190 secs
lola: 46955175 markings, 104179516 edges, 203822 markings/sec, 195 secs
lola: 47978464 markings, 106536048 edges, 204658 markings/sec, 200 secs
lola: 48991380 markings, 108876397 edges, 202583 markings/sec, 205 secs
lola: 50021592 markings, 111251325 edges, 206042 markings/sec, 210 secs
lola: 51053316 markings, 113619739 edges, 206345 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: 2067428 markings, 3646154 edges, 413486 markings/sec, 0 secs
lola: 3784178 markings, 6826627 edges, 343350 markings/sec, 5 secs
lola: 5444243 markings, 9884835 edges, 332013 markings/sec, 10 secs
lola: 7007239 markings, 12807326 edges, 312599 markings/sec, 15 secs
lola: 8556769 markings, 15703281 edges, 309906 markings/sec, 20 secs
lola: 10045227 markings, 18511080 edges, 297692 markings/sec, 25 secs
lola: 11542497 markings, 21327808 edges, 299454 markings/sec, 30 secs
lola: 13042720 markings, 24140315 edges, 300045 markings/sec, 35 secs
lola: 14550596 markings, 26971684 edges, 301575 markings/sec, 40 secs
lola: 16012600 markings, 29727555 edges, 292401 markings/sec, 45 secs
lola: 17456609 markings, 32455271 edges, 288802 markings/sec, 50 secs
lola: 18903888 markings, 35172677 edges, 289456 markings/sec, 55 secs
lola: 20266930 markings, 37778668 edges, 272608 markings/sec, 60 secs
lola: 21667102 markings, 40417289 edges, 280034 markings/sec, 65 secs
lola: 23052876 markings, 43042131 edges, 277155 markings/sec, 70 secs
lola: 24409903 markings, 45634178 edges, 271405 markings/sec, 75 secs
lola: 25763524 markings, 48207193 edges, 270724 markings/sec, 80 secs
lola: 27148459 markings, 50826630 edges, 276987 markings/sec, 85 secs
lola: 28438888 markings, 53315546 edges, 258086 markings/sec, 90 secs
lola: 29767572 markings, 55855409 edges, 265737 markings/sec, 95 secs
lola: 31135846 markings, 58441034 edges, 273655 markings/sec, 100 secs
lola: 32446126 markings, 60944833 edges, 262056 markings/sec, 105 secs
lola: 33728894 markings, 63410074 edges, 256554 markings/sec, 110 secs
lola: 35039925 markings, 65920777 edges, 262206 markings/sec, 115 secs
lola: 36363188 markings, 68450171 edges, 264653 markings/sec, 120 secs
lola: 37734567 markings, 71056097 edges, 274276 markings/sec, 125 secs
lola: 39052100 markings, 73584150 edges, 263507 markings/sec, 130 secs
lola: 40369205 markings, 76115941 edges, 263421 markings/sec, 135 secs
lola: 41681381 markings, 78647970 edges, 262435 markings/sec, 140 secs
lola: 43118344 markings, 81348472 edges, 287393 markings/sec, 145 secs
lola: 44468645 markings, 83924181 edges, 270060 markings/sec, 150 secs
lola: 45744354 markings, 86399606 edges, 255142 markings/sec, 155 secs
lola: 47025005 markings, 88880515 edges, 256130 markings/sec, 160 secs
lola: 48449203 markings, 91557969 edges, 284840 markings/sec, 165 secs
lola: 49795479 markings, 94126812 edges, 269255 markings/sec, 170 secs
lola: 51119015 markings, 96659943 edges, 264707 markings/sec, 175 secs
lola: 52447561 markings, 99200175 edges, 265709 markings/sec, 180 secs
lola: 53730129 markings, 101676627 edges, 256514 markings/sec, 185 secs
lola: 55002341 markings, 104126094 edges, 254442 markings/sec, 190 secs
lola: 56321890 markings, 106647511 edges, 263910 markings/sec, 195 secs
lola: 57583731 markings, 109088500 edges, 252368 markings/sec, 200 secs
lola: 58853640 markings, 111544692 edges, 253982 markings/sec, 205 secs
lola: 60159316 markings, 114049192 edges, 261135 markings/sec, 210 secs
lola: 61461887 markings, 116560020 edges, 260514 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: 1853307 markings, 3237577 edges, 370661 markings/sec, 0 secs
lola: 3427061 markings, 6101311 edges, 314751 markings/sec, 5 secs
lola: 4919357 markings, 8845251 edges, 298459 markings/sec, 10 secs
lola: 6331519 markings, 11471665 edges, 282432 markings/sec, 15 secs
lola: 7683318 markings, 14003105 edges, 270360 markings/sec, 20 secs
lola: 9020963 markings, 16523179 edges, 267529 markings/sec, 25 secs
lola: 10310711 markings, 18963617 edges, 257950 markings/sec, 30 secs
lola: 11568413 markings, 21351888 edges, 251540 markings/sec, 35 secs
lola: 12831253 markings, 23722668 edges, 252568 markings/sec, 40 secs
lola: 14071369 markings, 26066580 edges, 248023 markings/sec, 45 secs
lola: 15265150 markings, 28333781 edges, 238756 markings/sec, 50 secs
lola: 16444095 markings, 30588992 edges, 235789 markings/sec, 55 secs
lola: 17629129 markings, 32882193 edges, 237007 markings/sec, 60 secs
lola: 18788532 markings, 35117051 edges, 231881 markings/sec, 65 secs
lola: 19970873 markings, 37384197 edges, 236468 markings/sec, 70 secs
lola: 21107067 markings, 39575605 edges, 227239 markings/sec, 75 secs
lola: 22238431 markings, 41741595 edges, 226273 markings/sec, 80 secs
lola: 23348062 markings, 43901965 edges, 221926 markings/sec, 85 secs
lola: 24481799 markings, 46097266 edges, 226747 markings/sec, 90 secs
lola: 25664697 markings, 48381164 edges, 236580 markings/sec, 95 secs
lola: 26849850 markings, 50671320 edges, 237031 markings/sec, 100 secs
lola: 27946621 markings, 52806648 edges, 219354 markings/sec, 105 secs
lola: 29058525 markings, 54972323 edges, 222381 markings/sec, 110 secs
lola: 30153451 markings, 57103483 edges, 218985 markings/sec, 115 secs
lola: 31261105 markings, 59264354 edges, 221531 markings/sec, 120 secs
lola: 32392533 markings, 61467953 edges, 226286 markings/sec, 125 secs
lola: 33515516 markings, 63653168 edges, 224597 markings/sec, 130 secs
lola: 34651785 markings, 65868861 edges, 227254 markings/sec, 135 secs
lola: 35786090 markings, 68081396 edges, 226861 markings/sec, 140 secs
lola: 36944170 markings, 70327221 edges, 231616 markings/sec, 145 secs
lola: 38015166 markings, 72422311 edges, 214199 markings/sec, 150 secs
lola: 39084845 markings, 74507718 edges, 213936 markings/sec, 155 secs
lola: 40147580 markings, 76577284 edges, 212547 markings/sec, 160 secs
lola: 41240387 markings, 78717082 edges, 218561 markings/sec, 165 secs
lola: 42334216 markings, 80862163 edges, 218766 markings/sec, 170 secs
lola: 43417630 markings, 83000401 edges, 216683 markings/sec, 175 secs
lola: 44488474 markings, 85115233 edges, 214169 markings/sec, 180 secs
lola: 45581831 markings, 87276198 edges, 218671 markings/sec, 185 secs
lola: 46702424 markings, 89464486 edges, 224119 markings/sec, 190 secs
lola: 47780807 markings, 91603084 edges, 215677 markings/sec, 195 secs
lola: 48882198 markings, 93770926 edges, 220278 markings/sec, 200 secs
lola: 49974231 markings, 95910315 edges, 218407 markings/sec, 205 secs
lola: 51070284 markings, 98072225 edges, 219211 markings/sec, 210 secs
lola: 52132617 markings, 100191520 edges, 212467 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: 2263024 markings, 6060905 edges, 452605 markings/sec, 0 secs
lola: 4264407 markings, 11629636 edges, 400277 markings/sec, 5 secs
lola: 6329953 markings, 17474300 edges, 413109 markings/sec, 10 secs
lola: 8392278 markings, 23309033 edges, 412465 markings/sec, 15 secs
lola: 10311122 markings, 28700214 edges, 383769 markings/sec, 20 secs
lola: 12149194 markings, 33859780 edges, 367614 markings/sec, 25 secs
lola: 13903945 markings, 38912833 edges, 350950 markings/sec, 30 secs
lola: 15702853 markings, 44000310 edges, 359782 markings/sec, 35 secs
lola: 17377494 markings, 48817517 edges, 334928 markings/sec, 40 secs
lola: 19059216 markings, 53711945 edges, 336344 markings/sec, 45 secs
lola: 20667713 markings, 58521485 edges, 321699 markings/sec, 50 secs
lola: 22249672 markings, 63201576 edges, 316392 markings/sec, 55 secs
lola: 23882182 markings, 67948657 edges, 326502 markings/sec, 60 secs
lola: 25469171 markings, 72623395 edges, 317398 markings/sec, 65 secs
lola: 27009109 markings, 77220519 edges, 307988 markings/sec, 70 secs
lola: 28553857 markings, 81848244 edges, 308950 markings/sec, 75 secs
lola: 30121752 markings, 86444509 edges, 313579 markings/sec, 80 secs
lola: 31581114 markings, 90841333 edges, 291872 markings/sec, 85 secs
lola: 33096795 markings, 95351476 edges, 303136 markings/sec, 90 secs
lola: 34512288 markings, 99652352 edges, 283099 markings/sec, 95 secs
lola: 36000250 markings, 104084928 edges, 297592 markings/sec, 100 secs
lola: 37586326 markings, 108750810 edges, 317215 markings/sec, 105 secs
lola: 39108969 markings, 113264372 edges, 304529 markings/sec, 110 secs
lola: 40583604 markings, 117701758 edges, 294927 markings/sec, 115 secs
lola: 42177660 markings, 122310569 edges, 318811 markings/sec, 120 secs
lola: 43684639 markings, 126804103 edges, 301396 markings/sec, 125 secs
lola: 45083548 markings, 131079085 edges, 279782 markings/sec, 130 secs
lola: 46502928 markings, 135377214 edges, 283876 markings/sec, 135 secs
lola: 47940278 markings, 139638620 edges, 287470 markings/sec, 140 secs
lola: 49440719 markings, 144131448 edges, 300088 markings/sec, 145 secs
lola: 50858775 markings, 148416867 edges, 283611 markings/sec, 150 secs
lola: 52311597 markings, 152776588 edges, 290564 markings/sec, 155 secs
lola: 53723844 markings, 157091825 edges, 282449 markings/sec, 160 secs
lola: 55205167 markings, 161546763 edges, 296265 markings/sec, 165 secs
lola: 56653465 markings, 165873269 edges, 289660 markings/sec, 170 secs
lola: 58067197 markings, 170139679 edges, 282746 markings/sec, 175 secs
lola: 59511822 markings, 174449244 edges, 288925 markings/sec, 180 secs
lola: 61002621 markings, 178906085 edges, 298160 markings/sec, 185 secs
lola: 62599260 markings, 183562615 edges, 319328 markings/sec, 190 secs
lola: 64126308 markings, 188089595 edges, 305410 markings/sec, 195 secs
lola: 65566555 markings, 192516007 edges, 288049 markings/sec, 200 secs
lola: 66980675 markings, 196855317 edges, 282824 markings/sec, 205 secs
lola: 68414921 markings, 201179210 edges, 286849 markings/sec, 210 secs
lola: 69795412 markings, 205332269 edges, 276098 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: 1743893 markings, 3551336 edges, 348779 markings/sec, 0 secs
lola: 3317747 markings, 6889475 edges, 314771 markings/sec, 5 secs
lola: 4826947 markings, 10116522 edges, 301840 markings/sec, 10 secs
lola: 6294148 markings, 13206278 edges, 293440 markings/sec, 15 secs
lola: 7717879 markings, 16242857 edges, 284746 markings/sec, 20 secs
lola: 9107090 markings, 19224239 edges, 277842 markings/sec, 25 secs
lola: 10470100 markings, 22148923 edges, 272602 markings/sec, 30 secs
lola: 11831293 markings, 25081523 edges, 272239 markings/sec, 35 secs
lola: 13176419 markings, 27983809 edges, 269025 markings/sec, 40 secs
lola: 14536927 markings, 30899391 edges, 272102 markings/sec, 45 secs
lola: 15873427 markings, 33789220 edges, 267300 markings/sec, 50 secs
lola: 17265269 markings, 36784028 edges, 278368 markings/sec, 55 secs
lola: 18621977 markings, 39705971 edges, 271342 markings/sec, 60 secs
lola: 19952837 markings, 42592023 edges, 266172 markings/sec, 65 secs
lola: 21251777 markings, 45425892 edges, 259788 markings/sec, 70 secs
lola: 22539273 markings, 48247923 edges, 257499 markings/sec, 75 secs
lola: 23861528 markings, 51122710 edges, 264451 markings/sec, 80 secs
lola: 25258337 markings, 54145668 edges, 279362 markings/sec, 85 secs
lola: 26663456 markings, 57171573 edges, 281024 markings/sec, 90 secs
lola: 28060036 markings, 60184431 edges, 279316 markings/sec, 95 secs
lola: 29460228 markings, 63206881 edges, 280038 markings/sec, 100 secs
lola: 30859317 markings, 66227495 edges, 279818 markings/sec, 105 secs
lola: 32219334 markings, 69195191 edges, 272003 markings/sec, 110 secs
lola: 33588157 markings, 72166820 edges, 273765 markings/sec, 115 secs
lola: 34966502 markings, 75161922 edges, 275669 markings/sec, 120 secs
lola: 36333144 markings, 78119738 edges, 273328 markings/sec, 125 secs
lola: 37667737 markings, 81033620 edges, 266919 markings/sec, 130 secs
lola: 39053711 markings, 84063444 edges, 277195 markings/sec, 135 secs
lola: 40369911 markings, 86937986 edges, 263240 markings/sec, 140 secs
lola: 41720862 markings, 89881178 edges, 270190 markings/sec, 145 secs
lola: 43073651 markings, 92848963 edges, 270558 markings/sec, 150 secs
lola: 44408637 markings, 95763637 edges, 266997 markings/sec, 155 secs
lola: 45729552 markings, 98650681 edges, 264183 markings/sec, 160 secs
lola: 47063824 markings, 101570908 edges, 266854 markings/sec, 165 secs
lola: 48397797 markings, 104481396 edges, 266795 markings/sec, 170 secs
lola: 49749785 markings, 107425339 edges, 270398 markings/sec, 175 secs
lola: 51067795 markings, 110304890 edges, 263602 markings/sec, 180 secs
lola: 52420663 markings, 113242779 edges, 270574 markings/sec, 185 secs
lola: 53751918 markings, 116150722 edges, 266251 markings/sec, 190 secs
lola: 55083322 markings, 119046627 edges, 266281 markings/sec, 195 secs
lola: 56429637 markings, 121976694 edges, 269263 markings/sec, 200 secs
lola: 57781757 markings, 124916765 edges, 270424 markings/sec, 205 secs
lola: 59098245 markings, 127795169 edges, 263298 markings/sec, 210 secs
lola: 60433685 markings, 130715196 edges, 267088 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: 2093475 markings, 3382460 edges, 418695 markings/sec, 0 secs
lola: 3815274 markings, 6297974 edges, 344360 markings/sec, 5 secs
lola: 5417747 markings, 9069732 edges, 320495 markings/sec, 10 secs
lola: 6956278 markings, 11752273 edges, 307706 markings/sec, 15 secs
lola: 8434741 markings, 14349532 edges, 295693 markings/sec, 20 secs
lola: 9870009 markings, 16901467 edges, 287054 markings/sec, 25 secs
lola: 11295371 markings, 19417440 edges, 285072 markings/sec, 30 secs
lola: 12691382 markings, 21901377 edges, 279202 markings/sec, 35 secs
lola: 14066550 markings, 24350829 edges, 275034 markings/sec, 40 secs
lola: 15398881 markings, 26753730 edges, 266466 markings/sec, 45 secs
lola: 16736068 markings, 29137459 edges, 267437 markings/sec, 50 secs
lola: 18056521 markings, 31505209 edges, 264091 markings/sec, 55 secs
lola: 19348059 markings, 33846468 edges, 258308 markings/sec, 60 secs
lola: 20622811 markings, 36170005 edges, 254950 markings/sec, 65 secs
lola: 21896879 markings, 38469671 edges, 254814 markings/sec, 70 secs
lola: 23140146 markings, 40728846 edges, 248653 markings/sec, 75 secs
lola: 24358153 markings, 42965744 edges, 243601 markings/sec, 80 secs
lola: 25577285 markings, 45187413 edges, 243826 markings/sec, 85 secs
lola: 26800597 markings, 47430116 edges, 244662 markings/sec, 90 secs
lola: 28059042 markings, 49716128 edges, 251689 markings/sec, 95 secs
lola: 29305293 markings, 51983899 edges, 249250 markings/sec, 100 secs
lola: 30365201 markings, 53911005 edges, 211982 markings/sec, 105 secs
lola: 31566833 markings, 56084223 edges, 240326 markings/sec, 110 secs
lola: 32781755 markings, 58311981 edges, 242984 markings/sec, 115 secs
lola: 33977718 markings, 60498707 edges, 239193 markings/sec, 120 secs
lola: 35174239 markings, 62670316 edges, 239304 markings/sec, 125 secs
lola: 36348715 markings, 64807473 edges, 234895 markings/sec, 130 secs
lola: 37480239 markings, 66866865 edges, 226305 markings/sec, 135 secs
lola: 38624945 markings, 68983798 edges, 228941 markings/sec, 140 secs
lola: 39780091 markings, 71104213 edges, 231029 markings/sec, 145 secs
lola: 40982813 markings, 73325061 edges, 240544 markings/sec, 150 secs
lola: 42194829 markings, 75553754 edges, 242403 markings/sec, 155 secs
lola: 43401048 markings, 77774298 edges, 241244 markings/sec, 160 secs
lola: 44581743 markings, 79959208 edges, 236139 markings/sec, 165 secs
lola: 45747032 markings, 82107721 edges, 233058 markings/sec, 170 secs
lola: 46932599 markings, 84293284 edges, 237113 markings/sec, 175 secs
lola: 48109562 markings, 86468757 edges, 235393 markings/sec, 180 secs
lola: 49209075 markings, 88513659 edges, 219903 markings/sec, 185 secs
lola: 50327748 markings, 90587072 edges, 223735 markings/sec, 190 secs
lola: 51486970 markings, 92790048 edges, 231844 markings/sec, 195 secs
lola: 52614679 markings, 94963145 edges, 225542 markings/sec, 200 secs
lola: 53680888 markings, 97083134 edges, 213242 markings/sec, 205 secs
lola: 54791272 markings, 99220740 edges, 222077 markings/sec, 210 secs
lola: 55838807 markings, 101335641 edges, 209507 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 1916195 markings, 3541742 edges, 383239 markings/sec, 0 secs
lola: 3696832 markings, 6831626 edges, 356127 markings/sec, 5 secs
lola: 5456904 markings, 10084539 edges, 352014 markings/sec, 10 secs
lola: 7151545 markings, 13221655 edges, 338928 markings/sec, 15 secs
lola: 8810924 markings, 16305074 edges, 331876 markings/sec, 20 secs
lola: 10473981 markings, 19398380 edges, 332611 markings/sec, 25 secs
lola: 12131774 markings, 22478910 edges, 331559 markings/sec, 30 secs
lola: 13788216 markings, 25556634 edges, 331288 markings/sec, 35 secs
lola: 15397340 markings, 28567540 edges, 321825 markings/sec, 40 secs
lola: 17016051 markings, 31593884 edges, 323742 markings/sec, 45 secs
lola: 18624137 markings, 34599894 edges, 321617 markings/sec, 50 secs
lola: 20266913 markings, 37658635 edges, 328555 markings/sec, 55 secs
lola: 21847546 markings, 40621346 edges, 316127 markings/sec, 60 secs
lola: 23450893 markings, 43610056 edges, 320669 markings/sec, 65 secs
lola: 25071337 markings, 46632036 edges, 324089 markings/sec, 70 secs
lola: 26661015 markings, 49607484 edges, 317936 markings/sec, 75 secs
lola: 28266562 markings, 52621056 edges, 321109 markings/sec, 80 secs
lola: 29890892 markings, 55652184 edges, 324866 markings/sec, 85 secs
lola: 31521228 markings, 58708723 edges, 326067 markings/sec, 90 secs
lola: 33112201 markings, 61697659 edges, 318195 markings/sec, 95 secs
lola: 34710260 markings, 64682324 edges, 319612 markings/sec, 100 secs
lola: 36260372 markings, 67591627 edges, 310022 markings/sec, 105 secs
lola: 37779069 markings, 70432230 edges, 303739 markings/sec, 110 secs
lola: 39279638 markings, 73252635 edges, 300114 markings/sec, 115 secs
lola: 40763296 markings, 76032879 edges, 296732 markings/sec, 120 secs
lola: 42258455 markings, 78832466 edges, 299032 markings/sec, 125 secs
lola: 43790837 markings, 81698951 edges, 306476 markings/sec, 130 secs
lola: 45394374 markings, 84691172 edges, 320707 markings/sec, 135 secs
lola: 46965089 markings, 87636700 edges, 314143 markings/sec, 140 secs
lola: 48525710 markings, 90574992 edges, 312124 markings/sec, 145 secs
lola: 50027708 markings, 93414596 edges, 300400 markings/sec, 150 secs
lola: 51551923 markings, 96261942 edges, 304843 markings/sec, 155 secs
lola: 53101901 markings, 99175888 edges, 309996 markings/sec, 160 secs
lola: 54597374 markings, 101979931 edges, 299095 markings/sec, 165 secs
lola: 56081174 markings, 104761118 edges, 296760 markings/sec, 170 secs
lola: 57560242 markings, 107532474 edges, 295814 markings/sec, 175 secs
lola: 59156876 markings, 110513197 edges, 319327 markings/sec, 180 secs
lola: 60743033 markings, 113490533 edges, 317231 markings/sec, 185 secs
lola: 62299492 markings, 116408025 edges, 311292 markings/sec, 190 secs
lola: 63777310 markings, 119191115 edges, 295564 markings/sec, 195 secs
lola: 65221180 markings, 121901700 edges, 288774 markings/sec, 200 secs
lola: 66694303 markings, 124657765 edges, 294625 markings/sec, 205 secs
lola: 68219947 markings, 127510677 edges, 305129 markings/sec, 210 secs
lola: 69766065 markings, 130412879 edges, 309224 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 220 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: 2176873 markings, 5377995 edges, 435375 markings/sec, 0 secs
lola: 4198362 markings, 10442645 edges, 404298 markings/sec, 5 secs
lola: 6244124 markings, 15624151 edges, 409152 markings/sec, 10 secs
lola: 8037962 markings, 20181098 edges, 358768 markings/sec, 15 secs
lola: 9719795 markings, 24462964 edges, 336367 markings/sec, 20 secs
lola: 11402116 markings, 28738179 edges, 336464 markings/sec, 25 secs
lola: 13063203 markings, 32974364 edges, 332217 markings/sec, 30 secs
lola: 14905637 markings, 37690484 edges, 368487 markings/sec, 35 secs
lola: 16637427 markings, 42093970 edges, 346358 markings/sec, 40 secs
lola: 18335249 markings, 46436052 edges, 339564 markings/sec, 45 secs
lola: 20002317 markings, 50723663 edges, 333414 markings/sec, 50 secs
lola: 21827730 markings, 55427074 edges, 365083 markings/sec, 55 secs
lola: 23565760 markings, 59920946 edges, 347606 markings/sec, 60 secs
lola: 25380075 markings, 64592611 edges, 362863 markings/sec, 65 secs
lola: 27166834 markings, 69157980 edges, 357352 markings/sec, 70 secs
lola: 28893513 markings, 73573878 edges, 345336 markings/sec, 75 secs
lola: 30668553 markings, 78151978 edges, 355008 markings/sec, 80 secs
lola: 32450498 markings, 82771443 edges, 356389 markings/sec, 85 secs
lola: 34249851 markings, 87406415 edges, 359871 markings/sec, 90 secs
lola: 36024335 markings, 91998082 edges, 354897 markings/sec, 95 secs
lola: 37822291 markings, 96597440 edges, 359591 markings/sec, 100 secs
lola: 39522266 markings, 101016372 edges, 339995 markings/sec, 105 secs
lola: 41268368 markings, 105504330 edges, 349220 markings/sec, 110 secs
lola: 43018549 markings, 110031942 edges, 350036 markings/sec, 115 secs
lola: 44775870 markings, 114570400 edges, 351464 markings/sec, 120 secs
lola: 46535267 markings, 119108440 edges, 351879 markings/sec, 125 secs
lola: 48230147 markings, 123485720 edges, 338976 markings/sec, 130 secs
lola: 49970832 markings, 128011353 edges, 348137 markings/sec, 135 secs
lola: 51720332 markings, 132531652 edges, 349900 markings/sec, 140 secs
lola: 53386635 markings, 136884608 edges, 333261 markings/sec, 145 secs
lola: 55173053 markings, 141522558 edges, 357284 markings/sec, 150 secs
lola: 56911827 markings, 146011633 edges, 347755 markings/sec, 155 secs
lola: 58506509 markings, 150160735 edges, 318936 markings/sec, 160 secs
lola: 60088135 markings, 154276895 edges, 316325 markings/sec, 165 secs
lola: 61670122 markings, 158387017 edges, 316397 markings/sec, 170 secs
lola: 63273832 markings, 162575231 edges, 320742 markings/sec, 175 secs
lola: 65074387 markings, 167163043 edges, 360111 markings/sec, 180 secs
lola: 66684853 markings, 171310880 edges, 322093 markings/sec, 185 secs
lola: 68278725 markings, 175418950 edges, 318774 markings/sec, 190 secs
lola: 69842534 markings, 179494972 edges, 312762 markings/sec, 195 secs
lola: 71413764 markings, 183571847 edges, 314246 markings/sec, 200 secs
lola: 72976723 markings, 187640637 edges, 312592 markings/sec, 205 secs
lola: 74537149 markings, 191719908 edges, 312085 markings/sec, 210 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 221 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: 2349827 markings, 3750663 edges, 469965 markings/sec, 0 secs
lola: 4476802 markings, 7205603 edges, 425395 markings/sec, 5 secs
lola: 6545609 markings, 10583202 edges, 413761 markings/sec, 10 secs
lola: 8574106 markings, 13892685 edges, 405699 markings/sec, 15 secs
lola: 10549851 markings, 17126280 edges, 395149 markings/sec, 20 secs
lola: 12539220 markings, 20390708 edges, 397874 markings/sec, 25 secs
lola: 14465519 markings, 23556663 edges, 385260 markings/sec, 30 secs
lola: 16287540 markings, 26550536 edges, 364404 markings/sec, 35 secs
lola: 18029783 markings, 29414112 edges, 348449 markings/sec, 40 secs
lola: 19757341 markings, 32262242 edges, 345512 markings/sec, 45 secs
lola: 21466453 markings, 35078565 edges, 341822 markings/sec, 50 secs
lola: 23202918 markings, 37935892 edges, 347293 markings/sec, 55 secs
lola: 24996108 markings, 40893889 edges, 358638 markings/sec, 60 secs
lola: 26800602 markings, 43866431 edges, 360899 markings/sec, 65 secs
lola: 28496099 markings, 46662083 edges, 339099 markings/sec, 70 secs
lola: 30150520 markings, 49385973 edges, 330884 markings/sec, 75 secs
lola: 31799477 markings, 52109726 edges, 329791 markings/sec, 80 secs
lola: 33513659 markings, 54942362 edges, 342836 markings/sec, 85 secs
lola: 35282427 markings, 57852189 edges, 353754 markings/sec, 90 secs
lola: 37023495 markings, 60727556 edges, 348214 markings/sec, 95 secs
lola: 38761629 markings, 63601278 edges, 347627 markings/sec, 100 secs
lola: 40449996 markings, 66410648 edges, 337673 markings/sec, 105 secs
lola: 42163667 markings, 69238516 edges, 342734 markings/sec, 110 secs
lola: 43882620 markings, 72073140 edges, 343791 markings/sec, 115 secs
lola: 45578322 markings, 74878302 edges, 339140 markings/sec, 120 secs
lola: 47259885 markings, 77651299 edges, 336313 markings/sec, 125 secs
lola: 48897611 markings, 80367607 edges, 327545 markings/sec, 130 secs
lola: 50554211 markings, 83098673 edges, 331320 markings/sec, 135 secs
lola: 52179504 markings, 85799473 edges, 325059 markings/sec, 140 secs
lola: 53803432 markings, 88492564 edges, 324786 markings/sec, 145 secs
lola: 55439579 markings, 91198304 edges, 327229 markings/sec, 150 secs
lola: 57070167 markings, 93897433 edges, 326118 markings/sec, 155 secs
lola: 58688669 markings, 96579947 edges, 323700 markings/sec, 160 secs
lola: 60302208 markings, 99261136 edges, 322708 markings/sec, 165 secs
lola: 61901692 markings, 101913064 edges, 319897 markings/sec, 170 secs
lola: 63529686 markings, 104602378 edges, 325599 markings/sec, 175 secs
lola: 65138933 markings, 107266818 edges, 321849 markings/sec, 180 secs
lola: 66729603 markings, 109895849 edges, 318134 markings/sec, 185 secs
lola: 68315784 markings, 112528088 edges, 317236 markings/sec, 190 secs
lola: 69819600 markings, 115028271 edges, 300763 markings/sec, 195 secs
lola: 71367807 markings, 117591278 edges, 309641 markings/sec, 200 secs
lola: 72977793 markings, 120253935 edges, 321997 markings/sec, 205 secs
lola: 74536213 markings, 122834053 edges, 311684 markings/sec, 210 secs
lola: 76023593 markings, 125307752 edges, 297476 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA 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 1496337028741

--------------------
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="S_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/S_Angiogenesis-PT-50.tgz
mv S_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 S_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 r088-csrt-149441074100146"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;