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

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

=== Now, execution of the tool begins

BK_START 1496464468599


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


checking for too many tokens
===========================================================================================
S_Diffusion2D-PT-D50N100: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Diffusion2D-PT-D50N100 @ 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-D50N100-UpperBounds.task
lola: MAX(cAMP__5_4_) : MAX(cAMP__23_27_) : MAX(cAMP__37_6_) : MAX(cAMP__22_45_) : MAX(cAMP__10_15_) : MAX(cAMP__42_12_) : MAX(cAMP__48_46_) : MAX(cAMP__18_7_) : MAX(cAMP__1_2_) : MAX(cAMP__44_3_) : MAX(cAMP__46_40_) : MAX(cAMP__29_10_) : MAX(cAMP__40_4_) : MAX(cAMP__1_22_) : MAX(cAMP__39_32_) : MAX(cAMP__15_44_)
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__5_4_)
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, 8873 edges, 487 markings/sec, 0 secs
lola: 4905 markings, 15981 edges, 494 markings/sec, 5 secs
lola: 7370 markings, 23234 edges, 493 markings/sec, 10 secs
lola: 9839 markings, 30623 edges, 494 markings/sec, 15 secs
lola: 12308 markings, 38381 edges, 494 markings/sec, 20 secs
lola: 14783 markings, 45781 edges, 495 markings/sec, 25 secs
lola: 17254 markings, 53890 edges, 494 markings/sec, 30 secs
lola: 19726 markings, 61404 edges, 494 markings/sec, 35 secs
lola: 22202 markings, 69330 edges, 495 markings/sec, 40 secs
lola: 24676 markings, 77502 edges, 495 markings/sec, 45 secs
lola: 27141 markings, 85956 edges, 493 markings/sec, 50 secs
lola: 29610 markings, 93933 edges, 494 markings/sec, 55 secs
lola: 32087 markings, 101793 edges, 495 markings/sec, 60 secs
lola: 34570 markings, 109290 edges, 497 markings/sec, 65 secs
lola: 37051 markings, 117323 edges, 496 markings/sec, 70 secs
lola: 39529 markings, 124929 edges, 496 markings/sec, 75 secs
lola: 41998 markings, 132721 edges, 494 markings/sec, 80 secs
lola: 44468 markings, 140587 edges, 494 markings/sec, 85 secs
lola: 46936 markings, 148717 edges, 494 markings/sec, 90 secs
lola: 49408 markings, 156603 edges, 494 markings/sec, 95 secs
lola: 51875 markings, 165216 edges, 493 markings/sec, 100 secs
lola: 54356 markings, 173019 edges, 496 markings/sec, 105 secs
lola: 56843 markings, 180623 edges, 497 markings/sec, 110 secs
lola: 59208 markings, 187776 edges, 473 markings/sec, 115 secs
lola: 61625 markings, 195631 edges, 483 markings/sec, 120 secs
lola: 64104 markings, 203822 edges, 496 markings/sec, 125 secs
lola: 66568 markings, 212403 edges, 493 markings/sec, 130 secs
lola: 69037 markings, 220192 edges, 494 markings/sec, 135 secs
lola: 71467 markings, 227680 edges, 486 markings/sec, 140 secs
lola: 73881 markings, 235315 edges, 483 markings/sec, 145 secs
lola: 76346 markings, 243296 edges, 493 markings/sec, 150 secs
lola: 78814 markings, 251880 edges, 494 markings/sec, 155 secs
lola: 81280 markings, 260495 edges, 493 markings/sec, 160 secs
lola: 83744 markings, 269367 edges, 493 markings/sec, 165 secs
lola: 86205 markings, 278567 edges, 492 markings/sec, 170 secs
lola: 88676 markings, 285937 edges, 494 markings/sec, 175 secs
lola: 91145 markings, 293660 edges, 494 markings/sec, 180 secs
lola: 93609 markings, 301898 edges, 493 markings/sec, 185 secs
lola: 96079 markings, 309651 edges, 494 markings/sec, 190 secs
lola: 98547 markings, 317498 edges, 494 markings/sec, 195 secs
lola: 101017 markings, 325314 edges, 494 markings/sec, 200 secs
lola: 103495 markings, 333052 edges, 496 markings/sec, 205 secs
lola: 105970 markings, 341137 edges, 495 markings/sec, 210 secs
lola: 108441 markings, 349603 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 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__23_27_)
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: 2434 markings, 6597 edges, 487 markings/sec, 0 secs
lola: 4854 markings, 13879 edges, 484 markings/sec, 5 secs
lola: 7296 markings, 21560 edges, 488 markings/sec, 10 secs
lola: 9736 markings, 29225 edges, 488 markings/sec, 15 secs
lola: 12166 markings, 37593 edges, 486 markings/sec, 20 secs
lola: 14610 markings, 44566 edges, 489 markings/sec, 25 secs
lola: 17045 markings, 51967 edges, 487 markings/sec, 30 secs
lola: 19478 markings, 60428 edges, 487 markings/sec, 35 secs
lola: 21922 markings, 67797 edges, 489 markings/sec, 40 secs
lola: 24342 markings, 75093 edges, 484 markings/sec, 45 secs
lola: 26738 markings, 83440 edges, 479 markings/sec, 50 secs
lola: 29131 markings, 90628 edges, 479 markings/sec, 55 secs
lola: 31521 markings, 98321 edges, 478 markings/sec, 60 secs
lola: 33929 markings, 106674 edges, 482 markings/sec, 65 secs
lola: 36318 markings, 114755 edges, 478 markings/sec, 70 secs
lola: 38724 markings, 124123 edges, 481 markings/sec, 75 secs
lola: 41143 markings, 131972 edges, 484 markings/sec, 80 secs
lola: 43551 markings, 141335 edges, 482 markings/sec, 85 secs
lola: 45968 markings, 150246 edges, 483 markings/sec, 90 secs
lola: 48389 markings, 159512 edges, 484 markings/sec, 95 secs
lola: 50807 markings, 169039 edges, 484 markings/sec, 100 secs
lola: 53210 markings, 177040 edges, 481 markings/sec, 105 secs
lola: 55639 markings, 184896 edges, 486 markings/sec, 110 secs
lola: 58019 markings, 192100 edges, 476 markings/sec, 115 secs
lola: 60425 markings, 199314 edges, 481 markings/sec, 120 secs
lola: 62823 markings, 207663 edges, 480 markings/sec, 125 secs
lola: 65215 markings, 217264 edges, 478 markings/sec, 130 secs
lola: 67614 markings, 227192 edges, 480 markings/sec, 135 secs
lola: 70035 markings, 233436 edges, 484 markings/sec, 140 secs
lola: 72492 markings, 240595 edges, 491 markings/sec, 145 secs
lola: 74905 markings, 248251 edges, 483 markings/sec, 150 secs
lola: 77367 markings, 255696 edges, 492 markings/sec, 155 secs
lola: 79799 markings, 264032 edges, 486 markings/sec, 160 secs
lola: 82237 markings, 272372 edges, 488 markings/sec, 165 secs
lola: 84681 markings, 280604 edges, 489 markings/sec, 170 secs
lola: 87133 markings, 288898 edges, 490 markings/sec, 175 secs
lola: 89592 markings, 296589 edges, 492 markings/sec, 180 secs
lola: 92051 markings, 304950 edges, 492 markings/sec, 185 secs
lola: 94510 markings, 311931 edges, 492 markings/sec, 190 secs
lola: 96957 markings, 319993 edges, 489 markings/sec, 195 secs
lola: 99413 markings, 326992 edges, 491 markings/sec, 200 secs
lola: 101867 markings, 335257 edges, 491 markings/sec, 205 secs
lola: 104319 markings, 344488 edges, 490 markings/sec, 210 secs
lola: 106768 markings, 352669 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 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__37_6_)
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: 2396 markings, 9077 edges, 479 markings/sec, 0 secs
lola: 4813 markings, 17571 edges, 483 markings/sec, 5 secs
lola: 7226 markings, 26583 edges, 483 markings/sec, 10 secs
lola: 9644 markings, 35374 edges, 484 markings/sec, 15 secs
lola: 12075 markings, 43757 edges, 486 markings/sec, 20 secs
lola: 14511 markings, 52345 edges, 487 markings/sec, 25 secs
lola: 16942 markings, 60342 edges, 486 markings/sec, 30 secs
lola: 19305 markings, 68662 edges, 473 markings/sec, 35 secs
lola: 21639 markings, 76808 edges, 467 markings/sec, 40 secs
lola: 24072 markings, 84854 edges, 487 markings/sec, 45 secs
lola: 26504 markings, 92781 edges, 486 markings/sec, 50 secs
lola: 28933 markings, 101062 edges, 486 markings/sec, 55 secs
lola: 31372 markings, 108769 edges, 488 markings/sec, 60 secs
lola: 33775 markings, 116893 edges, 481 markings/sec, 65 secs
lola: 36134 markings, 125231 edges, 472 markings/sec, 70 secs
lola: 38512 markings, 133834 edges, 476 markings/sec, 75 secs
lola: 40908 markings, 141989 edges, 479 markings/sec, 80 secs
lola: 43289 markings, 149732 edges, 476 markings/sec, 85 secs
lola: 45690 markings, 157798 edges, 480 markings/sec, 90 secs
lola: 48090 markings, 165526 edges, 480 markings/sec, 95 secs
lola: 50484 markings, 173851 edges, 479 markings/sec, 100 secs
lola: 52885 markings, 182003 edges, 480 markings/sec, 105 secs
lola: 55280 markings, 190163 edges, 479 markings/sec, 110 secs
lola: 57663 markings, 198899 edges, 477 markings/sec, 115 secs
lola: 60076 markings, 206813 edges, 483 markings/sec, 120 secs
lola: 62503 markings, 215013 edges, 485 markings/sec, 125 secs
lola: 64923 markings, 223260 edges, 484 markings/sec, 130 secs
lola: 67348 markings, 231532 edges, 485 markings/sec, 135 secs
lola: 69774 markings, 240113 edges, 485 markings/sec, 140 secs
lola: 72182 markings, 248538 edges, 482 markings/sec, 145 secs
lola: 74608 markings, 257065 edges, 485 markings/sec, 150 secs
lola: 77041 markings, 265873 edges, 487 markings/sec, 155 secs
lola: 79477 markings, 274568 edges, 487 markings/sec, 160 secs
lola: 81909 markings, 282376 edges, 486 markings/sec, 165 secs
lola: 84343 markings, 290969 edges, 487 markings/sec, 170 secs
lola: 86763 markings, 299210 edges, 484 markings/sec, 175 secs
lola: 89177 markings, 307560 edges, 483 markings/sec, 180 secs
lola: 91605 markings, 315996 edges, 486 markings/sec, 185 secs
lola: 94026 markings, 324285 edges, 484 markings/sec, 190 secs
lola: 96454 markings, 332205 edges, 486 markings/sec, 195 secs
lola: 98870 markings, 340644 edges, 483 markings/sec, 200 secs
lola: 101287 markings, 348213 edges, 483 markings/sec, 205 secs
lola: 103696 markings, 356278 edges, 482 markings/sec, 210 secs
lola: 106069 markings, 364168 edges, 475 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__22_45_)
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: 2405 markings, 8618 edges, 481 markings/sec, 0 secs
lola: 4775 markings, 17134 edges, 474 markings/sec, 5 secs
lola: 7156 markings, 25543 edges, 476 markings/sec, 10 secs
lola: 9525 markings, 33924 edges, 474 markings/sec, 15 secs
lola: 11888 markings, 42648 edges, 473 markings/sec, 20 secs
lola: 14235 markings, 51302 edges, 469 markings/sec, 25 secs
lola: 16593 markings, 60153 edges, 472 markings/sec, 30 secs
lola: 18995 markings, 68820 edges, 480 markings/sec, 35 secs
lola: 21421 markings, 77229 edges, 485 markings/sec, 40 secs
lola: 23845 markings, 85657 edges, 485 markings/sec, 45 secs
lola: 26270 markings, 94048 edges, 485 markings/sec, 50 secs
lola: 28697 markings, 102542 edges, 485 markings/sec, 55 secs
lola: 31126 markings, 110668 edges, 486 markings/sec, 60 secs
lola: 33549 markings, 118823 edges, 485 markings/sec, 65 secs
lola: 35974 markings, 127497 edges, 485 markings/sec, 70 secs
lola: 38396 markings, 136170 edges, 484 markings/sec, 75 secs
lola: 40822 markings, 145071 edges, 485 markings/sec, 80 secs
lola: 43248 markings, 153654 edges, 485 markings/sec, 85 secs
lola: 45665 markings, 162498 edges, 483 markings/sec, 90 secs
lola: 48094 markings, 170854 edges, 486 markings/sec, 95 secs
lola: 50511 markings, 179277 edges, 483 markings/sec, 100 secs
lola: 52916 markings, 187510 edges, 481 markings/sec, 105 secs
lola: 55356 markings, 195948 edges, 488 markings/sec, 110 secs
lola: 57797 markings, 204117 edges, 488 markings/sec, 115 secs
lola: 60234 markings, 212755 edges, 487 markings/sec, 120 secs
lola: 62657 markings, 221020 edges, 485 markings/sec, 125 secs
lola: 65036 markings, 229570 edges, 476 markings/sec, 130 secs
lola: 67388 markings, 237964 edges, 470 markings/sec, 135 secs
lola: 69766 markings, 246680 edges, 476 markings/sec, 140 secs
lola: 72205 markings, 254966 edges, 488 markings/sec, 145 secs
lola: 74637 markings, 263009 edges, 486 markings/sec, 150 secs
lola: 77062 markings, 271345 edges, 485 markings/sec, 155 secs
lola: 79490 markings, 279952 edges, 486 markings/sec, 160 secs
lola: 81934 markings, 288247 edges, 489 markings/sec, 165 secs
lola: 84372 markings, 296757 edges, 488 markings/sec, 170 secs
lola: 86805 markings, 305675 edges, 487 markings/sec, 175 secs
lola: 89232 markings, 314109 edges, 485 markings/sec, 180 secs
lola: 91613 markings, 322989 edges, 476 markings/sec, 185 secs
lola: 94043 markings, 331846 edges, 486 markings/sec, 190 secs
lola: 96506 markings, 340214 edges, 493 markings/sec, 195 secs
lola: 98969 markings, 348836 edges, 493 markings/sec, 200 secs
lola: 101433 markings, 357135 edges, 493 markings/sec, 205 secs
lola: 103885 markings, 366181 edges, 490 markings/sec, 210 secs
lola: 106345 markings, 374521 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 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_15_)
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: 2437 markings, 8693 edges, 487 markings/sec, 0 secs
lola: 4895 markings, 17315 edges, 492 markings/sec, 5 secs
lola: 7325 markings, 25498 edges, 486 markings/sec, 10 secs
lola: 9771 markings, 34354 edges, 489 markings/sec, 15 secs
lola: 12223 markings, 42985 edges, 490 markings/sec, 20 secs
lola: 14655 markings, 51399 edges, 486 markings/sec, 25 secs
lola: 17099 markings, 59670 edges, 489 markings/sec, 30 secs
lola: 19556 markings, 68019 edges, 491 markings/sec, 35 secs
lola: 21982 markings, 76228 edges, 485 markings/sec, 40 secs
lola: 24429 markings, 83892 edges, 489 markings/sec, 45 secs
lola: 26890 markings, 91358 edges, 492 markings/sec, 50 secs
lola: 29317 markings, 99890 edges, 485 markings/sec, 55 secs
lola: 31765 markings, 108473 edges, 490 markings/sec, 60 secs
lola: 34212 markings, 116746 edges, 489 markings/sec, 65 secs
lola: 36662 markings, 125336 edges, 490 markings/sec, 70 secs
lola: 39106 markings, 134085 edges, 489 markings/sec, 75 secs
lola: 41552 markings, 142627 edges, 489 markings/sec, 80 secs
lola: 44000 markings, 151065 edges, 490 markings/sec, 85 secs
lola: 46459 markings, 159410 edges, 492 markings/sec, 90 secs
lola: 48897 markings, 167861 edges, 488 markings/sec, 95 secs
lola: 51305 markings, 177229 edges, 482 markings/sec, 100 secs
lola: 53709 markings, 185794 edges, 481 markings/sec, 105 secs
lola: 56123 markings, 194895 edges, 483 markings/sec, 110 secs
lola: 58545 markings, 203862 edges, 484 markings/sec, 115 secs
lola: 60987 markings, 212528 edges, 488 markings/sec, 120 secs
lola: 63415 markings, 221099 edges, 486 markings/sec, 125 secs
lola: 65849 markings, 228537 edges, 487 markings/sec, 130 secs
lola: 68261 markings, 236658 edges, 482 markings/sec, 135 secs
lola: 70693 markings, 244938 edges, 486 markings/sec, 140 secs
lola: 73126 markings, 252918 edges, 487 markings/sec, 145 secs
lola: 75556 markings, 261931 edges, 486 markings/sec, 150 secs
lola: 77988 markings, 270177 edges, 486 markings/sec, 155 secs
lola: 80412 markings, 278810 edges, 485 markings/sec, 160 secs
lola: 82844 markings, 287579 edges, 486 markings/sec, 165 secs
lola: 85281 markings, 295521 edges, 487 markings/sec, 170 secs
lola: 87726 markings, 303348 edges, 489 markings/sec, 175 secs
lola: 90169 markings, 311801 edges, 489 markings/sec, 180 secs
lola: 92617 markings, 320096 edges, 490 markings/sec, 185 secs
lola: 95059 markings, 327704 edges, 488 markings/sec, 190 secs
lola: 97489 markings, 335663 edges, 486 markings/sec, 195 secs
lola: 99918 markings, 344069 edges, 486 markings/sec, 200 secs
lola: 102342 markings, 352601 edges, 485 markings/sec, 205 secs
lola: 104774 markings, 360529 edges, 486 markings/sec, 210 secs
lola: 107188 markings, 369585 edges, 483 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__42_12_)
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: 2373 markings, 8676 edges, 475 markings/sec, 0 secs
lola: 4781 markings, 17045 edges, 482 markings/sec, 5 secs
lola: 7188 markings, 26025 edges, 481 markings/sec, 10 secs
lola: 9588 markings, 34680 edges, 480 markings/sec, 15 secs
lola: 12014 markings, 43643 edges, 485 markings/sec, 20 secs
lola: 14456 markings, 52285 edges, 488 markings/sec, 25 secs
lola: 16909 markings, 60935 edges, 491 markings/sec, 30 secs
lola: 19359 markings, 69530 edges, 490 markings/sec, 35 secs
lola: 21796 markings, 78580 edges, 487 markings/sec, 40 secs
lola: 24226 markings, 87428 edges, 486 markings/sec, 45 secs
lola: 26673 markings, 95937 edges, 489 markings/sec, 50 secs
lola: 29039 markings, 102918 edges, 473 markings/sec, 55 secs
lola: 31438 markings, 110915 edges, 480 markings/sec, 60 secs
lola: 33834 markings, 118731 edges, 479 markings/sec, 65 secs
lola: 36204 markings, 126884 edges, 474 markings/sec, 70 secs
lola: 38618 markings, 135305 edges, 483 markings/sec, 75 secs
lola: 41024 markings, 142589 edges, 481 markings/sec, 80 secs
lola: 43414 markings, 150452 edges, 478 markings/sec, 85 secs
lola: 45831 markings, 158905 edges, 483 markings/sec, 90 secs
lola: 48253 markings, 167732 edges, 484 markings/sec, 95 secs
lola: 50670 markings, 177267 edges, 483 markings/sec, 100 secs
lola: 53114 markings, 186155 edges, 489 markings/sec, 105 secs
lola: 55554 markings, 195189 edges, 488 markings/sec, 110 secs
lola: 57990 markings, 203037 edges, 487 markings/sec, 115 secs
lola: 60433 markings, 210771 edges, 489 markings/sec, 120 secs
lola: 62816 markings, 219061 edges, 477 markings/sec, 125 secs
lola: 65226 markings, 227611 edges, 482 markings/sec, 130 secs
lola: 67635 markings, 236675 edges, 482 markings/sec, 135 secs
lola: 70054 markings, 244918 edges, 484 markings/sec, 140 secs
lola: 72468 markings, 254043 edges, 483 markings/sec, 145 secs
lola: 74890 markings, 263182 edges, 484 markings/sec, 150 secs
lola: 77311 markings, 271815 edges, 484 markings/sec, 155 secs
lola: 79716 markings, 280522 edges, 481 markings/sec, 160 secs
lola: 82093 markings, 289465 edges, 475 markings/sec, 165 secs
lola: 84508 markings, 296685 edges, 483 markings/sec, 170 secs
lola: 86837 markings, 304671 edges, 466 markings/sec, 175 secs
lola: 89230 markings, 313291 edges, 479 markings/sec, 180 secs
lola: 91673 markings, 321925 edges, 489 markings/sec, 185 secs
lola: 94072 markings, 331346 edges, 480 markings/sec, 190 secs
lola: 96499 markings, 341112 edges, 485 markings/sec, 195 secs
lola: 98841 markings, 349763 edges, 468 markings/sec, 200 secs
lola: 101244 markings, 358558 edges, 481 markings/sec, 205 secs
lola: 103651 markings, 367236 edges, 481 markings/sec, 210 secs
lola: 106076 markings, 376040 edges, 485 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__48_46_)
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: 2485 markings, 8669 edges, 497 markings/sec, 0 secs
lola: 4990 markings, 17795 edges, 501 markings/sec, 5 secs
lola: 7491 markings, 26882 edges, 500 markings/sec, 10 secs
lola: 9999 markings, 35859 edges, 502 markings/sec, 15 secs
lola: 12509 markings, 45073 edges, 502 markings/sec, 20 secs
lola: 15022 markings, 54238 edges, 503 markings/sec, 25 secs
lola: 17539 markings, 62915 edges, 503 markings/sec, 30 secs
lola: 20046 markings, 71614 edges, 501 markings/sec, 35 secs
lola: 22547 markings, 81486 edges, 500 markings/sec, 40 secs
lola: 25052 markings, 90720 edges, 501 markings/sec, 45 secs
lola: 27567 markings, 99855 edges, 503 markings/sec, 50 secs
lola: 30094 markings, 109485 edges, 505 markings/sec, 55 secs
lola: 32606 markings, 118941 edges, 502 markings/sec, 60 secs
lola: 35061 markings, 129491 edges, 491 markings/sec, 65 secs
lola: 37518 markings, 139918 edges, 491 markings/sec, 70 secs
lola: 40021 markings, 149400 edges, 501 markings/sec, 75 secs
lola: 42530 markings, 158541 edges, 502 markings/sec, 80 secs
lola: 45001 markings, 167810 edges, 494 markings/sec, 85 secs
lola: 47431 markings, 177937 edges, 486 markings/sec, 90 secs
lola: 49896 markings, 187299 edges, 493 markings/sec, 95 secs
lola: 52348 markings, 197126 edges, 490 markings/sec, 100 secs
lola: 54808 markings, 207642 edges, 492 markings/sec, 105 secs
lola: 57293 markings, 216856 edges, 497 markings/sec, 110 secs
lola: 59721 markings, 225404 edges, 486 markings/sec, 115 secs
lola: 62178 markings, 234895 edges, 491 markings/sec, 120 secs
lola: 64656 markings, 244373 edges, 496 markings/sec, 125 secs
lola: 67103 markings, 254099 edges, 489 markings/sec, 130 secs
lola: 69590 markings, 262540 edges, 497 markings/sec, 135 secs
lola: 72072 markings, 271959 edges, 496 markings/sec, 140 secs
lola: 74550 markings, 281707 edges, 496 markings/sec, 145 secs
lola: 77015 markings, 290638 edges, 493 markings/sec, 150 secs
lola: 79480 markings, 299411 edges, 493 markings/sec, 155 secs
lola: 81973 markings, 309296 edges, 499 markings/sec, 160 secs
lola: 84466 markings, 318714 edges, 499 markings/sec, 165 secs
lola: 86947 markings, 328212 edges, 496 markings/sec, 170 secs
lola: 89432 markings, 336733 edges, 497 markings/sec, 175 secs
lola: 91924 markings, 345270 edges, 498 markings/sec, 180 secs
lola: 94395 markings, 354749 edges, 494 markings/sec, 185 secs
lola: 96873 markings, 364401 edges, 496 markings/sec, 190 secs
lola: 99344 markings, 374230 edges, 494 markings/sec, 195 secs
lola: 101812 markings, 382909 edges, 494 markings/sec, 200 secs
lola: 104269 markings, 391635 edges, 491 markings/sec, 205 secs
lola: 106690 markings, 400513 edges, 484 markings/sec, 210 secs
lola: 109131 markings, 409884 edges, 488 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__18_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: 2396 markings, 8777 edges, 479 markings/sec, 0 secs
lola: 4804 markings, 16983 edges, 482 markings/sec, 5 secs
lola: 7222 markings, 25158 edges, 484 markings/sec, 10 secs
lola: 9623 markings, 33524 edges, 480 markings/sec, 15 secs
lola: 12034 markings, 41917 edges, 482 markings/sec, 20 secs
lola: 14452 markings, 50633 edges, 484 markings/sec, 25 secs
lola: 16857 markings, 58748 edges, 481 markings/sec, 30 secs
lola: 19271 markings, 66951 edges, 483 markings/sec, 35 secs
lola: 21699 markings, 75340 edges, 486 markings/sec, 40 secs
lola: 24108 markings, 83945 edges, 482 markings/sec, 45 secs
lola: 26513 markings, 92385 edges, 481 markings/sec, 50 secs
lola: 28922 markings, 100664 edges, 482 markings/sec, 55 secs
lola: 31350 markings, 108917 edges, 486 markings/sec, 60 secs
lola: 33777 markings, 117173 edges, 485 markings/sec, 65 secs
lola: 36205 markings, 125361 edges, 486 markings/sec, 70 secs
lola: 38638 markings, 132960 edges, 487 markings/sec, 75 secs
lola: 41070 markings, 141358 edges, 486 markings/sec, 80 secs
lola: 43493 markings, 149554 edges, 485 markings/sec, 85 secs
lola: 45912 markings, 158528 edges, 484 markings/sec, 90 secs
lola: 48338 markings, 166680 edges, 485 markings/sec, 95 secs
lola: 50749 markings, 175565 edges, 482 markings/sec, 100 secs
lola: 53155 markings, 183670 edges, 481 markings/sec, 105 secs
lola: 55574 markings, 192274 edges, 484 markings/sec, 110 secs
lola: 58014 markings, 201063 edges, 488 markings/sec, 115 secs
lola: 60459 markings, 209357 edges, 489 markings/sec, 120 secs
lola: 62922 markings, 217374 edges, 493 markings/sec, 125 secs
lola: 65375 markings, 225711 edges, 491 markings/sec, 130 secs
lola: 67826 markings, 234304 edges, 490 markings/sec, 135 secs
lola: 70272 markings, 242625 edges, 489 markings/sec, 140 secs
lola: 72721 markings, 250851 edges, 490 markings/sec, 145 secs
lola: 75159 markings, 259187 edges, 488 markings/sec, 150 secs
lola: 77594 markings, 268489 edges, 487 markings/sec, 155 secs
lola: 80028 markings, 277686 edges, 487 markings/sec, 160 secs
lola: 82471 markings, 286645 edges, 489 markings/sec, 165 secs
lola: 84915 markings, 296139 edges, 489 markings/sec, 170 secs
lola: 87361 markings, 304747 edges, 489 markings/sec, 175 secs
lola: 89799 markings, 312939 edges, 488 markings/sec, 180 secs
lola: 92255 markings, 321292 edges, 491 markings/sec, 185 secs
lola: 94708 markings, 329514 edges, 491 markings/sec, 190 secs
lola: 97172 markings, 337542 edges, 493 markings/sec, 195 secs
lola: 99640 markings, 346040 edges, 494 markings/sec, 200 secs
lola: 102104 markings, 354763 edges, 493 markings/sec, 205 secs
lola: 104561 markings, 363232 edges, 491 markings/sec, 210 secs
lola: 107009 markings, 373006 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 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_2_)
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, 9230 edges, 486 markings/sec, 0 secs
lola: 4852 markings, 18033 edges, 484 markings/sec, 5 secs
lola: 7279 markings, 26883 edges, 485 markings/sec, 10 secs
lola: 9708 markings, 35721 edges, 486 markings/sec, 15 secs
lola: 12150 markings, 44522 edges, 488 markings/sec, 20 secs
lola: 14577 markings, 53330 edges, 485 markings/sec, 25 secs
lola: 17039 markings, 62249 edges, 492 markings/sec, 30 secs
lola: 19438 markings, 70287 edges, 480 markings/sec, 35 secs
lola: 21850 markings, 78457 edges, 482 markings/sec, 40 secs
lola: 24299 markings, 86841 edges, 490 markings/sec, 45 secs
lola: 26756 markings, 95166 edges, 491 markings/sec, 50 secs
lola: 29183 markings, 103455 edges, 485 markings/sec, 55 secs
lola: 31676 markings, 111604 edges, 499 markings/sec, 60 secs
lola: 34137 markings, 119979 edges, 492 markings/sec, 65 secs
lola: 36586 markings, 128305 edges, 490 markings/sec, 70 secs
lola: 39032 markings, 136770 edges, 489 markings/sec, 75 secs
lola: 41443 markings, 145071 edges, 482 markings/sec, 80 secs
lola: 43897 markings, 153444 edges, 491 markings/sec, 85 secs
lola: 46346 markings, 161590 edges, 490 markings/sec, 90 secs
lola: 48785 markings, 169827 edges, 488 markings/sec, 95 secs
lola: 51229 markings, 177828 edges, 489 markings/sec, 100 secs
lola: 53676 markings, 186147 edges, 489 markings/sec, 105 secs
lola: 56120 markings, 195021 edges, 489 markings/sec, 110 secs
lola: 58555 markings, 203926 edges, 487 markings/sec, 115 secs
lola: 60990 markings, 212169 edges, 487 markings/sec, 120 secs
lola: 63427 markings, 220679 edges, 487 markings/sec, 125 secs
lola: 65866 markings, 229029 edges, 488 markings/sec, 130 secs
lola: 68307 markings, 237391 edges, 488 markings/sec, 135 secs
lola: 70727 markings, 245882 edges, 484 markings/sec, 140 secs
lola: 73162 markings, 254121 edges, 487 markings/sec, 145 secs
lola: 75596 markings, 262167 edges, 487 markings/sec, 150 secs
lola: 78024 markings, 270755 edges, 486 markings/sec, 155 secs
lola: 80465 markings, 278727 edges, 488 markings/sec, 160 secs
lola: 82901 markings, 287010 edges, 487 markings/sec, 165 secs
lola: 85342 markings, 295194 edges, 488 markings/sec, 170 secs
lola: 87783 markings, 303246 edges, 488 markings/sec, 175 secs
lola: 90243 markings, 311433 edges, 492 markings/sec, 180 secs
lola: 92699 markings, 320155 edges, 491 markings/sec, 185 secs
lola: 95149 markings, 329268 edges, 490 markings/sec, 190 secs
lola: 97596 markings, 337624 edges, 489 markings/sec, 195 secs
lola: 100043 markings, 346115 edges, 489 markings/sec, 200 secs
lola: 102497 markings, 354457 edges, 491 markings/sec, 205 secs
lola: 104939 markings, 362876 edges, 488 markings/sec, 210 secs
lola: 107372 markings, 371303 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 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__44_3_)
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: 2404 markings, 8332 edges, 481 markings/sec, 0 secs
lola: 4879 markings, 16859 edges, 495 markings/sec, 5 secs
lola: 7354 markings, 25269 edges, 495 markings/sec, 10 secs
lola: 9798 markings, 34006 edges, 489 markings/sec, 15 secs
lola: 12273 markings, 42741 edges, 495 markings/sec, 20 secs
lola: 14552 markings, 50761 edges, 456 markings/sec, 25 secs
lola: 17010 markings, 59564 edges, 492 markings/sec, 30 secs
lola: 19460 markings, 67538 edges, 490 markings/sec, 35 secs
lola: 21909 markings, 76099 edges, 490 markings/sec, 40 secs
lola: 24375 markings, 84329 edges, 493 markings/sec, 45 secs
lola: 26887 markings, 92814 edges, 502 markings/sec, 50 secs
lola: 29395 markings, 101032 edges, 502 markings/sec, 55 secs
lola: 31898 markings, 109221 edges, 501 markings/sec, 60 secs
lola: 34396 markings, 118129 edges, 500 markings/sec, 65 secs
lola: 36900 markings, 126282 edges, 501 markings/sec, 70 secs
lola: 39404 markings, 135025 edges, 501 markings/sec, 75 secs
lola: 41850 markings, 143224 edges, 489 markings/sec, 80 secs
lola: 44333 markings, 151720 edges, 497 markings/sec, 85 secs
lola: 46815 markings, 160459 edges, 496 markings/sec, 90 secs
lola: 49305 markings, 168980 edges, 498 markings/sec, 95 secs
lola: 51792 markings, 177241 edges, 497 markings/sec, 100 secs
lola: 54275 markings, 185915 edges, 497 markings/sec, 105 secs
lola: 56753 markings, 194231 edges, 496 markings/sec, 110 secs
lola: 59243 markings, 203031 edges, 498 markings/sec, 115 secs
lola: 61726 markings, 211421 edges, 497 markings/sec, 120 secs
lola: 64209 markings, 220540 edges, 497 markings/sec, 125 secs
lola: 66691 markings, 228831 edges, 496 markings/sec, 130 secs
lola: 69171 markings, 237791 edges, 496 markings/sec, 135 secs
lola: 71652 markings, 246667 edges, 496 markings/sec, 140 secs
lola: 74135 markings, 254755 edges, 497 markings/sec, 145 secs
lola: 76615 markings, 263423 edges, 496 markings/sec, 150 secs
lola: 79108 markings, 271658 edges, 499 markings/sec, 155 secs
lola: 81598 markings, 280102 edges, 498 markings/sec, 160 secs
lola: 84087 markings, 288511 edges, 498 markings/sec, 165 secs
lola: 86570 markings, 297148 edges, 497 markings/sec, 170 secs
lola: 89057 markings, 305742 edges, 497 markings/sec, 175 secs
lola: 91551 markings, 314056 edges, 499 markings/sec, 180 secs
lola: 94041 markings, 322237 edges, 498 markings/sec, 185 secs
lola: 96537 markings, 330912 edges, 499 markings/sec, 190 secs
lola: 99031 markings, 339152 edges, 499 markings/sec, 195 secs
lola: 101519 markings, 347343 edges, 498 markings/sec, 200 secs
lola: 104005 markings, 356041 edges, 497 markings/sec, 205 secs
lola: 106488 markings, 364206 edges, 497 markings/sec, 210 secs
lola: 108975 markings, 372713 edges, 497 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__46_40_)
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: 2489 markings, 8354 edges, 498 markings/sec, 0 secs
lola: 4976 markings, 16832 edges, 497 markings/sec, 5 secs
lola: 7442 markings, 25328 edges, 493 markings/sec, 10 secs
lola: 9928 markings, 34176 edges, 497 markings/sec, 15 secs
lola: 12390 markings, 42814 edges, 492 markings/sec, 20 secs
lola: 14868 markings, 51657 edges, 496 markings/sec, 25 secs
lola: 17373 markings, 60476 edges, 501 markings/sec, 30 secs
lola: 19869 markings, 69406 edges, 499 markings/sec, 35 secs
lola: 22374 markings, 77236 edges, 501 markings/sec, 40 secs
lola: 24874 markings, 85949 edges, 500 markings/sec, 45 secs
lola: 27380 markings, 94481 edges, 501 markings/sec, 50 secs
lola: 29880 markings, 102875 edges, 500 markings/sec, 55 secs
lola: 32371 markings, 111488 edges, 498 markings/sec, 60 secs
lola: 34857 markings, 120507 edges, 497 markings/sec, 65 secs
lola: 37353 markings, 128983 edges, 499 markings/sec, 70 secs
lola: 39844 markings, 137847 edges, 498 markings/sec, 75 secs
lola: 42340 markings, 146984 edges, 499 markings/sec, 80 secs
lola: 44783 markings, 155827 edges, 489 markings/sec, 85 secs
lola: 47238 markings, 164037 edges, 491 markings/sec, 90 secs
lola: 49700 markings, 172341 edges, 492 markings/sec, 95 secs
lola: 52158 markings, 180720 edges, 492 markings/sec, 100 secs
lola: 54619 markings, 188803 edges, 492 markings/sec, 105 secs
lola: 57073 markings, 197134 edges, 491 markings/sec, 110 secs
lola: 59526 markings, 205733 edges, 491 markings/sec, 115 secs
lola: 61976 markings, 214351 edges, 490 markings/sec, 120 secs
lola: 64422 markings, 223732 edges, 489 markings/sec, 125 secs
lola: 66878 markings, 232647 edges, 491 markings/sec, 130 secs
lola: 69372 markings, 241439 edges, 499 markings/sec, 135 secs
lola: 71867 markings, 250329 edges, 499 markings/sec, 140 secs
lola: 74374 markings, 258025 edges, 501 markings/sec, 145 secs
lola: 76862 markings, 266644 edges, 498 markings/sec, 150 secs
lola: 79367 markings, 274796 edges, 501 markings/sec, 155 secs
lola: 81864 markings, 283459 edges, 499 markings/sec, 160 secs
lola: 84359 markings, 291529 edges, 499 markings/sec, 165 secs
lola: 86850 markings, 299906 edges, 498 markings/sec, 170 secs
lola: 89335 markings, 308668 edges, 497 markings/sec, 175 secs
lola: 91832 markings, 317539 edges, 499 markings/sec, 180 secs
lola: 94330 markings, 326048 edges, 500 markings/sec, 185 secs
lola: 96829 markings, 335353 edges, 500 markings/sec, 190 secs
lola: 99342 markings, 343210 edges, 503 markings/sec, 195 secs
lola: 101848 markings, 351924 edges, 501 markings/sec, 200 secs
lola: 104365 markings, 360240 edges, 503 markings/sec, 205 secs
lola: 106868 markings, 368812 edges, 501 markings/sec, 210 secs
lola: 109376 markings, 377368 edges, 502 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__29_10_)
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, 8806 edges, 490 markings/sec, 0 secs
lola: 4919 markings, 17212 edges, 494 markings/sec, 5 secs
lola: 7390 markings, 25832 edges, 494 markings/sec, 10 secs
lola: 9847 markings, 35025 edges, 491 markings/sec, 15 secs
lola: 12302 markings, 44005 edges, 491 markings/sec, 20 secs
lola: 14761 markings, 52762 edges, 492 markings/sec, 25 secs
lola: 17215 markings, 61444 edges, 491 markings/sec, 30 secs
lola: 19673 markings, 69852 edges, 492 markings/sec, 35 secs
lola: 22129 markings, 78503 edges, 491 markings/sec, 40 secs
lola: 24583 markings, 86950 edges, 491 markings/sec, 45 secs
lola: 27039 markings, 95302 edges, 491 markings/sec, 50 secs
lola: 29498 markings, 103390 edges, 492 markings/sec, 55 secs
lola: 31949 markings, 111837 edges, 490 markings/sec, 60 secs
lola: 34392 markings, 120730 edges, 489 markings/sec, 65 secs
lola: 36849 markings, 129074 edges, 491 markings/sec, 70 secs
lola: 39308 markings, 137610 edges, 492 markings/sec, 75 secs
lola: 41755 markings, 145883 edges, 489 markings/sec, 80 secs
lola: 44201 markings, 153999 edges, 489 markings/sec, 85 secs
lola: 46648 markings, 162408 edges, 489 markings/sec, 90 secs
lola: 49096 markings, 170795 edges, 490 markings/sec, 95 secs
lola: 51539 markings, 179888 edges, 489 markings/sec, 100 secs
lola: 53984 markings, 189004 edges, 489 markings/sec, 105 secs
lola: 56431 markings, 197224 edges, 489 markings/sec, 110 secs
lola: 58871 markings, 205761 edges, 488 markings/sec, 115 secs
lola: 61313 markings, 213920 edges, 488 markings/sec, 120 secs
lola: 63756 markings, 222751 edges, 489 markings/sec, 125 secs
lola: 66197 markings, 230970 edges, 488 markings/sec, 130 secs
lola: 68634 markings, 239893 edges, 487 markings/sec, 135 secs
lola: 71071 markings, 248524 edges, 487 markings/sec, 140 secs
lola: 73511 markings, 257188 edges, 488 markings/sec, 145 secs
lola: 75941 markings, 266507 edges, 486 markings/sec, 150 secs
lola: 78371 markings, 275495 edges, 486 markings/sec, 155 secs
lola: 80805 markings, 284152 edges, 487 markings/sec, 160 secs
lola: 83246 markings, 291992 edges, 488 markings/sec, 165 secs
lola: 85680 markings, 300646 edges, 487 markings/sec, 170 secs
lola: 88124 markings, 309425 edges, 489 markings/sec, 175 secs
lola: 90575 markings, 318368 edges, 490 markings/sec, 180 secs
lola: 93029 markings, 326451 edges, 491 markings/sec, 185 secs
lola: 95482 markings, 335029 edges, 491 markings/sec, 190 secs
lola: 97941 markings, 343152 edges, 492 markings/sec, 195 secs
lola: 100401 markings, 351662 edges, 492 markings/sec, 200 secs
lola: 102854 markings, 360409 edges, 491 markings/sec, 205 secs
lola: 105307 markings, 368825 edges, 491 markings/sec, 210 secs
lola: 107759 markings, 376957 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 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__40_4_)
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: 2481 markings, 7910 edges, 496 markings/sec, 0 secs
lola: 4960 markings, 16185 edges, 496 markings/sec, 5 secs
lola: 7422 markings, 24655 edges, 492 markings/sec, 10 secs
lola: 9889 markings, 33303 edges, 493 markings/sec, 15 secs
lola: 12358 markings, 41664 edges, 494 markings/sec, 20 secs
lola: 14804 markings, 50492 edges, 489 markings/sec, 25 secs
lola: 17244 markings, 58961 edges, 488 markings/sec, 30 secs
lola: 19688 markings, 67790 edges, 489 markings/sec, 35 secs
lola: 22131 markings, 76222 edges, 489 markings/sec, 40 secs
lola: 24574 markings, 84668 edges, 489 markings/sec, 45 secs
lola: 27021 markings, 93261 edges, 489 markings/sec, 50 secs
lola: 29471 markings, 101456 edges, 490 markings/sec, 55 secs
lola: 31913 markings, 109295 edges, 488 markings/sec, 60 secs
lola: 34353 markings, 117339 edges, 488 markings/sec, 65 secs
lola: 36783 markings, 125381 edges, 486 markings/sec, 70 secs
lola: 39213 markings, 133831 edges, 486 markings/sec, 75 secs
lola: 41647 markings, 142298 edges, 487 markings/sec, 80 secs
lola: 44092 markings, 150189 edges, 489 markings/sec, 85 secs
lola: 46531 markings, 158997 edges, 488 markings/sec, 90 secs
lola: 48971 markings, 166957 edges, 488 markings/sec, 95 secs
lola: 51434 markings, 174717 edges, 493 markings/sec, 100 secs
lola: 53908 markings, 182966 edges, 495 markings/sec, 105 secs
lola: 56391 markings, 191051 edges, 497 markings/sec, 110 secs
lola: 58875 markings, 199469 edges, 497 markings/sec, 115 secs
lola: 61360 markings, 208176 edges, 497 markings/sec, 120 secs
lola: 63845 markings, 215863 edges, 497 markings/sec, 125 secs
lola: 66327 markings, 224100 edges, 496 markings/sec, 130 secs
lola: 68810 markings, 232443 edges, 497 markings/sec, 135 secs
lola: 71300 markings, 240382 edges, 498 markings/sec, 140 secs
lola: 73783 markings, 248844 edges, 497 markings/sec, 145 secs
lola: 76262 markings, 257299 edges, 496 markings/sec, 150 secs
lola: 78746 markings, 265480 edges, 497 markings/sec, 155 secs
lola: 81229 markings, 273753 edges, 497 markings/sec, 160 secs
lola: 83707 markings, 282225 edges, 496 markings/sec, 165 secs
lola: 86191 markings, 290593 edges, 497 markings/sec, 170 secs
lola: 88683 markings, 299062 edges, 498 markings/sec, 175 secs
lola: 91170 markings, 307180 edges, 497 markings/sec, 180 secs
lola: 93652 markings, 315268 edges, 496 markings/sec, 185 secs
lola: 96129 markings, 324611 edges, 495 markings/sec, 190 secs
lola: 98612 markings, 332488 edges, 497 markings/sec, 195 secs
lola: 101087 markings, 340904 edges, 495 markings/sec, 200 secs
lola: 103562 markings, 349471 edges, 495 markings/sec, 205 secs
lola: 106035 markings, 358029 edges, 495 markings/sec, 210 secs
lola: 108514 markings, 366294 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 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_22_)
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, 8590 edges, 496 markings/sec, 0 secs
lola: 4947 markings, 16697 edges, 494 markings/sec, 5 secs
lola: 7423 markings, 24978 edges, 495 markings/sec, 10 secs
lola: 9892 markings, 33533 edges, 494 markings/sec, 15 secs
lola: 12362 markings, 41676 edges, 494 markings/sec, 20 secs
lola: 14824 markings, 50135 edges, 492 markings/sec, 25 secs
lola: 17293 markings, 58431 edges, 494 markings/sec, 30 secs
lola: 19763 markings, 66677 edges, 494 markings/sec, 35 secs
lola: 22255 markings, 75098 edges, 498 markings/sec, 40 secs
lola: 24728 markings, 83276 edges, 495 markings/sec, 45 secs
lola: 27199 markings, 91928 edges, 494 markings/sec, 50 secs
lola: 29673 markings, 99904 edges, 495 markings/sec, 55 secs
lola: 32148 markings, 108470 edges, 495 markings/sec, 60 secs
lola: 34624 markings, 116599 edges, 495 markings/sec, 65 secs
lola: 37092 markings, 125061 edges, 494 markings/sec, 70 secs
lola: 39559 markings, 133308 edges, 493 markings/sec, 75 secs
lola: 42035 markings, 141196 edges, 495 markings/sec, 80 secs
lola: 44514 markings, 148987 edges, 496 markings/sec, 85 secs
lola: 46992 markings, 157186 edges, 496 markings/sec, 90 secs
lola: 49457 markings, 165665 edges, 493 markings/sec, 95 secs
lola: 51940 markings, 174261 edges, 497 markings/sec, 100 secs
lola: 54425 markings, 183207 edges, 497 markings/sec, 105 secs
lola: 56909 markings, 192266 edges, 497 markings/sec, 110 secs
lola: 59409 markings, 200512 edges, 500 markings/sec, 115 secs
lola: 61904 markings, 208851 edges, 499 markings/sec, 120 secs
lola: 64398 markings, 217261 edges, 499 markings/sec, 125 secs
lola: 66899 markings, 226316 edges, 500 markings/sec, 130 secs
lola: 69385 markings, 235269 edges, 497 markings/sec, 135 secs
lola: 71879 markings, 243521 edges, 499 markings/sec, 140 secs
lola: 74386 markings, 251830 edges, 501 markings/sec, 145 secs
lola: 76894 markings, 260794 edges, 502 markings/sec, 150 secs
lola: 79395 markings, 269720 edges, 500 markings/sec, 155 secs
lola: 81906 markings, 278321 edges, 502 markings/sec, 160 secs
lola: 84414 markings, 287035 edges, 502 markings/sec, 165 secs
lola: 86907 markings, 295715 edges, 499 markings/sec, 170 secs
lola: 89399 markings, 303605 edges, 498 markings/sec, 175 secs
lola: 91888 markings, 311958 edges, 498 markings/sec, 180 secs
lola: 94367 markings, 320727 edges, 496 markings/sec, 185 secs
lola: 96851 markings, 330064 edges, 497 markings/sec, 190 secs
lola: 99342 markings, 338418 edges, 498 markings/sec, 195 secs
lola: 101840 markings, 346789 edges, 500 markings/sec, 200 secs
lola: 104320 markings, 355294 edges, 496 markings/sec, 205 secs
lola: 106813 markings, 363478 edges, 499 markings/sec, 210 secs
lola: 109314 markings, 372169 edges, 500 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__39_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: 2500 markings, 8847 edges, 500 markings/sec, 0 secs
lola: 4995 markings, 17961 edges, 499 markings/sec, 5 secs
lola: 7481 markings, 27398 edges, 497 markings/sec, 10 secs
lola: 9973 markings, 36655 edges, 498 markings/sec, 15 secs
lola: 12460 markings, 45778 edges, 497 markings/sec, 20 secs
lola: 14949 markings, 54938 edges, 498 markings/sec, 25 secs
lola: 17433 markings, 64008 edges, 497 markings/sec, 30 secs
lola: 19922 markings, 73237 edges, 498 markings/sec, 35 secs
lola: 22408 markings, 82523 edges, 497 markings/sec, 40 secs
lola: 24895 markings, 91643 edges, 497 markings/sec, 45 secs
lola: 27393 markings, 100906 edges, 500 markings/sec, 50 secs
lola: 29890 markings, 109778 edges, 499 markings/sec, 55 secs
lola: 32392 markings, 118219 edges, 500 markings/sec, 60 secs
lola: 34882 markings, 127312 edges, 498 markings/sec, 65 secs
lola: 37367 markings, 136662 edges, 497 markings/sec, 70 secs
lola: 39855 markings, 146064 edges, 498 markings/sec, 75 secs
lola: 42349 markings, 154608 edges, 499 markings/sec, 80 secs
lola: 44842 markings, 164106 edges, 499 markings/sec, 85 secs
lola: 47331 markings, 173795 edges, 498 markings/sec, 90 secs
lola: 49813 markings, 183609 edges, 496 markings/sec, 95 secs
lola: 52307 markings, 192923 edges, 499 markings/sec, 100 secs
lola: 54802 markings, 201723 edges, 499 markings/sec, 105 secs
lola: 57300 markings, 210425 edges, 500 markings/sec, 110 secs
lola: 59801 markings, 219156 edges, 500 markings/sec, 115 secs
lola: 62288 markings, 228623 edges, 497 markings/sec, 120 secs
lola: 64784 markings, 237981 edges, 499 markings/sec, 125 secs
lola: 67275 markings, 247315 edges, 498 markings/sec, 130 secs
lola: 69769 markings, 256850 edges, 499 markings/sec, 135 secs
lola: 72273 markings, 265888 edges, 501 markings/sec, 140 secs
lola: 74761 markings, 276288 edges, 498 markings/sec, 145 secs
lola: 77252 markings, 285944 edges, 498 markings/sec, 150 secs
lola: 79743 markings, 294879 edges, 498 markings/sec, 155 secs
lola: 82239 markings, 303741 edges, 499 markings/sec, 160 secs
lola: 84735 markings, 312465 edges, 499 markings/sec, 165 secs
lola: 87230 markings, 321024 edges, 499 markings/sec, 170 secs
lola: 89718 markings, 330343 edges, 498 markings/sec, 175 secs
lola: 92204 markings, 340077 edges, 497 markings/sec, 180 secs
lola: 94694 markings, 349561 edges, 498 markings/sec, 185 secs
lola: 97181 markings, 358437 edges, 497 markings/sec, 190 secs
lola: 99678 markings, 367294 edges, 499 markings/sec, 195 secs
lola: 102166 markings, 375844 edges, 498 markings/sec, 200 secs
lola: 104652 markings, 384979 edges, 497 markings/sec, 205 secs
lola: 107138 markings, 393653 edges, 497 markings/sec, 210 secs
lola: 109627 markings, 402621 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 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__15_44_)
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, 8460 edges, 500 markings/sec, 0 secs
lola: 4991 markings, 17299 edges, 499 markings/sec, 5 secs
lola: 7484 markings, 25843 edges, 499 markings/sec, 10 secs
lola: 9972 markings, 34475 edges, 498 markings/sec, 15 secs
lola: 12460 markings, 43035 edges, 498 markings/sec, 20 secs
lola: 14948 markings, 51836 edges, 498 markings/sec, 25 secs
lola: 17436 markings, 59862 edges, 498 markings/sec, 30 secs
lola: 19926 markings, 67661 edges, 498 markings/sec, 35 secs
lola: 22418 markings, 76113 edges, 498 markings/sec, 40 secs
lola: 24905 markings, 85310 edges, 497 markings/sec, 45 secs
lola: 27401 markings, 93880 edges, 499 markings/sec, 50 secs
lola: 29886 markings, 103083 edges, 497 markings/sec, 55 secs
lola: 32373 markings, 111744 edges, 497 markings/sec, 60 secs
lola: 34862 markings, 120092 edges, 498 markings/sec, 65 secs
lola: 37351 markings, 128814 edges, 498 markings/sec, 70 secs
lola: 39845 markings, 136625 edges, 499 markings/sec, 75 secs
lola: 42340 markings, 144625 edges, 499 markings/sec, 80 secs
lola: 44831 markings, 153175 edges, 498 markings/sec, 85 secs
lola: 47323 markings, 161568 edges, 498 markings/sec, 90 secs
lola: 49818 markings, 169604 edges, 499 markings/sec, 95 secs
lola: 52318 markings, 177759 edges, 500 markings/sec, 100 secs
lola: 54818 markings, 185592 edges, 500 markings/sec, 105 secs
lola: 57315 markings, 193168 edges, 499 markings/sec, 110 secs
lola: 59804 markings, 201194 edges, 498 markings/sec, 115 secs
lola: 62297 markings, 209680 edges, 499 markings/sec, 120 secs
lola: 64790 markings, 218205 edges, 499 markings/sec, 125 secs
lola: 67280 markings, 226855 edges, 498 markings/sec, 130 secs
lola: 69766 markings, 235152 edges, 497 markings/sec, 135 secs
lola: 72258 markings, 243666 edges, 498 markings/sec, 140 secs
lola: 74748 markings, 252826 edges, 498 markings/sec, 145 secs
lola: 77235 markings, 261442 edges, 497 markings/sec, 150 secs
lola: 79718 markings, 269669 edges, 497 markings/sec, 155 secs
lola: 82200 markings, 277901 edges, 496 markings/sec, 160 secs
lola: 84683 markings, 285862 edges, 497 markings/sec, 165 secs
lola: 87166 markings, 294165 edges, 497 markings/sec, 170 secs
lola: 89652 markings, 302386 edges, 497 markings/sec, 175 secs
lola: 92138 markings, 310627 edges, 497 markings/sec, 180 secs
lola: 94619 markings, 319284 edges, 496 markings/sec, 185 secs
lola: 97103 markings, 328547 edges, 497 markings/sec, 190 secs
lola: 99590 markings, 336906 edges, 497 markings/sec, 195 secs
lola: 102080 markings, 345243 edges, 498 markings/sec, 200 secs
lola: 104574 markings, 353214 edges, 499 markings/sec, 205 secs
lola: 107068 markings, 361467 edges, 499 markings/sec, 210 secs
lola: 109562 markings, 369731 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: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Diffusion2D-PT-D50N100-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496468008197

--------------------
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-D50N100"
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-D50N100.tgz
mv S_Diffusion2D-PT-D50N100 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-D50N100, 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-149488455900425"
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 ;