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 PaceMaker-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440484800299
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494644300330


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PaceMaker-PT-none @ 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: 234/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 70 places, 164 transitions, 35 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 105 transition conflict sets
lola: TASK
lola: reading formula from PaceMaker-PT-none-UpperBounds.task
lola: MAX(Atrium) : MAX(A_LRI) : MAX(A_SIG_IncrClk) : MAX(A_RAConductor) : MAX(A_SIG_IncrClk) : MAX(A_AVI) : MAX(A_SIG_Aget) : MAX(RVConductor) : MAX(VRGEctopic) : MAX(A_VRG) : MAX(A_SIG_Vget) : MAX(A_SIG_Clk0) : MAX(A_SIG_VPOut) : MAX(SIG_Vbeat) : MAX(A_SIG_Clk1) : MAX(A_LRI)
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(Atrium)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2539249 markings, 3012410 edges, 507850 markings/sec, 0 secs
lola: 5162527 markings, 6097812 edges, 524656 markings/sec, 5 secs
lola: 7726548 markings, 9124120 edges, 512804 markings/sec, 10 secs
lola: 10221100 markings, 12087053 edges, 498910 markings/sec, 15 secs
lola: 12765270 markings, 15123158 edges, 508834 markings/sec, 20 secs
lola: 15234765 markings, 18069523 edges, 493899 markings/sec, 25 secs
lola: 17717397 markings, 21040226 edges, 496526 markings/sec, 30 secs
lola: 20224706 markings, 24048504 edges, 501462 markings/sec, 35 secs
lola: 22557413 markings, 26851918 edges, 466541 markings/sec, 40 secs
lola: 24794746 markings, 29550568 edges, 447467 markings/sec, 45 secs
lola: 27261067 markings, 32531505 edges, 493264 markings/sec, 50 secs
lola: 29734015 markings, 35522537 edges, 494590 markings/sec, 55 secs
lola: 32215185 markings, 38530007 edges, 496234 markings/sec, 60 secs
lola: 34665795 markings, 41640767 edges, 490122 markings/sec, 65 secs
lola: 36945958 markings, 44401182 edges, 456033 markings/sec, 70 secs
lola: 39310037 markings, 47265466 edges, 472816 markings/sec, 75 secs
lola: 41764610 markings, 50246136 edges, 490915 markings/sec, 80 secs
lola: 44214860 markings, 53220283 edges, 490050 markings/sec, 85 secs
lola: 46422762 markings, 55903096 edges, 441580 markings/sec, 90 secs
lola: 48814912 markings, 58808280 edges, 478430 markings/sec, 95 secs
lola: 51169455 markings, 61789344 edges, 470909 markings/sec, 100 secs
lola: 53569509 markings, 64709233 edges, 480011 markings/sec, 105 secs
lola: 56012408 markings, 67681276 edges, 488580 markings/sec, 110 secs
lola: 58372624 markings, 70552411 edges, 472043 markings/sec, 115 secs
lola: 60815413 markings, 73516316 edges, 488558 markings/sec, 120 secs
lola: 63260181 markings, 76486297 edges, 488954 markings/sec, 125 secs
lola: 65702889 markings, 79449903 edges, 488542 markings/sec, 130 secs
lola: 68141667 markings, 82415932 edges, 487756 markings/sec, 135 secs
lola: 70589251 markings, 85389017 edges, 489517 markings/sec, 140 secs
lola: 72915157 markings, 88214567 edges, 465181 markings/sec, 145 secs
lola: 75347193 markings, 91177431 edges, 486407 markings/sec, 150 secs
lola: 77704066 markings, 94049131 edges, 471375 markings/sec, 155 secs
lola: 80136552 markings, 97013952 edges, 486497 markings/sec, 160 secs
lola: 82441687 markings, 99823438 edges, 461027 markings/sec, 165 secs
lola: 84825381 markings, 102733584 edges, 476739 markings/sec, 170 secs
lola: 87238480 markings, 105680755 edges, 482620 markings/sec, 175 secs
lola: 89506405 markings, 108454058 edges, 453585 markings/sec, 180 secs
lola: 91750638 markings, 111189427 edges, 448847 markings/sec, 185 secs
lola: 94050602 markings, 114004167 edges, 459993 markings/sec, 190 secs
lola: 96466032 markings, 116965020 edges, 483086 markings/sec, 195 secs
lola: 98901500 markings, 119999085 edges, 487094 markings/sec, 200 secs
lola: 101311472 markings, 122953853 edges, 481994 markings/sec, 205 secs
lola: 103730329 markings, 125924931 edges, 483771 markings/sec, 210 secs
lola: 106143988 markings, 128890043 edges, 482732 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(A_LRI)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2159134 markings, 3065455 edges, 431827 markings/sec, 0 secs
lola: 4012263 markings, 6060974 edges, 370626 markings/sec, 5 secs
lola: 5787157 markings, 9352360 edges, 354979 markings/sec, 10 secs
lola: 7346730 markings, 12720388 edges, 311915 markings/sec, 15 secs
lola: 8931543 markings, 15816592 edges, 316963 markings/sec, 20 secs
lola: 10409145 markings, 18649804 edges, 295520 markings/sec, 25 secs
lola: 11890469 markings, 21493738 edges, 296265 markings/sec, 30 secs
lola: 13430092 markings, 24673344 edges, 307925 markings/sec, 35 secs
lola: 14933576 markings, 27618594 edges, 300697 markings/sec, 40 secs
lola: 16400902 markings, 30511172 edges, 293465 markings/sec, 45 secs
lola: 17858600 markings, 33433193 edges, 291540 markings/sec, 50 secs
lola: 19306563 markings, 36351809 edges, 289593 markings/sec, 55 secs
lola: 20680682 markings, 39183661 edges, 274824 markings/sec, 60 secs
lola: 21999950 markings, 41981398 edges, 263854 markings/sec, 65 secs
lola: 23288101 markings, 44858285 edges, 257630 markings/sec, 70 secs
lola: 24624406 markings, 47851107 edges, 267261 markings/sec, 75 secs
lola: 25972349 markings, 50910721 edges, 269589 markings/sec, 80 secs
lola: 27327378 markings, 53921299 edges, 271006 markings/sec, 85 secs
lola: 28720664 markings, 56976002 edges, 278657 markings/sec, 90 secs
lola: 30149078 markings, 60001285 edges, 285683 markings/sec, 95 secs
lola: 31597456 markings, 62994594 edges, 289676 markings/sec, 100 secs
lola: 33030474 markings, 65912285 edges, 286604 markings/sec, 105 secs
lola: 34494297 markings, 69364869 edges, 292765 markings/sec, 110 secs
lola: 35957325 markings, 72327159 edges, 292606 markings/sec, 115 secs
lola: 37395635 markings, 75302409 edges, 287662 markings/sec, 120 secs
lola: 38839194 markings, 78248511 edges, 288712 markings/sec, 125 secs
lola: 40290619 markings, 81186431 edges, 290285 markings/sec, 130 secs
lola: 41745347 markings, 84142044 edges, 290946 markings/sec, 135 secs
lola: 43184692 markings, 87033484 edges, 287869 markings/sec, 140 secs
lola: 44610608 markings, 89945258 edges, 285183 markings/sec, 145 secs
lola: 46114548 markings, 92922658 edges, 300788 markings/sec, 150 secs
lola: 47541227 markings, 95819710 edges, 285336 markings/sec, 155 secs
lola: 48963085 markings, 98740150 edges, 284372 markings/sec, 160 secs
lola: 50441490 markings, 101726510 edges, 295681 markings/sec, 165 secs
lola: 51852383 markings, 104666342 edges, 282179 markings/sec, 170 secs
lola: 53287699 markings, 107663579 edges, 287063 markings/sec, 175 secs
lola: 54693370 markings, 110635908 edges, 281134 markings/sec, 180 secs
lola: 56122144 markings, 113629972 edges, 285755 markings/sec, 185 secs
lola: 57588610 markings, 116652731 edges, 293293 markings/sec, 190 secs
lola: 59039433 markings, 119677566 edges, 290165 markings/sec, 195 secs
lola: 60497459 markings, 122697296 edges, 291605 markings/sec, 200 secs
lola: 61951469 markings, 125708884 edges, 290802 markings/sec, 205 secs
lola: 63309850 markings, 128553268 edges, 271676 markings/sec, 210 secs
lola: 64713343 markings, 131494910 edges, 280699 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(A_SIG_IncrClk)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2393881 markings, 4753200 edges, 478776 markings/sec, 0 secs
lola: 4489511 markings, 9255028 edges, 419126 markings/sec, 5 secs
lola: 6759980 markings, 13318860 edges, 454094 markings/sec, 10 secs
lola: 8684548 markings, 17210935 edges, 384914 markings/sec, 15 secs
lola: 9720584 markings, 21307067 edges, 207207 markings/sec, 20 secs
lola: 11691122 markings, 25600088 edges, 394108 markings/sec, 25 secs
lola: 14005640 markings, 29762264 edges, 462904 markings/sec, 30 secs
lola: 16385822 markings, 33908397 edges, 476036 markings/sec, 35 secs
lola: 18753703 markings, 37897480 edges, 473576 markings/sec, 40 secs
lola: 21006073 markings, 41786951 edges, 450474 markings/sec, 45 secs
lola: 23152669 markings, 45549437 edges, 429319 markings/sec, 50 secs
lola: 25149763 markings, 49228768 edges, 399419 markings/sec, 55 secs
lola: 27147875 markings, 52910786 edges, 399622 markings/sec, 60 secs
lola: 29116252 markings, 56595309 edges, 393675 markings/sec, 65 secs
lola: 30885806 markings, 59969245 edges, 353911 markings/sec, 70 secs
lola: 32766920 markings, 63608752 edges, 376223 markings/sec, 75 secs
lola: 34535669 markings, 67066372 edges, 353750 markings/sec, 80 secs
lola: 36327291 markings, 70623915 edges, 358324 markings/sec, 85 secs
lola: 37964818 markings, 73985215 edges, 327505 markings/sec, 90 secs
lola: 39699730 markings, 77551951 edges, 346982 markings/sec, 95 secs
lola: 41436507 markings, 81182000 edges, 347355 markings/sec, 100 secs
lola: 43096125 markings, 84880857 edges, 331924 markings/sec, 105 secs
lola: 44779190 markings, 88535269 edges, 336613 markings/sec, 110 secs
lola: 46193183 markings, 92233184 edges, 282799 markings/sec, 115 secs
lola: 47948167 markings, 96029409 edges, 350997 markings/sec, 120 secs
lola: 49519515 markings, 99841883 edges, 314270 markings/sec, 125 secs
lola: 50167251 markings, 103222596 edges, 129547 markings/sec, 130 secs
lola: 50599712 markings, 106536646 edges, 86492 markings/sec, 135 secs
lola: 50985374 markings, 110001745 edges, 77132 markings/sec, 140 secs
lola: 51306522 markings, 113622560 edges, 64230 markings/sec, 145 secs
lola: 51673066 markings, 117782526 edges, 73309 markings/sec, 150 secs
lola: 53699505 markings, 121655855 edges, 405288 markings/sec, 155 secs
lola: 55897385 markings, 125123596 edges, 439576 markings/sec, 160 secs
lola: 57995123 markings, 128525952 edges, 419548 markings/sec, 165 secs
lola: 60014763 markings, 131892727 edges, 403928 markings/sec, 170 secs
lola: 61960347 markings, 135208869 edges, 389117 markings/sec, 175 secs
lola: 63819234 markings, 138466335 edges, 371777 markings/sec, 180 secs
lola: 65614155 markings, 141694680 edges, 358984 markings/sec, 185 secs
lola: 67373228 markings, 144915849 edges, 351815 markings/sec, 190 secs
lola: 69095331 markings, 148127794 edges, 344421 markings/sec, 195 secs
lola: 70789866 markings, 151329166 edges, 338907 markings/sec, 200 secs
lola: 72470387 markings, 154542628 edges, 336104 markings/sec, 205 secs
lola: 74143296 markings, 157750592 edges, 334582 markings/sec, 210 secs
lola: 75782855 markings, 160934724 edges, 327912 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(A_RAConductor)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 1564872 markings, 2524985 edges, 312974 markings/sec, 0 secs
lola: 3092466 markings, 4997577 edges, 305519 markings/sec, 5 secs
lola: 4662341 markings, 7541199 edges, 313975 markings/sec, 10 secs
lola: 6187058 markings, 10013057 edges, 304943 markings/sec, 15 secs
lola: 7665899 markings, 12448338 edges, 295768 markings/sec, 20 secs
lola: 9174448 markings, 14911361 edges, 301710 markings/sec, 25 secs
lola: 10677868 markings, 17368500 edges, 300684 markings/sec, 30 secs
lola: 12140955 markings, 19799092 edges, 292617 markings/sec, 35 secs
lola: 13580910 markings, 22230335 edges, 287991 markings/sec, 40 secs
lola: 15023790 markings, 24661200 edges, 288576 markings/sec, 45 secs
lola: 16429415 markings, 27085646 edges, 281125 markings/sec, 50 secs
lola: 17838618 markings, 29517987 edges, 281841 markings/sec, 55 secs
lola: 19238633 markings, 31950910 edges, 280003 markings/sec, 60 secs
lola: 20629512 markings, 34409122 edges, 278176 markings/sec, 65 secs
lola: 22004889 markings, 36862690 edges, 275075 markings/sec, 70 secs
lola: 23365921 markings, 39325784 edges, 272206 markings/sec, 75 secs
lola: 24713405 markings, 41807482 edges, 269497 markings/sec, 80 secs
lola: 26049858 markings, 44306241 edges, 267291 markings/sec, 85 secs
lola: 27363523 markings, 46831558 edges, 262733 markings/sec, 90 secs
lola: 28673897 markings, 49346289 edges, 262075 markings/sec, 95 secs
lola: 29958256 markings, 51898302 edges, 256872 markings/sec, 100 secs
lola: 31213470 markings, 54474764 edges, 251043 markings/sec, 105 secs
lola: 32446273 markings, 57050087 edges, 246561 markings/sec, 110 secs
lola: 33687395 markings, 59596588 edges, 248224 markings/sec, 115 secs
lola: 34959759 markings, 62114777 edges, 254473 markings/sec, 120 secs
lola: 36236175 markings, 64609244 edges, 255283 markings/sec, 125 secs
lola: 37502098 markings, 67078068 edges, 253185 markings/sec, 130 secs
lola: 38699533 markings, 69432968 edges, 239487 markings/sec, 135 secs
lola: 39952322 markings, 71907028 edges, 250558 markings/sec, 140 secs
lola: 41215581 markings, 74415035 edges, 252652 markings/sec, 145 secs
lola: 42458408 markings, 76913026 edges, 248565 markings/sec, 150 secs
lola: 43688384 markings, 79407229 edges, 245995 markings/sec, 155 secs
lola: 44912381 markings, 81899418 edges, 244799 markings/sec, 160 secs
lola: 46124847 markings, 84411534 edges, 242493 markings/sec, 165 secs
lola: 47341249 markings, 86928182 edges, 243280 markings/sec, 170 secs
lola: 48553055 markings, 89460175 edges, 242361 markings/sec, 175 secs
lola: 49755083 markings, 91999216 edges, 240406 markings/sec, 180 secs
lola: 50947390 markings, 94557460 edges, 238461 markings/sec, 185 secs
lola: 52135376 markings, 97135793 edges, 237597 markings/sec, 190 secs
lola: 53326019 markings, 99739959 edges, 238129 markings/sec, 195 secs
lola: 54514832 markings, 102385999 edges, 237763 markings/sec, 200 secs
lola: 55696976 markings, 105008390 edges, 236429 markings/sec, 205 secs
lola: 56840394 markings, 107733634 edges, 228684 markings/sec, 210 secs
lola: 57958603 markings, 110373838 edges, 223642 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(A_SIG_IncrClk)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2393725 markings, 4752900 edges, 478745 markings/sec, 0 secs
lola: 4478756 markings, 9238078 edges, 417006 markings/sec, 5 secs
lola: 6745241 markings, 13290711 edges, 453297 markings/sec, 10 secs
lola: 8658762 markings, 17157343 edges, 382704 markings/sec, 15 secs
lola: 9708744 markings, 21185302 edges, 209996 markings/sec, 20 secs
lola: 11635958 markings, 25488294 edges, 385443 markings/sec, 25 secs
lola: 13893773 markings, 29588443 edges, 451563 markings/sec, 30 secs
lola: 16278673 markings, 33733617 edges, 476980 markings/sec, 35 secs
lola: 18643656 markings, 37712890 edges, 472997 markings/sec, 40 secs
lola: 20892086 markings, 41591631 edges, 449686 markings/sec, 45 secs
lola: 23035738 markings, 45344402 edges, 428730 markings/sec, 50 secs
lola: 25068182 markings, 49080010 edges, 406489 markings/sec, 55 secs
lola: 27059552 markings, 52748673 edges, 398274 markings/sec, 60 secs
lola: 29026780 markings, 56426447 edges, 393446 markings/sec, 65 secs
lola: 30962388 markings, 60118813 edges, 387122 markings/sec, 70 secs
lola: 32848783 markings, 63765914 edges, 377279 markings/sec, 75 secs
lola: 34720459 markings, 67433399 edges, 374335 markings/sec, 80 secs
lola: 36544702 markings, 71052883 edges, 364849 markings/sec, 85 secs
lola: 38290396 markings, 74645351 edges, 349139 markings/sec, 90 secs
lola: 40019732 markings, 78216213 edges, 345867 markings/sec, 95 secs
lola: 41762567 markings, 81896344 edges, 348567 markings/sec, 100 secs
lola: 43418990 markings, 85584111 edges, 331285 markings/sec, 105 secs
lola: 45084231 markings, 89228978 edges, 333048 markings/sec, 110 secs
lola: 46523380 markings, 92982812 edges, 287830 markings/sec, 115 secs
lola: 48279615 markings, 96730465 edges, 351247 markings/sec, 120 secs
lola: 49658910 markings, 100466785 edges, 275859 markings/sec, 125 secs
lola: 50244705 markings, 103810388 edges, 117159 markings/sec, 130 secs
lola: 50674400 markings, 107132900 edges, 85939 markings/sec, 135 secs
lola: 51042278 markings, 110611510 edges, 73576 markings/sec, 140 secs
lola: 51365912 markings, 114301392 edges, 64727 markings/sec, 145 secs
lola: 51753563 markings, 118642876 edges, 77530 markings/sec, 150 secs
lola: 54084514 markings, 122255767 edges, 466190 markings/sec, 155 secs
lola: 56251307 markings, 125695580 edges, 433359 markings/sec, 160 secs
lola: 58340563 markings, 129097101 edges, 417851 markings/sec, 165 secs
lola: 60348239 markings, 132450698 edges, 401535 markings/sec, 170 secs
lola: 62275850 markings, 135752770 edges, 385522 markings/sec, 175 secs
lola: 64120781 markings, 139001512 edges, 368986 markings/sec, 180 secs
lola: 65900686 markings, 142221380 edges, 355981 markings/sec, 185 secs
lola: 67660336 markings, 145443770 edges, 351930 markings/sec, 190 secs
lola: 69374437 markings, 148650986 edges, 342820 markings/sec, 195 secs
lola: 71066846 markings, 151852752 edges, 338482 markings/sec, 200 secs
lola: 72750131 markings, 155068594 edges, 336657 markings/sec, 205 secs
lola: 74415948 markings, 158275533 edges, 333163 markings/sec, 210 secs
lola: 76045228 markings, 161451675 edges, 325856 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(A_AVI)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2174486 markings, 3903085 edges, 434897 markings/sec, 0 secs
lola: 4325170 markings, 7484968 edges, 430137 markings/sec, 5 secs
lola: 5800392 markings, 11050077 edges, 295044 markings/sec, 10 secs
lola: 7635108 markings, 14943705 edges, 366943 markings/sec, 15 secs
lola: 9642189 markings, 18326686 edges, 401416 markings/sec, 20 secs
lola: 10894165 markings, 21814285 edges, 250395 markings/sec, 25 secs
lola: 12838807 markings, 25776527 edges, 388928 markings/sec, 30 secs
lola: 14862571 markings, 29295882 edges, 404753 markings/sec, 35 secs
lola: 16171766 markings, 33003169 edges, 261839 markings/sec, 40 secs
lola: 18126709 markings, 36857219 edges, 390989 markings/sec, 45 secs
lola: 20072535 markings, 40272318 edges, 389165 markings/sec, 50 secs
lola: 21331768 markings, 43832713 edges, 251847 markings/sec, 55 secs
lola: 23402058 markings, 47444600 edges, 414058 markings/sec, 60 secs
lola: 25726350 markings, 50951271 edges, 464858 markings/sec, 65 secs
lola: 27819323 markings, 54319584 edges, 418595 markings/sec, 70 secs
lola: 29854732 markings, 57572973 edges, 407082 markings/sec, 75 secs
lola: 31754676 markings, 60861740 edges, 379989 markings/sec, 80 secs
lola: 33589659 markings, 64121702 edges, 366997 markings/sec, 85 secs
lola: 35285383 markings, 67410478 edges, 339145 markings/sec, 90 secs
lola: 36889319 markings, 70772453 edges, 320787 markings/sec, 95 secs
lola: 38561551 markings, 74270427 edges, 334446 markings/sec, 100 secs
lola: 40373019 markings, 77756167 edges, 362294 markings/sec, 105 secs
lola: 42315999 markings, 81216710 edges, 388596 markings/sec, 110 secs
lola: 43937555 markings, 84667684 edges, 324311 markings/sec, 115 secs
lola: 44357786 markings, 87913094 edges, 84046 markings/sec, 120 secs
lola: 44740529 markings, 91077641 edges, 76549 markings/sec, 125 secs
lola: 45835303 markings, 94781865 edges, 218955 markings/sec, 130 secs
lola: 47858059 markings, 98133596 edges, 404551 markings/sec, 135 secs
lola: 49970734 markings, 101446346 edges, 422535 markings/sec, 140 secs
lola: 51996533 markings, 104745454 edges, 405160 markings/sec, 145 secs
lola: 53956613 markings, 107921755 edges, 392016 markings/sec, 150 secs
lola: 55764421 markings, 111101053 edges, 361562 markings/sec, 155 secs
lola: 57504815 markings, 114224452 edges, 348079 markings/sec, 160 secs
lola: 59083119 markings, 117437662 edges, 315661 markings/sec, 165 secs
lola: 60583768 markings, 120716187 edges, 300130 markings/sec, 170 secs
lola: 62046054 markings, 124007187 edges, 292457 markings/sec, 175 secs
lola: 63717661 markings, 127467911 edges, 334321 markings/sec, 180 secs
lola: 65551476 markings, 130865892 edges, 366763 markings/sec, 185 secs
lola: 67246252 markings, 134242835 edges, 338955 markings/sec, 190 secs
lola: 68075660 markings, 137501605 edges, 165882 markings/sec, 195 secs
lola: 68331228 markings, 140400038 edges, 51114 markings/sec, 200 secs
lola: 68677241 markings, 143488987 edges, 69203 markings/sec, 205 secs
lola: 69833851 markings, 147119312 edges, 231322 markings/sec, 210 secs
lola: 71952203 markings, 150507057 edges, 423670 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(A_SIG_Aget)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 3292717 markings, 4373562 edges, 658543 markings/sec, 0 secs
lola: 6488221 markings, 8777734 edges, 639101 markings/sec, 5 secs
lola: 9241705 markings, 13015516 edges, 550697 markings/sec, 10 secs
lola: 11969635 markings, 17025616 edges, 545586 markings/sec, 15 secs
lola: 14330519 markings, 20894094 edges, 472177 markings/sec, 20 secs
lola: 16713959 markings, 24863836 edges, 476688 markings/sec, 25 secs
lola: 19705611 markings, 29046398 edges, 598330 markings/sec, 30 secs
lola: 22651783 markings, 33154502 edges, 589234 markings/sec, 35 secs
lola: 25532130 markings, 37197522 edges, 576069 markings/sec, 40 secs
lola: 28275594 markings, 41161690 edges, 548693 markings/sec, 45 secs
lola: 31000616 markings, 45099410 edges, 545004 markings/sec, 50 secs
lola: 33569098 markings, 48924820 edges, 513696 markings/sec, 55 secs
lola: 36186923 markings, 52845539 edges, 523565 markings/sec, 60 secs
lola: 38784767 markings, 56845395 edges, 519569 markings/sec, 65 secs
lola: 41400149 markings, 60856049 edges, 523076 markings/sec, 70 secs
lola: 44035752 markings, 64767328 edges, 527121 markings/sec, 75 secs
lola: 46626400 markings, 68589196 edges, 518130 markings/sec, 80 secs
lola: 49072663 markings, 72286768 edges, 489253 markings/sec, 85 secs
lola: 51513716 markings, 76064603 edges, 488211 markings/sec, 90 secs
lola: 53215980 markings, 79508720 edges, 340453 markings/sec, 95 secs
lola: 54347865 markings, 83444211 edges, 226377 markings/sec, 100 secs
lola: 56185764 markings, 87601634 edges, 367580 markings/sec, 105 secs
lola: 59013711 markings, 91425636 edges, 565589 markings/sec, 110 secs
lola: 61769986 markings, 95201269 edges, 551255 markings/sec, 115 secs
lola: 64440603 markings, 98914000 edges, 534123 markings/sec, 120 secs
lola: 67050004 markings, 102575819 edges, 521880 markings/sec, 125 secs
lola: 69589582 markings, 106212031 edges, 507916 markings/sec, 130 secs
lola: 72074937 markings, 109819014 edges, 497071 markings/sec, 135 secs
lola: 74486187 markings, 113408443 edges, 482250 markings/sec, 140 secs
lola: 76866715 markings, 117004344 edges, 476106 markings/sec, 145 secs
lola: 79227023 markings, 120597066 edges, 472062 markings/sec, 150 secs
lola: 81587646 markings, 124226803 edges, 472125 markings/sec, 155 secs
lola: 83937692 markings, 127891469 edges, 470009 markings/sec, 160 secs
lola: 86344703 markings, 131563148 edges, 481402 markings/sec, 165 secs
lola: 88686833 markings, 135058203 edges, 468426 markings/sec, 170 secs
lola: 91109588 markings, 138609458 edges, 484551 markings/sec, 175 secs
lola: 93467137 markings, 142106478 edges, 471510 markings/sec, 180 secs
lola: 95702276 markings, 145534376 edges, 447028 markings/sec, 185 secs
lola: 97894423 markings, 149044948 edges, 438429 markings/sec, 190 secs
lola: 100242175 markings, 152602841 edges, 469550 markings/sec, 195 secs
lola: 101660343 markings, 155678634 edges, 283634 markings/sec, 200 secs
lola: 102761547 markings, 158920102 edges, 220241 markings/sec, 205 secs
lola: 103531935 markings, 162391525 edges, 154078 markings/sec, 210 secs
lola: 104873143 markings, 166097231 edges, 268242 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(RVConductor)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 1838576 markings, 2157069 edges, 367715 markings/sec, 0 secs
lola: 3681130 markings, 4322732 edges, 368511 markings/sec, 5 secs
lola: 5500929 markings, 6460863 edges, 363960 markings/sec, 10 secs
lola: 7311442 markings, 8603366 edges, 362103 markings/sec, 15 secs
lola: 9117379 markings, 10744267 edges, 361187 markings/sec, 20 secs
lola: 10917294 markings, 12884848 edges, 359983 markings/sec, 25 secs
lola: 12708168 markings, 15020069 edges, 358175 markings/sec, 30 secs
lola: 14495658 markings, 17154562 edges, 357498 markings/sec, 35 secs
lola: 16275914 markings, 19287414 edges, 356051 markings/sec, 40 secs
lola: 18051290 markings, 21413785 edges, 355075 markings/sec, 45 secs
lola: 19822767 markings, 23543675 edges, 354295 markings/sec, 50 secs
lola: 21590260 markings, 25670639 edges, 353499 markings/sec, 55 secs
lola: 23355939 markings, 27797024 edges, 353136 markings/sec, 60 secs
lola: 25120327 markings, 29920655 edges, 352878 markings/sec, 65 secs
lola: 26883804 markings, 32049330 edges, 352695 markings/sec, 70 secs
lola: 28642037 markings, 34173835 edges, 351647 markings/sec, 75 secs
lola: 30397189 markings, 36297718 edges, 351030 markings/sec, 80 secs
lola: 32134103 markings, 38548689 edges, 347383 markings/sec, 85 secs
lola: 33888357 markings, 40668499 edges, 350851 markings/sec, 90 secs
lola: 35637861 markings, 42789972 edges, 349901 markings/sec, 95 secs
lola: 37384340 markings, 44909520 edges, 349296 markings/sec, 100 secs
lola: 39130581 markings, 47029240 edges, 349248 markings/sec, 105 secs
lola: 40879268 markings, 49149223 edges, 349737 markings/sec, 110 secs
lola: 42627062 markings, 51269892 edges, 349559 markings/sec, 115 secs
lola: 44377818 markings, 53402640 edges, 350151 markings/sec, 120 secs
lola: 46103038 markings, 55611888 edges, 345044 markings/sec, 125 secs
lola: 47849308 markings, 57728332 edges, 349254 markings/sec, 130 secs
lola: 49591326 markings, 59844831 edges, 348404 markings/sec, 135 secs
lola: 51336598 markings, 61960128 edges, 349054 markings/sec, 140 secs
lola: 53077861 markings, 64077421 edges, 348253 markings/sec, 145 secs
lola: 54819151 markings, 66193303 edges, 348258 markings/sec, 150 secs
lola: 56559019 markings, 68310234 edges, 347974 markings/sec, 155 secs
lola: 58299370 markings, 70422219 edges, 348070 markings/sec, 160 secs
lola: 60040492 markings, 72538387 edges, 348224 markings/sec, 165 secs
lola: 61776569 markings, 74649072 edges, 347215 markings/sec, 170 secs
lola: 63519143 markings, 76764110 edges, 348515 markings/sec, 175 secs
lola: 65259740 markings, 78879492 edges, 348119 markings/sec, 180 secs
lola: 66997442 markings, 80993594 edges, 347540 markings/sec, 185 secs
lola: 68738180 markings, 83107304 edges, 348148 markings/sec, 190 secs
lola: 70472792 markings, 85220544 edges, 346922 markings/sec, 195 secs
lola: 72210365 markings, 87331594 edges, 347515 markings/sec, 200 secs
lola: 73942987 markings, 89441248 edges, 346524 markings/sec, 205 secs
lola: 75677653 markings, 91551237 edges, 346933 markings/sec, 210 secs
lola: 77408395 markings, 93659067 edges, 346148 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(VRGEctopic)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2378450 markings, 4653189 edges, 475690 markings/sec, 0 secs
lola: 4790522 markings, 9622049 edges, 482414 markings/sec, 5 secs
lola: 7240813 markings, 14635507 edges, 490058 markings/sec, 10 secs
lola: 9658197 markings, 19514256 edges, 483477 markings/sec, 15 secs
lola: 12108776 markings, 24650607 edges, 490116 markings/sec, 20 secs
lola: 14476105 markings, 29506856 edges, 473466 markings/sec, 25 secs
lola: 16845841 markings, 34317719 edges, 473947 markings/sec, 30 secs
lola: 19226353 markings, 39121027 edges, 476102 markings/sec, 35 secs
lola: 21592160 markings, 43920334 edges, 473161 markings/sec, 40 secs
lola: 23936845 markings, 48666916 edges, 468937 markings/sec, 45 secs
lola: 26271710 markings, 53393282 edges, 466973 markings/sec, 50 secs
lola: 28574015 markings, 58324947 edges, 460461 markings/sec, 55 secs
lola: 30946494 markings, 63122932 edges, 474496 markings/sec, 60 secs
lola: 33266317 markings, 67821049 edges, 463965 markings/sec, 65 secs
lola: 35573738 markings, 72513532 edges, 461484 markings/sec, 70 secs
lola: 37958429 markings, 77333167 edges, 476938 markings/sec, 75 secs
lola: 40277135 markings, 82032671 edges, 463741 markings/sec, 80 secs
lola: 42495366 markings, 86536908 edges, 443646 markings/sec, 85 secs
lola: 44806335 markings, 91235420 edges, 462194 markings/sec, 90 secs
lola: 47105337 markings, 95909561 edges, 459800 markings/sec, 95 secs
lola: 49418530 markings, 100615201 edges, 462639 markings/sec, 100 secs
lola: 51743449 markings, 105336003 edges, 464984 markings/sec, 105 secs
lola: 54032080 markings, 109994702 edges, 457726 markings/sec, 110 secs
lola: 56338740 markings, 114683737 edges, 461332 markings/sec, 115 secs
lola: 58625960 markings, 119338685 edges, 457444 markings/sec, 120 secs
lola: 60956320 markings, 124051498 edges, 466072 markings/sec, 125 secs
lola: 63259271 markings, 128731957 edges, 460590 markings/sec, 130 secs
lola: 65539809 markings, 133387254 edges, 456108 markings/sec, 135 secs
lola: 67819224 markings, 138030958 edges, 455883 markings/sec, 140 secs
lola: 70102822 markings, 142687254 edges, 456720 markings/sec, 145 secs
lola: 72376310 markings, 147351017 edges, 454698 markings/sec, 150 secs
lola: 74658548 markings, 152011743 edges, 456448 markings/sec, 155 secs
lola: 76947965 markings, 156677916 edges, 457883 markings/sec, 160 secs
lola: 79213531 markings, 161300821 edges, 453113 markings/sec, 165 secs
lola: 81516348 markings, 165977679 edges, 460563 markings/sec, 170 secs
lola: 83732681 markings, 170534561 edges, 443267 markings/sec, 175 secs
lola: 85985749 markings, 175136901 edges, 450614 markings/sec, 180 secs
lola: 88260987 markings, 179762847 edges, 455048 markings/sec, 185 secs
lola: 90548800 markings, 184433622 edges, 457563 markings/sec, 190 secs
lola: 92808383 markings, 189060526 edges, 451917 markings/sec, 195 secs
lola: 95082629 markings, 193714208 edges, 454849 markings/sec, 200 secs
lola: 97319107 markings, 198475987 edges, 447296 markings/sec, 205 secs
lola: 99569172 markings, 203093176 edges, 450013 markings/sec, 210 secs
lola: 101848110 markings, 207753092 edges, 455788 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(A_VRG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 1736603 markings, 2038718 edges, 347321 markings/sec, 0 secs
lola: 3496240 markings, 4105354 edges, 351927 markings/sec, 5 secs
lola: 5240524 markings, 6157477 edges, 348857 markings/sec, 10 secs
lola: 6976178 markings, 8207160 edges, 347131 markings/sec, 15 secs
lola: 8622453 markings, 10155879 edges, 329255 markings/sec, 20 secs
lola: 10349961 markings, 12210304 edges, 345502 markings/sec, 25 secs
lola: 12063669 markings, 14252100 edges, 342742 markings/sec, 30 secs
lola: 13714913 markings, 16224243 edges, 330249 markings/sec, 35 secs
lola: 15422352 markings, 18263432 edges, 341488 markings/sec, 40 secs
lola: 17127582 markings, 20309086 edges, 341046 markings/sec, 45 secs
lola: 18828493 markings, 22347316 edges, 340182 markings/sec, 50 secs
lola: 20524307 markings, 24385600 edges, 339163 markings/sec, 55 secs
lola: 22218290 markings, 26425720 edges, 338797 markings/sec, 60 secs
lola: 23883020 markings, 28433805 edges, 332946 markings/sec, 65 secs
lola: 25570191 markings, 30469739 edges, 337434 markings/sec, 70 secs
lola: 27255235 markings, 32503536 edges, 337009 markings/sec, 75 secs
lola: 28938126 markings, 34538778 edges, 336578 markings/sec, 80 secs
lola: 30623344 markings, 36577496 edges, 337044 markings/sec, 85 secs
lola: 32295671 markings, 38748038 edges, 334465 markings/sec, 90 secs
lola: 33975714 markings, 40781399 edges, 336009 markings/sec, 95 secs
lola: 35654278 markings, 42814883 edges, 335713 markings/sec, 100 secs
lola: 37326797 markings, 44842405 edges, 334504 markings/sec, 105 secs
lola: 39000769 markings, 46874364 edges, 334794 markings/sec, 110 secs
lola: 40674839 markings, 48903096 edges, 334814 markings/sec, 115 secs
lola: 42346698 markings, 50935422 edges, 334372 markings/sec, 120 secs
lola: 44018467 markings, 52967142 edges, 334354 markings/sec, 125 secs
lola: 45689251 markings, 54993468 edges, 334157 markings/sec, 130 secs
lola: 47323890 markings, 56980727 edges, 326928 markings/sec, 135 secs
lola: 48992834 markings, 59010142 edges, 333789 markings/sec, 140 secs
lola: 50653063 markings, 61142318 edges, 332046 markings/sec, 145 secs
lola: 52319806 markings, 63168600 edges, 333349 markings/sec, 150 secs
lola: 53990713 markings, 65197661 edges, 334181 markings/sec, 155 secs
lola: 55661879 markings, 67222859 edges, 334233 markings/sec, 160 secs
lola: 57327170 markings, 69244411 edges, 333058 markings/sec, 165 secs
lola: 58994513 markings, 71271627 edges, 333469 markings/sec, 170 secs
lola: 60657526 markings, 73296918 edges, 332603 markings/sec, 175 secs
lola: 62326177 markings, 75321999 edges, 333730 markings/sec, 180 secs
lola: 63994691 markings, 77346639 edges, 333703 markings/sec, 185 secs
lola: 65661421 markings, 79370577 edges, 333346 markings/sec, 190 secs
lola: 67325037 markings, 81394698 edges, 332723 markings/sec, 195 secs
lola: 68986754 markings, 83413408 edges, 332343 markings/sec, 200 secs
lola: 70651638 markings, 85436112 edges, 332977 markings/sec, 205 secs
lola: 72309322 markings, 87456624 edges, 331537 markings/sec, 210 secs
lola: 73971386 markings, 89481309 edges, 332413 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(A_SIG_Vget)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2885519 markings, 3733172 edges, 577104 markings/sec, 0 secs
lola: 5257449 markings, 6909433 edges, 474386 markings/sec, 5 secs
lola: 7550843 markings, 10009205 edges, 458679 markings/sec, 10 secs
lola: 9800343 markings, 13077478 edges, 449900 markings/sec, 15 secs
lola: 12046593 markings, 16180044 edges, 449250 markings/sec, 20 secs
lola: 14259292 markings, 19252167 edges, 442540 markings/sec, 25 secs
lola: 16462377 markings, 22291009 edges, 440617 markings/sec, 30 secs
lola: 18636284 markings, 25315335 edges, 434781 markings/sec, 35 secs
lola: 20824657 markings, 28338186 edges, 437675 markings/sec, 40 secs
lola: 23006165 markings, 31359094 edges, 436302 markings/sec, 45 secs
lola: 25154635 markings, 34361079 edges, 429694 markings/sec, 50 secs
lola: 27300077 markings, 37355654 edges, 429088 markings/sec, 55 secs
lola: 29439277 markings, 40372644 edges, 427840 markings/sec, 60 secs
lola: 31571921 markings, 43365009 edges, 426529 markings/sec, 65 secs
lola: 33708920 markings, 46366096 edges, 427400 markings/sec, 70 secs
lola: 35812227 markings, 49350414 edges, 420661 markings/sec, 75 secs
lola: 37911433 markings, 52351446 edges, 419841 markings/sec, 80 secs
lola: 40014271 markings, 55340238 edges, 420568 markings/sec, 85 secs
lola: 42117623 markings, 58335471 edges, 420670 markings/sec, 90 secs
lola: 44212723 markings, 61327927 edges, 419020 markings/sec, 95 secs
lola: 46294432 markings, 64302887 edges, 416342 markings/sec, 100 secs
lola: 48371295 markings, 67304444 edges, 415373 markings/sec, 105 secs
lola: 50451916 markings, 70301517 edges, 416124 markings/sec, 110 secs
lola: 52526459 markings, 73291777 edges, 414909 markings/sec, 115 secs
lola: 54591996 markings, 76284988 edges, 413107 markings/sec, 120 secs
lola: 56649576 markings, 79271667 edges, 411516 markings/sec, 125 secs
lola: 58713503 markings, 82276081 edges, 412785 markings/sec, 130 secs
lola: 60771337 markings, 85259817 edges, 411567 markings/sec, 135 secs
lola: 62839588 markings, 88258739 edges, 413650 markings/sec, 140 secs
lola: 64895066 markings, 91262225 edges, 411096 markings/sec, 145 secs
lola: 66937507 markings, 94254971 edges, 408488 markings/sec, 150 secs
lola: 68981443 markings, 97241496 edges, 408787 markings/sec, 155 secs
lola: 71001660 markings, 100219686 edges, 404043 markings/sec, 160 secs
lola: 73048241 markings, 103215989 edges, 409316 markings/sec, 165 secs
lola: 75066557 markings, 106240157 edges, 403663 markings/sec, 170 secs
lola: 77101051 markings, 109258765 edges, 406899 markings/sec, 175 secs
lola: 79128707 markings, 112280374 edges, 405531 markings/sec, 180 secs
lola: 81153884 markings, 115269137 edges, 405035 markings/sec, 185 secs
lola: 83182013 markings, 118267264 edges, 405626 markings/sec, 190 secs
lola: 85199931 markings, 121283397 edges, 403584 markings/sec, 195 secs
lola: 87215710 markings, 124268306 edges, 403156 markings/sec, 200 secs
lola: 89225989 markings, 127264899 edges, 402056 markings/sec, 205 secs
lola: 91219083 markings, 130258289 edges, 398619 markings/sec, 210 secs
lola: 93231909 markings, 133262587 edges, 402565 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(A_SIG_Clk0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2203465 markings, 3886084 edges, 440693 markings/sec, 0 secs
lola: 4416605 markings, 7573704 edges, 442628 markings/sec, 5 secs
lola: 5899164 markings, 11218378 edges, 296512 markings/sec, 10 secs
lola: 7808157 markings, 15192722 edges, 381799 markings/sec, 15 secs
lola: 9850923 markings, 18664895 edges, 408553 markings/sec, 20 secs
lola: 11143126 markings, 22314389 edges, 258441 markings/sec, 25 secs
lola: 13134260 markings, 26250267 edges, 398227 markings/sec, 30 secs
lola: 15119169 markings, 29739149 edges, 396982 markings/sec, 35 secs
lola: 16421658 markings, 33376366 edges, 260498 markings/sec, 40 secs
lola: 18551615 markings, 37024925 edges, 425991 markings/sec, 45 secs
lola: 20881521 markings, 40579467 edges, 465981 markings/sec, 50 secs
lola: 23027377 markings, 44033909 edges, 429171 markings/sec, 55 secs
lola: 25099022 markings, 47328473 edges, 414329 markings/sec, 60 secs
lola: 27016011 markings, 50676150 edges, 383398 markings/sec, 65 secs
lola: 28770468 markings, 53788961 edges, 350891 markings/sec, 70 secs
lola: 30428689 markings, 57128028 edges, 331644 markings/sec, 75 secs
lola: 32061424 markings, 60550805 edges, 326547 markings/sec, 80 secs
lola: 33751589 markings, 64057545 edges, 338033 markings/sec, 85 secs
lola: 35622168 markings, 67639151 edges, 374116 markings/sec, 90 secs
lola: 37526489 markings, 71071101 edges, 380864 markings/sec, 95 secs
lola: 39000380 markings, 74495463 edges, 294778 markings/sec, 100 secs
lola: 39383820 markings, 77663798 edges, 76688 markings/sec, 105 secs
lola: 39776678 markings, 80854796 edges, 78572 markings/sec, 110 secs
lola: 41043149 markings, 84571687 edges, 253294 markings/sec, 115 secs
lola: 43175057 markings, 87984116 edges, 426382 markings/sec, 120 secs
lola: 45307172 markings, 91332244 edges, 426423 markings/sec, 125 secs
lola: 47344233 markings, 94675322 edges, 407412 markings/sec, 130 secs
lola: 49321558 markings, 97868050 edges, 395465 markings/sec, 135 secs
lola: 51151401 markings, 101128161 edges, 365969 markings/sec, 140 secs
lola: 52867032 markings, 104269543 edges, 343126 markings/sec, 145 secs
lola: 54427778 markings, 107541718 edges, 312149 markings/sec, 150 secs
lola: 55870446 markings, 110803206 edges, 288534 markings/sec, 155 secs
lola: 57381467 markings, 114159689 edges, 302204 markings/sec, 160 secs
lola: 59051541 markings, 117568838 edges, 334015 markings/sec, 165 secs
lola: 60958124 markings, 121012851 edges, 381317 markings/sec, 170 secs
lola: 62507078 markings, 124317444 edges, 309791 markings/sec, 175 secs
lola: 63111482 markings, 127504048 edges, 120881 markings/sec, 180 secs
lola: 63387362 markings, 130416730 edges, 55176 markings/sec, 185 secs
lola: 63747819 markings, 133582020 edges, 72091 markings/sec, 190 secs
lola: 65136414 markings, 137062980 edges, 277719 markings/sec, 195 secs
lola: 67438534 markings, 140612687 edges, 460424 markings/sec, 200 secs
lola: 69598453 markings, 144026779 edges, 431984 markings/sec, 205 secs
lola: 71635026 markings, 147404820 edges, 407315 markings/sec, 210 secs
lola: 73607805 markings, 150698253 edges, 394556 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(A_SIG_VPOut)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2498721 markings, 3129893 edges, 499744 markings/sec, 0 secs
lola: 5113289 markings, 6401945 edges, 522914 markings/sec, 5 secs
lola: 7687062 markings, 9646915 edges, 514755 markings/sec, 10 secs
lola: 10246294 markings, 12819743 edges, 511846 markings/sec, 15 secs
lola: 12773059 markings, 15969752 edges, 505353 markings/sec, 20 secs
lola: 15285204 markings, 19111972 edges, 502429 markings/sec, 25 secs
lola: 17785921 markings, 22248833 edges, 500143 markings/sec, 30 secs
lola: 20291434 markings, 25381050 edges, 501103 markings/sec, 35 secs
lola: 22791002 markings, 28514962 edges, 499914 markings/sec, 40 secs
lola: 25264545 markings, 31644497 edges, 494709 markings/sec, 45 secs
lola: 27734083 markings, 34750400 edges, 493908 markings/sec, 50 secs
lola: 30195223 markings, 37876858 edges, 492228 markings/sec, 55 secs
lola: 32654026 markings, 40982164 edges, 491761 markings/sec, 60 secs
lola: 35111184 markings, 44093651 edges, 491432 markings/sec, 65 secs
lola: 37557276 markings, 47187223 edges, 489218 markings/sec, 70 secs
lola: 40006060 markings, 50286096 edges, 489757 markings/sec, 75 secs
lola: 42438453 markings, 53382011 edges, 486479 markings/sec, 80 secs
lola: 44866479 markings, 56471386 edges, 485605 markings/sec, 85 secs
lola: 47291723 markings, 59579567 edges, 485049 markings/sec, 90 secs
lola: 49708209 markings, 62668895 edges, 483297 markings/sec, 95 secs
lola: 52103848 markings, 65737469 edges, 479128 markings/sec, 100 secs
lola: 54511570 markings, 68814547 edges, 481544 markings/sec, 105 secs
lola: 56920904 markings, 71908247 edges, 481867 markings/sec, 110 secs
lola: 59315386 markings, 74981646 edges, 478896 markings/sec, 115 secs
lola: 61716308 markings, 78068079 edges, 480184 markings/sec, 120 secs
lola: 64112357 markings, 81151444 edges, 479210 markings/sec, 125 secs
lola: 66502976 markings, 84229903 edges, 478124 markings/sec, 130 secs
lola: 68898080 markings, 87322276 edges, 479021 markings/sec, 135 secs
lola: 71287240 markings, 90386587 edges, 477832 markings/sec, 140 secs
lola: 73662643 markings, 93470475 edges, 475081 markings/sec, 145 secs
lola: 76044231 markings, 96566672 edges, 476318 markings/sec, 150 secs
lola: 78415840 markings, 99643800 edges, 474322 markings/sec, 155 secs
lola: 80786379 markings, 102715091 edges, 474108 markings/sec, 160 secs
lola: 83142090 markings, 105786898 edges, 471142 markings/sec, 165 secs
lola: 85527219 markings, 108881998 edges, 477026 markings/sec, 170 secs
lola: 87901660 markings, 111978726 edges, 474888 markings/sec, 175 secs
lola: 90258908 markings, 115051911 edges, 471450 markings/sec, 180 secs
lola: 92620558 markings, 118133056 edges, 472330 markings/sec, 185 secs
lola: 94977920 markings, 121209795 edges, 471472 markings/sec, 190 secs
lola: 97338221 markings, 124297194 edges, 472060 markings/sec, 195 secs
lola: 99630488 markings, 127299983 edges, 458453 markings/sec, 200 secs
lola: 101924630 markings, 130312943 edges, 458828 markings/sec, 205 secs
lola: 104271024 markings, 133382988 edges, 469279 markings/sec, 210 secs
lola: 106593470 markings, 136444868 edges, 464489 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(SIG_Vbeat)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 1604529 markings, 3249245 edges, 320906 markings/sec, 0 secs
lola: 3174420 markings, 6492641 edges, 313978 markings/sec, 5 secs
lola: 4738476 markings, 9701234 edges, 312811 markings/sec, 10 secs
lola: 6246890 markings, 12777219 edges, 301683 markings/sec, 15 secs
lola: 7791276 markings, 15931038 edges, 308877 markings/sec, 20 secs
lola: 9327422 markings, 19098187 edges, 307229 markings/sec, 25 secs
lola: 10861701 markings, 22238493 edges, 306856 markings/sec, 30 secs
lola: 12386242 markings, 25359305 edges, 304908 markings/sec, 35 secs
lola: 13917825 markings, 28505320 edges, 306317 markings/sec, 40 secs
lola: 15434448 markings, 31611852 edges, 303325 markings/sec, 45 secs
lola: 16946894 markings, 34715941 edges, 302489 markings/sec, 50 secs
lola: 18452745 markings, 37820067 edges, 301170 markings/sec, 55 secs
lola: 19964714 markings, 40934950 edges, 302394 markings/sec, 60 secs
lola: 21476008 markings, 44045365 edges, 302259 markings/sec, 65 secs
lola: 22985475 markings, 47149148 edges, 301893 markings/sec, 70 secs
lola: 24497451 markings, 50266449 edges, 302395 markings/sec, 75 secs
lola: 26013255 markings, 53395923 edges, 303161 markings/sec, 80 secs
lola: 27536598 markings, 56536430 edges, 304669 markings/sec, 85 secs
lola: 29051916 markings, 59696368 edges, 303064 markings/sec, 90 secs
lola: 30564498 markings, 62830610 edges, 302516 markings/sec, 95 secs
lola: 32078629 markings, 65964115 edges, 302826 markings/sec, 100 secs
lola: 33588235 markings, 69090737 edges, 301921 markings/sec, 105 secs
lola: 35093979 markings, 72210239 edges, 301149 markings/sec, 110 secs
lola: 36602782 markings, 75352846 edges, 301761 markings/sec, 115 secs
lola: 38108022 markings, 78483776 edges, 301048 markings/sec, 120 secs
lola: 39613538 markings, 81619466 edges, 301103 markings/sec, 125 secs
lola: 41115254 markings, 84739375 edges, 300343 markings/sec, 130 secs
lola: 42618570 markings, 87863744 edges, 300663 markings/sec, 135 secs
lola: 44121619 markings, 90981127 edges, 300610 markings/sec, 140 secs
lola: 45626348 markings, 94117172 edges, 300946 markings/sec, 145 secs
lola: 47124165 markings, 97234521 edges, 299563 markings/sec, 150 secs
lola: 48627556 markings, 100371538 edges, 300678 markings/sec, 155 secs
lola: 50131446 markings, 103514945 edges, 300778 markings/sec, 160 secs
lola: 51626928 markings, 106651931 edges, 299096 markings/sec, 165 secs
lola: 53117009 markings, 109757719 edges, 298016 markings/sec, 170 secs
lola: 54564214 markings, 112776527 edges, 289441 markings/sec, 175 secs
lola: 56070908 markings, 115923646 edges, 301339 markings/sec, 180 secs
lola: 57566751 markings, 119062350 edges, 299169 markings/sec, 185 secs
lola: 59066618 markings, 122189429 edges, 299973 markings/sec, 190 secs
lola: 60570657 markings, 125349071 edges, 300808 markings/sec, 195 secs
lola: 62068862 markings, 128486550 edges, 299641 markings/sec, 200 secs
lola: 63562662 markings, 131611189 edges, 298760 markings/sec, 205 secs
lola: 64942232 markings, 134511281 edges, 275914 markings/sec, 210 secs
lola: 66368542 markings, 137512807 edges, 285262 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(A_SIG_Clk1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2206273 markings, 4036996 edges, 441255 markings/sec, 0 secs
lola: 4340812 markings, 7582896 edges, 426908 markings/sec, 5 secs
lola: 5820048 markings, 11384935 edges, 295847 markings/sec, 10 secs
lola: 7826215 markings, 15305648 edges, 401233 markings/sec, 15 secs
lola: 9769069 markings, 18701042 edges, 388571 markings/sec, 20 secs
lola: 10926837 markings, 22076622 edges, 231554 markings/sec, 25 secs
lola: 12948174 markings, 26014413 edges, 404267 markings/sec, 30 secs
lola: 14808560 markings, 29317224 edges, 372077 markings/sec, 35 secs
lola: 16093769 markings, 32925332 edges, 257042 markings/sec, 40 secs
lola: 18248825 markings, 36621112 edges, 431011 markings/sec, 45 secs
lola: 20584685 markings, 40185339 edges, 467172 markings/sec, 50 secs
lola: 22737511 markings, 43651278 edges, 430565 markings/sec, 55 secs
lola: 24822490 markings, 46966426 edges, 416996 markings/sec, 60 secs
lola: 26775349 markings, 50378112 edges, 390572 markings/sec, 65 secs
lola: 28627050 markings, 53667151 edges, 370340 markings/sec, 70 secs
lola: 30304500 markings, 57092270 edges, 335490 markings/sec, 75 secs
lola: 31973983 markings, 60612095 edges, 333897 markings/sec, 80 secs
lola: 33788661 markings, 64358391 edges, 362936 markings/sec, 85 secs
lola: 35688768 markings, 67860513 edges, 380021 markings/sec, 90 secs
lola: 37577009 markings, 71363871 edges, 377648 markings/sec, 95 secs
lola: 38834114 markings, 74786560 edges, 251421 markings/sec, 100 secs
lola: 39166863 markings, 77965105 edges, 66550 markings/sec, 105 secs
lola: 39596848 markings, 81383649 edges, 85997 markings/sec, 110 secs
lola: 41108314 markings, 84985972 edges, 302293 markings/sec, 115 secs
lola: 43513949 markings, 88564079 edges, 481127 markings/sec, 120 secs
lola: 45637163 markings, 91963293 edges, 424643 markings/sec, 125 secs
lola: 47710266 markings, 95327574 edges, 414621 markings/sec, 130 secs
lola: 49660945 markings, 98632973 edges, 390136 markings/sec, 135 secs
lola: 51469932 markings, 101882369 edges, 361797 markings/sec, 140 secs
lola: 53191861 markings, 105129118 edges, 344386 markings/sec, 145 secs
lola: 54622322 markings, 108335422 edges, 286092 markings/sec, 150 secs
lola: 56131020 markings, 111657341 edges, 301740 markings/sec, 155 secs
lola: 57813363 markings, 115315731 edges, 336469 markings/sec, 160 secs
lola: 59647258 markings, 118777298 edges, 366779 markings/sec, 165 secs
lola: 61439616 markings, 122206305 edges, 358472 markings/sec, 170 secs
lola: 62667341 markings, 125621143 edges, 245545 markings/sec, 175 secs
lola: 62943262 markings, 128664876 edges, 55184 markings/sec, 180 secs
lola: 63280231 markings, 131734043 edges, 67394 markings/sec, 185 secs
lola: 64187354 markings, 135354196 edges, 181425 markings/sec, 190 secs
lola: 66264055 markings, 138871864 edges, 415340 markings/sec, 195 secs
lola: 68489320 markings, 142341939 edges, 445053 markings/sec, 200 secs
lola: 70585822 markings, 145760709 edges, 419300 markings/sec, 205 secs
lola: 72606006 markings, 149097637 edges, 404037 markings/sec, 210 secs
lola: 74433270 markings, 152357548 edges, 365453 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A_LRI)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2141748 markings, 3039918 edges, 428350 markings/sec, 0 secs
lola: 3934803 markings, 5924370 edges, 358611 markings/sec, 5 secs
lola: 5648620 markings, 9062607 edges, 342763 markings/sec, 10 secs
lola: 7202639 markings, 12439981 edges, 310804 markings/sec, 15 secs
lola: 8765423 markings, 15491223 edges, 312557 markings/sec, 20 secs
lola: 10319131 markings, 18478706 edges, 310742 markings/sec, 25 secs
lola: 11850565 markings, 21418077 edges, 306287 markings/sec, 30 secs
lola: 13391569 markings, 24523852 edges, 308201 markings/sec, 35 secs
lola: 14839515 markings, 27431478 edges, 289589 markings/sec, 40 secs
lola: 16309215 markings, 30328699 edges, 293940 markings/sec, 45 secs
lola: 17753288 markings, 33221347 edges, 288815 markings/sec, 50 secs
lola: 19188800 markings, 36113447 edges, 287102 markings/sec, 55 secs
lola: 20606390 markings, 39022685 edges, 283518 markings/sec, 60 secs
lola: 21989483 markings, 41957230 edges, 276619 markings/sec, 65 secs
lola: 23327544 markings, 44945515 edges, 267612 markings/sec, 70 secs
lola: 24668082 markings, 47955571 edges, 268108 markings/sec, 75 secs
lola: 26008221 markings, 50991964 edges, 268028 markings/sec, 80 secs
lola: 27370524 markings, 54017476 edges, 272461 markings/sec, 85 secs
lola: 28745756 markings, 57030311 edges, 275046 markings/sec, 90 secs
lola: 30155808 markings, 60014859 edges, 282010 markings/sec, 95 secs
lola: 31584946 markings, 62968968 edges, 285828 markings/sec, 100 secs
lola: 33033213 markings, 65917058 edges, 289653 markings/sec, 105 secs
lola: 34473244 markings, 69322980 edges, 288006 markings/sec, 110 secs
lola: 35923919 markings, 72258172 edges, 290135 markings/sec, 115 secs
lola: 37345946 markings, 75193247 edges, 284405 markings/sec, 120 secs
lola: 38769933 markings, 78114471 edges, 284797 markings/sec, 125 secs
lola: 40207068 markings, 81019757 edges, 287427 markings/sec, 130 secs
lola: 41650147 markings, 83944788 edges, 288616 markings/sec, 135 secs
lola: 43072427 markings, 86804892 edges, 284456 markings/sec, 140 secs
lola: 44486414 markings, 89693961 edges, 282797 markings/sec, 145 secs
lola: 45976527 markings, 92637051 edges, 298023 markings/sec, 150 secs
lola: 47411956 markings, 95553994 edges, 287086 markings/sec, 155 secs
lola: 48820205 markings, 98444804 edges, 281650 markings/sec, 160 secs
lola: 50259880 markings, 101383108 edges, 287935 markings/sec, 165 secs
lola: 51683678 markings, 104303926 edges, 284760 markings/sec, 170 secs
lola: 53102044 markings, 107265809 edges, 283673 markings/sec, 175 secs
lola: 54486242 markings, 110199792 edges, 276840 markings/sec, 180 secs
lola: 55901675 markings, 113167565 edges, 283087 markings/sec, 185 secs
lola: 57331693 markings, 116143590 edges, 286004 markings/sec, 190 secs
lola: 58786127 markings, 119154048 edges, 290887 markings/sec, 195 secs
lola: 60250753 markings, 122188409 edges, 292925 markings/sec, 200 secs
lola: 61722892 markings, 125213223 edges, 294428 markings/sec, 205 secs
lola: 63158587 markings, 128238907 edges, 287139 markings/sec, 210 secs
lola: 64592519 markings, 131242722 edges, 286786 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA PaceMaker-PT-none-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494647840464

--------------------
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="PaceMaker-PT-none"
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/PaceMaker-PT-none.tgz
mv PaceMaker-PT-none 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 PaceMaker-PT-none, 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 r038-blw7-149440484800299"
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 ;