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

--------------------
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 1494639240636


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Diffusion2D-PT-D50N050 @ 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-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: 2375 markings, 8683 edges, 475 markings/sec, 0 secs
lola: 4873 markings, 17186 edges, 500 markings/sec, 5 secs
lola: 7351 markings, 25932 edges, 496 markings/sec, 10 secs
lola: 9811 markings, 34325 edges, 492 markings/sec, 15 secs
lola: 12246 markings, 42591 edges, 487 markings/sec, 20 secs
lola: 14714 markings, 50987 edges, 494 markings/sec, 25 secs
lola: 17178 markings, 59554 edges, 493 markings/sec, 30 secs
lola: 19606 markings, 68073 edges, 486 markings/sec, 35 secs
lola: 22092 markings, 76372 edges, 497 markings/sec, 40 secs
lola: 24533 markings, 84498 edges, 488 markings/sec, 45 secs
lola: 26987 markings, 93439 edges, 491 markings/sec, 50 secs
lola: 29459 markings, 102261 edges, 494 markings/sec, 55 secs
lola: 31924 markings, 110868 edges, 493 markings/sec, 60 secs
lola: 34398 markings, 119111 edges, 495 markings/sec, 65 secs
lola: 36869 markings, 126550 edges, 494 markings/sec, 70 secs
lola: 39347 markings, 134073 edges, 496 markings/sec, 75 secs
lola: 41825 markings, 142003 edges, 496 markings/sec, 80 secs
lola: 44306 markings, 150091 edges, 496 markings/sec, 85 secs
lola: 46785 markings, 158192 edges, 496 markings/sec, 90 secs
lola: 49266 markings, 166406 edges, 496 markings/sec, 95 secs
lola: 51744 markings, 174747 edges, 496 markings/sec, 100 secs
lola: 54214 markings, 181934 edges, 494 markings/sec, 105 secs
lola: 56685 markings, 189541 edges, 494 markings/sec, 110 secs
lola: 59156 markings, 197480 edges, 494 markings/sec, 115 secs
lola: 61638 markings, 205697 edges, 496 markings/sec, 120 secs
lola: 64116 markings, 213880 edges, 496 markings/sec, 125 secs
lola: 66588 markings, 222362 edges, 494 markings/sec, 130 secs
lola: 69067 markings, 229869 edges, 496 markings/sec, 135 secs
lola: 71549 markings, 237407 edges, 496 markings/sec, 140 secs
lola: 74026 markings, 245334 edges, 495 markings/sec, 145 secs
lola: 76504 markings, 253415 edges, 496 markings/sec, 150 secs
lola: 78988 markings, 261540 edges, 497 markings/sec, 155 secs
lola: 81466 markings, 269748 edges, 496 markings/sec, 160 secs
lola: 83924 markings, 278015 edges, 492 markings/sec, 165 secs
lola: 86376 markings, 285104 edges, 490 markings/sec, 170 secs
lola: 88847 markings, 292746 edges, 494 markings/sec, 175 secs
lola: 91311 markings, 300676 edges, 493 markings/sec, 180 secs
lola: 93784 markings, 308871 edges, 495 markings/sec, 185 secs
lola: 96245 markings, 316941 edges, 492 markings/sec, 190 secs
lola: 98730 markings, 325503 edges, 497 markings/sec, 195 secs
lola: 101225 markings, 333105 edges, 499 markings/sec, 200 secs
lola: 103714 markings, 340615 edges, 498 markings/sec, 205 secs
lola: 106200 markings, 348591 edges, 497 markings/sec, 210 secs
lola: 108692 markings, 356705 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 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: 2454 markings, 9159 edges, 491 markings/sec, 0 secs
lola: 4924 markings, 18272 edges, 494 markings/sec, 5 secs
lola: 7387 markings, 27265 edges, 493 markings/sec, 10 secs
lola: 9868 markings, 35490 edges, 496 markings/sec, 15 secs
lola: 12353 markings, 44112 edges, 497 markings/sec, 20 secs
lola: 14795 markings, 52391 edges, 488 markings/sec, 25 secs
lola: 17277 markings, 60526 edges, 496 markings/sec, 30 secs
lola: 19754 markings, 68715 edges, 495 markings/sec, 35 secs
lola: 22233 markings, 76977 edges, 496 markings/sec, 40 secs
lola: 24705 markings, 85107 edges, 494 markings/sec, 45 secs
lola: 27177 markings, 93152 edges, 494 markings/sec, 50 secs
lola: 29654 markings, 101064 edges, 495 markings/sec, 55 secs
lola: 32126 markings, 109662 edges, 494 markings/sec, 60 secs
lola: 34580 markings, 117961 edges, 491 markings/sec, 65 secs
lola: 37032 markings, 125702 edges, 490 markings/sec, 70 secs
lola: 39486 markings, 134022 edges, 491 markings/sec, 75 secs
lola: 41957 markings, 141717 edges, 494 markings/sec, 80 secs
lola: 44418 markings, 150412 edges, 492 markings/sec, 85 secs
lola: 46880 markings, 159091 edges, 492 markings/sec, 90 secs
lola: 49343 markings, 167252 edges, 493 markings/sec, 95 secs
lola: 51799 markings, 175478 edges, 491 markings/sec, 100 secs
lola: 54258 markings, 183598 edges, 492 markings/sec, 105 secs
lola: 56725 markings, 191444 edges, 493 markings/sec, 110 secs
lola: 59195 markings, 199587 edges, 494 markings/sec, 115 secs
lola: 61645 markings, 208299 edges, 490 markings/sec, 120 secs
lola: 64098 markings, 216594 edges, 491 markings/sec, 125 secs
lola: 66549 markings, 225184 edges, 490 markings/sec, 130 secs
lola: 68977 markings, 232738 edges, 486 markings/sec, 135 secs
lola: 71387 markings, 240853 edges, 482 markings/sec, 140 secs
lola: 73787 markings, 248695 edges, 480 markings/sec, 145 secs
lola: 76192 markings, 256203 edges, 481 markings/sec, 150 secs
lola: 78604 markings, 264412 edges, 482 markings/sec, 155 secs
lola: 80978 markings, 272846 edges, 475 markings/sec, 160 secs
lola: 83435 markings, 280530 edges, 491 markings/sec, 165 secs
lola: 85879 markings, 288478 edges, 489 markings/sec, 170 secs
lola: 88353 markings, 296468 edges, 495 markings/sec, 175 secs
lola: 90812 markings, 304924 edges, 492 markings/sec, 180 secs
lola: 93275 markings, 313500 edges, 493 markings/sec, 185 secs
lola: 95716 markings, 321445 edges, 488 markings/sec, 190 secs
lola: 98161 markings, 329284 edges, 489 markings/sec, 195 secs
lola: 100602 markings, 338064 edges, 488 markings/sec, 200 secs
lola: 103043 markings, 347163 edges, 488 markings/sec, 205 secs
lola: 105480 markings, 355456 edges, 487 markings/sec, 210 secs
lola: 107921 markings, 363650 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 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: 2406 markings, 8145 edges, 481 markings/sec, 0 secs
lola: 4861 markings, 16236 edges, 491 markings/sec, 5 secs
lola: 7313 markings, 24729 edges, 490 markings/sec, 10 secs
lola: 9760 markings, 33291 edges, 489 markings/sec, 15 secs
lola: 12207 markings, 42504 edges, 489 markings/sec, 20 secs
lola: 14653 markings, 51072 edges, 489 markings/sec, 25 secs
lola: 17106 markings, 59595 edges, 491 markings/sec, 30 secs
lola: 19569 markings, 68866 edges, 493 markings/sec, 35 secs
lola: 22039 markings, 77985 edges, 494 markings/sec, 40 secs
lola: 24516 markings, 86587 edges, 495 markings/sec, 45 secs
lola: 26981 markings, 95517 edges, 493 markings/sec, 50 secs
lola: 29444 markings, 104682 edges, 493 markings/sec, 55 secs
lola: 31908 markings, 113972 edges, 493 markings/sec, 60 secs
lola: 34372 markings, 123337 edges, 493 markings/sec, 65 secs
lola: 36847 markings, 132277 edges, 495 markings/sec, 70 secs
lola: 39320 markings, 141032 edges, 495 markings/sec, 75 secs
lola: 41795 markings, 149487 edges, 495 markings/sec, 80 secs
lola: 44263 markings, 158608 edges, 494 markings/sec, 85 secs
lola: 46725 markings, 167623 edges, 492 markings/sec, 90 secs
lola: 49184 markings, 177095 edges, 492 markings/sec, 95 secs
lola: 51648 markings, 186163 edges, 493 markings/sec, 100 secs
lola: 54113 markings, 195610 edges, 493 markings/sec, 105 secs
lola: 56576 markings, 205492 edges, 493 markings/sec, 110 secs
lola: 59046 markings, 213702 edges, 494 markings/sec, 115 secs
lola: 61511 markings, 222116 edges, 493 markings/sec, 120 secs
lola: 63974 markings, 231165 edges, 493 markings/sec, 125 secs
lola: 66431 markings, 240175 edges, 491 markings/sec, 130 secs
lola: 68890 markings, 249393 edges, 492 markings/sec, 135 secs
lola: 71350 markings, 258693 edges, 492 markings/sec, 140 secs
lola: 73812 markings, 267528 edges, 492 markings/sec, 145 secs
lola: 76274 markings, 276127 edges, 492 markings/sec, 150 secs
lola: 78732 markings, 285090 edges, 492 markings/sec, 155 secs
lola: 81201 markings, 293485 edges, 494 markings/sec, 160 secs
lola: 83671 markings, 302181 edges, 494 markings/sec, 165 secs
lola: 86141 markings, 310575 edges, 494 markings/sec, 170 secs
lola: 88605 markings, 319559 edges, 493 markings/sec, 175 secs
lola: 91068 markings, 328322 edges, 493 markings/sec, 180 secs
lola: 93525 markings, 338130 edges, 491 markings/sec, 185 secs
lola: 95980 markings, 347417 edges, 491 markings/sec, 190 secs
lola: 98437 markings, 356844 edges, 491 markings/sec, 195 secs
lola: 100897 markings, 365880 edges, 492 markings/sec, 200 secs
lola: 103363 markings, 374415 edges, 493 markings/sec, 205 secs
lola: 105820 markings, 383514 edges, 491 markings/sec, 210 secs
lola: 108286 markings, 392185 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 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: 2361 markings, 8820 edges, 472 markings/sec, 0 secs
lola: 4748 markings, 17432 edges, 477 markings/sec, 5 secs
lola: 7140 markings, 25815 edges, 478 markings/sec, 10 secs
lola: 9455 markings, 33321 edges, 463 markings/sec, 15 secs
lola: 11790 markings, 41063 edges, 467 markings/sec, 20 secs
lola: 14130 markings, 48393 edges, 468 markings/sec, 25 secs
lola: 16495 markings, 56341 edges, 473 markings/sec, 30 secs
lola: 18893 markings, 64317 edges, 480 markings/sec, 35 secs
lola: 21323 markings, 72268 edges, 486 markings/sec, 40 secs
lola: 23720 markings, 80174 edges, 479 markings/sec, 45 secs
lola: 26100 markings, 88629 edges, 476 markings/sec, 50 secs
lola: 28540 markings, 96336 edges, 488 markings/sec, 55 secs
lola: 30992 markings, 104287 edges, 490 markings/sec, 60 secs
lola: 33433 markings, 112062 edges, 488 markings/sec, 65 secs
lola: 35880 markings, 119606 edges, 489 markings/sec, 70 secs
lola: 38277 markings, 128389 edges, 479 markings/sec, 75 secs
lola: 40737 markings, 136375 edges, 492 markings/sec, 80 secs
lola: 43197 markings, 143952 edges, 492 markings/sec, 85 secs
lola: 45652 markings, 152460 edges, 491 markings/sec, 90 secs
lola: 48108 markings, 160380 edges, 491 markings/sec, 95 secs
lola: 50564 markings, 168487 edges, 491 markings/sec, 100 secs
lola: 53013 markings, 176012 edges, 490 markings/sec, 105 secs
lola: 55453 markings, 184664 edges, 488 markings/sec, 110 secs
lola: 57899 markings, 192262 edges, 489 markings/sec, 115 secs
lola: 60332 markings, 200478 edges, 487 markings/sec, 120 secs
lola: 62764 markings, 207867 edges, 486 markings/sec, 125 secs
lola: 65188 markings, 216138 edges, 485 markings/sec, 130 secs
lola: 67620 markings, 223873 edges, 486 markings/sec, 135 secs
lola: 70050 markings, 232258 edges, 486 markings/sec, 140 secs
lola: 72477 markings, 239768 edges, 485 markings/sec, 145 secs
lola: 74901 markings, 247688 edges, 485 markings/sec, 150 secs
lola: 77322 markings, 255620 edges, 484 markings/sec, 155 secs
lola: 79745 markings, 263811 edges, 485 markings/sec, 160 secs
lola: 82175 markings, 271532 edges, 486 markings/sec, 165 secs
lola: 84614 markings, 278864 edges, 488 markings/sec, 170 secs
lola: 87055 markings, 285713 edges, 488 markings/sec, 175 secs
lola: 89485 markings, 292777 edges, 486 markings/sec, 180 secs
lola: 91912 markings, 300240 edges, 485 markings/sec, 185 secs
lola: 94340 markings, 308871 edges, 486 markings/sec, 190 secs
lola: 96777 markings, 316726 edges, 487 markings/sec, 195 secs
lola: 99216 markings, 324598 edges, 488 markings/sec, 200 secs
lola: 101650 markings, 332920 edges, 487 markings/sec, 205 secs
lola: 104074 markings, 341039 edges, 485 markings/sec, 210 secs
lola: 106505 markings, 348501 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 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: 2440 markings, 8679 edges, 488 markings/sec, 0 secs
lola: 4903 markings, 17132 edges, 493 markings/sec, 5 secs
lola: 7361 markings, 26117 edges, 492 markings/sec, 10 secs
lola: 9819 markings, 35106 edges, 492 markings/sec, 15 secs
lola: 12281 markings, 44332 edges, 492 markings/sec, 20 secs
lola: 14733 markings, 53028 edges, 490 markings/sec, 25 secs
lola: 17176 markings, 61819 edges, 489 markings/sec, 30 secs
lola: 19619 markings, 70402 edges, 489 markings/sec, 35 secs
lola: 22011 markings, 78900 edges, 478 markings/sec, 40 secs
lola: 24422 markings, 87760 edges, 482 markings/sec, 45 secs
lola: 26837 markings, 96601 edges, 483 markings/sec, 50 secs
lola: 29175 markings, 105270 edges, 468 markings/sec, 55 secs
lola: 31613 markings, 113999 edges, 488 markings/sec, 60 secs
lola: 34002 markings, 122643 edges, 478 markings/sec, 65 secs
lola: 36445 markings, 131270 edges, 489 markings/sec, 70 secs
lola: 38904 markings, 139507 edges, 492 markings/sec, 75 secs
lola: 41338 markings, 148039 edges, 487 markings/sec, 80 secs
lola: 43798 markings, 157041 edges, 492 markings/sec, 85 secs
lola: 46251 markings, 165638 edges, 491 markings/sec, 90 secs
lola: 48698 markings, 174532 edges, 489 markings/sec, 95 secs
lola: 51144 markings, 183906 edges, 489 markings/sec, 100 secs
lola: 53592 markings, 193177 edges, 490 markings/sec, 105 secs
lola: 56059 markings, 202256 edges, 493 markings/sec, 110 secs
lola: 58525 markings, 211006 edges, 493 markings/sec, 115 secs
lola: 60980 markings, 220506 edges, 491 markings/sec, 120 secs
lola: 63435 markings, 229791 edges, 491 markings/sec, 125 secs
lola: 65907 markings, 238347 edges, 494 markings/sec, 130 secs
lola: 68386 markings, 246864 edges, 496 markings/sec, 135 secs
lola: 70859 markings, 255538 edges, 495 markings/sec, 140 secs
lola: 73327 markings, 264908 edges, 494 markings/sec, 145 secs
lola: 75787 markings, 273731 edges, 492 markings/sec, 150 secs
lola: 78254 markings, 282508 edges, 493 markings/sec, 155 secs
lola: 80730 markings, 291258 edges, 495 markings/sec, 160 secs
lola: 83177 markings, 300883 edges, 489 markings/sec, 165 secs
lola: 85588 markings, 309873 edges, 482 markings/sec, 170 secs
lola: 88015 markings, 318165 edges, 485 markings/sec, 175 secs
lola: 90432 markings, 327014 edges, 483 markings/sec, 180 secs
lola: 92854 markings, 335965 edges, 484 markings/sec, 185 secs
lola: 95294 markings, 344103 edges, 488 markings/sec, 190 secs
lola: 97744 markings, 352780 edges, 490 markings/sec, 195 secs
lola: 100196 markings, 361686 edges, 490 markings/sec, 200 secs
lola: 102642 markings, 369936 edges, 489 markings/sec, 205 secs
lola: 105082 markings, 379028 edges, 488 markings/sec, 210 secs
lola: 107521 markings, 387983 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 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: 2478 markings, 8234 edges, 496 markings/sec, 0 secs
lola: 4958 markings, 17606 edges, 496 markings/sec, 5 secs
lola: 7435 markings, 26541 edges, 495 markings/sec, 10 secs
lola: 9906 markings, 35944 edges, 494 markings/sec, 15 secs
lola: 12385 markings, 44833 edges, 496 markings/sec, 20 secs
lola: 14868 markings, 53733 edges, 497 markings/sec, 25 secs
lola: 17362 markings, 63163 edges, 499 markings/sec, 30 secs
lola: 19848 markings, 72066 edges, 497 markings/sec, 35 secs
lola: 22315 markings, 81378 edges, 493 markings/sec, 40 secs
lola: 24787 markings, 90359 edges, 494 markings/sec, 45 secs
lola: 27270 markings, 99322 edges, 497 markings/sec, 50 secs
lola: 29740 markings, 108600 edges, 494 markings/sec, 55 secs
lola: 32210 markings, 116424 edges, 494 markings/sec, 60 secs
lola: 34698 markings, 124015 edges, 498 markings/sec, 65 secs
lola: 37191 markings, 132478 edges, 499 markings/sec, 70 secs
lola: 39682 markings, 140878 edges, 498 markings/sec, 75 secs
lola: 42170 markings, 149443 edges, 498 markings/sec, 80 secs
lola: 44655 markings, 158135 edges, 497 markings/sec, 85 secs
lola: 47132 markings, 167087 edges, 495 markings/sec, 90 secs
lola: 49606 markings, 175697 edges, 495 markings/sec, 95 secs
lola: 52094 markings, 183486 edges, 498 markings/sec, 100 secs
lola: 54588 markings, 191551 edges, 499 markings/sec, 105 secs
lola: 57087 markings, 199559 edges, 500 markings/sec, 110 secs
lola: 59577 markings, 207737 edges, 498 markings/sec, 115 secs
lola: 62068 markings, 216251 edges, 498 markings/sec, 120 secs
lola: 64554 markings, 224690 edges, 497 markings/sec, 125 secs
lola: 67025 markings, 233235 edges, 494 markings/sec, 130 secs
lola: 69482 markings, 240927 edges, 491 markings/sec, 135 secs
lola: 71943 markings, 248409 edges, 492 markings/sec, 140 secs
lola: 74392 markings, 256780 edges, 490 markings/sec, 145 secs
lola: 76858 markings, 264948 edges, 493 markings/sec, 150 secs
lola: 79333 markings, 272486 edges, 495 markings/sec, 155 secs
lola: 81809 markings, 280143 edges, 495 markings/sec, 160 secs
lola: 84285 markings, 288158 edges, 495 markings/sec, 165 secs
lola: 86760 markings, 296487 edges, 495 markings/sec, 170 secs
lola: 89241 markings, 303882 edges, 496 markings/sec, 175 secs
lola: 91718 markings, 312022 edges, 495 markings/sec, 180 secs
lola: 94198 markings, 320203 edges, 496 markings/sec, 185 secs
lola: 96674 markings, 328167 edges, 495 markings/sec, 190 secs
lola: 99167 markings, 335697 edges, 499 markings/sec, 195 secs
lola: 101669 markings, 343828 edges, 500 markings/sec, 200 secs
lola: 104163 markings, 351940 edges, 499 markings/sec, 205 secs
lola: 106676 markings, 359671 edges, 503 markings/sec, 210 secs
lola: 109195 markings, 367748 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: 2457 markings, 8887 edges, 491 markings/sec, 0 secs
lola: 4924 markings, 17579 edges, 493 markings/sec, 5 secs
lola: 7388 markings, 26619 edges, 493 markings/sec, 10 secs
lola: 9852 markings, 35923 edges, 493 markings/sec, 15 secs
lola: 12311 markings, 44859 edges, 492 markings/sec, 20 secs
lola: 14763 markings, 54242 edges, 490 markings/sec, 25 secs
lola: 17214 markings, 63659 edges, 490 markings/sec, 30 secs
lola: 19679 markings, 72808 edges, 493 markings/sec, 35 secs
lola: 22137 markings, 82339 edges, 492 markings/sec, 40 secs
lola: 24598 markings, 91436 edges, 492 markings/sec, 45 secs
lola: 27055 markings, 100898 edges, 491 markings/sec, 50 secs
lola: 29509 markings, 110199 edges, 491 markings/sec, 55 secs
lola: 31891 markings, 119151 edges, 476 markings/sec, 60 secs
lola: 34345 markings, 127542 edges, 491 markings/sec, 65 secs
lola: 36795 markings, 136212 edges, 490 markings/sec, 70 secs
lola: 39252 markings, 144669 edges, 491 markings/sec, 75 secs
lola: 41706 markings, 153409 edges, 491 markings/sec, 80 secs
lola: 44168 markings, 161948 edges, 492 markings/sec, 85 secs
lola: 46616 markings, 170168 edges, 490 markings/sec, 90 secs
lola: 49060 markings, 179043 edges, 489 markings/sec, 95 secs
lola: 51518 markings, 187390 edges, 492 markings/sec, 100 secs
lola: 53973 markings, 195634 edges, 491 markings/sec, 105 secs
lola: 56414 markings, 204679 edges, 488 markings/sec, 110 secs
lola: 58861 markings, 212879 edges, 489 markings/sec, 115 secs
lola: 61312 markings, 221275 edges, 490 markings/sec, 120 secs
lola: 63758 markings, 230129 edges, 489 markings/sec, 125 secs
lola: 66213 markings, 238460 edges, 491 markings/sec, 130 secs
lola: 68666 markings, 246913 edges, 491 markings/sec, 135 secs
lola: 71114 markings, 255527 edges, 490 markings/sec, 140 secs
lola: 73570 markings, 263985 edges, 491 markings/sec, 145 secs
lola: 76032 markings, 272522 edges, 492 markings/sec, 150 secs
lola: 78500 markings, 281178 edges, 494 markings/sec, 155 secs
lola: 80946 markings, 289685 edges, 489 markings/sec, 160 secs
lola: 83401 markings, 298059 edges, 491 markings/sec, 165 secs
lola: 85860 markings, 306618 edges, 492 markings/sec, 170 secs
lola: 88319 markings, 315354 edges, 492 markings/sec, 175 secs
lola: 90782 markings, 323732 edges, 493 markings/sec, 180 secs
lola: 93239 markings, 331795 edges, 491 markings/sec, 185 secs
lola: 95702 markings, 339974 edges, 493 markings/sec, 190 secs
lola: 98171 markings, 348624 edges, 494 markings/sec, 195 secs
lola: 100653 markings, 356984 edges, 496 markings/sec, 200 secs
lola: 103127 markings, 366073 edges, 495 markings/sec, 205 secs
lola: 105602 markings, 374636 edges, 495 markings/sec, 210 secs
lola: 108065 markings, 383111 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 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: 2444 markings, 8559 edges, 489 markings/sec, 0 secs
lola: 4889 markings, 17300 edges, 489 markings/sec, 5 secs
lola: 7336 markings, 25975 edges, 489 markings/sec, 10 secs
lola: 9770 markings, 34801 edges, 487 markings/sec, 15 secs
lola: 12204 markings, 43190 edges, 487 markings/sec, 20 secs
lola: 14647 markings, 51176 edges, 489 markings/sec, 25 secs
lola: 17079 markings, 60115 edges, 486 markings/sec, 30 secs
lola: 19522 markings, 68910 edges, 489 markings/sec, 35 secs
lola: 21956 markings, 77862 edges, 487 markings/sec, 40 secs
lola: 24378 markings, 86671 edges, 484 markings/sec, 45 secs
lola: 26761 markings, 95404 edges, 477 markings/sec, 50 secs
lola: 29193 markings, 103963 edges, 486 markings/sec, 55 secs
lola: 31624 markings, 113827 edges, 486 markings/sec, 60 secs
lola: 34068 markings, 122940 edges, 489 markings/sec, 65 secs
lola: 36507 markings, 132168 edges, 488 markings/sec, 70 secs
lola: 38942 markings, 141568 edges, 487 markings/sec, 75 secs
lola: 41386 markings, 149599 edges, 489 markings/sec, 80 secs
lola: 43830 markings, 158392 edges, 489 markings/sec, 85 secs
lola: 46281 markings, 166975 edges, 490 markings/sec, 90 secs
lola: 48735 markings, 176379 edges, 491 markings/sec, 95 secs
lola: 51185 markings, 185795 edges, 490 markings/sec, 100 secs
lola: 53643 markings, 194732 edges, 492 markings/sec, 105 secs
lola: 56099 markings, 204040 edges, 491 markings/sec, 110 secs
lola: 58559 markings, 212671 edges, 492 markings/sec, 115 secs
lola: 61034 markings, 221248 edges, 495 markings/sec, 120 secs
lola: 63504 markings, 229627 edges, 494 markings/sec, 125 secs
lola: 65982 markings, 238167 edges, 496 markings/sec, 130 secs
lola: 68453 markings, 247202 edges, 494 markings/sec, 135 secs
lola: 70918 markings, 255955 edges, 493 markings/sec, 140 secs
lola: 73385 markings, 264899 edges, 493 markings/sec, 145 secs
lola: 75847 markings, 274447 edges, 492 markings/sec, 150 secs
lola: 78312 markings, 283294 edges, 493 markings/sec, 155 secs
lola: 80774 markings, 292742 edges, 492 markings/sec, 160 secs
lola: 83237 markings, 301095 edges, 493 markings/sec, 165 secs
lola: 85704 markings, 309635 edges, 493 markings/sec, 170 secs
lola: 88158 markings, 317925 edges, 491 markings/sec, 175 secs
lola: 90626 markings, 326385 edges, 494 markings/sec, 180 secs
lola: 93089 markings, 335530 edges, 493 markings/sec, 185 secs
lola: 95549 markings, 344616 edges, 492 markings/sec, 190 secs
lola: 98007 markings, 353135 edges, 492 markings/sec, 195 secs
lola: 100470 markings, 362087 edges, 493 markings/sec, 200 secs
lola: 102931 markings, 371199 edges, 492 markings/sec, 205 secs
lola: 105398 markings, 380254 edges, 493 markings/sec, 210 secs
lola: 107857 markings, 389269 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: 2484 markings, 9007 edges, 497 markings/sec, 0 secs
lola: 4978 markings, 17547 edges, 499 markings/sec, 5 secs
lola: 7484 markings, 26052 edges, 501 markings/sec, 10 secs
lola: 9982 markings, 34475 edges, 500 markings/sec, 15 secs
lola: 12484 markings, 43146 edges, 500 markings/sec, 20 secs
lola: 14982 markings, 51698 edges, 500 markings/sec, 25 secs
lola: 17474 markings, 60834 edges, 498 markings/sec, 30 secs
lola: 19981 markings, 69693 edges, 501 markings/sec, 35 secs
lola: 22488 markings, 78597 edges, 501 markings/sec, 40 secs
lola: 24996 markings, 87433 edges, 502 markings/sec, 45 secs
lola: 27490 markings, 96184 edges, 499 markings/sec, 50 secs
lola: 29996 markings, 104836 edges, 501 markings/sec, 55 secs
lola: 32494 markings, 113477 edges, 500 markings/sec, 60 secs
lola: 35000 markings, 121703 edges, 501 markings/sec, 65 secs
lola: 37504 markings, 129797 edges, 501 markings/sec, 70 secs
lola: 40002 markings, 138447 edges, 500 markings/sec, 75 secs
lola: 42492 markings, 146740 edges, 498 markings/sec, 80 secs
lola: 44973 markings, 154756 edges, 496 markings/sec, 85 secs
lola: 47464 markings, 163089 edges, 498 markings/sec, 90 secs
lola: 49962 markings, 171145 edges, 500 markings/sec, 95 secs
lola: 52474 markings, 179405 edges, 502 markings/sec, 100 secs
lola: 54976 markings, 187628 edges, 500 markings/sec, 105 secs
lola: 57476 markings, 196111 edges, 500 markings/sec, 110 secs
lola: 59977 markings, 204124 edges, 500 markings/sec, 115 secs
lola: 62494 markings, 212414 edges, 503 markings/sec, 120 secs
lola: 64991 markings, 220761 edges, 499 markings/sec, 125 secs
lola: 67489 markings, 229194 edges, 500 markings/sec, 130 secs
lola: 69996 markings, 237108 edges, 501 markings/sec, 135 secs
lola: 72490 markings, 245339 edges, 499 markings/sec, 140 secs
lola: 74992 markings, 253787 edges, 500 markings/sec, 145 secs
lola: 77496 markings, 262201 edges, 501 markings/sec, 150 secs
lola: 80000 markings, 270113 edges, 501 markings/sec, 155 secs
lola: 82496 markings, 278429 edges, 499 markings/sec, 160 secs
lola: 85012 markings, 286948 edges, 503 markings/sec, 165 secs
lola: 87510 markings, 295206 edges, 500 markings/sec, 170 secs
lola: 90012 markings, 303173 edges, 500 markings/sec, 175 secs
lola: 92506 markings, 311451 edges, 499 markings/sec, 180 secs
lola: 94995 markings, 319831 edges, 498 markings/sec, 185 secs
lola: 97503 markings, 328194 edges, 502 markings/sec, 190 secs
lola: 100008 markings, 336164 edges, 501 markings/sec, 195 secs
lola: 102518 markings, 344550 edges, 502 markings/sec, 200 secs
lola: 105024 markings, 353026 edges, 501 markings/sec, 205 secs
lola: 107525 markings, 361316 edges, 500 markings/sec, 210 secs
lola: 110017 markings, 370437 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: 2463 markings, 8297 edges, 493 markings/sec, 0 secs
lola: 4941 markings, 16983 edges, 496 markings/sec, 5 secs
lola: 7410 markings, 25781 edges, 494 markings/sec, 10 secs
lola: 9890 markings, 33272 edges, 496 markings/sec, 15 secs
lola: 12362 markings, 41617 edges, 494 markings/sec, 20 secs
lola: 14836 markings, 49432 edges, 495 markings/sec, 25 secs
lola: 17306 markings, 58012 edges, 494 markings/sec, 30 secs
lola: 19786 markings, 65037 edges, 496 markings/sec, 35 secs
lola: 22266 markings, 71976 edges, 496 markings/sec, 40 secs
lola: 24737 markings, 79724 edges, 494 markings/sec, 45 secs
lola: 27210 markings, 87293 edges, 495 markings/sec, 50 secs
lola: 29688 markings, 94505 edges, 496 markings/sec, 55 secs
lola: 32146 markings, 102418 edges, 492 markings/sec, 60 secs
lola: 34552 markings, 110608 edges, 481 markings/sec, 65 secs
lola: 36992 markings, 118704 edges, 488 markings/sec, 70 secs
lola: 39444 markings, 125985 edges, 490 markings/sec, 75 secs
lola: 41896 markings, 133852 edges, 490 markings/sec, 80 secs
lola: 44367 markings, 141135 edges, 494 markings/sec, 85 secs
lola: 46838 markings, 148066 edges, 494 markings/sec, 90 secs
lola: 49312 markings, 154667 edges, 495 markings/sec, 95 secs
lola: 51756 markings, 161133 edges, 489 markings/sec, 100 secs
lola: 54172 markings, 167909 edges, 483 markings/sec, 105 secs
lola: 56596 markings, 175555 edges, 485 markings/sec, 110 secs
lola: 59066 markings, 182470 edges, 494 markings/sec, 115 secs
lola: 61531 markings, 189331 edges, 493 markings/sec, 120 secs
lola: 63994 markings, 196233 edges, 493 markings/sec, 125 secs
lola: 66457 markings, 203387 edges, 493 markings/sec, 130 secs
lola: 68913 markings, 211291 edges, 491 markings/sec, 135 secs
lola: 71376 markings, 218729 edges, 493 markings/sec, 140 secs
lola: 73840 markings, 226315 edges, 493 markings/sec, 145 secs
lola: 76299 markings, 233640 edges, 492 markings/sec, 150 secs
lola: 78756 markings, 241237 edges, 491 markings/sec, 155 secs
lola: 81220 markings, 248145 edges, 493 markings/sec, 160 secs
lola: 83684 markings, 255251 edges, 493 markings/sec, 165 secs
lola: 86141 markings, 262626 edges, 491 markings/sec, 170 secs
lola: 88601 markings, 269669 edges, 492 markings/sec, 175 secs
lola: 91062 markings, 276630 edges, 492 markings/sec, 180 secs
lola: 93528 markings, 283863 edges, 493 markings/sec, 185 secs
lola: 95984 markings, 292072 edges, 491 markings/sec, 190 secs
lola: 98448 markings, 299889 edges, 493 markings/sec, 195 secs
lola: 100907 markings, 308723 edges, 492 markings/sec, 200 secs
lola: 103362 markings, 316806 edges, 491 markings/sec, 205 secs
lola: 105824 markings, 324016 edges, 492 markings/sec, 210 secs
lola: 108284 markings, 331690 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 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: 2421 markings, 8684 edges, 484 markings/sec, 0 secs
lola: 4900 markings, 17114 edges, 496 markings/sec, 5 secs
lola: 7377 markings, 25208 edges, 495 markings/sec, 10 secs
lola: 9857 markings, 33250 edges, 496 markings/sec, 15 secs
lola: 12339 markings, 41277 edges, 496 markings/sec, 20 secs
lola: 14824 markings, 49589 edges, 497 markings/sec, 25 secs
lola: 17313 markings, 57133 edges, 498 markings/sec, 30 secs
lola: 19799 markings, 65128 edges, 497 markings/sec, 35 secs
lola: 22280 markings, 73774 edges, 496 markings/sec, 40 secs
lola: 24777 markings, 82572 edges, 499 markings/sec, 45 secs
lola: 27268 markings, 92096 edges, 498 markings/sec, 50 secs
lola: 29774 markings, 100235 edges, 501 markings/sec, 55 secs
lola: 32285 markings, 108126 edges, 502 markings/sec, 60 secs
lola: 34798 markings, 115920 edges, 503 markings/sec, 65 secs
lola: 37303 markings, 124480 edges, 501 markings/sec, 70 secs
lola: 39814 markings, 133045 edges, 502 markings/sec, 75 secs
lola: 42333 markings, 140691 edges, 504 markings/sec, 80 secs
lola: 44844 markings, 148696 edges, 502 markings/sec, 85 secs
lola: 47344 markings, 156738 edges, 500 markings/sec, 90 secs
lola: 49851 markings, 164548 edges, 501 markings/sec, 95 secs
lola: 52360 markings, 172938 edges, 502 markings/sec, 100 secs
lola: 54878 markings, 180970 edges, 504 markings/sec, 105 secs
lola: 57387 markings, 189910 edges, 502 markings/sec, 110 secs
lola: 59899 markings, 198042 edges, 502 markings/sec, 115 secs
lola: 62407 markings, 206134 edges, 502 markings/sec, 120 secs
lola: 64917 markings, 214301 edges, 502 markings/sec, 125 secs
lola: 67437 markings, 221953 edges, 504 markings/sec, 130 secs
lola: 69958 markings, 230334 edges, 504 markings/sec, 135 secs
lola: 72479 markings, 238548 edges, 504 markings/sec, 140 secs
lola: 74996 markings, 247428 edges, 503 markings/sec, 145 secs
lola: 77513 markings, 255439 edges, 503 markings/sec, 150 secs
lola: 80031 markings, 263368 edges, 504 markings/sec, 155 secs
lola: 82549 markings, 271764 edges, 504 markings/sec, 160 secs
lola: 85067 markings, 280280 edges, 504 markings/sec, 165 secs
lola: 87583 markings, 289374 edges, 503 markings/sec, 170 secs
lola: 90106 markings, 297869 edges, 505 markings/sec, 175 secs
lola: 92624 markings, 306880 edges, 504 markings/sec, 180 secs
lola: 95138 markings, 315871 edges, 503 markings/sec, 185 secs
lola: 97676 markings, 323688 edges, 508 markings/sec, 190 secs
lola: 100213 markings, 331969 edges, 507 markings/sec, 195 secs
lola: 102744 markings, 340633 edges, 506 markings/sec, 200 secs
lola: 105268 markings, 348349 edges, 505 markings/sec, 205 secs
lola: 107772 markings, 357058 edges, 501 markings/sec, 210 secs
lola: 110271 markings, 365180 edges, 500 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: 2482 markings, 8706 edges, 496 markings/sec, 0 secs
lola: 4964 markings, 17456 edges, 496 markings/sec, 5 secs
lola: 7451 markings, 25985 edges, 497 markings/sec, 10 secs
lola: 9935 markings, 34551 edges, 497 markings/sec, 15 secs
lola: 12417 markings, 43101 edges, 496 markings/sec, 20 secs
lola: 14905 markings, 51685 edges, 498 markings/sec, 25 secs
lola: 17394 markings, 60118 edges, 498 markings/sec, 30 secs
lola: 19886 markings, 68706 edges, 498 markings/sec, 35 secs
lola: 22371 markings, 77269 edges, 497 markings/sec, 40 secs
lola: 24855 markings, 85894 edges, 497 markings/sec, 45 secs
lola: 27336 markings, 94589 edges, 496 markings/sec, 50 secs
lola: 29821 markings, 103288 edges, 497 markings/sec, 55 secs
lola: 32269 markings, 111496 edges, 490 markings/sec, 60 secs
lola: 34717 markings, 120053 edges, 490 markings/sec, 65 secs
lola: 37169 markings, 128662 edges, 490 markings/sec, 70 secs
lola: 39620 markings, 137118 edges, 490 markings/sec, 75 secs
lola: 42075 markings, 145431 edges, 491 markings/sec, 80 secs
lola: 44526 markings, 153510 edges, 490 markings/sec, 85 secs
lola: 46971 markings, 162592 edges, 489 markings/sec, 90 secs
lola: 49400 markings, 170956 edges, 486 markings/sec, 95 secs
lola: 51875 markings, 179564 edges, 495 markings/sec, 100 secs
lola: 54343 markings, 187818 edges, 494 markings/sec, 105 secs
lola: 56798 markings, 196697 edges, 491 markings/sec, 110 secs
lola: 59254 markings, 205305 edges, 491 markings/sec, 115 secs
lola: 61720 markings, 213886 edges, 493 markings/sec, 120 secs
lola: 64190 markings, 222608 edges, 494 markings/sec, 125 secs
lola: 66661 markings, 230909 edges, 494 markings/sec, 130 secs
lola: 69127 markings, 239715 edges, 493 markings/sec, 135 secs
lola: 71595 markings, 248125 edges, 494 markings/sec, 140 secs
lola: 74061 markings, 256928 edges, 493 markings/sec, 145 secs
lola: 76524 markings, 265255 edges, 493 markings/sec, 150 secs
lola: 79003 markings, 273792 edges, 496 markings/sec, 155 secs
lola: 81506 markings, 282709 edges, 501 markings/sec, 160 secs
lola: 83994 markings, 290957 edges, 498 markings/sec, 165 secs
lola: 86503 markings, 299612 edges, 502 markings/sec, 170 secs
lola: 89003 markings, 308607 edges, 500 markings/sec, 175 secs
lola: 91503 markings, 317501 edges, 500 markings/sec, 180 secs
lola: 94004 markings, 325845 edges, 500 markings/sec, 185 secs
lola: 96505 markings, 334275 edges, 500 markings/sec, 190 secs
lola: 99010 markings, 342952 edges, 501 markings/sec, 195 secs
lola: 101515 markings, 351721 edges, 501 markings/sec, 200 secs
lola: 104021 markings, 360079 edges, 501 markings/sec, 205 secs
lola: 106522 markings, 368798 edges, 500 markings/sec, 210 secs
lola: 109029 markings, 377418 edges, 501 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 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: 2417 markings, 8545 edges, 483 markings/sec, 0 secs
lola: 4880 markings, 17313 edges, 493 markings/sec, 5 secs
lola: 7351 markings, 26189 edges, 494 markings/sec, 10 secs
lola: 9811 markings, 34992 edges, 492 markings/sec, 15 secs
lola: 12271 markings, 44083 edges, 492 markings/sec, 20 secs
lola: 14737 markings, 52875 edges, 493 markings/sec, 25 secs
lola: 17203 markings, 61747 edges, 493 markings/sec, 30 secs
lola: 19667 markings, 70821 edges, 493 markings/sec, 35 secs
lola: 22123 markings, 79548 edges, 491 markings/sec, 40 secs
lola: 24589 markings, 88498 edges, 493 markings/sec, 45 secs
lola: 27051 markings, 96530 edges, 492 markings/sec, 50 secs
lola: 29511 markings, 105113 edges, 492 markings/sec, 55 secs
lola: 31966 markings, 113956 edges, 491 markings/sec, 60 secs
lola: 34427 markings, 122383 edges, 492 markings/sec, 65 secs
lola: 36891 markings, 130696 edges, 493 markings/sec, 70 secs
lola: 39351 markings, 139636 edges, 492 markings/sec, 75 secs
lola: 41807 markings, 148623 edges, 491 markings/sec, 80 secs
lola: 44267 markings, 158104 edges, 492 markings/sec, 85 secs
lola: 46721 markings, 167945 edges, 491 markings/sec, 90 secs
lola: 49176 markings, 176720 edges, 491 markings/sec, 95 secs
lola: 51618 markings, 186801 edges, 488 markings/sec, 100 secs
lola: 54075 markings, 195724 edges, 491 markings/sec, 105 secs
lola: 56526 markings, 205279 edges, 490 markings/sec, 110 secs
lola: 58966 markings, 215370 edges, 488 markings/sec, 115 secs
lola: 61411 markings, 225633 edges, 489 markings/sec, 120 secs
lola: 63873 markings, 234613 edges, 492 markings/sec, 125 secs
lola: 66349 markings, 242638 edges, 495 markings/sec, 130 secs
lola: 68820 markings, 251815 edges, 494 markings/sec, 135 secs
lola: 71286 markings, 261108 edges, 493 markings/sec, 140 secs
lola: 73754 markings, 270724 edges, 494 markings/sec, 145 secs
lola: 76221 markings, 280055 edges, 493 markings/sec, 150 secs
lola: 78684 markings, 289972 edges, 493 markings/sec, 155 secs
lola: 81156 markings, 298747 edges, 494 markings/sec, 160 secs
lola: 83630 markings, 307786 edges, 495 markings/sec, 165 secs
lola: 86091 markings, 316212 edges, 492 markings/sec, 170 secs
lola: 88548 markings, 324570 edges, 491 markings/sec, 175 secs
lola: 91008 markings, 332865 edges, 492 markings/sec, 180 secs
lola: 93468 markings, 341862 edges, 492 markings/sec, 185 secs
lola: 95930 markings, 350391 edges, 492 markings/sec, 190 secs
lola: 98387 markings, 359516 edges, 491 markings/sec, 195 secs
lola: 100835 markings, 368924 edges, 490 markings/sec, 200 secs
lola: 103292 markings, 378361 edges, 491 markings/sec, 205 secs
lola: 105755 markings, 386703 edges, 493 markings/sec, 210 secs
lola: 108220 markings, 394988 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 222 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: 2465 markings, 8453 edges, 493 markings/sec, 0 secs
lola: 4949 markings, 17212 edges, 497 markings/sec, 5 secs
lola: 7427 markings, 25762 edges, 496 markings/sec, 10 secs
lola: 9905 markings, 34480 edges, 496 markings/sec, 15 secs
lola: 12382 markings, 42716 edges, 495 markings/sec, 20 secs
lola: 14861 markings, 51205 edges, 496 markings/sec, 25 secs
lola: 17338 markings, 59687 edges, 495 markings/sec, 30 secs
lola: 19806 markings, 68452 edges, 494 markings/sec, 35 secs
lola: 22277 markings, 77543 edges, 494 markings/sec, 40 secs
lola: 24711 markings, 87054 edges, 487 markings/sec, 45 secs
lola: 27157 markings, 96548 edges, 489 markings/sec, 50 secs
lola: 29617 markings, 106735 edges, 492 markings/sec, 55 secs
lola: 32082 markings, 115686 edges, 493 markings/sec, 60 secs
lola: 34542 markings, 125090 edges, 492 markings/sec, 65 secs
lola: 36998 markings, 135546 edges, 491 markings/sec, 70 secs
lola: 39469 markings, 144626 edges, 494 markings/sec, 75 secs
lola: 41919 markings, 152781 edges, 490 markings/sec, 80 secs
lola: 44392 markings, 161196 edges, 495 markings/sec, 85 secs
lola: 46864 markings, 169806 edges, 494 markings/sec, 90 secs
lola: 49339 markings, 177674 edges, 495 markings/sec, 95 secs
lola: 51812 markings, 185832 edges, 495 markings/sec, 100 secs
lola: 54281 markings, 194515 edges, 494 markings/sec, 105 secs
lola: 56745 markings, 202776 edges, 493 markings/sec, 110 secs
lola: 59218 markings, 211383 edges, 495 markings/sec, 115 secs
lola: 61690 markings, 220093 edges, 494 markings/sec, 120 secs
lola: 64153 markings, 228665 edges, 493 markings/sec, 125 secs
lola: 66581 markings, 237850 edges, 486 markings/sec, 130 secs
lola: 69025 markings, 245742 edges, 489 markings/sec, 135 secs
lola: 71492 markings, 254074 edges, 493 markings/sec, 140 secs
lola: 73965 markings, 262996 edges, 495 markings/sec, 145 secs
lola: 76428 markings, 272354 edges, 493 markings/sec, 150 secs
lola: 78890 markings, 281522 edges, 492 markings/sec, 155 secs
lola: 81347 markings, 291327 edges, 491 markings/sec, 160 secs
lola: 83805 markings, 300284 edges, 492 markings/sec, 165 secs
lola: 86264 markings, 308396 edges, 492 markings/sec, 170 secs
lola: 88723 markings, 316914 edges, 492 markings/sec, 175 secs
lola: 91172 markings, 325810 edges, 490 markings/sec, 180 secs
lola: 93622 markings, 334412 edges, 490 markings/sec, 185 secs
lola: 96064 markings, 343702 edges, 488 markings/sec, 190 secs
lola: 98520 markings, 352792 edges, 491 markings/sec, 195 secs
lola: 100971 markings, 362749 edges, 490 markings/sec, 200 secs
lola: 103438 markings, 371957 edges, 493 markings/sec, 205 secs
lola: 105914 markings, 379419 edges, 495 markings/sec, 210 secs
lola: 108380 markings, 387672 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 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: 2465 markings, 8744 edges, 493 markings/sec, 0 secs
lola: 4948 markings, 17208 edges, 497 markings/sec, 5 secs
lola: 7429 markings, 25831 edges, 496 markings/sec, 10 secs
lola: 9913 markings, 34431 edges, 497 markings/sec, 15 secs
lola: 12400 markings, 43028 edges, 497 markings/sec, 20 secs
lola: 14890 markings, 51643 edges, 498 markings/sec, 25 secs
lola: 17372 markings, 60249 edges, 496 markings/sec, 30 secs
lola: 19851 markings, 68820 edges, 496 markings/sec, 35 secs
lola: 22328 markings, 77006 edges, 495 markings/sec, 40 secs
lola: 24806 markings, 85567 edges, 496 markings/sec, 45 secs
lola: 27290 markings, 94489 edges, 497 markings/sec, 50 secs
lola: 29767 markings, 103380 edges, 495 markings/sec, 55 secs
lola: 32246 markings, 111641 edges, 496 markings/sec, 60 secs
lola: 34719 markings, 120114 edges, 495 markings/sec, 65 secs
lola: 37177 markings, 128464 edges, 492 markings/sec, 70 secs
lola: 39624 markings, 137085 edges, 489 markings/sec, 75 secs
lola: 42055 markings, 145553 edges, 486 markings/sec, 80 secs
lola: 44486 markings, 153997 edges, 486 markings/sec, 85 secs
lola: 46917 markings, 162200 edges, 486 markings/sec, 90 secs
lola: 49350 markings, 170215 edges, 487 markings/sec, 95 secs
lola: 51781 markings, 178420 edges, 486 markings/sec, 100 secs
lola: 54208 markings, 186748 edges, 485 markings/sec, 105 secs
lola: 56639 markings, 195073 edges, 486 markings/sec, 110 secs
lola: 59109 markings, 203481 edges, 494 markings/sec, 115 secs
lola: 61596 markings, 211672 edges, 497 markings/sec, 120 secs
lola: 64040 markings, 220320 edges, 489 markings/sec, 125 secs
lola: 66520 markings, 228723 edges, 496 markings/sec, 130 secs
lola: 68988 markings, 237025 edges, 494 markings/sec, 135 secs
lola: 71461 markings, 245594 edges, 495 markings/sec, 140 secs
lola: 73938 markings, 253987 edges, 495 markings/sec, 145 secs
lola: 76403 markings, 262373 edges, 493 markings/sec, 150 secs
lola: 78876 markings, 270625 edges, 495 markings/sec, 155 secs
lola: 81354 markings, 279218 edges, 496 markings/sec, 160 secs
lola: 83835 markings, 287659 edges, 496 markings/sec, 165 secs
lola: 86306 markings, 296031 edges, 494 markings/sec, 170 secs
lola: 88786 markings, 304434 edges, 496 markings/sec, 175 secs
lola: 91263 markings, 312989 edges, 495 markings/sec, 180 secs
lola: 93735 markings, 321387 edges, 494 markings/sec, 185 secs
lola: 96206 markings, 329622 edges, 494 markings/sec, 190 secs
lola: 98680 markings, 338209 edges, 495 markings/sec, 195 secs
lola: 101155 markings, 346669 edges, 495 markings/sec, 200 secs
lola: 103630 markings, 355057 edges, 495 markings/sec, 205 secs
lola: 106096 markings, 363287 edges, 493 markings/sec, 210 secs
lola: 108560 markings, 371910 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 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: 2473 markings, 9145 edges, 495 markings/sec, 0 secs
lola: 4950 markings, 18210 edges, 495 markings/sec, 5 secs
lola: 7428 markings, 26647 edges, 496 markings/sec, 10 secs
lola: 9895 markings, 35644 edges, 493 markings/sec, 15 secs
lola: 12367 markings, 43959 edges, 494 markings/sec, 20 secs
lola: 14869 markings, 53094 edges, 500 markings/sec, 25 secs
lola: 17338 markings, 61707 edges, 494 markings/sec, 30 secs
lola: 19807 markings, 70566 edges, 494 markings/sec, 35 secs
lola: 22286 markings, 78979 edges, 496 markings/sec, 40 secs
lola: 24768 markings, 88051 edges, 496 markings/sec, 45 secs
lola: 27246 markings, 96414 edges, 496 markings/sec, 50 secs
lola: 29707 markings, 104225 edges, 492 markings/sec, 55 secs
lola: 32159 markings, 112726 edges, 490 markings/sec, 60 secs
lola: 34612 markings, 121552 edges, 491 markings/sec, 65 secs
lola: 37062 markings, 130426 edges, 490 markings/sec, 70 secs
lola: 39525 markings, 138919 edges, 493 markings/sec, 75 secs
lola: 42001 markings, 146904 edges, 495 markings/sec, 80 secs
lola: 44470 markings, 155646 edges, 494 markings/sec, 85 secs
lola: 46935 markings, 164758 edges, 493 markings/sec, 90 secs
lola: 49401 markings, 173620 edges, 493 markings/sec, 95 secs
lola: 51865 markings, 181863 edges, 493 markings/sec, 100 secs
lola: 54326 markings, 190177 edges, 492 markings/sec, 105 secs
lola: 56780 markings, 199052 edges, 491 markings/sec, 110 secs
lola: 59239 markings, 207655 edges, 492 markings/sec, 115 secs
lola: 61693 markings, 216346 edges, 491 markings/sec, 120 secs
lola: 64151 markings, 224528 edges, 492 markings/sec, 125 secs
lola: 66605 markings, 232835 edges, 491 markings/sec, 130 secs
lola: 69054 markings, 241644 edges, 490 markings/sec, 135 secs
lola: 71501 markings, 250210 edges, 489 markings/sec, 140 secs
lola: 73952 markings, 259527 edges, 490 markings/sec, 145 secs
lola: 76419 markings, 268489 edges, 493 markings/sec, 150 secs
lola: 78890 markings, 277218 edges, 494 markings/sec, 155 secs
lola: 81370 markings, 285854 edges, 496 markings/sec, 160 secs
lola: 83847 markings, 294516 edges, 495 markings/sec, 165 secs
lola: 86318 markings, 303932 edges, 494 markings/sec, 170 secs
lola: 88785 markings, 312885 edges, 493 markings/sec, 175 secs
lola: 91248 markings, 322230 edges, 493 markings/sec, 180 secs
lola: 93715 markings, 331751 edges, 493 markings/sec, 185 secs
lola: 96181 markings, 341350 edges, 493 markings/sec, 190 secs
lola: 98652 markings, 349829 edges, 494 markings/sec, 195 secs
lola: 101122 markings, 358242 edges, 494 markings/sec, 200 secs
lola: 103587 markings, 367060 edges, 493 markings/sec, 205 secs
lola: 106061 markings, 375873 edges, 495 markings/sec, 210 secs
lola: 108539 markings, 384725 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: 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 1494642780739

--------------------
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-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/Diffusion2D-PT-D50N050.tgz
mv 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 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 r018-ebro-149436309300416"
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 ;