About the Execution of LoLA for S_Diffusion2D-PT-D50N050
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
535.160 | 3539581.00 | 3555436.00 | 597.70 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-D50N050, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455900416
=====================================================================
--------------------
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-D50N050-UpperBounds-0
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-1
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-15
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-2
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-3
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-4
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-5
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-6
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-7
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-8
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496463568969
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_Diffusion2D-PT-D50N050: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_Diffusion2D-PT-D50N050: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Diffusion2D-PT-D50N050 @ 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-D50N050-UpperBounds.task
lola: MAX(cAMP__45_5_) : MAX(cAMP__2_14_) : MAX(cAMP__22_35_) : MAX(cAMP__25_3_) : MAX(cAMP__16_10_) : MAX(cAMP__45_27_) : MAX(cAMP__8_38_) : MAX(cAMP__16_14_) : MAX(cAMP__49_16_) : MAX(cAMP__16_35_) : MAX(cAMP__41_48_) : MAX(cAMP__13_33_) : MAX(cAMP__23_11_) : MAX(cAMP__35_22_) : MAX(cAMP__34_50_) : MAX(cAMP__47_30_)
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__45_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2491 markings, 9084 edges, 498 markings/sec, 0 secs
lola: 4981 markings, 17612 edges, 498 markings/sec, 5 secs
lola: 7426 markings, 26162 edges, 489 markings/sec, 10 secs
lola: 9913 markings, 34732 edges, 497 markings/sec, 15 secs
lola: 12399 markings, 43117 edges, 497 markings/sec, 20 secs
lola: 14893 markings, 51517 edges, 499 markings/sec, 25 secs
lola: 17382 markings, 60327 edges, 498 markings/sec, 30 secs
lola: 19869 markings, 68973 edges, 497 markings/sec, 35 secs
lola: 22375 markings, 77259 edges, 501 markings/sec, 40 secs
lola: 24808 markings, 85456 edges, 487 markings/sec, 45 secs
lola: 27281 markings, 94380 edges, 495 markings/sec, 50 secs
lola: 29765 markings, 103575 edges, 497 markings/sec, 55 secs
lola: 32242 markings, 111933 edges, 495 markings/sec, 60 secs
lola: 34725 markings, 120182 edges, 497 markings/sec, 65 secs
lola: 37175 markings, 127421 edges, 490 markings/sec, 70 secs
lola: 39672 markings, 135036 edges, 499 markings/sec, 75 secs
lola: 42167 markings, 142997 edges, 499 markings/sec, 80 secs
lola: 44634 markings, 151097 edges, 493 markings/sec, 85 secs
lola: 47107 markings, 159280 edges, 495 markings/sec, 90 secs
lola: 49607 markings, 167752 edges, 500 markings/sec, 95 secs
lola: 52093 markings, 175618 edges, 497 markings/sec, 100 secs
lola: 54575 markings, 182969 edges, 496 markings/sec, 105 secs
lola: 57056 markings, 190875 edges, 496 markings/sec, 110 secs
lola: 59529 markings, 198882 edges, 495 markings/sec, 115 secs
lola: 62006 markings, 206864 edges, 495 markings/sec, 120 secs
lola: 64471 markings, 215073 edges, 493 markings/sec, 125 secs
lola: 66912 markings, 223409 edges, 488 markings/sec, 130 secs
lola: 69358 markings, 230699 edges, 489 markings/sec, 135 secs
lola: 71818 markings, 238223 edges, 492 markings/sec, 140 secs
lola: 74302 markings, 246123 edges, 497 markings/sec, 145 secs
lola: 76791 markings, 254299 edges, 498 markings/sec, 150 secs
lola: 79282 markings, 262557 edges, 498 markings/sec, 155 secs
lola: 81774 markings, 270931 edges, 498 markings/sec, 160 secs
lola: 84258 markings, 278848 edges, 497 markings/sec, 165 secs
lola: 86738 markings, 286192 edges, 496 markings/sec, 170 secs
lola: 89220 markings, 294074 edges, 496 markings/sec, 175 secs
lola: 91699 markings, 302107 edges, 496 markings/sec, 180 secs
lola: 94188 markings, 310141 edges, 498 markings/sec, 185 secs
lola: 96673 markings, 318408 edges, 497 markings/sec, 190 secs
lola: 99133 markings, 326788 edges, 492 markings/sec, 195 secs
lola: 101607 markings, 334184 edges, 495 markings/sec, 200 secs
lola: 104088 markings, 341719 edges, 496 markings/sec, 205 secs
lola: 106569 markings, 349656 edges, 496 markings/sec, 210 secs
lola: 109054 markings, 357809 edges, 497 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_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: 2453 markings, 9155 edges, 491 markings/sec, 0 secs
lola: 4922 markings, 18264 edges, 494 markings/sec, 5 secs
lola: 7381 markings, 27243 edges, 492 markings/sec, 10 secs
lola: 9850 markings, 35415 edges, 494 markings/sec, 15 secs
lola: 12325 markings, 44062 edges, 495 markings/sec, 20 secs
lola: 14788 markings, 52365 edges, 493 markings/sec, 25 secs
lola: 17259 markings, 60473 edges, 494 markings/sec, 30 secs
lola: 19724 markings, 68616 edges, 493 markings/sec, 35 secs
lola: 22194 markings, 76852 edges, 494 markings/sec, 40 secs
lola: 24662 markings, 84951 edges, 494 markings/sec, 45 secs
lola: 27130 markings, 93016 edges, 494 markings/sec, 50 secs
lola: 29601 markings, 100945 edges, 494 markings/sec, 55 secs
lola: 32071 markings, 109477 edges, 494 markings/sec, 60 secs
lola: 34544 markings, 117835 edges, 495 markings/sec, 65 secs
lola: 37021 markings, 125664 edges, 495 markings/sec, 70 secs
lola: 39496 markings, 134046 edges, 495 markings/sec, 75 secs
lola: 41985 markings, 141809 edges, 498 markings/sec, 80 secs
lola: 44473 markings, 150620 edges, 498 markings/sec, 85 secs
lola: 46962 markings, 159471 edges, 498 markings/sec, 90 secs
lola: 49454 markings, 167588 edges, 498 markings/sec, 95 secs
lola: 51935 markings, 175875 edges, 496 markings/sec, 100 secs
lola: 54395 markings, 184010 edges, 492 markings/sec, 105 secs
lola: 56850 markings, 191843 edges, 491 markings/sec, 110 secs
lola: 59298 markings, 199901 edges, 490 markings/sec, 115 secs
lola: 61733 markings, 208641 edges, 487 markings/sec, 120 secs
lola: 64171 markings, 216855 edges, 488 markings/sec, 125 secs
lola: 66606 markings, 225343 edges, 487 markings/sec, 130 secs
lola: 69047 markings, 232946 edges, 488 markings/sec, 135 secs
lola: 71485 markings, 241275 edges, 488 markings/sec, 140 secs
lola: 73928 markings, 249133 edges, 489 markings/sec, 145 secs
lola: 76373 markings, 256841 edges, 489 markings/sec, 150 secs
lola: 78807 markings, 265072 edges, 487 markings/sec, 155 secs
lola: 81240 markings, 273590 edges, 487 markings/sec, 160 secs
lola: 83691 markings, 281344 edges, 490 markings/sec, 165 secs
lola: 86139 markings, 289270 edges, 490 markings/sec, 170 secs
lola: 88588 markings, 297222 edges, 490 markings/sec, 175 secs
lola: 91028 markings, 305700 edges, 488 markings/sec, 180 secs
lola: 93469 markings, 314308 edges, 488 markings/sec, 185 secs
lola: 95896 markings, 322101 edges, 485 markings/sec, 190 secs
lola: 98345 markings, 329994 edges, 490 markings/sec, 195 secs
lola: 100795 markings, 338691 edges, 490 markings/sec, 200 secs
lola: 103238 markings, 347869 edges, 489 markings/sec, 205 secs
lola: 105696 markings, 356266 edges, 492 markings/sec, 210 secs
lola: 108150 markings, 364345 edges, 491 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__22_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: 2460 markings, 8304 edges, 492 markings/sec, 0 secs
lola: 4921 markings, 16390 edges, 492 markings/sec, 5 secs
lola: 7384 markings, 25018 edges, 493 markings/sec, 10 secs
lola: 9839 markings, 33600 edges, 491 markings/sec, 15 secs
lola: 12290 markings, 42878 edges, 490 markings/sec, 20 secs
lola: 14744 markings, 51403 edges, 491 markings/sec, 25 secs
lola: 17198 markings, 59946 edges, 491 markings/sec, 30 secs
lola: 19649 markings, 69110 edges, 490 markings/sec, 35 secs
lola: 22103 markings, 78229 edges, 491 markings/sec, 40 secs
lola: 24552 markings, 86699 edges, 490 markings/sec, 45 secs
lola: 27006 markings, 95587 edges, 491 markings/sec, 50 secs
lola: 29466 markings, 104732 edges, 492 markings/sec, 55 secs
lola: 31924 markings, 114037 edges, 492 markings/sec, 60 secs
lola: 34381 markings, 123376 edges, 491 markings/sec, 65 secs
lola: 36843 markings, 132259 edges, 492 markings/sec, 70 secs
lola: 39307 markings, 140990 edges, 493 markings/sec, 75 secs
lola: 41776 markings, 149428 edges, 494 markings/sec, 80 secs
lola: 44239 markings, 158524 edges, 493 markings/sec, 85 secs
lola: 46683 markings, 167476 edges, 489 markings/sec, 90 secs
lola: 49137 markings, 176911 edges, 491 markings/sec, 95 secs
lola: 51594 markings, 185980 edges, 491 markings/sec, 100 secs
lola: 54050 markings, 195348 edges, 491 markings/sec, 105 secs
lola: 56507 markings, 205193 edges, 491 markings/sec, 110 secs
lola: 58980 markings, 213483 edges, 495 markings/sec, 115 secs
lola: 61448 markings, 221918 edges, 494 markings/sec, 120 secs
lola: 63912 markings, 230964 edges, 493 markings/sec, 125 secs
lola: 66373 markings, 239993 edges, 492 markings/sec, 130 secs
lola: 68835 markings, 249173 edges, 492 markings/sec, 135 secs
lola: 71295 markings, 258475 edges, 492 markings/sec, 140 secs
lola: 73757 markings, 267361 edges, 492 markings/sec, 145 secs
lola: 76223 markings, 275942 edges, 493 markings/sec, 150 secs
lola: 78686 markings, 284939 edges, 493 markings/sec, 155 secs
lola: 81160 markings, 293334 edges, 495 markings/sec, 160 secs
lola: 83637 markings, 302068 edges, 495 markings/sec, 165 secs
lola: 86114 markings, 310481 edges, 495 markings/sec, 170 secs
lola: 88587 markings, 319465 edges, 495 markings/sec, 175 secs
lola: 91057 markings, 328264 edges, 494 markings/sec, 180 secs
lola: 93520 markings, 338113 edges, 493 markings/sec, 185 secs
lola: 95982 markings, 347424 edges, 492 markings/sec, 190 secs
lola: 98446 markings, 356865 edges, 493 markings/sec, 195 secs
lola: 100916 markings, 365973 edges, 494 markings/sec, 200 secs
lola: 103385 markings, 374510 edges, 494 markings/sec, 205 secs
lola: 105843 markings, 383593 edges, 492 markings/sec, 210 secs
lola: 108317 markings, 392307 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 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__25_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2450 markings, 9164 edges, 490 markings/sec, 0 secs
lola: 4894 markings, 17974 edges, 489 markings/sec, 5 secs
lola: 7332 markings, 26423 edges, 488 markings/sec, 10 secs
lola: 9771 markings, 34427 edges, 488 markings/sec, 15 secs
lola: 12212 markings, 42282 edges, 488 markings/sec, 20 secs
lola: 14654 markings, 50010 edges, 488 markings/sec, 25 secs
lola: 17098 markings, 58381 edges, 489 markings/sec, 30 secs
lola: 19533 markings, 66730 edges, 487 markings/sec, 35 secs
lola: 21981 markings, 74330 edges, 490 markings/sec, 40 secs
lola: 24425 markings, 82928 edges, 489 markings/sec, 45 secs
lola: 26872 markings, 90935 edges, 489 markings/sec, 50 secs
lola: 29317 markings, 98969 edges, 489 markings/sec, 55 secs
lola: 31766 markings, 106756 edges, 490 markings/sec, 60 secs
lola: 34213 markings, 114321 edges, 489 markings/sec, 65 secs
lola: 36648 markings, 122292 edges, 487 markings/sec, 70 secs
lola: 39081 markings, 131013 edges, 487 markings/sec, 75 secs
lola: 41510 markings, 138849 edges, 486 markings/sec, 80 secs
lola: 43934 markings, 146592 edges, 485 markings/sec, 85 secs
lola: 46353 markings, 154578 edges, 484 markings/sec, 90 secs
lola: 48772 markings, 162721 edges, 484 markings/sec, 95 secs
lola: 51188 markings, 170470 edges, 483 markings/sec, 100 secs
lola: 53604 markings, 177911 edges, 483 markings/sec, 105 secs
lola: 56022 markings, 186253 edges, 484 markings/sec, 110 secs
lola: 58439 markings, 194086 edges, 483 markings/sec, 115 secs
lola: 60858 markings, 202044 edges, 484 markings/sec, 120 secs
lola: 63279 markings, 209539 edges, 484 markings/sec, 125 secs
lola: 65699 markings, 218100 edges, 484 markings/sec, 130 secs
lola: 68126 markings, 225640 edges, 485 markings/sec, 135 secs
lola: 70545 markings, 233817 edges, 484 markings/sec, 140 secs
lola: 72964 markings, 241176 edges, 484 markings/sec, 145 secs
lola: 75375 markings, 249361 edges, 482 markings/sec, 150 secs
lola: 77785 markings, 257014 edges, 482 markings/sec, 155 secs
lola: 80198 markings, 265373 edges, 483 markings/sec, 160 secs
lola: 82630 markings, 272944 edges, 486 markings/sec, 165 secs
lola: 85083 markings, 280111 edges, 491 markings/sec, 170 secs
lola: 87529 markings, 286970 edges, 489 markings/sec, 175 secs
lola: 89968 markings, 294349 edges, 488 markings/sec, 180 secs
lola: 92406 markings, 301956 edges, 488 markings/sec, 185 secs
lola: 94826 markings, 310529 edges, 484 markings/sec, 190 secs
lola: 97242 markings, 318242 edges, 483 markings/sec, 195 secs
lola: 99681 markings, 326227 edges, 488 markings/sec, 200 secs
lola: 102126 markings, 334322 edges, 489 markings/sec, 205 secs
lola: 104568 markings, 342665 edges, 488 markings/sec, 210 secs
lola: 107011 markings, 350191 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 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__16_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2432 markings, 8646 edges, 486 markings/sec, 0 secs
lola: 4888 markings, 17070 edges, 491 markings/sec, 5 secs
lola: 7343 markings, 26059 edges, 491 markings/sec, 10 secs
lola: 9799 markings, 35045 edges, 491 markings/sec, 15 secs
lola: 12234 markings, 44173 edges, 487 markings/sec, 20 secs
lola: 14676 markings, 52839 edges, 488 markings/sec, 25 secs
lola: 17126 markings, 61657 edges, 490 markings/sec, 30 secs
lola: 19471 markings, 69904 edges, 469 markings/sec, 35 secs
lola: 21859 markings, 78375 edges, 478 markings/sec, 40 secs
lola: 24287 markings, 87235 edges, 486 markings/sec, 45 secs
lola: 26705 markings, 96220 edges, 484 markings/sec, 50 secs
lola: 29130 markings, 105067 edges, 485 markings/sec, 55 secs
lola: 31569 markings, 113884 edges, 488 markings/sec, 60 secs
lola: 34005 markings, 122661 edges, 487 markings/sec, 65 secs
lola: 36411 markings, 131158 edges, 481 markings/sec, 70 secs
lola: 38849 markings, 139377 edges, 488 markings/sec, 75 secs
lola: 41283 markings, 147806 edges, 487 markings/sec, 80 secs
lola: 43711 markings, 156720 edges, 486 markings/sec, 85 secs
lola: 46138 markings, 165282 edges, 485 markings/sec, 90 secs
lola: 48558 markings, 174023 edges, 484 markings/sec, 95 secs
lola: 50975 markings, 183315 edges, 483 markings/sec, 100 secs
lola: 53393 markings, 192315 edges, 484 markings/sec, 105 secs
lola: 55823 markings, 201411 edges, 486 markings/sec, 110 secs
lola: 58244 markings, 210019 edges, 484 markings/sec, 115 secs
lola: 60657 markings, 219477 edges, 483 markings/sec, 120 secs
lola: 63091 markings, 228479 edges, 487 markings/sec, 125 secs
lola: 65492 markings, 236764 edges, 480 markings/sec, 130 secs
lola: 67919 markings, 245235 edges, 485 markings/sec, 135 secs
lola: 70366 markings, 253813 edges, 489 markings/sec, 140 secs
lola: 72812 markings, 262814 edges, 489 markings/sec, 145 secs
lola: 75259 markings, 271700 edges, 489 markings/sec, 150 secs
lola: 77696 markings, 280620 edges, 487 markings/sec, 155 secs
lola: 80101 markings, 289015 edges, 481 markings/sec, 160 secs
lola: 82524 markings, 298676 edges, 485 markings/sec, 165 secs
lola: 84960 markings, 307723 edges, 487 markings/sec, 170 secs
lola: 87398 markings, 316066 edges, 488 markings/sec, 175 secs
lola: 89829 markings, 324622 edges, 486 markings/sec, 180 secs
lola: 92257 markings, 333927 edges, 486 markings/sec, 185 secs
lola: 94695 markings, 342090 edges, 488 markings/sec, 190 secs
lola: 97143 markings, 350744 edges, 490 markings/sec, 195 secs
lola: 99581 markings, 359293 edges, 488 markings/sec, 200 secs
lola: 102018 markings, 367815 edges, 487 markings/sec, 205 secs
lola: 104452 markings, 376832 edges, 487 markings/sec, 210 secs
lola: 106881 markings, 385599 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 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__45_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: 2506 markings, 8325 edges, 501 markings/sec, 0 secs
lola: 5004 markings, 17765 edges, 500 markings/sec, 5 secs
lola: 7502 markings, 26748 edges, 500 markings/sec, 10 secs
lola: 9988 markings, 36155 edges, 497 markings/sec, 15 secs
lola: 12485 markings, 45178 edges, 499 markings/sec, 20 secs
lola: 14990 markings, 54183 edges, 501 markings/sec, 25 secs
lola: 17508 markings, 63679 edges, 504 markings/sec, 30 secs
lola: 20004 markings, 72657 edges, 499 markings/sec, 35 secs
lola: 22497 markings, 81905 edges, 499 markings/sec, 40 secs
lola: 24990 markings, 91109 edges, 499 markings/sec, 45 secs
lola: 27487 markings, 100135 edges, 499 markings/sec, 50 secs
lola: 29977 markings, 109469 edges, 498 markings/sec, 55 secs
lola: 32467 markings, 117218 edges, 498 markings/sec, 60 secs
lola: 34964 markings, 124870 edges, 499 markings/sec, 65 secs
lola: 37459 markings, 133300 edges, 499 markings/sec, 70 secs
lola: 39929 markings, 141655 edges, 494 markings/sec, 75 secs
lola: 42368 markings, 150107 edges, 488 markings/sec, 80 secs
lola: 44840 markings, 158826 edges, 494 markings/sec, 85 secs
lola: 47324 markings, 167632 edges, 497 markings/sec, 90 secs
lola: 49806 markings, 176377 edges, 496 markings/sec, 95 secs
lola: 52286 markings, 184029 edges, 496 markings/sec, 100 secs
lola: 54763 markings, 192182 edges, 495 markings/sec, 105 secs
lola: 57244 markings, 200098 edges, 496 markings/sec, 110 secs
lola: 59726 markings, 208257 edges, 496 markings/sec, 115 secs
lola: 62212 markings, 216720 edges, 497 markings/sec, 120 secs
lola: 64687 markings, 225185 edges, 495 markings/sec, 125 secs
lola: 67153 markings, 233712 edges, 493 markings/sec, 130 secs
lola: 69627 markings, 241317 edges, 495 markings/sec, 135 secs
lola: 72096 markings, 248900 edges, 494 markings/sec, 140 secs
lola: 74564 markings, 257262 edges, 494 markings/sec, 145 secs
lola: 77030 markings, 265532 edges, 493 markings/sec, 150 secs
lola: 79504 markings, 272978 edges, 495 markings/sec, 155 secs
lola: 81992 markings, 280696 edges, 498 markings/sec, 160 secs
lola: 84482 markings, 288862 edges, 498 markings/sec, 165 secs
lola: 86970 markings, 297114 edges, 498 markings/sec, 170 secs
lola: 89469 markings, 304622 edges, 500 markings/sec, 175 secs
lola: 91961 markings, 312812 edges, 498 markings/sec, 180 secs
lola: 94454 markings, 321115 edges, 499 markings/sec, 185 secs
lola: 96947 markings, 328962 edges, 499 markings/sec, 190 secs
lola: 99442 markings, 336655 edges, 499 markings/sec, 195 secs
lola: 101939 markings, 344616 edges, 499 markings/sec, 200 secs
lola: 104427 markings, 352943 edges, 498 markings/sec, 205 secs
lola: 106943 markings, 360572 edges, 503 markings/sec, 210 secs
lola: 109461 markings, 368717 edges, 504 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_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: 2487 markings, 9007 edges, 497 markings/sec, 0 secs
lola: 4992 markings, 17871 edges, 501 markings/sec, 5 secs
lola: 7481 markings, 27030 edges, 498 markings/sec, 10 secs
lola: 9976 markings, 36375 edges, 499 markings/sec, 15 secs
lola: 12461 markings, 45382 edges, 497 markings/sec, 20 secs
lola: 14907 markings, 54743 edges, 489 markings/sec, 25 secs
lola: 17365 markings, 64190 edges, 492 markings/sec, 30 secs
lola: 19821 markings, 73322 edges, 491 markings/sec, 35 secs
lola: 22274 markings, 82839 edges, 491 markings/sec, 40 secs
lola: 24660 markings, 91682 edges, 477 markings/sec, 45 secs
lola: 27066 markings, 100939 edges, 481 markings/sec, 50 secs
lola: 29465 markings, 110048 edges, 480 markings/sec, 55 secs
lola: 31903 markings, 119205 edges, 488 markings/sec, 60 secs
lola: 34353 markings, 127590 edges, 490 markings/sec, 65 secs
lola: 36800 markings, 136226 edges, 489 markings/sec, 70 secs
lola: 39248 markings, 144656 edges, 490 markings/sec, 75 secs
lola: 41696 markings, 153367 edges, 490 markings/sec, 80 secs
lola: 44153 markings, 161897 edges, 491 markings/sec, 85 secs
lola: 46598 markings, 170108 edges, 489 markings/sec, 90 secs
lola: 49031 markings, 178954 edges, 487 markings/sec, 95 secs
lola: 51476 markings, 187239 edges, 489 markings/sec, 100 secs
lola: 53916 markings, 195453 edges, 488 markings/sec, 105 secs
lola: 56367 markings, 204548 edges, 490 markings/sec, 110 secs
lola: 58809 markings, 212727 edges, 488 markings/sec, 115 secs
lola: 61257 markings, 221063 edges, 490 markings/sec, 120 secs
lola: 63691 markings, 229835 edges, 487 markings/sec, 125 secs
lola: 66128 markings, 238168 edges, 487 markings/sec, 130 secs
lola: 68571 markings, 246525 edges, 489 markings/sec, 135 secs
lola: 70986 markings, 255098 edges, 483 markings/sec, 140 secs
lola: 73418 markings, 263497 edges, 486 markings/sec, 145 secs
lola: 75861 markings, 271843 edges, 489 markings/sec, 150 secs
lola: 78311 markings, 280411 edges, 490 markings/sec, 155 secs
lola: 80754 markings, 289093 edges, 489 markings/sec, 160 secs
lola: 83198 markings, 297392 edges, 489 markings/sec, 165 secs
lola: 85653 markings, 305803 edges, 491 markings/sec, 170 secs
lola: 88084 markings, 314502 edges, 486 markings/sec, 175 secs
lola: 90539 markings, 322942 edges, 491 markings/sec, 180 secs
lola: 92989 markings, 330970 edges, 490 markings/sec, 185 secs
lola: 95444 markings, 339168 edges, 491 markings/sec, 190 secs
lola: 97881 markings, 347481 edges, 487 markings/sec, 195 secs
lola: 100346 markings, 355821 edges, 493 markings/sec, 200 secs
lola: 102781 markings, 364844 edges, 487 markings/sec, 205 secs
lola: 105241 markings, 373261 edges, 492 markings/sec, 210 secs
lola: 107685 markings, 381697 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 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__16_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: 2463 markings, 8615 edges, 493 markings/sec, 0 secs
lola: 4914 markings, 17397 edges, 490 markings/sec, 5 secs
lola: 7364 markings, 26069 edges, 490 markings/sec, 10 secs
lola: 9805 markings, 34897 edges, 488 markings/sec, 15 secs
lola: 12249 markings, 43330 edges, 489 markings/sec, 20 secs
lola: 14700 markings, 51326 edges, 490 markings/sec, 25 secs
lola: 17132 markings, 60299 edges, 486 markings/sec, 30 secs
lola: 19563 markings, 69075 edges, 486 markings/sec, 35 secs
lola: 22006 markings, 78061 edges, 489 markings/sec, 40 secs
lola: 24449 markings, 86957 edges, 489 markings/sec, 45 secs
lola: 26886 markings, 95844 edges, 487 markings/sec, 50 secs
lola: 29341 markings, 104463 edges, 491 markings/sec, 55 secs
lola: 31798 markings, 114399 edges, 491 markings/sec, 60 secs
lola: 34262 markings, 123603 edges, 493 markings/sec, 65 secs
lola: 36739 markings, 133090 edges, 495 markings/sec, 70 secs
lola: 39201 markings, 142597 edges, 492 markings/sec, 75 secs
lola: 41683 markings, 150761 edges, 496 markings/sec, 80 secs
lola: 44165 markings, 159770 edges, 496 markings/sec, 85 secs
lola: 46633 markings, 168314 edges, 494 markings/sec, 90 secs
lola: 49095 markings, 177684 edges, 492 markings/sec, 95 secs
lola: 51553 markings, 187250 edges, 492 markings/sec, 100 secs
lola: 54018 markings, 195982 edges, 493 markings/sec, 105 secs
lola: 56495 markings, 205292 edges, 495 markings/sec, 110 secs
lola: 58978 markings, 214162 edges, 497 markings/sec, 115 secs
lola: 61454 markings, 222690 edges, 495 markings/sec, 120 secs
lola: 63937 markings, 231244 edges, 497 markings/sec, 125 secs
lola: 66422 markings, 239920 edges, 497 markings/sec, 130 secs
lola: 68900 markings, 248734 edges, 496 markings/sec, 135 secs
lola: 71364 markings, 257616 edges, 493 markings/sec, 140 secs
lola: 73812 markings, 266662 edges, 490 markings/sec, 145 secs
lola: 76237 markings, 275806 edges, 485 markings/sec, 150 secs
lola: 78692 markings, 284710 edges, 491 markings/sec, 155 secs
lola: 81154 markings, 294088 edges, 492 markings/sec, 160 secs
lola: 83627 markings, 302446 edges, 495 markings/sec, 165 secs
lola: 86100 markings, 310802 edges, 495 markings/sec, 170 secs
lola: 88576 markings, 319194 edges, 495 markings/sec, 175 secs
lola: 91063 markings, 327885 edges, 497 markings/sec, 180 secs
lola: 93548 markings, 337071 edges, 497 markings/sec, 185 secs
lola: 96028 markings, 346251 edges, 496 markings/sec, 190 secs
lola: 98511 markings, 354781 edges, 497 markings/sec, 195 secs
lola: 100988 markings, 364103 edges, 495 markings/sec, 200 secs
lola: 103448 markings, 373018 edges, 492 markings/sec, 205 secs
lola: 105907 markings, 382202 edges, 492 markings/sec, 210 secs
lola: 108366 markings, 391091 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 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__49_16_)
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: 2494 markings, 9040 edges, 499 markings/sec, 0 secs
lola: 5007 markings, 17645 edges, 503 markings/sec, 5 secs
lola: 7511 markings, 26120 edges, 501 markings/sec, 10 secs
lola: 10010 markings, 34561 edges, 500 markings/sec, 15 secs
lola: 12518 markings, 43280 edges, 502 markings/sec, 20 secs
lola: 15022 markings, 51835 edges, 501 markings/sec, 25 secs
lola: 17522 markings, 60997 edges, 500 markings/sec, 30 secs
lola: 20031 markings, 69857 edges, 502 markings/sec, 35 secs
lola: 22544 markings, 78778 edges, 503 markings/sec, 40 secs
lola: 25061 markings, 87631 edges, 503 markings/sec, 45 secs
lola: 27564 markings, 96423 edges, 501 markings/sec, 50 secs
lola: 30079 markings, 105220 edges, 503 markings/sec, 55 secs
lola: 32575 markings, 113739 edges, 499 markings/sec, 60 secs
lola: 35077 markings, 121945 edges, 500 markings/sec, 65 secs
lola: 37575 markings, 129996 edges, 500 markings/sec, 70 secs
lola: 40071 markings, 138666 edges, 499 markings/sec, 75 secs
lola: 42566 markings, 146959 edges, 499 markings/sec, 80 secs
lola: 45065 markings, 155066 edges, 500 markings/sec, 85 secs
lola: 47578 markings, 163470 edges, 503 markings/sec, 90 secs
lola: 50093 markings, 171515 edges, 503 markings/sec, 95 secs
lola: 52604 markings, 179806 edges, 502 markings/sec, 100 secs
lola: 55109 markings, 188113 edges, 501 markings/sec, 105 secs
lola: 57612 markings, 196579 edges, 501 markings/sec, 110 secs
lola: 60102 markings, 204498 edges, 498 markings/sec, 115 secs
lola: 62584 markings, 212692 edges, 496 markings/sec, 120 secs
lola: 65065 markings, 220984 edges, 496 markings/sec, 125 secs
lola: 67569 markings, 229450 edges, 501 markings/sec, 130 secs
lola: 70077 markings, 237385 edges, 502 markings/sec, 135 secs
lola: 72584 markings, 245680 edges, 501 markings/sec, 140 secs
lola: 75096 markings, 254200 edges, 502 markings/sec, 145 secs
lola: 77608 markings, 262544 edges, 502 markings/sec, 150 secs
lola: 80129 markings, 270536 edges, 504 markings/sec, 155 secs
lola: 82640 markings, 278929 edges, 502 markings/sec, 160 secs
lola: 85164 markings, 287406 edges, 505 markings/sec, 165 secs
lola: 87663 markings, 295743 edges, 500 markings/sec, 170 secs
lola: 90166 markings, 303683 edges, 501 markings/sec, 175 secs
lola: 92665 markings, 311991 edges, 500 markings/sec, 180 secs
lola: 95163 markings, 320466 edges, 500 markings/sec, 185 secs
lola: 97672 markings, 328764 edges, 502 markings/sec, 190 secs
lola: 100177 markings, 336765 edges, 501 markings/sec, 195 secs
lola: 102672 markings, 345095 edges, 499 markings/sec, 200 secs
lola: 105186 markings, 353580 edges, 503 markings/sec, 205 secs
lola: 107690 markings, 361937 edges, 501 markings/sec, 210 secs
lola: 110181 markings, 371136 edges, 498 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__16_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: 2471 markings, 8314 edges, 494 markings/sec, 0 secs
lola: 4953 markings, 17012 edges, 496 markings/sec, 5 secs
lola: 7434 markings, 25864 edges, 496 markings/sec, 10 secs
lola: 9914 markings, 33338 edges, 496 markings/sec, 15 secs
lola: 12390 markings, 41701 edges, 495 markings/sec, 20 secs
lola: 14867 markings, 49524 edges, 495 markings/sec, 25 secs
lola: 17341 markings, 58104 edges, 495 markings/sec, 30 secs
lola: 19822 markings, 65123 edges, 496 markings/sec, 35 secs
lola: 22308 markings, 72066 edges, 497 markings/sec, 40 secs
lola: 24783 markings, 79901 edges, 495 markings/sec, 45 secs
lola: 27260 markings, 87413 edges, 495 markings/sec, 50 secs
lola: 29744 markings, 94678 edges, 497 markings/sec, 55 secs
lola: 32227 markings, 102742 edges, 497 markings/sec, 60 secs
lola: 34711 markings, 111095 edges, 497 markings/sec, 65 secs
lola: 37177 markings, 119236 edges, 493 markings/sec, 70 secs
lola: 39631 markings, 126659 edges, 491 markings/sec, 75 secs
lola: 42054 markings, 134288 edges, 485 markings/sec, 80 secs
lola: 44500 markings, 141519 edges, 489 markings/sec, 85 secs
lola: 46944 markings, 148427 edges, 489 markings/sec, 90 secs
lola: 49392 markings, 154858 edges, 490 markings/sec, 95 secs
lola: 51842 markings, 161410 edges, 490 markings/sec, 100 secs
lola: 54247 markings, 168202 edges, 481 markings/sec, 105 secs
lola: 56667 markings, 175749 edges, 484 markings/sec, 110 secs
lola: 59095 markings, 182565 edges, 486 markings/sec, 115 secs
lola: 61530 markings, 189328 edges, 487 markings/sec, 120 secs
lola: 63973 markings, 196186 edges, 489 markings/sec, 125 secs
lola: 66421 markings, 203314 edges, 490 markings/sec, 130 secs
lola: 68853 markings, 211052 edges, 486 markings/sec, 135 secs
lola: 71289 markings, 218483 edges, 487 markings/sec, 140 secs
lola: 73730 markings, 226021 edges, 488 markings/sec, 145 secs
lola: 76165 markings, 233267 edges, 487 markings/sec, 150 secs
lola: 78595 markings, 240772 edges, 486 markings/sec, 155 secs
lola: 81035 markings, 247658 edges, 488 markings/sec, 160 secs
lola: 83471 markings, 254667 edges, 487 markings/sec, 165 secs
lola: 85914 markings, 261988 edges, 489 markings/sec, 170 secs
lola: 88363 markings, 269119 edges, 490 markings/sec, 175 secs
lola: 90818 markings, 275821 edges, 491 markings/sec, 180 secs
lola: 93278 markings, 282982 edges, 492 markings/sec, 185 secs
lola: 95721 markings, 291176 edges, 489 markings/sec, 190 secs
lola: 98167 markings, 298933 edges, 489 markings/sec, 195 secs
lola: 100622 markings, 307651 edges, 491 markings/sec, 200 secs
lola: 103073 markings, 315828 edges, 490 markings/sec, 205 secs
lola: 105547 markings, 323108 edges, 495 markings/sec, 210 secs
lola: 108021 markings, 330836 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 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__41_48_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2488 markings, 8899 edges, 498 markings/sec, 0 secs
lola: 4986 markings, 17380 edges, 500 markings/sec, 5 secs
lola: 7489 markings, 25548 edges, 501 markings/sec, 10 secs
lola: 9983 markings, 33700 edges, 499 markings/sec, 15 secs
lola: 12483 markings, 41771 edges, 500 markings/sec, 20 secs
lola: 14987 markings, 50048 edges, 501 markings/sec, 25 secs
lola: 17491 markings, 57809 edges, 501 markings/sec, 30 secs
lola: 19995 markings, 65866 edges, 501 markings/sec, 35 secs
lola: 22498 markings, 74420 edges, 501 markings/sec, 40 secs
lola: 24999 markings, 83362 edges, 500 markings/sec, 45 secs
lola: 27500 markings, 92749 edges, 500 markings/sec, 50 secs
lola: 30010 markings, 100963 edges, 502 markings/sec, 55 secs
lola: 32511 markings, 108741 edges, 500 markings/sec, 60 secs
lola: 35014 markings, 116763 edges, 501 markings/sec, 65 secs
lola: 37505 markings, 125125 edges, 498 markings/sec, 70 secs
lola: 40000 markings, 133613 edges, 499 markings/sec, 75 secs
lola: 42505 markings, 141218 edges, 501 markings/sec, 80 secs
lola: 45004 markings, 149440 edges, 500 markings/sec, 85 secs
lola: 47506 markings, 157345 edges, 500 markings/sec, 90 secs
lola: 50009 markings, 165052 edges, 501 markings/sec, 95 secs
lola: 52518 markings, 173501 edges, 502 markings/sec, 100 secs
lola: 55016 markings, 181398 edges, 500 markings/sec, 105 secs
lola: 57509 markings, 190268 edges, 499 markings/sec, 110 secs
lola: 60008 markings, 198334 edges, 500 markings/sec, 115 secs
lola: 62497 markings, 206530 edges, 498 markings/sec, 120 secs
lola: 64997 markings, 214514 edges, 500 markings/sec, 125 secs
lola: 67505 markings, 222148 edges, 502 markings/sec, 130 secs
lola: 70003 markings, 230481 edges, 500 markings/sec, 135 secs
lola: 72501 markings, 238626 edges, 500 markings/sec, 140 secs
lola: 74995 markings, 247425 edges, 499 markings/sec, 145 secs
lola: 77486 markings, 255369 edges, 498 markings/sec, 150 secs
lola: 79980 markings, 263233 edges, 499 markings/sec, 155 secs
lola: 82464 markings, 271539 edges, 497 markings/sec, 160 secs
lola: 84950 markings, 279871 edges, 497 markings/sec, 165 secs
lola: 87432 markings, 288706 edges, 496 markings/sec, 170 secs
lola: 89927 markings, 297219 edges, 499 markings/sec, 175 secs
lola: 92411 markings, 306072 edges, 497 markings/sec, 180 secs
lola: 94895 markings, 314840 edges, 497 markings/sec, 185 secs
lola: 97401 markings, 322828 edges, 501 markings/sec, 190 secs
lola: 99903 markings, 330842 edges, 500 markings/sec, 195 secs
lola: 102382 markings, 339543 edges, 496 markings/sec, 200 secs
lola: 104858 markings, 346904 edges, 495 markings/sec, 205 secs
lola: 107327 markings, 355542 edges, 494 markings/sec, 210 secs
lola: 109792 markings, 363541 edges, 493 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__13_33_)
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: 2458 markings, 8641 edges, 492 markings/sec, 0 secs
lola: 4927 markings, 17325 edges, 494 markings/sec, 5 secs
lola: 7404 markings, 25805 edges, 495 markings/sec, 10 secs
lola: 9880 markings, 34320 edges, 495 markings/sec, 15 secs
lola: 12346 markings, 42790 edges, 493 markings/sec, 20 secs
lola: 14817 markings, 51300 edges, 494 markings/sec, 25 secs
lola: 17290 markings, 59715 edges, 495 markings/sec, 30 secs
lola: 19765 markings, 68190 edges, 495 markings/sec, 35 secs
lola: 22236 markings, 76822 edges, 494 markings/sec, 40 secs
lola: 24701 markings, 85397 edges, 493 markings/sec, 45 secs
lola: 27162 markings, 93958 edges, 492 markings/sec, 50 secs
lola: 29624 markings, 102636 edges, 492 markings/sec, 55 secs
lola: 32086 markings, 110825 edges, 492 markings/sec, 60 secs
lola: 34554 markings, 119539 edges, 494 markings/sec, 65 secs
lola: 37022 markings, 128156 edges, 494 markings/sec, 70 secs
lola: 39504 markings, 136711 edges, 496 markings/sec, 75 secs
lola: 41995 markings, 145122 edges, 498 markings/sec, 80 secs
lola: 44486 markings, 153368 edges, 498 markings/sec, 85 secs
lola: 46971 markings, 162592 edges, 497 markings/sec, 90 secs
lola: 49466 markings, 171167 edges, 499 markings/sec, 95 secs
lola: 51961 markings, 179875 edges, 499 markings/sec, 100 secs
lola: 54455 markings, 188254 edges, 499 markings/sec, 105 secs
lola: 56955 markings, 197235 edges, 500 markings/sec, 110 secs
lola: 59459 markings, 206092 edges, 501 markings/sec, 115 secs
lola: 61971 markings, 214781 edges, 502 markings/sec, 120 secs
lola: 64484 markings, 223522 edges, 503 markings/sec, 125 secs
lola: 66996 markings, 232190 edges, 502 markings/sec, 130 secs
lola: 69511 markings, 240937 edges, 503 markings/sec, 135 secs
lola: 72021 markings, 249694 edges, 502 markings/sec, 140 secs
lola: 74533 markings, 258553 edges, 502 markings/sec, 145 secs
lola: 77041 markings, 267010 edges, 502 markings/sec, 150 secs
lola: 79546 markings, 275688 edges, 501 markings/sec, 155 secs
lola: 82056 markings, 284636 edges, 502 markings/sec, 160 secs
lola: 84558 markings, 292842 edges, 500 markings/sec, 165 secs
lola: 87059 markings, 301471 edges, 500 markings/sec, 170 secs
lola: 89557 markings, 310769 edges, 500 markings/sec, 175 secs
lola: 92058 markings, 319309 edges, 500 markings/sec, 180 secs
lola: 94497 markings, 327345 edges, 488 markings/sec, 185 secs
lola: 96976 markings, 335978 edges, 496 markings/sec, 190 secs
lola: 99458 markings, 344504 edges, 496 markings/sec, 195 secs
lola: 101935 markings, 353118 edges, 495 markings/sec, 200 secs
lola: 104417 markings, 361605 edges, 496 markings/sec, 205 secs
lola: 106904 markings, 370086 edges, 497 markings/sec, 210 secs
lola: 109394 markings, 378766 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__23_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2448 markings, 8615 edges, 490 markings/sec, 0 secs
lola: 4897 markings, 17361 edges, 490 markings/sec, 5 secs
lola: 7352 markings, 26192 edges, 491 markings/sec, 10 secs
lola: 9800 markings, 34946 edges, 490 markings/sec, 15 secs
lola: 12249 markings, 43997 edges, 490 markings/sec, 20 secs
lola: 14701 markings, 52744 edges, 490 markings/sec, 25 secs
lola: 17161 markings, 61586 edges, 492 markings/sec, 30 secs
lola: 19619 markings, 70668 edges, 492 markings/sec, 35 secs
lola: 22062 markings, 79340 edges, 489 markings/sec, 40 secs
lola: 24515 markings, 88214 edges, 491 markings/sec, 45 secs
lola: 26964 markings, 96256 edges, 490 markings/sec, 50 secs
lola: 29412 markings, 104830 edges, 490 markings/sec, 55 secs
lola: 31861 markings, 113589 edges, 490 markings/sec, 60 secs
lola: 34315 markings, 122059 edges, 491 markings/sec, 65 secs
lola: 36772 markings, 130343 edges, 491 markings/sec, 70 secs
lola: 39224 markings, 139062 edges, 490 markings/sec, 75 secs
lola: 41669 markings, 148202 edges, 489 markings/sec, 80 secs
lola: 44121 markings, 157416 edges, 490 markings/sec, 85 secs
lola: 46565 markings, 167384 edges, 489 markings/sec, 90 secs
lola: 49016 markings, 176149 edges, 490 markings/sec, 95 secs
lola: 51460 markings, 185936 edges, 489 markings/sec, 100 secs
lola: 53913 markings, 195192 edges, 491 markings/sec, 105 secs
lola: 56358 markings, 204642 edges, 489 markings/sec, 110 secs
lola: 58795 markings, 214730 edges, 487 markings/sec, 115 secs
lola: 61240 markings, 224681 edges, 489 markings/sec, 120 secs
lola: 63695 markings, 234044 edges, 491 markings/sec, 125 secs
lola: 66169 markings, 242114 edges, 495 markings/sec, 130 secs
lola: 68634 markings, 251184 edges, 493 markings/sec, 135 secs
lola: 71097 markings, 260359 edges, 493 markings/sec, 140 secs
lola: 73556 markings, 269913 edges, 492 markings/sec, 145 secs
lola: 76020 markings, 279323 edges, 493 markings/sec, 150 secs
lola: 78481 markings, 289138 edges, 492 markings/sec, 155 secs
lola: 80947 markings, 298072 edges, 493 markings/sec, 160 secs
lola: 83408 markings, 306895 edges, 492 markings/sec, 165 secs
lola: 85866 markings, 315483 edges, 492 markings/sec, 170 secs
lola: 88322 markings, 323854 edges, 491 markings/sec, 175 secs
lola: 90780 markings, 332058 edges, 492 markings/sec, 180 secs
lola: 93231 markings, 341032 edges, 490 markings/sec, 185 secs
lola: 95688 markings, 349518 edges, 491 markings/sec, 190 secs
lola: 98145 markings, 358664 edges, 491 markings/sec, 195 secs
lola: 100591 markings, 367901 edges, 489 markings/sec, 200 secs
lola: 103037 markings, 377442 edges, 489 markings/sec, 205 secs
lola: 105499 markings, 385891 edges, 492 markings/sec, 210 secs
lola: 107962 markings, 394151 edges, 493 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__35_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: 2482 markings, 8505 edges, 496 markings/sec, 0 secs
lola: 4967 markings, 17266 edges, 497 markings/sec, 5 secs
lola: 7450 markings, 25823 edges, 497 markings/sec, 10 secs
lola: 9923 markings, 34562 edges, 495 markings/sec, 15 secs
lola: 12408 markings, 42777 edges, 497 markings/sec, 20 secs
lola: 14883 markings, 51286 edges, 495 markings/sec, 25 secs
lola: 17358 markings, 59755 edges, 495 markings/sec, 30 secs
lola: 19827 markings, 68543 edges, 494 markings/sec, 35 secs
lola: 22296 markings, 77623 edges, 494 markings/sec, 40 secs
lola: 24757 markings, 87224 edges, 492 markings/sec, 45 secs
lola: 27201 markings, 96756 edges, 489 markings/sec, 50 secs
lola: 29649 markings, 106881 edges, 490 markings/sec, 55 secs
lola: 32113 markings, 115828 edges, 493 markings/sec, 60 secs
lola: 34579 markings, 125248 edges, 493 markings/sec, 65 secs
lola: 37042 markings, 135698 edges, 493 markings/sec, 70 secs
lola: 39511 markings, 144763 edges, 494 markings/sec, 75 secs
lola: 41990 markings, 153002 edges, 496 markings/sec, 80 secs
lola: 44464 markings, 161541 edges, 495 markings/sec, 85 secs
lola: 46941 markings, 170020 edges, 495 markings/sec, 90 secs
lola: 49417 markings, 177895 edges, 495 markings/sec, 95 secs
lola: 51894 markings, 186086 edges, 495 markings/sec, 100 secs
lola: 54374 markings, 194771 edges, 496 markings/sec, 105 secs
lola: 56846 markings, 203149 edges, 494 markings/sec, 110 secs
lola: 59319 markings, 211736 edges, 495 markings/sec, 115 secs
lola: 61789 markings, 220385 edges, 494 markings/sec, 120 secs
lola: 64261 markings, 229058 edges, 494 markings/sec, 125 secs
lola: 66722 markings, 238283 edges, 492 markings/sec, 130 secs
lola: 69202 markings, 246409 edges, 496 markings/sec, 135 secs
lola: 71676 markings, 254744 edges, 495 markings/sec, 140 secs
lola: 74151 markings, 263538 edges, 495 markings/sec, 145 secs
lola: 76616 markings, 272926 edges, 493 markings/sec, 150 secs
lola: 79076 markings, 282465 edges, 492 markings/sec, 155 secs
lola: 81541 markings, 292101 edges, 493 markings/sec, 160 secs
lola: 84008 markings, 300882 edges, 493 markings/sec, 165 secs
lola: 86481 markings, 309038 edges, 495 markings/sec, 170 secs
lola: 88952 markings, 317826 edges, 494 markings/sec, 175 secs
lola: 91419 markings, 326595 edges, 493 markings/sec, 180 secs
lola: 93876 markings, 335462 edges, 491 markings/sec, 185 secs
lola: 96340 markings, 344952 edges, 493 markings/sec, 190 secs
lola: 98802 markings, 354166 edges, 492 markings/sec, 195 secs
lola: 101261 markings, 363774 edges, 492 markings/sec, 200 secs
lola: 103737 markings, 372850 edges, 495 markings/sec, 205 secs
lola: 106220 markings, 380502 edges, 497 markings/sec, 210 secs
lola: 108690 markings, 388626 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 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__34_50_)
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: 2468 markings, 8758 edges, 494 markings/sec, 0 secs
lola: 4951 markings, 17221 edges, 497 markings/sec, 5 secs
lola: 7429 markings, 25831 edges, 496 markings/sec, 10 secs
lola: 9914 markings, 34435 edges, 497 markings/sec, 15 secs
lola: 12394 markings, 43018 edges, 496 markings/sec, 20 secs
lola: 14881 markings, 51616 edges, 497 markings/sec, 25 secs
lola: 17363 markings, 60224 edges, 496 markings/sec, 30 secs
lola: 19844 markings, 68787 edges, 496 markings/sec, 35 secs
lola: 22317 markings, 76973 edges, 495 markings/sec, 40 secs
lola: 24794 markings, 85529 edges, 495 markings/sec, 45 secs
lola: 27274 markings, 94436 edges, 496 markings/sec, 50 secs
lola: 29754 markings, 103329 edges, 496 markings/sec, 55 secs
lola: 32240 markings, 111620 edges, 497 markings/sec, 60 secs
lola: 34725 markings, 120129 edges, 497 markings/sec, 65 secs
lola: 37214 markings, 128611 edges, 498 markings/sec, 70 secs
lola: 39700 markings, 137302 edges, 497 markings/sec, 75 secs
lola: 42175 markings, 146037 edges, 495 markings/sec, 80 secs
lola: 44650 markings, 154527 edges, 495 markings/sec, 85 secs
lola: 47130 markings, 162831 edges, 496 markings/sec, 90 secs
lola: 49628 markings, 171179 edges, 500 markings/sec, 95 secs
lola: 52095 markings, 179364 edges, 493 markings/sec, 100 secs
lola: 54546 markings, 187960 edges, 490 markings/sec, 105 secs
lola: 57000 markings, 196358 edges, 491 markings/sec, 110 secs
lola: 59467 markings, 204661 edges, 493 markings/sec, 115 secs
lola: 61931 markings, 212806 edges, 493 markings/sec, 120 secs
lola: 64390 markings, 221505 edges, 492 markings/sec, 125 secs
lola: 66854 markings, 229872 edges, 493 markings/sec, 130 secs
lola: 69325 markings, 238143 edges, 494 markings/sec, 135 secs
lola: 71785 markings, 246623 edges, 492 markings/sec, 140 secs
lola: 74250 markings, 255028 edges, 493 markings/sec, 145 secs
lola: 76720 markings, 263446 edges, 494 markings/sec, 150 secs
lola: 79201 markings, 271634 edges, 496 markings/sec, 155 secs
lola: 81683 markings, 280386 edges, 496 markings/sec, 160 secs
lola: 84168 markings, 288845 edges, 497 markings/sec, 165 secs
lola: 86642 markings, 297121 edges, 495 markings/sec, 170 secs
lola: 89118 markings, 305689 edges, 495 markings/sec, 175 secs
lola: 91601 markings, 314103 edges, 497 markings/sec, 180 secs
lola: 94072 markings, 322547 edges, 494 markings/sec, 185 secs
lola: 96555 markings, 330763 edges, 497 markings/sec, 190 secs
lola: 99031 markings, 339516 edges, 495 markings/sec, 195 secs
lola: 101515 markings, 347928 edges, 497 markings/sec, 200 secs
lola: 104001 markings, 356296 edges, 497 markings/sec, 205 secs
lola: 106476 markings, 364855 edges, 495 markings/sec, 210 secs
lola: 108956 markings, 373259 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 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__47_30_)
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, 9141 edges, 494 markings/sec, 0 secs
lola: 4954 markings, 18226 edges, 497 markings/sec, 5 secs
lola: 7436 markings, 26676 edges, 496 markings/sec, 10 secs
lola: 9910 markings, 35679 edges, 495 markings/sec, 15 secs
lola: 12393 markings, 44044 edges, 497 markings/sec, 20 secs
lola: 14905 markings, 53226 edges, 502 markings/sec, 25 secs
lola: 17384 markings, 61871 edges, 496 markings/sec, 30 secs
lola: 19865 markings, 70752 edges, 496 markings/sec, 35 secs
lola: 22334 markings, 79131 edges, 494 markings/sec, 40 secs
lola: 24821 markings, 88233 edges, 497 markings/sec, 45 secs
lola: 27304 markings, 96609 edges, 497 markings/sec, 50 secs
lola: 29780 markings, 104530 edges, 495 markings/sec, 55 secs
lola: 32250 markings, 113054 edges, 494 markings/sec, 60 secs
lola: 34716 markings, 121860 edges, 493 markings/sec, 65 secs
lola: 37178 markings, 130832 edges, 492 markings/sec, 70 secs
lola: 39655 markings, 139328 edges, 495 markings/sec, 75 secs
lola: 42148 markings, 147432 edges, 499 markings/sec, 80 secs
lola: 44634 markings, 156283 edges, 497 markings/sec, 85 secs
lola: 47116 markings, 165400 edges, 496 markings/sec, 90 secs
lola: 49582 markings, 174219 edges, 493 markings/sec, 95 secs
lola: 52041 markings, 182426 edges, 492 markings/sec, 100 secs
lola: 54501 markings, 190743 edges, 492 markings/sec, 105 secs
lola: 56955 markings, 199636 edges, 491 markings/sec, 110 secs
lola: 59413 markings, 208219 edges, 492 markings/sec, 115 secs
lola: 61869 markings, 216846 edges, 491 markings/sec, 120 secs
lola: 64331 markings, 225092 edges, 492 markings/sec, 125 secs
lola: 66785 markings, 233525 edges, 491 markings/sec, 130 secs
lola: 69235 markings, 242177 edges, 490 markings/sec, 135 secs
lola: 71686 markings, 250795 edges, 490 markings/sec, 140 secs
lola: 74140 markings, 260140 edges, 491 markings/sec, 145 secs
lola: 76591 markings, 269184 edges, 490 markings/sec, 150 secs
lola: 79047 markings, 277758 edges, 491 markings/sec, 155 secs
lola: 81511 markings, 286335 edges, 493 markings/sec, 160 secs
lola: 83969 markings, 295005 edges, 492 markings/sec, 165 secs
lola: 86417 markings, 304236 edges, 490 markings/sec, 170 secs
lola: 88868 markings, 313200 edges, 490 markings/sec, 175 secs
lola: 91311 markings, 322432 edges, 489 markings/sec, 180 secs
lola: 93759 markings, 331898 edges, 490 markings/sec, 185 secs
lola: 96214 markings, 341499 edges, 491 markings/sec, 190 secs
lola: 98679 markings, 349923 edges, 493 markings/sec, 195 secs
lola: 101146 markings, 358332 edges, 493 markings/sec, 200 secs
lola: 103608 markings, 367105 edges, 492 markings/sec, 205 secs
lola: 106071 markings, 375923 edges, 493 markings/sec, 210 secs
lola: 108536 markings, 384716 edges, 493 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Diffusion2D-PT-D50N050-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N050-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N050-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N050-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N050-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N050-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N050-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N050-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N050-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N050-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N050-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N050-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N050-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N050-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N050-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N050-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496467108550
--------------------
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-D50N050"
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-D50N050.tgz
mv S_Diffusion2D-PT-D50N050 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-D50N050, 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-149488455900416"
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 ;