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

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Diffusion2D-PT-D50N100-UpperBounds-0
FORMULA_NAME Diffusion2D-PT-D50N100-UpperBounds-1
FORMULA_NAME Diffusion2D-PT-D50N100-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D50N100-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D50N100-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D50N100-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D50N100-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D50N100-UpperBounds-15
FORMULA_NAME Diffusion2D-PT-D50N100-UpperBounds-2
FORMULA_NAME Diffusion2D-PT-D50N100-UpperBounds-3
FORMULA_NAME Diffusion2D-PT-D50N100-UpperBounds-4
FORMULA_NAME Diffusion2D-PT-D50N100-UpperBounds-5
FORMULA_NAME Diffusion2D-PT-D50N100-UpperBounds-6
FORMULA_NAME Diffusion2D-PT-D50N100-UpperBounds-7
FORMULA_NAME Diffusion2D-PT-D50N100-UpperBounds-8
FORMULA_NAME Diffusion2D-PT-D50N100-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494640206074


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Diffusion2D-PT-D50N100 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 21904/65536 symbol table entries, 8280 collisions
lola: preprocessing...
lola: finding significant places
lola: 2500 places, 19404 transitions, 2499 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2500 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D50N100-UpperBounds.task
lola: MAX(cAMP__5_4_) : MAX(cAMP__23_27_) : MAX(cAMP__37_6_) : MAX(cAMP__22_45_) : MAX(cAMP__10_15_) : MAX(cAMP__42_12_) : MAX(cAMP__48_46_) : MAX(cAMP__18_7_) : MAX(cAMP__1_2_) : MAX(cAMP__44_3_) : MAX(cAMP__46_40_) : MAX(cAMP__29_10_) : MAX(cAMP__40_4_) : MAX(cAMP__1_22_) : MAX(cAMP__39_32_) : MAX(cAMP__15_44_)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2460 markings, 8941 edges, 492 markings/sec, 0 secs
lola: 4939 markings, 16073 edges, 496 markings/sec, 5 secs
lola: 7414 markings, 23369 edges, 495 markings/sec, 10 secs
lola: 9905 markings, 30801 edges, 498 markings/sec, 15 secs
lola: 12355 markings, 38523 edges, 490 markings/sec, 20 secs
lola: 14799 markings, 45828 edges, 489 markings/sec, 25 secs
lola: 17227 markings, 53822 edges, 486 markings/sec, 30 secs
lola: 19609 markings, 61104 edges, 476 markings/sec, 35 secs
lola: 22022 markings, 68796 edges, 483 markings/sec, 40 secs
lola: 24472 markings, 76878 edges, 490 markings/sec, 45 secs
lola: 26912 markings, 85169 edges, 488 markings/sec, 50 secs
lola: 29361 markings, 93183 edges, 490 markings/sec, 55 secs
lola: 31798 markings, 100783 edges, 487 markings/sec, 60 secs
lola: 34267 markings, 108409 edges, 494 markings/sec, 65 secs
lola: 36739 markings, 116160 edges, 494 markings/sec, 70 secs
lola: 39200 markings, 123888 edges, 492 markings/sec, 75 secs
lola: 41638 markings, 131490 edges, 488 markings/sec, 80 secs
lola: 44078 markings, 139475 edges, 488 markings/sec, 85 secs
lola: 46561 markings, 147571 edges, 497 markings/sec, 90 secs
lola: 49044 markings, 155487 edges, 497 markings/sec, 95 secs
lola: 51526 markings, 163761 edges, 496 markings/sec, 100 secs
lola: 54010 markings, 171991 edges, 497 markings/sec, 105 secs
lola: 56496 markings, 179528 edges, 497 markings/sec, 110 secs
lola: 58996 markings, 187164 edges, 500 markings/sec, 115 secs
lola: 61485 markings, 195190 edges, 498 markings/sec, 120 secs
lola: 63971 markings, 203328 edges, 497 markings/sec, 125 secs
lola: 66452 markings, 212103 edges, 496 markings/sec, 130 secs
lola: 68917 markings, 219795 edges, 493 markings/sec, 135 secs
lola: 71376 markings, 227390 edges, 492 markings/sec, 140 secs
lola: 73833 markings, 235172 edges, 491 markings/sec, 145 secs
lola: 76287 markings, 243153 edges, 491 markings/sec, 150 secs
lola: 78731 markings, 251549 edges, 489 markings/sec, 155 secs
lola: 81180 markings, 260111 edges, 490 markings/sec, 160 secs
lola: 83623 markings, 268923 edges, 489 markings/sec, 165 secs
lola: 86064 markings, 278152 edges, 488 markings/sec, 170 secs
lola: 88510 markings, 285439 edges, 489 markings/sec, 175 secs
lola: 90956 markings, 293044 edges, 489 markings/sec, 180 secs
lola: 93401 markings, 301148 edges, 489 markings/sec, 185 secs
lola: 95856 markings, 308986 edges, 491 markings/sec, 190 secs
lola: 98305 markings, 316664 edges, 490 markings/sec, 195 secs
lola: 100728 markings, 324491 edges, 485 markings/sec, 200 secs
lola: 103186 markings, 331997 edges, 492 markings/sec, 205 secs
lola: 105636 markings, 339981 edges, 490 markings/sec, 210 secs
lola: 108085 markings, 348343 edges, 490 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__23_27_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2449 markings, 6633 edges, 490 markings/sec, 0 secs
lola: 4894 markings, 14012 edges, 489 markings/sec, 5 secs
lola: 7335 markings, 21672 edges, 488 markings/sec, 10 secs
lola: 9779 markings, 29377 edges, 489 markings/sec, 15 secs
lola: 12221 markings, 37758 edges, 488 markings/sec, 20 secs
lola: 14671 markings, 44734 edges, 490 markings/sec, 25 secs
lola: 17116 markings, 52150 edges, 489 markings/sec, 30 secs
lola: 19553 markings, 60611 edges, 487 markings/sec, 35 secs
lola: 21997 markings, 68094 edges, 489 markings/sec, 40 secs
lola: 24440 markings, 75386 edges, 489 markings/sec, 45 secs
lola: 26866 markings, 83860 edges, 485 markings/sec, 50 secs
lola: 29284 markings, 91110 edges, 484 markings/sec, 55 secs
lola: 31695 markings, 98935 edges, 482 markings/sec, 60 secs
lola: 34100 markings, 107192 edges, 481 markings/sec, 65 secs
lola: 36478 markings, 115330 edges, 476 markings/sec, 70 secs
lola: 38911 markings, 124768 edges, 487 markings/sec, 75 secs
lola: 41353 markings, 132786 edges, 488 markings/sec, 80 secs
lola: 43794 markings, 142087 edges, 488 markings/sec, 85 secs
lola: 46232 markings, 151322 edges, 488 markings/sec, 90 secs
lola: 48667 markings, 160627 edges, 487 markings/sec, 95 secs
lola: 51104 markings, 169990 edges, 487 markings/sec, 100 secs
lola: 53544 markings, 178056 edges, 488 markings/sec, 105 secs
lola: 55983 markings, 185988 edges, 488 markings/sec, 110 secs
lola: 58438 markings, 193429 edges, 491 markings/sec, 115 secs
lola: 60898 markings, 200902 edges, 492 markings/sec, 120 secs
lola: 63354 markings, 209704 edges, 491 markings/sec, 125 secs
lola: 65802 markings, 219774 edges, 490 markings/sec, 130 secs
lola: 68254 markings, 228686 edges, 490 markings/sec, 135 secs
lola: 70696 markings, 235444 edges, 488 markings/sec, 140 secs
lola: 73139 markings, 242418 edges, 489 markings/sec, 145 secs
lola: 75583 markings, 250290 edges, 489 markings/sec, 150 secs
lola: 78024 markings, 257928 edges, 488 markings/sec, 155 secs
lola: 80459 markings, 266144 edges, 487 markings/sec, 160 secs
lola: 82891 markings, 274741 edges, 486 markings/sec, 165 secs
lola: 85335 markings, 283128 edges, 489 markings/sec, 170 secs
lola: 87783 markings, 290747 edges, 490 markings/sec, 175 secs
lola: 90224 markings, 298524 edges, 488 markings/sec, 180 secs
lola: 92658 markings, 306697 edges, 487 markings/sec, 185 secs
lola: 95106 markings, 313868 edges, 490 markings/sec, 190 secs
lola: 97544 markings, 321660 edges, 488 markings/sec, 195 secs
lola: 99988 markings, 328773 edges, 489 markings/sec, 200 secs
lola: 102421 markings, 337301 edges, 487 markings/sec, 205 secs
lola: 104848 markings, 346522 edges, 485 markings/sec, 210 secs
lola: 107293 markings, 354397 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 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__37_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2433 markings, 9214 edges, 487 markings/sec, 0 secs
lola: 4856 markings, 17749 edges, 485 markings/sec, 5 secs
lola: 7214 markings, 26517 edges, 472 markings/sec, 10 secs
lola: 9653 markings, 35394 edges, 488 markings/sec, 15 secs
lola: 12088 markings, 43802 edges, 487 markings/sec, 20 secs
lola: 14486 markings, 52261 edges, 480 markings/sec, 25 secs
lola: 16917 markings, 60257 edges, 486 markings/sec, 30 secs
lola: 19368 markings, 68898 edges, 490 markings/sec, 35 secs
lola: 21810 markings, 77316 edges, 488 markings/sec, 40 secs
lola: 24246 markings, 85585 edges, 487 markings/sec, 45 secs
lola: 26686 markings, 93354 edges, 488 markings/sec, 50 secs
lola: 29125 markings, 101636 edges, 488 markings/sec, 55 secs
lola: 31570 markings, 109614 edges, 489 markings/sec, 60 secs
lola: 34011 markings, 117726 edges, 488 markings/sec, 65 secs
lola: 36444 markings, 126395 edges, 487 markings/sec, 70 secs
lola: 38874 markings, 135151 edges, 486 markings/sec, 75 secs
lola: 41312 markings, 143167 edges, 488 markings/sec, 80 secs
lola: 43752 markings, 151442 edges, 488 markings/sec, 85 secs
lola: 46192 markings, 159402 edges, 488 markings/sec, 90 secs
lola: 48627 markings, 167499 edges, 487 markings/sec, 95 secs
lola: 51056 markings, 175806 edges, 486 markings/sec, 100 secs
lola: 53489 markings, 183960 edges, 487 markings/sec, 105 secs
lola: 55925 markings, 192632 edges, 487 markings/sec, 110 secs
lola: 58374 markings, 201381 edges, 490 markings/sec, 115 secs
lola: 60833 markings, 209442 edges, 492 markings/sec, 120 secs
lola: 63287 markings, 217771 edges, 491 markings/sec, 125 secs
lola: 65736 markings, 226147 edges, 490 markings/sec, 130 secs
lola: 68186 markings, 234490 edges, 490 markings/sec, 135 secs
lola: 70618 markings, 243049 edges, 486 markings/sec, 140 secs
lola: 73043 markings, 251555 edges, 485 markings/sec, 145 secs
lola: 75462 markings, 260165 edges, 484 markings/sec, 150 secs
lola: 77887 markings, 269017 edges, 485 markings/sec, 155 secs
lola: 80295 markings, 277275 edges, 482 markings/sec, 160 secs
lola: 82704 markings, 285124 edges, 482 markings/sec, 165 secs
lola: 85105 markings, 293429 edges, 480 markings/sec, 170 secs
lola: 87489 markings, 301822 edges, 477 markings/sec, 175 secs
lola: 89871 markings, 310025 edges, 476 markings/sec, 180 secs
lola: 92268 markings, 318423 edges, 479 markings/sec, 185 secs
lola: 94664 markings, 326384 edges, 479 markings/sec, 190 secs
lola: 97050 markings, 334215 edges, 477 markings/sec, 195 secs
lola: 99487 markings, 342526 edges, 487 markings/sec, 200 secs
lola: 101923 markings, 350372 edges, 487 markings/sec, 205 secs
lola: 104365 markings, 358473 edges, 488 markings/sec, 210 secs
lola: 106797 markings, 366844 edges, 486 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__22_45_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2438 markings, 8741 edges, 488 markings/sec, 0 secs
lola: 4875 markings, 17469 edges, 487 markings/sec, 5 secs
lola: 7310 markings, 26097 edges, 487 markings/sec, 10 secs
lola: 9755 markings, 34837 edges, 489 markings/sec, 15 secs
lola: 12189 markings, 43815 edges, 487 markings/sec, 20 secs
lola: 14661 markings, 52790 edges, 494 markings/sec, 25 secs
lola: 17118 markings, 62165 edges, 491 markings/sec, 30 secs
lola: 19574 markings, 70931 edges, 491 markings/sec, 35 secs
lola: 22035 markings, 79394 edges, 492 markings/sec, 40 secs
lola: 24491 markings, 87892 edges, 491 markings/sec, 45 secs
lola: 26916 markings, 96319 edges, 485 markings/sec, 50 secs
lola: 29316 markings, 104492 edges, 480 markings/sec, 55 secs
lola: 31757 markings, 112743 edges, 488 markings/sec, 60 secs
lola: 34187 markings, 120973 edges, 486 markings/sec, 65 secs
lola: 36618 markings, 129825 edges, 486 markings/sec, 70 secs
lola: 39050 markings, 138659 edges, 486 markings/sec, 75 secs
lola: 41477 markings, 147289 edges, 485 markings/sec, 80 secs
lola: 43885 markings, 156129 edges, 482 markings/sec, 85 secs
lola: 46334 markings, 164649 edges, 490 markings/sec, 90 secs
lola: 48792 markings, 173146 edges, 492 markings/sec, 95 secs
lola: 51245 markings, 181733 edges, 491 markings/sec, 100 secs
lola: 53704 markings, 189965 edges, 492 markings/sec, 105 secs
lola: 56160 markings, 198736 edges, 491 markings/sec, 110 secs
lola: 58613 markings, 206905 edges, 491 markings/sec, 115 secs
lola: 61074 markings, 215770 edges, 492 markings/sec, 120 secs
lola: 63537 markings, 224163 edges, 493 markings/sec, 125 secs
lola: 65991 markings, 233148 edges, 491 markings/sec, 130 secs
lola: 68449 markings, 241746 edges, 492 markings/sec, 135 secs
lola: 70828 markings, 250498 edges, 476 markings/sec, 140 secs
lola: 73251 markings, 258430 edges, 485 markings/sec, 145 secs
lola: 75663 markings, 266649 edges, 482 markings/sec, 150 secs
lola: 78085 markings, 274870 edges, 484 markings/sec, 155 secs
lola: 80496 markings, 283460 edges, 482 markings/sec, 160 secs
lola: 82807 markings, 291252 edges, 462 markings/sec, 165 secs
lola: 85040 markings, 299273 edges, 447 markings/sec, 170 secs
lola: 87262 markings, 307315 edges, 444 markings/sec, 175 secs
lola: 89475 markings, 315026 edges, 443 markings/sec, 180 secs
lola: 91719 markings, 323315 edges, 449 markings/sec, 185 secs
lola: 93994 markings, 331653 edges, 455 markings/sec, 190 secs
lola: 96309 markings, 339533 edges, 463 markings/sec, 195 secs
lola: 98626 markings, 347616 edges, 463 markings/sec, 200 secs
lola: 100935 markings, 355520 edges, 462 markings/sec, 205 secs
lola: 103240 markings, 363811 edges, 461 markings/sec, 210 secs
lola: 105547 markings, 371869 edges, 461 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2366 markings, 8443 edges, 473 markings/sec, 0 secs
lola: 4752 markings, 16674 edges, 477 markings/sec, 5 secs
lola: 7193 markings, 25096 edges, 488 markings/sec, 10 secs
lola: 9631 markings, 33819 edges, 488 markings/sec, 15 secs
lola: 11981 markings, 42074 edges, 470 markings/sec, 20 secs
lola: 14376 markings, 50446 edges, 479 markings/sec, 25 secs
lola: 16784 markings, 58573 edges, 482 markings/sec, 30 secs
lola: 19210 markings, 66815 edges, 485 markings/sec, 35 secs
lola: 21616 markings, 75083 edges, 481 markings/sec, 40 secs
lola: 24009 markings, 82449 edges, 479 markings/sec, 45 secs
lola: 26407 markings, 89852 edges, 480 markings/sec, 50 secs
lola: 28814 markings, 97846 edges, 481 markings/sec, 55 secs
lola: 31191 markings, 106402 edges, 475 markings/sec, 60 secs
lola: 33612 markings, 114566 edges, 484 markings/sec, 65 secs
lola: 36032 markings, 123099 edges, 484 markings/sec, 70 secs
lola: 38442 markings, 131940 edges, 482 markings/sec, 75 secs
lola: 40845 markings, 140057 edges, 481 markings/sec, 80 secs
lola: 43281 markings, 148579 edges, 487 markings/sec, 85 secs
lola: 45679 markings, 156697 edges, 480 markings/sec, 90 secs
lola: 48089 markings, 165139 edges, 482 markings/sec, 95 secs
lola: 50519 markings, 174360 edges, 486 markings/sec, 100 secs
lola: 52959 markings, 183161 edges, 488 markings/sec, 105 secs
lola: 55415 markings, 192455 edges, 491 markings/sec, 110 secs
lola: 57871 markings, 201765 edges, 491 markings/sec, 115 secs
lola: 60347 markings, 210061 edges, 495 markings/sec, 120 secs
lola: 62802 markings, 218900 edges, 491 markings/sec, 125 secs
lola: 65268 markings, 226708 edges, 493 markings/sec, 130 secs
lola: 67731 markings, 234703 edges, 493 markings/sec, 135 secs
lola: 70202 markings, 243316 edges, 494 markings/sec, 140 secs
lola: 72664 markings, 251308 edges, 492 markings/sec, 145 secs
lola: 75111 markings, 260283 edges, 489 markings/sec, 150 secs
lola: 77555 markings, 268644 edges, 489 markings/sec, 155 secs
lola: 79987 markings, 277218 edges, 486 markings/sec, 160 secs
lola: 82419 markings, 286158 edges, 486 markings/sec, 165 secs
lola: 84859 markings, 294201 edges, 488 markings/sec, 170 secs
lola: 87304 markings, 302047 edges, 489 markings/sec, 175 secs
lola: 89750 markings, 310511 edges, 489 markings/sec, 180 secs
lola: 92210 markings, 318569 edges, 492 markings/sec, 185 secs
lola: 94661 markings, 326406 edges, 490 markings/sec, 190 secs
lola: 97112 markings, 334300 edges, 490 markings/sec, 195 secs
lola: 99521 markings, 342766 edges, 482 markings/sec, 200 secs
lola: 101932 markings, 351267 edges, 482 markings/sec, 205 secs
lola: 104304 markings, 359090 edges, 474 markings/sec, 210 secs
lola: 106702 markings, 368013 edges, 480 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__42_12_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2211 markings, 8101 edges, 442 markings/sec, 0 secs
lola: 4670 markings, 16670 edges, 492 markings/sec, 5 secs
lola: 7127 markings, 25803 edges, 491 markings/sec, 10 secs
lola: 9577 markings, 34651 edges, 490 markings/sec, 15 secs
lola: 11971 markings, 43492 edges, 479 markings/sec, 20 secs
lola: 14325 markings, 51839 edges, 471 markings/sec, 25 secs
lola: 16715 markings, 60190 edges, 478 markings/sec, 30 secs
lola: 19161 markings, 68915 edges, 489 markings/sec, 35 secs
lola: 21597 markings, 77833 edges, 487 markings/sec, 40 secs
lola: 24035 markings, 86681 edges, 488 markings/sec, 45 secs
lola: 26481 markings, 95283 edges, 489 markings/sec, 50 secs
lola: 28925 markings, 102579 edges, 489 markings/sec, 55 secs
lola: 31369 markings, 110686 edges, 489 markings/sec, 60 secs
lola: 33816 markings, 118684 edges, 489 markings/sec, 65 secs
lola: 36262 markings, 127045 edges, 489 markings/sec, 70 secs
lola: 38698 markings, 135508 edges, 487 markings/sec, 75 secs
lola: 41154 markings, 143041 edges, 491 markings/sec, 80 secs
lola: 43613 markings, 151112 edges, 492 markings/sec, 85 secs
lola: 46055 markings, 159741 edges, 488 markings/sec, 90 secs
lola: 48502 markings, 168740 edges, 489 markings/sec, 95 secs
lola: 50946 markings, 178103 edges, 489 markings/sec, 100 secs
lola: 53392 markings, 187294 edges, 489 markings/sec, 105 secs
lola: 55832 markings, 195973 edges, 488 markings/sec, 110 secs
lola: 58284 markings, 203832 edges, 490 markings/sec, 115 secs
lola: 60732 markings, 211772 edges, 490 markings/sec, 120 secs
lola: 63180 markings, 220210 edges, 490 markings/sec, 125 secs
lola: 65580 markings, 228771 edges, 480 markings/sec, 130 secs
lola: 68020 markings, 237882 edges, 488 markings/sec, 135 secs
lola: 70459 markings, 246924 edges, 488 markings/sec, 140 secs
lola: 72885 markings, 255474 edges, 485 markings/sec, 145 secs
lola: 75337 markings, 264872 edges, 490 markings/sec, 150 secs
lola: 77746 markings, 273448 edges, 482 markings/sec, 155 secs
lola: 80166 markings, 282175 edges, 484 markings/sec, 160 secs
lola: 82583 markings, 290869 edges, 483 markings/sec, 165 secs
lola: 85019 markings, 298409 edges, 487 markings/sec, 170 secs
lola: 87456 markings, 306885 edges, 487 markings/sec, 175 secs
lola: 89890 markings, 315543 edges, 487 markings/sec, 180 secs
lola: 92331 markings, 324343 edges, 488 markings/sec, 185 secs
lola: 94777 markings, 333734 edges, 489 markings/sec, 190 secs
lola: 97211 markings, 344146 edges, 487 markings/sec, 195 secs
lola: 99661 markings, 352788 edges, 490 markings/sec, 200 secs
lola: 102116 markings, 362004 edges, 491 markings/sec, 205 secs
lola: 104575 markings, 370771 edges, 492 markings/sec, 210 secs
lola: 107028 markings, 379837 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 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__48_46_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2499 markings, 8713 edges, 500 markings/sec, 0 secs
lola: 5029 markings, 17960 edges, 506 markings/sec, 5 secs
lola: 7558 markings, 27108 edges, 506 markings/sec, 10 secs
lola: 10093 markings, 36265 edges, 507 markings/sec, 15 secs
lola: 12623 markings, 45418 edges, 506 markings/sec, 20 secs
lola: 15152 markings, 54778 edges, 506 markings/sec, 25 secs
lola: 17678 markings, 63510 edges, 505 markings/sec, 30 secs
lola: 20207 markings, 72247 edges, 506 markings/sec, 35 secs
lola: 22729 markings, 82317 edges, 504 markings/sec, 40 secs
lola: 25251 markings, 91324 edges, 504 markings/sec, 45 secs
lola: 27780 markings, 100533 edges, 506 markings/sec, 50 secs
lola: 30308 markings, 110276 edges, 506 markings/sec, 55 secs
lola: 32840 markings, 119849 edges, 506 markings/sec, 60 secs
lola: 35366 markings, 130912 edges, 505 markings/sec, 65 secs
lola: 37894 markings, 141377 edges, 506 markings/sec, 70 secs
lola: 40424 markings, 150808 edges, 506 markings/sec, 75 secs
lola: 42943 markings, 160045 edges, 504 markings/sec, 80 secs
lola: 45462 markings, 169629 edges, 504 markings/sec, 85 secs
lola: 47977 markings, 180035 edges, 503 markings/sec, 90 secs
lola: 50490 markings, 190026 edges, 503 markings/sec, 95 secs
lola: 53005 markings, 200233 edges, 503 markings/sec, 100 secs
lola: 55520 markings, 210322 edges, 503 markings/sec, 105 secs
lola: 58011 markings, 219268 edges, 498 markings/sec, 110 secs
lola: 60524 markings, 228612 edges, 503 markings/sec, 115 secs
lola: 63043 markings, 238083 edges, 504 markings/sec, 120 secs
lola: 65557 markings, 248081 edges, 503 markings/sec, 125 secs
lola: 68080 markings, 257436 edges, 505 markings/sec, 130 secs
lola: 70605 markings, 266304 edges, 505 markings/sec, 135 secs
lola: 73117 markings, 276496 edges, 502 markings/sec, 140 secs
lola: 75641 markings, 285958 edges, 505 markings/sec, 145 secs
lola: 78165 markings, 294681 edges, 505 markings/sec, 150 secs
lola: 80682 markings, 304338 edges, 503 markings/sec, 155 secs
lola: 83204 markings, 314177 edges, 504 markings/sec, 160 secs
lola: 85725 markings, 323689 edges, 504 markings/sec, 165 secs
lola: 88246 markings, 332723 edges, 504 markings/sec, 170 secs
lola: 90780 markings, 341270 edges, 507 markings/sec, 175 secs
lola: 93318 markings, 350429 edges, 508 markings/sec, 180 secs
lola: 95847 markings, 360407 edges, 506 markings/sec, 185 secs
lola: 98373 markings, 370297 edges, 505 markings/sec, 190 secs
lola: 100887 markings, 379799 edges, 503 markings/sec, 195 secs
lola: 103394 markings, 388692 edges, 501 markings/sec, 200 secs
lola: 105888 markings, 397336 edges, 499 markings/sec, 205 secs
lola: 108377 markings, 406976 edges, 498 markings/sec, 210 secs
lola: 110869 markings, 416466 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 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2373 markings, 8697 edges, 475 markings/sec, 0 secs
lola: 4804 markings, 16983 edges, 486 markings/sec, 5 secs
lola: 7244 markings, 25248 edges, 488 markings/sec, 10 secs
lola: 9675 markings, 33693 edges, 486 markings/sec, 15 secs
lola: 12107 markings, 42205 edges, 486 markings/sec, 20 secs
lola: 14534 markings, 50869 edges, 485 markings/sec, 25 secs
lola: 16957 markings, 59125 edges, 485 markings/sec, 30 secs
lola: 19388 markings, 67378 edges, 486 markings/sec, 35 secs
lola: 21827 markings, 75762 edges, 488 markings/sec, 40 secs
lola: 24249 markings, 84392 edges, 484 markings/sec, 45 secs
lola: 26674 markings, 92990 edges, 485 markings/sec, 50 secs
lola: 29101 markings, 101206 edges, 485 markings/sec, 55 secs
lola: 31531 markings, 109644 edges, 486 markings/sec, 60 secs
lola: 33956 markings, 117808 edges, 485 markings/sec, 65 secs
lola: 36377 markings, 125915 edges, 484 markings/sec, 70 secs
lola: 38811 markings, 133629 edges, 487 markings/sec, 75 secs
lola: 41260 markings, 142013 edges, 490 markings/sec, 80 secs
lola: 43706 markings, 150267 edges, 489 markings/sec, 85 secs
lola: 46139 markings, 159322 edges, 487 markings/sec, 90 secs
lola: 48585 markings, 167511 edges, 489 markings/sec, 95 secs
lola: 51019 markings, 176316 edges, 487 markings/sec, 100 secs
lola: 53457 markings, 184783 edges, 488 markings/sec, 105 secs
lola: 55899 markings, 193389 edges, 488 markings/sec, 110 secs
lola: 58340 markings, 202267 edges, 488 markings/sec, 115 secs
lola: 60797 markings, 210379 edges, 491 markings/sec, 120 secs
lola: 63253 markings, 218370 edges, 491 markings/sec, 125 secs
lola: 65706 markings, 226913 edges, 491 markings/sec, 130 secs
lola: 68152 markings, 235520 edges, 489 markings/sec, 135 secs
lola: 70603 markings, 243674 edges, 490 markings/sec, 140 secs
lola: 73050 markings, 252011 edges, 489 markings/sec, 145 secs
lola: 75493 markings, 260394 edges, 489 markings/sec, 150 secs
lola: 77936 markings, 269872 edges, 489 markings/sec, 155 secs
lola: 80378 markings, 278919 edges, 488 markings/sec, 160 secs
lola: 82825 markings, 288058 edges, 489 markings/sec, 165 secs
lola: 85265 markings, 297167 edges, 488 markings/sec, 170 secs
lola: 87707 markings, 305814 edges, 488 markings/sec, 175 secs
lola: 90154 markings, 314062 edges, 489 markings/sec, 180 secs
lola: 92614 markings, 322485 edges, 492 markings/sec, 185 secs
lola: 95069 markings, 330612 edges, 491 markings/sec, 190 secs
lola: 97538 markings, 338776 edges, 494 markings/sec, 195 secs
lola: 100004 markings, 347262 edges, 493 markings/sec, 200 secs
lola: 102468 markings, 356108 edges, 493 markings/sec, 205 secs
lola: 104936 markings, 364568 edges, 494 markings/sec, 210 secs
lola: 107391 markings, 374282 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 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2469 markings, 9375 edges, 494 markings/sec, 0 secs
lola: 4947 markings, 18357 edges, 496 markings/sec, 5 secs
lola: 7424 markings, 27366 edges, 495 markings/sec, 10 secs
lola: 9904 markings, 36343 edges, 496 markings/sec, 15 secs
lola: 12390 markings, 45340 edges, 497 markings/sec, 20 secs
lola: 14869 markings, 54321 edges, 496 markings/sec, 25 secs
lola: 17351 markings, 63311 edges, 496 markings/sec, 30 secs
lola: 19838 markings, 71553 edges, 497 markings/sec, 35 secs
lola: 22320 markings, 80019 edges, 496 markings/sec, 40 secs
lola: 24804 markings, 88449 edges, 497 markings/sec, 45 secs
lola: 27289 markings, 96946 edges, 497 markings/sec, 50 secs
lola: 29769 markings, 105373 edges, 496 markings/sec, 55 secs
lola: 32251 markings, 113632 edges, 496 markings/sec, 60 secs
lola: 34736 markings, 121969 edges, 497 markings/sec, 65 secs
lola: 37216 markings, 130546 edges, 496 markings/sec, 70 secs
lola: 39694 markings, 139168 edges, 496 markings/sec, 75 secs
lola: 42188 markings, 147634 edges, 499 markings/sec, 80 secs
lola: 44680 markings, 156098 edges, 498 markings/sec, 85 secs
lola: 47163 markings, 164360 edges, 497 markings/sec, 90 secs
lola: 49641 markings, 172553 edges, 496 markings/sec, 95 secs
lola: 52125 markings, 180846 edges, 497 markings/sec, 100 secs
lola: 54606 markings, 189631 edges, 496 markings/sec, 105 secs
lola: 57081 markings, 198790 edges, 495 markings/sec, 110 secs
lola: 59557 markings, 207296 edges, 495 markings/sec, 115 secs
lola: 62032 markings, 215897 edges, 495 markings/sec, 120 secs
lola: 64516 markings, 224333 edges, 497 markings/sec, 125 secs
lola: 66990 markings, 232885 edges, 495 markings/sec, 130 secs
lola: 69469 markings, 241472 edges, 496 markings/sec, 135 secs
lola: 71948 markings, 249974 edges, 496 markings/sec, 140 secs
lola: 74423 markings, 258148 edges, 495 markings/sec, 145 secs
lola: 76897 markings, 266766 edges, 495 markings/sec, 150 secs
lola: 79375 markings, 275063 edges, 496 markings/sec, 155 secs
lola: 81857 markings, 283518 edges, 496 markings/sec, 160 secs
lola: 84335 markings, 291687 edges, 496 markings/sec, 165 secs
lola: 86814 markings, 300099 edges, 496 markings/sec, 170 secs
lola: 89297 markings, 308234 edges, 497 markings/sec, 175 secs
lola: 91781 markings, 316697 edges, 497 markings/sec, 180 secs
lola: 94259 markings, 325649 edges, 496 markings/sec, 185 secs
lola: 96735 markings, 334679 edges, 495 markings/sec, 190 secs
lola: 99213 markings, 343112 edges, 496 markings/sec, 195 secs
lola: 101691 markings, 351711 edges, 496 markings/sec, 200 secs
lola: 104170 markings, 360321 edges, 496 markings/sec, 205 secs
lola: 106648 markings, 368728 edges, 496 markings/sec, 210 secs
lola: 109125 markings, 377275 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 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__44_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2467 markings, 8515 edges, 493 markings/sec, 0 secs
lola: 4957 markings, 17093 edges, 498 markings/sec, 5 secs
lola: 7449 markings, 25687 edges, 498 markings/sec, 10 secs
lola: 9935 markings, 34581 edges, 497 markings/sec, 15 secs
lola: 12430 markings, 43325 edges, 499 markings/sec, 20 secs
lola: 14920 markings, 52128 edges, 498 markings/sec, 25 secs
lola: 17400 markings, 61008 edges, 496 markings/sec, 30 secs
lola: 19885 markings, 68956 edges, 497 markings/sec, 35 secs
lola: 22375 markings, 77613 edges, 498 markings/sec, 40 secs
lola: 24869 markings, 85980 edges, 499 markings/sec, 45 secs
lola: 27350 markings, 94429 edges, 496 markings/sec, 50 secs
lola: 29824 markings, 102415 edges, 495 markings/sec, 55 secs
lola: 32310 markings, 110595 edges, 497 markings/sec, 60 secs
lola: 34793 markings, 119327 edges, 497 markings/sec, 65 secs
lola: 37274 markings, 127547 edges, 496 markings/sec, 70 secs
lola: 39763 markings, 136068 edges, 498 markings/sec, 75 secs
lola: 42246 markings, 144604 edges, 497 markings/sec, 80 secs
lola: 44728 markings, 153114 edges, 496 markings/sec, 85 secs
lola: 47209 markings, 161649 edges, 496 markings/sec, 90 secs
lola: 49700 markings, 170217 edges, 498 markings/sec, 95 secs
lola: 52195 markings, 178623 edges, 499 markings/sec, 100 secs
lola: 54681 markings, 187240 edges, 497 markings/sec, 105 secs
lola: 57169 markings, 195857 edges, 498 markings/sec, 110 secs
lola: 59659 markings, 204364 edges, 498 markings/sec, 115 secs
lola: 62145 markings, 213062 edges, 497 markings/sec, 120 secs
lola: 64636 markings, 221971 edges, 498 markings/sec, 125 secs
lola: 67129 markings, 230369 edges, 499 markings/sec, 130 secs
lola: 69612 markings, 239259 edges, 497 markings/sec, 135 secs
lola: 72095 markings, 248134 edges, 497 markings/sec, 140 secs
lola: 74580 markings, 256202 edges, 497 markings/sec, 145 secs
lola: 77068 markings, 264834 edges, 498 markings/sec, 150 secs
lola: 79560 markings, 273037 edges, 498 markings/sec, 155 secs
lola: 82057 markings, 281489 edges, 499 markings/sec, 160 secs
lola: 84553 markings, 290043 edges, 499 markings/sec, 165 secs
lola: 87039 markings, 298789 edges, 497 markings/sec, 170 secs
lola: 89529 markings, 307366 edges, 498 markings/sec, 175 secs
lola: 92021 markings, 315652 edges, 498 markings/sec, 180 secs
lola: 94514 markings, 323813 edges, 499 markings/sec, 185 secs
lola: 97012 markings, 332486 edges, 500 markings/sec, 190 secs
lola: 99505 markings, 340704 edges, 499 markings/sec, 195 secs
lola: 101996 markings, 349112 edges, 498 markings/sec, 200 secs
lola: 104484 markings, 357619 edges, 498 markings/sec, 205 secs
lola: 106941 markings, 365860 edges, 491 markings/sec, 210 secs
lola: 109415 markings, 374115 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__46_40_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2477 markings, 8312 edges, 495 markings/sec, 0 secs
lola: 4945 markings, 16729 edges, 494 markings/sec, 5 secs
lola: 7409 markings, 25224 edges, 493 markings/sec, 10 secs
lola: 9876 markings, 33945 edges, 493 markings/sec, 15 secs
lola: 12338 markings, 42629 edges, 492 markings/sec, 20 secs
lola: 14802 markings, 51385 edges, 493 markings/sec, 25 secs
lola: 17261 markings, 60130 edges, 492 markings/sec, 30 secs
lola: 19733 markings, 68840 edges, 494 markings/sec, 35 secs
lola: 22237 markings, 76762 edges, 501 markings/sec, 40 secs
lola: 24736 markings, 85384 edges, 500 markings/sec, 45 secs
lola: 27241 markings, 93966 edges, 501 markings/sec, 50 secs
lola: 29742 markings, 102346 edges, 500 markings/sec, 55 secs
lola: 32237 markings, 111091 edges, 499 markings/sec, 60 secs
lola: 34728 markings, 120143 edges, 498 markings/sec, 65 secs
lola: 37231 markings, 128565 edges, 501 markings/sec, 70 secs
lola: 39729 markings, 137457 edges, 500 markings/sec, 75 secs
lola: 42225 markings, 146521 edges, 499 markings/sec, 80 secs
lola: 44713 markings, 155566 edges, 498 markings/sec, 85 secs
lola: 47213 markings, 163948 edges, 500 markings/sec, 90 secs
lola: 49716 markings, 172423 edges, 501 markings/sec, 95 secs
lola: 52214 markings, 180867 edges, 500 markings/sec, 100 secs
lola: 54713 markings, 189068 edges, 500 markings/sec, 105 secs
lola: 57218 markings, 197564 edges, 501 markings/sec, 110 secs
lola: 59719 markings, 206458 edges, 500 markings/sec, 115 secs
lola: 62213 markings, 215139 edges, 499 markings/sec, 120 secs
lola: 64707 markings, 224835 edges, 499 markings/sec, 125 secs
lola: 67205 markings, 233805 edges, 500 markings/sec, 130 secs
lola: 69704 markings, 242589 edges, 500 markings/sec, 135 secs
lola: 72200 markings, 251225 edges, 499 markings/sec, 140 secs
lola: 74707 markings, 259146 edges, 501 markings/sec, 145 secs
lola: 77207 markings, 267886 edges, 500 markings/sec, 150 secs
lola: 79711 markings, 275960 edges, 501 markings/sec, 155 secs
lola: 82206 markings, 284481 edges, 499 markings/sec, 160 secs
lola: 84693 markings, 292636 edges, 497 markings/sec, 165 secs
lola: 87179 markings, 301069 edges, 497 markings/sec, 170 secs
lola: 89663 markings, 309894 edges, 497 markings/sec, 175 secs
lola: 92131 markings, 318536 edges, 494 markings/sec, 180 secs
lola: 94612 markings, 327079 edges, 496 markings/sec, 185 secs
lola: 97093 markings, 336179 edges, 496 markings/sec, 190 secs
lola: 99585 markings, 343960 edges, 498 markings/sec, 195 secs
lola: 102048 markings, 352610 edges, 493 markings/sec, 200 secs
lola: 104523 markings, 360783 edges, 495 markings/sec, 205 secs
lola: 106976 markings, 369144 edges, 491 markings/sec, 210 secs
lola: 109433 markings, 377521 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 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__29_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2388 markings, 8599 edges, 478 markings/sec, 0 secs
lola: 4833 markings, 16921 edges, 489 markings/sec, 5 secs
lola: 7275 markings, 25419 edges, 488 markings/sec, 10 secs
lola: 9705 markings, 34482 edges, 486 markings/sec, 15 secs
lola: 12134 markings, 43306 edges, 486 markings/sec, 20 secs
lola: 14561 markings, 52054 edges, 485 markings/sec, 25 secs
lola: 16985 markings, 60603 edges, 485 markings/sec, 30 secs
lola: 19413 markings, 68971 edges, 486 markings/sec, 35 secs
lola: 21848 markings, 77527 edges, 487 markings/sec, 40 secs
lola: 24282 markings, 86026 edges, 487 markings/sec, 45 secs
lola: 26723 markings, 94314 edges, 488 markings/sec, 50 secs
lola: 29163 markings, 102298 edges, 488 markings/sec, 55 secs
lola: 31623 markings, 110706 edges, 492 markings/sec, 60 secs
lola: 34069 markings, 119622 edges, 489 markings/sec, 65 secs
lola: 36523 markings, 128122 edges, 491 markings/sec, 70 secs
lola: 39009 markings, 136496 edges, 497 markings/sec, 75 secs
lola: 41496 markings, 145021 edges, 497 markings/sec, 80 secs
lola: 43995 markings, 153242 edges, 500 markings/sec, 85 secs
lola: 46490 markings, 161874 edges, 499 markings/sec, 90 secs
lola: 48985 markings, 170451 edges, 499 markings/sec, 95 secs
lola: 51479 markings, 179685 edges, 499 markings/sec, 100 secs
lola: 53975 markings, 188980 edges, 499 markings/sec, 105 secs
lola: 56473 markings, 197365 edges, 500 markings/sec, 110 secs
lola: 58960 markings, 206093 edges, 497 markings/sec, 115 secs
lola: 61451 markings, 214373 edges, 498 markings/sec, 120 secs
lola: 63938 markings, 223351 edges, 497 markings/sec, 125 secs
lola: 66428 markings, 231781 edges, 498 markings/sec, 130 secs
lola: 68911 markings, 240757 edges, 497 markings/sec, 135 secs
lola: 71396 markings, 249582 edges, 497 markings/sec, 140 secs
lola: 73882 markings, 258429 edges, 497 markings/sec, 145 secs
lola: 76354 markings, 268049 edges, 494 markings/sec, 150 secs
lola: 78792 markings, 276986 edges, 488 markings/sec, 155 secs
lola: 81233 markings, 285512 edges, 488 markings/sec, 160 secs
lola: 83677 markings, 293383 edges, 489 markings/sec, 165 secs
lola: 86118 markings, 302182 edges, 488 markings/sec, 170 secs
lola: 88556 markings, 310908 edges, 488 markings/sec, 175 secs
lola: 90984 markings, 319698 edges, 486 markings/sec, 180 secs
lola: 93424 markings, 327751 edges, 488 markings/sec, 185 secs
lola: 95860 markings, 336206 edges, 487 markings/sec, 190 secs
lola: 98294 markings, 344291 edges, 487 markings/sec, 195 secs
lola: 100728 markings, 352813 edges, 487 markings/sec, 200 secs
lola: 103163 markings, 361556 edges, 487 markings/sec, 205 secs
lola: 105599 markings, 369802 edges, 487 markings/sec, 210 secs
lola: 108041 markings, 378047 edges, 488 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__40_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2447 markings, 7840 edges, 489 markings/sec, 0 secs
lola: 4907 markings, 15991 edges, 492 markings/sec, 5 secs
lola: 7362 markings, 24415 edges, 491 markings/sec, 10 secs
lola: 9818 markings, 33062 edges, 491 markings/sec, 15 secs
lola: 12266 markings, 41401 edges, 490 markings/sec, 20 secs
lola: 14710 markings, 50089 edges, 489 markings/sec, 25 secs
lola: 17166 markings, 58720 edges, 491 markings/sec, 30 secs
lola: 19629 markings, 67588 edges, 493 markings/sec, 35 secs
lola: 22096 markings, 76110 edges, 493 markings/sec, 40 secs
lola: 24561 markings, 84614 edges, 493 markings/sec, 45 secs
lola: 27055 markings, 93381 edges, 499 markings/sec, 50 secs
lola: 29546 markings, 101710 edges, 498 markings/sec, 55 secs
lola: 32045 markings, 109710 edges, 500 markings/sec, 60 secs
lola: 34540 markings, 117904 edges, 499 markings/sec, 65 secs
lola: 37033 markings, 126367 edges, 499 markings/sec, 70 secs
lola: 39525 markings, 134913 edges, 498 markings/sec, 75 secs
lola: 42018 markings, 143507 edges, 499 markings/sec, 80 secs
lola: 44514 markings, 151894 edges, 499 markings/sec, 85 secs
lola: 46997 markings, 160501 edges, 497 markings/sec, 90 secs
lola: 49491 markings, 168469 edges, 499 markings/sec, 95 secs
lola: 51990 markings, 176478 edges, 500 markings/sec, 100 secs
lola: 54486 markings, 184792 edges, 499 markings/sec, 105 secs
lola: 56975 markings, 192944 edges, 498 markings/sec, 110 secs
lola: 59456 markings, 201415 edges, 496 markings/sec, 115 secs
lola: 61936 markings, 209911 edges, 496 markings/sec, 120 secs
lola: 64417 markings, 217719 edges, 496 markings/sec, 125 secs
lola: 66891 markings, 226226 edges, 495 markings/sec, 130 secs
lola: 69363 markings, 234143 edges, 494 markings/sec, 135 secs
lola: 71837 markings, 242237 edges, 495 markings/sec, 140 secs
lola: 74297 markings, 250789 edges, 492 markings/sec, 145 secs
lola: 76753 markings, 258754 edges, 491 markings/sec, 150 secs
lola: 79188 markings, 267007 edges, 487 markings/sec, 155 secs
lola: 81612 markings, 275179 edges, 485 markings/sec, 160 secs
lola: 84035 markings, 283333 edges, 485 markings/sec, 165 secs
lola: 86461 markings, 291585 edges, 485 markings/sec, 170 secs
lola: 88894 markings, 299793 edges, 487 markings/sec, 175 secs
lola: 91328 markings, 307643 edges, 487 markings/sec, 180 secs
lola: 93758 markings, 315632 edges, 486 markings/sec, 185 secs
lola: 96184 markings, 324794 edges, 485 markings/sec, 190 secs
lola: 98617 markings, 332496 edges, 487 markings/sec, 195 secs
lola: 101054 markings, 340771 edges, 487 markings/sec, 200 secs
lola: 103498 markings, 349289 edges, 489 markings/sec, 205 secs
lola: 105940 markings, 357717 edges, 488 markings/sec, 210 secs
lola: 108384 markings, 365912 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 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_22_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2469 markings, 8558 edges, 494 markings/sec, 0 secs
lola: 4950 markings, 16708 edges, 496 markings/sec, 5 secs
lola: 7440 markings, 25032 edges, 498 markings/sec, 10 secs
lola: 9932 markings, 33667 edges, 498 markings/sec, 15 secs
lola: 12434 markings, 41886 edges, 500 markings/sec, 20 secs
lola: 14913 markings, 50468 edges, 496 markings/sec, 25 secs
lola: 17400 markings, 58781 edges, 497 markings/sec, 30 secs
lola: 19894 markings, 67126 edges, 499 markings/sec, 35 secs
lola: 22400 markings, 75564 edges, 501 markings/sec, 40 secs
lola: 24899 markings, 83850 edges, 500 markings/sec, 45 secs
lola: 27406 markings, 92602 edges, 501 markings/sec, 50 secs
lola: 29900 markings, 100718 edges, 499 markings/sec, 55 secs
lola: 32385 markings, 109313 edges, 497 markings/sec, 60 secs
lola: 34882 markings, 117429 edges, 499 markings/sec, 65 secs
lola: 37362 markings, 125969 edges, 496 markings/sec, 70 secs
lola: 39848 markings, 134225 edges, 497 markings/sec, 75 secs
lola: 42344 markings, 142170 edges, 499 markings/sec, 80 secs
lola: 44847 markings, 150178 edges, 501 markings/sec, 85 secs
lola: 47340 markings, 158434 edges, 499 markings/sec, 90 secs
lola: 49833 markings, 167116 edges, 499 markings/sec, 95 secs
lola: 52305 markings, 175539 edges, 494 markings/sec, 100 secs
lola: 54768 markings, 184532 edges, 493 markings/sec, 105 secs
lola: 57268 markings, 193596 edges, 500 markings/sec, 110 secs
lola: 59775 markings, 201737 edges, 501 markings/sec, 115 secs
lola: 62282 markings, 210003 edges, 501 markings/sec, 120 secs
lola: 64783 markings, 218639 edges, 500 markings/sec, 125 secs
lola: 67279 markings, 227890 edges, 499 markings/sec, 130 secs
lola: 69779 markings, 236799 edges, 500 markings/sec, 135 secs
lola: 72300 markings, 245036 edges, 504 markings/sec, 140 secs
lola: 74807 markings, 253338 edges, 501 markings/sec, 145 secs
lola: 77312 markings, 262177 edges, 501 markings/sec, 150 secs
lola: 79825 markings, 271048 edges, 503 markings/sec, 155 secs
lola: 82336 markings, 279923 edges, 502 markings/sec, 160 secs
lola: 84849 markings, 288495 edges, 503 markings/sec, 165 secs
lola: 87353 markings, 297111 edges, 501 markings/sec, 170 secs
lola: 89852 markings, 305149 edges, 500 markings/sec, 175 secs
lola: 92351 markings, 313589 edges, 500 markings/sec, 180 secs
lola: 94844 markings, 322663 edges, 499 markings/sec, 185 secs
lola: 97334 markings, 331945 edges, 498 markings/sec, 190 secs
lola: 99824 markings, 339955 edges, 498 markings/sec, 195 secs
lola: 102312 markings, 348412 edges, 498 markings/sec, 200 secs
lola: 104805 markings, 356897 edges, 499 markings/sec, 205 secs
lola: 107303 markings, 365113 edges, 500 markings/sec, 210 secs
lola: 109799 markings, 374094 edges, 499 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__39_32_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2498 markings, 8845 edges, 500 markings/sec, 0 secs
lola: 4992 markings, 17951 edges, 499 markings/sec, 5 secs
lola: 7480 markings, 27397 edges, 498 markings/sec, 10 secs
lola: 9972 markings, 36651 edges, 498 markings/sec, 15 secs
lola: 12456 markings, 45774 edges, 497 markings/sec, 20 secs
lola: 14937 markings, 54892 edges, 496 markings/sec, 25 secs
lola: 17417 markings, 63929 edges, 496 markings/sec, 30 secs
lola: 19905 markings, 73168 edges, 498 markings/sec, 35 secs
lola: 22390 markings, 82459 edges, 497 markings/sec, 40 secs
lola: 24876 markings, 91535 edges, 497 markings/sec, 45 secs
lola: 27372 markings, 100822 edges, 499 markings/sec, 50 secs
lola: 29859 markings, 109680 edges, 497 markings/sec, 55 secs
lola: 32353 markings, 118057 edges, 499 markings/sec, 60 secs
lola: 34846 markings, 127159 edges, 499 markings/sec, 65 secs
lola: 37332 markings, 136521 edges, 497 markings/sec, 70 secs
lola: 39809 markings, 145896 edges, 495 markings/sec, 75 secs
lola: 42298 markings, 154382 edges, 498 markings/sec, 80 secs
lola: 44788 markings, 163933 edges, 498 markings/sec, 85 secs
lola: 47273 markings, 173513 edges, 497 markings/sec, 90 secs
lola: 49751 markings, 183329 edges, 496 markings/sec, 95 secs
lola: 52240 markings, 192683 edges, 498 markings/sec, 100 secs
lola: 54737 markings, 201506 edges, 499 markings/sec, 105 secs
lola: 57236 markings, 210169 edges, 500 markings/sec, 110 secs
lola: 59734 markings, 218932 edges, 500 markings/sec, 115 secs
lola: 62222 markings, 228277 edges, 498 markings/sec, 120 secs
lola: 64714 markings, 237627 edges, 498 markings/sec, 125 secs
lola: 67207 markings, 247073 edges, 499 markings/sec, 130 secs
lola: 69697 markings, 256521 edges, 498 markings/sec, 135 secs
lola: 72197 markings, 265645 edges, 500 markings/sec, 140 secs
lola: 74684 markings, 275946 edges, 497 markings/sec, 145 secs
lola: 77171 markings, 285682 edges, 497 markings/sec, 150 secs
lola: 79667 markings, 294543 edges, 499 markings/sec, 155 secs
lola: 82166 markings, 303486 edges, 500 markings/sec, 160 secs
lola: 84657 markings, 312187 edges, 498 markings/sec, 165 secs
lola: 87148 markings, 320747 edges, 498 markings/sec, 170 secs
lola: 89634 markings, 329953 edges, 497 markings/sec, 175 secs
lola: 92125 markings, 339799 edges, 498 markings/sec, 180 secs
lola: 94616 markings, 349290 edges, 498 markings/sec, 185 secs
lola: 97104 markings, 358178 edges, 498 markings/sec, 190 secs
lola: 99606 markings, 367027 edges, 500 markings/sec, 195 secs
lola: 102093 markings, 375580 edges, 497 markings/sec, 200 secs
lola: 104576 markings, 384659 edges, 497 markings/sec, 205 secs
lola: 107060 markings, 393346 edges, 497 markings/sec, 210 secs
lola: 109546 markings, 402330 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 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__15_44_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2484 markings, 8418 edges, 497 markings/sec, 0 secs
lola: 4994 markings, 17317 edges, 502 markings/sec, 5 secs
lola: 7500 markings, 25906 edges, 501 markings/sec, 10 secs
lola: 10007 markings, 34616 edges, 501 markings/sec, 15 secs
lola: 12511 markings, 43241 edges, 501 markings/sec, 20 secs
lola: 15012 markings, 51999 edges, 500 markings/sec, 25 secs
lola: 17517 markings, 60076 edges, 501 markings/sec, 30 secs
lola: 20025 markings, 67935 edges, 502 markings/sec, 35 secs
lola: 22531 markings, 76516 edges, 501 markings/sec, 40 secs
lola: 25035 markings, 85722 edges, 501 markings/sec, 45 secs
lola: 27541 markings, 94324 edges, 501 markings/sec, 50 secs
lola: 30038 markings, 103768 edges, 499 markings/sec, 55 secs
lola: 32544 markings, 112315 edges, 501 markings/sec, 60 secs
lola: 35049 markings, 120795 edges, 501 markings/sec, 65 secs
lola: 37555 markings, 129380 edges, 501 markings/sec, 70 secs
lola: 40062 markings, 137350 edges, 501 markings/sec, 75 secs
lola: 42571 markings, 145352 edges, 502 markings/sec, 80 secs
lola: 45079 markings, 154042 edges, 502 markings/sec, 85 secs
lola: 47590 markings, 162445 edges, 502 markings/sec, 90 secs
lola: 50109 markings, 170511 edges, 504 markings/sec, 95 secs
lola: 52629 markings, 178716 edges, 504 markings/sec, 100 secs
lola: 55151 markings, 186599 edges, 504 markings/sec, 105 secs
lola: 57662 markings, 194293 edges, 502 markings/sec, 110 secs
lola: 60167 markings, 202489 edges, 501 markings/sec, 115 secs
lola: 62676 markings, 210975 edges, 502 markings/sec, 120 secs
lola: 65189 markings, 219890 edges, 503 markings/sec, 125 secs
lola: 67697 markings, 228178 edges, 502 markings/sec, 130 secs
lola: 70207 markings, 236637 edges, 502 markings/sec, 135 secs
lola: 72723 markings, 245344 edges, 503 markings/sec, 140 secs
lola: 75228 markings, 254667 edges, 501 markings/sec, 145 secs
lola: 77728 markings, 263006 edges, 500 markings/sec, 150 secs
lola: 80227 markings, 271599 edges, 500 markings/sec, 155 secs
lola: 82727 markings, 279445 edges, 500 markings/sec, 160 secs
lola: 85226 markings, 287591 edges, 500 markings/sec, 165 secs
lola: 87727 markings, 296007 edges, 500 markings/sec, 170 secs
lola: 90228 markings, 304423 edges, 500 markings/sec, 175 secs
lola: 92729 markings, 312603 edges, 500 markings/sec, 180 secs
lola: 95226 markings, 321848 edges, 499 markings/sec, 185 secs
lola: 97728 markings, 330711 edges, 500 markings/sec, 190 secs
lola: 100232 markings, 339094 edges, 501 markings/sec, 195 secs
lola: 102742 markings, 347271 edges, 502 markings/sec, 200 secs
lola: 105254 markings, 355306 edges, 502 markings/sec, 205 secs
lola: 107766 markings, 363797 edges, 502 markings/sec, 210 secs
lola: 110275 markings, 372003 edges, 502 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Diffusion2D-PT-D50N100-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N100-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494643746272

--------------------
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="Diffusion2D-PT-D50N100"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D50N100.tgz
mv Diffusion2D-PT-D50N100 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is Diffusion2D-PT-D50N100, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r018-ebro-149436309300425"
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 ;