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 S_Diffusion2D-PT-D50N010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455800407
=====================================================================

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


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


checking for too many tokens
===========================================================================================
S_Diffusion2D-PT-D50N010: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Diffusion2D-PT-D50N010 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 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: 2416 markings, 9059 edges, 483 markings/sec, 0 secs
lola: 4816 markings, 18013 edges, 480 markings/sec, 5 secs
lola: 7244 markings, 26423 edges, 486 markings/sec, 10 secs
lola: 9689 markings, 34715 edges, 489 markings/sec, 15 secs
lola: 12139 markings, 43022 edges, 490 markings/sec, 20 secs
lola: 14592 markings, 51199 edges, 491 markings/sec, 25 secs
lola: 17036 markings, 59478 edges, 489 markings/sec, 30 secs
lola: 19480 markings, 67757 edges, 489 markings/sec, 35 secs
lola: 21930 markings, 76089 edges, 490 markings/sec, 40 secs
lola: 24403 markings, 84635 edges, 495 markings/sec, 45 secs
lola: 26868 markings, 93136 edges, 493 markings/sec, 50 secs
lola: 29321 markings, 102116 edges, 491 markings/sec, 55 secs
lola: 31778 markings, 110923 edges, 491 markings/sec, 60 secs
lola: 34236 markings, 119697 edges, 492 markings/sec, 65 secs
lola: 36685 markings, 128038 edges, 490 markings/sec, 70 secs
lola: 39112 markings, 136853 edges, 485 markings/sec, 75 secs
lola: 41556 markings, 145090 edges, 489 markings/sec, 80 secs
lola: 43993 markings, 154012 edges, 487 markings/sec, 85 secs
lola: 46435 markings, 162551 edges, 488 markings/sec, 90 secs
lola: 48880 markings, 171098 edges, 489 markings/sec, 95 secs
lola: 51324 markings, 179912 edges, 489 markings/sec, 100 secs
lola: 53764 markings, 188225 edges, 488 markings/sec, 105 secs
lola: 56207 markings, 196999 edges, 489 markings/sec, 110 secs
lola: 58650 markings, 205618 edges, 489 markings/sec, 115 secs
lola: 61091 markings, 214345 edges, 488 markings/sec, 120 secs
lola: 63530 markings, 222818 edges, 488 markings/sec, 125 secs
lola: 65972 markings, 231147 edges, 488 markings/sec, 130 secs
lola: 68410 markings, 240081 edges, 488 markings/sec, 135 secs
lola: 70784 markings, 248340 edges, 475 markings/sec, 140 secs
lola: 73193 markings, 257079 edges, 482 markings/sec, 145 secs
lola: 75568 markings, 265279 edges, 475 markings/sec, 150 secs
lola: 77957 markings, 273473 edges, 478 markings/sec, 155 secs
lola: 80413 markings, 282528 edges, 491 markings/sec, 160 secs
lola: 82874 markings, 290940 edges, 492 markings/sec, 165 secs
lola: 85343 markings, 299855 edges, 494 markings/sec, 170 secs
lola: 87773 markings, 308210 edges, 486 markings/sec, 175 secs
lola: 90232 markings, 316966 edges, 492 markings/sec, 180 secs
lola: 92676 markings, 325735 edges, 489 markings/sec, 185 secs
lola: 95124 markings, 334119 edges, 490 markings/sec, 190 secs
lola: 97583 markings, 342561 edges, 492 markings/sec, 195 secs
lola: 100039 markings, 351593 edges, 491 markings/sec, 200 secs
lola: 102481 markings, 361297 edges, 488 markings/sec, 205 secs
lola: 104930 markings, 370184 edges, 490 markings/sec, 210 secs
lola: 107383 markings, 379135 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 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: 2484 markings, 8507 edges, 497 markings/sec, 0 secs
lola: 4976 markings, 16811 edges, 498 markings/sec, 5 secs
lola: 7437 markings, 24897 edges, 492 markings/sec, 10 secs
lola: 9924 markings, 33663 edges, 497 markings/sec, 15 secs
lola: 12332 markings, 41987 edges, 482 markings/sec, 20 secs
lola: 14805 markings, 50922 edges, 495 markings/sec, 25 secs
lola: 17273 markings, 60192 edges, 494 markings/sec, 30 secs
lola: 19730 markings, 69047 edges, 491 markings/sec, 35 secs
lola: 22198 markings, 77826 edges, 494 markings/sec, 40 secs
lola: 24663 markings, 86493 edges, 493 markings/sec, 45 secs
lola: 27132 markings, 95815 edges, 494 markings/sec, 50 secs
lola: 29614 markings, 103725 edges, 496 markings/sec, 55 secs
lola: 32089 markings, 111577 edges, 495 markings/sec, 60 secs
lola: 34565 markings, 119821 edges, 495 markings/sec, 65 secs
lola: 37037 markings, 128359 edges, 494 markings/sec, 70 secs
lola: 39517 markings, 136617 edges, 496 markings/sec, 75 secs
lola: 42001 markings, 144708 edges, 497 markings/sec, 80 secs
lola: 44473 markings, 152937 edges, 494 markings/sec, 85 secs
lola: 46939 markings, 160700 edges, 493 markings/sec, 90 secs
lola: 49412 markings, 168616 edges, 495 markings/sec, 95 secs
lola: 51896 markings, 176440 edges, 497 markings/sec, 100 secs
lola: 54376 markings, 184246 edges, 496 markings/sec, 105 secs
lola: 56860 markings, 192448 edges, 497 markings/sec, 110 secs
lola: 59330 markings, 201097 edges, 494 markings/sec, 115 secs
lola: 61804 markings, 209658 edges, 495 markings/sec, 120 secs
lola: 64279 markings, 218404 edges, 495 markings/sec, 125 secs
lola: 66751 markings, 226281 edges, 494 markings/sec, 130 secs
lola: 69233 markings, 233881 edges, 496 markings/sec, 135 secs
lola: 71711 markings, 241478 edges, 496 markings/sec, 140 secs
lola: 74185 markings, 249543 edges, 495 markings/sec, 145 secs
lola: 76662 markings, 257680 edges, 495 markings/sec, 150 secs
lola: 79136 markings, 265406 edges, 495 markings/sec, 155 secs
lola: 81607 markings, 273922 edges, 494 markings/sec, 160 secs
lola: 84086 markings, 281553 edges, 496 markings/sec, 165 secs
lola: 86564 markings, 289977 edges, 496 markings/sec, 170 secs
lola: 89049 markings, 298337 edges, 497 markings/sec, 175 secs
lola: 91533 markings, 307022 edges, 497 markings/sec, 180 secs
lola: 94019 markings, 315277 edges, 497 markings/sec, 185 secs
lola: 96508 markings, 323167 edges, 498 markings/sec, 190 secs
lola: 98986 markings, 332000 edges, 496 markings/sec, 195 secs
lola: 101459 markings, 341110 edges, 495 markings/sec, 200 secs
lola: 103941 markings, 349483 edges, 496 markings/sec, 205 secs
lola: 106425 markings, 357305 edges, 497 markings/sec, 210 secs
lola: 108896 markings, 365529 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: 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: 2491 markings, 8838 edges, 498 markings/sec, 0 secs
lola: 4986 markings, 17704 edges, 499 markings/sec, 5 secs
lola: 7486 markings, 26832 edges, 500 markings/sec, 10 secs
lola: 9980 markings, 35759 edges, 499 markings/sec, 15 secs
lola: 12467 markings, 44263 edges, 497 markings/sec, 20 secs
lola: 14953 markings, 52534 edges, 497 markings/sec, 25 secs
lola: 17429 markings, 61809 edges, 495 markings/sec, 30 secs
lola: 19908 markings, 70734 edges, 496 markings/sec, 35 secs
lola: 22389 markings, 79917 edges, 496 markings/sec, 40 secs
lola: 24870 markings, 88583 edges, 496 markings/sec, 45 secs
lola: 27351 markings, 97088 edges, 496 markings/sec, 50 secs
lola: 29834 markings, 106129 edges, 497 markings/sec, 55 secs
lola: 32323 markings, 114307 edges, 498 markings/sec, 60 secs
lola: 34810 markings, 123415 edges, 497 markings/sec, 65 secs
lola: 37295 markings, 132243 edges, 497 markings/sec, 70 secs
lola: 39778 markings, 140732 edges, 497 markings/sec, 75 secs
lola: 42255 markings, 149911 edges, 495 markings/sec, 80 secs
lola: 44740 markings, 158726 edges, 497 markings/sec, 85 secs
lola: 47221 markings, 167595 edges, 496 markings/sec, 90 secs
lola: 49706 markings, 176239 edges, 497 markings/sec, 95 secs
lola: 52188 markings, 185463 edges, 496 markings/sec, 100 secs
lola: 54669 markings, 194120 edges, 496 markings/sec, 105 secs
lola: 57160 markings, 202835 edges, 498 markings/sec, 110 secs
lola: 59642 markings, 212416 edges, 496 markings/sec, 115 secs
lola: 62132 markings, 221351 edges, 498 markings/sec, 120 secs
lola: 64607 markings, 230355 edges, 495 markings/sec, 125 secs
lola: 67083 markings, 240136 edges, 495 markings/sec, 130 secs
lola: 69560 markings, 249033 edges, 495 markings/sec, 135 secs
lola: 72046 markings, 257275 edges, 497 markings/sec, 140 secs
lola: 74521 markings, 264940 edges, 495 markings/sec, 145 secs
lola: 76973 markings, 272417 edges, 490 markings/sec, 150 secs
lola: 79442 markings, 280120 edges, 494 markings/sec, 155 secs
lola: 81916 markings, 288235 edges, 495 markings/sec, 160 secs
lola: 84384 markings, 296435 edges, 494 markings/sec, 165 secs
lola: 86850 markings, 304816 edges, 493 markings/sec, 170 secs
lola: 89310 markings, 313032 edges, 492 markings/sec, 175 secs
lola: 91778 markings, 321493 edges, 494 markings/sec, 180 secs
lola: 94242 markings, 329933 edges, 493 markings/sec, 185 secs
lola: 96712 markings, 339006 edges, 494 markings/sec, 190 secs
lola: 99169 markings, 348170 edges, 491 markings/sec, 195 secs
lola: 101625 markings, 356649 edges, 491 markings/sec, 200 secs
lola: 104076 markings, 365271 edges, 490 markings/sec, 205 secs
lola: 106532 markings, 374370 edges, 491 markings/sec, 210 secs
lola: 108985 markings, 383870 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: 2465 markings, 8269 edges, 493 markings/sec, 0 secs
lola: 4915 markings, 16624 edges, 490 markings/sec, 5 secs
lola: 7387 markings, 25434 edges, 494 markings/sec, 10 secs
lola: 9858 markings, 34213 edges, 494 markings/sec, 15 secs
lola: 12333 markings, 42752 edges, 495 markings/sec, 20 secs
lola: 14805 markings, 51545 edges, 494 markings/sec, 25 secs
lola: 17275 markings, 60010 edges, 494 markings/sec, 30 secs
lola: 19743 markings, 68793 edges, 494 markings/sec, 35 secs
lola: 22211 markings, 77285 edges, 494 markings/sec, 40 secs
lola: 24689 markings, 85064 edges, 496 markings/sec, 45 secs
lola: 27139 markings, 93742 edges, 490 markings/sec, 50 secs
lola: 29606 markings, 102200 edges, 493 markings/sec, 55 secs
lola: 32078 markings, 110953 edges, 494 markings/sec, 60 secs
lola: 34545 markings, 119916 edges, 493 markings/sec, 65 secs
lola: 37027 markings, 128650 edges, 496 markings/sec, 70 secs
lola: 39496 markings, 137792 edges, 494 markings/sec, 75 secs
lola: 41977 markings, 145702 edges, 496 markings/sec, 80 secs
lola: 44461 markings, 153934 edges, 497 markings/sec, 85 secs
lola: 46938 markings, 162773 edges, 495 markings/sec, 90 secs
lola: 49416 markings, 171407 edges, 496 markings/sec, 95 secs
lola: 51886 markings, 180372 edges, 494 markings/sec, 100 secs
lola: 54354 markings, 188950 edges, 494 markings/sec, 105 secs
lola: 56830 markings, 197148 edges, 495 markings/sec, 110 secs
lola: 59303 markings, 206022 edges, 495 markings/sec, 115 secs
lola: 61773 markings, 214216 edges, 494 markings/sec, 120 secs
lola: 64242 markings, 222799 edges, 494 markings/sec, 125 secs
lola: 66711 markings, 231686 edges, 494 markings/sec, 130 secs
lola: 69177 markings, 240316 edges, 493 markings/sec, 135 secs
lola: 71649 markings, 248456 edges, 494 markings/sec, 140 secs
lola: 74117 markings, 257043 edges, 494 markings/sec, 145 secs
lola: 76589 markings, 265254 edges, 494 markings/sec, 150 secs
lola: 79063 markings, 273555 edges, 495 markings/sec, 155 secs
lola: 81533 markings, 281814 edges, 494 markings/sec, 160 secs
lola: 84007 markings, 290571 edges, 495 markings/sec, 165 secs
lola: 86479 markings, 299546 edges, 494 markings/sec, 170 secs
lola: 88950 markings, 307101 edges, 494 markings/sec, 175 secs
lola: 91417 markings, 315685 edges, 493 markings/sec, 180 secs
lola: 93893 markings, 324347 edges, 495 markings/sec, 185 secs
lola: 96363 markings, 332933 edges, 494 markings/sec, 190 secs
lola: 98831 markings, 341609 edges, 494 markings/sec, 195 secs
lola: 101297 markings, 350599 edges, 493 markings/sec, 200 secs
lola: 103767 markings, 359170 edges, 494 markings/sec, 205 secs
lola: 106247 markings, 366983 edges, 496 markings/sec, 210 secs
lola: 108714 markings, 375410 edges, 493 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: 2449 markings, 8888 edges, 490 markings/sec, 0 secs
lola: 4899 markings, 17323 edges, 490 markings/sec, 5 secs
lola: 7355 markings, 26108 edges, 491 markings/sec, 10 secs
lola: 9802 markings, 34800 edges, 489 markings/sec, 15 secs
lola: 12246 markings, 43445 edges, 489 markings/sec, 20 secs
lola: 14690 markings, 51961 edges, 489 markings/sec, 25 secs
lola: 17134 markings, 60553 edges, 489 markings/sec, 30 secs
lola: 19577 markings, 68888 edges, 489 markings/sec, 35 secs
lola: 22014 markings, 78284 edges, 487 markings/sec, 40 secs
lola: 24452 markings, 86912 edges, 488 markings/sec, 45 secs
lola: 26887 markings, 96204 edges, 487 markings/sec, 50 secs
lola: 29318 markings, 104861 edges, 486 markings/sec, 55 secs
lola: 31750 markings, 114384 edges, 486 markings/sec, 60 secs
lola: 34188 markings, 123102 edges, 488 markings/sec, 65 secs
lola: 36621 markings, 131768 edges, 487 markings/sec, 70 secs
lola: 39056 markings, 140444 edges, 487 markings/sec, 75 secs
lola: 41449 markings, 149005 edges, 479 markings/sec, 80 secs
lola: 43879 markings, 157253 edges, 486 markings/sec, 85 secs
lola: 46300 markings, 166212 edges, 484 markings/sec, 90 secs
lola: 48727 markings, 174773 edges, 485 markings/sec, 95 secs
lola: 51155 markings, 183810 edges, 486 markings/sec, 100 secs
lola: 53580 markings, 192759 edges, 485 markings/sec, 105 secs
lola: 56000 markings, 201529 edges, 484 markings/sec, 110 secs
lola: 58417 markings, 210854 edges, 483 markings/sec, 115 secs
lola: 60835 markings, 219048 edges, 484 markings/sec, 120 secs
lola: 63216 markings, 227634 edges, 476 markings/sec, 125 secs
lola: 65549 markings, 236437 edges, 467 markings/sec, 130 secs
lola: 67921 markings, 245200 edges, 474 markings/sec, 135 secs
lola: 70315 markings, 254030 edges, 479 markings/sec, 140 secs
lola: 72719 markings, 262371 edges, 481 markings/sec, 145 secs
lola: 75133 markings, 271469 edges, 483 markings/sec, 150 secs
lola: 77558 markings, 280145 edges, 485 markings/sec, 155 secs
lola: 79970 markings, 288959 edges, 482 markings/sec, 160 secs
lola: 82390 markings, 297878 edges, 484 markings/sec, 165 secs
lola: 84835 markings, 306866 edges, 489 markings/sec, 170 secs
lola: 87279 markings, 315679 edges, 489 markings/sec, 175 secs
lola: 89718 markings, 324066 edges, 488 markings/sec, 180 secs
lola: 92160 markings, 332223 edges, 488 markings/sec, 185 secs
lola: 94589 markings, 340118 edges, 486 markings/sec, 190 secs
lola: 97017 markings, 348335 edges, 486 markings/sec, 195 secs
lola: 99445 markings, 356884 edges, 486 markings/sec, 200 secs
lola: 101875 markings, 365712 edges, 486 markings/sec, 205 secs
lola: 104325 markings, 375077 edges, 490 markings/sec, 210 secs
lola: 106796 markings, 383160 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: 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: 2446 markings, 8610 edges, 489 markings/sec, 0 secs
lola: 4894 markings, 17351 edges, 490 markings/sec, 5 secs
lola: 7350 markings, 26186 edges, 491 markings/sec, 10 secs
lola: 9796 markings, 34936 edges, 489 markings/sec, 15 secs
lola: 12245 markings, 43978 edges, 490 markings/sec, 20 secs
lola: 14695 markings, 52720 edges, 490 markings/sec, 25 secs
lola: 17148 markings, 61537 edges, 491 markings/sec, 30 secs
lola: 19598 markings, 70591 edges, 490 markings/sec, 35 secs
lola: 22042 markings, 79271 edges, 489 markings/sec, 40 secs
lola: 24495 markings, 88156 edges, 491 markings/sec, 45 secs
lola: 26943 markings, 96195 edges, 490 markings/sec, 50 secs
lola: 29384 markings, 104720 edges, 488 markings/sec, 55 secs
lola: 31824 markings, 113457 edges, 488 markings/sec, 60 secs
lola: 34272 markings, 121922 edges, 490 markings/sec, 65 secs
lola: 36719 markings, 130209 edges, 489 markings/sec, 70 secs
lola: 39163 markings, 138772 edges, 489 markings/sec, 75 secs
lola: 41603 markings, 147927 edges, 488 markings/sec, 80 secs
lola: 44048 markings, 157130 edges, 489 markings/sec, 85 secs
lola: 46483 markings, 167055 edges, 487 markings/sec, 90 secs
lola: 48923 markings, 175862 edges, 488 markings/sec, 95 secs
lola: 51355 markings, 185503 edges, 486 markings/sec, 100 secs
lola: 53795 markings, 194857 edges, 488 markings/sec, 105 secs
lola: 56229 markings, 204210 edges, 487 markings/sec, 110 secs
lola: 58655 markings, 214218 edges, 485 markings/sec, 115 secs
lola: 61084 markings, 224032 edges, 486 markings/sec, 120 secs
lola: 63525 markings, 233488 edges, 488 markings/sec, 125 secs
lola: 65987 markings, 241499 edges, 492 markings/sec, 130 secs
lola: 68441 markings, 250471 edges, 491 markings/sec, 135 secs
lola: 70893 markings, 259488 edges, 490 markings/sec, 140 secs
lola: 73341 markings, 268915 edges, 490 markings/sec, 145 secs
lola: 75792 markings, 278492 edges, 490 markings/sec, 150 secs
lola: 78209 markings, 288204 edges, 483 markings/sec, 155 secs
lola: 80641 markings, 297047 edges, 486 markings/sec, 160 secs
lola: 83008 markings, 305549 edges, 473 markings/sec, 165 secs
lola: 85376 markings, 313785 edges, 474 markings/sec, 170 secs
lola: 87756 markings, 321938 edges, 476 markings/sec, 175 secs
lola: 90167 markings, 329864 edges, 482 markings/sec, 180 secs
lola: 92610 markings, 338790 edges, 489 markings/sec, 185 secs
lola: 95070 markings, 347244 edges, 492 markings/sec, 190 secs
lola: 97519 markings, 356357 edges, 490 markings/sec, 195 secs
lola: 99959 markings, 365647 edges, 488 markings/sec, 200 secs
lola: 102397 markings, 375125 edges, 488 markings/sec, 205 secs
lola: 104847 markings, 383618 edges, 490 markings/sec, 210 secs
lola: 107308 markings, 391801 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 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: 2474 markings, 8618 edges, 495 markings/sec, 0 secs
lola: 4956 markings, 17446 edges, 496 markings/sec, 5 secs
lola: 7415 markings, 26707 edges, 492 markings/sec, 10 secs
lola: 9889 markings, 35718 edges, 495 markings/sec, 15 secs
lola: 12371 markings, 44477 edges, 496 markings/sec, 20 secs
lola: 14849 markings, 54174 edges, 496 markings/sec, 25 secs
lola: 17336 markings, 62941 edges, 497 markings/sec, 30 secs
lola: 19817 markings, 71853 edges, 496 markings/sec, 35 secs
lola: 22288 markings, 81425 edges, 494 markings/sec, 40 secs
lola: 24766 markings, 90199 edges, 496 markings/sec, 45 secs
lola: 27240 markings, 99276 edges, 495 markings/sec, 50 secs
lola: 29718 markings, 108487 edges, 496 markings/sec, 55 secs
lola: 32198 markings, 117408 edges, 496 markings/sec, 60 secs
lola: 34675 markings, 125586 edges, 495 markings/sec, 65 secs
lola: 37151 markings, 134029 edges, 495 markings/sec, 70 secs
lola: 39627 markings, 142814 edges, 495 markings/sec, 75 secs
lola: 42099 markings, 151331 edges, 494 markings/sec, 80 secs
lola: 44575 markings, 160069 edges, 495 markings/sec, 85 secs
lola: 47059 markings, 168867 edges, 497 markings/sec, 90 secs
lola: 49542 markings, 177897 edges, 497 markings/sec, 95 secs
lola: 52017 markings, 187606 edges, 495 markings/sec, 100 secs
lola: 54499 markings, 196218 edges, 496 markings/sec, 105 secs
lola: 56980 markings, 204832 edges, 496 markings/sec, 110 secs
lola: 59461 markings, 213115 edges, 496 markings/sec, 115 secs
lola: 61938 markings, 221903 edges, 495 markings/sec, 120 secs
lola: 64418 markings, 230584 edges, 496 markings/sec, 125 secs
lola: 66898 markings, 239322 edges, 496 markings/sec, 130 secs
lola: 69370 markings, 248089 edges, 494 markings/sec, 135 secs
lola: 71836 markings, 256359 edges, 493 markings/sec, 140 secs
lola: 74304 markings, 264424 edges, 494 markings/sec, 145 secs
lola: 76760 markings, 273124 edges, 491 markings/sec, 150 secs
lola: 79216 markings, 281383 edges, 491 markings/sec, 155 secs
lola: 81669 markings, 289817 edges, 491 markings/sec, 160 secs
lola: 84123 markings, 298195 edges, 491 markings/sec, 165 secs
lola: 86585 markings, 306691 edges, 492 markings/sec, 170 secs
lola: 89035 markings, 315162 edges, 490 markings/sec, 175 secs
lola: 91482 markings, 323711 edges, 489 markings/sec, 180 secs
lola: 93933 markings, 332828 edges, 490 markings/sec, 185 secs
lola: 96389 markings, 341307 edges, 491 markings/sec, 190 secs
lola: 98840 markings, 349670 edges, 490 markings/sec, 195 secs
lola: 101294 markings, 358169 edges, 491 markings/sec, 200 secs
lola: 103743 markings, 366848 edges, 490 markings/sec, 205 secs
lola: 106203 markings, 375129 edges, 492 markings/sec, 210 secs
lola: 108662 markings, 383381 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 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: 2488 markings, 8968 edges, 498 markings/sec, 0 secs
lola: 4981 markings, 17282 edges, 499 markings/sec, 5 secs
lola: 7475 markings, 26048 edges, 499 markings/sec, 10 secs
lola: 9990 markings, 34692 edges, 503 markings/sec, 15 secs
lola: 12513 markings, 42911 edges, 505 markings/sec, 20 secs
lola: 15026 markings, 51761 edges, 503 markings/sec, 25 secs
lola: 17537 markings, 60242 edges, 502 markings/sec, 30 secs
lola: 20063 markings, 69066 edges, 505 markings/sec, 35 secs
lola: 22581 markings, 77875 edges, 504 markings/sec, 40 secs
lola: 25096 markings, 86703 edges, 503 markings/sec, 45 secs
lola: 27620 markings, 95453 edges, 505 markings/sec, 50 secs
lola: 30137 markings, 104385 edges, 503 markings/sec, 55 secs
lola: 32661 markings, 113216 edges, 505 markings/sec, 60 secs
lola: 35180 markings, 121961 edges, 504 markings/sec, 65 secs
lola: 37700 markings, 130862 edges, 504 markings/sec, 70 secs
lola: 40224 markings, 139650 edges, 505 markings/sec, 75 secs
lola: 42735 markings, 148503 edges, 502 markings/sec, 80 secs
lola: 45246 markings, 157267 edges, 502 markings/sec, 85 secs
lola: 47758 markings, 166068 edges, 502 markings/sec, 90 secs
lola: 50272 markings, 174862 edges, 503 markings/sec, 95 secs
lola: 52796 markings, 183729 edges, 505 markings/sec, 100 secs
lola: 55308 markings, 192506 edges, 502 markings/sec, 105 secs
lola: 57829 markings, 201350 edges, 504 markings/sec, 110 secs
lola: 60333 markings, 210122 edges, 501 markings/sec, 115 secs
lola: 62819 markings, 218903 edges, 497 markings/sec, 120 secs
lola: 65316 markings, 228251 edges, 499 markings/sec, 125 secs
lola: 67811 markings, 238073 edges, 499 markings/sec, 130 secs
lola: 70313 markings, 247288 edges, 500 markings/sec, 135 secs
lola: 72809 markings, 256145 edges, 499 markings/sec, 140 secs
lola: 75327 markings, 265333 edges, 504 markings/sec, 145 secs
lola: 77865 markings, 274670 edges, 508 markings/sec, 150 secs
lola: 80406 markings, 283485 edges, 508 markings/sec, 155 secs
lola: 82937 markings, 292673 edges, 506 markings/sec, 160 secs
lola: 85479 markings, 301486 edges, 508 markings/sec, 165 secs
lola: 88019 markings, 310613 edges, 508 markings/sec, 170 secs
lola: 90561 markings, 319750 edges, 508 markings/sec, 175 secs
lola: 93101 markings, 328878 edges, 508 markings/sec, 180 secs
lola: 95631 markings, 337881 edges, 506 markings/sec, 185 secs
lola: 98160 markings, 347240 edges, 506 markings/sec, 190 secs
lola: 100685 markings, 356396 edges, 505 markings/sec, 195 secs
lola: 103203 markings, 365479 edges, 504 markings/sec, 200 secs
lola: 105724 markings, 375049 edges, 504 markings/sec, 205 secs
lola: 108254 markings, 384371 edges, 506 markings/sec, 210 secs
lola: 110782 markings, 393583 edges, 506 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: 2457 markings, 9341 edges, 491 markings/sec, 0 secs
lola: 4939 markings, 18630 edges, 496 markings/sec, 5 secs
lola: 7418 markings, 27223 edges, 496 markings/sec, 10 secs
lola: 9902 markings, 35358 edges, 497 markings/sec, 15 secs
lola: 12369 markings, 44303 edges, 493 markings/sec, 20 secs
lola: 14833 markings, 52862 edges, 493 markings/sec, 25 secs
lola: 17307 markings, 61013 edges, 495 markings/sec, 30 secs
lola: 19775 markings, 69845 edges, 494 markings/sec, 35 secs
lola: 22240 markings, 78433 edges, 493 markings/sec, 40 secs
lola: 24705 markings, 86640 edges, 493 markings/sec, 45 secs
lola: 27160 markings, 95358 edges, 491 markings/sec, 50 secs
lola: 29622 markings, 103956 edges, 492 markings/sec, 55 secs
lola: 32093 markings, 112215 edges, 494 markings/sec, 60 secs
lola: 34565 markings, 120340 edges, 494 markings/sec, 65 secs
lola: 37037 markings, 128524 edges, 494 markings/sec, 70 secs
lola: 39503 markings, 136992 edges, 493 markings/sec, 75 secs
lola: 41979 markings, 145543 edges, 495 markings/sec, 80 secs
lola: 44459 markings, 153952 edges, 496 markings/sec, 85 secs
lola: 46934 markings, 162294 edges, 495 markings/sec, 90 secs
lola: 49403 markings, 170566 edges, 494 markings/sec, 95 secs
lola: 51867 markings, 179013 edges, 493 markings/sec, 100 secs
lola: 54336 markings, 187303 edges, 494 markings/sec, 105 secs
lola: 56789 markings, 195810 edges, 491 markings/sec, 110 secs
lola: 59242 markings, 203997 edges, 491 markings/sec, 115 secs
lola: 61694 markings, 212385 edges, 490 markings/sec, 120 secs
lola: 64141 markings, 220531 edges, 489 markings/sec, 125 secs
lola: 66585 markings, 228777 edges, 489 markings/sec, 130 secs
lola: 69043 markings, 237164 edges, 492 markings/sec, 135 secs
lola: 71489 markings, 245456 edges, 489 markings/sec, 140 secs
lola: 73941 markings, 253812 edges, 490 markings/sec, 145 secs
lola: 76389 markings, 261975 edges, 490 markings/sec, 150 secs
lola: 78833 markings, 270262 edges, 489 markings/sec, 155 secs
lola: 81274 markings, 278466 edges, 488 markings/sec, 160 secs
lola: 83712 markings, 286849 edges, 488 markings/sec, 165 secs
lola: 86165 markings, 295118 edges, 491 markings/sec, 170 secs
lola: 88614 markings, 303592 edges, 490 markings/sec, 175 secs
lola: 91053 markings, 311722 edges, 488 markings/sec, 180 secs
lola: 93494 markings, 320087 edges, 488 markings/sec, 185 secs
lola: 95939 markings, 328215 edges, 489 markings/sec, 190 secs
lola: 98385 markings, 336418 edges, 489 markings/sec, 195 secs
lola: 100846 markings, 344746 edges, 492 markings/sec, 200 secs
lola: 103304 markings, 353176 edges, 492 markings/sec, 205 secs
lola: 105774 markings, 361635 edges, 494 markings/sec, 210 secs
lola: 108243 markings, 369821 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: 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: 2480 markings, 8629 edges, 496 markings/sec, 0 secs
lola: 4960 markings, 17645 edges, 496 markings/sec, 5 secs
lola: 7436 markings, 26481 edges, 495 markings/sec, 10 secs
lola: 9918 markings, 35616 edges, 496 markings/sec, 15 secs
lola: 12416 markings, 44650 edges, 500 markings/sec, 20 secs
lola: 14903 markings, 54279 edges, 497 markings/sec, 25 secs
lola: 17417 markings, 63421 edges, 503 markings/sec, 30 secs
lola: 19912 markings, 71946 edges, 499 markings/sec, 35 secs
lola: 22403 markings, 81110 edges, 498 markings/sec, 40 secs
lola: 24901 markings, 90293 edges, 500 markings/sec, 45 secs
lola: 27404 markings, 99054 edges, 501 markings/sec, 50 secs
lola: 29903 markings, 107204 edges, 500 markings/sec, 55 secs
lola: 32389 markings, 115214 edges, 497 markings/sec, 60 secs
lola: 34877 markings, 123862 edges, 498 markings/sec, 65 secs
lola: 37363 markings, 132339 edges, 497 markings/sec, 70 secs
lola: 39847 markings, 141539 edges, 497 markings/sec, 75 secs
lola: 42332 markings, 150369 edges, 497 markings/sec, 80 secs
lola: 44821 markings, 159143 edges, 498 markings/sec, 85 secs
lola: 47330 markings, 167091 edges, 502 markings/sec, 90 secs
lola: 49833 markings, 175538 edges, 501 markings/sec, 95 secs
lola: 52332 markings, 183596 edges, 500 markings/sec, 100 secs
lola: 54828 markings, 191940 edges, 499 markings/sec, 105 secs
lola: 57322 markings, 200587 edges, 499 markings/sec, 110 secs
lola: 59811 markings, 209625 edges, 498 markings/sec, 115 secs
lola: 62297 markings, 218832 edges, 497 markings/sec, 120 secs
lola: 64793 markings, 227100 edges, 499 markings/sec, 125 secs
lola: 67293 markings, 235362 edges, 500 markings/sec, 130 secs
lola: 69783 markings, 243406 edges, 498 markings/sec, 135 secs
lola: 72266 markings, 251992 edges, 497 markings/sec, 140 secs
lola: 74750 markings, 260739 edges, 497 markings/sec, 145 secs
lola: 77236 markings, 269576 edges, 497 markings/sec, 150 secs
lola: 79720 markings, 278203 edges, 497 markings/sec, 155 secs
lola: 82206 markings, 286491 edges, 497 markings/sec, 160 secs
lola: 84694 markings, 294448 edges, 498 markings/sec, 165 secs
lola: 87175 markings, 303159 edges, 496 markings/sec, 170 secs
lola: 89657 markings, 312111 edges, 496 markings/sec, 175 secs
lola: 92139 markings, 321049 edges, 496 markings/sec, 180 secs
lola: 94622 markings, 329791 edges, 497 markings/sec, 185 secs
lola: 97109 markings, 338375 edges, 497 markings/sec, 190 secs
lola: 99593 markings, 347234 edges, 497 markings/sec, 195 secs
lola: 102095 markings, 355621 edges, 500 markings/sec, 200 secs
lola: 104599 markings, 363601 edges, 501 markings/sec, 205 secs
lola: 107091 markings, 372632 edges, 498 markings/sec, 210 secs
lola: 109587 markings, 380734 edges, 499 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: 2479 markings, 8646 edges, 496 markings/sec, 0 secs
lola: 4961 markings, 17023 edges, 496 markings/sec, 5 secs
lola: 7436 markings, 25551 edges, 495 markings/sec, 10 secs
lola: 9912 markings, 34343 edges, 495 markings/sec, 15 secs
lola: 12381 markings, 43049 edges, 494 markings/sec, 20 secs
lola: 14862 markings, 51124 edges, 496 markings/sec, 25 secs
lola: 17343 markings, 58898 edges, 496 markings/sec, 30 secs
lola: 19809 markings, 68030 edges, 493 markings/sec, 35 secs
lola: 22265 markings, 77209 edges, 491 markings/sec, 40 secs
lola: 24730 markings, 85606 edges, 493 markings/sec, 45 secs
lola: 27189 markings, 94112 edges, 492 markings/sec, 50 secs
lola: 29638 markings, 103170 edges, 490 markings/sec, 55 secs
lola: 32094 markings, 111986 edges, 491 markings/sec, 60 secs
lola: 34556 markings, 120754 edges, 492 markings/sec, 65 secs
lola: 37012 markings, 129610 edges, 491 markings/sec, 70 secs
lola: 39476 markings, 138346 edges, 493 markings/sec, 75 secs
lola: 41927 markings, 147791 edges, 490 markings/sec, 80 secs
lola: 44377 markings, 156773 edges, 490 markings/sec, 85 secs
lola: 46831 markings, 166119 edges, 491 markings/sec, 90 secs
lola: 49277 markings, 173778 edges, 489 markings/sec, 95 secs
lola: 51706 markings, 182440 edges, 486 markings/sec, 100 secs
lola: 54107 markings, 191428 edges, 480 markings/sec, 105 secs
lola: 56545 markings, 199477 edges, 488 markings/sec, 110 secs
lola: 58974 markings, 207916 edges, 486 markings/sec, 115 secs
lola: 61406 markings, 216745 edges, 486 markings/sec, 120 secs
lola: 63850 markings, 225132 edges, 489 markings/sec, 125 secs
lola: 66312 markings, 234416 edges, 492 markings/sec, 130 secs
lola: 68770 markings, 242798 edges, 492 markings/sec, 135 secs
lola: 71204 markings, 251212 edges, 487 markings/sec, 140 secs
lola: 73665 markings, 259120 edges, 492 markings/sec, 145 secs
lola: 76126 markings, 266883 edges, 492 markings/sec, 150 secs
lola: 78588 markings, 274924 edges, 492 markings/sec, 155 secs
lola: 81039 markings, 284191 edges, 490 markings/sec, 160 secs
lola: 83486 markings, 292512 edges, 489 markings/sec, 165 secs
lola: 85931 markings, 301102 edges, 489 markings/sec, 170 secs
lola: 88373 markings, 309826 edges, 488 markings/sec, 175 secs
lola: 90809 markings, 318771 edges, 487 markings/sec, 180 secs
lola: 93249 markings, 327485 edges, 488 markings/sec, 185 secs
lola: 95700 markings, 335961 edges, 490 markings/sec, 190 secs
lola: 98151 markings, 345575 edges, 490 markings/sec, 195 secs
lola: 100599 markings, 354339 edges, 490 markings/sec, 200 secs
lola: 103073 markings, 362721 edges, 495 markings/sec, 205 secs
lola: 105544 markings, 370622 edges, 494 markings/sec, 210 secs
lola: 108013 markings, 378914 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: 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: 2442 markings, 9220 edges, 488 markings/sec, 0 secs
lola: 4912 markings, 18246 edges, 494 markings/sec, 5 secs
lola: 7383 markings, 26183 edges, 494 markings/sec, 10 secs
lola: 9842 markings, 34712 edges, 492 markings/sec, 15 secs
lola: 12300 markings, 43473 edges, 492 markings/sec, 20 secs
lola: 14757 markings, 52221 edges, 491 markings/sec, 25 secs
lola: 17210 markings, 60863 edges, 491 markings/sec, 30 secs
lola: 19669 markings, 69617 edges, 492 markings/sec, 35 secs
lola: 22160 markings, 78372 edges, 498 markings/sec, 40 secs
lola: 24625 markings, 87258 edges, 493 markings/sec, 45 secs
lola: 27083 markings, 95460 edges, 492 markings/sec, 50 secs
lola: 29540 markings, 104427 edges, 491 markings/sec, 55 secs
lola: 31996 markings, 112573 edges, 491 markings/sec, 60 secs
lola: 34455 markings, 120196 edges, 492 markings/sec, 65 secs
lola: 36897 markings, 127930 edges, 488 markings/sec, 70 secs
lola: 39331 markings, 136002 edges, 487 markings/sec, 75 secs
lola: 41761 markings, 144022 edges, 486 markings/sec, 80 secs
lola: 44198 markings, 152652 edges, 487 markings/sec, 85 secs
lola: 46624 markings, 160099 edges, 485 markings/sec, 90 secs
lola: 49031 markings, 168643 edges, 481 markings/sec, 95 secs
lola: 51456 markings, 177019 edges, 485 markings/sec, 100 secs
lola: 53889 markings, 184514 edges, 487 markings/sec, 105 secs
lola: 56317 markings, 192652 edges, 486 markings/sec, 110 secs
lola: 58700 markings, 200197 edges, 477 markings/sec, 115 secs
lola: 61103 markings, 207663 edges, 481 markings/sec, 120 secs
lola: 63526 markings, 215110 edges, 485 markings/sec, 125 secs
lola: 65946 markings, 223105 edges, 484 markings/sec, 130 secs
lola: 68379 markings, 230734 edges, 487 markings/sec, 135 secs
lola: 70795 markings, 238814 edges, 483 markings/sec, 140 secs
lola: 73217 markings, 247227 edges, 484 markings/sec, 145 secs
lola: 75631 markings, 254956 edges, 483 markings/sec, 150 secs
lola: 78042 markings, 262591 edges, 482 markings/sec, 155 secs
lola: 80449 markings, 270118 edges, 481 markings/sec, 160 secs
lola: 82869 markings, 278278 edges, 484 markings/sec, 165 secs
lola: 85289 markings, 286576 edges, 484 markings/sec, 170 secs
lola: 87708 markings, 294643 edges, 484 markings/sec, 175 secs
lola: 90124 markings, 302742 edges, 483 markings/sec, 180 secs
lola: 92534 markings, 311395 edges, 482 markings/sec, 185 secs
lola: 94952 markings, 320359 edges, 484 markings/sec, 190 secs
lola: 97394 markings, 329075 edges, 488 markings/sec, 195 secs
lola: 99833 markings, 336447 edges, 488 markings/sec, 200 secs
lola: 102279 markings, 344327 edges, 489 markings/sec, 205 secs
lola: 104741 markings, 352144 edges, 492 markings/sec, 210 secs
lola: 107187 markings, 359938 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 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: 2448 markings, 8944 edges, 490 markings/sec, 0 secs
lola: 4909 markings, 17407 edges, 492 markings/sec, 5 secs
lola: 7368 markings, 26206 edges, 492 markings/sec, 10 secs
lola: 9841 markings, 35137 edges, 495 markings/sec, 15 secs
lola: 12307 markings, 44247 edges, 493 markings/sec, 20 secs
lola: 14775 markings, 52991 edges, 494 markings/sec, 25 secs
lola: 17249 markings, 61824 edges, 495 markings/sec, 30 secs
lola: 19715 markings, 70820 edges, 493 markings/sec, 35 secs
lola: 22168 markings, 79490 edges, 491 markings/sec, 40 secs
lola: 24641 markings, 88369 edges, 495 markings/sec, 45 secs
lola: 27109 markings, 97507 edges, 494 markings/sec, 50 secs
lola: 29581 markings, 106129 edges, 494 markings/sec, 55 secs
lola: 32047 markings, 115151 edges, 493 markings/sec, 60 secs
lola: 34526 markings, 124124 edges, 496 markings/sec, 65 secs
lola: 37009 markings, 132645 edges, 497 markings/sec, 70 secs
lola: 39477 markings, 140746 edges, 494 markings/sec, 75 secs
lola: 41932 markings, 149290 edges, 491 markings/sec, 80 secs
lola: 44399 markings, 157519 edges, 493 markings/sec, 85 secs
lola: 46870 markings, 165745 edges, 494 markings/sec, 90 secs
lola: 49335 markings, 174619 edges, 493 markings/sec, 95 secs
lola: 51814 markings, 182981 edges, 496 markings/sec, 100 secs
lola: 54281 markings, 192054 edges, 493 markings/sec, 105 secs
lola: 56743 markings, 201868 edges, 492 markings/sec, 110 secs
lola: 59217 markings, 211447 edges, 495 markings/sec, 115 secs
lola: 61717 markings, 219903 edges, 500 markings/sec, 120 secs
lola: 64214 markings, 228134 edges, 499 markings/sec, 125 secs
lola: 66716 markings, 236697 edges, 500 markings/sec, 130 secs
lola: 69225 markings, 244928 edges, 502 markings/sec, 135 secs
lola: 71733 markings, 253414 edges, 502 markings/sec, 140 secs
lola: 74237 markings, 261921 edges, 501 markings/sec, 145 secs
lola: 76741 markings, 270427 edges, 501 markings/sec, 150 secs
lola: 79247 markings, 278793 edges, 501 markings/sec, 155 secs
lola: 81732 markings, 287010 edges, 497 markings/sec, 160 secs
lola: 84208 markings, 295390 edges, 495 markings/sec, 165 secs
lola: 86687 markings, 303793 edges, 496 markings/sec, 170 secs
lola: 89162 markings, 311970 edges, 495 markings/sec, 175 secs
lola: 91628 markings, 320343 edges, 493 markings/sec, 180 secs
lola: 94092 markings, 328858 edges, 493 markings/sec, 185 secs
lola: 96566 markings, 337061 edges, 495 markings/sec, 190 secs
lola: 99047 markings, 345192 edges, 496 markings/sec, 195 secs
lola: 101519 markings, 353544 edges, 494 markings/sec, 200 secs
lola: 103998 markings, 361984 edges, 496 markings/sec, 205 secs
lola: 106475 markings, 370143 edges, 495 markings/sec, 210 secs
lola: 108949 markings, 378503 edges, 495 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(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: 2477 markings, 8059 edges, 495 markings/sec, 0 secs
lola: 4973 markings, 16647 edges, 499 markings/sec, 5 secs
lola: 7479 markings, 24835 edges, 501 markings/sec, 10 secs
lola: 9976 markings, 33711 edges, 499 markings/sec, 15 secs
lola: 12459 markings, 42232 edges, 497 markings/sec, 20 secs
lola: 14962 markings, 51013 edges, 501 markings/sec, 25 secs
lola: 17463 markings, 60191 edges, 500 markings/sec, 30 secs
lola: 19966 markings, 68889 edges, 501 markings/sec, 35 secs
lola: 22471 markings, 77426 edges, 501 markings/sec, 40 secs
lola: 24971 markings, 86269 edges, 500 markings/sec, 45 secs
lola: 27452 markings, 94799 edges, 496 markings/sec, 50 secs
lola: 29922 markings, 103978 edges, 494 markings/sec, 55 secs
lola: 32389 markings, 112743 edges, 493 markings/sec, 60 secs
lola: 34860 markings, 122082 edges, 494 markings/sec, 65 secs
lola: 37342 markings, 131071 edges, 496 markings/sec, 70 secs
lola: 39833 markings, 140103 edges, 498 markings/sec, 75 secs
lola: 42324 markings, 148848 edges, 498 markings/sec, 80 secs
lola: 44817 markings, 157272 edges, 499 markings/sec, 85 secs
lola: 47302 markings, 166018 edges, 497 markings/sec, 90 secs
lola: 49786 markings, 174511 edges, 497 markings/sec, 95 secs
lola: 52266 markings, 182529 edges, 496 markings/sec, 100 secs
lola: 54732 markings, 191474 edges, 493 markings/sec, 105 secs
lola: 57209 markings, 199860 edges, 495 markings/sec, 110 secs
lola: 59685 markings, 208500 edges, 495 markings/sec, 115 secs
lola: 62155 markings, 216830 edges, 494 markings/sec, 120 secs
lola: 64610 markings, 225220 edges, 491 markings/sec, 125 secs
lola: 67069 markings, 233596 edges, 492 markings/sec, 130 secs
lola: 69548 markings, 241823 edges, 496 markings/sec, 135 secs
lola: 72035 markings, 250510 edges, 497 markings/sec, 140 secs
lola: 74530 markings, 258733 edges, 499 markings/sec, 145 secs
lola: 77006 markings, 267346 edges, 495 markings/sec, 150 secs
lola: 79469 markings, 275454 edges, 493 markings/sec, 155 secs
lola: 81949 markings, 283670 edges, 496 markings/sec, 160 secs
lola: 84463 markings, 291082 edges, 503 markings/sec, 165 secs
lola: 86962 markings, 299502 edges, 500 markings/sec, 170 secs
lola: 89461 markings, 308009 edges, 500 markings/sec, 175 secs
lola: 91966 markings, 316552 edges, 501 markings/sec, 180 secs
lola: 94461 markings, 325285 edges, 499 markings/sec, 185 secs
lola: 96957 markings, 334329 edges, 499 markings/sec, 190 secs
lola: 99461 markings, 343751 edges, 501 markings/sec, 195 secs
lola: 101955 markings, 352216 edges, 499 markings/sec, 200 secs
lola: 104436 markings, 362431 edges, 496 markings/sec, 205 secs
lola: 106951 markings, 370867 edges, 503 markings/sec, 210 secs
lola: 109470 markings, 380664 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 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: 2498 markings, 8272 edges, 500 markings/sec, 0 secs
lola: 5012 markings, 16439 edges, 503 markings/sec, 5 secs
lola: 7521 markings, 24322 edges, 502 markings/sec, 10 secs
lola: 10028 markings, 32141 edges, 501 markings/sec, 15 secs
lola: 12535 markings, 40199 edges, 501 markings/sec, 20 secs
lola: 15039 markings, 48309 edges, 501 markings/sec, 25 secs
lola: 17545 markings, 56284 edges, 501 markings/sec, 30 secs
lola: 20049 markings, 63981 edges, 501 markings/sec, 35 secs
lola: 22552 markings, 71815 edges, 501 markings/sec, 40 secs
lola: 25050 markings, 80609 edges, 500 markings/sec, 45 secs
lola: 27541 markings, 88485 edges, 498 markings/sec, 50 secs
lola: 30029 markings, 96665 edges, 498 markings/sec, 55 secs
lola: 32516 markings, 105533 edges, 497 markings/sec, 60 secs
lola: 35011 markings, 113847 edges, 499 markings/sec, 65 secs
lola: 37498 markings, 122118 edges, 497 markings/sec, 70 secs
lola: 39983 markings, 130406 edges, 497 markings/sec, 75 secs
lola: 42479 markings, 138214 edges, 499 markings/sec, 80 secs
lola: 44964 markings, 146018 edges, 497 markings/sec, 85 secs
lola: 47451 markings, 154034 edges, 497 markings/sec, 90 secs
lola: 49942 markings, 161362 edges, 498 markings/sec, 95 secs
lola: 52427 markings, 169546 edges, 497 markings/sec, 100 secs
lola: 54896 markings, 177778 edges, 494 markings/sec, 105 secs
lola: 57375 markings, 185302 edges, 496 markings/sec, 110 secs
lola: 59862 markings, 192733 edges, 497 markings/sec, 115 secs
lola: 62339 markings, 201122 edges, 495 markings/sec, 120 secs
lola: 64822 markings, 209066 edges, 497 markings/sec, 125 secs
lola: 67300 markings, 217093 edges, 496 markings/sec, 130 secs
lola: 69775 markings, 225384 edges, 495 markings/sec, 135 secs
lola: 72244 markings, 233138 edges, 494 markings/sec, 140 secs
lola: 74705 markings, 240665 edges, 492 markings/sec, 145 secs
lola: 77167 markings, 248735 edges, 492 markings/sec, 150 secs
lola: 79615 markings, 256613 edges, 490 markings/sec, 155 secs
lola: 82062 markings, 264225 edges, 489 markings/sec, 160 secs
lola: 84507 markings, 272082 edges, 489 markings/sec, 165 secs
lola: 86956 markings, 280039 edges, 490 markings/sec, 170 secs
lola: 89403 markings, 288085 edges, 489 markings/sec, 175 secs
lola: 91846 markings, 296001 edges, 489 markings/sec, 180 secs
lola: 94286 markings, 304263 edges, 488 markings/sec, 185 secs
lola: 96737 markings, 311646 edges, 490 markings/sec, 190 secs
lola: 99180 markings, 319660 edges, 489 markings/sec, 195 secs
lola: 101622 markings, 326972 edges, 488 markings/sec, 200 secs
lola: 104080 markings, 335136 edges, 492 markings/sec, 205 secs
lola: 106535 markings, 342920 edges, 491 markings/sec, 210 secs
lola: 108995 markings, 350801 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: 2435 markings, 8336 edges, 487 markings/sec, 0 secs
lola: 4898 markings, 17039 edges, 493 markings/sec, 5 secs
lola: 7357 markings, 25718 edges, 492 markings/sec, 10 secs
lola: 9807 markings, 34266 edges, 490 markings/sec, 15 secs
lola: 12260 markings, 41703 edges, 491 markings/sec, 20 secs
lola: 14730 markings, 49617 edges, 494 markings/sec, 25 secs
lola: 17190 markings, 57587 edges, 492 markings/sec, 30 secs
lola: 19632 markings, 65808 edges, 488 markings/sec, 35 secs
lola: 22098 markings, 75066 edges, 493 markings/sec, 40 secs
lola: 24568 markings, 84529 edges, 494 markings/sec, 45 secs
lola: 27047 markings, 92038 edges, 496 markings/sec, 50 secs
lola: 29530 markings, 100243 edges, 497 markings/sec, 55 secs
lola: 32007 markings, 108685 edges, 495 markings/sec, 60 secs
lola: 34494 markings, 116281 edges, 497 markings/sec, 65 secs
lola: 36983 markings, 124091 edges, 498 markings/sec, 70 secs
lola: 39468 markings, 132983 edges, 497 markings/sec, 75 secs
lola: 41956 markings, 141486 edges, 498 markings/sec, 80 secs
lola: 44443 markings, 150168 edges, 497 markings/sec, 85 secs
lola: 46925 markings, 158659 edges, 496 markings/sec, 90 secs
lola: 49407 markings, 168144 edges, 496 markings/sec, 95 secs
lola: 51884 markings, 177590 edges, 495 markings/sec, 100 secs
lola: 54353 markings, 187863 edges, 494 markings/sec, 105 secs
lola: 56825 markings, 197911 edges, 494 markings/sec, 110 secs
lola: 59273 markings, 206964 edges, 490 markings/sec, 115 secs
lola: 61764 markings, 215941 edges, 498 markings/sec, 120 secs
lola: 64265 markings, 225107 edges, 500 markings/sec, 125 secs
lola: 66758 markings, 234300 edges, 499 markings/sec, 130 secs
lola: 69248 markings, 243418 edges, 498 markings/sec, 135 secs
lola: 71724 markings, 252353 edges, 495 markings/sec, 140 secs
lola: 74182 markings, 261913 edges, 492 markings/sec, 145 secs
lola: 76647 markings, 272026 edges, 493 markings/sec, 150 secs
lola: 79107 markings, 280594 edges, 492 markings/sec, 155 secs
lola: 81577 markings, 289111 edges, 494 markings/sec, 160 secs
lola: 84054 markings, 296685 edges, 495 markings/sec, 165 secs
lola: 86546 markings, 304791 edges, 498 markings/sec, 170 secs
lola: 89045 markings, 313364 edges, 500 markings/sec, 175 secs
lola: 91528 markings, 322445 edges, 497 markings/sec, 180 secs
lola: 94006 markings, 330281 edges, 496 markings/sec, 185 secs
lola: 96482 markings, 337952 edges, 495 markings/sec, 190 secs
lola: 98964 markings, 345973 edges, 496 markings/sec, 195 secs
lola: 101454 markings, 354746 edges, 498 markings/sec, 200 secs
lola: 103947 markings, 363663 edges, 499 markings/sec, 205 secs
lola: 106436 markings, 372532 edges, 498 markings/sec, 210 secs
lola: 108924 markings, 381632 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: 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 1496465968465

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_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/S_Diffusion2D-PT-D50N010.tgz
mv S_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 S_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 r098-ebro-149488455800407"
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 ;