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-3253
Executing tool lola
Input is Diffusion2D-PT-D50N010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309300407
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494638183337


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Diffusion2D-PT-D50N010 @ 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: 21904/65536 symbol table entries, 8280 collisions
lola: preprocessing...
lola: finding significant places
lola: 2500 places, 19404 transitions, 2499 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2500 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D50N010-UpperBounds.task
lola: MAX(cAMP__3_7_) : MAX(cAMP__26_31_) : MAX(cAMP__17_35_) : MAX(cAMP__24_42_) : MAX(cAMP__13_17_) : MAX(cAMP__23_11_) : MAX(cAMP__17_42_) : MAX(cAMP__49_48_) : MAX(cAMP__2_8_) : MAX(cAMP__47_29_) : MAX(cAMP__26_13_) : MAX(cAMP__35_5_) : MAX(cAMP__12_21_) : MAX(cAMP__34_32_) : MAX(cAMP__19_24_) : MAX(cAMP__21_37_)
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(cAMP__3_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2451 markings, 9206 edges, 490 markings/sec, 0 secs
lola: 4905 markings, 18346 edges, 491 markings/sec, 5 secs
lola: 7336 markings, 26762 edges, 486 markings/sec, 10 secs
lola: 9802 markings, 35039 edges, 493 markings/sec, 15 secs
lola: 12269 markings, 43447 edges, 493 markings/sec, 20 secs
lola: 14721 markings, 51629 edges, 490 markings/sec, 25 secs
lola: 17166 markings, 59864 edges, 489 markings/sec, 30 secs
lola: 19617 markings, 68146 edges, 490 markings/sec, 35 secs
lola: 22068 markings, 76565 edges, 490 markings/sec, 40 secs
lola: 24530 markings, 85052 edges, 492 markings/sec, 45 secs
lola: 26988 markings, 93537 edges, 492 markings/sec, 50 secs
lola: 29412 markings, 102442 edges, 485 markings/sec, 55 secs
lola: 31861 markings, 111240 edges, 490 markings/sec, 60 secs
lola: 34308 markings, 119921 edges, 489 markings/sec, 65 secs
lola: 36766 markings, 128302 edges, 492 markings/sec, 70 secs
lola: 39210 markings, 137210 edges, 489 markings/sec, 75 secs
lola: 41651 markings, 145485 edges, 488 markings/sec, 80 secs
lola: 44105 markings, 154408 edges, 491 markings/sec, 85 secs
lola: 46547 markings, 162999 edges, 488 markings/sec, 90 secs
lola: 48997 markings, 171511 edges, 490 markings/sec, 95 secs
lola: 51441 markings, 180270 edges, 489 markings/sec, 100 secs
lola: 53881 markings, 188621 edges, 488 markings/sec, 105 secs
lola: 56329 markings, 197408 edges, 490 markings/sec, 110 secs
lola: 58778 markings, 206045 edges, 490 markings/sec, 115 secs
lola: 61239 markings, 214934 edges, 492 markings/sec, 120 secs
lola: 63709 markings, 223442 edges, 494 markings/sec, 125 secs
lola: 66178 markings, 231957 edges, 494 markings/sec, 130 secs
lola: 68651 markings, 241067 edges, 495 markings/sec, 135 secs
lola: 71130 markings, 249543 edges, 496 markings/sec, 140 secs
lola: 73603 markings, 258498 edges, 495 markings/sec, 145 secs
lola: 76077 markings, 266941 edges, 495 markings/sec, 150 secs
lola: 78543 markings, 275764 edges, 493 markings/sec, 155 secs
lola: 81022 markings, 284651 edges, 496 markings/sec, 160 secs
lola: 83507 markings, 293109 edges, 497 markings/sec, 165 secs
lola: 85981 markings, 302004 edges, 495 markings/sec, 170 secs
lola: 88460 markings, 310429 edges, 496 markings/sec, 175 secs
lola: 90933 markings, 319431 edges, 495 markings/sec, 180 secs
lola: 93394 markings, 327995 edges, 492 markings/sec, 185 secs
lola: 95861 markings, 336758 edges, 493 markings/sec, 190 secs
lola: 98324 markings, 345251 edges, 493 markings/sec, 195 secs
lola: 100767 markings, 354615 edges, 489 markings/sec, 200 secs
lola: 103203 markings, 363775 edges, 487 markings/sec, 205 secs
lola: 105647 markings, 372681 edges, 489 markings/sec, 210 secs
lola: 108096 markings, 381423 edges, 490 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(cAMP__26_31_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2480 markings, 8498 edges, 496 markings/sec, 0 secs
lola: 4964 markings, 16776 edges, 497 markings/sec, 5 secs
lola: 7455 markings, 24938 edges, 498 markings/sec, 10 secs
lola: 9935 markings, 33707 edges, 496 markings/sec, 15 secs
lola: 12410 markings, 42250 edges, 495 markings/sec, 20 secs
lola: 14884 markings, 51203 edges, 495 markings/sec, 25 secs
lola: 17356 markings, 60519 edges, 494 markings/sec, 30 secs
lola: 19827 markings, 69399 edges, 494 markings/sec, 35 secs
lola: 22298 markings, 78237 edges, 494 markings/sec, 40 secs
lola: 24768 markings, 86813 edges, 494 markings/sec, 45 secs
lola: 27237 markings, 96169 edges, 494 markings/sec, 50 secs
lola: 29710 markings, 104030 edges, 495 markings/sec, 55 secs
lola: 32129 markings, 111732 edges, 484 markings/sec, 60 secs
lola: 34577 markings, 119876 edges, 490 markings/sec, 65 secs
lola: 37043 markings, 128391 edges, 493 markings/sec, 70 secs
lola: 39516 markings, 136613 edges, 495 markings/sec, 75 secs
lola: 41991 markings, 144679 edges, 495 markings/sec, 80 secs
lola: 44456 markings, 152868 edges, 493 markings/sec, 85 secs
lola: 46919 markings, 160660 edges, 493 markings/sec, 90 secs
lola: 49387 markings, 168535 edges, 494 markings/sec, 95 secs
lola: 51851 markings, 176311 edges, 493 markings/sec, 100 secs
lola: 54321 markings, 184065 edges, 494 markings/sec, 105 secs
lola: 56800 markings, 192201 edges, 496 markings/sec, 110 secs
lola: 59276 markings, 200881 edges, 495 markings/sec, 115 secs
lola: 61750 markings, 209462 edges, 495 markings/sec, 120 secs
lola: 64226 markings, 218263 edges, 495 markings/sec, 125 secs
lola: 66703 markings, 226131 edges, 495 markings/sec, 130 secs
lola: 69186 markings, 233760 edges, 497 markings/sec, 135 secs
lola: 71665 markings, 241378 edges, 496 markings/sec, 140 secs
lola: 74141 markings, 249422 edges, 495 markings/sec, 145 secs
lola: 76623 markings, 257546 edges, 496 markings/sec, 150 secs
lola: 79104 markings, 265263 edges, 496 markings/sec, 155 secs
lola: 81581 markings, 273863 edges, 495 markings/sec, 160 secs
lola: 84057 markings, 281473 edges, 495 markings/sec, 165 secs
lola: 86531 markings, 289889 edges, 495 markings/sec, 170 secs
lola: 89009 markings, 298252 edges, 496 markings/sec, 175 secs
lola: 91483 markings, 306911 edges, 495 markings/sec, 180 secs
lola: 93963 markings, 315079 edges, 496 markings/sec, 185 secs
lola: 96449 markings, 322993 edges, 497 markings/sec, 190 secs
lola: 98927 markings, 331825 edges, 496 markings/sec, 195 secs
lola: 101406 markings, 340878 edges, 496 markings/sec, 200 secs
lola: 103884 markings, 349290 edges, 496 markings/sec, 205 secs
lola: 106365 markings, 357094 edges, 496 markings/sec, 210 secs
lola: 108847 markings, 365349 edges, 496 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(cAMP__17_35_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2421 markings, 8592 edges, 484 markings/sec, 0 secs
lola: 4863 markings, 17250 edges, 488 markings/sec, 5 secs
lola: 7309 markings, 26118 edges, 489 markings/sec, 10 secs
lola: 9716 markings, 34713 edges, 481 markings/sec, 15 secs
lola: 12134 markings, 43104 edges, 484 markings/sec, 20 secs
lola: 14579 markings, 51366 edges, 489 markings/sec, 25 secs
lola: 17020 markings, 60224 edges, 488 markings/sec, 30 secs
lola: 19474 markings, 69214 edges, 491 markings/sec, 35 secs
lola: 21892 markings, 77926 edges, 484 markings/sec, 40 secs
lola: 24363 markings, 86774 edges, 494 markings/sec, 45 secs
lola: 26837 markings, 95389 edges, 495 markings/sec, 50 secs
lola: 29310 markings, 104312 edges, 495 markings/sec, 55 secs
lola: 31793 markings, 112537 edges, 497 markings/sec, 60 secs
lola: 34271 markings, 121436 edges, 496 markings/sec, 65 secs
lola: 36745 markings, 130392 edges, 495 markings/sec, 70 secs
lola: 39220 markings, 138870 edges, 495 markings/sec, 75 secs
lola: 41688 markings, 147925 edges, 494 markings/sec, 80 secs
lola: 44163 markings, 156643 edges, 495 markings/sec, 85 secs
lola: 46635 markings, 165636 edges, 494 markings/sec, 90 secs
lola: 49109 markings, 174070 edges, 495 markings/sec, 95 secs
lola: 51576 markings, 183255 edges, 493 markings/sec, 100 secs
lola: 54048 markings, 192267 edges, 494 markings/sec, 105 secs
lola: 56530 markings, 200687 edges, 496 markings/sec, 110 secs
lola: 59002 markings, 209714 edges, 494 markings/sec, 115 secs
lola: 61476 markings, 219189 edges, 495 markings/sec, 120 secs
lola: 63945 markings, 227954 edges, 494 markings/sec, 125 secs
lola: 66414 markings, 237196 edges, 494 markings/sec, 130 secs
lola: 68880 markings, 246676 edges, 493 markings/sec, 135 secs
lola: 71351 markings, 255003 edges, 494 markings/sec, 140 secs
lola: 73831 markings, 262874 edges, 496 markings/sec, 145 secs
lola: 76310 markings, 270326 edges, 496 markings/sec, 150 secs
lola: 78792 markings, 278085 edges, 496 markings/sec, 155 secs
lola: 81271 markings, 286096 edges, 496 markings/sec, 160 secs
lola: 83757 markings, 294210 edges, 497 markings/sec, 165 secs
lola: 86230 markings, 302883 edges, 495 markings/sec, 170 secs
lola: 88705 markings, 311033 edges, 495 markings/sec, 175 secs
lola: 91181 markings, 319616 edges, 495 markings/sec, 180 secs
lola: 93651 markings, 327946 edges, 494 markings/sec, 185 secs
lola: 96113 markings, 336919 edges, 492 markings/sec, 190 secs
lola: 98582 markings, 345935 edges, 494 markings/sec, 195 secs
lola: 101051 markings, 354668 edges, 494 markings/sec, 200 secs
lola: 103516 markings, 363349 edges, 493 markings/sec, 205 secs
lola: 105971 markings, 372237 edges, 491 markings/sec, 210 secs
lola: 108426 markings, 381791 edges, 491 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(cAMP__24_42_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2477 markings, 8311 edges, 495 markings/sec, 0 secs
lola: 4954 markings, 16766 edges, 495 markings/sec, 5 secs
lola: 7423 markings, 25544 edges, 494 markings/sec, 10 secs
lola: 9896 markings, 34314 edges, 495 markings/sec, 15 secs
lola: 12368 markings, 42846 edges, 494 markings/sec, 20 secs
lola: 14833 markings, 51669 edges, 493 markings/sec, 25 secs
lola: 17295 markings, 60075 edges, 492 markings/sec, 30 secs
lola: 19759 markings, 68840 edges, 493 markings/sec, 35 secs
lola: 22238 markings, 77401 edges, 496 markings/sec, 40 secs
lola: 24733 markings, 85194 edges, 499 markings/sec, 45 secs
lola: 27220 markings, 94094 edges, 497 markings/sec, 50 secs
lola: 29708 markings, 102529 edges, 498 markings/sec, 55 secs
lola: 32195 markings, 111458 edges, 497 markings/sec, 60 secs
lola: 34674 markings, 120398 edges, 496 markings/sec, 65 secs
lola: 37165 markings, 129250 edges, 498 markings/sec, 70 secs
lola: 39650 markings, 138277 edges, 497 markings/sec, 75 secs
lola: 42142 markings, 146172 edges, 498 markings/sec, 80 secs
lola: 44639 markings, 154483 edges, 499 markings/sec, 85 secs
lola: 47127 markings, 163345 edges, 498 markings/sec, 90 secs
lola: 49614 markings, 172245 edges, 497 markings/sec, 95 secs
lola: 52102 markings, 181104 edges, 498 markings/sec, 100 secs
lola: 54584 markings, 189692 edges, 496 markings/sec, 105 secs
lola: 57081 markings, 198027 edges, 499 markings/sec, 110 secs
lola: 59565 markings, 206847 edges, 497 markings/sec, 115 secs
lola: 62058 markings, 215113 edges, 499 markings/sec, 120 secs
lola: 64545 markings, 223949 edges, 497 markings/sec, 125 secs
lola: 67036 markings, 232918 edges, 498 markings/sec, 130 secs
lola: 69522 markings, 241642 edges, 497 markings/sec, 135 secs
lola: 72008 markings, 249568 edges, 497 markings/sec, 140 secs
lola: 74479 markings, 258360 edges, 494 markings/sec, 145 secs
lola: 76946 markings, 266285 edges, 493 markings/sec, 150 secs
lola: 79412 markings, 274739 edges, 493 markings/sec, 155 secs
lola: 81882 markings, 283172 edges, 494 markings/sec, 160 secs
lola: 84342 markings, 291996 edges, 492 markings/sec, 165 secs
lola: 86805 markings, 300467 edges, 493 markings/sec, 170 secs
lola: 89252 markings, 308138 edges, 489 markings/sec, 175 secs
lola: 91695 markings, 316677 edges, 489 markings/sec, 180 secs
lola: 94142 markings, 325292 edges, 489 markings/sec, 185 secs
lola: 96587 markings, 333671 edges, 489 markings/sec, 190 secs
lola: 99034 markings, 342332 edges, 489 markings/sec, 195 secs
lola: 101479 markings, 351194 edges, 489 markings/sec, 200 secs
lola: 103922 markings, 359774 edges, 489 markings/sec, 205 secs
lola: 106378 markings, 367385 edges, 491 markings/sec, 210 secs
lola: 108830 markings, 375722 edges, 490 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(cAMP__13_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2390 markings, 8679 edges, 478 markings/sec, 0 secs
lola: 4772 markings, 16884 edges, 476 markings/sec, 5 secs
lola: 7165 markings, 25407 edges, 479 markings/sec, 10 secs
lola: 9563 markings, 33883 edges, 480 markings/sec, 15 secs
lola: 11953 markings, 42495 edges, 478 markings/sec, 20 secs
lola: 14365 markings, 50795 edges, 482 markings/sec, 25 secs
lola: 16722 markings, 59170 edges, 471 markings/sec, 30 secs
lola: 19129 markings, 67154 edges, 481 markings/sec, 35 secs
lola: 21533 markings, 76278 edges, 481 markings/sec, 40 secs
lola: 23950 markings, 84888 edges, 483 markings/sec, 45 secs
lola: 26376 markings, 94053 edges, 485 markings/sec, 50 secs
lola: 28792 markings, 103086 edges, 483 markings/sec, 55 secs
lola: 31206 markings, 112455 edges, 483 markings/sec, 60 secs
lola: 33621 markings, 121223 edges, 483 markings/sec, 65 secs
lola: 36023 markings, 129629 edges, 480 markings/sec, 70 secs
lola: 38424 markings, 138294 edges, 480 markings/sec, 75 secs
lola: 40828 markings, 146823 edges, 481 markings/sec, 80 secs
lola: 43252 markings, 154948 edges, 485 markings/sec, 85 secs
lola: 45660 markings, 163886 edges, 482 markings/sec, 90 secs
lola: 48074 markings, 172425 edges, 483 markings/sec, 95 secs
lola: 50489 markings, 181112 edges, 483 markings/sec, 100 secs
lola: 52876 markings, 190294 edges, 477 markings/sec, 105 secs
lola: 55281 markings, 198720 edges, 481 markings/sec, 110 secs
lola: 57679 markings, 208068 edges, 480 markings/sec, 115 secs
lola: 60078 markings, 216414 edges, 480 markings/sec, 120 secs
lola: 62458 markings, 224840 edges, 476 markings/sec, 125 secs
lola: 64831 markings, 233723 edges, 475 markings/sec, 130 secs
lola: 67220 markings, 242698 edges, 478 markings/sec, 135 secs
lola: 69607 markings, 251569 edges, 477 markings/sec, 140 secs
lola: 72021 markings, 259892 edges, 483 markings/sec, 145 secs
lola: 74435 markings, 268875 edges, 483 markings/sec, 150 secs
lola: 76847 markings, 277513 edges, 482 markings/sec, 155 secs
lola: 79238 markings, 286581 edges, 478 markings/sec, 160 secs
lola: 81667 markings, 295082 edges, 486 markings/sec, 165 secs
lola: 84027 markings, 303918 edges, 472 markings/sec, 170 secs
lola: 86434 markings, 312761 edges, 481 markings/sec, 175 secs
lola: 88849 markings, 320829 edges, 483 markings/sec, 180 secs
lola: 91266 markings, 329438 edges, 483 markings/sec, 185 secs
lola: 93685 markings, 337269 edges, 484 markings/sec, 190 secs
lola: 96098 markings, 345027 edges, 483 markings/sec, 195 secs
lola: 98508 markings, 353637 edges, 482 markings/sec, 200 secs
lola: 100922 markings, 362233 edges, 483 markings/sec, 205 secs
lola: 103341 markings, 370922 edges, 484 markings/sec, 210 secs
lola: 105743 markings, 379825 edges, 480 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(cAMP__23_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2450 markings, 8622 edges, 490 markings/sec, 0 secs
lola: 4893 markings, 17346 edges, 489 markings/sec, 5 secs
lola: 7338 markings, 26146 edges, 489 markings/sec, 10 secs
lola: 9784 markings, 34900 edges, 489 markings/sec, 15 secs
lola: 12236 markings, 43943 edges, 490 markings/sec, 20 secs
lola: 14679 markings, 52658 edges, 489 markings/sec, 25 secs
lola: 17132 markings, 61480 edges, 491 markings/sec, 30 secs
lola: 19584 markings, 70548 edges, 490 markings/sec, 35 secs
lola: 22034 markings, 79251 edges, 490 markings/sec, 40 secs
lola: 24491 markings, 88132 edges, 491 markings/sec, 45 secs
lola: 26911 markings, 96099 edges, 484 markings/sec, 50 secs
lola: 29361 markings, 104615 edges, 490 markings/sec, 55 secs
lola: 31806 markings, 113402 edges, 489 markings/sec, 60 secs
lola: 34255 markings, 121846 edges, 490 markings/sec, 65 secs
lola: 36706 markings, 130158 edges, 490 markings/sec, 70 secs
lola: 39145 markings, 138694 edges, 488 markings/sec, 75 secs
lola: 41586 markings, 147847 edges, 488 markings/sec, 80 secs
lola: 44024 markings, 157059 edges, 488 markings/sec, 85 secs
lola: 46456 markings, 166916 edges, 486 markings/sec, 90 secs
lola: 48895 markings, 175801 edges, 488 markings/sec, 95 secs
lola: 51321 markings, 185319 edges, 485 markings/sec, 100 secs
lola: 53756 markings, 194711 edges, 487 markings/sec, 105 secs
lola: 56188 markings, 204108 edges, 486 markings/sec, 110 secs
lola: 58607 markings, 214046 edges, 484 markings/sec, 115 secs
lola: 61018 markings, 223762 edges, 482 markings/sec, 120 secs
lola: 63456 markings, 233204 edges, 488 markings/sec, 125 secs
lola: 65924 markings, 241277 edges, 494 markings/sec, 130 secs
lola: 68384 markings, 250259 edges, 492 markings/sec, 135 secs
lola: 70846 markings, 259265 edges, 492 markings/sec, 140 secs
lola: 73297 markings, 268718 edges, 490 markings/sec, 145 secs
lola: 75752 markings, 278314 edges, 491 markings/sec, 150 secs
lola: 78206 markings, 288186 edges, 491 markings/sec, 155 secs
lola: 80669 markings, 297124 edges, 493 markings/sec, 160 secs
lola: 83121 markings, 305889 edges, 490 markings/sec, 165 secs
lola: 85571 markings, 314447 edges, 490 markings/sec, 170 secs
lola: 88019 markings, 322879 edges, 490 markings/sec, 175 secs
lola: 90471 markings, 331031 edges, 490 markings/sec, 180 secs
lola: 92915 markings, 339954 edges, 489 markings/sec, 185 secs
lola: 95365 markings, 348394 edges, 490 markings/sec, 190 secs
lola: 97811 markings, 357582 edges, 489 markings/sec, 195 secs
lola: 100249 markings, 366612 edges, 488 markings/sec, 200 secs
lola: 102689 markings, 376151 edges, 488 markings/sec, 205 secs
lola: 105136 markings, 384791 edges, 489 markings/sec, 210 secs
lola: 107584 markings, 392861 edges, 490 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(cAMP__17_42_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2391 markings, 8359 edges, 478 markings/sec, 0 secs
lola: 4779 markings, 16808 edges, 478 markings/sec, 5 secs
lola: 7031 markings, 25399 edges, 450 markings/sec, 10 secs
lola: 9462 markings, 34050 edges, 486 markings/sec, 15 secs
lola: 11908 markings, 42836 edges, 489 markings/sec, 20 secs
lola: 14349 markings, 52282 edges, 488 markings/sec, 25 secs
lola: 16711 markings, 60625 edges, 472 markings/sec, 30 secs
lola: 19118 markings, 69456 edges, 481 markings/sec, 35 secs
lola: 21502 markings, 78201 edges, 477 markings/sec, 40 secs
lola: 23922 markings, 87282 edges, 484 markings/sec, 45 secs
lola: 26341 markings, 96195 edges, 484 markings/sec, 50 secs
lola: 28766 markings, 104779 edges, 485 markings/sec, 55 secs
lola: 31196 markings, 114068 edges, 486 markings/sec, 60 secs
lola: 33637 markings, 121973 edges, 488 markings/sec, 65 secs
lola: 36064 markings, 130448 edges, 485 markings/sec, 70 secs
lola: 38499 markings, 138913 edges, 487 markings/sec, 75 secs
lola: 40926 markings, 147392 edges, 485 markings/sec, 80 secs
lola: 43362 markings, 155756 edges, 487 markings/sec, 85 secs
lola: 45807 markings, 164253 edges, 489 markings/sec, 90 secs
lola: 48244 markings, 173322 edges, 487 markings/sec, 95 secs
lola: 50683 markings, 182011 edges, 488 markings/sec, 100 secs
lola: 53103 markings, 191427 edges, 484 markings/sec, 105 secs
lola: 55538 markings, 199723 edges, 487 markings/sec, 110 secs
lola: 58013 markings, 208264 edges, 495 markings/sec, 115 secs
lola: 60461 markings, 216664 edges, 490 markings/sec, 120 secs
lola: 62901 markings, 225253 edges, 488 markings/sec, 125 secs
lola: 65346 markings, 233853 edges, 489 markings/sec, 130 secs
lola: 67781 markings, 242388 edges, 487 markings/sec, 135 secs
lola: 70220 markings, 250874 edges, 488 markings/sec, 140 secs
lola: 72666 markings, 259058 edges, 489 markings/sec, 145 secs
lola: 75096 markings, 267245 edges, 486 markings/sec, 150 secs
lola: 77532 markings, 275572 edges, 487 markings/sec, 155 secs
lola: 79969 markings, 283842 edges, 487 markings/sec, 160 secs
lola: 82402 markings, 292183 edges, 487 markings/sec, 165 secs
lola: 84842 markings, 300746 edges, 488 markings/sec, 170 secs
lola: 87297 markings, 309157 edges, 491 markings/sec, 175 secs
lola: 89721 markings, 317641 edges, 485 markings/sec, 180 secs
lola: 92160 markings, 326263 edges, 488 markings/sec, 185 secs
lola: 94595 markings, 335251 edges, 487 markings/sec, 190 secs
lola: 97031 markings, 343561 edges, 487 markings/sec, 195 secs
lola: 99466 markings, 351696 edges, 487 markings/sec, 200 secs
lola: 101915 markings, 360434 edges, 490 markings/sec, 205 secs
lola: 104366 markings, 368883 edges, 490 markings/sec, 210 secs
lola: 106822 markings, 377057 edges, 491 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(cAMP__49_48_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2469 markings, 8905 edges, 494 markings/sec, 0 secs
lola: 4982 markings, 17285 edges, 503 markings/sec, 5 secs
lola: 7486 markings, 26093 edges, 501 markings/sec, 10 secs
lola: 9992 markings, 34695 edges, 501 markings/sec, 15 secs
lola: 12519 markings, 42927 edges, 505 markings/sec, 20 secs
lola: 15036 markings, 51794 edges, 503 markings/sec, 25 secs
lola: 17555 markings, 60292 edges, 504 markings/sec, 30 secs
lola: 20083 markings, 69133 edges, 506 markings/sec, 35 secs
lola: 22610 markings, 77983 edges, 505 markings/sec, 40 secs
lola: 25127 markings, 86805 edges, 503 markings/sec, 45 secs
lola: 27654 markings, 95571 edges, 505 markings/sec, 50 secs
lola: 30167 markings, 104483 edges, 503 markings/sec, 55 secs
lola: 32690 markings, 113309 edges, 505 markings/sec, 60 secs
lola: 35212 markings, 122089 edges, 504 markings/sec, 65 secs
lola: 37736 markings, 130982 edges, 505 markings/sec, 70 secs
lola: 40187 markings, 139534 edges, 490 markings/sec, 75 secs
lola: 42687 markings, 148267 edges, 500 markings/sec, 80 secs
lola: 45192 markings, 157056 edges, 501 markings/sec, 85 secs
lola: 47702 markings, 165896 edges, 502 markings/sec, 90 secs
lola: 50183 markings, 174466 edges, 496 markings/sec, 95 secs
lola: 52705 markings, 183459 edges, 504 markings/sec, 100 secs
lola: 55220 markings, 192129 edges, 503 markings/sec, 105 secs
lola: 57743 markings, 201012 edges, 505 markings/sec, 110 secs
lola: 60259 markings, 209882 edges, 503 markings/sec, 115 secs
lola: 62779 markings, 218745 edges, 504 markings/sec, 120 secs
lola: 65304 markings, 228218 edges, 505 markings/sec, 125 secs
lola: 67829 markings, 238168 edges, 505 markings/sec, 130 secs
lola: 70357 markings, 247432 edges, 506 markings/sec, 135 secs
lola: 72886 markings, 256408 edges, 506 markings/sec, 140 secs
lola: 75419 markings, 265726 edges, 507 markings/sec, 145 secs
lola: 77947 markings, 274943 edges, 506 markings/sec, 150 secs
lola: 80472 markings, 283719 edges, 505 markings/sec, 155 secs
lola: 82994 markings, 292897 edges, 504 markings/sec, 160 secs
lola: 85530 markings, 301677 edges, 507 markings/sec, 165 secs
lola: 88066 markings, 310777 edges, 507 markings/sec, 170 secs
lola: 90596 markings, 319850 edges, 506 markings/sec, 175 secs
lola: 93119 markings, 328952 edges, 505 markings/sec, 180 secs
lola: 95639 markings, 337909 edges, 504 markings/sec, 185 secs
lola: 98166 markings, 347256 edges, 505 markings/sec, 190 secs
lola: 100683 markings, 356383 edges, 503 markings/sec, 195 secs
lola: 103191 markings, 365441 edges, 502 markings/sec, 200 secs
lola: 105703 markings, 374996 edges, 502 markings/sec, 205 secs
lola: 108225 markings, 384285 edges, 504 markings/sec, 210 secs
lola: 110746 markings, 393476 edges, 504 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(cAMP__2_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2061 markings, 7845 edges, 412 markings/sec, 0 secs
lola: 4516 markings, 17048 edges, 491 markings/sec, 5 secs
lola: 6984 markings, 25891 edges, 494 markings/sec, 10 secs
lola: 9475 markings, 33974 edges, 498 markings/sec, 15 secs
lola: 11965 markings, 42853 edges, 498 markings/sec, 20 secs
lola: 14452 markings, 51497 edges, 497 markings/sec, 25 secs
lola: 16937 markings, 59761 edges, 497 markings/sec, 30 secs
lola: 19420 markings, 68554 edges, 497 markings/sec, 35 secs
lola: 21903 markings, 77284 edges, 497 markings/sec, 40 secs
lola: 24388 markings, 85556 edges, 497 markings/sec, 45 secs
lola: 26865 markings, 94269 edges, 495 markings/sec, 50 secs
lola: 29333 markings, 103045 edges, 494 markings/sec, 55 secs
lola: 31813 markings, 111301 edges, 496 markings/sec, 60 secs
lola: 34292 markings, 119476 edges, 496 markings/sec, 65 secs
lola: 36776 markings, 127631 edges, 497 markings/sec, 70 secs
lola: 39235 markings, 136141 edges, 492 markings/sec, 75 secs
lola: 41700 markings, 144690 edges, 493 markings/sec, 80 secs
lola: 44172 markings, 152968 edges, 494 markings/sec, 85 secs
lola: 46640 markings, 161350 edges, 494 markings/sec, 90 secs
lola: 49097 markings, 169613 edges, 491 markings/sec, 95 secs
lola: 51547 markings, 177872 edges, 490 markings/sec, 100 secs
lola: 53971 markings, 185958 edges, 485 markings/sec, 105 secs
lola: 56403 markings, 194346 edges, 486 markings/sec, 110 secs
lola: 58831 markings, 202695 edges, 486 markings/sec, 115 secs
lola: 61270 markings, 210817 edges, 488 markings/sec, 120 secs
lola: 63708 markings, 219130 edges, 488 markings/sec, 125 secs
lola: 66112 markings, 227199 edges, 481 markings/sec, 130 secs
lola: 68514 markings, 235281 edges, 480 markings/sec, 135 secs
lola: 70938 markings, 243535 edges, 485 markings/sec, 140 secs
lola: 73409 markings, 251979 edges, 494 markings/sec, 145 secs
lola: 75874 markings, 260346 edges, 493 markings/sec, 150 secs
lola: 78336 markings, 268658 edges, 492 markings/sec, 155 secs
lola: 80795 markings, 276913 edges, 492 markings/sec, 160 secs
lola: 83248 markings, 285239 edges, 491 markings/sec, 165 secs
lola: 85723 markings, 293550 edges, 495 markings/sec, 170 secs
lola: 88203 markings, 302166 edges, 496 markings/sec, 175 secs
lola: 90681 markings, 310476 edges, 496 markings/sec, 180 secs
lola: 93157 markings, 318938 edges, 495 markings/sec, 185 secs
lola: 95633 markings, 327179 edges, 495 markings/sec, 190 secs
lola: 98104 markings, 335508 edges, 494 markings/sec, 195 secs
lola: 100572 markings, 343967 edges, 494 markings/sec, 200 secs
lola: 103028 markings, 352234 edges, 491 markings/sec, 205 secs
lola: 105507 markings, 360732 edges, 496 markings/sec, 210 secs
lola: 107996 markings, 369069 edges, 498 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(cAMP__47_29_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2470 markings, 8593 edges, 494 markings/sec, 0 secs
lola: 4954 markings, 17616 edges, 497 markings/sec, 5 secs
lola: 7427 markings, 26461 edges, 495 markings/sec, 10 secs
lola: 9901 markings, 35556 edges, 495 markings/sec, 15 secs
lola: 12384 markings, 44547 edges, 497 markings/sec, 20 secs
lola: 14851 markings, 54099 edges, 493 markings/sec, 25 secs
lola: 17347 markings, 63198 edges, 499 markings/sec, 30 secs
lola: 19835 markings, 71648 edges, 498 markings/sec, 35 secs
lola: 22317 markings, 80855 edges, 496 markings/sec, 40 secs
lola: 24797 markings, 89907 edges, 496 markings/sec, 45 secs
lola: 27266 markings, 98558 edges, 494 markings/sec, 50 secs
lola: 29763 markings, 106812 edges, 499 markings/sec, 55 secs
lola: 32248 markings, 114715 edges, 497 markings/sec, 60 secs
lola: 34729 markings, 123418 edges, 496 markings/sec, 65 secs
lola: 37214 markings, 131823 edges, 497 markings/sec, 70 secs
lola: 39693 markings, 140906 edges, 496 markings/sec, 75 secs
lola: 42168 markings, 149804 edges, 495 markings/sec, 80 secs
lola: 44643 markings, 158599 edges, 495 markings/sec, 85 secs
lola: 47149 markings, 166564 edges, 501 markings/sec, 90 secs
lola: 49648 markings, 174946 edges, 500 markings/sec, 95 secs
lola: 52145 markings, 183000 edges, 499 markings/sec, 100 secs
lola: 54640 markings, 191278 edges, 499 markings/sec, 105 secs
lola: 57130 markings, 199967 edges, 498 markings/sec, 110 secs
lola: 59613 markings, 208734 edges, 497 markings/sec, 115 secs
lola: 62090 markings, 218170 edges, 495 markings/sec, 120 secs
lola: 64585 markings, 226440 edges, 499 markings/sec, 125 secs
lola: 67075 markings, 234685 edges, 498 markings/sec, 130 secs
lola: 69565 markings, 242686 edges, 498 markings/sec, 135 secs
lola: 72048 markings, 251353 edges, 497 markings/sec, 140 secs
lola: 74530 markings, 259835 edges, 496 markings/sec, 145 secs
lola: 77014 markings, 268794 edges, 497 markings/sec, 150 secs
lola: 79499 markings, 277348 edges, 497 markings/sec, 155 secs
lola: 81983 markings, 285763 edges, 497 markings/sec, 160 secs
lola: 84470 markings, 293722 edges, 497 markings/sec, 165 secs
lola: 86954 markings, 302330 edges, 497 markings/sec, 170 secs
lola: 89436 markings, 311381 edges, 496 markings/sec, 175 secs
lola: 91916 markings, 320230 edges, 496 markings/sec, 180 secs
lola: 94398 markings, 329058 edges, 496 markings/sec, 185 secs
lola: 96886 markings, 337581 edges, 498 markings/sec, 190 secs
lola: 99370 markings, 346363 edges, 497 markings/sec, 195 secs
lola: 101870 markings, 354867 edges, 500 markings/sec, 200 secs
lola: 104370 markings, 362854 edges, 500 markings/sec, 205 secs
lola: 106861 markings, 371796 edges, 498 markings/sec, 210 secs
lola: 109350 markings, 379980 edges, 498 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(cAMP__26_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2464 markings, 8584 edges, 493 markings/sec, 0 secs
lola: 4926 markings, 16910 edges, 492 markings/sec, 5 secs
lola: 7392 markings, 25404 edges, 493 markings/sec, 10 secs
lola: 9855 markings, 34164 edges, 493 markings/sec, 15 secs
lola: 12310 markings, 42777 edges, 491 markings/sec, 20 secs
lola: 14771 markings, 50848 edges, 492 markings/sec, 25 secs
lola: 17232 markings, 58506 edges, 492 markings/sec, 30 secs
lola: 19682 markings, 67672 edges, 490 markings/sec, 35 secs
lola: 22124 markings, 76664 edges, 488 markings/sec, 40 secs
lola: 24575 markings, 85070 edges, 490 markings/sec, 45 secs
lola: 27029 markings, 93562 edges, 491 markings/sec, 50 secs
lola: 29470 markings, 102472 edges, 488 markings/sec, 55 secs
lola: 31911 markings, 111356 edges, 488 markings/sec, 60 secs
lola: 34358 markings, 120186 edges, 489 markings/sec, 65 secs
lola: 36825 markings, 128885 edges, 493 markings/sec, 70 secs
lola: 39273 markings, 137604 edges, 490 markings/sec, 75 secs
lola: 41711 markings, 146788 edges, 488 markings/sec, 80 secs
lola: 44147 markings, 155954 edges, 487 markings/sec, 85 secs
lola: 46571 markings, 165108 edges, 485 markings/sec, 90 secs
lola: 49002 markings, 172896 edges, 486 markings/sec, 95 secs
lola: 51434 markings, 181580 edges, 486 markings/sec, 100 secs
lola: 53857 markings, 190590 edges, 485 markings/sec, 105 secs
lola: 56282 markings, 198698 edges, 485 markings/sec, 110 secs
lola: 58705 markings, 206969 edges, 485 markings/sec, 115 secs
lola: 61135 markings, 215603 edges, 486 markings/sec, 120 secs
lola: 63561 markings, 224166 edges, 485 markings/sec, 125 secs
lola: 65977 markings, 233160 edges, 483 markings/sec, 130 secs
lola: 68416 markings, 241639 edges, 488 markings/sec, 135 secs
lola: 70837 markings, 249870 edges, 484 markings/sec, 140 secs
lola: 73283 markings, 257647 edges, 489 markings/sec, 145 secs
lola: 75729 markings, 265650 edges, 489 markings/sec, 150 secs
lola: 78200 markings, 273583 edges, 494 markings/sec, 155 secs
lola: 80602 markings, 282657 edges, 480 markings/sec, 160 secs
lola: 83022 markings, 290852 edges, 484 markings/sec, 165 secs
lola: 85414 markings, 299128 edges, 478 markings/sec, 170 secs
lola: 87835 markings, 307963 edges, 484 markings/sec, 175 secs
lola: 90273 markings, 316525 edges, 488 markings/sec, 180 secs
lola: 92706 markings, 325369 edges, 487 markings/sec, 185 secs
lola: 95130 markings, 333903 edges, 485 markings/sec, 190 secs
lola: 97548 markings, 343239 edges, 484 markings/sec, 195 secs
lola: 99961 markings, 352058 edges, 483 markings/sec, 200 secs
lola: 102394 markings, 360804 edges, 487 markings/sec, 205 secs
lola: 104831 markings, 368266 edges, 487 markings/sec, 210 secs
lola: 107259 markings, 376597 edges, 486 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(cAMP__35_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2389 markings, 9010 edges, 478 markings/sec, 0 secs
lola: 4828 markings, 17953 edges, 488 markings/sec, 5 secs
lola: 7276 markings, 25779 edges, 490 markings/sec, 10 secs
lola: 9707 markings, 34209 edges, 486 markings/sec, 15 secs
lola: 12138 markings, 42951 edges, 486 markings/sec, 20 secs
lola: 14565 markings, 51519 edges, 485 markings/sec, 25 secs
lola: 16972 markings, 60172 edges, 481 markings/sec, 30 secs
lola: 19390 markings, 68826 edges, 484 markings/sec, 35 secs
lola: 21815 markings, 77018 edges, 485 markings/sec, 40 secs
lola: 24242 markings, 85848 edges, 485 markings/sec, 45 secs
lola: 26666 markings, 94022 edges, 485 markings/sec, 50 secs
lola: 29100 markings, 102763 edges, 487 markings/sec, 55 secs
lola: 31512 markings, 111035 edges, 482 markings/sec, 60 secs
lola: 33939 markings, 118585 edges, 485 markings/sec, 65 secs
lola: 36353 markings, 126290 edges, 483 markings/sec, 70 secs
lola: 38768 markings, 134120 edges, 483 markings/sec, 75 secs
lola: 41180 markings, 142088 edges, 482 markings/sec, 80 secs
lola: 43596 markings, 150368 edges, 483 markings/sec, 85 secs
lola: 46004 markings, 158149 edges, 482 markings/sec, 90 secs
lola: 48395 markings, 166509 edges, 478 markings/sec, 95 secs
lola: 50811 markings, 174994 edges, 483 markings/sec, 100 secs
lola: 53240 markings, 182502 edges, 486 markings/sec, 105 secs
lola: 55616 markings, 190149 edges, 475 markings/sec, 110 secs
lola: 58041 markings, 198185 edges, 485 markings/sec, 115 secs
lola: 60462 markings, 205802 edges, 484 markings/sec, 120 secs
lola: 62881 markings, 213146 edges, 484 markings/sec, 125 secs
lola: 65296 markings, 220885 edges, 483 markings/sec, 130 secs
lola: 67713 markings, 228593 edges, 483 markings/sec, 135 secs
lola: 70131 markings, 236546 edges, 484 markings/sec, 140 secs
lola: 72588 markings, 245022 edges, 491 markings/sec, 145 secs
lola: 75041 markings, 253203 edges, 491 markings/sec, 150 secs
lola: 77502 markings, 260945 edges, 492 markings/sec, 155 secs
lola: 79930 markings, 268458 edges, 486 markings/sec, 160 secs
lola: 82367 markings, 276503 edges, 487 markings/sec, 165 secs
lola: 84789 markings, 284825 edges, 484 markings/sec, 170 secs
lola: 87216 markings, 292986 edges, 485 markings/sec, 175 secs
lola: 89627 markings, 300887 edges, 482 markings/sec, 180 secs
lola: 92059 markings, 309809 edges, 486 markings/sec, 185 secs
lola: 94483 markings, 318664 edges, 485 markings/sec, 190 secs
lola: 96911 markings, 327572 edges, 486 markings/sec, 195 secs
lola: 99340 markings, 334922 edges, 486 markings/sec, 200 secs
lola: 101764 markings, 342655 edges, 485 markings/sec, 205 secs
lola: 104191 markings, 350386 edges, 485 markings/sec, 210 secs
lola: 106624 markings, 358364 edges, 487 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(cAMP__12_21_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2431 markings, 8873 edges, 486 markings/sec, 0 secs
lola: 4872 markings, 17231 edges, 488 markings/sec, 5 secs
lola: 7309 markings, 25942 edges, 487 markings/sec, 10 secs
lola: 9755 markings, 34839 edges, 489 markings/sec, 15 secs
lola: 12201 markings, 43904 edges, 489 markings/sec, 20 secs
lola: 14667 markings, 52550 edges, 493 markings/sec, 25 secs
lola: 17101 markings, 61253 edges, 487 markings/sec, 30 secs
lola: 19529 markings, 70172 edges, 486 markings/sec, 35 secs
lola: 21957 markings, 78793 edges, 486 markings/sec, 40 secs
lola: 24432 markings, 87664 edges, 495 markings/sec, 45 secs
lola: 26907 markings, 96832 edges, 495 markings/sec, 50 secs
lola: 29388 markings, 105449 edges, 496 markings/sec, 55 secs
lola: 31871 markings, 114534 edges, 497 markings/sec, 60 secs
lola: 34345 markings, 123543 edges, 495 markings/sec, 65 secs
lola: 36829 markings, 132017 edges, 497 markings/sec, 70 secs
lola: 39309 markings, 140129 edges, 496 markings/sec, 75 secs
lola: 41784 markings, 148802 edges, 495 markings/sec, 80 secs
lola: 44256 markings, 157067 edges, 494 markings/sec, 85 secs
lola: 46725 markings, 165293 edges, 494 markings/sec, 90 secs
lola: 49184 markings, 174033 edges, 492 markings/sec, 95 secs
lola: 51657 markings, 182434 edges, 495 markings/sec, 100 secs
lola: 54119 markings, 191378 edges, 492 markings/sec, 105 secs
lola: 56574 markings, 201195 edges, 491 markings/sec, 110 secs
lola: 59029 markings, 210866 edges, 491 markings/sec, 115 secs
lola: 61506 markings, 219270 edges, 495 markings/sec, 120 secs
lola: 63989 markings, 227370 edges, 497 markings/sec, 125 secs
lola: 66474 markings, 235858 edges, 497 markings/sec, 130 secs
lola: 68968 markings, 244140 edges, 499 markings/sec, 135 secs
lola: 71458 markings, 252505 edges, 498 markings/sec, 140 secs
lola: 73944 markings, 261029 edges, 497 markings/sec, 145 secs
lola: 76433 markings, 269337 edges, 498 markings/sec, 150 secs
lola: 78925 markings, 277699 edges, 498 markings/sec, 155 secs
lola: 81416 markings, 286023 edges, 498 markings/sec, 160 secs
lola: 83897 markings, 294437 edges, 496 markings/sec, 165 secs
lola: 86349 markings, 302473 edges, 490 markings/sec, 170 secs
lola: 88827 markings, 310886 edges, 496 markings/sec, 175 secs
lola: 91302 markings, 319284 edges, 495 markings/sec, 180 secs
lola: 93780 markings, 327646 edges, 496 markings/sec, 185 secs
lola: 96254 markings, 335942 edges, 495 markings/sec, 190 secs
lola: 98728 markings, 344177 edges, 495 markings/sec, 195 secs
lola: 101157 markings, 352423 edges, 486 markings/sec, 200 secs
lola: 103583 markings, 360392 edges, 485 markings/sec, 205 secs
lola: 106010 markings, 368626 edges, 485 markings/sec, 210 secs
lola: 108430 markings, 376848 edges, 484 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__34_32_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2433 markings, 7871 edges, 487 markings/sec, 0 secs
lola: 4881 markings, 16315 edges, 490 markings/sec, 5 secs
lola: 7334 markings, 24316 edges, 491 markings/sec, 10 secs
lola: 9774 markings, 32835 edges, 488 markings/sec, 15 secs
lola: 12212 markings, 41299 edges, 488 markings/sec, 20 secs
lola: 14650 markings, 49771 edges, 488 markings/sec, 25 secs
lola: 17102 markings, 58914 edges, 490 markings/sec, 30 secs
lola: 19562 markings, 67486 edges, 492 markings/sec, 35 secs
lola: 22022 markings, 75982 edges, 492 markings/sec, 40 secs
lola: 24503 markings, 84724 edges, 496 markings/sec, 45 secs
lola: 26972 markings, 93185 edges, 494 markings/sec, 50 secs
lola: 29442 markings, 102360 edges, 494 markings/sec, 55 secs
lola: 31903 markings, 110808 edges, 492 markings/sec, 60 secs
lola: 34368 markings, 120410 edges, 493 markings/sec, 65 secs
lola: 36829 markings, 129124 edges, 492 markings/sec, 70 secs
lola: 39310 markings, 138370 edges, 496 markings/sec, 75 secs
lola: 41800 markings, 147040 edges, 498 markings/sec, 80 secs
lola: 44293 markings, 155591 edges, 499 markings/sec, 85 secs
lola: 46776 markings, 164275 edges, 497 markings/sec, 90 secs
lola: 49249 markings, 172745 edges, 495 markings/sec, 95 secs
lola: 51731 markings, 180854 edges, 496 markings/sec, 100 secs
lola: 54203 markings, 189283 edges, 494 markings/sec, 105 secs
lola: 56658 markings, 198033 edges, 491 markings/sec, 110 secs
lola: 59117 markings, 206580 edges, 492 markings/sec, 115 secs
lola: 61571 markings, 214726 edges, 491 markings/sec, 120 secs
lola: 64004 markings, 223211 edges, 487 markings/sec, 125 secs
lola: 66467 markings, 231462 edges, 493 markings/sec, 130 secs
lola: 68940 markings, 239798 edges, 495 markings/sec, 135 secs
lola: 71412 markings, 248341 edges, 494 markings/sec, 140 secs
lola: 73885 markings, 256596 edges, 495 markings/sec, 145 secs
lola: 76363 markings, 265127 edges, 496 markings/sec, 150 secs
lola: 78843 markings, 273315 edges, 496 markings/sec, 155 secs
lola: 81315 markings, 281761 edges, 494 markings/sec, 160 secs
lola: 83797 markings, 289146 edges, 496 markings/sec, 165 secs
lola: 86273 markings, 297100 edges, 495 markings/sec, 170 secs
lola: 88746 markings, 305686 edges, 495 markings/sec, 175 secs
lola: 91221 markings, 313796 edges, 495 markings/sec, 180 secs
lola: 93669 markings, 322516 edges, 490 markings/sec, 185 secs
lola: 96139 markings, 331011 edges, 494 markings/sec, 190 secs
lola: 98542 markings, 340063 edges, 481 markings/sec, 195 secs
lola: 100973 markings, 349044 edges, 486 markings/sec, 200 secs
lola: 103403 markings, 358722 edges, 486 markings/sec, 205 secs
lola: 105844 markings, 367101 edges, 488 markings/sec, 210 secs
lola: 108288 markings, 375877 edges, 489 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__19_24_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2447 markings, 8099 edges, 489 markings/sec, 0 secs
lola: 4904 markings, 16116 edges, 491 markings/sec, 5 secs
lola: 7347 markings, 23766 edges, 489 markings/sec, 10 secs
lola: 9806 markings, 31410 edges, 492 markings/sec, 15 secs
lola: 12236 markings, 39377 edges, 486 markings/sec, 20 secs
lola: 14676 markings, 47133 edges, 488 markings/sec, 25 secs
lola: 17049 markings, 54773 edges, 475 markings/sec, 30 secs
lola: 19489 markings, 62141 edges, 488 markings/sec, 35 secs
lola: 21924 markings, 69934 edges, 487 markings/sec, 40 secs
lola: 24346 markings, 77884 edges, 484 markings/sec, 45 secs
lola: 26735 markings, 85871 edges, 478 markings/sec, 50 secs
lola: 29104 markings, 93900 edges, 474 markings/sec, 55 secs
lola: 31463 markings, 101756 edges, 472 markings/sec, 60 secs
lola: 33906 markings, 110005 edges, 489 markings/sec, 65 secs
lola: 36293 markings, 118110 edges, 477 markings/sec, 70 secs
lola: 38651 markings, 126074 edges, 472 markings/sec, 75 secs
lola: 41024 markings, 133491 edges, 475 markings/sec, 80 secs
lola: 43393 markings, 141259 edges, 474 markings/sec, 85 secs
lola: 45767 markings, 148842 edges, 475 markings/sec, 90 secs
lola: 48143 markings, 156122 edges, 475 markings/sec, 95 secs
lola: 50517 markings, 163386 edges, 475 markings/sec, 100 secs
lola: 52878 markings, 171114 edges, 472 markings/sec, 105 secs
lola: 55239 markings, 178784 edges, 472 markings/sec, 110 secs
lola: 57617 markings, 185985 edges, 476 markings/sec, 115 secs
lola: 60016 markings, 193193 edges, 480 markings/sec, 120 secs
lola: 62444 markings, 201495 edges, 486 markings/sec, 125 secs
lola: 64880 markings, 209239 edges, 487 markings/sec, 130 secs
lola: 67312 markings, 217137 edges, 486 markings/sec, 135 secs
lola: 69715 markings, 225131 edges, 481 markings/sec, 140 secs
lola: 72165 markings, 232923 edges, 490 markings/sec, 145 secs
lola: 74612 markings, 240279 edges, 489 markings/sec, 150 secs
lola: 77051 markings, 248448 edges, 488 markings/sec, 155 secs
lola: 79501 markings, 256131 edges, 490 markings/sec, 160 secs
lola: 81939 markings, 263889 edges, 488 markings/sec, 165 secs
lola: 84374 markings, 271708 edges, 487 markings/sec, 170 secs
lola: 86822 markings, 279598 edges, 490 markings/sec, 175 secs
lola: 89271 markings, 287694 edges, 490 markings/sec, 180 secs
lola: 91719 markings, 295583 edges, 490 markings/sec, 185 secs
lola: 94165 markings, 303729 edges, 489 markings/sec, 190 secs
lola: 96617 markings, 311265 edges, 490 markings/sec, 195 secs
lola: 99061 markings, 319309 edges, 489 markings/sec, 200 secs
lola: 101502 markings, 326631 edges, 488 markings/sec, 205 secs
lola: 103951 markings, 334641 edges, 490 markings/sec, 210 secs
lola: 106412 markings, 342496 edges, 492 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(cAMP__21_37_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2452 markings, 8398 edges, 490 markings/sec, 0 secs
lola: 4934 markings, 17128 edges, 496 markings/sec, 5 secs
lola: 7428 markings, 25948 edges, 499 markings/sec, 10 secs
lola: 9915 markings, 34681 edges, 497 markings/sec, 15 secs
lola: 12391 markings, 42067 edges, 495 markings/sec, 20 secs
lola: 14870 markings, 50009 edges, 496 markings/sec, 25 secs
lola: 17354 markings, 58053 edges, 497 markings/sec, 30 secs
lola: 19830 markings, 66602 edges, 495 markings/sec, 35 secs
lola: 22305 markings, 75855 edges, 495 markings/sec, 40 secs
lola: 24777 markings, 85190 edges, 494 markings/sec, 45 secs
lola: 27258 markings, 92692 edges, 496 markings/sec, 50 secs
lola: 29739 markings, 100906 edges, 496 markings/sec, 55 secs
lola: 32239 markings, 109405 edges, 500 markings/sec, 60 secs
lola: 34729 markings, 117062 edges, 498 markings/sec, 65 secs
lola: 37217 markings, 124916 edges, 498 markings/sec, 70 secs
lola: 39700 markings, 133699 edges, 497 markings/sec, 75 secs
lola: 42186 markings, 142371 edges, 497 markings/sec, 80 secs
lola: 44670 markings, 150968 edges, 497 markings/sec, 85 secs
lola: 47159 markings, 159526 edges, 498 markings/sec, 90 secs
lola: 49635 markings, 169081 edges, 495 markings/sec, 95 secs
lola: 52115 markings, 178246 edges, 496 markings/sec, 100 secs
lola: 54590 markings, 188996 edges, 495 markings/sec, 105 secs
lola: 57062 markings, 199033 edges, 494 markings/sec, 110 secs
lola: 59540 markings, 207969 edges, 496 markings/sec, 115 secs
lola: 62020 markings, 216906 edges, 496 markings/sec, 120 secs
lola: 64501 markings, 226039 edges, 496 markings/sec, 125 secs
lola: 66975 markings, 235269 edges, 495 markings/sec, 130 secs
lola: 69452 markings, 244122 edges, 495 markings/sec, 135 secs
lola: 71921 markings, 253236 edges, 494 markings/sec, 140 secs
lola: 74385 markings, 262751 edges, 493 markings/sec, 145 secs
lola: 76837 markings, 272551 edges, 490 markings/sec, 150 secs
lola: 79268 markings, 281156 edges, 486 markings/sec, 155 secs
lola: 81740 markings, 289554 edges, 494 markings/sec, 160 secs
lola: 84227 markings, 297160 edges, 497 markings/sec, 165 secs
lola: 86710 markings, 305379 edges, 497 markings/sec, 170 secs
lola: 89194 markings, 313975 edges, 497 markings/sec, 175 secs
lola: 91669 markings, 322816 edges, 495 markings/sec, 180 secs
lola: 94147 markings, 330732 edges, 496 markings/sec, 185 secs
lola: 96629 markings, 338368 edges, 496 markings/sec, 190 secs
lola: 99112 markings, 346405 edges, 497 markings/sec, 195 secs
lola: 101594 markings, 355310 edges, 496 markings/sec, 200 secs
lola: 104071 markings, 364059 edges, 495 markings/sec, 205 secs
lola: 106543 markings, 372901 edges, 494 markings/sec, 210 secs
lola: 109014 markings, 382015 edges, 494 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Diffusion2D-PT-D50N010-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N010-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N010-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N010-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N010-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N010-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N010-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N010-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N010-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N010-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N010-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N010-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N010-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N010-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N010-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N010-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494641723392

--------------------
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="Diffusion2D-PT-D50N010"
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/Diffusion2D-PT-D50N010.tgz
mv Diffusion2D-PT-D50N010 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is Diffusion2D-PT-D50N010, 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 r018-ebro-149436309300407"
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 ;