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 DLCshifumi-PT-5a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309400497
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494646132242


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DLCshifumi-PT-5a @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 17027/65536 symbol table entries, 5854 collisions
lola: preprocessing...
lola: finding significant places
lola: 2162 places, 14865 transitions, 784 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 12838 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-5a-UpperBounds.task
lola: MAX(p1152) : MAX(p2153) : MAX(p63) : MAX(p609) : MAX(p1094) : MAX(p374) : MAX(p2024) : MAX(p544) : MAX(p1105) : MAX(p471) : MAX(p1790) : MAX(p2141) : MAX(p1169) : MAX(p260) : MAX(p437) : MAX(p573)
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(p1152)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2153)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 1496 markings, 13377 edges, 299 markings/sec, 0 secs
lola: 2988 markings, 28779 edges, 298 markings/sec, 5 secs
lola: 4466 markings, 45931 edges, 296 markings/sec, 10 secs
lola: 5951 markings, 63358 edges, 297 markings/sec, 15 secs
lola: 7443 markings, 80564 edges, 298 markings/sec, 20 secs
lola: 8930 markings, 97997 edges, 297 markings/sec, 25 secs
lola: 10424 markings, 115462 edges, 299 markings/sec, 30 secs
lola: 11935 markings, 133246 edges, 302 markings/sec, 35 secs
lola: 13447 markings, 150916 edges, 302 markings/sec, 40 secs
lola: 15006 markings, 169968 edges, 312 markings/sec, 45 secs
lola: 16592 markings, 187362 edges, 317 markings/sec, 50 secs
lola: 18158 markings, 205901 edges, 313 markings/sec, 55 secs
lola: 19729 markings, 223518 edges, 314 markings/sec, 60 secs
lola: 21314 markings, 243584 edges, 317 markings/sec, 65 secs
lola: 22880 markings, 263947 edges, 313 markings/sec, 70 secs
lola: 24446 markings, 284326 edges, 313 markings/sec, 75 secs
lola: 26001 markings, 307733 edges, 311 markings/sec, 80 secs
lola: 27553 markings, 326407 edges, 310 markings/sec, 85 secs
lola: 29116 markings, 341723 edges, 313 markings/sec, 90 secs
lola: 30684 markings, 358543 edges, 314 markings/sec, 95 secs
lola: 32243 markings, 376523 edges, 312 markings/sec, 100 secs
lola: 33827 markings, 395153 edges, 317 markings/sec, 105 secs
lola: 35409 markings, 415883 edges, 316 markings/sec, 110 secs
lola: 36973 markings, 436098 edges, 313 markings/sec, 115 secs
lola: 38529 markings, 451878 edges, 311 markings/sec, 120 secs
lola: 40124 markings, 467385 edges, 319 markings/sec, 125 secs
lola: 41675 markings, 485675 edges, 310 markings/sec, 130 secs
lola: 43248 markings, 500389 edges, 315 markings/sec, 135 secs
lola: 44821 markings, 522289 edges, 315 markings/sec, 140 secs
lola: 46371 markings, 537531 edges, 310 markings/sec, 145 secs
lola: 47930 markings, 553192 edges, 312 markings/sec, 150 secs
lola: 49485 markings, 569092 edges, 311 markings/sec, 155 secs
lola: 51043 markings, 585761 edges, 312 markings/sec, 160 secs
lola: 52592 markings, 603195 edges, 310 markings/sec, 165 secs
lola: 54171 markings, 621681 edges, 316 markings/sec, 170 secs
lola: 55732 markings, 643468 edges, 312 markings/sec, 175 secs
lola: 57287 markings, 662503 edges, 311 markings/sec, 180 secs
lola: 58842 markings, 678530 edges, 311 markings/sec, 185 secs
lola: 60434 markings, 694410 edges, 318 markings/sec, 190 secs
lola: 61996 markings, 710078 edges, 312 markings/sec, 195 secs
lola: 63585 markings, 728631 edges, 318 markings/sec, 200 secs
lola: 65147 markings, 749645 edges, 312 markings/sec, 205 secs
lola: 66726 markings, 767625 edges, 316 markings/sec, 210 secs
lola: 68293 markings, 783848 edges, 313 markings/sec, 215 secs
lola: 69854 markings, 802003 edges, 312 markings/sec, 220 secs
lola: 71402 markings, 818396 edges, 310 markings/sec, 225 secs
lola: 72958 markings, 836871 edges, 311 markings/sec, 230 secs
lola: 74516 markings, 852897 edges, 312 markings/sec, 235 secs
lola: 76098 markings, 870627 edges, 316 markings/sec, 240 secs
lola: 77644 markings, 885822 edges, 309 markings/sec, 245 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 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p609)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 1516 markings, 13904 edges, 303 markings/sec, 0 secs
lola: 3025 markings, 29677 edges, 302 markings/sec, 5 secs
lola: 4513 markings, 46670 edges, 298 markings/sec, 10 secs
lola: 6003 markings, 63917 edges, 298 markings/sec, 15 secs
lola: 7497 markings, 80933 edges, 299 markings/sec, 20 secs
lola: 8996 markings, 98222 edges, 300 markings/sec, 25 secs
lola: 10496 markings, 115512 edges, 300 markings/sec, 30 secs
lola: 12010 markings, 133118 edges, 303 markings/sec, 35 secs
lola: 13523 markings, 150708 edges, 303 markings/sec, 40 secs
lola: 15080 markings, 168658 edges, 311 markings/sec, 45 secs
lola: 16663 markings, 186912 edges, 317 markings/sec, 50 secs
lola: 18234 markings, 208170 edges, 314 markings/sec, 55 secs
lola: 19787 markings, 226917 edges, 311 markings/sec, 60 secs
lola: 21351 markings, 245792 edges, 313 markings/sec, 65 secs
lola: 22907 markings, 263015 edges, 311 markings/sec, 70 secs
lola: 24465 markings, 281517 edges, 312 markings/sec, 75 secs
lola: 26056 markings, 299757 edges, 318 markings/sec, 80 secs
lola: 27642 markings, 320677 edges, 317 markings/sec, 85 secs
lola: 29216 markings, 341476 edges, 315 markings/sec, 90 secs
lola: 30793 markings, 363690 edges, 315 markings/sec, 95 secs
lola: 32376 markings, 386271 edges, 317 markings/sec, 100 secs
lola: 33940 markings, 408183 edges, 313 markings/sec, 105 secs
lola: 35462 markings, 437024 edges, 304 markings/sec, 110 secs
lola: 37000 markings, 460482 edges, 308 markings/sec, 115 secs
lola: 38543 markings, 477282 edges, 309 markings/sec, 120 secs
lola: 40052 markings, 496862 edges, 302 markings/sec, 125 secs
lola: 41617 markings, 514479 edges, 313 markings/sec, 130 secs
lola: 43193 markings, 531221 edges, 315 markings/sec, 135 secs
lola: 44759 markings, 549434 edges, 313 markings/sec, 140 secs
lola: 46301 markings, 565294 edges, 308 markings/sec, 145 secs
lola: 47867 markings, 583524 edges, 313 markings/sec, 150 secs
lola: 49448 markings, 601486 edges, 316 markings/sec, 155 secs
lola: 50994 markings, 623883 edges, 309 markings/sec, 160 secs
lola: 52570 markings, 641246 edges, 315 markings/sec, 165 secs
lola: 54111 markings, 660224 edges, 308 markings/sec, 170 secs
lola: 55669 markings, 679946 edges, 312 markings/sec, 175 secs
lola: 57260 markings, 695098 edges, 318 markings/sec, 180 secs
lola: 58837 markings, 717525 edges, 315 markings/sec, 185 secs
lola: 60419 markings, 736906 edges, 316 markings/sec, 190 secs
lola: 61993 markings, 759980 edges, 315 markings/sec, 195 secs
lola: 63585 markings, 777233 edges, 318 markings/sec, 200 secs
lola: 65144 markings, 802012 edges, 312 markings/sec, 205 secs
lola: 66672 markings, 828748 edges, 306 markings/sec, 210 secs
lola: 68215 markings, 855906 edges, 309 markings/sec, 215 secs
lola: 69781 markings, 874238 edges, 313 markings/sec, 220 secs
lola: 71338 markings, 892527 edges, 311 markings/sec, 225 secs
lola: 72910 markings, 913126 edges, 314 markings/sec, 230 secs
lola: 74487 markings, 930129 edges, 315 markings/sec, 235 secs
lola: 76071 markings, 947919 edges, 317 markings/sec, 240 secs
lola: 77635 markings, 964295 edges, 313 markings/sec, 245 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 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1094)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 5 will run for 275 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p374)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 1353 markings, 10508 edges, 271 markings/sec, 0 secs
lola: 2686 markings, 23756 edges, 267 markings/sec, 5 secs
lola: 4022 markings, 37781 edges, 267 markings/sec, 10 secs
lola: 5341 markings, 51134 edges, 264 markings/sec, 15 secs
lola: 6664 markings, 64603 edges, 265 markings/sec, 20 secs
lola: 8001 markings, 78518 edges, 267 markings/sec, 25 secs
lola: 9344 markings, 92174 edges, 269 markings/sec, 30 secs
lola: 10692 markings, 106232 edges, 270 markings/sec, 35 secs
lola: 12041 markings, 120555 edges, 270 markings/sec, 40 secs
lola: 13378 markings, 134188 edges, 267 markings/sec, 45 secs
lola: 14725 markings, 147735 edges, 269 markings/sec, 50 secs
lola: 16077 markings, 161920 edges, 270 markings/sec, 55 secs
lola: 17430 markings, 175755 edges, 271 markings/sec, 60 secs
lola: 18784 markings, 189698 edges, 271 markings/sec, 65 secs
lola: 20137 markings, 203788 edges, 271 markings/sec, 70 secs
lola: 21484 markings, 217335 edges, 269 markings/sec, 75 secs
lola: 22832 markings, 231387 edges, 270 markings/sec, 80 secs
lola: 24181 markings, 245713 edges, 270 markings/sec, 85 secs
lola: 25534 markings, 259639 edges, 271 markings/sec, 90 secs
lola: 26893 markings, 273479 edges, 272 markings/sec, 95 secs
lola: 28253 markings, 287947 edges, 272 markings/sec, 100 secs
lola: 29612 markings, 302455 edges, 272 markings/sec, 105 secs
lola: 30977 markings, 316655 edges, 273 markings/sec, 110 secs
lola: 32370 markings, 331669 edges, 279 markings/sec, 115 secs
lola: 33737 markings, 348055 edges, 273 markings/sec, 120 secs
lola: 35110 markings, 362398 edges, 275 markings/sec, 125 secs
lola: 36502 markings, 380202 edges, 278 markings/sec, 130 secs
lola: 37861 markings, 404614 edges, 272 markings/sec, 135 secs
lola: 39238 markings, 421296 edges, 275 markings/sec, 140 secs
lola: 40617 markings, 436377 edges, 276 markings/sec, 145 secs
lola: 41998 markings, 451201 edges, 276 markings/sec, 150 secs
lola: 43368 markings, 467266 edges, 274 markings/sec, 155 secs
lola: 44766 markings, 484937 edges, 280 markings/sec, 160 secs
lola: 46134 markings, 500926 edges, 274 markings/sec, 165 secs
lola: 47508 markings, 515943 edges, 275 markings/sec, 170 secs
lola: 48920 markings, 530157 edges, 282 markings/sec, 175 secs
lola: 50297 markings, 553579 edges, 275 markings/sec, 180 secs
lola: 51692 markings, 569149 edges, 279 markings/sec, 185 secs
lola: 53040 markings, 585868 edges, 270 markings/sec, 190 secs
lola: 54396 markings, 601821 edges, 271 markings/sec, 195 secs
lola: 55760 markings, 616401 edges, 273 markings/sec, 200 secs
lola: 57154 markings, 630305 edges, 279 markings/sec, 205 secs
lola: 58522 markings, 652799 edges, 274 markings/sec, 210 secs
lola: 59894 markings, 671872 edges, 274 markings/sec, 215 secs
lola: 61285 markings, 686998 edges, 278 markings/sec, 220 secs
lola: 62672 markings, 704090 edges, 277 markings/sec, 225 secs
lola: 64050 markings, 719834 edges, 276 markings/sec, 230 secs
lola: 65436 markings, 743244 edges, 277 markings/sec, 235 secs
lola: 66833 markings, 758129 edges, 279 markings/sec, 240 secs
lola: 68233 markings, 773228 edges, 280 markings/sec, 245 secs
lola: 69606 markings, 789457 edges, 275 markings/sec, 250 secs
lola: 70988 markings, 807007 edges, 276 markings/sec, 255 secs
lola: 72360 markings, 822863 edges, 274 markings/sec, 260 secs
lola: 73762 markings, 837920 edges, 280 markings/sec, 265 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 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2024)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 306 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p544)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 1996 markings, 15679 edges, 399 markings/sec, 0 secs
lola: 3993 markings, 35606 edges, 399 markings/sec, 5 secs
lola: 6006 markings, 55466 edges, 403 markings/sec, 10 secs
lola: 8032 markings, 75383 edges, 405 markings/sec, 15 secs
lola: 10053 markings, 95556 edges, 404 markings/sec, 20 secs
lola: 12077 markings, 115465 edges, 405 markings/sec, 25 secs
lola: 14098 markings, 135357 edges, 404 markings/sec, 30 secs
lola: 16118 markings, 155396 edges, 404 markings/sec, 35 secs
lola: 18185 markings, 176432 edges, 413 markings/sec, 40 secs
lola: 20247 markings, 199331 edges, 412 markings/sec, 45 secs
lola: 22300 markings, 219056 edges, 411 markings/sec, 50 secs
lola: 24364 markings, 240043 edges, 413 markings/sec, 55 secs
lola: 26453 markings, 261585 edges, 418 markings/sec, 60 secs
lola: 28546 markings, 282825 edges, 419 markings/sec, 65 secs
lola: 30587 markings, 303535 edges, 408 markings/sec, 70 secs
lola: 32630 markings, 326908 edges, 409 markings/sec, 75 secs
lola: 34717 markings, 351182 edges, 417 markings/sec, 80 secs
lola: 36791 markings, 373873 edges, 415 markings/sec, 85 secs
lola: 38867 markings, 399229 edges, 415 markings/sec, 90 secs
lola: 40929 markings, 424590 edges, 412 markings/sec, 95 secs
lola: 43009 markings, 444967 edges, 416 markings/sec, 100 secs
lola: 45088 markings, 463878 edges, 416 markings/sec, 105 secs
lola: 47176 markings, 491256 edges, 418 markings/sec, 110 secs
lola: 49288 markings, 510939 edges, 422 markings/sec, 115 secs
lola: 51356 markings, 533751 edges, 414 markings/sec, 120 secs
lola: 53437 markings, 556924 edges, 416 markings/sec, 125 secs
lola: 55510 markings, 577140 edges, 415 markings/sec, 130 secs
lola: 57534 markings, 599542 edges, 405 markings/sec, 135 secs
lola: 59665 markings, 618243 edges, 426 markings/sec, 140 secs
lola: 61788 markings, 645917 edges, 425 markings/sec, 145 secs
lola: 63902 markings, 671416 edges, 423 markings/sec, 150 secs
lola: 65999 markings, 699628 edges, 419 markings/sec, 155 secs
lola: 68119 markings, 721783 edges, 424 markings/sec, 160 secs
lola: 70235 markings, 748490 edges, 423 markings/sec, 165 secs
lola: 72343 markings, 769900 edges, 422 markings/sec, 170 secs
lola: 74419 markings, 796679 edges, 415 markings/sec, 175 secs
lola: 76504 markings, 818980 edges, 417 markings/sec, 180 secs
lola: 78604 markings, 839367 edges, 420 markings/sec, 185 secs
lola: 80724 markings, 866209 edges, 424 markings/sec, 190 secs
lola: 82832 markings, 893999 edges, 422 markings/sec, 195 secs
lola: 84909 markings, 924163 edges, 415 markings/sec, 200 secs
lola: 86991 markings, 955068 edges, 416 markings/sec, 205 secs
lola: 89091 markings, 979809 edges, 420 markings/sec, 210 secs
lola: 91142 markings, 1008518 edges, 410 markings/sec, 215 secs
lola: 93206 markings, 1039307 edges, 413 markings/sec, 220 secs
lola: 95293 markings, 1067989 edges, 417 markings/sec, 225 secs
lola: 97388 markings, 1091558 edges, 419 markings/sec, 230 secs
lola: 99451 markings, 1115787 edges, 413 markings/sec, 235 secs
lola: 101598 markings, 1137126 edges, 429 markings/sec, 240 secs
lola: 103698 markings, 1158695 edges, 420 markings/sec, 245 secs
lola: 105823 markings, 1185405 edges, 425 markings/sec, 250 secs
lola: 107926 markings, 1207587 edges, 421 markings/sec, 255 secs
lola: 110010 markings, 1236281 edges, 417 markings/sec, 260 secs
lola: 112122 markings, 1258867 edges, 422 markings/sec, 265 secs
lola: 114260 markings, 1281034 edges, 428 markings/sec, 270 secs
lola: 116364 markings, 1304673 edges, 421 markings/sec, 275 secs
lola: 118429 markings, 1332752 edges, 413 markings/sec, 280 secs
lola: 120537 markings, 1354875 edges, 422 markings/sec, 285 secs
lola: 122665 markings, 1374475 edges, 426 markings/sec, 290 secs
lola: 124771 markings, 1398111 edges, 421 markings/sec, 295 secs
lola: 126868 markings, 1423575 edges, 419 markings/sec, 300 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 306 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1105)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 9 will run for 350 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p471)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 1357 markings, 10272 edges, 271 markings/sec, 0 secs
lola: 2693 markings, 23828 edges, 267 markings/sec, 5 secs
lola: 4030 markings, 37378 edges, 267 markings/sec, 10 secs
lola: 5372 markings, 51453 edges, 268 markings/sec, 15 secs
lola: 6718 markings, 64908 edges, 269 markings/sec, 20 secs
lola: 8065 markings, 78735 edges, 269 markings/sec, 25 secs
lola: 9416 markings, 92962 edges, 270 markings/sec, 30 secs
lola: 10792 markings, 106759 edges, 275 markings/sec, 35 secs
lola: 12174 markings, 120880 edges, 276 markings/sec, 40 secs
lola: 13562 markings, 134600 edges, 278 markings/sec, 45 secs
lola: 14925 markings, 153235 edges, 273 markings/sec, 50 secs
lola: 16310 markings, 169868 edges, 277 markings/sec, 55 secs
lola: 17680 markings, 187378 edges, 274 markings/sec, 60 secs
lola: 19057 markings, 203991 edges, 275 markings/sec, 65 secs
lola: 20452 markings, 217182 edges, 279 markings/sec, 70 secs
lola: 21849 markings, 231480 edges, 279 markings/sec, 75 secs
lola: 23230 markings, 250361 edges, 276 markings/sec, 80 secs
lola: 24614 markings, 264977 edges, 277 markings/sec, 85 secs
lola: 25990 markings, 283920 edges, 275 markings/sec, 90 secs
lola: 27360 markings, 301613 edges, 274 markings/sec, 95 secs
lola: 28744 markings, 315641 edges, 277 markings/sec, 100 secs
lola: 30120 markings, 330032 edges, 275 markings/sec, 105 secs
lola: 31505 markings, 346447 edges, 277 markings/sec, 110 secs
lola: 32896 markings, 362761 edges, 278 markings/sec, 115 secs
lola: 34288 markings, 378974 edges, 278 markings/sec, 120 secs
lola: 35673 markings, 402656 edges, 277 markings/sec, 125 secs
lola: 37084 markings, 418916 edges, 282 markings/sec, 130 secs
lola: 38489 markings, 438571 edges, 281 markings/sec, 135 secs
lola: 39886 markings, 461025 edges, 279 markings/sec, 140 secs
lola: 41294 markings, 475845 edges, 282 markings/sec, 145 secs
lola: 42692 markings, 491327 edges, 280 markings/sec, 150 secs
lola: 44090 markings, 507677 edges, 280 markings/sec, 155 secs
lola: 45510 markings, 525853 edges, 284 markings/sec, 160 secs
lola: 46908 markings, 541158 edges, 280 markings/sec, 165 secs
lola: 48292 markings, 558304 edges, 277 markings/sec, 170 secs
lola: 49688 markings, 572549 edges, 279 markings/sec, 175 secs
lola: 51084 markings, 589271 edges, 279 markings/sec, 180 secs
lola: 52453 markings, 610271 edges, 274 markings/sec, 185 secs
lola: 53840 markings, 625539 edges, 277 markings/sec, 190 secs
lola: 55225 markings, 638503 edges, 277 markings/sec, 195 secs
lola: 56597 markings, 653218 edges, 274 markings/sec, 200 secs
lola: 57977 markings, 668947 edges, 276 markings/sec, 205 secs
lola: 59376 markings, 686061 edges, 280 markings/sec, 210 secs
lola: 60762 markings, 702024 edges, 277 markings/sec, 215 secs
lola: 62125 markings, 718934 edges, 273 markings/sec, 220 secs
lola: 63494 markings, 734357 edges, 274 markings/sec, 225 secs
lola: 64873 markings, 749124 edges, 276 markings/sec, 230 secs
lola: 66269 markings, 766619 edges, 279 markings/sec, 235 secs
lola: 67677 markings, 783018 edges, 282 markings/sec, 240 secs
lola: 69046 markings, 798313 edges, 274 markings/sec, 245 secs
lola: 70422 markings, 815901 edges, 275 markings/sec, 250 secs
lola: 71806 markings, 832288 edges, 277 markings/sec, 255 secs
lola: 73188 markings, 846538 edges, 276 markings/sec, 260 secs
lola: 74558 markings, 862115 edges, 274 markings/sec, 265 secs
lola: 75950 markings, 876744 edges, 278 markings/sec, 270 secs
lola: 77334 markings, 892718 edges, 277 markings/sec, 275 secs
lola: 78702 markings, 909881 edges, 274 markings/sec, 280 secs
lola: 80070 markings, 927608 edges, 274 markings/sec, 285 secs
lola: 81437 markings, 943847 edges, 273 markings/sec, 290 secs
lola: 82800 markings, 960629 edges, 273 markings/sec, 295 secs
lola: 84166 markings, 974691 edges, 273 markings/sec, 300 secs
lola: 85532 markings, 990300 edges, 273 markings/sec, 305 secs
lola: 86949 markings, 1005951 edges, 283 markings/sec, 310 secs
lola: 88333 markings, 1021940 edges, 277 markings/sec, 315 secs
lola: 89710 markings, 1046015 edges, 275 markings/sec, 320 secs
lola: 91116 markings, 1061935 edges, 281 markings/sec, 325 secs
lola: 92516 markings, 1081405 edges, 280 markings/sec, 330 secs
lola: 93913 markings, 1103345 edges, 279 markings/sec, 335 secs
lola: 95321 markings, 1120231 edges, 282 markings/sec, 340 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 350 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1790)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 11 will run for 420 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2141)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 12 will run for 526 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1169)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 13 will run for 701 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p260)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 1357 markings, 10521 edges, 271 markings/sec, 0 secs
lola: 2700 markings, 23918 edges, 269 markings/sec, 5 secs
lola: 4022 markings, 37781 edges, 264 markings/sec, 10 secs
lola: 5352 markings, 51289 edges, 266 markings/sec, 15 secs
lola: 6681 markings, 64662 edges, 266 markings/sec, 20 secs
lola: 8024 markings, 78709 edges, 269 markings/sec, 25 secs
lola: 9368 markings, 92252 edges, 269 markings/sec, 30 secs
lola: 10712 markings, 106292 edges, 269 markings/sec, 35 secs
lola: 12048 markings, 120571 edges, 267 markings/sec, 40 secs
lola: 13389 markings, 134220 edges, 268 markings/sec, 45 secs
lola: 14737 markings, 148024 edges, 270 markings/sec, 50 secs
lola: 16092 markings, 161986 edges, 271 markings/sec, 55 secs
lola: 17450 markings, 176196 edges, 272 markings/sec, 60 secs
lola: 18810 markings, 189788 edges, 272 markings/sec, 65 secs
lola: 20172 markings, 203897 edges, 272 markings/sec, 70 secs
lola: 21530 markings, 218240 edges, 272 markings/sec, 75 secs
lola: 22889 markings, 232464 edges, 272 markings/sec, 80 secs
lola: 24250 markings, 246414 edges, 272 markings/sec, 85 secs
lola: 25616 markings, 259884 edges, 273 markings/sec, 90 secs
lola: 26980 markings, 274354 edges, 273 markings/sec, 95 secs
lola: 28338 markings, 288341 edges, 272 markings/sec, 100 secs
lola: 29697 markings, 303353 edges, 272 markings/sec, 105 secs
lola: 31068 markings, 317301 edges, 274 markings/sec, 110 secs
lola: 32468 markings, 333219 edges, 280 markings/sec, 115 secs
lola: 33848 markings, 349410 edges, 276 markings/sec, 120 secs
lola: 35237 markings, 363802 edges, 278 markings/sec, 125 secs
lola: 36645 markings, 381545 edges, 282 markings/sec, 130 secs
lola: 37973 markings, 406084 edges, 266 markings/sec, 135 secs
lola: 39308 markings, 421888 edges, 267 markings/sec, 140 secs
lola: 40622 markings, 436391 edges, 263 markings/sec, 145 secs
lola: 41934 markings, 450506 edges, 262 markings/sec, 150 secs
lola: 43232 markings, 465077 edges, 260 markings/sec, 155 secs
lola: 44556 markings, 482916 edges, 265 markings/sec, 160 secs
lola: 45852 markings, 498688 edges, 259 markings/sec, 165 secs
lola: 47160 markings, 512180 edges, 262 markings/sec, 170 secs
lola: 48481 markings, 525392 edges, 264 markings/sec, 175 secs
lola: 49810 markings, 544718 edges, 266 markings/sec, 180 secs
lola: 51128 markings, 563341 edges, 264 markings/sec, 185 secs
lola: 52437 markings, 577999 edges, 262 markings/sec, 190 secs
lola: 53737 markings, 594922 edges, 260 markings/sec, 195 secs
lola: 55077 markings, 609079 edges, 268 markings/sec, 200 secs
lola: 56429 markings, 623390 edges, 270 markings/sec, 205 secs
lola: 57801 markings, 641424 edges, 274 markings/sec, 210 secs
lola: 59141 markings, 661893 edges, 268 markings/sec, 215 secs
lola: 60485 markings, 677852 edges, 269 markings/sec, 220 secs
lola: 61830 markings, 694906 edges, 269 markings/sec, 225 secs
lola: 63181 markings, 710279 edges, 270 markings/sec, 230 secs
lola: 64530 markings, 727818 edges, 270 markings/sec, 235 secs
lola: 65873 markings, 747870 edges, 269 markings/sec, 240 secs
lola: 67226 markings, 762834 edges, 271 markings/sec, 245 secs
lola: 68592 markings, 776874 edges, 273 markings/sec, 250 secs
lola: 69930 markings, 792599 edges, 268 markings/sec, 255 secs
lola: 71273 markings, 809783 edges, 269 markings/sec, 260 secs
lola: 72609 markings, 825528 edges, 267 markings/sec, 265 secs
lola: 73980 markings, 840770 edges, 274 markings/sec, 270 secs
lola: 75322 markings, 863215 edges, 268 markings/sec, 275 secs
lola: 76676 markings, 882102 edges, 271 markings/sec, 280 secs
lola: 78029 markings, 901899 edges, 271 markings/sec, 285 secs
lola: 79378 markings, 916926 edges, 270 markings/sec, 290 secs
lola: 80706 markings, 935629 edges, 266 markings/sec, 295 secs
lola: 82062 markings, 948472 edges, 271 markings/sec, 300 secs
lola: 83400 markings, 963105 edges, 268 markings/sec, 305 secs
lola: 84732 markings, 976300 edges, 266 markings/sec, 310 secs
lola: 86028 markings, 992761 edges, 259 markings/sec, 315 secs
lola: 87322 markings, 1006394 edges, 259 markings/sec, 320 secs
lola: 88674 markings, 1019587 edges, 270 markings/sec, 325 secs
lola: 90004 markings, 1034361 edges, 266 markings/sec, 330 secs
lola: 91294 markings, 1048778 edges, 258 markings/sec, 335 secs
lola: 92574 markings, 1063839 edges, 256 markings/sec, 340 secs
lola: 93918 markings, 1076961 edges, 269 markings/sec, 345 secs
lola: 95245 markings, 1099089 edges, 265 markings/sec, 350 secs
lola: 96549 markings, 1119148 edges, 261 markings/sec, 355 secs
lola: 97852 markings, 1132274 edges, 261 markings/sec, 360 secs
lola: 99137 markings, 1146804 edges, 257 markings/sec, 365 secs
lola: 100510 markings, 1160889 edges, 275 markings/sec, 370 secs
lola: 101852 markings, 1176822 edges, 268 markings/sec, 375 secs
lola: 103190 markings, 1191967 edges, 268 markings/sec, 380 secs
lola: 104533 markings, 1208436 edges, 269 markings/sec, 385 secs
lola: 105832 markings, 1231037 edges, 260 markings/sec, 390 secs
lola: 107134 markings, 1248885 edges, 260 markings/sec, 395 secs
lola: 108449 markings, 1262902 edges, 263 markings/sec, 400 secs
lola: 109748 markings, 1277114 edges, 260 markings/sec, 405 secs
lola: 111050 markings, 1290591 edges, 260 markings/sec, 410 secs
lola: 112366 markings, 1307174 edges, 263 markings/sec, 415 secs
lola: 113665 markings, 1324674 edges, 260 markings/sec, 420 secs
lola: 114978 markings, 1338256 edges, 263 markings/sec, 425 secs
lola: 116284 markings, 1352307 edges, 261 markings/sec, 430 secs
lola: 117618 markings, 1369718 edges, 267 markings/sec, 435 secs
lola: 118928 markings, 1389873 edges, 262 markings/sec, 440 secs
lola: 120245 markings, 1403840 edges, 263 markings/sec, 445 secs
lola: 121540 markings, 1419328 edges, 259 markings/sec, 450 secs
lola: 122840 markings, 1434250 edges, 260 markings/sec, 455 secs
lola: 124142 markings, 1448396 edges, 260 markings/sec, 460 secs
lola: 125488 markings, 1462395 edges, 269 markings/sec, 465 secs
lola: 126782 markings, 1483531 edges, 259 markings/sec, 470 secs
lola: 128089 markings, 1501768 edges, 261 markings/sec, 475 secs
lola: 129414 markings, 1516064 edges, 265 markings/sec, 480 secs
lola: 130721 markings, 1530682 edges, 261 markings/sec, 485 secs
lola: 132036 markings, 1544933 edges, 263 markings/sec, 490 secs
lola: 133360 markings, 1560362 edges, 265 markings/sec, 495 secs
lola: 134672 markings, 1578346 edges, 262 markings/sec, 500 secs
lola: 135973 markings, 1593036 edges, 260 markings/sec, 505 secs
lola: 137285 markings, 1606564 edges, 262 markings/sec, 510 secs
lola: 138628 markings, 1620498 edges, 269 markings/sec, 515 secs
lola: 139930 markings, 1643012 edges, 260 markings/sec, 520 secs
lola: 141254 markings, 1658040 edges, 265 markings/sec, 525 secs
lola: 142550 markings, 1674052 edges, 259 markings/sec, 530 secs
lola: 143868 markings, 1689176 edges, 264 markings/sec, 535 secs
lola: 145165 markings, 1703451 edges, 259 markings/sec, 540 secs
lola: 146477 markings, 1716823 edges, 262 markings/sec, 545 secs
lola: 147825 markings, 1731455 edges, 270 markings/sec, 550 secs
lola: 149120 markings, 1751110 edges, 259 markings/sec, 555 secs
lola: 150434 markings, 1765008 edges, 263 markings/sec, 560 secs
lola: 151744 markings, 1780432 edges, 262 markings/sec, 565 secs
lola: 153060 markings, 1796635 edges, 263 markings/sec, 570 secs
lola: 154369 markings, 1811249 edges, 262 markings/sec, 575 secs
lola: 155682 markings, 1825778 edges, 263 markings/sec, 580 secs
lola: 157012 markings, 1842103 edges, 266 markings/sec, 585 secs
lola: 158320 markings, 1863770 edges, 262 markings/sec, 590 secs
lola: 159640 markings, 1877958 edges, 264 markings/sec, 595 secs
lola: 160977 markings, 1893006 edges, 267 markings/sec, 600 secs
lola: 162326 markings, 1905724 edges, 270 markings/sec, 605 secs
lola: 163653 markings, 1924739 edges, 265 markings/sec, 610 secs
lola: 164960 markings, 1944084 edges, 261 markings/sec, 615 secs
lola: 166297 markings, 1959879 edges, 267 markings/sec, 620 secs
lola: 167660 markings, 1982100 edges, 273 markings/sec, 625 secs
lola: 168997 markings, 2000725 edges, 267 markings/sec, 630 secs
lola: 170309 markings, 2021620 edges, 262 markings/sec, 635 secs
lola: 171648 markings, 2035616 edges, 268 markings/sec, 640 secs
lola: 172970 markings, 2053965 edges, 264 markings/sec, 645 secs
lola: 174293 markings, 2068053 edges, 265 markings/sec, 650 secs
lola: 175608 markings, 2081563 edges, 263 markings/sec, 655 secs
lola: 176884 markings, 2095098 edges, 255 markings/sec, 660 secs
lola: 178173 markings, 2108526 edges, 258 markings/sec, 665 secs
lola: 179456 markings, 2122989 edges, 257 markings/sec, 670 secs
lola: 180777 markings, 2135782 edges, 264 markings/sec, 675 secs
lola: 182068 markings, 2157415 edges, 258 markings/sec, 680 secs
lola: 183349 markings, 2175066 edges, 256 markings/sec, 685 secs
lola: 184670 markings, 2189346 edges, 264 markings/sec, 690 secs
lola: 185962 markings, 2203918 edges, 258 markings/sec, 695 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 701 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p437)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 1249 markings, 9942 edges, 250 markings/sec, 0 secs
lola: 2493 markings, 21670 edges, 249 markings/sec, 5 secs
lola: 3741 markings, 34536 edges, 250 markings/sec, 10 secs
lola: 4993 markings, 47164 edges, 250 markings/sec, 15 secs
lola: 6248 markings, 60310 edges, 251 markings/sec, 20 secs
lola: 7461 markings, 72956 edges, 243 markings/sec, 25 secs
lola: 8696 markings, 85654 edges, 247 markings/sec, 30 secs
lola: 9941 markings, 98395 edges, 249 markings/sec, 35 secs
lola: 11206 markings, 111680 edges, 253 markings/sec, 40 secs
lola: 12472 markings, 124608 edges, 253 markings/sec, 45 secs
lola: 13740 markings, 137923 edges, 254 markings/sec, 50 secs
lola: 15008 markings, 150739 edges, 254 markings/sec, 55 secs
lola: 16276 markings, 164178 edges, 254 markings/sec, 60 secs
lola: 17550 markings, 177127 edges, 255 markings/sec, 65 secs
lola: 18825 markings, 190216 edges, 255 markings/sec, 70 secs
lola: 20104 markings, 203423 edges, 256 markings/sec, 75 secs
lola: 21380 markings, 216394 edges, 255 markings/sec, 80 secs
lola: 22658 markings, 229728 edges, 256 markings/sec, 85 secs
lola: 23938 markings, 243086 edges, 256 markings/sec, 90 secs
lola: 25218 markings, 256296 edges, 256 markings/sec, 95 secs
lola: 26502 markings, 269408 edges, 257 markings/sec, 100 secs
lola: 27793 markings, 283041 edges, 258 markings/sec, 105 secs
lola: 29088 markings, 296294 edges, 259 markings/sec, 110 secs
lola: 30376 markings, 310521 edges, 258 markings/sec, 115 secs
lola: 31686 markings, 323290 edges, 262 markings/sec, 120 secs
lola: 32966 markings, 339906 edges, 256 markings/sec, 125 secs
lola: 34317 markings, 354020 edges, 270 markings/sec, 130 secs
lola: 35653 markings, 368898 edges, 267 markings/sec, 135 secs
lola: 36998 markings, 388524 edges, 269 markings/sec, 140 secs
lola: 38326 markings, 409920 edges, 266 markings/sec, 145 secs
lola: 39697 markings, 426232 edges, 274 markings/sec, 150 secs
lola: 41064 markings, 440746 edges, 273 markings/sec, 155 secs
lola: 42421 markings, 456451 edges, 271 markings/sec, 160 secs
lola: 43773 markings, 471311 edges, 270 markings/sec, 165 secs
lola: 45141 markings, 489725 edges, 274 markings/sec, 170 secs
lola: 46516 markings, 505901 edges, 275 markings/sec, 175 secs
lola: 47858 markings, 519653 edges, 268 markings/sec, 180 secs
lola: 49246 markings, 535873 edges, 278 markings/sec, 185 secs
lola: 50592 markings, 558407 edges, 269 markings/sec, 190 secs
lola: 51962 markings, 572915 edges, 274 markings/sec, 195 secs
lola: 53328 markings, 588989 edges, 273 markings/sec, 200 secs
lola: 54704 markings, 605026 edges, 275 markings/sec, 205 secs
lola: 56086 markings, 620164 edges, 276 markings/sec, 210 secs
lola: 57504 markings, 634699 edges, 284 markings/sec, 215 secs
lola: 58881 markings, 658330 edges, 275 markings/sec, 220 secs
lola: 60268 markings, 676030 edges, 277 markings/sec, 225 secs
lola: 61653 markings, 693112 edges, 277 markings/sec, 230 secs
lola: 63017 markings, 708542 edges, 273 markings/sec, 235 secs
lola: 64358 markings, 726408 edges, 268 markings/sec, 240 secs
lola: 65661 markings, 745320 edges, 261 markings/sec, 245 secs
lola: 66981 markings, 760211 edges, 264 markings/sec, 250 secs
lola: 68396 markings, 774628 edges, 283 markings/sec, 255 secs
lola: 69773 markings, 791232 edges, 275 markings/sec, 260 secs
lola: 71125 markings, 808055 edges, 270 markings/sec, 265 secs
lola: 72417 markings, 823168 edges, 258 markings/sec, 270 secs
lola: 73740 markings, 837850 edges, 265 markings/sec, 275 secs
lola: 75049 markings, 859151 edges, 262 markings/sec, 280 secs
lola: 76376 markings, 875787 edges, 265 markings/sec, 285 secs
lola: 77704 markings, 898476 edges, 266 markings/sec, 290 secs
lola: 79041 markings, 913407 edges, 267 markings/sec, 295 secs
lola: 80374 markings, 930300 edges, 267 markings/sec, 300 secs
lola: 81708 markings, 944841 edges, 267 markings/sec, 305 secs
lola: 83033 markings, 959350 edges, 265 markings/sec, 310 secs
lola: 84368 markings, 972631 edges, 267 markings/sec, 315 secs
lola: 85773 markings, 990609 edges, 281 markings/sec, 320 secs
lola: 87145 markings, 1004830 edges, 274 markings/sec, 325 secs
lola: 88524 markings, 1017985 edges, 276 markings/sec, 330 secs
lola: 89894 markings, 1033007 edges, 274 markings/sec, 335 secs
lola: 91257 markings, 1048302 edges, 273 markings/sec, 340 secs
lola: 92573 markings, 1063838 edges, 263 markings/sec, 345 secs
lola: 93904 markings, 1076788 edges, 266 markings/sec, 350 secs
lola: 95241 markings, 1099078 edges, 267 markings/sec, 355 secs
lola: 96568 markings, 1119333 edges, 265 markings/sec, 360 secs
lola: 97884 markings, 1132749 edges, 263 markings/sec, 365 secs
lola: 99252 markings, 1147421 edges, 274 markings/sec, 370 secs
lola: 100644 markings, 1162556 edges, 278 markings/sec, 375 secs
lola: 102013 markings, 1179092 edges, 274 markings/sec, 380 secs
lola: 103392 markings, 1193449 edges, 276 markings/sec, 385 secs
lola: 104788 markings, 1211017 edges, 279 markings/sec, 390 secs
lola: 106132 markings, 1235747 edges, 269 markings/sec, 395 secs
lola: 107501 markings, 1252040 edges, 274 markings/sec, 400 secs
lola: 108873 markings, 1267096 edges, 274 markings/sec, 405 secs
lola: 110242 markings, 1281884 edges, 274 markings/sec, 410 secs
lola: 111604 markings, 1297667 edges, 272 markings/sec, 415 secs
lola: 113002 markings, 1315345 edges, 280 markings/sec, 420 secs
lola: 114369 markings, 1331587 edges, 273 markings/sec, 425 secs
lola: 115725 markings, 1346426 edges, 271 markings/sec, 430 secs
lola: 117112 markings, 1360678 edges, 277 markings/sec, 435 secs
lola: 118473 markings, 1383542 edges, 272 markings/sec, 440 secs
lola: 119845 markings, 1398901 edges, 274 markings/sec, 445 secs
lola: 121190 markings, 1415906 edges, 269 markings/sec, 450 secs
lola: 122533 markings, 1431288 edges, 269 markings/sec, 455 secs
lola: 123872 markings, 1446019 edges, 268 markings/sec, 460 secs
lola: 125254 markings, 1459527 edges, 276 markings/sec, 465 secs
lola: 126620 markings, 1481144 edges, 273 markings/sec, 470 secs
lola: 127974 markings, 1499521 edges, 271 markings/sec, 475 secs
lola: 129345 markings, 1515215 edges, 274 markings/sec, 480 secs
lola: 130702 markings, 1530367 edges, 271 markings/sec, 485 secs
lola: 132058 markings, 1545004 edges, 271 markings/sec, 490 secs
lola: 133429 markings, 1561382 edges, 274 markings/sec, 495 secs
lola: 134785 markings, 1580088 edges, 271 markings/sec, 500 secs
lola: 136137 markings, 1594284 edges, 270 markings/sec, 505 secs
lola: 137490 markings, 1608737 edges, 271 markings/sec, 510 secs
lola: 138877 markings, 1626823 edges, 277 markings/sec, 515 secs
lola: 140220 markings, 1647062 edges, 269 markings/sec, 520 secs
lola: 141570 markings, 1661630 edges, 270 markings/sec, 525 secs
lola: 142904 markings, 1679066 edges, 267 markings/sec, 530 secs
lola: 144253 markings, 1693411 edges, 270 markings/sec, 535 secs
lola: 145589 markings, 1707787 edges, 267 markings/sec, 540 secs
lola: 146960 markings, 1721472 edges, 274 markings/sec, 545 secs
lola: 148317 markings, 1742219 edges, 271 markings/sec, 550 secs
lola: 149649 markings, 1756754 edges, 266 markings/sec, 555 secs
lola: 150998 markings, 1772594 edges, 270 markings/sec, 560 secs
lola: 152373 markings, 1787612 edges, 275 markings/sec, 565 secs
lola: 153721 markings, 1804011 edges, 270 markings/sec, 570 secs
lola: 155094 markings, 1819404 edges, 275 markings/sec, 575 secs
lola: 156445 markings, 1834491 edges, 270 markings/sec, 580 secs
lola: 157793 markings, 1855506 edges, 270 markings/sec, 585 secs
lola: 159136 markings, 1872272 edges, 269 markings/sec, 590 secs
lola: 160482 markings, 1887936 edges, 269 markings/sec, 595 secs
lola: 161853 markings, 1902154 edges, 274 markings/sec, 600 secs
lola: 163221 markings, 1917672 edges, 274 markings/sec, 605 secs
lola: 164569 markings, 1937409 edges, 270 markings/sec, 610 secs
lola: 165901 markings, 1954551 edges, 266 markings/sec, 615 secs
lola: 167277 markings, 1975104 edges, 275 markings/sec, 620 secs
lola: 168665 markings, 1996294 edges, 278 markings/sec, 625 secs
lola: 170029 markings, 2019102 edges, 273 markings/sec, 630 secs
lola: 171442 markings, 2033598 edges, 283 markings/sec, 635 secs
lola: 172833 markings, 2052014 edges, 278 markings/sec, 640 secs
lola: 174232 markings, 2067712 edges, 280 markings/sec, 645 secs
lola: 175628 markings, 2081617 edges, 279 markings/sec, 650 secs
lola: 176988 markings, 2095797 edges, 272 markings/sec, 655 secs
lola: 178360 markings, 2111242 edges, 274 markings/sec, 660 secs
lola: 179728 markings, 2125316 edges, 274 markings/sec, 665 secs
lola: 181128 markings, 2141318 edges, 280 markings/sec, 670 secs
lola: 182493 markings, 2164538 edges, 273 markings/sec, 675 secs
lola: 183876 markings, 2180722 edges, 277 markings/sec, 680 secs
lola: 185260 markings, 2196074 edges, 277 markings/sec, 685 secs
lola: 186644 markings, 2210906 edges, 277 markings/sec, 690 secs
lola: 188022 markings, 2226735 edges, 276 markings/sec, 695 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 702 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p573)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 1870 markings, 14485 edges, 374 markings/sec, 0 secs
lola: 3729 markings, 33158 edges, 372 markings/sec, 5 secs
lola: 5674 markings, 51839 edges, 389 markings/sec, 10 secs
lola: 7695 markings, 71869 edges, 404 markings/sec, 15 secs
lola: 9725 markings, 92574 edges, 406 markings/sec, 20 secs
lola: 11770 markings, 111945 edges, 409 markings/sec, 25 secs
lola: 13802 markings, 132280 edges, 406 markings/sec, 30 secs
lola: 15856 markings, 152831 edges, 411 markings/sec, 35 secs
lola: 17931 markings, 173830 edges, 415 markings/sec, 40 secs
lola: 20009 markings, 196991 edges, 416 markings/sec, 45 secs
lola: 22101 markings, 216893 edges, 418 markings/sec, 50 secs
lola: 24179 markings, 238227 edges, 416 markings/sec, 55 secs
lola: 26287 markings, 259841 edges, 422 markings/sec, 60 secs
lola: 28401 markings, 282064 edges, 423 markings/sec, 65 secs
lola: 30479 markings, 303063 edges, 416 markings/sec, 70 secs
lola: 32559 markings, 326239 edges, 416 markings/sec, 75 secs
lola: 34674 markings, 350515 edges, 423 markings/sec, 80 secs
lola: 36779 markings, 373598 edges, 421 markings/sec, 85 secs
lola: 38884 markings, 399470 edges, 421 markings/sec, 90 secs
lola: 40962 markings, 424775 edges, 416 markings/sec, 95 secs
lola: 43049 markings, 445189 edges, 417 markings/sec, 100 secs
lola: 45141 markings, 464548 edges, 418 markings/sec, 105 secs
lola: 47225 markings, 491657 edges, 417 markings/sec, 110 secs
lola: 49335 markings, 511459 edges, 422 markings/sec, 115 secs
lola: 51404 markings, 534030 edges, 414 markings/sec, 120 secs
lola: 53485 markings, 557208 edges, 416 markings/sec, 125 secs
lola: 55557 markings, 577546 edges, 414 markings/sec, 130 secs
lola: 57624 markings, 600279 edges, 413 markings/sec, 135 secs
lola: 59756 markings, 620046 edges, 426 markings/sec, 140 secs
lola: 61878 markings, 647687 edges, 424 markings/sec, 145 secs
lola: 63993 markings, 673808 edges, 423 markings/sec, 150 secs
lola: 66090 markings, 700142 edges, 419 markings/sec, 155 secs
lola: 68202 markings, 722774 edges, 422 markings/sec, 160 secs
lola: 70307 markings, 749176 edges, 421 markings/sec, 165 secs
lola: 72403 markings, 771039 edges, 419 markings/sec, 170 secs
lola: 74473 markings, 797164 edges, 414 markings/sec, 175 secs
lola: 76551 markings, 819569 edges, 416 markings/sec, 180 secs
lola: 78639 markings, 840036 edges, 418 markings/sec, 185 secs
lola: 80750 markings, 866833 edges, 422 markings/sec, 190 secs
lola: 82844 markings, 894191 edges, 419 markings/sec, 195 secs
lola: 84908 markings, 924294 edges, 413 markings/sec, 200 secs
lola: 86939 markings, 954735 edges, 406 markings/sec, 205 secs
lola: 89012 markings, 978975 edges, 415 markings/sec, 210 secs
lola: 91037 markings, 1005136 edges, 405 markings/sec, 215 secs
lola: 93063 markings, 1038447 edges, 405 markings/sec, 220 secs
lola: 95134 markings, 1064223 edges, 414 markings/sec, 225 secs
lola: 97182 markings, 1090129 edges, 410 markings/sec, 230 secs
lola: 99217 markings, 1113666 edges, 407 markings/sec, 235 secs
lola: 101340 markings, 1134646 edges, 425 markings/sec, 240 secs
lola: 103415 markings, 1156620 edges, 415 markings/sec, 245 secs
lola: 105525 markings, 1183065 edges, 422 markings/sec, 250 secs
lola: 107625 markings, 1203548 edges, 420 markings/sec, 255 secs
lola: 109706 markings, 1229995 edges, 416 markings/sec, 260 secs
lola: 111785 markings, 1255274 edges, 416 markings/sec, 265 secs
lola: 113915 markings, 1277412 edges, 426 markings/sec, 270 secs
lola: 115996 markings, 1300210 edges, 416 markings/sec, 275 secs
lola: 118028 markings, 1326675 edges, 406 markings/sec, 280 secs
lola: 120103 markings, 1351399 edges, 415 markings/sec, 285 secs
lola: 122199 markings, 1371044 edges, 419 markings/sec, 290 secs
lola: 124290 markings, 1393552 edges, 418 markings/sec, 295 secs
lola: 126365 markings, 1417871 edges, 415 markings/sec, 300 secs
lola: 128478 markings, 1441397 edges, 423 markings/sec, 305 secs
lola: 130458 markings, 1466685 edges, 396 markings/sec, 310 secs
lola: 132465 markings, 1491861 edges, 401 markings/sec, 315 secs
lola: 134491 markings, 1522636 edges, 405 markings/sec, 320 secs
lola: 136524 markings, 1547423 edges, 407 markings/sec, 325 secs
lola: 138591 markings, 1569837 edges, 413 markings/sec, 330 secs
lola: 140610 markings, 1590942 edges, 404 markings/sec, 335 secs
lola: 142631 markings, 1611519 edges, 404 markings/sec, 340 secs
lola: 144653 markings, 1629822 edges, 404 markings/sec, 345 secs
lola: 146686 markings, 1652094 edges, 407 markings/sec, 350 secs
lola: 148707 markings, 1671976 edges, 404 markings/sec, 355 secs
lola: 150710 markings, 1695073 edges, 401 markings/sec, 360 secs
lola: 152727 markings, 1718119 edges, 403 markings/sec, 365 secs
lola: 154744 markings, 1742931 edges, 403 markings/sec, 370 secs
lola: 156806 markings, 1764473 edges, 412 markings/sec, 375 secs
lola: 158893 markings, 1792863 edges, 417 markings/sec, 380 secs
lola: 160990 markings, 1813856 edges, 419 markings/sec, 385 secs
lola: 163081 markings, 1839209 edges, 418 markings/sec, 390 secs
lola: 165154 markings, 1861895 edges, 415 markings/sec, 395 secs
lola: 167220 markings, 1883548 edges, 413 markings/sec, 400 secs
lola: 169294 markings, 1910479 edges, 415 markings/sec, 405 secs
lola: 171376 markings, 1932122 edges, 416 markings/sec, 410 secs
lola: 173434 markings, 1955629 edges, 412 markings/sec, 415 secs
lola: 175461 markings, 1976571 edges, 405 markings/sec, 420 secs
lola: 177471 markings, 1998239 edges, 402 markings/sec, 425 secs
lola: 179493 markings, 2017412 edges, 404 markings/sec, 430 secs
lola: 181484 markings, 2037553 edges, 398 markings/sec, 435 secs
lola: 183466 markings, 2058218 edges, 396 markings/sec, 440 secs
lola: 185469 markings, 2080918 edges, 401 markings/sec, 445 secs
lola: 187475 markings, 2102448 edges, 401 markings/sec, 450 secs
lola: 189459 markings, 2122413 edges, 397 markings/sec, 455 secs
lola: 191449 markings, 2145320 edges, 398 markings/sec, 460 secs
lola: 193485 markings, 2164742 edges, 407 markings/sec, 465 secs
lola: 195473 markings, 2184143 edges, 398 markings/sec, 470 secs
lola: 197420 markings, 2207518 edges, 389 markings/sec, 475 secs
lola: 199352 markings, 2229403 edges, 386 markings/sec, 480 secs
lola: 201265 markings, 2253334 edges, 383 markings/sec, 485 secs
lola: 203163 markings, 2285937 edges, 380 markings/sec, 490 secs
lola: 205091 markings, 2304483 edges, 386 markings/sec, 495 secs
lola: 207045 markings, 2323424 edges, 391 markings/sec, 500 secs
lola: 209061 markings, 2344177 edges, 403 markings/sec, 505 secs
lola: 211118 markings, 2365057 edges, 411 markings/sec, 510 secs
lola: 213207 markings, 2388900 edges, 418 markings/sec, 515 secs
lola: 215306 markings, 2411748 edges, 420 markings/sec, 520 secs
lola: 217380 markings, 2433179 edges, 415 markings/sec, 525 secs
lola: 219465 markings, 2456156 edges, 417 markings/sec, 530 secs
lola: 221589 markings, 2476921 edges, 425 markings/sec, 535 secs
lola: 223696 markings, 2501005 edges, 421 markings/sec, 540 secs
lola: 225813 markings, 2521749 edges, 423 markings/sec, 545 secs
lola: 227890 markings, 2546832 edges, 415 markings/sec, 550 secs
lola: 229956 markings, 2579579 edges, 413 markings/sec, 555 secs
lola: 232046 markings, 2604657 edges, 418 markings/sec, 560 secs
lola: 234118 markings, 2625421 edges, 414 markings/sec, 565 secs
lola: 236208 markings, 2649312 edges, 418 markings/sec, 570 secs
lola: 238266 markings, 2670168 edges, 412 markings/sec, 575 secs
lola: 240299 markings, 2694170 edges, 407 markings/sec, 580 secs
lola: 242345 markings, 2720622 edges, 409 markings/sec, 585 secs
lola: 244411 markings, 2741450 edges, 413 markings/sec, 590 secs
lola: 246445 markings, 2764415 edges, 407 markings/sec, 595 secs
lola: 248521 markings, 2782944 edges, 415 markings/sec, 600 secs
lola: 250578 markings, 2809215 edges, 411 markings/sec, 605 secs
lola: 252644 markings, 2830223 edges, 413 markings/sec, 610 secs
lola: 254707 markings, 2852436 edges, 413 markings/sec, 615 secs
lola: 256823 markings, 2874081 edges, 423 markings/sec, 620 secs
lola: 258938 markings, 2893967 edges, 423 markings/sec, 625 secs
lola: 261044 markings, 2919372 edges, 421 markings/sec, 630 secs
lola: 263133 markings, 2941881 edges, 418 markings/sec, 635 secs
lola: 265207 markings, 2967592 edges, 415 markings/sec, 640 secs
lola: 267267 markings, 3002206 edges, 412 markings/sec, 645 secs
lola: 269340 markings, 3022898 edges, 415 markings/sec, 650 secs
lola: 271408 markings, 3044786 edges, 414 markings/sec, 655 secs
lola: 273492 markings, 3067103 edges, 417 markings/sec, 660 secs
lola: 275543 markings, 3089423 edges, 410 markings/sec, 665 secs
lola: 277610 markings, 3108459 edges, 413 markings/sec, 670 secs
lola: 279664 markings, 3132635 edges, 411 markings/sec, 675 secs
lola: 281716 markings, 3155092 edges, 410 markings/sec, 680 secs
lola: 283746 markings, 3175685 edges, 406 markings/sec, 685 secs
lola: 285789 markings, 3197753 edges, 409 markings/sec, 690 secs
lola: 287869 markings, 3217712 edges, 416 markings/sec, 695 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown 1 unknown 1 unknown 1 unknown 1 1 1 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DLCshifumi-PT-5a-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494649672574

--------------------
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="DLCshifumi-PT-5a"
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/DLCshifumi-PT-5a.tgz
mv DLCshifumi-PT-5a 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 DLCshifumi-PT-5a, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r018-ebro-149436309400497"
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 ;