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-25, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-csrt-149436125900137
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494598552385


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Angiogenesis-PT-25 @ 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-25-UpperBounds.task
lola: MAX(PtP3P2) : MAX(KdStarGStarP3kStarP3) : MAX(PtP3P2) : MAX(KdStarGStarPgStarP3) : MAX(KdStar) : MAX(KdStarGStarPg) : MAX(KdStarGStarP3kStarP2) : MAX(KdStarGStarPgStarP3) : MAX(KdStarGStarPgStarP3P2) : MAX(KdStarGStar) : MAX(AktP3) : MAX(Pten) : MAX(AktStar) : MAX(GStarP3) : MAX(KdStarGStarP3) : MAX(KdStarGStarP3kStarP3)
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(PtP3P2)
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: 1509301 markings, 2955714 edges, 301860 markings/sec, 0 secs
lola: 2932833 markings, 5808433 edges, 284706 markings/sec, 5 secs
lola: 4261217 markings, 8525476 edges, 265677 markings/sec, 10 secs
lola: 5606977 markings, 11243312 edges, 269152 markings/sec, 15 secs
lola: 6849726 markings, 13792155 edges, 248550 markings/sec, 20 secs
lola: 8124020 markings, 16374016 edges, 254859 markings/sec, 25 secs
lola: 9452460 markings, 19091655 edges, 265688 markings/sec, 30 secs
lola: 10740162 markings, 21764025 edges, 257540 markings/sec, 35 secs
lola: 12043962 markings, 24425297 edges, 260760 markings/sec, 40 secs
lola: 13363604 markings, 27135165 edges, 263928 markings/sec, 45 secs
lola: 14580441 markings, 29673225 edges, 243367 markings/sec, 50 secs
lola: 15768495 markings, 32149586 edges, 237611 markings/sec, 55 secs
lola: 16950030 markings, 34600016 edges, 236307 markings/sec, 60 secs
lola: 18083050 markings, 36948141 edges, 226604 markings/sec, 65 secs
lola: 19212169 markings, 39276001 edges, 225824 markings/sec, 70 secs
lola: 20351755 markings, 41626234 edges, 227917 markings/sec, 75 secs
lola: 21436539 markings, 43895535 edges, 216957 markings/sec, 80 secs
lola: 22589266 markings, 46286361 edges, 230545 markings/sec, 85 secs
lola: 23724531 markings, 48643954 edges, 227053 markings/sec, 90 secs
lola: 24886922 markings, 51055523 edges, 232478 markings/sec, 95 secs
lola: 26037840 markings, 53450071 edges, 230184 markings/sec, 100 secs
lola: 27177598 markings, 55822725 edges, 227952 markings/sec, 105 secs
lola: 28384788 markings, 58306420 edges, 241438 markings/sec, 110 secs
lola: 29565076 markings, 60762296 edges, 236058 markings/sec, 115 secs
lola: 30659150 markings, 63063281 edges, 218815 markings/sec, 120 secs
lola: 31808670 markings, 65445756 edges, 229904 markings/sec, 125 secs
lola: 32956180 markings, 67825837 edges, 229502 markings/sec, 130 secs
lola: 34097159 markings, 70222808 edges, 228196 markings/sec, 135 secs
lola: 35213355 markings, 72589323 edges, 223239 markings/sec, 140 secs
lola: 36366337 markings, 75004164 edges, 230596 markings/sec, 145 secs
lola: 37520840 markings, 77420908 edges, 230901 markings/sec, 150 secs
lola: 38697479 markings, 79868661 edges, 235328 markings/sec, 155 secs
lola: 39890328 markings, 82341651 edges, 238570 markings/sec, 160 secs
lola: 41076240 markings, 84798787 edges, 237182 markings/sec, 165 secs
lola: 42226567 markings, 87213296 edges, 230065 markings/sec, 170 secs
lola: 43448891 markings, 89780539 edges, 244465 markings/sec, 175 secs
lola: 44638881 markings, 92287057 edges, 237998 markings/sec, 180 secs
lola: 45842727 markings, 94810303 edges, 240769 markings/sec, 185 secs
lola: 47043694 markings, 97328043 edges, 240193 markings/sec, 190 secs
lola: 48214194 markings, 99802326 edges, 234100 markings/sec, 195 secs
lola: 49386240 markings, 102261188 edges, 234409 markings/sec, 200 secs
lola: 50520723 markings, 104646343 edges, 226897 markings/sec, 205 secs
lola: 51673685 markings, 107051469 edges, 230592 markings/sec, 210 secs
lola: 52872059 markings, 109556905 edges, 239675 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(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: 1652242 markings, 3428452 edges, 330448 markings/sec, 0 secs
lola: 3203352 markings, 6707861 edges, 310222 markings/sec, 5 secs
lola: 4683220 markings, 9888550 edges, 295974 markings/sec, 10 secs
lola: 6209968 markings, 13150433 edges, 305350 markings/sec, 15 secs
lola: 7705508 markings, 16383207 edges, 299108 markings/sec, 20 secs
lola: 9062181 markings, 19317140 edges, 271335 markings/sec, 25 secs
lola: 10479586 markings, 22387823 edges, 283481 markings/sec, 30 secs
lola: 11949487 markings, 25592443 edges, 293980 markings/sec, 35 secs
lola: 13392487 markings, 28740412 edges, 288600 markings/sec, 40 secs
lola: 14809122 markings, 31847025 edges, 283327 markings/sec, 45 secs
lola: 16195665 markings, 34893034 edges, 277309 markings/sec, 50 secs
lola: 17604589 markings, 37988164 edges, 281785 markings/sec, 55 secs
lola: 18865684 markings, 40760715 edges, 252219 markings/sec, 60 secs
lola: 20182057 markings, 43660400 edges, 263275 markings/sec, 65 secs
lola: 21466169 markings, 46488020 edges, 256822 markings/sec, 70 secs
lola: 22734926 markings, 49294676 edges, 253751 markings/sec, 75 secs
lola: 24012349 markings, 52126629 edges, 255485 markings/sec, 80 secs
lola: 25356868 markings, 55086420 edges, 268904 markings/sec, 85 secs
lola: 26713052 markings, 58076626 edges, 271237 markings/sec, 90 secs
lola: 28086777 markings, 61107667 edges, 274745 markings/sec, 95 secs
lola: 29428485 markings, 64079185 edges, 268342 markings/sec, 100 secs
lola: 30779880 markings, 67071567 edges, 270279 markings/sec, 105 secs
lola: 32115878 markings, 70045596 edges, 267200 markings/sec, 110 secs
lola: 33434171 markings, 72980721 edges, 263659 markings/sec, 115 secs
lola: 34733712 markings, 75876395 edges, 259908 markings/sec, 120 secs
lola: 36032937 markings, 78770340 edges, 259845 markings/sec, 125 secs
lola: 37315061 markings, 81644186 edges, 256425 markings/sec, 130 secs
lola: 38630846 markings, 84586781 edges, 263157 markings/sec, 135 secs
lola: 39978510 markings, 87585351 edges, 269533 markings/sec, 140 secs
lola: 41315518 markings, 90576861 edges, 267402 markings/sec, 145 secs
lola: 42584461 markings, 93402157 edges, 253789 markings/sec, 150 secs
lola: 43807995 markings, 96133144 edges, 244707 markings/sec, 155 secs
lola: 45075993 markings, 98956807 edges, 253600 markings/sec, 160 secs
lola: 46281269 markings, 101663507 edges, 241055 markings/sec, 165 secs
lola: 47476136 markings, 104342236 edges, 238973 markings/sec, 170 secs
lola: 48681752 markings, 107026402 edges, 241123 markings/sec, 175 secs
lola: 49875266 markings, 109691987 edges, 238703 markings/sec, 180 secs
lola: 51071882 markings, 112365525 edges, 239323 markings/sec, 185 secs
lola: 52341633 markings, 115211979 edges, 253950 markings/sec, 190 secs
lola: 53568857 markings, 117968782 edges, 245445 markings/sec, 195 secs
lola: 54762920 markings, 120647580 edges, 238813 markings/sec, 200 secs
lola: 55948206 markings, 123310560 edges, 237057 markings/sec, 205 secs
lola: 57119524 markings, 125951424 edges, 234264 markings/sec, 210 secs
lola: 58294541 markings, 128610005 edges, 235003 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(PtP3P2)
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: 1795395 markings, 3526628 edges, 359079 markings/sec, 0 secs
lola: 3364034 markings, 6695643 edges, 313728 markings/sec, 5 secs
lola: 4855856 markings, 9720067 edges, 298364 markings/sec, 10 secs
lola: 6217726 markings, 12495247 edges, 272374 markings/sec, 15 secs
lola: 7567833 markings, 15239340 edges, 270021 markings/sec, 20 secs
lola: 8892115 markings, 17942390 edges, 264856 markings/sec, 25 secs
lola: 10241630 markings, 20719196 edges, 269903 markings/sec, 30 secs
lola: 11539846 markings, 23398564 edges, 259643 markings/sec, 35 secs
lola: 12856714 markings, 26084517 edges, 263374 markings/sec, 40 secs
lola: 14112892 markings, 28687623 edges, 251236 markings/sec, 45 secs
lola: 15340969 markings, 31247540 edges, 245615 markings/sec, 50 secs
lola: 16561284 markings, 33794319 edges, 244063 markings/sec, 55 secs
lola: 17802337 markings, 36365079 edges, 248211 markings/sec, 60 secs
lola: 19035150 markings, 38918587 edges, 246563 markings/sec, 65 secs
lola: 20307024 markings, 41540629 edges, 254375 markings/sec, 70 secs
lola: 21516093 markings, 44059950 edges, 241814 markings/sec, 75 secs
lola: 22730296 markings, 46578908 edges, 242841 markings/sec, 80 secs
lola: 23965020 markings, 49144779 edges, 246945 markings/sec, 85 secs
lola: 25210293 markings, 51731078 edges, 249055 markings/sec, 90 secs
lola: 26440489 markings, 54294340 edges, 246039 markings/sec, 95 secs
lola: 27676717 markings, 56844041 edges, 247246 markings/sec, 100 secs
lola: 28907842 markings, 59386233 edges, 246225 markings/sec, 105 secs
lola: 30073362 markings, 61839163 edges, 233104 markings/sec, 110 secs
lola: 31252326 markings, 64298802 edges, 235793 markings/sec, 115 secs
lola: 32483719 markings, 66858932 edges, 246279 markings/sec, 120 secs
lola: 33694968 markings, 69385340 edges, 242250 markings/sec, 125 secs
lola: 34883645 markings, 71894193 edges, 237735 markings/sec, 130 secs
lola: 36071449 markings, 74387084 edges, 237561 markings/sec, 135 secs
lola: 37255605 markings, 76873416 edges, 236831 markings/sec, 140 secs
lola: 38481535 markings, 79421413 edges, 245186 markings/sec, 145 secs
lola: 39728612 markings, 82001340 edges, 249415 markings/sec, 150 secs
lola: 40932073 markings, 84498304 edges, 240692 markings/sec, 155 secs
lola: 42086364 markings, 86916774 edges, 230858 markings/sec, 160 secs
lola: 43247588 markings, 89352028 edges, 232245 markings/sec, 165 secs
lola: 44365545 markings, 91708727 edges, 223591 markings/sec, 170 secs
lola: 45497996 markings, 94094807 edges, 226490 markings/sec, 175 secs
lola: 46668757 markings, 96526304 edges, 234152 markings/sec, 180 secs
lola: 47778396 markings, 98873400 edges, 221928 markings/sec, 185 secs
lola: 48899075 markings, 101239599 edges, 224136 markings/sec, 190 secs
lola: 50037639 markings, 103624356 edges, 227713 markings/sec, 195 secs
lola: 51178332 markings, 106018708 edges, 228139 markings/sec, 200 secs
lola: 52337557 markings, 108434818 edges, 231845 markings/sec, 205 secs
lola: 53466138 markings, 110809240 edges, 225716 markings/sec, 210 secs
lola: 54588668 markings, 113173531 edges, 224506 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(KdStarGStarPgStarP3)
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: 1830311 markings, 3254169 edges, 366062 markings/sec, 0 secs
lola: 3434535 markings, 6164875 edges, 320845 markings/sec, 5 secs
lola: 4956727 markings, 8964608 edges, 304438 markings/sec, 10 secs
lola: 6457086 markings, 11736325 edges, 300072 markings/sec, 15 secs
lola: 7926402 markings, 14468510 edges, 293863 markings/sec, 20 secs
lola: 9310025 markings, 17033492 edges, 276725 markings/sec, 25 secs
lola: 10649395 markings, 19541101 edges, 267874 markings/sec, 30 secs
lola: 11966865 markings, 21989370 edges, 263494 markings/sec, 35 secs
lola: 13273485 markings, 24450702 edges, 261324 markings/sec, 40 secs
lola: 14560480 markings, 26886606 edges, 257399 markings/sec, 45 secs
lola: 15898870 markings, 29489676 edges, 267678 markings/sec, 50 secs
lola: 17144375 markings, 32019366 edges, 249101 markings/sec, 55 secs
lola: 18344428 markings, 34455676 edges, 240011 markings/sec, 60 secs
lola: 19578500 markings, 36884790 edges, 246814 markings/sec, 65 secs
lola: 20757474 markings, 39288602 edges, 235795 markings/sec, 70 secs
lola: 21934606 markings, 41738523 edges, 235426 markings/sec, 75 secs
lola: 23066754 markings, 44064549 edges, 226430 markings/sec, 80 secs
lola: 24180472 markings, 46373718 edges, 222744 markings/sec, 85 secs
lola: 25392505 markings, 48744383 edges, 242407 markings/sec, 90 secs
lola: 26570765 markings, 51182823 edges, 235652 markings/sec, 95 secs
lola: 27698973 markings, 53608086 edges, 225642 markings/sec, 100 secs
lola: 28895440 markings, 56052390 edges, 239293 markings/sec, 105 secs
lola: 29981318 markings, 58431637 edges, 217176 markings/sec, 110 secs
lola: 31134652 markings, 60750986 edges, 230667 markings/sec, 115 secs
lola: 32173863 markings, 62980753 edges, 207842 markings/sec, 120 secs
lola: 33253524 markings, 65211117 edges, 215932 markings/sec, 125 secs
lola: 34335018 markings, 67440382 edges, 216299 markings/sec, 130 secs
lola: 35370270 markings, 69599793 edges, 207050 markings/sec, 135 secs
lola: 36365300 markings, 71757919 edges, 199006 markings/sec, 140 secs
lola: 37303766 markings, 73875636 edges, 187693 markings/sec, 145 secs
lola: 38264518 markings, 75990992 edges, 192150 markings/sec, 150 secs
lola: 39184208 markings, 78091614 edges, 183938 markings/sec, 155 secs
lola: 40122221 markings, 80215678 edges, 187603 markings/sec, 160 secs
lola: 41192017 markings, 82392454 edges, 213959 markings/sec, 165 secs
lola: 42122987 markings, 84454288 edges, 186194 markings/sec, 170 secs
lola: 43060667 markings, 86515641 edges, 187536 markings/sec, 175 secs
lola: 44045344 markings, 88629841 edges, 196935 markings/sec, 180 secs
lola: 45175068 markings, 90878427 edges, 225945 markings/sec, 185 secs
lola: 46127926 markings, 92932442 edges, 190572 markings/sec, 190 secs
lola: 47011011 markings, 94925522 edges, 176617 markings/sec, 195 secs
lola: 48018238 markings, 97036299 edges, 201445 markings/sec, 200 secs
lola: 48894103 markings, 99066331 edges, 175173 markings/sec, 205 secs
lola: 49781304 markings, 101098331 edges, 177440 markings/sec, 210 secs
lola: 50856979 markings, 103300240 edges, 215135 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(KdStar)
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: 1670050 markings, 3175246 edges, 334010 markings/sec, 0 secs
lola: 3117049 markings, 6054744 edges, 289400 markings/sec, 5 secs
lola: 4458592 markings, 8789536 edges, 268309 markings/sec, 10 secs
lola: 5728999 markings, 11422734 edges, 254081 markings/sec, 15 secs
lola: 7009427 markings, 14076426 edges, 256086 markings/sec, 20 secs
lola: 8210870 markings, 16621629 edges, 240289 markings/sec, 25 secs
lola: 9416212 markings, 19149014 edges, 241068 markings/sec, 30 secs
lola: 10591404 markings, 21638922 edges, 235038 markings/sec, 35 secs
lola: 11774033 markings, 24155336 edges, 236526 markings/sec, 40 secs
lola: 12941899 markings, 26676252 edges, 233573 markings/sec, 45 secs
lola: 14111543 markings, 29182656 edges, 233929 markings/sec, 50 secs
lola: 15220525 markings, 31618830 edges, 221796 markings/sec, 55 secs
lola: 16287378 markings, 33980521 edges, 213371 markings/sec, 60 secs
lola: 17417727 markings, 36390725 edges, 226070 markings/sec, 65 secs
lola: 18504652 markings, 38752557 edges, 217385 markings/sec, 70 secs
lola: 19626772 markings, 41148805 edges, 224424 markings/sec, 75 secs
lola: 20707716 markings, 43539589 edges, 216189 markings/sec, 80 secs
lola: 21784192 markings, 45899640 edges, 215295 markings/sec, 85 secs
lola: 22851516 markings, 48263190 edges, 213465 markings/sec, 90 secs
lola: 23916309 markings, 50606279 edges, 212959 markings/sec, 95 secs
lola: 24991794 markings, 52971061 edges, 215097 markings/sec, 100 secs
lola: 26030365 markings, 55268289 edges, 207714 markings/sec, 105 secs
lola: 27041600 markings, 57530624 edges, 202247 markings/sec, 110 secs
lola: 28082571 markings, 59823572 edges, 208194 markings/sec, 115 secs
lola: 29121722 markings, 62131337 edges, 207830 markings/sec, 120 secs
lola: 30171834 markings, 64445808 edges, 210022 markings/sec, 125 secs
lola: 31194799 markings, 66721756 edges, 204593 markings/sec, 130 secs
lola: 32161937 markings, 68915251 edges, 193428 markings/sec, 135 secs
lola: 33175231 markings, 71164841 edges, 202659 markings/sec, 140 secs
lola: 34200828 markings, 73465246 edges, 205119 markings/sec, 145 secs
lola: 35242560 markings, 75759204 edges, 208346 markings/sec, 150 secs
lola: 36240535 markings, 78003277 edges, 199595 markings/sec, 155 secs
lola: 37268828 markings, 80290423 edges, 205659 markings/sec, 160 secs
lola: 38269270 markings, 82549998 edges, 200088 markings/sec, 165 secs
lola: 39216671 markings, 84731505 edges, 189480 markings/sec, 170 secs
lola: 40278420 markings, 87066891 edges, 212350 markings/sec, 175 secs
lola: 41307368 markings, 89380364 edges, 205790 markings/sec, 180 secs
lola: 42323434 markings, 91632134 edges, 203213 markings/sec, 185 secs
lola: 43362895 markings, 93934366 edges, 207892 markings/sec, 190 secs
lola: 44329744 markings, 96145021 edges, 193370 markings/sec, 195 secs
lola: 45318453 markings, 98383394 edges, 197742 markings/sec, 200 secs
lola: 46275281 markings, 100550248 edges, 191366 markings/sec, 205 secs
lola: 47209009 markings, 102686416 edges, 186746 markings/sec, 210 secs
lola: 48136095 markings, 104822504 edges, 185417 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(KdStarGStarPg)
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: 1945777 markings, 3547963 edges, 389155 markings/sec, 0 secs
lola: 3491389 markings, 6634640 edges, 309122 markings/sec, 5 secs
lola: 4984323 markings, 9619088 edges, 298587 markings/sec, 10 secs
lola: 6373153 markings, 12411687 edges, 277766 markings/sec, 15 secs
lola: 7713850 markings, 15159394 edges, 268139 markings/sec, 20 secs
lola: 9095631 markings, 17937623 edges, 276356 markings/sec, 25 secs
lola: 10378305 markings, 20594945 edges, 256535 markings/sec, 30 secs
lola: 11743452 markings, 23337875 edges, 273029 markings/sec, 35 secs
lola: 12982835 markings, 25918348 edges, 247877 markings/sec, 40 secs
lola: 14241425 markings, 28562509 edges, 251718 markings/sec, 45 secs
lola: 15430883 markings, 31075796 edges, 237892 markings/sec, 50 secs
lola: 16644852 markings, 33603491 edges, 242794 markings/sec, 55 secs
lola: 17807829 markings, 36056712 edges, 232595 markings/sec, 60 secs
lola: 18985368 markings, 38524207 edges, 235508 markings/sec, 65 secs
lola: 20176585 markings, 41014114 edges, 238243 markings/sec, 70 secs
lola: 21350313 markings, 43477909 edges, 234746 markings/sec, 75 secs
lola: 22472312 markings, 45865181 edges, 224400 markings/sec, 80 secs
lola: 23605292 markings, 48261880 edges, 226596 markings/sec, 85 secs
lola: 24730055 markings, 50657344 edges, 224953 markings/sec, 90 secs
lola: 25907115 markings, 53105103 edges, 235412 markings/sec, 95 secs
lola: 27046419 markings, 55503832 edges, 227861 markings/sec, 100 secs
lola: 28142523 markings, 57857194 edges, 219221 markings/sec, 105 secs
lola: 29257479 markings, 60222297 edges, 222991 markings/sec, 110 secs
lola: 30410123 markings, 62653093 edges, 230529 markings/sec, 115 secs
lola: 31532823 markings, 65062083 edges, 224540 markings/sec, 120 secs
lola: 32646222 markings, 67455294 edges, 222680 markings/sec, 125 secs
lola: 33779314 markings, 69879153 edges, 226618 markings/sec, 130 secs
lola: 34925453 markings, 72302100 edges, 229228 markings/sec, 135 secs
lola: 35991956 markings, 74577535 edges, 213301 markings/sec, 140 secs
lola: 37030177 markings, 76835085 edges, 207644 markings/sec, 145 secs
lola: 38141350 markings, 79218479 edges, 222235 markings/sec, 150 secs
lola: 39215270 markings, 81548133 edges, 214784 markings/sec, 155 secs
lola: 40342288 markings, 83954452 edges, 225404 markings/sec, 160 secs
lola: 41397840 markings, 86235508 edges, 211110 markings/sec, 165 secs
lola: 42434273 markings, 88496588 edges, 207287 markings/sec, 170 secs
lola: 43481633 markings, 90752933 edges, 209472 markings/sec, 175 secs
lola: 44583620 markings, 93111232 edges, 220397 markings/sec, 180 secs
lola: 45732327 markings, 95535021 edges, 229741 markings/sec, 185 secs
lola: 46799735 markings, 97870735 edges, 213482 markings/sec, 190 secs
lola: 47891802 markings, 100226759 edges, 218413 markings/sec, 195 secs
lola: 49011368 markings, 102644884 edges, 223913 markings/sec, 200 secs
lola: 50128055 markings, 105054966 edges, 223337 markings/sec, 205 secs
lola: 51201172 markings, 107414086 edges, 214623 markings/sec, 210 secs
lola: 52281840 markings, 109776599 edges, 216134 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(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: 1907999 markings, 3398252 edges, 381600 markings/sec, 0 secs
lola: 3567717 markings, 6432024 edges, 331944 markings/sec, 5 secs
lola: 5117239 markings, 9317160 edges, 309904 markings/sec, 10 secs
lola: 6604633 markings, 12102159 edges, 297479 markings/sec, 15 secs
lola: 8049238 markings, 14826379 edges, 288921 markings/sec, 20 secs
lola: 9482065 markings, 17536137 edges, 286565 markings/sec, 25 secs
lola: 10881145 markings, 20192230 edges, 279816 markings/sec, 30 secs
lola: 12251283 markings, 22809460 edges, 274028 markings/sec, 35 secs
lola: 13596131 markings, 25374794 edges, 268970 markings/sec, 40 secs
lola: 14928060 markings, 27925643 edges, 266386 markings/sec, 45 secs
lola: 16280294 markings, 30496171 edges, 270447 markings/sec, 50 secs
lola: 17568421 markings, 32979884 edges, 257625 markings/sec, 55 secs
lola: 18878480 markings, 35487605 edges, 262012 markings/sec, 60 secs
lola: 20174610 markings, 37977957 edges, 259226 markings/sec, 65 secs
lola: 21414675 markings, 40393625 edges, 248013 markings/sec, 70 secs
lola: 22670390 markings, 42817396 edges, 251143 markings/sec, 75 secs
lola: 23910527 markings, 45223201 edges, 248027 markings/sec, 80 secs
lola: 25138190 markings, 47614278 edges, 245533 markings/sec, 85 secs
lola: 26385583 markings, 50024950 edges, 249479 markings/sec, 90 secs
lola: 27630252 markings, 52428287 edges, 248934 markings/sec, 95 secs
lola: 28827758 markings, 54765444 edges, 239501 markings/sec, 100 secs
lola: 30038452 markings, 57118064 edges, 242139 markings/sec, 105 secs
lola: 31260778 markings, 59503844 edges, 244465 markings/sec, 110 secs
lola: 32478137 markings, 61875833 edges, 243472 markings/sec, 115 secs
lola: 33675317 markings, 64217242 edges, 239436 markings/sec, 120 secs
lola: 34889711 markings, 66577913 edges, 242879 markings/sec, 125 secs
lola: 36075033 markings, 68900947 edges, 237064 markings/sec, 130 secs
lola: 37240223 markings, 71198954 edges, 233038 markings/sec, 135 secs
lola: 38424577 markings, 73509277 edges, 236871 markings/sec, 140 secs
lola: 39612226 markings, 75831077 edges, 237530 markings/sec, 145 secs
lola: 40788725 markings, 78134792 edges, 235300 markings/sec, 150 secs
lola: 41921366 markings, 80379785 edges, 226528 markings/sec, 155 secs
lola: 43059251 markings, 82625525 edges, 227577 markings/sec, 160 secs
lola: 44230451 markings, 84909682 edges, 234240 markings/sec, 165 secs
lola: 45362515 markings, 87141961 edges, 226413 markings/sec, 170 secs
lola: 46495953 markings, 89362896 edges, 226688 markings/sec, 175 secs
lola: 47650606 markings, 91609298 edges, 230931 markings/sec, 180 secs
lola: 48781944 markings, 93843415 edges, 226268 markings/sec, 185 secs
lola: 49905878 markings, 96033818 edges, 224787 markings/sec, 190 secs
lola: 50986649 markings, 98184547 edges, 216154 markings/sec, 195 secs
lola: 52094717 markings, 100359681 edges, 221614 markings/sec, 200 secs
lola: 53160322 markings, 102462422 edges, 213121 markings/sec, 205 secs
lola: 54276069 markings, 104653260 edges, 223149 markings/sec, 210 secs
lola: 55351256 markings, 106814594 edges, 215037 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(KdStarGStarPgStarP3)
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: 2039655 markings, 3632330 edges, 407931 markings/sec, 0 secs
lola: 3833244 markings, 6898564 edges, 358718 markings/sec, 5 secs
lola: 5515113 markings, 9992770 edges, 336374 markings/sec, 10 secs
lola: 7138715 markings, 13005733 edges, 324720 markings/sec, 15 secs
lola: 8705635 markings, 15915943 edges, 313384 markings/sec, 20 secs
lola: 10231298 markings, 18766814 edges, 305133 markings/sec, 25 secs
lola: 11747376 markings, 21584616 edges, 303216 markings/sec, 30 secs
lola: 13157158 markings, 24233148 edges, 281956 markings/sec, 35 secs
lola: 14483009 markings, 26737597 edges, 265170 markings/sec, 40 secs
lola: 15852751 markings, 29395188 edges, 273948 markings/sec, 45 secs
lola: 17166460 markings, 32069703 edges, 262742 markings/sec, 50 secs
lola: 18483931 markings, 34755586 edges, 263494 markings/sec, 55 secs
lola: 19838162 markings, 37403295 edges, 270846 markings/sec, 60 secs
lola: 21073090 markings, 39963769 edges, 246986 markings/sec, 65 secs
lola: 22256794 markings, 42389771 edges, 236741 markings/sec, 70 secs
lola: 23362229 markings, 44720116 edges, 221087 markings/sec, 75 secs
lola: 24527544 markings, 47046650 edges, 233063 markings/sec, 80 secs
lola: 25698829 markings, 49416580 edges, 234257 markings/sec, 85 secs
lola: 26882392 markings, 51836025 edges, 236713 markings/sec, 90 secs
lola: 28016438 markings, 54246211 edges, 226809 markings/sec, 95 secs
lola: 29192840 markings, 56705121 edges, 235280 markings/sec, 100 secs
lola: 30354382 markings, 59173787 edges, 232308 markings/sec, 105 secs
lola: 31561045 markings, 61662409 edges, 241333 markings/sec, 110 secs
lola: 32706029 markings, 64087820 edges, 228997 markings/sec, 115 secs
lola: 33907913 markings, 66550344 edges, 240377 markings/sec, 120 secs
lola: 35059419 markings, 68957060 edges, 230301 markings/sec, 125 secs
lola: 36178086 markings, 71348064 edges, 223733 markings/sec, 130 secs
lola: 37188662 markings, 73613544 edges, 202115 markings/sec, 135 secs
lola: 38124563 markings, 75702819 edges, 187180 markings/sec, 140 secs
lola: 39096037 markings, 77898443 edges, 194295 markings/sec, 145 secs
lola: 40038250 markings, 80032111 edges, 188443 markings/sec, 150 secs
lola: 41124669 markings, 82250266 edges, 217284 markings/sec, 155 secs
lola: 42160395 markings, 84536265 edges, 207145 markings/sec, 160 secs
lola: 43234043 markings, 86861441 edges, 214730 markings/sec, 165 secs
lola: 44353155 markings, 89241264 edges, 223822 markings/sec, 170 secs
lola: 45502444 markings, 91622973 edges, 229858 markings/sec, 175 secs
lola: 46554401 markings, 93877284 edges, 210391 markings/sec, 180 secs
lola: 47572059 markings, 96113437 edges, 203532 markings/sec, 185 secs
lola: 48572253 markings, 98320386 edges, 200039 markings/sec, 190 secs
lola: 49500671 markings, 100511625 edges, 185684 markings/sec, 195 secs
lola: 50665723 markings, 102861155 edges, 233010 markings/sec, 200 secs
lola: 51693668 markings, 105092397 edges, 205589 markings/sec, 205 secs
lola: 52661453 markings, 107296486 edges, 193557 markings/sec, 210 secs
lola: 53737437 markings, 109608587 edges, 215197 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(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: 1817708 markings, 3674355 edges, 363542 markings/sec, 0 secs
lola: 3341289 markings, 6909372 edges, 304716 markings/sec, 5 secs
lola: 4764464 markings, 9987017 edges, 284635 markings/sec, 10 secs
lola: 6112217 markings, 12955407 edges, 269551 markings/sec, 15 secs
lola: 7412206 markings, 15828020 edges, 259998 markings/sec, 20 secs
lola: 8692393 markings, 18671465 edges, 256037 markings/sec, 25 secs
lola: 9905967 markings, 21392805 edges, 242715 markings/sec, 30 secs
lola: 11104524 markings, 24088620 edges, 239711 markings/sec, 35 secs
lola: 12270990 markings, 26715891 edges, 233293 markings/sec, 40 secs
lola: 13421382 markings, 29306800 edges, 230078 markings/sec, 45 secs
lola: 14559012 markings, 31878605 edges, 227526 markings/sec, 50 secs
lola: 15689090 markings, 34445135 edges, 226016 markings/sec, 55 secs
lola: 16822314 markings, 37023557 edges, 226645 markings/sec, 60 secs
lola: 17939915 markings, 39575401 edges, 223520 markings/sec, 65 secs
lola: 19040357 markings, 42096793 edges, 220088 markings/sec, 70 secs
lola: 20126807 markings, 44590614 edges, 217290 markings/sec, 75 secs
lola: 21219992 markings, 47096718 edges, 218637 markings/sec, 80 secs
lola: 22293265 markings, 49574315 edges, 214655 markings/sec, 85 secs
lola: 23354837 markings, 52027031 edges, 212314 markings/sec, 90 secs
lola: 24405775 markings, 54464894 edges, 210188 markings/sec, 95 secs
lola: 25450200 markings, 56885918 edges, 208885 markings/sec, 100 secs
lola: 26446156 markings, 59193303 edges, 199191 markings/sec, 105 secs
lola: 27477252 markings, 61589904 edges, 206219 markings/sec, 110 secs
lola: 28482369 markings, 63934370 edges, 201023 markings/sec, 115 secs
lola: 29480816 markings, 66266470 edges, 199689 markings/sec, 120 secs
lola: 30481644 markings, 68617288 edges, 200166 markings/sec, 125 secs
lola: 31498820 markings, 70996598 edges, 203435 markings/sec, 130 secs
lola: 32516564 markings, 73363187 edges, 203549 markings/sec, 135 secs
lola: 33517333 markings, 75708597 edges, 200154 markings/sec, 140 secs
lola: 34509737 markings, 78031140 edges, 198481 markings/sec, 145 secs
lola: 35501791 markings, 80357158 edges, 198411 markings/sec, 150 secs
lola: 36477799 markings, 82662232 edges, 195202 markings/sec, 155 secs
lola: 37462334 markings, 84974609 edges, 196907 markings/sec, 160 secs
lola: 38446838 markings, 87285991 edges, 196901 markings/sec, 165 secs
lola: 39411837 markings, 89575066 edges, 193000 markings/sec, 170 secs
lola: 40373696 markings, 91853755 edges, 192372 markings/sec, 175 secs
lola: 41336597 markings, 94133534 edges, 192580 markings/sec, 180 secs
lola: 42301173 markings, 96417172 edges, 192915 markings/sec, 185 secs
lola: 43260165 markings, 98698210 edges, 191798 markings/sec, 190 secs
lola: 44209480 markings, 100961916 edges, 189863 markings/sec, 195 secs
lola: 45166575 markings, 103222414 edges, 191419 markings/sec, 200 secs
lola: 46113953 markings, 105471825 edges, 189476 markings/sec, 205 secs
lola: 47059088 markings, 107707893 edges, 189027 markings/sec, 210 secs
lola: 48002443 markings, 109936958 edges, 188671 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(KdStarGStar)
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: 1908450 markings, 3715801 edges, 381690 markings/sec, 0 secs
lola: 3661854 markings, 7283717 edges, 350681 markings/sec, 5 secs
lola: 5338755 markings, 10735112 edges, 335380 markings/sec, 10 secs
lola: 6950982 markings, 14095265 edges, 322445 markings/sec, 15 secs
lola: 8516949 markings, 17397115 edges, 313193 markings/sec, 20 secs
lola: 10078198 markings, 20677081 edges, 312250 markings/sec, 25 secs
lola: 11588705 markings, 23883299 edges, 302101 markings/sec, 30 secs
lola: 13055870 markings, 27023162 edges, 293433 markings/sec, 35 secs
lola: 14486501 markings, 30090906 edges, 286126 markings/sec, 40 secs
lola: 15934102 markings, 33162741 edges, 289520 markings/sec, 45 secs
lola: 17371886 markings, 36229134 edges, 287557 markings/sec, 50 secs
lola: 18785837 markings, 39257735 edges, 282790 markings/sec, 55 secs
lola: 20196947 markings, 42278020 edges, 282222 markings/sec, 60 secs
lola: 21569187 markings, 45259040 edges, 274448 markings/sec, 65 secs
lola: 22967790 markings, 48263094 edges, 279721 markings/sec, 70 secs
lola: 24327445 markings, 51214209 edges, 271931 markings/sec, 75 secs
lola: 25696313 markings, 54179670 edges, 273774 markings/sec, 80 secs
lola: 27055113 markings, 57128370 edges, 271760 markings/sec, 85 secs
lola: 28399293 markings, 60048509 edges, 268836 markings/sec, 90 secs
lola: 29744800 markings, 62982091 edges, 269101 markings/sec, 95 secs
lola: 31086959 markings, 65908133 edges, 268432 markings/sec, 100 secs
lola: 32414118 markings, 68817475 edges, 265432 markings/sec, 105 secs
lola: 33737942 markings, 71714609 edges, 264765 markings/sec, 110 secs
lola: 35065128 markings, 74623162 edges, 265437 markings/sec, 115 secs
lola: 36400017 markings, 77522396 edges, 266978 markings/sec, 120 secs
lola: 37710580 markings, 80389929 edges, 262113 markings/sec, 125 secs
lola: 39012462 markings, 83254410 edges, 260376 markings/sec, 130 secs
lola: 40303297 markings, 86108608 edges, 258167 markings/sec, 135 secs
lola: 41597152 markings, 88958798 edges, 258771 markings/sec, 140 secs
lola: 42900340 markings, 91822020 edges, 260638 markings/sec, 145 secs
lola: 44201855 markings, 94683886 edges, 260303 markings/sec, 150 secs
lola: 45472398 markings, 97502743 edges, 254109 markings/sec, 155 secs
lola: 46741351 markings, 100317878 edges, 253791 markings/sec, 160 secs
lola: 48022178 markings, 103147207 edges, 256165 markings/sec, 165 secs
lola: 49306085 markings, 105979992 edges, 256781 markings/sec, 170 secs
lola: 50573117 markings, 108798250 edges, 253406 markings/sec, 175 secs
lola: 51832063 markings, 111590871 edges, 251789 markings/sec, 180 secs
lola: 53087267 markings, 114380905 edges, 251041 markings/sec, 185 secs
lola: 54336626 markings, 117162951 edges, 249872 markings/sec, 190 secs
lola: 55596850 markings, 119964620 edges, 252045 markings/sec, 195 secs
lola: 56825986 markings, 122716623 edges, 245827 markings/sec, 200 secs
lola: 58058051 markings, 125473683 edges, 246413 markings/sec, 205 secs
lola: 59288617 markings, 128218091 edges, 246113 markings/sec, 210 secs
lola: 60527394 markings, 130978760 edges, 247755 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(AktP3)
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: 2039282 markings, 3525624 edges, 407856 markings/sec, 0 secs
lola: 3775735 markings, 6586875 edges, 347291 markings/sec, 5 secs
lola: 5373455 markings, 9460037 edges, 319544 markings/sec, 10 secs
lola: 7004277 markings, 12409918 edges, 326164 markings/sec, 15 secs
lola: 8568281 markings, 15231749 edges, 312801 markings/sec, 20 secs
lola: 10070291 markings, 17953450 edges, 300402 markings/sec, 25 secs
lola: 11520031 markings, 20598938 edges, 289948 markings/sec, 30 secs
lola: 12990866 markings, 23284135 edges, 294167 markings/sec, 35 secs
lola: 14432707 markings, 25916498 edges, 288368 markings/sec, 40 secs
lola: 15825963 markings, 28476598 edges, 278651 markings/sec, 45 secs
lola: 17277576 markings, 31140235 edges, 290323 markings/sec, 50 secs
lola: 18695290 markings, 33746344 edges, 283543 markings/sec, 55 secs
lola: 20083665 markings, 36284680 edges, 277675 markings/sec, 60 secs
lola: 21449074 markings, 38812770 edges, 273082 markings/sec, 65 secs
lola: 22878706 markings, 41449575 edges, 285926 markings/sec, 70 secs
lola: 24278783 markings, 44048980 edges, 280015 markings/sec, 75 secs
lola: 25626901 markings, 46527778 edges, 269624 markings/sec, 80 secs
lola: 27000999 markings, 49044804 edges, 274820 markings/sec, 85 secs
lola: 28309999 markings, 51470563 edges, 261800 markings/sec, 90 secs
lola: 29623273 markings, 53899154 edges, 262655 markings/sec, 95 secs
lola: 30967815 markings, 56376252 edges, 268908 markings/sec, 100 secs
lola: 32407841 markings, 59033934 edges, 288005 markings/sec, 105 secs
lola: 33817245 markings, 61647276 edges, 281881 markings/sec, 110 secs
lola: 35222066 markings, 64250497 edges, 280964 markings/sec, 115 secs
lola: 36624113 markings, 66853584 edges, 280409 markings/sec, 120 secs
lola: 38043677 markings, 69481191 edges, 283913 markings/sec, 125 secs
lola: 39467388 markings, 72107575 edges, 284742 markings/sec, 130 secs
lola: 40846477 markings, 74671195 edges, 275818 markings/sec, 135 secs
lola: 42216075 markings, 77216527 edges, 273920 markings/sec, 140 secs
lola: 43583058 markings, 79762524 edges, 273397 markings/sec, 145 secs
lola: 44961224 markings, 82313290 edges, 275633 markings/sec, 150 secs
lola: 46325866 markings, 84846508 edges, 272928 markings/sec, 155 secs
lola: 47656225 markings, 87349296 edges, 266072 markings/sec, 160 secs
lola: 49003938 markings, 89874360 edges, 269543 markings/sec, 165 secs
lola: 50343473 markings, 92381494 edges, 267907 markings/sec, 170 secs
lola: 51700632 markings, 94908791 edges, 271432 markings/sec, 175 secs
lola: 53040352 markings, 97403886 edges, 267944 markings/sec, 180 secs
lola: 54362584 markings, 99885123 edges, 264446 markings/sec, 185 secs
lola: 55779359 markings, 102506785 edges, 283355 markings/sec, 190 secs
lola: 57119480 markings, 105005193 edges, 268024 markings/sec, 195 secs
lola: 58448422 markings, 107494576 edges, 265788 markings/sec, 200 secs
lola: 59773400 markings, 109970755 edges, 264996 markings/sec, 205 secs
lola: 61108989 markings, 112457992 edges, 267118 markings/sec, 210 secs
lola: 62411576 markings, 114907106 edges, 260517 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(Pten)
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: 1803352 markings, 3815252 edges, 360670 markings/sec, 0 secs
lola: 3402694 markings, 7288533 edges, 319868 markings/sec, 5 secs
lola: 4951379 markings, 10657956 edges, 309737 markings/sec, 10 secs
lola: 6426423 markings, 13917690 edges, 295009 markings/sec, 15 secs
lola: 7851577 markings, 17080807 edges, 285031 markings/sec, 20 secs
lola: 9284698 markings, 20250100 edges, 286624 markings/sec, 25 secs
lola: 10667271 markings, 23330493 edges, 276515 markings/sec, 30 secs
lola: 12037893 markings, 26381700 edges, 274124 markings/sec, 35 secs
lola: 13401738 markings, 29431099 edges, 272769 markings/sec, 40 secs
lola: 14801154 markings, 32528283 edges, 279883 markings/sec, 45 secs
lola: 16138880 markings, 35522564 edges, 267545 markings/sec, 50 secs
lola: 17466104 markings, 38481654 edges, 265445 markings/sec, 55 secs
lola: 18789527 markings, 41439552 edges, 264685 markings/sec, 60 secs
lola: 20085687 markings, 44339267 edges, 259232 markings/sec, 65 secs
lola: 21382653 markings, 47250743 edges, 259393 markings/sec, 70 secs
lola: 22631546 markings, 50080633 edges, 249779 markings/sec, 75 secs
lola: 23846775 markings, 52832458 edges, 243046 markings/sec, 80 secs
lola: 25051814 markings, 55560848 edges, 241008 markings/sec, 85 secs
lola: 26262862 markings, 58299322 edges, 242210 markings/sec, 90 secs
lola: 27493082 markings, 61033094 edges, 246044 markings/sec, 95 secs
lola: 28590945 markings, 63519770 edges, 219573 markings/sec, 100 secs
lola: 29693455 markings, 66014770 edges, 220502 markings/sec, 105 secs
lola: 30904726 markings, 68738395 edges, 242254 markings/sec, 110 secs
lola: 32011849 markings, 71268291 edges, 221425 markings/sec, 115 secs
lola: 33156116 markings, 73859761 edges, 228853 markings/sec, 120 secs
lola: 34267609 markings, 76404108 edges, 222299 markings/sec, 125 secs
lola: 35375544 markings, 78938004 edges, 221587 markings/sec, 130 secs
lola: 36478470 markings, 81466166 edges, 220585 markings/sec, 135 secs
lola: 37570008 markings, 83981396 edges, 218308 markings/sec, 140 secs
lola: 38699478 markings, 86542208 edges, 225894 markings/sec, 145 secs
lola: 39818423 markings, 89088522 edges, 223789 markings/sec, 150 secs
lola: 40898571 markings, 91564008 edges, 216030 markings/sec, 155 secs
lola: 41978628 markings, 94035132 edges, 216011 markings/sec, 160 secs
lola: 43031780 markings, 96467101 edges, 210630 markings/sec, 165 secs
lola: 44137292 markings, 98985330 edges, 221102 markings/sec, 170 secs
lola: 45238494 markings, 101498059 edges, 220240 markings/sec, 175 secs
lola: 46347339 markings, 104045578 edges, 221769 markings/sec, 180 secs
lola: 47480285 markings, 106629579 edges, 226589 markings/sec, 185 secs
lola: 48598165 markings, 109195306 edges, 223576 markings/sec, 190 secs
lola: 49716357 markings, 111747893 edges, 223638 markings/sec, 195 secs
lola: 50777682 markings, 114208701 edges, 212265 markings/sec, 200 secs
lola: 51894284 markings, 116751330 edges, 223320 markings/sec, 205 secs
lola: 53022950 markings, 119332585 edges, 225733 markings/sec, 210 secs
lola: 54113641 markings, 121845233 edges, 218138 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(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: 2559473 markings, 4293654 edges, 511895 markings/sec, 0 secs
lola: 4718023 markings, 8024220 edges, 431710 markings/sec, 5 secs
lola: 6784721 markings, 11611581 edges, 413340 markings/sec, 10 secs
lola: 8686827 markings, 14964503 edges, 380421 markings/sec, 15 secs
lola: 10513368 markings, 18212494 edges, 365308 markings/sec, 20 secs
lola: 12341084 markings, 21452610 edges, 365543 markings/sec, 25 secs
lola: 14097451 markings, 24586235 edges, 351273 markings/sec, 30 secs
lola: 15824962 markings, 27678148 edges, 345502 markings/sec, 35 secs
lola: 17532425 markings, 30736795 edges, 341493 markings/sec, 40 secs
lola: 19233156 markings, 33792931 edges, 340146 markings/sec, 45 secs
lola: 20910047 markings, 36814762 edges, 335378 markings/sec, 50 secs
lola: 22529793 markings, 39751410 edges, 323949 markings/sec, 55 secs
lola: 24139961 markings, 42658865 edges, 322034 markings/sec, 60 secs
lola: 25732846 markings, 45541505 edges, 318577 markings/sec, 65 secs
lola: 27307764 markings, 48398284 edges, 314984 markings/sec, 70 secs
lola: 28880802 markings, 51236338 edges, 314608 markings/sec, 75 secs
lola: 30458984 markings, 54116571 edges, 315636 markings/sec, 80 secs
lola: 31974015 markings, 56868567 edges, 303006 markings/sec, 85 secs
lola: 33471379 markings, 59599638 edges, 299473 markings/sec, 90 secs
lola: 34973256 markings, 62334990 edges, 300375 markings/sec, 95 secs
lola: 36459317 markings, 65057500 edges, 297212 markings/sec, 100 secs
lola: 37951879 markings, 67779998 edges, 298512 markings/sec, 105 secs
lola: 39405992 markings, 70451544 edges, 290823 markings/sec, 110 secs
lola: 40903166 markings, 73182262 edges, 299435 markings/sec, 115 secs
lola: 42367926 markings, 75862871 edges, 292952 markings/sec, 120 secs
lola: 43837462 markings, 78544757 edges, 293907 markings/sec, 125 secs
lola: 45280573 markings, 81181385 edges, 288622 markings/sec, 130 secs
lola: 46716741 markings, 83820266 edges, 287234 markings/sec, 135 secs
lola: 48142053 markings, 86445839 edges, 285062 markings/sec, 140 secs
lola: 49560285 markings, 89054259 edges, 283646 markings/sec, 145 secs
lola: 50967587 markings, 91645435 edges, 281460 markings/sec, 150 secs
lola: 52417905 markings, 94308203 edges, 290064 markings/sec, 155 secs
lola: 53853913 markings, 96940954 edges, 287202 markings/sec, 160 secs
lola: 55307999 markings, 99601671 edges, 290817 markings/sec, 165 secs
lola: 56705648 markings, 102182986 edges, 279530 markings/sec, 170 secs
lola: 58086059 markings, 104745144 edges, 276082 markings/sec, 175 secs
lola: 59486085 markings, 107333033 edges, 280005 markings/sec, 180 secs
lola: 60887855 markings, 109919584 edges, 280354 markings/sec, 185 secs
lola: 62268664 markings, 112476261 edges, 276162 markings/sec, 190 secs
lola: 63690224 markings, 115088668 edges, 284312 markings/sec, 195 secs
lola: 65049965 markings, 117609676 edges, 271948 markings/sec, 200 secs
lola: 66405810 markings, 120118801 edges, 271169 markings/sec, 205 secs
lola: 67776319 markings, 122658355 edges, 274102 markings/sec, 210 secs
lola: 69211938 markings, 125296617 edges, 287124 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(GStarP3)
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: 1668275 markings, 3728748 edges, 333655 markings/sec, 0 secs
lola: 3180051 markings, 7203785 edges, 302355 markings/sec, 5 secs
lola: 4661177 markings, 10633506 edges, 296225 markings/sec, 10 secs
lola: 6113366 markings, 14015254 edges, 290438 markings/sec, 15 secs
lola: 7543606 markings, 17358951 edges, 286048 markings/sec, 20 secs
lola: 8913645 markings, 20589051 edges, 274008 markings/sec, 25 secs
lola: 10295847 markings, 23851939 edges, 276440 markings/sec, 30 secs
lola: 11672760 markings, 27100241 edges, 275383 markings/sec, 35 secs
lola: 12984547 markings, 30219357 edges, 262357 markings/sec, 40 secs
lola: 14308292 markings, 33338545 edges, 264749 markings/sec, 45 secs
lola: 15607711 markings, 36430404 edges, 259884 markings/sec, 50 secs
lola: 16944512 markings, 39602393 edges, 267360 markings/sec, 55 secs
lola: 18279067 markings, 42775374 edges, 266911 markings/sec, 60 secs
lola: 19541702 markings, 45800345 edges, 252527 markings/sec, 65 secs
lola: 20809564 markings, 48810531 edges, 253572 markings/sec, 70 secs
lola: 22059604 markings, 51788958 edges, 250008 markings/sec, 75 secs
lola: 23281735 markings, 54724048 edges, 244426 markings/sec, 80 secs
lola: 24571108 markings, 57795700 edges, 257875 markings/sec, 85 secs
lola: 25852324 markings, 60871987 edges, 256243 markings/sec, 90 secs
lola: 27109786 markings, 63898914 edges, 251492 markings/sec, 95 secs
lola: 28440805 markings, 67066737 edges, 266204 markings/sec, 100 secs
lola: 29722766 markings, 70153284 edges, 256392 markings/sec, 105 secs
lola: 30987450 markings, 73197593 edges, 252937 markings/sec, 110 secs
lola: 32248288 markings, 76250217 edges, 252168 markings/sec, 115 secs
lola: 33524717 markings, 79325313 edges, 255286 markings/sec, 120 secs
lola: 34791609 markings, 82372719 edges, 253378 markings/sec, 125 secs
lola: 36063465 markings, 85434678 edges, 254371 markings/sec, 130 secs
lola: 37357274 markings, 88539955 edges, 258762 markings/sec, 135 secs
lola: 38628938 markings, 91598735 edges, 254333 markings/sec, 140 secs
lola: 39917441 markings, 94682375 edges, 257701 markings/sec, 145 secs
lola: 41154460 markings, 97678447 edges, 247404 markings/sec, 150 secs
lola: 42390368 markings, 100673958 edges, 247182 markings/sec, 155 secs
lola: 43615560 markings, 103652675 edges, 245038 markings/sec, 160 secs
lola: 44864776 markings, 106684673 edges, 249843 markings/sec, 165 secs
lola: 46095943 markings, 109680702 edges, 246233 markings/sec, 170 secs
lola: 47338248 markings, 112699368 edges, 248461 markings/sec, 175 secs
lola: 48561164 markings, 115684155 edges, 244583 markings/sec, 180 secs
lola: 49788869 markings, 118667964 edges, 245541 markings/sec, 185 secs
lola: 51027394 markings, 121661105 edges, 247705 markings/sec, 190 secs
lola: 52290658 markings, 124704714 edges, 252653 markings/sec, 195 secs
lola: 53533789 markings, 127705234 edges, 248626 markings/sec, 200 secs
lola: 54765071 markings, 130668787 edges, 246256 markings/sec, 205 secs
lola: 55988421 markings, 133633674 edges, 244670 markings/sec, 210 secs
lola: 57255202 markings, 136687827 edges, 253356 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3)
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: 1981045 markings, 3883982 edges, 396209 markings/sec, 0 secs
lola: 3700666 markings, 7436948 edges, 343924 markings/sec, 5 secs
lola: 5336283 markings, 10864383 edges, 327123 markings/sec, 10 secs
lola: 6941559 markings, 14245082 edges, 321055 markings/sec, 15 secs
lola: 8471372 markings, 17512604 edges, 305963 markings/sec, 20 secs
lola: 9980204 markings, 20738229 edges, 301766 markings/sec, 25 secs
lola: 11470675 markings, 23924723 edges, 298094 markings/sec, 30 secs
lola: 12944372 markings, 27101812 edges, 294739 markings/sec, 35 secs
lola: 14389902 markings, 30234018 edges, 289106 markings/sec, 40 secs
lola: 15828111 markings, 33351687 edges, 287642 markings/sec, 45 secs
lola: 17212053 markings, 36366802 edges, 276788 markings/sec, 50 secs
lola: 18548440 markings, 39281974 edges, 267277 markings/sec, 55 secs
lola: 19911027 markings, 42256945 edges, 272517 markings/sec, 60 secs
lola: 21230643 markings, 45156181 edges, 263923 markings/sec, 65 secs
lola: 22586252 markings, 48123933 edges, 271122 markings/sec, 70 secs
lola: 23894647 markings, 51005896 edges, 261679 markings/sec, 75 secs
lola: 25210120 markings, 53900027 edges, 263095 markings/sec, 80 secs
lola: 26555255 markings, 56815829 edges, 269027 markings/sec, 85 secs
lola: 27853079 markings, 59678423 edges, 259565 markings/sec, 90 secs
lola: 29094709 markings, 62446997 edges, 248326 markings/sec, 95 secs
lola: 30369361 markings, 65279430 edges, 254930 markings/sec, 100 secs
lola: 31651180 markings, 68111137 edges, 256364 markings/sec, 105 secs
lola: 32957119 markings, 70979241 edges, 261188 markings/sec, 110 secs
lola: 34224022 markings, 73782848 edges, 253381 markings/sec, 115 secs
lola: 35459309 markings, 76501482 edges, 247057 markings/sec, 120 secs
lola: 36692027 markings, 79228888 edges, 246544 markings/sec, 125 secs
lola: 37906263 markings, 81930761 edges, 242847 markings/sec, 130 secs
lola: 39198800 markings, 84808693 edges, 258507 markings/sec, 135 secs
lola: 40507084 markings, 87710822 edges, 261657 markings/sec, 140 secs
lola: 41789916 markings, 90583347 edges, 256566 markings/sec, 145 secs
lola: 43054582 markings, 93403781 edges, 252933 markings/sec, 150 secs
lola: 44329700 markings, 96225076 edges, 255024 markings/sec, 155 secs
lola: 45586404 markings, 99036399 edges, 251341 markings/sec, 160 secs
lola: 46839893 markings, 101844130 edges, 250698 markings/sec, 165 secs
lola: 48114460 markings, 104672033 edges, 254913 markings/sec, 170 secs
lola: 49381870 markings, 107502799 edges, 253482 markings/sec, 175 secs
lola: 50659059 markings, 110344580 edges, 255438 markings/sec, 180 secs
lola: 51884267 markings, 113096738 edges, 245042 markings/sec, 185 secs
lola: 53145133 markings, 115925038 edges, 252173 markings/sec, 190 secs
lola: 54378973 markings, 118694781 edges, 246768 markings/sec, 195 secs
lola: 55584008 markings, 121409091 edges, 241007 markings/sec, 200 secs
lola: 56750856 markings, 124028300 edges, 233370 markings/sec, 205 secs
lola: 57916451 markings, 126619591 edges, 233119 markings/sec, 210 secs
lola: 59051659 markings, 129177719 edges, 227042 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(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: 1599075 markings, 3317020 edges, 319815 markings/sec, 0 secs
lola: 3241946 markings, 6790313 edges, 328574 markings/sec, 5 secs
lola: 4812125 markings, 10161728 edges, 314036 markings/sec, 10 secs
lola: 6363528 markings, 13483044 edges, 310281 markings/sec, 15 secs
lola: 7790737 markings, 16564402 edges, 285442 markings/sec, 20 secs
lola: 9193730 markings, 19603911 edges, 280599 markings/sec, 25 secs
lola: 10557660 markings, 22558434 edges, 272786 markings/sec, 30 secs
lola: 11909113 markings, 25504956 edges, 270291 markings/sec, 35 secs
lola: 13329930 markings, 28602099 edges, 284163 markings/sec, 40 secs
lola: 14762582 markings, 31747456 edges, 286530 markings/sec, 45 secs
lola: 16209822 markings, 34923953 edges, 289448 markings/sec, 50 secs
lola: 17611650 markings, 38004081 edges, 280366 markings/sec, 55 secs
lola: 19004762 markings, 41061671 edges, 278622 markings/sec, 60 secs
lola: 20359140 markings, 44044875 edges, 270876 markings/sec, 65 secs
lola: 21715769 markings, 47039237 edges, 271326 markings/sec, 70 secs
lola: 23075675 markings, 50046015 edges, 271981 markings/sec, 75 secs
lola: 24435332 markings, 53060650 edges, 271931 markings/sec, 80 secs
lola: 25814819 markings, 56099006 edges, 275897 markings/sec, 85 secs
lola: 27168799 markings, 59080794 edges, 270796 markings/sec, 90 secs
lola: 28490963 markings, 62000577 edges, 264433 markings/sec, 95 secs
lola: 29796302 markings, 64893740 edges, 261068 markings/sec, 100 secs
lola: 31118373 markings, 67825361 edges, 264414 markings/sec, 105 secs
lola: 32432690 markings, 70754686 edges, 262863 markings/sec, 110 secs
lola: 33749794 markings, 73684506 edges, 263421 markings/sec, 115 secs
lola: 35052815 markings, 76584906 edges, 260604 markings/sec, 120 secs
lola: 36357256 markings, 79494859 edges, 260888 markings/sec, 125 secs
lola: 37643481 markings, 82372599 edges, 257245 markings/sec, 130 secs
lola: 38930379 markings, 85257517 edges, 257380 markings/sec, 135 secs
lola: 40229483 markings, 88146386 edges, 259821 markings/sec, 140 secs
lola: 41505590 markings, 91002064 edges, 255221 markings/sec, 145 secs
lola: 42789478 markings, 93857272 edges, 256778 markings/sec, 150 secs
lola: 44050458 markings, 96674952 edges, 252196 markings/sec, 155 secs
lola: 45316687 markings, 99496636 edges, 253246 markings/sec, 160 secs
lola: 46616211 markings, 102412337 edges, 259905 markings/sec, 165 secs
lola: 47923750 markings, 105339322 edges, 261508 markings/sec, 170 secs
lola: 49237455 markings, 108265701 edges, 262741 markings/sec, 175 secs
lola: 50555009 markings, 111207816 edges, 263511 markings/sec, 180 secs
lola: 51762689 markings, 113911043 edges, 241536 markings/sec, 185 secs
lola: 52970525 markings, 116620013 edges, 241567 markings/sec, 190 secs
lola: 54202091 markings, 119393752 edges, 246313 markings/sec, 195 secs
lola: 55415351 markings, 122116845 edges, 242652 markings/sec, 200 secs
lola: 56617964 markings, 124818342 edges, 240523 markings/sec, 205 secs
lola: 57811870 markings, 127513116 edges, 238781 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Angiogenesis-PT-25-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494602092516

--------------------
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-25"
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-25.tgz
mv Angiogenesis-PT-25 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-25, 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-149436125900137"
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 ;