About the Execution of LoLA for S_Diffusion2D-PT-D50N150
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
534.950 | 3539605.00 | 3554496.00 | 600.10 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
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-D50N150, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455900434
=====================================================================
--------------------
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-D50N150-UpperBounds-0
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-1
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-15
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-2
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-3
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-4
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-5
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-6
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-7
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-8
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496465123681
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_Diffusion2D-PT-D50N150: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_Diffusion2D-PT-D50N150: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Diffusion2D-PT-D50N150 @ 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-D50N150-UpperBounds.task
lola: MAX(cAMP__33_11_) : MAX(cAMP__31_35_) : MAX(cAMP__24_39_) : MAX(cAMP__5_27_) : MAX(cAMP__3_2_) : MAX(cAMP__30_14_) : MAX(cAMP__22_31_) : MAX(cAMP__38_42_) : MAX(cAMP__17_29_) : MAX(cAMP__44_44_) : MAX(cAMP__1_11_) : MAX(cAMP__35_20_) : MAX(cAMP__13_38_) : MAX(cAMP__50_34_) : MAX(cAMP__14_22_) : MAX(cAMP__8_35_)
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__33_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2418 markings, 8515 edges, 484 markings/sec, 0 secs
lola: 4848 markings, 17397 edges, 486 markings/sec, 5 secs
lola: 7283 markings, 26310 edges, 487 markings/sec, 10 secs
lola: 9701 markings, 35016 edges, 484 markings/sec, 15 secs
lola: 12121 markings, 43677 edges, 484 markings/sec, 20 secs
lola: 14544 markings, 52382 edges, 485 markings/sec, 25 secs
lola: 16930 markings, 61200 edges, 477 markings/sec, 30 secs
lola: 19351 markings, 69826 edges, 484 markings/sec, 35 secs
lola: 21779 markings, 78609 edges, 486 markings/sec, 40 secs
lola: 24237 markings, 86941 edges, 492 markings/sec, 45 secs
lola: 26707 markings, 95391 edges, 494 markings/sec, 50 secs
lola: 29182 markings, 104725 edges, 495 markings/sec, 55 secs
lola: 31645 markings, 114241 edges, 493 markings/sec, 60 secs
lola: 34111 markings, 123053 edges, 493 markings/sec, 65 secs
lola: 36582 markings, 132475 edges, 494 markings/sec, 70 secs
lola: 39064 markings, 140949 edges, 496 markings/sec, 75 secs
lola: 41534 markings, 149564 edges, 494 markings/sec, 80 secs
lola: 44019 markings, 158166 edges, 497 markings/sec, 85 secs
lola: 46501 markings, 166962 edges, 496 markings/sec, 90 secs
lola: 48986 markings, 176253 edges, 497 markings/sec, 95 secs
lola: 51464 markings, 185512 edges, 496 markings/sec, 100 secs
lola: 53931 markings, 194069 edges, 493 markings/sec, 105 secs
lola: 56404 markings, 202878 edges, 495 markings/sec, 110 secs
lola: 58877 markings, 212026 edges, 495 markings/sec, 115 secs
lola: 61356 markings, 220487 edges, 496 markings/sec, 120 secs
lola: 63823 markings, 229652 edges, 493 markings/sec, 125 secs
lola: 66298 markings, 238869 edges, 495 markings/sec, 130 secs
lola: 68780 markings, 248922 edges, 496 markings/sec, 135 secs
lola: 71268 markings, 258167 edges, 498 markings/sec, 140 secs
lola: 73729 markings, 267776 edges, 492 markings/sec, 145 secs
lola: 76202 markings, 276428 edges, 495 markings/sec, 150 secs
lola: 78673 markings, 285624 edges, 494 markings/sec, 155 secs
lola: 81151 markings, 294367 edges, 496 markings/sec, 160 secs
lola: 83638 markings, 302822 edges, 497 markings/sec, 165 secs
lola: 86121 markings, 311750 edges, 497 markings/sec, 170 secs
lola: 88593 markings, 320822 edges, 494 markings/sec, 175 secs
lola: 91071 markings, 329930 edges, 496 markings/sec, 180 secs
lola: 93546 markings, 339114 edges, 495 markings/sec, 185 secs
lola: 96005 markings, 347967 edges, 492 markings/sec, 190 secs
lola: 98492 markings, 357234 edges, 497 markings/sec, 195 secs
lola: 100973 markings, 366454 edges, 496 markings/sec, 200 secs
lola: 103476 markings, 375543 edges, 501 markings/sec, 205 secs
lola: 105946 markings, 384611 edges, 494 markings/sec, 210 secs
lola: 108419 markings, 393089 edges, 495 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__31_35_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2479 markings, 8397 edges, 496 markings/sec, 0 secs
lola: 4958 markings, 16640 edges, 496 markings/sec, 5 secs
lola: 7432 markings, 25355 edges, 495 markings/sec, 10 secs
lola: 9907 markings, 34108 edges, 495 markings/sec, 15 secs
lola: 12384 markings, 41967 edges, 495 markings/sec, 20 secs
lola: 14865 markings, 49553 edges, 496 markings/sec, 25 secs
lola: 17342 markings, 58065 edges, 495 markings/sec, 30 secs
lola: 19820 markings, 66308 edges, 496 markings/sec, 35 secs
lola: 22297 markings, 74456 edges, 495 markings/sec, 40 secs
lola: 24771 markings, 82530 edges, 495 markings/sec, 45 secs
lola: 27239 markings, 90943 edges, 494 markings/sec, 50 secs
lola: 29718 markings, 99168 edges, 496 markings/sec, 55 secs
lola: 32202 markings, 107225 edges, 497 markings/sec, 60 secs
lola: 34687 markings, 115406 edges, 497 markings/sec, 65 secs
lola: 37169 markings, 123610 edges, 496 markings/sec, 70 secs
lola: 39650 markings, 131853 edges, 496 markings/sec, 75 secs
lola: 42126 markings, 139885 edges, 495 markings/sec, 80 secs
lola: 44598 markings, 147999 edges, 494 markings/sec, 85 secs
lola: 47074 markings, 155917 edges, 495 markings/sec, 90 secs
lola: 49553 markings, 164072 edges, 496 markings/sec, 95 secs
lola: 52032 markings, 172443 edges, 496 markings/sec, 100 secs
lola: 54512 markings, 180748 edges, 496 markings/sec, 105 secs
lola: 56978 markings, 189549 edges, 493 markings/sec, 110 secs
lola: 59449 markings, 197562 edges, 494 markings/sec, 115 secs
lola: 61926 markings, 206519 edges, 495 markings/sec, 120 secs
lola: 64407 markings, 214833 edges, 496 markings/sec, 125 secs
lola: 66882 markings, 223666 edges, 495 markings/sec, 130 secs
lola: 69361 markings, 231748 edges, 496 markings/sec, 135 secs
lola: 71831 markings, 240095 edges, 494 markings/sec, 140 secs
lola: 74309 markings, 248812 edges, 496 markings/sec, 145 secs
lola: 76786 markings, 257164 edges, 495 markings/sec, 150 secs
lola: 79270 markings, 265030 edges, 497 markings/sec, 155 secs
lola: 81749 markings, 273204 edges, 496 markings/sec, 160 secs
lola: 84226 markings, 281213 edges, 495 markings/sec, 165 secs
lola: 86704 markings, 289353 edges, 496 markings/sec, 170 secs
lola: 89192 markings, 297401 edges, 498 markings/sec, 175 secs
lola: 91680 markings, 305754 edges, 498 markings/sec, 180 secs
lola: 94170 markings, 313655 edges, 498 markings/sec, 185 secs
lola: 96655 markings, 321457 edges, 497 markings/sec, 190 secs
lola: 99136 markings, 329326 edges, 496 markings/sec, 195 secs
lola: 101626 markings, 336937 edges, 498 markings/sec, 200 secs
lola: 104107 markings, 344396 edges, 496 markings/sec, 205 secs
lola: 106589 markings, 352146 edges, 496 markings/sec, 210 secs
lola: 109062 markings, 360081 edges, 495 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__24_39_)
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: 2365 markings, 8515 edges, 473 markings/sec, 0 secs
lola: 4821 markings, 17242 edges, 491 markings/sec, 5 secs
lola: 7268 markings, 26142 edges, 489 markings/sec, 10 secs
lola: 9724 markings, 35039 edges, 491 markings/sec, 15 secs
lola: 12177 markings, 44033 edges, 491 markings/sec, 20 secs
lola: 14622 markings, 53215 edges, 489 markings/sec, 25 secs
lola: 17068 markings, 61723 edges, 489 markings/sec, 30 secs
lola: 19526 markings, 70023 edges, 492 markings/sec, 35 secs
lola: 21979 markings, 78260 edges, 491 markings/sec, 40 secs
lola: 24425 markings, 87345 edges, 489 markings/sec, 45 secs
lola: 26868 markings, 95640 edges, 489 markings/sec, 50 secs
lola: 29304 markings, 104822 edges, 487 markings/sec, 55 secs
lola: 31741 markings, 113714 edges, 487 markings/sec, 60 secs
lola: 34156 markings, 122580 edges, 483 markings/sec, 65 secs
lola: 36574 markings, 131746 edges, 484 markings/sec, 70 secs
lola: 39003 markings, 140748 edges, 486 markings/sec, 75 secs
lola: 41417 markings, 150180 edges, 483 markings/sec, 80 secs
lola: 43848 markings, 158335 edges, 486 markings/sec, 85 secs
lola: 46259 markings, 166867 edges, 482 markings/sec, 90 secs
lola: 48678 markings, 175685 edges, 484 markings/sec, 95 secs
lola: 51102 markings, 184444 edges, 485 markings/sec, 100 secs
lola: 53526 markings, 193722 edges, 485 markings/sec, 105 secs
lola: 55959 markings, 202258 edges, 487 markings/sec, 110 secs
lola: 58384 markings, 211059 edges, 485 markings/sec, 115 secs
lola: 60816 markings, 219839 edges, 486 markings/sec, 120 secs
lola: 63248 markings, 228036 edges, 486 markings/sec, 125 secs
lola: 65679 markings, 236878 edges, 486 markings/sec, 130 secs
lola: 68107 markings, 245395 edges, 486 markings/sec, 135 secs
lola: 70529 markings, 254279 edges, 484 markings/sec, 140 secs
lola: 72964 markings, 262629 edges, 487 markings/sec, 145 secs
lola: 75393 markings, 271514 edges, 486 markings/sec, 150 secs
lola: 77830 markings, 279534 edges, 487 markings/sec, 155 secs
lola: 80268 markings, 288293 edges, 488 markings/sec, 160 secs
lola: 82703 markings, 297068 edges, 487 markings/sec, 165 secs
lola: 85133 markings, 305515 edges, 486 markings/sec, 170 secs
lola: 87566 markings, 314065 edges, 487 markings/sec, 175 secs
lola: 89992 markings, 322978 edges, 485 markings/sec, 180 secs
lola: 92415 markings, 332395 edges, 485 markings/sec, 185 secs
lola: 94855 markings, 340898 edges, 488 markings/sec, 190 secs
lola: 97273 markings, 350938 edges, 484 markings/sec, 195 secs
lola: 99717 markings, 360501 edges, 489 markings/sec, 200 secs
lola: 102177 markings, 369477 edges, 492 markings/sec, 205 secs
lola: 104617 markings, 378535 edges, 488 markings/sec, 210 secs
lola: 107048 markings, 387892 edges, 486 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_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: 2483 markings, 9060 edges, 497 markings/sec, 0 secs
lola: 4983 markings, 17963 edges, 500 markings/sec, 5 secs
lola: 7496 markings, 26534 edges, 503 markings/sec, 10 secs
lola: 10019 markings, 35882 edges, 505 markings/sec, 15 secs
lola: 12526 markings, 45283 edges, 501 markings/sec, 20 secs
lola: 15029 markings, 54378 edges, 501 markings/sec, 25 secs
lola: 17523 markings, 63461 edges, 499 markings/sec, 30 secs
lola: 20018 markings, 72780 edges, 499 markings/sec, 35 secs
lola: 22513 markings, 82087 edges, 499 markings/sec, 40 secs
lola: 25021 markings, 91329 edges, 502 markings/sec, 45 secs
lola: 27510 markings, 100601 edges, 498 markings/sec, 50 secs
lola: 30010 markings, 109703 edges, 500 markings/sec, 55 secs
lola: 32524 markings, 119141 edges, 503 markings/sec, 60 secs
lola: 35024 markings, 128301 edges, 500 markings/sec, 65 secs
lola: 37524 markings, 137655 edges, 500 markings/sec, 70 secs
lola: 40013 markings, 146908 edges, 498 markings/sec, 75 secs
lola: 42506 markings, 156035 edges, 499 markings/sec, 80 secs
lola: 44992 markings, 165301 edges, 497 markings/sec, 85 secs
lola: 47492 markings, 173722 edges, 500 markings/sec, 90 secs
lola: 49994 markings, 182550 edges, 500 markings/sec, 95 secs
lola: 52498 markings, 191707 edges, 501 markings/sec, 100 secs
lola: 55011 markings, 200513 edges, 503 markings/sec, 105 secs
lola: 57505 markings, 210307 edges, 499 markings/sec, 110 secs
lola: 60000 markings, 220601 edges, 499 markings/sec, 115 secs
lola: 62493 markings, 229703 edges, 499 markings/sec, 120 secs
lola: 64996 markings, 238957 edges, 501 markings/sec, 125 secs
lola: 67490 markings, 248200 edges, 499 markings/sec, 130 secs
lola: 69988 markings, 258027 edges, 500 markings/sec, 135 secs
lola: 72486 markings, 267663 edges, 500 markings/sec, 140 secs
lola: 74970 markings, 277217 edges, 497 markings/sec, 145 secs
lola: 77455 markings, 286205 edges, 497 markings/sec, 150 secs
lola: 79936 markings, 296445 edges, 496 markings/sec, 155 secs
lola: 82412 markings, 306370 edges, 495 markings/sec, 160 secs
lola: 84903 markings, 316264 edges, 498 markings/sec, 165 secs
lola: 87386 markings, 325051 edges, 497 markings/sec, 170 secs
lola: 89884 markings, 334208 edges, 500 markings/sec, 175 secs
lola: 92395 markings, 343457 edges, 502 markings/sec, 180 secs
lola: 94898 markings, 353030 edges, 501 markings/sec, 185 secs
lola: 97388 markings, 362439 edges, 498 markings/sec, 190 secs
lola: 99866 markings, 371088 edges, 496 markings/sec, 195 secs
lola: 102343 markings, 380339 edges, 495 markings/sec, 200 secs
lola: 104823 markings, 389434 edges, 496 markings/sec, 205 secs
lola: 107307 markings, 398169 edges, 497 markings/sec, 210 secs
lola: 109780 markings, 407972 edges, 495 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_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: 2446 markings, 9324 edges, 489 markings/sec, 0 secs
lola: 4905 markings, 18285 edges, 492 markings/sec, 5 secs
lola: 7362 markings, 27166 edges, 491 markings/sec, 10 secs
lola: 9815 markings, 36035 edges, 491 markings/sec, 15 secs
lola: 12266 markings, 44962 edges, 490 markings/sec, 20 secs
lola: 14718 markings, 53832 edges, 490 markings/sec, 25 secs
lola: 17167 markings, 62768 edges, 490 markings/sec, 30 secs
lola: 19618 markings, 71644 edges, 490 markings/sec, 35 secs
lola: 22071 markings, 80561 edges, 491 markings/sec, 40 secs
lola: 24524 markings, 89456 edges, 491 markings/sec, 45 secs
lola: 26985 markings, 97875 edges, 492 markings/sec, 50 secs
lola: 29435 markings, 107596 edges, 490 markings/sec, 55 secs
lola: 31885 markings, 117063 edges, 490 markings/sec, 60 secs
lola: 34342 markings, 126326 edges, 491 markings/sec, 65 secs
lola: 36817 markings, 135573 edges, 495 markings/sec, 70 secs
lola: 39304 markings, 144724 edges, 497 markings/sec, 75 secs
lola: 41787 markings, 153080 edges, 497 markings/sec, 80 secs
lola: 44275 markings, 161726 edges, 498 markings/sec, 85 secs
lola: 46758 markings, 170153 edges, 497 markings/sec, 90 secs
lola: 49239 markings, 178728 edges, 496 markings/sec, 95 secs
lola: 51722 markings, 187397 edges, 497 markings/sec, 100 secs
lola: 54209 markings, 195735 edges, 497 markings/sec, 105 secs
lola: 56684 markings, 204193 edges, 495 markings/sec, 110 secs
lola: 59161 markings, 212489 edges, 495 markings/sec, 115 secs
lola: 61620 markings, 221679 edges, 492 markings/sec, 120 secs
lola: 64081 markings, 231100 edges, 492 markings/sec, 125 secs
lola: 66561 markings, 240068 edges, 496 markings/sec, 130 secs
lola: 69048 markings, 249475 edges, 497 markings/sec, 135 secs
lola: 71526 markings, 257727 edges, 496 markings/sec, 140 secs
lola: 73989 markings, 266491 edges, 493 markings/sec, 145 secs
lola: 76450 markings, 275458 edges, 492 markings/sec, 150 secs
lola: 78915 markings, 285086 edges, 493 markings/sec, 155 secs
lola: 81386 markings, 294989 edges, 494 markings/sec, 160 secs
lola: 83858 markings, 304320 edges, 494 markings/sec, 165 secs
lola: 86336 markings, 312657 edges, 496 markings/sec, 170 secs
lola: 88804 markings, 321278 edges, 494 markings/sec, 175 secs
lola: 91270 markings, 330583 edges, 493 markings/sec, 180 secs
lola: 93737 markings, 339891 edges, 493 markings/sec, 185 secs
lola: 96208 markings, 348729 edges, 494 markings/sec, 190 secs
lola: 98681 markings, 357035 edges, 495 markings/sec, 195 secs
lola: 101145 markings, 366134 edges, 493 markings/sec, 200 secs
lola: 103593 markings, 375290 edges, 490 markings/sec, 205 secs
lola: 106053 markings, 384408 edges, 492 markings/sec, 210 secs
lola: 108526 markings, 393161 edges, 495 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__30_14_)
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: 2471 markings, 8705 edges, 494 markings/sec, 0 secs
lola: 4936 markings, 17225 edges, 493 markings/sec, 5 secs
lola: 7407 markings, 26535 edges, 494 markings/sec, 10 secs
lola: 9875 markings, 35413 edges, 494 markings/sec, 15 secs
lola: 12331 markings, 45040 edges, 491 markings/sec, 20 secs
lola: 14766 markings, 53950 edges, 487 markings/sec, 25 secs
lola: 17206 markings, 62590 edges, 488 markings/sec, 30 secs
lola: 19646 markings, 71647 edges, 488 markings/sec, 35 secs
lola: 22089 markings, 80578 edges, 489 markings/sec, 40 secs
lola: 24547 markings, 88382 edges, 492 markings/sec, 45 secs
lola: 26991 markings, 96342 edges, 489 markings/sec, 50 secs
lola: 29447 markings, 104976 edges, 491 markings/sec, 55 secs
lola: 31917 markings, 112819 edges, 494 markings/sec, 60 secs
lola: 34390 markings, 121039 edges, 495 markings/sec, 65 secs
lola: 36852 markings, 129826 edges, 492 markings/sec, 70 secs
lola: 39324 markings, 138089 edges, 494 markings/sec, 75 secs
lola: 41793 markings, 146745 edges, 494 markings/sec, 80 secs
lola: 44260 markings, 154888 edges, 493 markings/sec, 85 secs
lola: 46722 markings, 163500 edges, 492 markings/sec, 90 secs
lola: 49185 markings, 171832 edges, 493 markings/sec, 95 secs
lola: 51642 markings, 180097 edges, 491 markings/sec, 100 secs
lola: 54099 markings, 188761 edges, 491 markings/sec, 105 secs
lola: 56561 markings, 196781 edges, 492 markings/sec, 110 secs
lola: 59022 markings, 205011 edges, 492 markings/sec, 115 secs
lola: 61486 markings, 213795 edges, 493 markings/sec, 120 secs
lola: 63947 markings, 222888 edges, 492 markings/sec, 125 secs
lola: 66415 markings, 231224 edges, 494 markings/sec, 130 secs
lola: 68877 markings, 240229 edges, 492 markings/sec, 135 secs
lola: 71340 markings, 248762 edges, 493 markings/sec, 140 secs
lola: 73806 markings, 256706 edges, 493 markings/sec, 145 secs
lola: 76267 markings, 265337 edges, 492 markings/sec, 150 secs
lola: 78729 markings, 273529 edges, 492 markings/sec, 155 secs
lola: 81193 markings, 282022 edges, 493 markings/sec, 160 secs
lola: 83663 markings, 290033 edges, 494 markings/sec, 165 secs
lola: 86134 markings, 298220 edges, 494 markings/sec, 170 secs
lola: 88595 markings, 306190 edges, 492 markings/sec, 175 secs
lola: 91059 markings, 314588 edges, 493 markings/sec, 180 secs
lola: 93523 markings, 323089 edges, 493 markings/sec, 185 secs
lola: 95983 markings, 331939 edges, 492 markings/sec, 190 secs
lola: 98443 markings, 340756 edges, 492 markings/sec, 195 secs
lola: 100904 markings, 349228 edges, 492 markings/sec, 200 secs
lola: 103366 markings, 358034 edges, 492 markings/sec, 205 secs
lola: 105825 markings, 366667 edges, 492 markings/sec, 210 secs
lola: 108286 markings, 375376 edges, 492 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__22_31_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2501 markings, 7400 edges, 500 markings/sec, 0 secs
lola: 5018 markings, 14844 edges, 503 markings/sec, 5 secs
lola: 7532 markings, 22286 edges, 503 markings/sec, 10 secs
lola: 10045 markings, 30605 edges, 503 markings/sec, 15 secs
lola: 12563 markings, 38097 edges, 504 markings/sec, 20 secs
lola: 15062 markings, 46178 edges, 500 markings/sec, 25 secs
lola: 17561 markings, 54357 edges, 500 markings/sec, 30 secs
lola: 20064 markings, 63212 edges, 501 markings/sec, 35 secs
lola: 22531 markings, 72057 edges, 493 markings/sec, 40 secs
lola: 24999 markings, 81438 edges, 494 markings/sec, 45 secs
lola: 27495 markings, 89905 edges, 499 markings/sec, 50 secs
lola: 29994 markings, 99088 edges, 500 markings/sec, 55 secs
lola: 32495 markings, 106963 edges, 500 markings/sec, 60 secs
lola: 34997 markings, 114836 edges, 500 markings/sec, 65 secs
lola: 37499 markings, 123134 edges, 500 markings/sec, 70 secs
lola: 39983 markings, 131932 edges, 497 markings/sec, 75 secs
lola: 42479 markings, 141070 edges, 499 markings/sec, 80 secs
lola: 44980 markings, 149499 edges, 500 markings/sec, 85 secs
lola: 47481 markings, 157310 edges, 500 markings/sec, 90 secs
lola: 49984 markings, 165005 edges, 501 markings/sec, 95 secs
lola: 52478 markings, 173151 edges, 499 markings/sec, 100 secs
lola: 54983 markings, 180966 edges, 501 markings/sec, 105 secs
lola: 57486 markings, 188858 edges, 501 markings/sec, 110 secs
lola: 59993 markings, 196571 edges, 501 markings/sec, 115 secs
lola: 62488 markings, 204730 edges, 499 markings/sec, 120 secs
lola: 64983 markings, 213177 edges, 499 markings/sec, 125 secs
lola: 67484 markings, 221488 edges, 500 markings/sec, 130 secs
lola: 69987 markings, 229196 edges, 501 markings/sec, 135 secs
lola: 72500 markings, 236947 edges, 503 markings/sec, 140 secs
lola: 75010 markings, 245245 edges, 502 markings/sec, 145 secs
lola: 77519 markings, 253495 edges, 502 markings/sec, 150 secs
lola: 80030 markings, 261298 edges, 502 markings/sec, 155 secs
lola: 82538 markings, 269423 edges, 502 markings/sec, 160 secs
lola: 85046 markings, 277292 edges, 502 markings/sec, 165 secs
lola: 87554 markings, 285174 edges, 502 markings/sec, 170 secs
lola: 90060 markings, 293630 edges, 501 markings/sec, 175 secs
lola: 92577 markings, 301554 edges, 503 markings/sec, 180 secs
lola: 95089 markings, 309264 edges, 502 markings/sec, 185 secs
lola: 97617 markings, 316997 edges, 506 markings/sec, 190 secs
lola: 100119 markings, 325566 edges, 500 markings/sec, 195 secs
lola: 102626 markings, 333439 edges, 501 markings/sec, 200 secs
lola: 105128 markings, 341711 edges, 500 markings/sec, 205 secs
lola: 107629 markings, 350049 edges, 500 markings/sec, 210 secs
lola: 110139 markings, 358075 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 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__38_42_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2497 markings, 8573 edges, 499 markings/sec, 0 secs
lola: 5013 markings, 17223 edges, 503 markings/sec, 5 secs
lola: 7522 markings, 25956 edges, 502 markings/sec, 10 secs
lola: 10022 markings, 35001 edges, 500 markings/sec, 15 secs
lola: 12522 markings, 43554 edges, 500 markings/sec, 20 secs
lola: 15020 markings, 52322 edges, 500 markings/sec, 25 secs
lola: 17527 markings, 61071 edges, 501 markings/sec, 30 secs
lola: 20038 markings, 69565 edges, 502 markings/sec, 35 secs
lola: 22548 markings, 78846 edges, 502 markings/sec, 40 secs
lola: 25061 markings, 87616 edges, 503 markings/sec, 45 secs
lola: 27557 markings, 96838 edges, 499 markings/sec, 50 secs
lola: 30060 markings, 105431 edges, 501 markings/sec, 55 secs
lola: 32561 markings, 114679 edges, 500 markings/sec, 60 secs
lola: 35062 markings, 123069 edges, 500 markings/sec, 65 secs
lola: 37558 markings, 132193 edges, 499 markings/sec, 70 secs
lola: 40055 markings, 141245 edges, 499 markings/sec, 75 secs
lola: 42563 markings, 149469 edges, 502 markings/sec, 80 secs
lola: 45064 markings, 158751 edges, 500 markings/sec, 85 secs
lola: 47558 markings, 167450 edges, 499 markings/sec, 90 secs
lola: 50029 markings, 175869 edges, 494 markings/sec, 95 secs
lola: 52529 markings, 184799 edges, 500 markings/sec, 100 secs
lola: 55021 markings, 193606 edges, 498 markings/sec, 105 secs
lola: 57512 markings, 202220 edges, 498 markings/sec, 110 secs
lola: 60001 markings, 211101 edges, 498 markings/sec, 115 secs
lola: 62486 markings, 219842 edges, 497 markings/sec, 120 secs
lola: 64966 markings, 229067 edges, 496 markings/sec, 125 secs
lola: 67464 markings, 238124 edges, 500 markings/sec, 130 secs
lola: 69952 markings, 246653 edges, 498 markings/sec, 135 secs
lola: 72454 markings, 255488 edges, 500 markings/sec, 140 secs
lola: 74962 markings, 264357 edges, 502 markings/sec, 145 secs
lola: 77467 markings, 273386 edges, 501 markings/sec, 150 secs
lola: 79967 markings, 281964 edges, 500 markings/sec, 155 secs
lola: 82473 markings, 290972 edges, 501 markings/sec, 160 secs
lola: 84974 markings, 299934 edges, 500 markings/sec, 165 secs
lola: 87471 markings, 309513 edges, 499 markings/sec, 170 secs
lola: 89967 markings, 318918 edges, 499 markings/sec, 175 secs
lola: 92484 markings, 327967 edges, 503 markings/sec, 180 secs
lola: 94995 markings, 336631 edges, 502 markings/sec, 185 secs
lola: 97486 markings, 345465 edges, 498 markings/sec, 190 secs
lola: 100003 markings, 354350 edges, 503 markings/sec, 195 secs
lola: 102501 markings, 363351 edges, 500 markings/sec, 200 secs
lola: 105002 markings, 372317 edges, 500 markings/sec, 205 secs
lola: 107506 markings, 381235 edges, 501 markings/sec, 210 secs
lola: 109998 markings, 390504 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 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__17_29_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2464 markings, 8593 edges, 493 markings/sec, 0 secs
lola: 4944 markings, 17720 edges, 496 markings/sec, 5 secs
lola: 7419 markings, 26982 edges, 495 markings/sec, 10 secs
lola: 9907 markings, 35609 edges, 498 markings/sec, 15 secs
lola: 12380 markings, 44235 edges, 495 markings/sec, 20 secs
lola: 14856 markings, 52748 edges, 495 markings/sec, 25 secs
lola: 17331 markings, 61128 edges, 495 markings/sec, 30 secs
lola: 19800 markings, 70735 edges, 494 markings/sec, 35 secs
lola: 22271 markings, 80256 edges, 494 markings/sec, 40 secs
lola: 24740 markings, 89232 edges, 494 markings/sec, 45 secs
lola: 27203 markings, 98168 edges, 493 markings/sec, 50 secs
lola: 29620 markings, 107454 edges, 483 markings/sec, 55 secs
lola: 32043 markings, 116797 edges, 485 markings/sec, 60 secs
lola: 34443 markings, 125348 edges, 480 markings/sec, 65 secs
lola: 36860 markings, 134160 edges, 483 markings/sec, 70 secs
lola: 39321 markings, 143001 edges, 492 markings/sec, 75 secs
lola: 41777 markings, 152577 edges, 491 markings/sec, 80 secs
lola: 44233 markings, 161537 edges, 491 markings/sec, 85 secs
lola: 46666 markings, 170840 edges, 487 markings/sec, 90 secs
lola: 49096 markings, 179664 edges, 486 markings/sec, 95 secs
lola: 51527 markings, 189120 edges, 486 markings/sec, 100 secs
lola: 53969 markings, 198450 edges, 488 markings/sec, 105 secs
lola: 56431 markings, 207307 edges, 492 markings/sec, 110 secs
lola: 58892 markings, 216771 edges, 492 markings/sec, 115 secs
lola: 61354 markings, 226170 edges, 492 markings/sec, 120 secs
lola: 63809 markings, 235211 edges, 491 markings/sec, 125 secs
lola: 66261 markings, 244211 edges, 490 markings/sec, 130 secs
lola: 68716 markings, 253664 edges, 491 markings/sec, 135 secs
lola: 71166 markings, 262602 edges, 490 markings/sec, 140 secs
lola: 73609 markings, 271890 edges, 489 markings/sec, 145 secs
lola: 76056 markings, 280607 edges, 489 markings/sec, 150 secs
lola: 78499 markings, 289602 edges, 489 markings/sec, 155 secs
lola: 80942 markings, 298791 edges, 489 markings/sec, 160 secs
lola: 83385 markings, 308210 edges, 489 markings/sec, 165 secs
lola: 85823 markings, 316857 edges, 488 markings/sec, 170 secs
lola: 88256 markings, 326530 edges, 487 markings/sec, 175 secs
lola: 90690 markings, 335940 edges, 487 markings/sec, 180 secs
lola: 93151 markings, 344569 edges, 492 markings/sec, 185 secs
lola: 95606 markings, 353853 edges, 491 markings/sec, 190 secs
lola: 98067 markings, 362576 edges, 492 markings/sec, 195 secs
lola: 100535 markings, 370376 edges, 494 markings/sec, 200 secs
lola: 102998 markings, 378657 edges, 493 markings/sec, 205 secs
lola: 105460 markings, 387262 edges, 492 markings/sec, 210 secs
lola: 107928 markings, 395123 edges, 494 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__44_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: 2535 markings, 8343 edges, 507 markings/sec, 0 secs
lola: 5047 markings, 17313 edges, 502 markings/sec, 5 secs
lola: 7555 markings, 26254 edges, 502 markings/sec, 10 secs
lola: 10054 markings, 35351 edges, 500 markings/sec, 15 secs
lola: 12550 markings, 44300 edges, 499 markings/sec, 20 secs
lola: 15052 markings, 53194 edges, 500 markings/sec, 25 secs
lola: 17552 markings, 61864 edges, 500 markings/sec, 30 secs
lola: 20055 markings, 70321 edges, 501 markings/sec, 35 secs
lola: 22551 markings, 78762 edges, 499 markings/sec, 40 secs
lola: 25047 markings, 86291 edges, 499 markings/sec, 45 secs
lola: 27540 markings, 94464 edges, 499 markings/sec, 50 secs
lola: 30035 markings, 102613 edges, 499 markings/sec, 55 secs
lola: 32528 markings, 110876 edges, 499 markings/sec, 60 secs
lola: 35024 markings, 119446 edges, 499 markings/sec, 65 secs
lola: 37514 markings, 128848 edges, 498 markings/sec, 70 secs
lola: 40005 markings, 138552 edges, 498 markings/sec, 75 secs
lola: 42505 markings, 147418 edges, 500 markings/sec, 80 secs
lola: 45011 markings, 155256 edges, 501 markings/sec, 85 secs
lola: 47513 markings, 163498 edges, 500 markings/sec, 90 secs
lola: 50014 markings, 171982 edges, 500 markings/sec, 95 secs
lola: 52513 markings, 179690 edges, 500 markings/sec, 100 secs
lola: 55011 markings, 187732 edges, 500 markings/sec, 105 secs
lola: 57511 markings, 195263 edges, 500 markings/sec, 110 secs
lola: 60017 markings, 203425 edges, 501 markings/sec, 115 secs
lola: 62529 markings, 212124 edges, 502 markings/sec, 120 secs
lola: 65040 markings, 220893 edges, 502 markings/sec, 125 secs
lola: 67561 markings, 229385 edges, 504 markings/sec, 130 secs
lola: 70075 markings, 238753 edges, 503 markings/sec, 135 secs
lola: 72593 markings, 246897 edges, 504 markings/sec, 140 secs
lola: 75109 markings, 254831 edges, 503 markings/sec, 145 secs
lola: 77622 markings, 263141 edges, 503 markings/sec, 150 secs
lola: 80145 markings, 271066 edges, 505 markings/sec, 155 secs
lola: 82670 markings, 278970 edges, 505 markings/sec, 160 secs
lola: 85190 markings, 287370 edges, 504 markings/sec, 165 secs
lola: 87707 markings, 295667 edges, 503 markings/sec, 170 secs
lola: 90226 markings, 303364 edges, 504 markings/sec, 175 secs
lola: 92748 markings, 311430 edges, 504 markings/sec, 180 secs
lola: 95279 markings, 319127 edges, 506 markings/sec, 185 secs
lola: 97803 markings, 328021 edges, 505 markings/sec, 190 secs
lola: 100324 markings, 335541 edges, 504 markings/sec, 195 secs
lola: 102841 markings, 343395 edges, 503 markings/sec, 200 secs
lola: 105351 markings, 351715 edges, 502 markings/sec, 205 secs
lola: 107860 markings, 360195 edges, 502 markings/sec, 210 secs
lola: 110367 markings, 369494 edges, 501 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__1_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2502 markings, 8263 edges, 500 markings/sec, 0 secs
lola: 4995 markings, 16775 edges, 499 markings/sec, 5 secs
lola: 7470 markings, 25123 edges, 495 markings/sec, 10 secs
lola: 9946 markings, 33365 edges, 495 markings/sec, 15 secs
lola: 12413 markings, 41873 edges, 493 markings/sec, 20 secs
lola: 14884 markings, 50015 edges, 494 markings/sec, 25 secs
lola: 17355 markings, 58509 edges, 494 markings/sec, 30 secs
lola: 19826 markings, 66763 edges, 494 markings/sec, 35 secs
lola: 22301 markings, 74528 edges, 495 markings/sec, 40 secs
lola: 24767 markings, 83223 edges, 493 markings/sec, 45 secs
lola: 27236 markings, 91562 edges, 494 markings/sec, 50 secs
lola: 29717 markings, 99698 edges, 496 markings/sec, 55 secs
lola: 32199 markings, 108085 edges, 496 markings/sec, 60 secs
lola: 34690 markings, 116387 edges, 498 markings/sec, 65 secs
lola: 37177 markings, 124636 edges, 497 markings/sec, 70 secs
lola: 39658 markings, 133137 edges, 496 markings/sec, 75 secs
lola: 42141 markings, 141638 edges, 497 markings/sec, 80 secs
lola: 44623 markings, 150125 edges, 496 markings/sec, 85 secs
lola: 47103 markings, 158986 edges, 496 markings/sec, 90 secs
lola: 49569 markings, 167738 edges, 493 markings/sec, 95 secs
lola: 52038 markings, 176151 edges, 494 markings/sec, 100 secs
lola: 54508 markings, 184796 edges, 494 markings/sec, 105 secs
lola: 57001 markings, 192816 edges, 499 markings/sec, 110 secs
lola: 59492 markings, 201161 edges, 498 markings/sec, 115 secs
lola: 61981 markings, 209279 edges, 498 markings/sec, 120 secs
lola: 64475 markings, 217118 edges, 499 markings/sec, 125 secs
lola: 66970 markings, 225496 edges, 499 markings/sec, 130 secs
lola: 69461 markings, 233702 edges, 498 markings/sec, 135 secs
lola: 71967 markings, 241862 edges, 501 markings/sec, 140 secs
lola: 74473 markings, 250455 edges, 501 markings/sec, 145 secs
lola: 76967 markings, 258641 edges, 499 markings/sec, 150 secs
lola: 79459 markings, 267095 edges, 498 markings/sec, 155 secs
lola: 81955 markings, 275627 edges, 499 markings/sec, 160 secs
lola: 84449 markings, 284047 edges, 499 markings/sec, 165 secs
lola: 86940 markings, 292766 edges, 498 markings/sec, 170 secs
lola: 89434 markings, 301109 edges, 499 markings/sec, 175 secs
lola: 91935 markings, 310234 edges, 500 markings/sec, 180 secs
lola: 94426 markings, 318523 edges, 498 markings/sec, 185 secs
lola: 96911 markings, 327250 edges, 497 markings/sec, 190 secs
lola: 99401 markings, 335708 edges, 498 markings/sec, 195 secs
lola: 101892 markings, 344337 edges, 498 markings/sec, 200 secs
lola: 104383 markings, 352939 edges, 498 markings/sec, 205 secs
lola: 106873 markings, 361289 edges, 498 markings/sec, 210 secs
lola: 109362 markings, 369658 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 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__35_20_)
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, 8741 edges, 498 markings/sec, 0 secs
lola: 4975 markings, 17531 edges, 497 markings/sec, 5 secs
lola: 7453 markings, 26308 edges, 496 markings/sec, 10 secs
lola: 9935 markings, 34602 edges, 496 markings/sec, 15 secs
lola: 12414 markings, 43009 edges, 496 markings/sec, 20 secs
lola: 14891 markings, 51914 edges, 495 markings/sec, 25 secs
lola: 17380 markings, 60532 edges, 498 markings/sec, 30 secs
lola: 19867 markings, 69134 edges, 497 markings/sec, 35 secs
lola: 22345 markings, 77760 edges, 496 markings/sec, 40 secs
lola: 24833 markings, 86031 edges, 498 markings/sec, 45 secs
lola: 27322 markings, 94478 edges, 498 markings/sec, 50 secs
lola: 29804 markings, 102916 edges, 496 markings/sec, 55 secs
lola: 32285 markings, 111342 edges, 496 markings/sec, 60 secs
lola: 34770 markings, 120006 edges, 497 markings/sec, 65 secs
lola: 37249 markings, 129081 edges, 496 markings/sec, 70 secs
lola: 39731 markings, 138406 edges, 496 markings/sec, 75 secs
lola: 42215 markings, 147588 edges, 497 markings/sec, 80 secs
lola: 44695 markings, 156635 edges, 496 markings/sec, 85 secs
lola: 47171 markings, 165874 edges, 495 markings/sec, 90 secs
lola: 49651 markings, 174573 edges, 496 markings/sec, 95 secs
lola: 52137 markings, 182930 edges, 497 markings/sec, 100 secs
lola: 54618 markings, 191686 edges, 496 markings/sec, 105 secs
lola: 57101 markings, 200154 edges, 497 markings/sec, 110 secs
lola: 59583 markings, 208488 edges, 496 markings/sec, 115 secs
lola: 62062 markings, 217007 edges, 496 markings/sec, 120 secs
lola: 64544 markings, 225087 edges, 496 markings/sec, 125 secs
lola: 67021 markings, 233675 edges, 495 markings/sec, 130 secs
lola: 69511 markings, 241825 edges, 498 markings/sec, 135 secs
lola: 71993 markings, 249509 edges, 496 markings/sec, 140 secs
lola: 74474 markings, 257466 edges, 496 markings/sec, 145 secs
lola: 76959 markings, 264995 edges, 497 markings/sec, 150 secs
lola: 79438 markings, 273635 edges, 496 markings/sec, 155 secs
lola: 81925 markings, 281838 edges, 497 markings/sec, 160 secs
lola: 84404 markings, 290449 edges, 496 markings/sec, 165 secs
lola: 86884 markings, 299611 edges, 496 markings/sec, 170 secs
lola: 89367 markings, 308167 edges, 497 markings/sec, 175 secs
lola: 91844 markings, 316529 edges, 495 markings/sec, 180 secs
lola: 94322 markings, 325024 edges, 496 markings/sec, 185 secs
lola: 96799 markings, 334772 edges, 495 markings/sec, 190 secs
lola: 99270 markings, 343203 edges, 494 markings/sec, 195 secs
lola: 101746 markings, 351743 edges, 495 markings/sec, 200 secs
lola: 104220 markings, 359840 edges, 495 markings/sec, 205 secs
lola: 106702 markings, 368249 edges, 496 markings/sec, 210 secs
lola: 109192 markings, 376521 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 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__13_38_)
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: 2482 markings, 8903 edges, 496 markings/sec, 0 secs
lola: 4969 markings, 16813 edges, 497 markings/sec, 5 secs
lola: 7455 markings, 24689 edges, 497 markings/sec, 10 secs
lola: 9948 markings, 32418 edges, 499 markings/sec, 15 secs
lola: 12431 markings, 40099 edges, 497 markings/sec, 20 secs
lola: 14914 markings, 48029 edges, 497 markings/sec, 25 secs
lola: 17402 markings, 55244 edges, 498 markings/sec, 30 secs
lola: 19887 markings, 63196 edges, 497 markings/sec, 35 secs
lola: 22372 markings, 71829 edges, 497 markings/sec, 40 secs
lola: 24860 markings, 79550 edges, 498 markings/sec, 45 secs
lola: 27345 markings, 87899 edges, 497 markings/sec, 50 secs
lola: 29830 markings, 95875 edges, 497 markings/sec, 55 secs
lola: 32325 markings, 103328 edges, 499 markings/sec, 60 secs
lola: 34815 markings, 110592 edges, 498 markings/sec, 65 secs
lola: 37306 markings, 118313 edges, 498 markings/sec, 70 secs
lola: 39789 markings, 126965 edges, 497 markings/sec, 75 secs
lola: 42266 markings, 134855 edges, 495 markings/sec, 80 secs
lola: 44746 markings, 143030 edges, 496 markings/sec, 85 secs
lola: 47224 markings, 151114 edges, 496 markings/sec, 90 secs
lola: 49711 markings, 158557 edges, 497 markings/sec, 95 secs
lola: 52191 markings, 165778 edges, 496 markings/sec, 100 secs
lola: 54672 markings, 173458 edges, 496 markings/sec, 105 secs
lola: 57149 markings, 181980 edges, 495 markings/sec, 110 secs
lola: 59626 markings, 190054 edges, 495 markings/sec, 115 secs
lola: 62107 markings, 198061 edges, 496 markings/sec, 120 secs
lola: 64584 markings, 206119 edges, 495 markings/sec, 125 secs
lola: 67070 markings, 213477 edges, 497 markings/sec, 130 secs
lola: 69554 markings, 220886 edges, 497 markings/sec, 135 secs
lola: 72038 markings, 228625 edges, 497 markings/sec, 140 secs
lola: 74519 markings, 236950 edges, 496 markings/sec, 145 secs
lola: 76994 markings, 245264 edges, 495 markings/sec, 150 secs
lola: 79475 markings, 253140 edges, 496 markings/sec, 155 secs
lola: 81950 markings, 261295 edges, 495 markings/sec, 160 secs
lola: 84449 markings, 268759 edges, 500 markings/sec, 165 secs
lola: 86937 markings, 276080 edges, 498 markings/sec, 170 secs
lola: 89432 markings, 283492 edges, 499 markings/sec, 175 secs
lola: 91920 markings, 291233 edges, 498 markings/sec, 180 secs
lola: 94396 markings, 299225 edges, 495 markings/sec, 185 secs
lola: 96883 markings, 307150 edges, 497 markings/sec, 190 secs
lola: 99365 markings, 314692 edges, 496 markings/sec, 195 secs
lola: 101851 markings, 322087 edges, 497 markings/sec, 200 secs
lola: 104331 markings, 329849 edges, 496 markings/sec, 205 secs
lola: 106807 markings, 337780 edges, 495 markings/sec, 210 secs
lola: 109285 markings, 345883 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__50_34_)
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: 2520 markings, 9322 edges, 504 markings/sec, 0 secs
lola: 5037 markings, 18160 edges, 503 markings/sec, 5 secs
lola: 7557 markings, 26298 edges, 504 markings/sec, 10 secs
lola: 10073 markings, 34503 edges, 503 markings/sec, 15 secs
lola: 12577 markings, 42729 edges, 501 markings/sec, 20 secs
lola: 15082 markings, 50860 edges, 501 markings/sec, 25 secs
lola: 17582 markings, 58743 edges, 500 markings/sec, 30 secs
lola: 20072 markings, 67160 edges, 498 markings/sec, 35 secs
lola: 22565 markings, 75557 edges, 499 markings/sec, 40 secs
lola: 25049 markings, 84161 edges, 497 markings/sec, 45 secs
lola: 27532 markings, 92881 edges, 497 markings/sec, 50 secs
lola: 30012 markings, 101391 edges, 496 markings/sec, 55 secs
lola: 32499 markings, 109875 edges, 497 markings/sec, 60 secs
lola: 34983 markings, 118272 edges, 497 markings/sec, 65 secs
lola: 37473 markings, 126195 edges, 498 markings/sec, 70 secs
lola: 39952 markings, 134372 edges, 496 markings/sec, 75 secs
lola: 42432 markings, 142536 edges, 496 markings/sec, 80 secs
lola: 44910 markings, 150746 edges, 496 markings/sec, 85 secs
lola: 47388 markings, 159532 edges, 496 markings/sec, 90 secs
lola: 49871 markings, 167735 edges, 497 markings/sec, 95 secs
lola: 52355 markings, 175564 edges, 497 markings/sec, 100 secs
lola: 54833 markings, 184021 edges, 496 markings/sec, 105 secs
lola: 57307 markings, 192254 edges, 495 markings/sec, 110 secs
lola: 59799 markings, 200571 edges, 498 markings/sec, 115 secs
lola: 62296 markings, 208813 edges, 499 markings/sec, 120 secs
lola: 64789 markings, 217045 edges, 499 markings/sec, 125 secs
lola: 67276 markings, 225118 edges, 497 markings/sec, 130 secs
lola: 69761 markings, 233550 edges, 497 markings/sec, 135 secs
lola: 72265 markings, 241831 edges, 501 markings/sec, 140 secs
lola: 74774 markings, 250182 edges, 502 markings/sec, 145 secs
lola: 77285 markings, 258649 edges, 502 markings/sec, 150 secs
lola: 79791 markings, 266902 edges, 501 markings/sec, 155 secs
lola: 82292 markings, 275032 edges, 500 markings/sec, 160 secs
lola: 84793 markings, 283082 edges, 500 markings/sec, 165 secs
lola: 87311 markings, 291535 edges, 504 markings/sec, 170 secs
lola: 89822 markings, 299967 edges, 502 markings/sec, 175 secs
lola: 92330 markings, 308745 edges, 502 markings/sec, 180 secs
lola: 94831 markings, 316879 edges, 500 markings/sec, 185 secs
lola: 97352 markings, 324959 edges, 504 markings/sec, 190 secs
lola: 99882 markings, 333568 edges, 506 markings/sec, 195 secs
lola: 102407 markings, 341834 edges, 505 markings/sec, 200 secs
lola: 104924 markings, 350435 edges, 503 markings/sec, 205 secs
lola: 107434 markings, 358669 edges, 502 markings/sec, 210 secs
lola: 109943 markings, 366778 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 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__14_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: 2463 markings, 8559 edges, 493 markings/sec, 0 secs
lola: 4935 markings, 17248 edges, 494 markings/sec, 5 secs
lola: 7415 markings, 25928 edges, 496 markings/sec, 10 secs
lola: 9887 markings, 34789 edges, 494 markings/sec, 15 secs
lola: 12352 markings, 43421 edges, 493 markings/sec, 20 secs
lola: 14824 markings, 51756 edges, 494 markings/sec, 25 secs
lola: 17296 markings, 59370 edges, 494 markings/sec, 30 secs
lola: 19764 markings, 67748 edges, 494 markings/sec, 35 secs
lola: 22229 markings, 76384 edges, 493 markings/sec, 40 secs
lola: 24701 markings, 85026 edges, 494 markings/sec, 45 secs
lola: 27161 markings, 94189 edges, 492 markings/sec, 50 secs
lola: 29628 markings, 103037 edges, 493 markings/sec, 55 secs
lola: 32090 markings, 112113 edges, 492 markings/sec, 60 secs
lola: 34553 markings, 121149 edges, 493 markings/sec, 65 secs
lola: 37028 markings, 129986 edges, 495 markings/sec, 70 secs
lola: 39504 markings, 138357 edges, 495 markings/sec, 75 secs
lola: 41961 markings, 148010 edges, 491 markings/sec, 80 secs
lola: 44430 markings, 156138 edges, 494 markings/sec, 85 secs
lola: 46908 markings, 164231 edges, 496 markings/sec, 90 secs
lola: 49377 markings, 172267 edges, 494 markings/sec, 95 secs
lola: 51845 markings, 181107 edges, 494 markings/sec, 100 secs
lola: 54304 markings, 190479 edges, 492 markings/sec, 105 secs
lola: 56758 markings, 201048 edges, 491 markings/sec, 110 secs
lola: 59224 markings, 209893 edges, 493 markings/sec, 115 secs
lola: 61687 markings, 218970 edges, 493 markings/sec, 120 secs
lola: 64155 markings, 227788 edges, 494 markings/sec, 125 secs
lola: 66622 markings, 236698 edges, 493 markings/sec, 130 secs
lola: 69106 markings, 244873 edges, 497 markings/sec, 135 secs
lola: 71582 markings, 253048 edges, 495 markings/sec, 140 secs
lola: 74053 markings, 261460 edges, 494 markings/sec, 145 secs
lola: 76520 markings, 270766 edges, 493 markings/sec, 150 secs
lola: 79006 markings, 278532 edges, 497 markings/sec, 155 secs
lola: 81488 markings, 286887 edges, 496 markings/sec, 160 secs
lola: 83964 markings, 295333 edges, 495 markings/sec, 165 secs
lola: 86443 markings, 303570 edges, 496 markings/sec, 170 secs
lola: 88899 markings, 312195 edges, 491 markings/sec, 175 secs
lola: 91349 markings, 321980 edges, 490 markings/sec, 180 secs
lola: 93804 markings, 331424 edges, 491 markings/sec, 185 secs
lola: 96254 markings, 340695 edges, 490 markings/sec, 190 secs
lola: 98693 markings, 350440 edges, 488 markings/sec, 195 secs
lola: 101140 markings, 359616 edges, 489 markings/sec, 200 secs
lola: 103603 markings, 368351 edges, 493 markings/sec, 205 secs
lola: 106055 markings, 377829 edges, 490 markings/sec, 210 secs
lola: 108499 markings, 387165 edges, 489 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_35_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2435 markings, 8670 edges, 487 markings/sec, 0 secs
lola: 4905 markings, 17286 edges, 494 markings/sec, 5 secs
lola: 7379 markings, 25998 edges, 495 markings/sec, 10 secs
lola: 9842 markings, 34607 edges, 493 markings/sec, 15 secs
lola: 12312 markings, 43283 edges, 494 markings/sec, 20 secs
lola: 14775 markings, 52079 edges, 493 markings/sec, 25 secs
lola: 17256 markings, 60055 edges, 496 markings/sec, 30 secs
lola: 19733 markings, 68347 edges, 495 markings/sec, 35 secs
lola: 22197 markings, 77618 edges, 493 markings/sec, 40 secs
lola: 24667 markings, 87230 edges, 494 markings/sec, 45 secs
lola: 27153 markings, 95127 edges, 497 markings/sec, 50 secs
lola: 29633 markings, 103767 edges, 496 markings/sec, 55 secs
lola: 32119 markings, 112860 edges, 497 markings/sec, 60 secs
lola: 34607 markings, 121877 edges, 498 markings/sec, 65 secs
lola: 37098 markings, 131003 edges, 498 markings/sec, 70 secs
lola: 39606 markings, 139470 edges, 502 markings/sec, 75 secs
lola: 42108 markings, 148463 edges, 500 markings/sec, 80 secs
lola: 44610 markings, 157410 edges, 500 markings/sec, 85 secs
lola: 47107 markings, 166693 edges, 499 markings/sec, 90 secs
lola: 49611 markings, 175644 edges, 501 markings/sec, 95 secs
lola: 52112 markings, 184400 edges, 500 markings/sec, 100 secs
lola: 54599 markings, 192957 edges, 497 markings/sec, 105 secs
lola: 57087 markings, 201575 edges, 498 markings/sec, 110 secs
lola: 59569 markings, 210421 edges, 496 markings/sec, 115 secs
lola: 62058 markings, 219519 edges, 498 markings/sec, 120 secs
lola: 64542 markings, 228801 edges, 497 markings/sec, 125 secs
lola: 67027 markings, 237859 edges, 497 markings/sec, 130 secs
lola: 69494 markings, 247309 edges, 493 markings/sec, 135 secs
lola: 71956 markings, 256215 edges, 492 markings/sec, 140 secs
lola: 74429 markings, 264834 edges, 495 markings/sec, 145 secs
lola: 76901 markings, 273282 edges, 494 markings/sec, 150 secs
lola: 79370 markings, 281568 edges, 494 markings/sec, 155 secs
lola: 81835 markings, 290958 edges, 493 markings/sec, 160 secs
lola: 84312 markings, 299582 edges, 495 markings/sec, 165 secs
lola: 86794 markings, 308386 edges, 496 markings/sec, 170 secs
lola: 89256 markings, 317068 edges, 492 markings/sec, 175 secs
lola: 91727 markings, 326382 edges, 494 markings/sec, 180 secs
lola: 94192 markings, 335448 edges, 493 markings/sec, 185 secs
lola: 96657 markings, 343923 edges, 493 markings/sec, 190 secs
lola: 99128 markings, 352196 edges, 494 markings/sec, 195 secs
lola: 101594 markings, 360942 edges, 493 markings/sec, 200 secs
lola: 104063 markings, 369894 edges, 494 markings/sec, 205 secs
lola: 106541 markings, 377959 edges, 496 markings/sec, 210 secs
lola: 109011 markings, 386664 edges, 494 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Diffusion2D-PT-D50N150-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496468663286
--------------------
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-D50N150"
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-D50N150.tgz
mv S_Diffusion2D-PT-D50N150 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-D50N150, 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-149488455900434"
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 '
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 ;