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

--------------------
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-D40N100-UpperBounds-0
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-1
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-15
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-2
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-3
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-4
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-5
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-6
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-7
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-8
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494637017022


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Diffusion2D-PT-D40N100 @ 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: 13924/65536 symbol table entries, 3777 collisions
lola: preprocessing...
lola: finding significant places
lola: 1600 places, 12324 transitions, 1599 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1600 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D40N100-UpperBounds.task
lola: MAX(cAMP__6_39_) : MAX(cAMP__6_37_) : MAX(cAMP__8_13_) : MAX(cAMP__5_35_) : MAX(cAMP__22_40_) : MAX(cAMP__38_31_) : MAX(cAMP__21_35_) : MAX(cAMP__27_22_) : MAX(cAMP__6_5_) : MAX(cAMP__33_3_) : MAX(cAMP__10_26_) : MAX(cAMP__26_16_) : MAX(cAMP__1_38_) : MAX(cAMP__14_28_) : MAX(cAMP__28_20_) : MAX(cAMP__18_39_)
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__6_39_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 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: 4378 markings, 14729 edges, 876 markings/sec, 0 secs
lola: 8732 markings, 30188 edges, 871 markings/sec, 5 secs
lola: 13098 markings, 45602 edges, 873 markings/sec, 10 secs
lola: 17456 markings, 60968 edges, 872 markings/sec, 15 secs
lola: 21825 markings, 76461 edges, 874 markings/sec, 20 secs
lola: 26211 markings, 92051 edges, 877 markings/sec, 25 secs
lola: 30581 markings, 106463 edges, 874 markings/sec, 30 secs
lola: 34928 markings, 121156 edges, 869 markings/sec, 35 secs
lola: 39283 markings, 136021 edges, 871 markings/sec, 40 secs
lola: 43626 markings, 150644 edges, 869 markings/sec, 45 secs
lola: 47988 markings, 164843 edges, 872 markings/sec, 50 secs
lola: 52352 markings, 179492 edges, 873 markings/sec, 55 secs
lola: 56721 markings, 192812 edges, 874 markings/sec, 60 secs
lola: 61080 markings, 207753 edges, 872 markings/sec, 65 secs
lola: 65491 markings, 222501 edges, 882 markings/sec, 70 secs
lola: 69919 markings, 238175 edges, 886 markings/sec, 75 secs
lola: 74304 markings, 252202 edges, 877 markings/sec, 80 secs
lola: 78722 markings, 266907 edges, 884 markings/sec, 85 secs
lola: 83100 markings, 281180 edges, 876 markings/sec, 90 secs
lola: 87479 markings, 296707 edges, 876 markings/sec, 95 secs
lola: 91842 markings, 312178 edges, 873 markings/sec, 100 secs
lola: 96192 markings, 327065 edges, 870 markings/sec, 105 secs
lola: 100540 markings, 341686 edges, 870 markings/sec, 110 secs
lola: 104915 markings, 355981 edges, 875 markings/sec, 115 secs
lola: 109281 markings, 371145 edges, 873 markings/sec, 120 secs
lola: 113626 markings, 385660 edges, 869 markings/sec, 125 secs
lola: 117979 markings, 400683 edges, 871 markings/sec, 130 secs
lola: 122351 markings, 413843 edges, 874 markings/sec, 135 secs
lola: 126701 markings, 426745 edges, 870 markings/sec, 140 secs
lola: 131021 markings, 440494 edges, 864 markings/sec, 145 secs
lola: 135335 markings, 455405 edges, 863 markings/sec, 150 secs
lola: 139702 markings, 469219 edges, 873 markings/sec, 155 secs
lola: 144053 markings, 482571 edges, 870 markings/sec, 160 secs
lola: 148400 markings, 495962 edges, 869 markings/sec, 165 secs
lola: 152724 markings, 510122 edges, 865 markings/sec, 170 secs
lola: 157060 markings, 524002 edges, 867 markings/sec, 175 secs
lola: 161317 markings, 538316 edges, 851 markings/sec, 180 secs
lola: 165544 markings, 552557 edges, 845 markings/sec, 185 secs
lola: 169824 markings, 567933 edges, 856 markings/sec, 190 secs
lola: 174154 markings, 582576 edges, 866 markings/sec, 195 secs
lola: 178535 markings, 597034 edges, 876 markings/sec, 200 secs
lola: 182887 markings, 611137 edges, 870 markings/sec, 205 secs
lola: 187226 markings, 625864 edges, 868 markings/sec, 210 secs
lola: 191561 markings, 639750 edges, 867 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__6_37_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 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: 4391 markings, 15016 edges, 878 markings/sec, 0 secs
lola: 8807 markings, 30532 edges, 883 markings/sec, 5 secs
lola: 13229 markings, 45958 edges, 884 markings/sec, 10 secs
lola: 17666 markings, 60643 edges, 887 markings/sec, 15 secs
lola: 22068 markings, 76038 edges, 880 markings/sec, 20 secs
lola: 26486 markings, 90451 edges, 884 markings/sec, 25 secs
lola: 30889 markings, 105400 edges, 881 markings/sec, 30 secs
lola: 35287 markings, 119705 edges, 880 markings/sec, 35 secs
lola: 39685 markings, 134247 edges, 880 markings/sec, 40 secs
lola: 44084 markings, 148436 edges, 880 markings/sec, 45 secs
lola: 48486 markings, 162863 edges, 880 markings/sec, 50 secs
lola: 52890 markings, 177113 edges, 881 markings/sec, 55 secs
lola: 57305 markings, 191699 edges, 883 markings/sec, 60 secs
lola: 61698 markings, 206697 edges, 879 markings/sec, 65 secs
lola: 66086 markings, 222563 edges, 878 markings/sec, 70 secs
lola: 70500 markings, 237572 edges, 883 markings/sec, 75 secs
lola: 74873 markings, 252169 edges, 875 markings/sec, 80 secs
lola: 79296 markings, 266008 edges, 885 markings/sec, 85 secs
lola: 83704 markings, 280454 edges, 882 markings/sec, 90 secs
lola: 88109 markings, 294673 edges, 881 markings/sec, 95 secs
lola: 92580 markings, 308819 edges, 894 markings/sec, 100 secs
lola: 97042 markings, 324097 edges, 892 markings/sec, 105 secs
lola: 101494 markings, 339122 edges, 890 markings/sec, 110 secs
lola: 105916 markings, 355599 edges, 884 markings/sec, 115 secs
lola: 110309 markings, 370204 edges, 879 markings/sec, 120 secs
lola: 114693 markings, 384388 edges, 877 markings/sec, 125 secs
lola: 119106 markings, 398226 edges, 883 markings/sec, 130 secs
lola: 123437 markings, 412585 edges, 866 markings/sec, 135 secs
lola: 127761 markings, 426463 edges, 865 markings/sec, 140 secs
lola: 132130 markings, 440255 edges, 874 markings/sec, 145 secs
lola: 136490 markings, 455318 edges, 872 markings/sec, 150 secs
lola: 140804 markings, 469818 edges, 863 markings/sec, 155 secs
lola: 145130 markings, 485984 edges, 865 markings/sec, 160 secs
lola: 149538 markings, 500668 edges, 882 markings/sec, 165 secs
lola: 153953 markings, 514737 edges, 883 markings/sec, 170 secs
lola: 158342 markings, 528712 edges, 878 markings/sec, 175 secs
lola: 162736 markings, 542834 edges, 879 markings/sec, 180 secs
lola: 167024 markings, 556621 edges, 858 markings/sec, 185 secs
lola: 171386 markings, 571756 edges, 872 markings/sec, 190 secs
lola: 175764 markings, 586193 edges, 876 markings/sec, 195 secs
lola: 180135 markings, 600522 edges, 874 markings/sec, 200 secs
lola: 184482 markings, 614937 edges, 869 markings/sec, 205 secs
lola: 188854 markings, 628790 edges, 874 markings/sec, 210 secs
lola: 193254 markings, 642836 edges, 880 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__8_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 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: 4286 markings, 15319 edges, 857 markings/sec, 0 secs
lola: 8592 markings, 30956 edges, 861 markings/sec, 5 secs
lola: 12851 markings, 47192 edges, 852 markings/sec, 10 secs
lola: 17096 markings, 62708 edges, 849 markings/sec, 15 secs
lola: 21427 markings, 76924 edges, 866 markings/sec, 20 secs
lola: 25725 markings, 92756 edges, 860 markings/sec, 25 secs
lola: 30052 markings, 107152 edges, 865 markings/sec, 30 secs
lola: 34361 markings, 122544 edges, 862 markings/sec, 35 secs
lola: 38705 markings, 137857 edges, 869 markings/sec, 40 secs
lola: 43046 markings, 153959 edges, 868 markings/sec, 45 secs
lola: 47372 markings, 170402 edges, 865 markings/sec, 50 secs
lola: 51688 markings, 186222 edges, 863 markings/sec, 55 secs
lola: 56014 markings, 202154 edges, 865 markings/sec, 60 secs
lola: 60321 markings, 218027 edges, 861 markings/sec, 65 secs
lola: 64629 markings, 233926 edges, 862 markings/sec, 70 secs
lola: 69007 markings, 249584 edges, 876 markings/sec, 75 secs
lola: 73376 markings, 265963 edges, 874 markings/sec, 80 secs
lola: 77716 markings, 281568 edges, 868 markings/sec, 85 secs
lola: 82087 markings, 299290 edges, 874 markings/sec, 90 secs
lola: 86494 markings, 314747 edges, 881 markings/sec, 95 secs
lola: 90897 markings, 330454 edges, 881 markings/sec, 100 secs
lola: 95287 markings, 346495 edges, 878 markings/sec, 105 secs
lola: 99627 markings, 362770 edges, 868 markings/sec, 110 secs
lola: 103955 markings, 379144 edges, 866 markings/sec, 115 secs
lola: 108168 markings, 395960 edges, 843 markings/sec, 120 secs
lola: 112523 markings, 410499 edges, 871 markings/sec, 125 secs
lola: 116733 markings, 426337 edges, 842 markings/sec, 130 secs
lola: 121026 markings, 441475 edges, 859 markings/sec, 135 secs
lola: 125317 markings, 458392 edges, 858 markings/sec, 140 secs
lola: 129584 markings, 473913 edges, 853 markings/sec, 145 secs
lola: 133905 markings, 489868 edges, 864 markings/sec, 150 secs
lola: 138216 markings, 505818 edges, 862 markings/sec, 155 secs
lola: 142564 markings, 521180 edges, 870 markings/sec, 160 secs
lola: 146925 markings, 536976 edges, 872 markings/sec, 165 secs
lola: 151269 markings, 553555 edges, 869 markings/sec, 170 secs
lola: 155613 markings, 568740 edges, 869 markings/sec, 175 secs
lola: 159944 markings, 586439 edges, 866 markings/sec, 180 secs
lola: 164281 markings, 601620 edges, 867 markings/sec, 185 secs
lola: 168610 markings, 617287 edges, 866 markings/sec, 190 secs
lola: 172923 markings, 633043 edges, 863 markings/sec, 195 secs
lola: 177158 markings, 649176 edges, 847 markings/sec, 200 secs
lola: 181334 markings, 664657 edges, 835 markings/sec, 205 secs
lola: 185568 markings, 681424 edges, 847 markings/sec, 210 secs
lola: 189844 markings, 695781 edges, 855 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_35_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 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: 4339 markings, 14707 edges, 868 markings/sec, 0 secs
lola: 8676 markings, 30614 edges, 867 markings/sec, 5 secs
lola: 13019 markings, 46129 edges, 869 markings/sec, 10 secs
lola: 17385 markings, 61625 edges, 873 markings/sec, 15 secs
lola: 21721 markings, 76921 edges, 867 markings/sec, 20 secs
lola: 26044 markings, 92345 edges, 865 markings/sec, 25 secs
lola: 30383 markings, 106724 edges, 868 markings/sec, 30 secs
lola: 34704 markings, 122024 edges, 864 markings/sec, 35 secs
lola: 39015 markings, 136942 edges, 862 markings/sec, 40 secs
lola: 43326 markings, 152954 edges, 862 markings/sec, 45 secs
lola: 47617 markings, 169644 edges, 858 markings/sec, 50 secs
lola: 51936 markings, 184639 edges, 864 markings/sec, 55 secs
lola: 56259 markings, 199416 edges, 865 markings/sec, 60 secs
lola: 60570 markings, 214714 edges, 862 markings/sec, 65 secs
lola: 64907 markings, 229190 edges, 867 markings/sec, 70 secs
lola: 69274 markings, 244480 edges, 873 markings/sec, 75 secs
lola: 73660 markings, 258988 edges, 877 markings/sec, 80 secs
lola: 78012 markings, 274915 edges, 870 markings/sec, 85 secs
lola: 82418 markings, 290215 edges, 881 markings/sec, 90 secs
lola: 86843 markings, 305296 edges, 885 markings/sec, 95 secs
lola: 91230 markings, 320497 edges, 877 markings/sec, 100 secs
lola: 95608 markings, 335038 edges, 876 markings/sec, 105 secs
lola: 99999 markings, 349475 edges, 878 markings/sec, 110 secs
lola: 104357 markings, 364847 edges, 872 markings/sec, 115 secs
lola: 108667 markings, 381369 edges, 862 markings/sec, 120 secs
lola: 112980 markings, 397680 edges, 863 markings/sec, 125 secs
lola: 117342 markings, 413058 edges, 872 markings/sec, 130 secs
lola: 121733 markings, 427871 edges, 878 markings/sec, 135 secs
lola: 126065 markings, 443836 edges, 866 markings/sec, 140 secs
lola: 130400 markings, 458237 edges, 867 markings/sec, 145 secs
lola: 134772 markings, 475144 edges, 874 markings/sec, 150 secs
lola: 139144 markings, 489490 edges, 874 markings/sec, 155 secs
lola: 143497 markings, 505029 edges, 871 markings/sec, 160 secs
lola: 147842 markings, 520411 edges, 869 markings/sec, 165 secs
lola: 152167 markings, 537046 edges, 865 markings/sec, 170 secs
lola: 156482 markings, 552288 edges, 863 markings/sec, 175 secs
lola: 160822 markings, 567176 edges, 868 markings/sec, 180 secs
lola: 165200 markings, 582519 edges, 876 markings/sec, 185 secs
lola: 169560 markings, 597940 edges, 872 markings/sec, 190 secs
lola: 173875 markings, 613485 edges, 863 markings/sec, 195 secs
lola: 178206 markings, 627856 edges, 866 markings/sec, 200 secs
lola: 182547 markings, 642637 edges, 868 markings/sec, 205 secs
lola: 186894 markings, 657289 edges, 869 markings/sec, 210 secs
lola: 191224 markings, 672570 edges, 866 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__22_40_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 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: 4292 markings, 14753 edges, 858 markings/sec, 0 secs
lola: 8596 markings, 29349 edges, 861 markings/sec, 5 secs
lola: 12911 markings, 43569 edges, 863 markings/sec, 10 secs
lola: 17187 markings, 58395 edges, 855 markings/sec, 15 secs
lola: 21443 markings, 73066 edges, 851 markings/sec, 20 secs
lola: 25746 markings, 87724 edges, 861 markings/sec, 25 secs
lola: 30022 markings, 102687 edges, 855 markings/sec, 30 secs
lola: 34289 markings, 116944 edges, 853 markings/sec, 35 secs
lola: 38568 markings, 131691 edges, 856 markings/sec, 40 secs
lola: 42831 markings, 145883 edges, 853 markings/sec, 45 secs
lola: 47056 markings, 160650 edges, 845 markings/sec, 50 secs
lola: 51268 markings, 174885 edges, 842 markings/sec, 55 secs
lola: 55476 markings, 189253 edges, 842 markings/sec, 60 secs
lola: 59703 markings, 203235 edges, 845 markings/sec, 65 secs
lola: 63971 markings, 217693 edges, 854 markings/sec, 70 secs
lola: 68216 markings, 232196 edges, 849 markings/sec, 75 secs
lola: 72463 markings, 246540 edges, 849 markings/sec, 80 secs
lola: 76742 markings, 260734 edges, 856 markings/sec, 85 secs
lola: 81004 markings, 275160 edges, 852 markings/sec, 90 secs
lola: 85311 markings, 289658 edges, 861 markings/sec, 95 secs
lola: 89626 markings, 304422 edges, 863 markings/sec, 100 secs
lola: 93912 markings, 318788 edges, 857 markings/sec, 105 secs
lola: 98195 markings, 332669 edges, 857 markings/sec, 110 secs
lola: 102450 markings, 346759 edges, 851 markings/sec, 115 secs
lola: 106715 markings, 361595 edges, 853 markings/sec, 120 secs
lola: 110972 markings, 376428 edges, 851 markings/sec, 125 secs
lola: 115232 markings, 390546 edges, 852 markings/sec, 130 secs
lola: 119440 markings, 405118 edges, 842 markings/sec, 135 secs
lola: 123708 markings, 419655 edges, 854 markings/sec, 140 secs
lola: 127970 markings, 433750 edges, 852 markings/sec, 145 secs
lola: 132236 markings, 447952 edges, 853 markings/sec, 150 secs
lola: 136497 markings, 462000 edges, 852 markings/sec, 155 secs
lola: 140766 markings, 476687 edges, 854 markings/sec, 160 secs
lola: 145013 markings, 490862 edges, 849 markings/sec, 165 secs
lola: 149290 markings, 505097 edges, 855 markings/sec, 170 secs
lola: 153561 markings, 520169 edges, 854 markings/sec, 175 secs
lola: 157842 markings, 534775 edges, 856 markings/sec, 180 secs
lola: 162100 markings, 549690 edges, 852 markings/sec, 185 secs
lola: 166326 markings, 564590 edges, 845 markings/sec, 190 secs
lola: 170563 markings, 579450 edges, 847 markings/sec, 195 secs
lola: 174804 markings, 594114 edges, 848 markings/sec, 200 secs
lola: 179047 markings, 609630 edges, 849 markings/sec, 205 secs
lola: 183329 markings, 623935 edges, 856 markings/sec, 210 secs
lola: 187604 markings, 638365 edges, 855 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__38_31_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 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: 4463 markings, 14747 edges, 893 markings/sec, 0 secs
lola: 8905 markings, 30119 edges, 888 markings/sec, 5 secs
lola: 13355 markings, 45095 edges, 890 markings/sec, 10 secs
lola: 17812 markings, 60947 edges, 891 markings/sec, 15 secs
lola: 22233 markings, 77228 edges, 884 markings/sec, 20 secs
lola: 26683 markings, 92590 edges, 890 markings/sec, 25 secs
lola: 31157 markings, 108651 edges, 895 markings/sec, 30 secs
lola: 35602 markings, 125260 edges, 889 markings/sec, 35 secs
lola: 40040 markings, 140441 edges, 888 markings/sec, 40 secs
lola: 44476 markings, 155783 edges, 887 markings/sec, 45 secs
lola: 48892 markings, 171965 edges, 883 markings/sec, 50 secs
lola: 53350 markings, 187389 edges, 892 markings/sec, 55 secs
lola: 57781 markings, 202320 edges, 886 markings/sec, 60 secs
lola: 62231 markings, 217552 edges, 890 markings/sec, 65 secs
lola: 66677 markings, 231934 edges, 889 markings/sec, 70 secs
lola: 71101 markings, 246579 edges, 885 markings/sec, 75 secs
lola: 75510 markings, 262338 edges, 882 markings/sec, 80 secs
lola: 79920 markings, 277795 edges, 882 markings/sec, 85 secs
lola: 84332 markings, 292357 edges, 882 markings/sec, 90 secs
lola: 88728 markings, 306670 edges, 879 markings/sec, 95 secs
lola: 93119 markings, 320871 edges, 878 markings/sec, 100 secs
lola: 97551 markings, 335230 edges, 886 markings/sec, 105 secs
lola: 101993 markings, 349893 edges, 888 markings/sec, 110 secs
lola: 106402 markings, 365461 edges, 882 markings/sec, 115 secs
lola: 110797 markings, 380632 edges, 879 markings/sec, 120 secs
lola: 115198 markings, 396343 edges, 880 markings/sec, 125 secs
lola: 119610 markings, 411455 edges, 882 markings/sec, 130 secs
lola: 124022 markings, 426715 edges, 882 markings/sec, 135 secs
lola: 128435 markings, 441682 edges, 883 markings/sec, 140 secs
lola: 132851 markings, 456844 edges, 883 markings/sec, 145 secs
lola: 137240 markings, 471801 edges, 878 markings/sec, 150 secs
lola: 141665 markings, 486882 edges, 885 markings/sec, 155 secs
lola: 146067 markings, 501735 edges, 880 markings/sec, 160 secs
lola: 150453 markings, 516719 edges, 877 markings/sec, 165 secs
lola: 154865 markings, 531848 edges, 882 markings/sec, 170 secs
lola: 159288 markings, 546951 edges, 885 markings/sec, 175 secs
lola: 163696 markings, 561825 edges, 882 markings/sec, 180 secs
lola: 168136 markings, 576856 edges, 888 markings/sec, 185 secs
lola: 172507 markings, 592677 edges, 874 markings/sec, 190 secs
lola: 176869 markings, 607687 edges, 872 markings/sec, 195 secs
lola: 181293 markings, 622848 edges, 885 markings/sec, 200 secs
lola: 185720 markings, 638327 edges, 885 markings/sec, 205 secs
lola: 190155 markings, 653650 edges, 887 markings/sec, 210 secs
lola: 194585 markings, 668724 edges, 886 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__21_35_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 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: 4384 markings, 15012 edges, 877 markings/sec, 0 secs
lola: 8799 markings, 30454 edges, 883 markings/sec, 5 secs
lola: 13196 markings, 45718 edges, 879 markings/sec, 10 secs
lola: 17590 markings, 60323 edges, 879 markings/sec, 15 secs
lola: 21988 markings, 74681 edges, 880 markings/sec, 20 secs
lola: 26374 markings, 90391 edges, 877 markings/sec, 25 secs
lola: 30745 markings, 106909 edges, 874 markings/sec, 30 secs
lola: 35133 markings, 123283 edges, 878 markings/sec, 35 secs
lola: 39504 markings, 140346 edges, 874 markings/sec, 40 secs
lola: 43884 markings, 156092 edges, 876 markings/sec, 45 secs
lola: 48303 markings, 170450 edges, 884 markings/sec, 50 secs
lola: 52709 markings, 185876 edges, 881 markings/sec, 55 secs
lola: 57111 markings, 201801 edges, 880 markings/sec, 60 secs
lola: 61501 markings, 217519 edges, 878 markings/sec, 65 secs
lola: 65901 markings, 233134 edges, 880 markings/sec, 70 secs
lola: 70288 markings, 249226 edges, 877 markings/sec, 75 secs
lola: 74712 markings, 263973 edges, 885 markings/sec, 80 secs
lola: 79109 markings, 279758 edges, 879 markings/sec, 85 secs
lola: 83510 markings, 295623 edges, 880 markings/sec, 90 secs
lola: 87891 markings, 310920 edges, 876 markings/sec, 95 secs
lola: 92266 markings, 325697 edges, 875 markings/sec, 100 secs
lola: 96661 markings, 340343 edges, 879 markings/sec, 105 secs
lola: 101057 markings, 355896 edges, 879 markings/sec, 110 secs
lola: 105449 markings, 371985 edges, 878 markings/sec, 115 secs
lola: 109837 markings, 388410 edges, 878 markings/sec, 120 secs
lola: 114116 markings, 404938 edges, 856 markings/sec, 125 secs
lola: 118456 markings, 421624 edges, 868 markings/sec, 130 secs
lola: 122824 markings, 435754 edges, 874 markings/sec, 135 secs
lola: 127185 markings, 450321 edges, 872 markings/sec, 140 secs
lola: 131547 markings, 466352 edges, 872 markings/sec, 145 secs
lola: 135918 markings, 481930 edges, 874 markings/sec, 150 secs
lola: 140238 markings, 497920 edges, 864 markings/sec, 155 secs
lola: 144653 markings, 512176 edges, 883 markings/sec, 160 secs
lola: 149074 markings, 527045 edges, 884 markings/sec, 165 secs
lola: 153495 markings, 541244 edges, 884 markings/sec, 170 secs
lola: 157900 markings, 555490 edges, 881 markings/sec, 175 secs
lola: 162301 markings, 570393 edges, 880 markings/sec, 180 secs
lola: 166712 markings, 586383 edges, 882 markings/sec, 185 secs
lola: 171109 markings, 602334 edges, 879 markings/sec, 190 secs
lola: 175520 markings, 616345 edges, 882 markings/sec, 195 secs
lola: 179898 markings, 631771 edges, 876 markings/sec, 200 secs
lola: 184275 markings, 646886 edges, 875 markings/sec, 205 secs
lola: 188657 markings, 662977 edges, 876 markings/sec, 210 secs
lola: 193047 markings, 677828 edges, 878 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__27_22_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 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: 4418 markings, 14582 edges, 884 markings/sec, 0 secs
lola: 8823 markings, 29373 edges, 881 markings/sec, 5 secs
lola: 13211 markings, 45739 edges, 878 markings/sec, 10 secs
lola: 17596 markings, 62308 edges, 877 markings/sec, 15 secs
lola: 21983 markings, 77511 edges, 877 markings/sec, 20 secs
lola: 26393 markings, 92276 edges, 882 markings/sec, 25 secs
lola: 30776 markings, 107799 edges, 877 markings/sec, 30 secs
lola: 35178 markings, 122359 edges, 880 markings/sec, 35 secs
lola: 39582 markings, 136226 edges, 881 markings/sec, 40 secs
lola: 43974 markings, 151324 edges, 878 markings/sec, 45 secs
lola: 48359 markings, 166863 edges, 877 markings/sec, 50 secs
lola: 52741 markings, 182102 edges, 876 markings/sec, 55 secs
lola: 57127 markings, 196155 edges, 877 markings/sec, 60 secs
lola: 61516 markings, 210517 edges, 878 markings/sec, 65 secs
lola: 65895 markings, 225189 edges, 876 markings/sec, 70 secs
lola: 70271 markings, 239685 edges, 875 markings/sec, 75 secs
lola: 74647 markings, 254507 edges, 875 markings/sec, 80 secs
lola: 79015 markings, 269821 edges, 874 markings/sec, 85 secs
lola: 83377 markings, 285227 edges, 872 markings/sec, 90 secs
lola: 87744 markings, 300181 edges, 873 markings/sec, 95 secs
lola: 92140 markings, 316199 edges, 879 markings/sec, 100 secs
lola: 96514 markings, 331769 edges, 875 markings/sec, 105 secs
lola: 100897 markings, 346536 edges, 877 markings/sec, 110 secs
lola: 105274 markings, 361597 edges, 875 markings/sec, 115 secs
lola: 109648 markings, 376656 edges, 875 markings/sec, 120 secs
lola: 114004 markings, 392538 edges, 871 markings/sec, 125 secs
lola: 118385 markings, 407574 edges, 876 markings/sec, 130 secs
lola: 122771 markings, 422254 edges, 877 markings/sec, 135 secs
lola: 127163 markings, 436981 edges, 878 markings/sec, 140 secs
lola: 131554 markings, 452400 edges, 878 markings/sec, 145 secs
lola: 135942 markings, 467764 edges, 878 markings/sec, 150 secs
lola: 140331 markings, 482378 edges, 878 markings/sec, 155 secs
lola: 144706 markings, 497446 edges, 875 markings/sec, 160 secs
lola: 149085 markings, 511855 edges, 876 markings/sec, 165 secs
lola: 153462 markings, 526321 edges, 875 markings/sec, 170 secs
lola: 157860 markings, 540677 edges, 880 markings/sec, 175 secs
lola: 162198 markings, 555155 edges, 868 markings/sec, 180 secs
lola: 166565 markings, 569797 edges, 873 markings/sec, 185 secs
lola: 170924 markings, 584330 edges, 872 markings/sec, 190 secs
lola: 175283 markings, 600035 edges, 872 markings/sec, 195 secs
lola: 179639 markings, 615840 edges, 871 markings/sec, 200 secs
lola: 184010 markings, 631349 edges, 874 markings/sec, 205 secs
lola: 188346 markings, 647074 edges, 867 markings/sec, 210 secs
lola: 192698 markings, 661929 edges, 870 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__6_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 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: 4334 markings, 15658 edges, 867 markings/sec, 0 secs
lola: 8710 markings, 31582 edges, 875 markings/sec, 5 secs
lola: 13070 markings, 47540 edges, 872 markings/sec, 10 secs
lola: 17402 markings, 62969 edges, 866 markings/sec, 15 secs
lola: 21756 markings, 78607 edges, 871 markings/sec, 20 secs
lola: 26064 markings, 92767 edges, 862 markings/sec, 25 secs
lola: 30412 markings, 107701 edges, 870 markings/sec, 30 secs
lola: 34677 markings, 122723 edges, 853 markings/sec, 35 secs
lola: 38994 markings, 138772 edges, 863 markings/sec, 40 secs
lola: 43384 markings, 153021 edges, 878 markings/sec, 45 secs
lola: 47712 markings, 167382 edges, 866 markings/sec, 50 secs
lola: 52087 markings, 181856 edges, 875 markings/sec, 55 secs
lola: 56460 markings, 196976 edges, 875 markings/sec, 60 secs
lola: 60812 markings, 213056 edges, 870 markings/sec, 65 secs
lola: 65143 markings, 229224 edges, 866 markings/sec, 70 secs
lola: 69481 markings, 245613 edges, 868 markings/sec, 75 secs
lola: 73822 markings, 261609 edges, 868 markings/sec, 80 secs
lola: 78178 markings, 276861 edges, 871 markings/sec, 85 secs
lola: 82505 markings, 292991 edges, 865 markings/sec, 90 secs
lola: 86860 markings, 307927 edges, 871 markings/sec, 95 secs
lola: 91258 markings, 322917 edges, 880 markings/sec, 100 secs
lola: 95682 markings, 339021 edges, 885 markings/sec, 105 secs
lola: 100107 markings, 354325 edges, 885 markings/sec, 110 secs
lola: 104510 markings, 368516 edges, 881 markings/sec, 115 secs
lola: 108918 markings, 383593 edges, 882 markings/sec, 120 secs
lola: 113300 markings, 398648 edges, 876 markings/sec, 125 secs
lola: 117663 markings, 414756 edges, 873 markings/sec, 130 secs
lola: 122039 markings, 430235 edges, 875 markings/sec, 135 secs
lola: 126455 markings, 444934 edges, 883 markings/sec, 140 secs
lola: 130871 markings, 459966 edges, 883 markings/sec, 145 secs
lola: 135270 markings, 475246 edges, 880 markings/sec, 150 secs
lola: 139661 markings, 489784 edges, 878 markings/sec, 155 secs
lola: 144041 markings, 505184 edges, 876 markings/sec, 160 secs
lola: 148437 markings, 519504 edges, 879 markings/sec, 165 secs
lola: 152830 markings, 534260 edges, 879 markings/sec, 170 secs
lola: 157250 markings, 549046 edges, 884 markings/sec, 175 secs
lola: 161636 markings, 565125 edges, 877 markings/sec, 180 secs
lola: 166030 markings, 580463 edges, 879 markings/sec, 185 secs
lola: 170418 markings, 596311 edges, 878 markings/sec, 190 secs
lola: 174816 markings, 611484 edges, 880 markings/sec, 195 secs
lola: 179209 markings, 626072 edges, 879 markings/sec, 200 secs
lola: 183587 markings, 640684 edges, 876 markings/sec, 205 secs
lola: 187971 markings, 655446 edges, 877 markings/sec, 210 secs
lola: 192316 markings, 670243 edges, 869 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__33_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 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: 4385 markings, 15246 edges, 877 markings/sec, 0 secs
lola: 8780 markings, 30347 edges, 879 markings/sec, 5 secs
lola: 13171 markings, 45278 edges, 878 markings/sec, 10 secs
lola: 17558 markings, 60657 edges, 877 markings/sec, 15 secs
lola: 21940 markings, 75736 edges, 876 markings/sec, 20 secs
lola: 26313 markings, 91424 edges, 875 markings/sec, 25 secs
lola: 30711 markings, 106390 edges, 880 markings/sec, 30 secs
lola: 35101 markings, 121691 edges, 878 markings/sec, 35 secs
lola: 39475 markings, 136835 edges, 875 markings/sec, 40 secs
lola: 43842 markings, 152207 edges, 873 markings/sec, 45 secs
lola: 48229 markings, 167364 edges, 877 markings/sec, 50 secs
lola: 52612 markings, 182386 edges, 877 markings/sec, 55 secs
lola: 56960 markings, 197833 edges, 870 markings/sec, 60 secs
lola: 61328 markings, 212949 edges, 874 markings/sec, 65 secs
lola: 65603 markings, 227444 edges, 855 markings/sec, 70 secs
lola: 69995 markings, 241067 edges, 878 markings/sec, 75 secs
lola: 74356 markings, 255693 edges, 872 markings/sec, 80 secs
lola: 78658 markings, 271203 edges, 860 markings/sec, 85 secs
lola: 82976 markings, 286026 edges, 864 markings/sec, 90 secs
lola: 87356 markings, 301514 edges, 876 markings/sec, 95 secs
lola: 91726 markings, 316705 edges, 874 markings/sec, 100 secs
lola: 95970 markings, 331937 edges, 849 markings/sec, 105 secs
lola: 100359 markings, 345935 edges, 878 markings/sec, 110 secs
lola: 104743 markings, 360504 edges, 877 markings/sec, 115 secs
lola: 109141 markings, 375951 edges, 880 markings/sec, 120 secs
lola: 113506 markings, 391397 edges, 873 markings/sec, 125 secs
lola: 117884 markings, 405746 edges, 876 markings/sec, 130 secs
lola: 122267 markings, 419778 edges, 877 markings/sec, 135 secs
lola: 126630 markings, 434643 edges, 873 markings/sec, 140 secs
lola: 131012 markings, 447718 edges, 876 markings/sec, 145 secs
lola: 135361 markings, 462893 edges, 870 markings/sec, 150 secs
lola: 139720 markings, 477833 edges, 872 markings/sec, 155 secs
lola: 144098 markings, 491521 edges, 876 markings/sec, 160 secs
lola: 148453 markings, 506172 edges, 871 markings/sec, 165 secs
lola: 152795 markings, 521857 edges, 868 markings/sec, 170 secs
lola: 157163 markings, 537278 edges, 874 markings/sec, 175 secs
lola: 161504 markings, 552632 edges, 868 markings/sec, 180 secs
lola: 165848 markings, 567968 edges, 869 markings/sec, 185 secs
lola: 170226 markings, 581519 edges, 876 markings/sec, 190 secs
lola: 174618 markings, 595222 edges, 878 markings/sec, 195 secs
lola: 179001 markings, 610626 edges, 877 markings/sec, 200 secs
lola: 183384 markings, 625869 edges, 877 markings/sec, 205 secs
lola: 187792 markings, 641376 edges, 882 markings/sec, 210 secs
lola: 192178 markings, 657349 edges, 877 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__10_26_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 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: 4324 markings, 15237 edges, 865 markings/sec, 0 secs
lola: 8709 markings, 31245 edges, 877 markings/sec, 5 secs
lola: 13067 markings, 46813 edges, 872 markings/sec, 10 secs
lola: 17439 markings, 62360 edges, 874 markings/sec, 15 secs
lola: 21790 markings, 78098 edges, 870 markings/sec, 20 secs
lola: 26152 markings, 93549 edges, 872 markings/sec, 25 secs
lola: 30524 markings, 109926 edges, 874 markings/sec, 30 secs
lola: 34877 markings, 125657 edges, 871 markings/sec, 35 secs
lola: 39233 markings, 141486 edges, 871 markings/sec, 40 secs
lola: 43583 markings, 157608 edges, 870 markings/sec, 45 secs
lola: 47926 markings, 173431 edges, 869 markings/sec, 50 secs
lola: 52282 markings, 189436 edges, 871 markings/sec, 55 secs
lola: 56672 markings, 205291 edges, 878 markings/sec, 60 secs
lola: 61035 markings, 220847 edges, 873 markings/sec, 65 secs
lola: 65392 markings, 236721 edges, 871 markings/sec, 70 secs
lola: 69752 markings, 252352 edges, 872 markings/sec, 75 secs
lola: 74119 markings, 267558 edges, 873 markings/sec, 80 secs
lola: 78475 markings, 282947 edges, 871 markings/sec, 85 secs
lola: 82822 markings, 299372 edges, 869 markings/sec, 90 secs
lola: 87161 markings, 314460 edges, 868 markings/sec, 95 secs
lola: 91506 markings, 329263 edges, 869 markings/sec, 100 secs
lola: 95847 markings, 345298 edges, 868 markings/sec, 105 secs
lola: 100198 markings, 360581 edges, 870 markings/sec, 110 secs
lola: 104542 markings, 376609 edges, 869 markings/sec, 115 secs
lola: 108905 markings, 391762 edges, 873 markings/sec, 120 secs
lola: 113242 markings, 407583 edges, 867 markings/sec, 125 secs
lola: 117602 markings, 423040 edges, 872 markings/sec, 130 secs
lola: 121961 markings, 437917 edges, 872 markings/sec, 135 secs
lola: 126289 markings, 453800 edges, 866 markings/sec, 140 secs
lola: 130625 markings, 469260 edges, 867 markings/sec, 145 secs
lola: 134977 markings, 483244 edges, 870 markings/sec, 150 secs
lola: 139308 markings, 498015 edges, 866 markings/sec, 155 secs
lola: 143627 markings, 512796 edges, 864 markings/sec, 160 secs
lola: 147957 markings, 528412 edges, 866 markings/sec, 165 secs
lola: 152293 markings, 544499 edges, 867 markings/sec, 170 secs
lola: 156628 markings, 560385 edges, 867 markings/sec, 175 secs
lola: 160929 markings, 575501 edges, 860 markings/sec, 180 secs
lola: 165241 markings, 590676 edges, 862 markings/sec, 185 secs
lola: 169589 markings, 605799 edges, 870 markings/sec, 190 secs
lola: 173936 markings, 621478 edges, 869 markings/sec, 195 secs
lola: 178278 markings, 637617 edges, 868 markings/sec, 200 secs
lola: 182613 markings, 652880 edges, 867 markings/sec, 205 secs
lola: 186951 markings, 667757 edges, 868 markings/sec, 210 secs
lola: 191277 markings, 682683 edges, 865 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__26_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 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: 4359 markings, 14312 edges, 872 markings/sec, 0 secs
lola: 8726 markings, 30460 edges, 873 markings/sec, 5 secs
lola: 13078 markings, 46352 edges, 870 markings/sec, 10 secs
lola: 17429 markings, 61322 edges, 870 markings/sec, 15 secs
lola: 21765 markings, 77133 edges, 867 markings/sec, 20 secs
lola: 26095 markings, 92601 edges, 866 markings/sec, 25 secs
lola: 30434 markings, 107404 edges, 868 markings/sec, 30 secs
lola: 34791 markings, 121337 edges, 871 markings/sec, 35 secs
lola: 39163 markings, 135450 edges, 874 markings/sec, 40 secs
lola: 43537 markings, 149745 edges, 875 markings/sec, 45 secs
lola: 47892 markings, 165075 edges, 871 markings/sec, 50 secs
lola: 52233 markings, 179766 edges, 868 markings/sec, 55 secs
lola: 56557 markings, 194728 edges, 865 markings/sec, 60 secs
lola: 60858 markings, 210633 edges, 860 markings/sec, 65 secs
lola: 65190 markings, 226569 edges, 866 markings/sec, 70 secs
lola: 69511 markings, 242510 edges, 864 markings/sec, 75 secs
lola: 73810 markings, 258982 edges, 860 markings/sec, 80 secs
lola: 78104 markings, 275847 edges, 859 markings/sec, 85 secs
lola: 82417 markings, 290612 edges, 863 markings/sec, 90 secs
lola: 86692 markings, 308069 edges, 855 markings/sec, 95 secs
lola: 90994 markings, 323215 edges, 860 markings/sec, 100 secs
lola: 95343 markings, 337403 edges, 870 markings/sec, 105 secs
lola: 99687 markings, 351994 edges, 869 markings/sec, 110 secs
lola: 104033 markings, 366239 edges, 869 markings/sec, 115 secs
lola: 108345 markings, 381807 edges, 862 markings/sec, 120 secs
lola: 112656 markings, 396262 edges, 862 markings/sec, 125 secs
lola: 116953 markings, 411816 edges, 859 markings/sec, 130 secs
lola: 121258 markings, 427062 edges, 861 markings/sec, 135 secs
lola: 125571 markings, 442416 edges, 863 markings/sec, 140 secs
lola: 129879 markings, 456455 edges, 862 markings/sec, 145 secs
lola: 134226 markings, 471131 edges, 869 markings/sec, 150 secs
lola: 138548 markings, 486600 edges, 864 markings/sec, 155 secs
lola: 142896 markings, 501565 edges, 870 markings/sec, 160 secs
lola: 147195 markings, 517934 edges, 860 markings/sec, 165 secs
lola: 151510 markings, 533652 edges, 863 markings/sec, 170 secs
lola: 155835 markings, 550077 edges, 865 markings/sec, 175 secs
lola: 160149 markings, 566474 edges, 863 markings/sec, 180 secs
lola: 164424 markings, 583686 edges, 855 markings/sec, 185 secs
lola: 168743 markings, 599753 edges, 864 markings/sec, 190 secs
lola: 172983 markings, 615866 edges, 848 markings/sec, 195 secs
lola: 177317 markings, 631667 edges, 867 markings/sec, 200 secs
lola: 181640 markings, 647048 edges, 865 markings/sec, 205 secs
lola: 185976 markings, 661752 edges, 867 markings/sec, 210 secs
lola: 190346 markings, 676987 edges, 874 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_38_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 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: 4428 markings, 13464 edges, 886 markings/sec, 0 secs
lola: 8871 markings, 26584 edges, 889 markings/sec, 5 secs
lola: 13291 markings, 40722 edges, 884 markings/sec, 10 secs
lola: 17712 markings, 54576 edges, 884 markings/sec, 15 secs
lola: 22137 markings, 68215 edges, 885 markings/sec, 20 secs
lola: 26593 markings, 82451 edges, 891 markings/sec, 25 secs
lola: 31008 markings, 96502 edges, 883 markings/sec, 30 secs
lola: 35431 markings, 110558 edges, 885 markings/sec, 35 secs
lola: 39853 markings, 124224 edges, 884 markings/sec, 40 secs
lola: 44300 markings, 138430 edges, 889 markings/sec, 45 secs
lola: 48750 markings, 152297 edges, 890 markings/sec, 50 secs
lola: 53212 markings, 165996 edges, 892 markings/sec, 55 secs
lola: 57662 markings, 179544 edges, 890 markings/sec, 60 secs
lola: 62104 markings, 193712 edges, 888 markings/sec, 65 secs
lola: 66552 markings, 207725 edges, 890 markings/sec, 70 secs
lola: 70992 markings, 222410 edges, 888 markings/sec, 75 secs
lola: 75435 markings, 237076 edges, 889 markings/sec, 80 secs
lola: 79838 markings, 253458 edges, 881 markings/sec, 85 secs
lola: 84262 markings, 268369 edges, 885 markings/sec, 90 secs
lola: 88686 markings, 283655 edges, 885 markings/sec, 95 secs
lola: 93123 markings, 297991 edges, 887 markings/sec, 100 secs
lola: 97566 markings, 311845 edges, 889 markings/sec, 105 secs
lola: 101997 markings, 327205 edges, 886 markings/sec, 110 secs
lola: 106428 markings, 341710 edges, 886 markings/sec, 115 secs
lola: 110867 markings, 355373 edges, 888 markings/sec, 120 secs
lola: 115303 markings, 369957 edges, 887 markings/sec, 125 secs
lola: 119751 markings, 384548 edges, 890 markings/sec, 130 secs
lola: 124190 markings, 399536 edges, 888 markings/sec, 135 secs
lola: 128682 markings, 413308 edges, 898 markings/sec, 140 secs
lola: 133164 markings, 427560 edges, 896 markings/sec, 145 secs
lola: 137621 markings, 442140 edges, 891 markings/sec, 150 secs
lola: 142050 markings, 456039 edges, 886 markings/sec, 155 secs
lola: 146453 markings, 470700 edges, 881 markings/sec, 160 secs
lola: 150871 markings, 485319 edges, 884 markings/sec, 165 secs
lola: 155297 markings, 499793 edges, 885 markings/sec, 170 secs
lola: 159733 markings, 513752 edges, 887 markings/sec, 175 secs
lola: 164212 markings, 527560 edges, 896 markings/sec, 180 secs
lola: 168687 markings, 542019 edges, 895 markings/sec, 185 secs
lola: 173145 markings, 557206 edges, 892 markings/sec, 190 secs
lola: 177565 markings, 571045 edges, 884 markings/sec, 195 secs
lola: 181979 markings, 585357 edges, 883 markings/sec, 200 secs
lola: 186390 markings, 600498 edges, 882 markings/sec, 205 secs
lola: 190777 markings, 615952 edges, 877 markings/sec, 210 secs
lola: 195190 markings, 630767 edges, 883 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__14_28_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 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: 4323 markings, 15312 edges, 865 markings/sec, 0 secs
lola: 8644 markings, 31115 edges, 864 markings/sec, 5 secs
lola: 12987 markings, 45139 edges, 869 markings/sec, 10 secs
lola: 17302 markings, 60216 edges, 863 markings/sec, 15 secs
lola: 21596 markings, 76594 edges, 859 markings/sec, 20 secs
lola: 25908 markings, 92118 edges, 862 markings/sec, 25 secs
lola: 30232 markings, 107257 edges, 865 markings/sec, 30 secs
lola: 34523 markings, 123260 edges, 858 markings/sec, 35 secs
lola: 38831 markings, 139474 edges, 862 markings/sec, 40 secs
lola: 43130 markings, 155027 edges, 860 markings/sec, 45 secs
lola: 47431 markings, 169637 edges, 860 markings/sec, 50 secs
lola: 51724 markings, 184563 edges, 859 markings/sec, 55 secs
lola: 56051 markings, 198619 edges, 865 markings/sec, 60 secs
lola: 60390 markings, 213908 edges, 868 markings/sec, 65 secs
lola: 64729 markings, 227735 edges, 868 markings/sec, 70 secs
lola: 69049 markings, 241653 edges, 864 markings/sec, 75 secs
lola: 73350 markings, 255667 edges, 860 markings/sec, 80 secs
lola: 77637 markings, 270361 edges, 857 markings/sec, 85 secs
lola: 81930 markings, 285007 edges, 859 markings/sec, 90 secs
lola: 86247 markings, 298600 edges, 863 markings/sec, 95 secs
lola: 90551 markings, 313272 edges, 861 markings/sec, 100 secs
lola: 94847 markings, 328983 edges, 859 markings/sec, 105 secs
lola: 99132 markings, 343544 edges, 857 markings/sec, 110 secs
lola: 103388 markings, 359676 edges, 851 markings/sec, 115 secs
lola: 107687 markings, 374221 edges, 860 markings/sec, 120 secs
lola: 111959 markings, 389462 edges, 854 markings/sec, 125 secs
lola: 116245 markings, 404806 edges, 857 markings/sec, 130 secs
lola: 120514 markings, 419094 edges, 854 markings/sec, 135 secs
lola: 124772 markings, 433424 edges, 852 markings/sec, 140 secs
lola: 129031 markings, 449304 edges, 852 markings/sec, 145 secs
lola: 133287 markings, 463681 edges, 851 markings/sec, 150 secs
lola: 137568 markings, 478022 edges, 856 markings/sec, 155 secs
lola: 141828 markings, 494012 edges, 852 markings/sec, 160 secs
lola: 146038 markings, 508625 edges, 842 markings/sec, 165 secs
lola: 150318 markings, 523380 edges, 856 markings/sec, 170 secs
lola: 154605 markings, 538797 edges, 857 markings/sec, 175 secs
lola: 158884 markings, 553015 edges, 856 markings/sec, 180 secs
lola: 163141 markings, 568677 edges, 851 markings/sec, 185 secs
lola: 167404 markings, 583932 edges, 853 markings/sec, 190 secs
lola: 171663 markings, 599049 edges, 852 markings/sec, 195 secs
lola: 175929 markings, 613812 edges, 853 markings/sec, 200 secs
lola: 180189 markings, 629857 edges, 852 markings/sec, 205 secs
lola: 184445 markings, 644909 edges, 851 markings/sec, 210 secs
lola: 188683 markings, 660164 edges, 848 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__28_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 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: 4317 markings, 15432 edges, 863 markings/sec, 0 secs
lola: 8660 markings, 30998 edges, 869 markings/sec, 5 secs
lola: 13039 markings, 46419 edges, 876 markings/sec, 10 secs
lola: 17396 markings, 63349 edges, 871 markings/sec, 15 secs
lola: 21754 markings, 79327 edges, 872 markings/sec, 20 secs
lola: 26131 markings, 95043 edges, 875 markings/sec, 25 secs
lola: 30499 markings, 110516 edges, 874 markings/sec, 30 secs
lola: 34845 markings, 126857 edges, 869 markings/sec, 35 secs
lola: 39158 markings, 143946 edges, 863 markings/sec, 40 secs
lola: 43472 markings, 161241 edges, 863 markings/sec, 45 secs
lola: 47817 markings, 176992 edges, 869 markings/sec, 50 secs
lola: 52149 markings, 194021 edges, 866 markings/sec, 55 secs
lola: 56478 markings, 211127 edges, 866 markings/sec, 60 secs
lola: 60776 markings, 227235 edges, 860 markings/sec, 65 secs
lola: 65125 markings, 242759 edges, 870 markings/sec, 70 secs
lola: 69468 markings, 259219 edges, 869 markings/sec, 75 secs
lola: 73795 markings, 275780 edges, 865 markings/sec, 80 secs
lola: 78138 markings, 291865 edges, 869 markings/sec, 85 secs
lola: 82436 markings, 307896 edges, 860 markings/sec, 90 secs
lola: 86739 markings, 323583 edges, 861 markings/sec, 95 secs
lola: 91051 markings, 340218 edges, 862 markings/sec, 100 secs
lola: 95367 markings, 358071 edges, 863 markings/sec, 105 secs
lola: 99638 markings, 374919 edges, 854 markings/sec, 110 secs
lola: 103958 markings, 390720 edges, 864 markings/sec, 115 secs
lola: 108261 markings, 407585 edges, 861 markings/sec, 120 secs
lola: 112594 markings, 423680 edges, 867 markings/sec, 125 secs
lola: 116952 markings, 439676 edges, 872 markings/sec, 130 secs
lola: 121300 markings, 455759 edges, 870 markings/sec, 135 secs
lola: 125650 markings, 471802 edges, 870 markings/sec, 140 secs
lola: 129993 markings, 488377 edges, 869 markings/sec, 145 secs
lola: 134362 markings, 504401 edges, 874 markings/sec, 150 secs
lola: 138749 markings, 520418 edges, 877 markings/sec, 155 secs
lola: 143115 markings, 536093 edges, 873 markings/sec, 160 secs
lola: 147476 markings, 551531 edges, 872 markings/sec, 165 secs
lola: 151840 markings, 566545 edges, 873 markings/sec, 170 secs
lola: 156207 markings, 582108 edges, 873 markings/sec, 175 secs
lola: 160563 markings, 597785 edges, 871 markings/sec, 180 secs
lola: 164922 markings, 613434 edges, 872 markings/sec, 185 secs
lola: 169266 markings, 630803 edges, 869 markings/sec, 190 secs
lola: 173620 markings, 646526 edges, 871 markings/sec, 195 secs
lola: 177975 markings, 661711 edges, 871 markings/sec, 200 secs
lola: 182314 markings, 678132 edges, 868 markings/sec, 205 secs
lola: 186667 markings, 694341 edges, 871 markings/sec, 210 secs
lola: 191010 markings, 709908 edges, 869 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__18_39_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 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: 4262 markings, 15106 edges, 852 markings/sec, 0 secs
lola: 8553 markings, 29037 edges, 858 markings/sec, 5 secs
lola: 12834 markings, 42848 edges, 856 markings/sec, 10 secs
lola: 17106 markings, 56557 edges, 854 markings/sec, 15 secs
lola: 21376 markings, 70837 edges, 854 markings/sec, 20 secs
lola: 25646 markings, 85459 edges, 854 markings/sec, 25 secs
lola: 29944 markings, 99704 edges, 860 markings/sec, 30 secs
lola: 34249 markings, 113841 edges, 861 markings/sec, 35 secs
lola: 38543 markings, 128576 edges, 859 markings/sec, 40 secs
lola: 42840 markings, 143182 edges, 859 markings/sec, 45 secs
lola: 47120 markings, 157274 edges, 856 markings/sec, 50 secs
lola: 51402 markings, 170907 edges, 856 markings/sec, 55 secs
lola: 55682 markings, 185250 edges, 856 markings/sec, 60 secs
lola: 59980 markings, 199457 edges, 860 markings/sec, 65 secs
lola: 64266 markings, 213798 edges, 857 markings/sec, 70 secs
lola: 68533 markings, 228093 edges, 853 markings/sec, 75 secs
lola: 72818 markings, 242432 edges, 857 markings/sec, 80 secs
lola: 77094 markings, 257115 edges, 855 markings/sec, 85 secs
lola: 81345 markings, 271464 edges, 850 markings/sec, 90 secs
lola: 85592 markings, 285535 edges, 849 markings/sec, 95 secs
lola: 89835 markings, 299913 edges, 849 markings/sec, 100 secs
lola: 94077 markings, 313974 edges, 848 markings/sec, 105 secs
lola: 98327 markings, 327850 edges, 850 markings/sec, 110 secs
lola: 102575 markings, 341854 edges, 850 markings/sec, 115 secs
lola: 106828 markings, 357149 edges, 851 markings/sec, 120 secs
lola: 111120 markings, 371006 edges, 858 markings/sec, 125 secs
lola: 115397 markings, 384834 edges, 855 markings/sec, 130 secs
lola: 119670 markings, 399289 edges, 855 markings/sec, 135 secs
lola: 123959 markings, 413447 edges, 858 markings/sec, 140 secs
lola: 128170 markings, 427552 edges, 842 markings/sec, 145 secs
lola: 132372 markings, 441450 edges, 840 markings/sec, 150 secs
lola: 136595 markings, 455545 edges, 845 markings/sec, 155 secs
lola: 140789 markings, 469096 edges, 839 markings/sec, 160 secs
lola: 144974 markings, 483066 edges, 837 markings/sec, 165 secs
lola: 149153 markings, 496951 edges, 836 markings/sec, 170 secs
lola: 153335 markings, 510128 edges, 836 markings/sec, 175 secs
lola: 157520 markings, 523857 edges, 837 markings/sec, 180 secs
lola: 161685 markings, 537716 edges, 833 markings/sec, 185 secs
lola: 165901 markings, 551717 edges, 843 markings/sec, 190 secs
lola: 170116 markings, 565400 edges, 843 markings/sec, 195 secs
lola: 174333 markings, 579659 edges, 843 markings/sec, 200 secs
lola: 178578 markings, 593144 edges, 849 markings/sec, 205 secs
lola: 182826 markings, 607238 edges, 850 markings/sec, 210 secs
lola: 187098 markings, 621600 edges, 854 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA Diffusion2D-PT-D40N100-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494640557305

--------------------
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-D40N100"
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-D40N100.tgz
mv Diffusion2D-PT-D40N100 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-D40N100, 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-149436309200389"
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 ;