fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r098-ebro-149488455900416
Last Updated
June 27, 2017

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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;