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

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

=== Now, execution of the tool begins

BK_START 1494598325328


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Angiogenesis-PT-20 @ 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-20-UpperBounds.task
lola: MAX(Pg) : MAX(PtP3P2) : MAX(GStarP3kP3) : MAX(KdStarPgStarP2) : MAX(Enz) : MAX(KdStarPgStarP2) : MAX(KdStarGStarP3kStarP2) : MAX(KdStarGStarPgStarP2) : MAX(KdStarGStarP3kP3) : MAX(Pip3) : MAX(PtP2) : MAX(Akt) : MAX(AktStar) : MAX(KdStarGStarP3k) : MAX(KdStarGP3) : MAX(GStarP3kP3)
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(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: 1184506 markings, 2914293 edges, 236901 markings/sec, 0 secs
lola: 2187594 markings, 5563215 edges, 200618 markings/sec, 5 secs
lola: 3079009 markings, 7960660 edges, 178283 markings/sec, 10 secs
lola: 3889566 markings, 10153154 edges, 162111 markings/sec, 15 secs
lola: 4657746 markings, 12258461 edges, 153636 markings/sec, 20 secs
lola: 5470031 markings, 14469241 edges, 162457 markings/sec, 25 secs
lola: 6266450 markings, 16660489 edges, 159284 markings/sec, 30 secs
lola: 7092388 markings, 18957416 edges, 165188 markings/sec, 35 secs
lola: 7880623 markings, 21155550 edges, 157647 markings/sec, 40 secs
lola: 8682001 markings, 23384179 edges, 160276 markings/sec, 45 secs
lola: 9446705 markings, 25522544 edges, 152941 markings/sec, 50 secs
lola: 10229023 markings, 27706907 edges, 156464 markings/sec, 55 secs
lola: 11012980 markings, 29897160 edges, 156791 markings/sec, 60 secs
lola: 11753523 markings, 31990210 edges, 148109 markings/sec, 65 secs
lola: 12476716 markings, 34017998 edges, 144639 markings/sec, 70 secs
lola: 13174283 markings, 35981773 edges, 139513 markings/sec, 75 secs
lola: 13920691 markings, 38088234 edges, 149282 markings/sec, 80 secs
lola: 14733170 markings, 40404402 edges, 162496 markings/sec, 85 secs
lola: 15541911 markings, 42704492 edges, 161748 markings/sec, 90 secs
lola: 16341534 markings, 44980915 edges, 159925 markings/sec, 95 secs
lola: 17134649 markings, 47244437 edges, 158623 markings/sec, 100 secs
lola: 17936619 markings, 49529376 edges, 160394 markings/sec, 105 secs
lola: 18700681 markings, 51711370 edges, 152812 markings/sec, 110 secs
lola: 19469698 markings, 53903738 edges, 153803 markings/sec, 115 secs
lola: 20244795 markings, 56126185 edges, 155019 markings/sec, 120 secs
lola: 21005154 markings, 58314989 edges, 152072 markings/sec, 125 secs
lola: 21752138 markings, 60453386 edges, 149397 markings/sec, 130 secs
lola: 22511322 markings, 62611000 edges, 151837 markings/sec, 135 secs
lola: 23244467 markings, 64718141 edges, 146629 markings/sec, 140 secs
lola: 23981556 markings, 66843243 edges, 147418 markings/sec, 145 secs
lola: 24635417 markings, 68742616 edges, 130772 markings/sec, 150 secs
lola: 25365410 markings, 70850020 edges, 145999 markings/sec, 155 secs
lola: 26097866 markings, 72957665 edges, 146491 markings/sec, 160 secs
lola: 26818680 markings, 75042537 edges, 144163 markings/sec, 165 secs
lola: 27559279 markings, 77170748 edges, 148120 markings/sec, 170 secs
lola: 28315468 markings, 79347553 edges, 151238 markings/sec, 175 secs
lola: 29058681 markings, 81494414 edges, 148643 markings/sec, 180 secs
lola: 29791482 markings, 83616630 edges, 146560 markings/sec, 185 secs
lola: 30520393 markings, 85736047 edges, 145782 markings/sec, 190 secs
lola: 31270533 markings, 87885343 edges, 150028 markings/sec, 195 secs
lola: 31978122 markings, 89931233 edges, 141518 markings/sec, 200 secs
lola: 32667492 markings, 91952338 edges, 137874 markings/sec, 205 secs
lola: 33315639 markings, 93856365 edges, 129629 markings/sec, 210 secs
lola: 33996300 markings, 95829373 edges, 136132 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(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: 1571781 markings, 3096272 edges, 314356 markings/sec, 0 secs
lola: 3039902 markings, 6061461 edges, 293624 markings/sec, 5 secs
lola: 4459088 markings, 8945093 edges, 283837 markings/sec, 10 secs
lola: 5860635 markings, 11814518 edges, 280309 markings/sec, 15 secs
lola: 7208339 markings, 14575000 edges, 269541 markings/sec, 20 secs
lola: 8530429 markings, 17289521 edges, 264418 markings/sec, 25 secs
lola: 9847976 markings, 19997315 edges, 263509 markings/sec, 30 secs
lola: 11220988 markings, 22810777 edges, 274602 markings/sec, 35 secs
lola: 12565240 markings, 25576907 edges, 268850 markings/sec, 40 secs
lola: 13897998 markings, 28331576 edges, 266552 markings/sec, 45 secs
lola: 15212349 markings, 31074950 edges, 262870 markings/sec, 50 secs
lola: 16510936 markings, 33771871 edges, 259717 markings/sec, 55 secs
lola: 17810220 markings, 36468115 edges, 259857 markings/sec, 60 secs
lola: 19135010 markings, 39186017 edges, 264958 markings/sec, 65 secs
lola: 20359701 markings, 41736637 edges, 244938 markings/sec, 70 secs
lola: 21569035 markings, 44256057 edges, 241867 markings/sec, 75 secs
lola: 22781262 markings, 46788592 edges, 242445 markings/sec, 80 secs
lola: 24050864 markings, 49423915 edges, 253920 markings/sec, 85 secs
lola: 25257236 markings, 51962028 edges, 241274 markings/sec, 90 secs
lola: 26457270 markings, 54463657 edges, 240007 markings/sec, 95 secs
lola: 27639406 markings, 56929485 edges, 236427 markings/sec, 100 secs
lola: 28821997 markings, 59391740 edges, 236518 markings/sec, 105 secs
lola: 30025647 markings, 61886825 edges, 240730 markings/sec, 110 secs
lola: 31198535 markings, 64343027 edges, 234578 markings/sec, 115 secs
lola: 32394234 markings, 66843586 edges, 239140 markings/sec, 120 secs
lola: 33586407 markings, 69326565 edges, 238435 markings/sec, 125 secs
lola: 34733101 markings, 71743383 edges, 229339 markings/sec, 130 secs
lola: 35844857 markings, 74072723 edges, 222351 markings/sec, 135 secs
lola: 36973402 markings, 76442565 edges, 225709 markings/sec, 140 secs
lola: 38121144 markings, 78845594 edges, 229548 markings/sec, 145 secs
lola: 39295194 markings, 81280375 edges, 234810 markings/sec, 150 secs
lola: 40439716 markings, 83682040 edges, 228904 markings/sec, 155 secs
lola: 41617404 markings, 86127811 edges, 235538 markings/sec, 160 secs
lola: 42763093 markings, 88535260 edges, 229138 markings/sec, 165 secs
lola: 43915335 markings, 90948915 edges, 230448 markings/sec, 170 secs
lola: 45093301 markings, 93400767 edges, 235593 markings/sec, 175 secs
lola: 46349583 markings, 96010878 edges, 251256 markings/sec, 180 secs
lola: 47515737 markings, 98482630 edges, 233231 markings/sec, 185 secs
lola: 48703940 markings, 100981571 edges, 237641 markings/sec, 190 secs
lola: 49873979 markings, 103457916 edges, 234008 markings/sec, 195 secs
lola: 51147446 markings, 106066966 edges, 254693 markings/sec, 200 secs
lola: 52374163 markings, 108614705 edges, 245343 markings/sec, 205 secs
lola: 53517350 markings, 111012078 edges, 228637 markings/sec, 210 secs
lola: 54659201 markings, 113401554 edges, 228370 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(GStarP3kP3)
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: 2128962 markings, 3859549 edges, 425792 markings/sec, 0 secs
lola: 4179569 markings, 7672117 edges, 410121 markings/sec, 5 secs
lola: 6272553 markings, 11559946 edges, 418597 markings/sec, 10 secs
lola: 8353345 markings, 15560835 edges, 416158 markings/sec, 15 secs
lola: 10369792 markings, 19436539 edges, 403289 markings/sec, 20 secs
lola: 12343985 markings, 23294366 edges, 394839 markings/sec, 25 secs
lola: 14219228 markings, 27004518 edges, 375049 markings/sec, 30 secs
lola: 16093389 markings, 30707342 edges, 374832 markings/sec, 35 secs
lola: 18001350 markings, 34515470 edges, 381592 markings/sec, 40 secs
lola: 19884839 markings, 38279924 edges, 376698 markings/sec, 45 secs
lola: 21681714 markings, 41924867 edges, 359375 markings/sec, 50 secs
lola: 23412256 markings, 45400663 edges, 346108 markings/sec, 55 secs
lola: 25081849 markings, 48754035 edges, 333919 markings/sec, 60 secs
lola: 26818273 markings, 52253914 edges, 347285 markings/sec, 65 secs
lola: 28605914 markings, 55917267 edges, 357528 markings/sec, 70 secs
lola: 30245814 markings, 59343490 edges, 327980 markings/sec, 75 secs
lola: 31890459 markings, 62748372 edges, 328929 markings/sec, 80 secs
lola: 33572066 markings, 66155672 edges, 336321 markings/sec, 85 secs
lola: 35273598 markings, 69748711 edges, 340306 markings/sec, 90 secs
lola: 37045824 markings, 73361732 edges, 354445 markings/sec, 95 secs
lola: 38839171 markings, 77012883 edges, 358669 markings/sec, 100 secs
lola: 40630217 markings, 80682287 edges, 358209 markings/sec, 105 secs
lola: 42398320 markings, 84323313 edges, 353621 markings/sec, 110 secs
lola: 44157209 markings, 87967018 edges, 351778 markings/sec, 115 secs
lola: 45912825 markings, 91580325 edges, 351123 markings/sec, 120 secs
lola: 47643229 markings, 95173705 edges, 346081 markings/sec, 125 secs
lola: 49384650 markings, 98728697 edges, 348284 markings/sec, 130 secs
lola: 51102343 markings, 102245826 edges, 343539 markings/sec, 135 secs
lola: 52732368 markings, 105669471 edges, 326005 markings/sec, 140 secs
lola: 54440257 markings, 109177909 edges, 341578 markings/sec, 145 secs
lola: 56119909 markings, 112741596 edges, 335930 markings/sec, 150 secs
lola: 57794190 markings, 116162216 edges, 334856 markings/sec, 155 secs
lola: 59511167 markings, 119708046 edges, 343395 markings/sec, 160 secs
lola: 61126129 markings, 123004425 edges, 322992 markings/sec, 165 secs
lola: 62748856 markings, 126348595 edges, 324545 markings/sec, 170 secs
lola: 64305397 markings, 129610436 edges, 311308 markings/sec, 175 secs
lola: 65903561 markings, 132887352 edges, 319633 markings/sec, 180 secs
lola: 67470561 markings, 136132613 edges, 313400 markings/sec, 185 secs
lola: 68994839 markings, 139379794 edges, 304856 markings/sec, 190 secs
lola: 70620094 markings, 142698615 edges, 325051 markings/sec, 195 secs
lola: 72209769 markings, 146083328 edges, 317935 markings/sec, 200 secs
lola: 73742332 markings, 149322942 edges, 306513 markings/sec, 205 secs
lola: 75303322 markings, 152551246 edges, 312198 markings/sec, 210 secs
lola: 76860980 markings, 155783748 edges, 311532 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(KdStarPgStarP2)
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: 1589827 markings, 3335489 edges, 317965 markings/sec, 0 secs
lola: 3020193 markings, 6511190 edges, 286073 markings/sec, 5 secs
lola: 4369821 markings, 9547794 edges, 269926 markings/sec, 10 secs
lola: 5626863 markings, 12413969 edges, 251408 markings/sec, 15 secs
lola: 6774065 markings, 15055875 edges, 229440 markings/sec, 20 secs
lola: 7900529 markings, 17645998 edges, 225293 markings/sec, 25 secs
lola: 8988508 markings, 20155591 edges, 217596 markings/sec, 30 secs
lola: 10101669 markings, 22730362 edges, 222632 markings/sec, 35 secs
lola: 11213367 markings, 25314204 edges, 222340 markings/sec, 40 secs
lola: 12242596 markings, 27719583 edges, 205846 markings/sec, 45 secs
lola: 13284864 markings, 30136024 edges, 208454 markings/sec, 50 secs
lola: 14320403 markings, 32566258 edges, 207108 markings/sec, 55 secs
lola: 15339319 markings, 34960889 edges, 203783 markings/sec, 60 secs
lola: 16368603 markings, 37368538 edges, 205857 markings/sec, 65 secs
lola: 17366910 markings, 39719756 edges, 199661 markings/sec, 70 secs
lola: 18351009 markings, 42039212 edges, 196820 markings/sec, 75 secs
lola: 19333913 markings, 44363013 edges, 196581 markings/sec, 80 secs
lola: 20321108 markings, 46688861 edges, 197439 markings/sec, 85 secs
lola: 21297739 markings, 48980116 edges, 195326 markings/sec, 90 secs
lola: 22251439 markings, 51240042 edges, 190740 markings/sec, 95 secs
lola: 23209994 markings, 53521160 edges, 191711 markings/sec, 100 secs
lola: 24208504 markings, 55877152 edges, 199702 markings/sec, 105 secs
lola: 25202728 markings, 58229803 edges, 198845 markings/sec, 110 secs
lola: 26186968 markings, 60592894 edges, 196848 markings/sec, 115 secs
lola: 27173701 markings, 62948948 edges, 197347 markings/sec, 120 secs
lola: 28107482 markings, 65173813 edges, 186756 markings/sec, 125 secs
lola: 29021825 markings, 67343809 edges, 182869 markings/sec, 130 secs
lola: 29936263 markings, 69524819 edges, 182888 markings/sec, 135 secs
lola: 30828985 markings, 71660227 edges, 178544 markings/sec, 140 secs
lola: 31763412 markings, 73888777 edges, 186885 markings/sec, 145 secs
lola: 32668006 markings, 76045959 edges, 180919 markings/sec, 150 secs
lola: 33609710 markings, 78305074 edges, 188341 markings/sec, 155 secs
lola: 34541566 markings, 80536346 edges, 186371 markings/sec, 160 secs
lola: 35449436 markings, 82710189 edges, 181574 markings/sec, 165 secs
lola: 36374290 markings, 84920651 edges, 184971 markings/sec, 170 secs
lola: 37288352 markings, 87107185 edges, 182812 markings/sec, 175 secs
lola: 38179576 markings, 89254835 edges, 178245 markings/sec, 180 secs
lola: 39067390 markings, 91389461 edges, 177563 markings/sec, 185 secs
lola: 39967160 markings, 93550838 edges, 179954 markings/sec, 190 secs
lola: 40857979 markings, 95701493 edges, 178164 markings/sec, 195 secs
lola: 41757519 markings, 97880438 edges, 179908 markings/sec, 200 secs
lola: 42657059 markings, 100048600 edges, 179908 markings/sec, 205 secs
lola: 43547115 markings, 102197071 edges, 178011 markings/sec, 210 secs
lola: 44442131 markings, 104343869 edges, 179003 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(Enz)
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: 2766371 markings, 4745286 edges, 553274 markings/sec, 0 secs
lola: 5233026 markings, 9024634 edges, 493331 markings/sec, 5 secs
lola: 7544250 markings, 13056508 edges, 462245 markings/sec, 10 secs
lola: 9783971 markings, 16983089 edges, 447944 markings/sec, 15 secs
lola: 12006287 markings, 20874908 edges, 444463 markings/sec, 20 secs
lola: 14173540 markings, 24687577 edges, 433451 markings/sec, 25 secs
lola: 16334454 markings, 28493841 edges, 432183 markings/sec, 30 secs
lola: 18436506 markings, 32200133 edges, 420410 markings/sec, 35 secs
lola: 20524033 markings, 35896482 edges, 417505 markings/sec, 40 secs
lola: 22603535 markings, 39574322 edges, 415900 markings/sec, 45 secs
lola: 24741587 markings, 43351634 edges, 427610 markings/sec, 50 secs
lola: 26828612 markings, 47064271 edges, 417405 markings/sec, 55 secs
lola: 28960154 markings, 50838381 edges, 426308 markings/sec, 60 secs
lola: 31041887 markings, 54538496 edges, 416347 markings/sec, 65 secs
lola: 33116717 markings, 58220604 edges, 414966 markings/sec, 70 secs
lola: 35145358 markings, 61828509 edges, 405728 markings/sec, 75 secs
lola: 37201638 markings, 65495887 edges, 411256 markings/sec, 80 secs
lola: 39158047 markings, 68984357 edges, 391282 markings/sec, 85 secs
lola: 41104718 markings, 72450637 edges, 389334 markings/sec, 90 secs
lola: 43081384 markings, 75970195 edges, 395333 markings/sec, 95 secs
lola: 45122710 markings, 79608918 edges, 408265 markings/sec, 100 secs
lola: 47258195 markings, 83394105 edges, 427097 markings/sec, 105 secs
lola: 49274919 markings, 86988077 edges, 403345 markings/sec, 110 secs
lola: 51273639 markings, 90553701 edges, 399744 markings/sec, 115 secs
lola: 53261149 markings, 94111366 edges, 397502 markings/sec, 120 secs
lola: 55126965 markings, 97462689 edges, 373163 markings/sec, 125 secs
lola: 57088161 markings, 100949324 edges, 392239 markings/sec, 130 secs
lola: 59030990 markings, 104416175 edges, 388566 markings/sec, 135 secs
lola: 60905795 markings, 107772490 edges, 374961 markings/sec, 140 secs
lola: 62798456 markings, 111165410 edges, 378532 markings/sec, 145 secs
lola: 64701361 markings, 114571314 edges, 380581 markings/sec, 150 secs
lola: 66564186 markings, 117897695 edges, 372565 markings/sec, 155 secs
lola: 68433240 markings, 121249581 edges, 373811 markings/sec, 160 secs
lola: 70319603 markings, 124633151 edges, 377273 markings/sec, 165 secs
lola: 72233289 markings, 128074433 edges, 382737 markings/sec, 170 secs
lola: 74139143 markings, 131482183 edges, 381171 markings/sec, 175 secs
lola: 76005647 markings, 134832116 edges, 373301 markings/sec, 180 secs
lola: 77875531 markings, 138196819 edges, 373977 markings/sec, 185 secs
lola: 79811769 markings, 141660319 edges, 387248 markings/sec, 190 secs
lola: 81830754 markings, 145254105 edges, 403797 markings/sec, 195 secs
lola: 83773182 markings, 148727503 edges, 388486 markings/sec, 200 secs
lola: 85618190 markings, 152041353 edges, 369002 markings/sec, 205 secs
lola: 87575782 markings, 155548799 edges, 391518 markings/sec, 210 secs
lola: 89424763 markings, 158879268 edges, 369796 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(KdStarPgStarP2)
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: 1598688 markings, 3355351 edges, 319738 markings/sec, 0 secs
lola: 2912438 markings, 6273209 edges, 262750 markings/sec, 5 secs
lola: 4156510 markings, 9063342 edges, 248814 markings/sec, 10 secs
lola: 5335785 markings, 11745448 edges, 235855 markings/sec, 15 secs
lola: 6449359 markings, 14305448 edges, 222715 markings/sec, 20 secs
lola: 7560546 markings, 16858428 edges, 222237 markings/sec, 25 secs
lola: 8647188 markings, 19366797 edges, 217328 markings/sec, 30 secs
lola: 9734912 markings, 21881610 edges, 217545 markings/sec, 35 secs
lola: 10798647 markings, 24350588 edges, 212747 markings/sec, 40 secs
lola: 11844396 markings, 26788416 edges, 209150 markings/sec, 45 secs
lola: 12932152 markings, 29315252 edges, 217551 markings/sec, 50 secs
lola: 14007811 markings, 31834347 edges, 215132 markings/sec, 55 secs
lola: 15069865 markings, 34329442 edges, 212411 markings/sec, 60 secs
lola: 16149259 markings, 36853514 edges, 215879 markings/sec, 65 secs
lola: 17216316 markings, 39361239 edges, 213411 markings/sec, 70 secs
lola: 18252337 markings, 41806966 edges, 207204 markings/sec, 75 secs
lola: 19289688 markings, 44257429 edges, 207470 markings/sec, 80 secs
lola: 20299835 markings, 46640979 edges, 202029 markings/sec, 85 secs
lola: 21312059 markings, 49014067 edges, 202445 markings/sec, 90 secs
lola: 22313570 markings, 51385179 edges, 200302 markings/sec, 95 secs
lola: 23288999 markings, 53706351 edges, 195086 markings/sec, 100 secs
lola: 24269546 markings, 56020478 edges, 196109 markings/sec, 105 secs
lola: 25254413 markings, 58354781 edges, 196973 markings/sec, 110 secs
lola: 26214181 markings, 60661438 edges, 191954 markings/sec, 115 secs
lola: 27209965 markings, 63035557 edges, 199157 markings/sec, 120 secs
lola: 28186203 markings, 65360705 edges, 195248 markings/sec, 125 secs
lola: 29145659 markings, 67639760 edges, 191891 markings/sec, 130 secs
lola: 30074554 markings, 69857898 edges, 185779 markings/sec, 135 secs
lola: 30978312 markings, 72020391 edges, 180752 markings/sec, 140 secs
lola: 31898610 markings, 74212177 edges, 184060 markings/sec, 145 secs
lola: 32820350 markings, 76415852 edges, 184348 markings/sec, 150 secs
lola: 33740094 markings, 78619115 edges, 183949 markings/sec, 155 secs
lola: 34653933 markings, 80806992 edges, 182768 markings/sec, 160 secs
lola: 35564452 markings, 82989630 edges, 182104 markings/sec, 165 secs
lola: 36498549 markings, 85216416 edges, 186819 markings/sec, 170 secs
lola: 37438382 markings, 87467912 edges, 187967 markings/sec, 175 secs
lola: 38334021 markings, 89627865 edges, 179128 markings/sec, 180 secs
lola: 39220412 markings, 91759659 edges, 177278 markings/sec, 185 secs
lola: 40122527 markings, 93923917 edges, 180423 markings/sec, 190 secs
lola: 41019972 markings, 96088462 edges, 179489 markings/sec, 195 secs
lola: 41863560 markings, 98134247 edges, 168718 markings/sec, 200 secs
lola: 42735073 markings, 100238190 edges, 174303 markings/sec, 205 secs
lola: 43609951 markings, 102346201 edges, 174976 markings/sec, 210 secs
lola: 44487429 markings, 104452861 edges, 175496 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: 1776780 markings, 3166645 edges, 355356 markings/sec, 0 secs
lola: 3342652 markings, 6037367 edges, 313174 markings/sec, 5 secs
lola: 4823970 markings, 8792160 edges, 296264 markings/sec, 10 secs
lola: 6229226 markings, 11425952 edges, 281051 markings/sec, 15 secs
lola: 7612649 markings, 14019809 edges, 276685 markings/sec, 20 secs
lola: 8987810 markings, 16613286 edges, 275032 markings/sec, 25 secs
lola: 10373007 markings, 19255842 edges, 277039 markings/sec, 30 secs
lola: 11720960 markings, 21808513 edges, 269591 markings/sec, 35 secs
lola: 12991865 markings, 24238698 edges, 254181 markings/sec, 40 secs
lola: 14246924 markings, 26643540 edges, 251012 markings/sec, 45 secs
lola: 15512597 markings, 29079767 edges, 253135 markings/sec, 50 secs
lola: 16779513 markings, 31511976 edges, 253383 markings/sec, 55 secs
lola: 17988377 markings, 33841779 edges, 241773 markings/sec, 60 secs
lola: 19213090 markings, 36189907 edges, 244943 markings/sec, 65 secs
lola: 20401898 markings, 38495747 edges, 237762 markings/sec, 70 secs
lola: 21598146 markings, 40800553 edges, 239250 markings/sec, 75 secs
lola: 22775023 markings, 43084760 edges, 235375 markings/sec, 80 secs
lola: 23979835 markings, 45402112 edges, 240962 markings/sec, 85 secs
lola: 25148661 markings, 47668295 edges, 233765 markings/sec, 90 secs
lola: 26281615 markings, 49898458 edges, 226591 markings/sec, 95 secs
lola: 27426502 markings, 52131820 edges, 228977 markings/sec, 100 secs
lola: 28589211 markings, 54382282 edges, 232542 markings/sec, 105 secs
lola: 29741533 markings, 56619918 edges, 230464 markings/sec, 110 secs
lola: 30884318 markings, 58836881 edges, 228557 markings/sec, 115 secs
lola: 32025586 markings, 61053966 edges, 228254 markings/sec, 120 secs
lola: 33157146 markings, 63286606 edges, 226312 markings/sec, 125 secs
lola: 34304354 markings, 65531151 edges, 229442 markings/sec, 130 secs
lola: 35472438 markings, 67801228 edges, 233617 markings/sec, 135 secs
lola: 36616211 markings, 70043965 edges, 228755 markings/sec, 140 secs
lola: 37741126 markings, 72254256 edges, 224983 markings/sec, 145 secs
lola: 38905881 markings, 74539182 edges, 232951 markings/sec, 150 secs
lola: 40004358 markings, 76689266 edges, 219695 markings/sec, 155 secs
lola: 41126905 markings, 78893742 edges, 224509 markings/sec, 160 secs
lola: 42247446 markings, 81078056 edges, 224108 markings/sec, 165 secs
lola: 43331418 markings, 83242242 edges, 216794 markings/sec, 170 secs
lola: 44445300 markings, 85409463 edges, 222776 markings/sec, 175 secs
lola: 45544856 markings, 87561189 edges, 219911 markings/sec, 180 secs
lola: 46628095 markings, 89698307 edges, 216648 markings/sec, 185 secs
lola: 47733417 markings, 91872039 edges, 221064 markings/sec, 190 secs
lola: 48811582 markings, 94007627 edges, 215633 markings/sec, 195 secs
lola: 49898068 markings, 96146994 edges, 217297 markings/sec, 200 secs
lola: 50966490 markings, 98278289 edges, 213684 markings/sec, 205 secs
lola: 52039858 markings, 100401603 edges, 214674 markings/sec, 210 secs
lola: 53130963 markings, 102561924 edges, 218221 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(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: 1793829 markings, 3512021 edges, 358766 markings/sec, 0 secs
lola: 3330609 markings, 6617560 edges, 307356 markings/sec, 5 secs
lola: 4750559 markings, 9534640 edges, 283990 markings/sec, 10 secs
lola: 6115853 markings, 12372058 edges, 273059 markings/sec, 15 secs
lola: 7447099 markings, 15145046 edges, 266249 markings/sec, 20 secs
lola: 8750284 markings, 17863549 edges, 260637 markings/sec, 25 secs
lola: 10027260 markings, 20563412 edges, 255395 markings/sec, 30 secs
lola: 11321076 markings, 23256558 edges, 258763 markings/sec, 35 secs
lola: 12590891 markings, 25903905 edges, 253963 markings/sec, 40 secs
lola: 13803457 markings, 28464937 edges, 242513 markings/sec, 45 secs
lola: 15011989 markings, 31007994 edges, 241706 markings/sec, 50 secs
lola: 16169084 markings, 33465936 edges, 231419 markings/sec, 55 secs
lola: 17320305 markings, 35902305 edges, 230244 markings/sec, 60 secs
lola: 18465077 markings, 38324701 edges, 228954 markings/sec, 65 secs
lola: 19600836 markings, 40749211 edges, 227152 markings/sec, 70 secs
lola: 20745562 markings, 43197291 edges, 228945 markings/sec, 75 secs
lola: 21853333 markings, 45588123 edges, 221554 markings/sec, 80 secs
lola: 22965085 markings, 47988891 edges, 222350 markings/sec, 85 secs
lola: 24103594 markings, 50411503 edges, 227702 markings/sec, 90 secs
lola: 25252679 markings, 52833540 edges, 229817 markings/sec, 95 secs
lola: 26335685 markings, 55180440 edges, 216601 markings/sec, 100 secs
lola: 27436395 markings, 57541590 edges, 220142 markings/sec, 105 secs
lola: 28502014 markings, 59863063 edges, 213124 markings/sec, 110 secs
lola: 29571615 markings, 62189848 edges, 213920 markings/sec, 115 secs
lola: 30669168 markings, 64535571 edges, 219511 markings/sec, 120 secs
lola: 31716367 markings, 66827624 edges, 209440 markings/sec, 125 secs
lola: 32811462 markings, 69194860 edges, 219019 markings/sec, 130 secs
lola: 33955291 markings, 71634864 edges, 228766 markings/sec, 135 secs
lola: 35034953 markings, 73967226 edges, 215932 markings/sec, 140 secs
lola: 36100400 markings, 76256688 edges, 213089 markings/sec, 145 secs
lola: 37159154 markings, 78560785 edges, 211751 markings/sec, 150 secs
lola: 38245294 markings, 80917981 edges, 217228 markings/sec, 155 secs
lola: 39362626 markings, 83312356 edges, 223466 markings/sec, 160 secs
lola: 40440380 markings, 85653234 edges, 215551 markings/sec, 165 secs
lola: 41530412 markings, 88000808 edges, 218006 markings/sec, 170 secs
lola: 42655368 markings, 90405281 edges, 224991 markings/sec, 175 secs
lola: 43724125 markings, 92732588 edges, 213751 markings/sec, 180 secs
lola: 44800437 markings, 95070569 edges, 215262 markings/sec, 185 secs
lola: 45882710 markings, 97405075 edges, 216455 markings/sec, 190 secs
lola: 46965662 markings, 99728130 edges, 216590 markings/sec, 195 secs
lola: 48006284 markings, 101995551 edges, 208124 markings/sec, 200 secs
lola: 49010691 markings, 104188199 edges, 200881 markings/sec, 205 secs
lola: 50056013 markings, 106446513 edges, 209064 markings/sec, 210 secs
lola: 51101075 markings, 108728589 edges, 209012 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(KdStarGStarP3kP3)
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: 1736242 markings, 3543086 edges, 347248 markings/sec, 0 secs
lola: 3296369 markings, 6821581 edges, 312025 markings/sec, 5 secs
lola: 4730398 markings, 9906847 edges, 286806 markings/sec, 10 secs
lola: 6108628 markings, 12867414 edges, 275646 markings/sec, 15 secs
lola: 7523649 markings, 15836298 edges, 283004 markings/sec, 20 secs
lola: 8796712 markings, 18641808 edges, 254613 markings/sec, 25 secs
lola: 10096121 markings, 21484918 edges, 259882 markings/sec, 30 secs
lola: 11411939 markings, 24301226 edges, 263164 markings/sec, 35 secs
lola: 12594336 markings, 26935599 edges, 236479 markings/sec, 40 secs
lola: 13806284 markings, 29588001 edges, 242390 markings/sec, 45 secs
lola: 15047812 markings, 32261080 edges, 248306 markings/sec, 50 secs
lola: 16292689 markings, 34963463 edges, 248975 markings/sec, 55 secs
lola: 17586563 markings, 37776866 edges, 258775 markings/sec, 60 secs
lola: 18857334 markings, 40556321 edges, 254154 markings/sec, 65 secs
lola: 19992501 markings, 43082956 edges, 227033 markings/sec, 70 secs
lola: 21211532 markings, 45722029 edges, 243806 markings/sec, 75 secs
lola: 22400062 markings, 48314600 edges, 237706 markings/sec, 80 secs
lola: 23603975 markings, 50912015 edges, 240783 markings/sec, 85 secs
lola: 24797808 markings, 53505634 edges, 238767 markings/sec, 90 secs
lola: 25936128 markings, 56093148 edges, 227664 markings/sec, 95 secs
lola: 27154712 markings, 58772692 edges, 243717 markings/sec, 100 secs
lola: 28325404 markings, 61389165 edges, 234138 markings/sec, 105 secs
lola: 29502378 markings, 64002770 edges, 235395 markings/sec, 110 secs
lola: 30661533 markings, 66603481 edges, 231831 markings/sec, 115 secs
lola: 31813241 markings, 69202048 edges, 230342 markings/sec, 120 secs
lola: 32991800 markings, 71824338 edges, 235712 markings/sec, 125 secs
lola: 34155443 markings, 74438056 edges, 232729 markings/sec, 130 secs
lola: 35273796 markings, 76992748 edges, 223671 markings/sec, 135 secs
lola: 36368747 markings, 79370245 edges, 218990 markings/sec, 140 secs
lola: 37501113 markings, 81912989 edges, 226473 markings/sec, 145 secs
lola: 38597229 markings, 84387795 edges, 219223 markings/sec, 150 secs
lola: 39669942 markings, 86808641 edges, 214543 markings/sec, 155 secs
lola: 40783807 markings, 89269518 edges, 222773 markings/sec, 160 secs
lola: 41869080 markings, 91742544 edges, 217055 markings/sec, 165 secs
lola: 42982608 markings, 94272931 edges, 222706 markings/sec, 170 secs
lola: 44155229 markings, 96863572 edges, 234524 markings/sec, 175 secs
lola: 45253384 markings, 99370088 edges, 219631 markings/sec, 180 secs
lola: 46316103 markings, 101816597 edges, 212544 markings/sec, 185 secs
lola: 47405308 markings, 104287023 edges, 217841 markings/sec, 190 secs
lola: 48478592 markings, 106754084 edges, 214657 markings/sec, 195 secs
lola: 49607666 markings, 109291809 edges, 225815 markings/sec, 200 secs
lola: 50683187 markings, 111751680 edges, 215104 markings/sec, 205 secs
lola: 51787796 markings, 114237626 edges, 220922 markings/sec, 210 secs
lola: 52920486 markings, 116758834 edges, 226538 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(Pip3)
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: 2001795 markings, 3733075 edges, 400359 markings/sec, 0 secs
lola: 3797274 markings, 7217202 edges, 359096 markings/sec, 5 secs
lola: 5513799 markings, 10586239 edges, 343305 markings/sec, 10 secs
lola: 7176527 markings, 13883816 edges, 332546 markings/sec, 15 secs
lola: 8794662 markings, 17118747 edges, 323627 markings/sec, 20 secs
lola: 10372980 markings, 20307981 edges, 315664 markings/sec, 25 secs
lola: 11971669 markings, 23521502 edges, 319738 markings/sec, 30 secs
lola: 13513502 markings, 26646758 edges, 308367 markings/sec, 35 secs
lola: 15008738 markings, 29710588 edges, 299047 markings/sec, 40 secs
lola: 16490369 markings, 32755015 edges, 296326 markings/sec, 45 secs
lola: 17952637 markings, 35765969 edges, 292454 markings/sec, 50 secs
lola: 19408237 markings, 38767921 edges, 291120 markings/sec, 55 secs
lola: 20865873 markings, 41778367 edges, 291527 markings/sec, 60 secs
lola: 22303359 markings, 44758228 edges, 287497 markings/sec, 65 secs
lola: 23736963 markings, 47730494 edges, 286721 markings/sec, 70 secs
lola: 25156834 markings, 50661274 edges, 283974 markings/sec, 75 secs
lola: 26559371 markings, 53569458 edges, 280507 markings/sec, 80 secs
lola: 27958861 markings, 56498924 edges, 279898 markings/sec, 85 secs
lola: 29354630 markings, 59412437 edges, 279154 markings/sec, 90 secs
lola: 30727762 markings, 62292639 edges, 274626 markings/sec, 95 secs
lola: 32117058 markings, 65204891 edges, 277859 markings/sec, 100 secs
lola: 33506505 markings, 68127979 edges, 277889 markings/sec, 105 secs
lola: 34857541 markings, 71004872 edges, 270207 markings/sec, 110 secs
lola: 36220120 markings, 73890483 edges, 272516 markings/sec, 115 secs
lola: 37564164 markings, 76734939 edges, 268809 markings/sec, 120 secs
lola: 38924482 markings, 79624838 edges, 272064 markings/sec, 125 secs
lola: 40261106 markings, 82459173 edges, 267325 markings/sec, 130 secs
lola: 41594738 markings, 85283224 edges, 266726 markings/sec, 135 secs
lola: 42898519 markings, 88078374 edges, 260756 markings/sec, 140 secs
lola: 44228389 markings, 90905591 edges, 265974 markings/sec, 145 secs
lola: 45555493 markings, 93729953 edges, 265421 markings/sec, 150 secs
lola: 46856547 markings, 96517115 edges, 260211 markings/sec, 155 secs
lola: 48140890 markings, 99268479 edges, 256869 markings/sec, 160 secs
lola: 49417167 markings, 102000288 edges, 255255 markings/sec, 165 secs
lola: 50698565 markings, 104760949 edges, 256280 markings/sec, 170 secs
lola: 51986001 markings, 107532759 edges, 257487 markings/sec, 175 secs
lola: 53291385 markings, 110313770 edges, 261077 markings/sec, 180 secs
lola: 54586142 markings, 113074004 edges, 258951 markings/sec, 185 secs
lola: 55835322 markings, 115784390 edges, 249836 markings/sec, 190 secs
lola: 57126857 markings, 118548999 edges, 258307 markings/sec, 195 secs
lola: 58399974 markings, 121289008 edges, 254623 markings/sec, 200 secs
lola: 59640572 markings, 123981616 edges, 248120 markings/sec, 205 secs
lola: 60897189 markings, 126696665 edges, 251323 markings/sec, 210 secs
lola: 62157731 markings, 129409558 edges, 252108 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(PtP2)
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: 3133078 markings, 5399690 edges, 626616 markings/sec, 0 secs
lola: 6240100 markings, 10745586 edges, 621404 markings/sec, 5 secs
lola: 9066774 markings, 15843334 edges, 565335 markings/sec, 10 secs
lola: 11228178 markings, 20122497 edges, 432281 markings/sec, 15 secs
lola: 13318466 markings, 24229616 edges, 418058 markings/sec, 20 secs
lola: 15336159 markings, 28237507 edges, 403539 markings/sec, 25 secs
lola: 17326352 markings, 32180127 edges, 398039 markings/sec, 30 secs
lola: 19268289 markings, 36037233 edges, 388387 markings/sec, 35 secs
lola: 21275579 markings, 39918234 edges, 401458 markings/sec, 40 secs
lola: 23079440 markings, 43569880 edges, 360772 markings/sec, 45 secs
lola: 24847989 markings, 47170750 edges, 353710 markings/sec, 50 secs
lola: 26546739 markings, 50714104 edges, 339750 markings/sec, 55 secs
lola: 28223919 markings, 54219268 edges, 335436 markings/sec, 60 secs
lola: 29817689 markings, 57647714 edges, 318754 markings/sec, 65 secs
lola: 31409528 markings, 61053783 edges, 318368 markings/sec, 70 secs
lola: 32912554 markings, 64369161 edges, 300605 markings/sec, 75 secs
lola: 34423424 markings, 67678888 edges, 302174 markings/sec, 80 secs
lola: 35916749 markings, 70984317 edges, 298665 markings/sec, 85 secs
lola: 37420629 markings, 74275659 edges, 300776 markings/sec, 90 secs
lola: 38865734 markings, 77486318 edges, 289021 markings/sec, 95 secs
lola: 40313544 markings, 80682286 edges, 289562 markings/sec, 100 secs
lola: 41738441 markings, 83858895 edges, 284979 markings/sec, 105 secs
lola: 43179846 markings, 87040469 edges, 288281 markings/sec, 110 secs
lola: 44634735 markings, 90232540 edges, 290978 markings/sec, 115 secs
lola: 46052261 markings, 93365534 edges, 283505 markings/sec, 120 secs
lola: 47470198 markings, 96515486 edges, 283587 markings/sec, 125 secs
lola: 48926049 markings, 99688791 edges, 291170 markings/sec, 130 secs
lola: 50340686 markings, 102820674 edges, 282927 markings/sec, 135 secs
lola: 51760509 markings, 105957601 edges, 283965 markings/sec, 140 secs
lola: 53164659 markings, 109076271 edges, 280830 markings/sec, 145 secs
lola: 54543002 markings, 112138251 edges, 275669 markings/sec, 150 secs
lola: 55942651 markings, 115205012 edges, 279930 markings/sec, 155 secs
lola: 57328770 markings, 118264695 edges, 277224 markings/sec, 160 secs
lola: 58690083 markings, 121300890 edges, 272263 markings/sec, 165 secs
lola: 60061567 markings, 124359773 edges, 274297 markings/sec, 170 secs
lola: 61456117 markings, 127417321 edges, 278910 markings/sec, 175 secs
lola: 62794971 markings, 130429604 edges, 267771 markings/sec, 180 secs
lola: 64181144 markings, 133475405 edges, 277235 markings/sec, 185 secs
lola: 65517737 markings, 136463826 edges, 267319 markings/sec, 190 secs
lola: 66883951 markings, 139480186 edges, 273243 markings/sec, 195 secs
lola: 68237538 markings, 142498012 edges, 270717 markings/sec, 200 secs
lola: 69610805 markings, 145505890 edges, 274653 markings/sec, 205 secs
lola: 70944333 markings, 148462265 edges, 266706 markings/sec, 210 secs
lola: 72222045 markings, 151394693 edges, 255542 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(Akt)
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: 2438280 markings, 4127637 edges, 487656 markings/sec, 0 secs
lola: 4410380 markings, 7571346 edges, 394420 markings/sec, 5 secs
lola: 6253070 markings, 10819871 edges, 368538 markings/sec, 10 secs
lola: 8034872 markings, 13978773 edges, 356360 markings/sec, 15 secs
lola: 9786004 markings, 17113324 edges, 350226 markings/sec, 20 secs
lola: 11546415 markings, 20261242 edges, 352082 markings/sec, 25 secs
lola: 13222507 markings, 23278233 edges, 335218 markings/sec, 30 secs
lola: 14851302 markings, 26209719 edges, 325759 markings/sec, 35 secs
lola: 16464604 markings, 29108143 edges, 322660 markings/sec, 40 secs
lola: 18057725 markings, 31989556 edges, 318624 markings/sec, 45 secs
lola: 19592422 markings, 34783683 edges, 306939 markings/sec, 50 secs
lola: 21156955 markings, 37619812 edges, 312907 markings/sec, 55 secs
lola: 22723071 markings, 40459778 edges, 313223 markings/sec, 60 secs
lola: 24235643 markings, 43203595 edges, 302514 markings/sec, 65 secs
lola: 25748215 markings, 45956569 edges, 302514 markings/sec, 70 secs
lola: 27285255 markings, 48771735 edges, 307408 markings/sec, 75 secs
lola: 28836569 markings, 51596035 edges, 310263 markings/sec, 80 secs
lola: 30383440 markings, 54411817 edges, 309374 markings/sec, 85 secs
lola: 31905219 markings, 57190053 edges, 304356 markings/sec, 90 secs
lola: 33345850 markings, 59834292 edges, 288126 markings/sec, 95 secs
lola: 34762740 markings, 62444300 edges, 283378 markings/sec, 100 secs
lola: 36215322 markings, 65093623 edges, 290516 markings/sec, 105 secs
lola: 37710868 markings, 67828085 edges, 299109 markings/sec, 110 secs
lola: 39169724 markings, 70520274 edges, 291771 markings/sec, 115 secs
lola: 40646164 markings, 73226153 edges, 295288 markings/sec, 120 secs
lola: 42120103 markings, 75935712 edges, 294788 markings/sec, 125 secs
lola: 43583862 markings, 78630883 edges, 292752 markings/sec, 130 secs
lola: 45031446 markings, 81294003 edges, 289517 markings/sec, 135 secs
lola: 46500775 markings, 83987152 edges, 293866 markings/sec, 140 secs
lola: 47937155 markings, 86635042 edges, 287276 markings/sec, 145 secs
lola: 49388616 markings, 89303028 edges, 290292 markings/sec, 150 secs
lola: 50819231 markings, 91943192 edges, 286123 markings/sec, 155 secs
lola: 52247551 markings, 94581558 edges, 285664 markings/sec, 160 secs
lola: 53661559 markings, 97196510 edges, 282802 markings/sec, 165 secs
lola: 55077419 markings, 99816651 edges, 283172 markings/sec, 170 secs
lola: 56474335 markings, 102407125 edges, 279383 markings/sec, 175 secs
lola: 57896790 markings, 105030860 edges, 284491 markings/sec, 180 secs
lola: 59296664 markings, 107620258 edges, 279975 markings/sec, 185 secs
lola: 60702342 markings, 110226228 edges, 281136 markings/sec, 190 secs
lola: 62098124 markings, 112804634 edges, 279156 markings/sec, 195 secs
lola: 63508889 markings, 115404625 edges, 282153 markings/sec, 200 secs
lola: 64899606 markings, 117983995 edges, 278143 markings/sec, 205 secs
lola: 66263349 markings, 120516358 edges, 272749 markings/sec, 210 secs
lola: 67600546 markings, 123004642 edges, 267439 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: 2411527 markings, 4081099 edges, 482305 markings/sec, 0 secs
lola: 4432901 markings, 7609188 edges, 404275 markings/sec, 5 secs
lola: 6325049 markings, 10947312 edges, 378430 markings/sec, 10 secs
lola: 8163348 markings, 14208837 edges, 367660 markings/sec, 15 secs
lola: 9941593 markings, 17393834 edges, 355649 markings/sec, 20 secs
lola: 11688201 markings, 20518997 edges, 349322 markings/sec, 25 secs
lola: 13394496 markings, 23590036 edges, 341259 markings/sec, 30 secs
lola: 15091840 markings, 26645330 edges, 339469 markings/sec, 35 secs
lola: 16754870 markings, 29638639 edges, 332606 markings/sec, 40 secs
lola: 18391759 markings, 32597002 edges, 327378 markings/sec, 45 secs
lola: 20008236 markings, 35528484 edges, 323295 markings/sec, 50 secs
lola: 21610976 markings, 38446276 edges, 320548 markings/sec, 55 secs
lola: 23207347 markings, 41338567 edges, 319274 markings/sec, 60 secs
lola: 24790167 markings, 44213741 edges, 316564 markings/sec, 65 secs
lola: 26358244 markings, 47071097 edges, 313615 markings/sec, 70 secs
lola: 27888812 markings, 49870049 edges, 306114 markings/sec, 75 secs
lola: 29441423 markings, 52702089 edges, 310522 markings/sec, 80 secs
lola: 30982311 markings, 55505947 edges, 308178 markings/sec, 85 secs
lola: 32481255 markings, 58249725 edges, 299789 markings/sec, 90 secs
lola: 33959882 markings, 60962436 edges, 295725 markings/sec, 95 secs
lola: 35463459 markings, 63714779 edges, 300715 markings/sec, 100 secs
lola: 36968350 markings, 66472743 edges, 300978 markings/sec, 105 secs
lola: 38446463 markings, 69189355 edges, 295623 markings/sec, 110 secs
lola: 39892773 markings, 71847202 edges, 289262 markings/sec, 115 secs
lola: 41325244 markings, 74472563 edges, 286494 markings/sec, 120 secs
lola: 42739176 markings, 77075378 edges, 282786 markings/sec, 125 secs
lola: 44141410 markings, 79657728 edges, 280447 markings/sec, 130 secs
lola: 45546264 markings, 82235016 edges, 280971 markings/sec, 135 secs
lola: 46940075 markings, 84802069 edges, 278762 markings/sec, 140 secs
lola: 48328442 markings, 87357944 edges, 277673 markings/sec, 145 secs
lola: 49718183 markings, 89910924 edges, 277948 markings/sec, 150 secs
lola: 51097342 markings, 92451896 edges, 275832 markings/sec, 155 secs
lola: 52461809 markings, 94977736 edges, 272893 markings/sec, 160 secs
lola: 53817437 markings, 97486748 edges, 271126 markings/sec, 165 secs
lola: 55183727 markings, 100009965 edges, 273258 markings/sec, 170 secs
lola: 56521399 markings, 102494653 edges, 267534 markings/sec, 175 secs
lola: 57883107 markings, 105005989 edges, 272342 markings/sec, 180 secs
lola: 59244346 markings, 107523776 edges, 272248 markings/sec, 185 secs
lola: 60606070 markings, 110045586 edges, 272345 markings/sec, 190 secs
lola: 61961425 markings, 112554270 edges, 271071 markings/sec, 195 secs
lola: 63340059 markings, 115088925 edges, 275727 markings/sec, 200 secs
lola: 64683104 markings, 117586075 edges, 268609 markings/sec, 205 secs
lola: 66024128 markings, 120073216 edges, 268205 markings/sec, 210 secs
lola: 67351892 markings, 122539787 edges, 265553 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(KdStarGStarP3k)
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: 1983047 markings, 3574535 edges, 396609 markings/sec, 0 secs
lola: 3857803 markings, 7006614 edges, 374951 markings/sec, 5 secs
lola: 5672248 markings, 10348804 edges, 362889 markings/sec, 10 secs
lola: 7407730 markings, 13567665 edges, 347096 markings/sec, 15 secs
lola: 9100217 markings, 16730442 edges, 338497 markings/sec, 20 secs
lola: 10787775 markings, 19888607 edges, 337512 markings/sec, 25 secs
lola: 12420740 markings, 22975757 edges, 326593 markings/sec, 30 secs
lola: 14046143 markings, 26040623 edges, 325081 markings/sec, 35 secs
lola: 15675185 markings, 29091928 edges, 325808 markings/sec, 40 secs
lola: 17271818 markings, 32122653 edges, 319327 markings/sec, 45 secs
lola: 18847266 markings, 35115230 edges, 315090 markings/sec, 50 secs
lola: 20431822 markings, 38107550 edges, 316911 markings/sec, 55 secs
lola: 21997869 markings, 41076090 edges, 313209 markings/sec, 60 secs
lola: 23559944 markings, 44035215 edges, 312415 markings/sec, 65 secs
lola: 25045327 markings, 46905032 edges, 297077 markings/sec, 70 secs
lola: 26540017 markings, 49773943 edges, 298938 markings/sec, 75 secs
lola: 28057384 markings, 52666187 edges, 303473 markings/sec, 80 secs
lola: 29575397 markings, 55553731 edges, 303603 markings/sec, 85 secs
lola: 31059077 markings, 58401153 edges, 296736 markings/sec, 90 secs
lola: 32554873 markings, 61258200 edges, 299159 markings/sec, 95 secs
lola: 34046282 markings, 64116852 edges, 298282 markings/sec, 100 secs
lola: 35487357 markings, 66897208 edges, 288215 markings/sec, 105 secs
lola: 36954864 markings, 69713053 edges, 293501 markings/sec, 110 secs
lola: 38438069 markings, 72558123 edges, 296641 markings/sec, 115 secs
lola: 39896088 markings, 75364096 edges, 291604 markings/sec, 120 secs
lola: 41333353 markings, 78146103 edges, 287453 markings/sec, 125 secs
lola: 42742182 markings, 80896144 edges, 281766 markings/sec, 130 secs
lola: 44165323 markings, 83661999 edges, 284628 markings/sec, 135 secs
lola: 45574325 markings, 86412298 edges, 281800 markings/sec, 140 secs
lola: 47015781 markings, 89197125 edges, 288291 markings/sec, 145 secs
lola: 48416910 markings, 91921485 edges, 280226 markings/sec, 150 secs
lola: 49786767 markings, 94624764 edges, 273971 markings/sec, 155 secs
lola: 51220430 markings, 97399690 edges, 286733 markings/sec, 160 secs
lola: 52639043 markings, 100164952 edges, 283723 markings/sec, 165 secs
lola: 54040447 markings, 102896829 edges, 280281 markings/sec, 170 secs
lola: 55424987 markings, 105611509 edges, 276908 markings/sec, 175 secs
lola: 56861822 markings, 108388286 edges, 287367 markings/sec, 180 secs
lola: 58273769 markings, 111138583 edges, 282389 markings/sec, 185 secs
lola: 59634248 markings, 113822493 edges, 272096 markings/sec, 190 secs
lola: 61046608 markings, 116559875 edges, 282472 markings/sec, 195 secs
lola: 62415754 markings, 119245734 edges, 273829 markings/sec, 200 secs
lola: 63760193 markings, 121905237 edges, 268888 markings/sec, 205 secs
lola: 65112482 markings, 124578619 edges, 270458 markings/sec, 210 secs
lola: 66452164 markings, 127226252 edges, 267936 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(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: 2412728 markings, 3909190 edges, 482546 markings/sec, 0 secs
lola: 4522052 markings, 7366451 edges, 421865 markings/sec, 5 secs
lola: 6476369 markings, 10588619 edges, 390863 markings/sec, 10 secs
lola: 8396200 markings, 13752708 edges, 383966 markings/sec, 15 secs
lola: 10280136 markings, 16857958 edges, 376787 markings/sec, 20 secs
lola: 12141004 markings, 19943949 edges, 372174 markings/sec, 25 secs
lola: 13924242 markings, 22903141 edges, 356648 markings/sec, 30 secs
lola: 15696790 markings, 25832999 edges, 354510 markings/sec, 35 secs
lola: 17498013 markings, 28815212 edges, 360245 markings/sec, 40 secs
lola: 19270573 markings, 31751099 edges, 354512 markings/sec, 45 secs
lola: 20984973 markings, 34592764 edges, 342880 markings/sec, 50 secs
lola: 22644473 markings, 37344601 edges, 331900 markings/sec, 55 secs
lola: 24328196 markings, 40135679 edges, 336745 markings/sec, 60 secs
lola: 25881614 markings, 42720944 edges, 310684 markings/sec, 65 secs
lola: 27489132 markings, 45391679 edges, 321504 markings/sec, 70 secs
lola: 29127107 markings, 48122092 edges, 327595 markings/sec, 75 secs
lola: 30734166 markings, 50792936 edges, 321412 markings/sec, 80 secs
lola: 32349495 markings, 53473465 edges, 323066 markings/sec, 85 secs
lola: 34038612 markings, 56292482 edges, 337823 markings/sec, 90 secs
lola: 35738446 markings, 59115644 edges, 339967 markings/sec, 95 secs
lola: 37433838 markings, 61933227 edges, 339078 markings/sec, 100 secs
lola: 39111108 markings, 64722583 edges, 335454 markings/sec, 105 secs
lola: 40773681 markings, 67489147 edges, 332515 markings/sec, 110 secs
lola: 42434945 markings, 70253904 edges, 332253 markings/sec, 115 secs
lola: 44082868 markings, 73004988 edges, 329585 markings/sec, 120 secs
lola: 45714776 markings, 75723491 edges, 326382 markings/sec, 125 secs
lola: 47326328 markings, 78406112 edges, 322310 markings/sec, 130 secs
lola: 48961059 markings, 81125931 edges, 326946 markings/sec, 135 secs
lola: 50590366 markings, 83836133 edges, 325861 markings/sec, 140 secs
lola: 52189401 markings, 86511467 edges, 319807 markings/sec, 145 secs
lola: 53802084 markings, 89199846 edges, 322537 markings/sec, 150 secs
lola: 55404366 markings, 91870771 edges, 320456 markings/sec, 155 secs
lola: 57014576 markings, 94543077 edges, 322042 markings/sec, 160 secs
lola: 58628270 markings, 97225512 edges, 322739 markings/sec, 165 secs
lola: 60248586 markings, 99921225 edges, 324063 markings/sec, 170 secs
lola: 61828455 markings, 102559316 edges, 315974 markings/sec, 175 secs
lola: 63447467 markings, 105240659 edges, 323802 markings/sec, 180 secs
lola: 65043943 markings, 107886786 edges, 319295 markings/sec, 185 secs
lola: 66601533 markings, 110497149 edges, 311518 markings/sec, 190 secs
lola: 68198728 markings, 113151374 edges, 319439 markings/sec, 195 secs
lola: 69759457 markings, 115757496 edges, 312146 markings/sec, 200 secs
lola: 71303193 markings, 118341560 edges, 308747 markings/sec, 205 secs
lola: 72848041 markings, 120922122 edges, 308970 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(GStarP3kP3)
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: 2268638 markings, 4119042 edges, 453728 markings/sec, 0 secs
lola: 4375851 markings, 8036209 edges, 421443 markings/sec, 5 secs
lola: 6468401 markings, 11923423 edges, 418510 markings/sec, 10 secs
lola: 8529845 markings, 15892258 edges, 412289 markings/sec, 15 secs
lola: 10555209 markings, 19789344 edges, 405073 markings/sec, 20 secs
lola: 12555065 markings, 23699221 edges, 399971 markings/sec, 25 secs
lola: 14523492 markings, 27610462 edges, 393685 markings/sec, 30 secs
lola: 16491814 markings, 31496964 edges, 393664 markings/sec, 35 secs
lola: 18423828 markings, 35367700 edges, 386403 markings/sec, 40 secs
lola: 20330489 markings, 39160870 edges, 381332 markings/sec, 45 secs
lola: 22220420 markings, 42972225 edges, 377986 markings/sec, 50 secs
lola: 24090987 markings, 46770725 edges, 374113 markings/sec, 55 secs
lola: 25931946 markings, 50448401 edges, 368192 markings/sec, 60 secs
lola: 27798541 markings, 54257784 edges, 373319 markings/sec, 65 secs
lola: 29616833 markings, 58011307 edges, 363658 markings/sec, 70 secs
lola: 31325648 markings, 61559449 edges, 341763 markings/sec, 75 secs
lola: 33052218 markings, 65137609 edges, 345314 markings/sec, 80 secs
lola: 34780974 markings, 68686887 edges, 345751 markings/sec, 85 secs
lola: 36499441 markings, 72254973 edges, 343693 markings/sec, 90 secs
lola: 38231002 markings, 75778085 edges, 346312 markings/sec, 95 secs
lola: 39955721 markings, 79338161 edges, 344944 markings/sec, 100 secs
lola: 41586858 markings, 82638926 edges, 326227 markings/sec, 105 secs
lola: 43152822 markings, 85869371 edges, 313193 markings/sec, 110 secs
lola: 44717444 markings, 89118037 edges, 312924 markings/sec, 115 secs
lola: 46298849 markings, 92382653 edges, 316281 markings/sec, 120 secs
lola: 47994093 markings, 95884588 edges, 339049 markings/sec, 125 secs
lola: 49731563 markings, 99423115 edges, 347494 markings/sec, 130 secs
lola: 51352502 markings, 102789927 edges, 324188 markings/sec, 135 secs
lola: 53047182 markings, 106326255 edges, 338936 markings/sec, 140 secs
lola: 54802994 markings, 109919308 edges, 351162 markings/sec, 145 secs
lola: 56522894 markings, 113566554 edges, 343980 markings/sec, 150 secs
lola: 58307427 markings, 117207992 edges, 356907 markings/sec, 155 secs
lola: 60020894 markings, 120748892 edges, 342693 markings/sec, 160 secs
lola: 61741648 markings, 124271105 edges, 344151 markings/sec, 165 secs
lola: 63449955 markings, 127821991 edges, 341661 markings/sec, 170 secs
lola: 65158178 markings, 131361679 edges, 341645 markings/sec, 175 secs
lola: 66882833 markings, 134896366 edges, 344931 markings/sec, 180 secs
lola: 68526036 markings, 138356383 edges, 328641 markings/sec, 185 secs
lola: 70229899 markings, 141893473 edges, 340773 markings/sec, 190 secs
lola: 71875825 markings, 145378563 edges, 329185 markings/sec, 195 secs
lola: 73539458 markings, 148909914 edges, 332727 markings/sec, 200 secs
lola: 75160167 markings, 152246157 edges, 324142 markings/sec, 205 secs
lola: 76666483 markings, 155360057 edges, 301263 markings/sec, 210 secs
lola: 78339805 markings, 158829478 edges, 334664 markings/sec, 215 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-20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494601865464

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